二次形式

数学における二次形式（にじけいしき、テンプレート:Lang-en-short は、いくつかの変数に関する次数が 2 の斉次多項式である。たとえば

<math>4x^2 + 2xy - 3y^2</math>

は変数 x, y に関する二次形式である。

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

導入

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

一元二次形式

<math>q(x) = ax^2</math>

二元二次形式

<math>q(x,y) = ax^2 + bxy + cy^2</math>

三元二次形式

<math>q(x,y,z) = ax^2 + by^2 + cz^2 + dxy + exz + fyz</math>

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

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

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

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

<math> q(x,y,z)=d((x,y,z),(0,0,0))^2=\|(x,y,z)\|^2=x^2+y^2+z^2 </math>

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

歴史

特定の二次形式の研究（特に、与えられた整数が整係数二次形式の値として得られるかといったような問題）は何世紀も遡れるものである。そういったものの一つに「どのような整数が整数 x, y の平方和 x² + y² の形に表されるか」というフェルマーの二平方和定理 (en:Fermat's theorem on sums of two squares) がある。この問題は、ピタゴラス数を求める問題に関係しており、こちらは紀元前2千年紀には既に存在していた問題である。

628年にインドの数学者ブラーマグプタの著した『ブラーマ・スプタ・シッダーンタ』には、その他の多くの問題とともに、x² − ny² = c の形の方程式の研究が含まれている。ブラーマグプタは特に、今日ではペル方程式と呼ばれる x² − ny² = 1 の形の方程式を考え、多くの解法を得ている。ヨーロッパでは、この問題にブラウンカー、 オイラー、ラグランジュらが取り組んだ。

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

実二次形式

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

<math>q_A(x_1,\ldots,x_n) = \sum_{i,j=1}^{n}a_{ij}{x_i}{x_j}</math>

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

<math> \lambda_1 \tilde x_1^2 + \lambda_2 \tilde x_2^2 + \cdots + \lambda_n \tilde x_n^2</math>

に直せることを注意している。ゆえに対応する対称行列は対角行列であり、これは直交行列による変数変換で実現できる。この場合、係数 λ₁, λ₂, …, λ_n は実は番号の並び替えの違いを除いて一意に決まる。変数変換が（必ずしも直交でない）正則行列によって与えられるならば係数 λ_i を 0, 1, −1 の何れかにすることができる。テンプレート:仮リンク によれば 1 および −1 の数は（どんな対角化によっても変わらないという意味で）二次形式の不変量である（1 の数を p, −1 の数を q とするとき、組 (p, q) を二次形式の符号数 (signature) という）。すべてのλ_i が同じ符号を持つ場合は特に重要で、すべて 1 となるとき二次形式は正定値 (positive definite) であるといい、すべて −1 のとき負定値 (negative definite) であるという。また、0 となる項が存在しないとき、二次形式は非退化 (nondegenerate) であるといい、これには正定値、負定値、不定値（不変量が 1 も −1 も含む）の場合が含まれうる。あるいは同じことだが、非退化二次形式とはその付随する対称双線型形式が非退化であるものをいう。符号数 (p, q) をもつ不定値で非退化な二次形式をもつ実ベクトル空間は、しばしば R^p,q と表され、特に物理学における時空の理論などで用いられる（ミンコフスキー空間の項などを参照せよ）。

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

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

<math>q(v) = {}^tx Ax</math>

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

<math> A\to B=SA\,{}^tS</math>

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

<math>

B=\begin{pmatrix} \lambda_1 & 0 & \cdots & 0\\ 0 & \lambda_2 & \cdots & 0\\ \vdots & \vdots & \ddots & 0\\ 0 & 0 & \cdots & \lambda_n \end{pmatrix} </math>

に変換することができる。このとき B の対角成分は一意に決まるというのがヤコビの定理である。S として任意の正則行列をとることを許せば、B の対角成分はさらに 0, 1, −1 の何れかにすることができて、対角成分の 1 の個数 n^{+</sub>, 0 の個数 n₀, −1 の数 n₋ のは A のみに依存して決まる。これはシルベスターの慣性法則の定式化の一つであり、n₊ および n₋ はそれぞれ正および負の慣性指数 (indices of inertia) と呼ばれる。ここでの定義は基底の選び方および対応する実対称行列 A のとり方に依存する形で述べたが、シルベスターの慣性法則は（それらのとり方に依存せず）これらの指数が二次形式 q の不変量であることを述べるものである。}

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

一般の二次形式の定義

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

<math>q(x_1,\ldots,x_n) = \sum_{i,j=1}^{n}a_{ij}{x_i}{x_j} \quad (a_{ij}\in K) </math>

のことをいう。x を成分が x₁, …, x_n で与えられる列ベクトルとし、A = (a_ij) を q の係数を成分とする K 上のn-次正方行列とすれば、二次形式 q は

<math> q(x)={}^{t}xAx</math>

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

<math> \psi(x)=\varphi(Tx)</math>

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

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

二次形式 q の係数行列 A を対称行列 (1/2)(A + ^tA) に置き換えても、q は不変である。ゆえに初めから A は対称であると仮定して考えてよい。さらにこのとき、対称行列 A は対応する二次形式によって一意的に定まる。同値変換 T をもつ二次形式 φ, ψ に対して、φ に付随する対称行列 A と ψ に付随する対称行列 B との間には

<math> B = {}^{t}TAT </math>

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

<math> b_q(x,y) = \frac{1}{2}(q(x+y)-q(x)-q(y)) = {}^{t}xAy = {}^{t}yAx </math>

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

<math> q(x)=b(x,x) </math>

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

二次空間

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

<math> Q(v)=q(v), \quad v={}^t(v_1,\ldots,v_n) \in K^n</math>

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

• <math> Q(av) = a^2 Q(v)\quad \text{ for all } a\in K, v\in V. </math>
• 次で定まる写像 B_Q: V × V → K
  <math>

B_q(v,w)=\frac{1}{2}(Q(v+w)-Q(v)-Q(w))

</math>