対称双線型形式

線型代数学における対称双線型形式（たいしょうそうせんけいけいしき、）は、ベクトル空間上の対称な双線型形式を言う。平たく言えば、実ベクトル空間上の標準内積を一般化した概念である。対称双線型形式は、直交極性や二次曲面の研究に非常に重要である。
文脈上、双線型形式について述べていると明らかな場合は、単に短く対称形式と呼ぶこともある。対称双線型形式は二次形式と近しい関係にあり、この両者の差異に関する詳細はの項目を参照。
定義.
 を体 上の有限次元ベクトル空間とする。写像 が、 上の双線型形式であるとは、すべてのベクトル とスカラー に対して次の3条件を満たすことである。
これらの3条件に加えて条件
を満たすとき を対称双線型形式という。
具体例.
平面 のベクトル と に対して
で定まる標準内積 は対称双線型形式である。また
で定まる写像 や
で定まる自明な写像 なども対称双線型形式である。
表現行列.
有限次元ベクトル空間 の基底 をひとつ固定する。このとき 上の双線型形式 に対して 次正方行列 を
で定義する。これを双線型形式 の基底 に関する表現行列という。表現行列 は、双線型形式 が対称であるとき、かつそのときに限り対称行列である。ベクトル に対して値 は表現行列 を用いて
と表される。逆に（対称）行列 が与えられると（対称）双線型形式 が上の関係式から定まる。
新たな基底 をとり、基底の変換行列 が で与えられているとする。このとき、 双線型形式 の基底 に関する表現行列 は
で与えられる。
二次形式.
 上の対称双線型形式 に対して を
で定める。これを 上の二次形式という。
直交性と特異性.
双線型形式は対称ならば反射的である。ふたつのベクトル が 上の対称双線型形式 に関して直交するとは が成り立つことをいう。（反射性より、これは と同値。）これを記号 で表す。
部分集合 に対して のすべてのベクトルと直交するベクトル全体からなる集合を と表す。これは の部分空間となる。とくに は対称双線型形式 の根基 ("radical") と呼ばれる。
ベクトル が根基に属するための必要十分条件は、適当な基底 に関する表現行列 を用いて述べれば、 を に関して列ベクトルと同一視したとき formula_12 が成り立つことである。これは formula_13 とも同値である。
対称双線型形式 が特異 ("singular") であるとは、その根基が非自明なことをいう。また対称双線型形式 が非退化あるいは非特異 ("non-degenerate", "non-singular") であるとは、特異でないことをいう。これは随伴写像
が同型写像であることと同値である。ただし は の双対空間 である。対称双線型形式 が非退化ならば の部分空間 に対し の次元は である。
直交基底.
 の基底 が 上の対称双線型形式 に関して直交するとは、
が成り立つことを言う。基礎体の標数が でないとき、 は常に直交基底を持つ。このことの証明は数学的帰納法による。
基底 が に関して直交するための必要十分条件は、その表現行列 が対角行列となることである。
符号数とシルベスターの慣性法則.
最も一般の場合にシルベスターの慣性法則の主張は順序体 "K" 上で意味を持ち、表現行列の対角成分の である個数、正である個数、負である個数が、直交基底の選択には依存しないことを主張する。これらの 3つの数値は、双線型形式の符号数と呼ばれる。
実係数の場合.
実数体上の空間を考える場合には、もう少し詳しく述べることができる。 を直交基底とする。
新たな直交基底 を
で定義すると、新たな表現行列 は対角線上に のみを成分に持つ対角行列になる。 が現れるのは、根基が非自明となるときであり、かつそのときに限る。
複素係数の場合.
複素数体上の空間を扱う場合も、同様に詳しくしかもより平易な形に述べることができる。 を直交基底とする。
新たな基底 を
で定義すると、新たな表現行列 は対角線上に と のみを成分に持つ対角行列となる。 が現れるのは根基が非自明なときであり、かつそのときに限る。
直交偏極.
標数が でない体 の上のベクトル空間 上で定義される、自明な根基を持つ対称双線型形式 に対し、 の部分空間全体の成す集合 からそれ自身への写像
を定義することができる。この写像は射影空間 上の直交極性 (orthogonal polarity) である。逆に、すべての直交極性はこの方法により得られる、自明な根基を持つ二つの対称双線型形式が同じ極性を持つための必要十分条件は、それらがスカラー倍の違いを除いて一致することである。