二次形式

数学における二次形式（にじけいしき、は、いくつかの変数に関する次数が 2 の斉次多項式である。例えば、変数が 2 個の二次形式は

の形である。

は変数。係数は内少なくとも 1 つは 0 でない。すなわち二次形式は非零多項式である。

二次形式は数学のいろいろな分野（数論、線型代数学、群論（直交群）、微分幾何学（リーマン計量）、微分位相幾何学（4次元多様体の交叉形式）、（キリング形式）など）で中心的な位置を占める概念である。

導入二次形式は -変数の斉二次多項式である。たとえば、変数の数が 1, 2, 3 の二次形式はそれぞれ一元、、三元二次形式と呼ばれ、具体的にはそれぞれ

一元二次形式二元二次形式三元二次形式

という形をしている。ここで、からまではこの二次形式の係数である。一般の二次函数は斉次形でないため、二次形式の例とはならないことに注意。

二次形式論およびその研究手法は（実数、複素数、有理数、整数などといった）二次形式の係数のもつ性質に大きく依存する。線型代数学や解析幾何学および二次形式の応用の大部分では係数は実または複素数である。二次形式の代数的理論においてはその係数はなんらかの体であり、二次形式の算術理論においては係数はある種の可換環である（有理整数環や -進整数環がよく用いられる）。二元二次形式は数論において広く研究されており、とくに二次体の理論、連分数、モジュラー形式論などに現れる。-変数の整係数二次形式は代数的位相幾何学に重要な応用を持つ。

斉次座標を用いれば、0 でない -元二次形式は -次元射影空間内の -次元二次曲面を定める。これは射影幾何学の基本的構成である。この方法で、三元実二次形式を円錐曲線として視覚化することができる。

二次形式に深く関係した、より幾何学的な色合いの濃い概念に、二次空間がある。これは、体上のベクトル空間と上の二次形式の組である。二次空間の例としては、三次元ユークリッド空間に（各点と原点との間の）通常の距離（ユークリッドノルム）の平方

を合わせたものが挙げられる。逆に二次空間に付随する二次形式は、その空間に計量を与えるものと理解される。

歴史

特定の二次形式の研究（特に、与えられた整数が整係数二次形式の値として得られるかといったような問題）は何世紀も遡れるものである。そういったものの一つに「どのような整数が整数の平方和の形に表されるか」というフェルマーの二平方和定理がある。この問題は、ピタゴラス数を求める問題に関係しており、こちらは紀元前2千年紀には既に存在していた問題であるhttp://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Babylonian_Pythagoras.html 。

628年にインドの数学者ブラーマグプタの著した『ブラーマ・スプタ・シッダーンタ』には、その他の多くの問題とともに、の形の方程式の研究が含まれている。ブラーマグプタは特に、今日ではペル方程式と呼ばれるの形の方程式を考え、多くの解法を得ているhttp://www-groups.dcs.st-and.ac.uk/~history/Biographies/Brahmagupta.html 。ヨーロッパでは、この問題にブラウンカー、オイラー、ラグランジュらが取り組んだ。

1801年にガウスの著した『算術研究』では、整係数二元二次形式についての完全な理論の解説にかなりの紙面が割かれていた。その後、概念は一般化され、二次体やモジュラー群などと結び付けられて、数学のさまざまな分野を通してより深い解明がなされた。

実二次形式

任意の -次実対称行列に対して、-元二次形式 qA が

によって与えられる。逆に、-元二次形式が与えられたとき、その係数を並べて -次の対称行列が得られる。二次形式論における最も重要な問いは、変数の斉次線型変換によって二次形式がどの程度まで簡約できるかということである。ヤコビによる基本定理は任意の二次形式が対角線形式

に直せることを注意している。ゆえに対応する対称行列は対角行列であり、これは直交行列による変数変換で実現できる。この場合、係数は実は番号の並べ替えの違いを除いて一意に決まる。変数変換が（必ずしも直交でない）正則行列によって与えられるならば係数をの何れかにすることができる。シルベスターの慣性法則によればおよびの数は（どんな対角化によっても変わらないという意味で）二次形式の不変量である（の数を , の数をとするとき、組を二次形式の符号数という）。

すべてのが同じ符号を持つ場合は特に重要で、すべてとなるとき二次形式は正定値であるといい、すべてのとき負定値であるという。がもも含むとき、不定値であるという。また、となる項が存在しないとき、二次形式は非退化であるといい、これには正定値、負定値、不定値の場合が含まれうる。あるいは同じことだが、非退化二次形式とはその付随する対称双線型形式が非退化であるものをいう。符号数をもつ不定値で非退化な二次形式をもつ実ベクトル空間は、しばしばと表され、特に物理学における時空の理論などで用いられる（ミンコフスキー空間の項などを参照せよ）。

以下、これらの結果を異なるやり方で再定式化しよう。

を -次元実ベクトル空間上で定義される二次形式とする。の基底をえらび、をその基底に関する二次形式の係数行列とする。これはを与えられた基底に関してベクトルを座標表示した列ベクトルとすればが

を満たす対称行列であるという意味である。基底変換を行えば、列ベクトルには左から -次正則行列が掛かり、対称行列は別の対称行列に

に従って変換される。任意の対称行列は、適当な直交行列を選ぶことにより、対角行列

に変換することができる。このときの対角成分は一意に決まるというのがヤコビの定理である。として任意の正則行列をとることを許せば、の対角成分はさらにの何れかにすることができて、対角成分のの個数の個数の数のはのみに依存して決まる。これはシルベスターの慣性法則の定式化の一つであり、およびはそれぞれ正および負の慣性指数と呼ばれる。ここでの定義は基底の選び方および対応する実対称行列のとり方に依存する形で述べたが、シルベスターの慣性法則は（それらのとり方に依存せず）これらの指数が二次形式の不変量であることを述べるものである。

二次形式が正定値（あるいは負定値）となるのはでない任意のベクトルに対して（あるいは）を満たすつまり、正の定符号（あるいは負の定符号）を持つときにいう。。の値が正にも負にもなるとき、は不定値二次形式であるという。ヤコビの定理やシルベスターの定理で示されることは、-変数の任意の正定値二次形式が適当な正則線型変換によって -個の平方数の和に書けるということである。幾何学的に言えば、任意の次元において正定値実二次形式がただ「ひとつ」存在し、そのはコンパクトな直交群となる。これは不定値二次形式の場合とは対照的で、たとえば不定値二次形式に対応するは非コンパクトである。さらに言えば、およびの等距変換群は（なる意味で）同じであるが、付随するクリフォード代数は（したがっても）異なる。

一般の二次形式の定義

体上の -元二次形式とは、に係数を持つ -変数の斉二次多項式

のことをいう。を成分がで与えられる列ベクトルとし、をの係数を成分とする上の-次正方行列とすれば、二次形式は

と行列を用いた形に書くことができる（係数行列は必ずしも対称でなくともよい）。体上のふたつの -元二次形式が互いに同値であるとは、正則線型変換で

を満たすようなものが存在するときに言う。

ここでは、の標数は 2 ではないものと仮定する（標数 2 の体上の二次形式論はそうでない体と比べて重大な差異があり、多くの定義や定理を書き直す必要が生じる）。

二次形式の係数行列を対称行列に置き換えても、は不変である。ゆえに初めからは対称であると仮定して考えてよい。さらにこのとき、対称行列は対応する二次形式によって一意的に定まる。同値変換をもつ二次形式に対して、に付随する対称行列とに付随する対称行列との間には

なる関係が成立する。二次形式 q に付随する双線型形式は

で与えられる。すなわち、は係数行列を持つ上の対称双線型形式である。逆に、任意の対称双線型形式に対して二次形式が

と置くことによって定まる。これらの操作は互いに逆の関係にある。この帰結として、標数 2 でない体上では、対称双線型形式についての理論と二次形式についての理論は本質的に同じものであると見ることができる。

二次空間

上の -変数二次形式は -次元座標空間からへの写像

を定める。写像は以下の性質を満たすという意味で二次写像である。

次で定まる写像

は上の双線型形式である。

上有限次元のベクトル空間とからへの二次写像の組は二次空間と呼ばれ、はに付随する双線型形式と呼ばれる。二次空間の概念は、二次形式の座標を用いない形での表現であると理解することができる。しばしばのことも二次形式と呼ぶ。

ふたつの -次元二次空間が互いに等距同型であるとは、正則線型変換で

を満たすという意味で距離を保つものが存在するときに言う。上の -次元二次形式の等距同型類は上の -元二次形式の同値類に対応するものである。

諸定義

のふたつの元が（双線型形式に関して）互いに直交するとは、となるときにいう。双線型形式の核はの各元に対して直交するような元からなる。二次形式が正則あるいは非特異であるとは、付随する双線型形式の核が 0 に等しいときに言う。のでない元でとなるものが存在するとき、二次形式は等方的であるといい、そうでないときは非等方的であるという。この用語法は、二次空間のベクトルや部分空間についても用いる。二次空間の部分空間に対し、のへの制限が恒等的にとなるとき、は完全特異であるという。

正則二次形式の直交群とは、の線型自己同型でを保つようなもの全体からなる群（つまり、二次空間からそれ自身への等距同型全体の成す群）のことをいう。

二次形式の同値性

標数がでない体上 -変数の任意の二次形式は対角線形式

に同値である。このような対角線形式はしばしば

と書かれる。したがって、同値関係を除く全ての二次形式の類別は対角線形式の分類に帰着することができる。

整係数二次形式

有理整数環上の二次形式は整係数二次形式あるいは整二次形式と呼ばれ、対応する加群は二次格子（あるいは単に格子ともいう）である。整係数二次形式は数論および位相空間論において重要である。

二次形式が（のように）整数係数をもつ、あるいは同じことだが、（やといった）標数の体上のベクトル空間における格子が与えられたとき、二次形式がに関して整であるための必要十分条件は、それが上整数値をとる（つまり、ならばとなる）ことである。

これは現代的な用語法に従ったものだが、歴史的な慣習では少し事情が異なる場合がある。以下に詳しく述べる。

歴史的な用法歴史的な事情で、整係数二次形式の概念について、互いに異なる複数の流儀が存在する。 2付き二次形式に付随する対称行列は常に整数係数となる。 2無し二次形式の係数が任意の整数である（したがって付随する対称行列の成分は、対角成分を除いて半整数になる可能性がある）この対立は、（多項式で表される）二次形式と（行列で表される）対称双線型形式のどちらを主と見るかという視点の違いによるものである。2無しの流儀はいまや慣習として認められており、また2付きの流儀はむしろ、整係数対称双線型形式（あるいは整係数対称行列）についての理論であると考えられている。

2付きの二元二次形式はの形であり、対称行列

によって表される。この規約はガウスが著書『算術研究』で用いたものである。

2無しの二元二次形式はの形であり、対称行列

で表される。いくつかの観点からは、「2無し」の流儀のほうが標準規約として適当であると考えられる。そういった観点として（複雑さを生み出す「局所的」な原因となる）標数 2 の世界の二次形式についてよりよい理解が得られる。格子として見た二次形式の算術を研究した1950年代の数学者たちが一般に2無しの流儀であった。位相空間論における交叉理論に対する整係数二次形式の理論では実際に2無しのものが必要である。リー群や代数群としての側面などを挙げることができる。

普遍二次形式すべての正の整数を表すことのできる二次形式は普遍であるという。ラグランジュの四平方和定理によればは普遍である。ラマヌジャンはこれを一般化して、の形の二次形式が普遍となるような係数の組を54個見つけている。具体的には、

; の7個 ; の13個 ; の4個 ; の6個 ; の8個 ; の11個 ; の5個

の計54個である。ただ一つの例外を除く全ての正の整数を表す二次形式も存在する（たとえば係数に対応する二次形式は 15 以外の全ての正の整数を表す）。最近では15・290定理によって普遍二次形式が完全に特徴付けられた。これは「係数が全て整数である二次形式が普遍であるための必要十分条件は 290 以下の全ての整数を表すことである」および「整行列をもつ二次形式が普遍であるための必要十分条件は 15 以下の全ての整数を表すことである」という内容である。

Źródło i licencja