直交補空間
直交補空間は、V の部分空間である;
X ⊆ Y ならば X ⊇ Y が成立する;
V の(あるいは B の)根基 V は、任意の直交補空間の部分空間である;
W ⊇ W が成立する;
B が非退化かつ V が有限次元ならば、dim W + dim W = dim V が成立する。