双線型形式
双線型形式 B: V × V → F が反射的 (reflexive) であるとは、V の全ての v, w に対して、B(v, w) = 0 ならば B(w, v) = 0 が成り立つことを言う。
反射的双線型形式 B : V × V → F に対し、V の v, w が B に関して直交 (orthogonal) するとは B(v, w) = 0 が成り立つこと(これは B(w, v) = 0 が成り立つこととしても同じ)を言う。
双線型形式 B が反射的であるには、それが対称的もしくは交代的の何れかとなることが必要十分である。反射性を落として考えるばあいには、左直交と右直交の概念を区別しなければならない。反射的空間においては左右の根基は一致し、自分以外の全てのベクトルと直交するようなベクトル全体の成す部分空間として、双線型形式の核、もしくは根基と呼ばれる。