係数体 F 上のベクトル空間 V で定義される双線型形式 B: V × V → F は

  • を満たす。

具体例として内積 を考えると上記条件を満たすことがわかる。

関連