mula_5 是正交基。我们定义新的基 formula_22 :现在新矩阵表示 "A" 将是在对角线上只有 0 和 1 的对角矩阵。零将出现当且仅当根是非平凡的。
正交极性.设 "B" 是双线性形式，它带有不同于 2 的特征的域 "K" 上的空间 "V" 上的根。现在可以定义从 "V" 的所有子空间的集合 D(V) 到自身的映射:这个映射是在投影空间 "PG(W)" 上的正交极性。反过来说，你可以证明所有正交极性可以用这种方式引出，并且带有平凡根的两个对称双线性形式引发