双線型形式

数学の特に抽象代数学および線型代数学における双線型形式（そうせんけいけいしき、）とは、スカラー値の双線型写像、すなわち各引数に対してそれぞれ線型写像となっている二変数函数を言う。より具体的に、係数体 上のベクトル空間 で定義される双線型形式 は
を満たす。
座標による表現.
"V" ≅ "F""n" は "n"-次元ベクトル空間で {e1, ..., en} がその基底を与えるものとする。"n" × "n" 行列 "A" は "A" = ("B"(e"i", e"j")) で定義され、ベクトル v, w をこの基底に関して表す "n" × 1 行列をそれぞれ "x", "y" であるとすれば
が成り立つ。別な基底 {f1, ..., fn} を取るとき、正則線型変換 "S" ∈ "GL"("n"; "F") が存在して
と書けるから、同じ双線型形式のこの基底に関する行列表現は、"S"T"AS" により与えられる。
カリー化と双対空間.
ベクトル空間 上の任意の双線型形式 に対し、カリー化により、 から双対空間 への線型写像の対 が
として誘導される。ここに黒丸 は、得られる線型汎函数の引数が入る場所を示すプレースホルダである。
 が有限次元ベクトル空間である場合には、 または のいずれか一方が同型ならば、両者とも同型となり、このとき双線型形式 は非退化であると言う。より具体的に、有限次元ベクトル空間上の双線型形式 が非退化であるとは、
がともに成立することを言う。
 が有限次元の場合は、 と二重双対 とを同一視できる。このとき、 は線型写像 の転置写像となることが示せる（ が無限次元の場合には、 は の転置写像を における の像に制限したものと一致する）。与えられた双線型形式 に対し、 の転置とは
で定義される双線型形式を言う。
双線型形式 の左根基および右根基とは、それぞれ および の核、すなわちそれぞれ左および右の引数の空間全体と直交するベクトル全てからなる部分空間を言う。
 が有限次元ならば、 の階数は の階数に等しい。この階数が に等しいならば はともに から への線型同型であり、したがって は非退化である。階数・退化次数の定理により、これは左根基が（あるいは同じことだが右根基が）自明であるという条件と同値である。実際、有限次元の場合には、しばしばこれを非退化の定義として採用する:
線型写像 が任意に与えられると、
と置くことにより 上の双線型形式 が定まる。この形式が非退化であるための必要十分条件は が同型であることである。
 が有限次元の時、 の適当な基底に関して、双線型形式が退化するための必要十分条件は、対応する行列の行列式が零となること。同様に、非退化形式は対応する行列の行列式が零でない（行列が正則）である双線型形式である。これらは基底の取り方に依らず成り立つ事実である。
対称性、歪対称性および交代性.
与えられた双線型形式が、
と定義する。
双線型形式が対称（あるいは歪対称）であるための必要十分条件は、その双線型形式の（任意の基底に対する）表現行列が対称（あるいは歪対称）となることである。また双線型形式が交代的となる必要十分条件は、この双線型形式の表現行列が歪対称でかつ対角成分がすべてゼロであるとなることである（char("F") ≠ 2F の時は、歪対称よりこのことが従う）。
双線型形式が対称であるための必要十分条件は、それに対応する二つの線型写像 B1, B2: V → V* が相等しいことであり、また歪対称であるための必要十分条件は、対応する線型写像の一方が他方の符号を変えたものとなっていることである。また、char(F) ≠ 2 のとき、双線型形式は
と置くことにより、対称部分と歪対称部分に分解することができる。ここに、"B"∗ は "B" の（上で定義した意味での）転置である。
付随する二次形式.
双線型形式 に対し、付随する二次形式 は で与えられる。
char(F) ≠ 2 のとき、二次形式はそれに付随する対称双線型形式の言葉を用いて定義することができる。同様の仕方で、二次形式の概念の、歪対称形式、エルミート形式、歪エルミート形式などに対応する変形版を定義することができる。これを一般にまとめた概念として(ε-quadratic form) がある。
反射性・直交性.
双線型形式 "B" が反射的であるには、それが対称的もしくは交代的の何れかとなることが必要十分である。反射性を落として考えるばあいには、左直交と右直交の概念を区別しなければならない。反射的空間においては左右の根基は一致し、自分以外の全てのベクトルと直交するようなベクトル全体の成す部分空間として、双線型形式の核、もしくは根基と呼ばれる。すなわち、行列表現 "x" をもつベクトル v が行列表現 "A" を持つ双線型形式の根基に属するというのは、"Ax" = 0 となること（いまの場合 "x"T"A" = 0 となることとしても同じ）である。根基は、常に V の部分空間である。根基が自明であることと、行列 A が非特異であることとは同値であり、従って、双線型形式が非退化であることとも同値である。
部分空間 "W" に対して、"B" に関する直交補空間は
で定義される。有限次元空間の上の非退化二次形式に対し、写像 W ↔ W⊥ は全単射であり、W⊥ の次元は dim(V) − dim(W) で与えられる。
異なる空間.
同じ基礎体の上の双線型写像
に対しても、上で述べた双線型形式に関する議論の大半について同様の内容が成立する。例えばこの場合においても、双線型写像からは、"V" から "W"∗ への線型写像と "W" から "V"∗ への線型写像が誘導される。これらの写像が同型となることも起こり得る（有限次元の場合は、やはり一方が同型ならば他方も同型でなければならない）。その場合、"B" は完全対 (perfect pairing) である、または "V" と "W" とを双対にするという。
有限次元では、これはペアリングが非退化であることと同値である（空間は必然的に同次元となる）。（ベクトル空間ではなく）加群について言えば、非退化形式であるということがユニモジュラ形式であるという条件より弱い条件であるのとちょうど同じ意味で、非退化対であることは完全対であることよりも弱い条件になる。非退化ではるが完全ではない例としては、 による は非退化ではあるが、写像 の上に 2による積を引き起こす。
そこで、こういった場合に対しても双線型形式という言葉がしばしば用いられる。例えば、リース・ハーヴィは「八種類の内積」について議論するのに、非零成分は +1 または −1 しか持たないような対角行列 "A""ij" を用いてそれらの「内積」を定義した。ここでいう「内積」の中には、斜交形式や半双線型形式、エルミート形式であるようなものが含まれる。その議論は、一般の体 "F" ではなくて、具体的に実数体 R, 複素数体 C, 四元数体 H を詳述するものである。例えば
なる形の双線型形式は、実対称型(real symmetric case) と呼ばれ、R("p", "q") (ただし "p" + "q" = "n") というラベルで分類される。旧来の用語との関係については
実対称型双線型形式には非常に重要なものが含まれる。正定値の場合の R("n", 0) はユークリッド空間に対応し、また一つが負符号の R("n"−1, 1) はローレンツ空間に対応する。"n" = 4 の場合のローレンツ空間はミンコフスキー空間またはミンコフスキー時空とも呼ばれている。R("p", "p") なる特別な場合は分解型と呼ばれるものである。
と述べている。
テンソル積との関係.
テンソル積の持つ普遍性により、V 上の双線型形式は、線型写像 V ⊗ V → F と 1 対 1 に対応する。B が V 上の双線型形式であれば、対応する線型写像は
によって与えられる。全ての線型写像 V ⊗ V → F の集合は、V ⊗ V の双対空間であるので、双線型形式は
の元と考えられる。同様にして、対称双線型形式は Sym2(V*) （V* の二次対称冪）の元とも考えることができ、交代双線型形式は、Λ2"V*" （V* の二次外冪）の元とも考えられる。