前のページ 1/1 次のページ

数学において二次形式(にじけいしき、quadratic form)とは斉二次の多項式のことである。

◆ 定義

一般には x_i を変数として次の形に表される:

:$\backslash sum\_^a\_i\; x\_i^2\; +\; 2\backslash sum\_a\_x\_ix\_j.$

各項の係数 a_i, a_ij はその標数が 2 でない任意の体 K の元とする。ここで a_i = a_ii,

a_ij = a_ji (i > j) とおくと、この二次形式は

: x^TAx (A = (a_ij), x^T = (x₁, x₂, ..., x_n))

と表すことができる。A[外部リンク] style="color:#5555ff;">x = x^TAx と記すことがある(ジーゲルの記号)。

変数の数が n である二次形式 A[外部リンク] style="color:#5555ff;">x は、 rank A = n であるとき正則あるいは非退化 (non-degenerated) であるといい、そうでないとき退化している (degenerated) という。

正則行列 P による変数変換 x = Py により二次形式は A[外部リンク] style="color:#5555ff;">x = P^TAP[外部リンク] style="color:#5555ff;">y に変換される。二つの二次形式 A[外部リンク] style="color:#5555ff;">x, B[外部リンク] style="color:#5555ff;">y が適当な正則変換により A[外部リンク] style="color:#5555ff;">x = B[外部リンク] style="color:#5555ff;">y を満たすとき、二次形式として同値であるという。

任意の二次形式 A[外部リンク] style="color:#5555ff;">x は rank A = r であるとき、r 個の文字 y₁, y₂, ..., y_r に関する正則二次形式 B[外部リンク] style="color:#5555ff;">y に同値である。

◆ 随伴双線型形式

二次形式と対称双線型形式(対称双一次形式)は表裏一体の関係にある。計算に向くように二次形式そのものを公理的に特徴付けようとするとあまりうまくいかないが、対称双線型形式を用いればそれが可能になる。

体 K 上のベクトル空間 V に対し、V 上の対称双線型形式 とは

: f(x + y, z), = f(x, z) + f(y, z)

: f(kx, y) = f(x, ky) = kf(x, y),

: f(x, y) = f(y, x)

(for all x, y, z ∈ V, k ∈ K) が成立する写像 f: V×V → K のことである。

対称双線型形式 f はある対称行列 A により f(x, y) = x^TAy と表せる。

対称双線型形式の定義で y = x とおくと二次形式が得られるが、逆に二次形式 A[外部リンク] style="color:#5555ff;">x は対称双線型形式 f によって特徴付けられる。実際、

: A[外部リンク] style="color:#5555ff;">x + y − A[外部リンク] style="color:#5555ff;">x − A[外部リンク] style="color:#5555ff;">y = 2f(x, y)

とおけば、f は対称双線型形式になる。双線型形式 f(x, y) を二次形式 A[外部リンク] style="color:#5555ff;">x に付随する極化形式あるいは極形式 という。また、二次形式 A[外部リンク] style="color:#5555ff;">x と双線型形式 f(x, y) は互いに同伴であるという。

◆ 性質

K が実数体 R または複素数体 C のときには、二次形式の偏微分に関して

:$$

\fracA[外部リンク] x --> = 2a_

が成立する。このことは多次元正規分布の共分散などを求める際にも利用される。

一般の体 K 上では、二次形式 A[外部リンク] style="color:#5555ff;">x は変数の適当な正則一次変換で

: $c\_1\; y\_1^2\; +\; \backslash cdots\; +\; c\_s\; y\_s^2\; +\; y\_y\_+\; \backslash cdots\; +\; y\_y\_$

なる形に変形される。

◆ 二次形式と計量

・ 直交性とか

・ 二次形式付き空間とか

・ クリフォード代数とか

◆ 関連項目

・ 多項式

・ エルミート形式

・ 二次曲面

前のページ 1/1 次のページ

・二次形式 page1