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

出典:wikipedia