行列式の3つの定義・性質・意味

行列式とは,正方行列に対して決まる重要な量(スカラー)である。行列 AA の行列式を detA\det AA|A| と表す。例えば

A=(a11a12a21a22) A=\begin{pmatrix} a_{11} & a_{12} \\ a_{21} & a_{22} \end{pmatrix}

の行列式は, a11a22a12a21 a_{11}a_{22}-a_{12}a_{21} となる。

行列式の定義

この記事では,行列式の定義と性質について解説します。

行列式の定義

まずは,行列式の定義をきちんと解説します。

定義自体は抽象的で分かりにくいと思いますが,2×22\times 2 行列,3×33\times 3 行列の場合は簡単に計算できます。

行列式1

AAn×nn \times n 行列として ijij 成分を aija_{ij} とする。このとき,行列式を detA=σSnsgn(σ)i=1naiσ(i)=σSnsgn(σ)a1σ(1)a2σ(2)anσ(n)\begin{aligned} \det A &= \sum_{\sigma\in S_n}\mathrm{sgn} (\sigma) \prod_{i=1}^na_{i\sigma(i)}\\ &= \sum_{\sigma\in S_n}\mathrm{sgn} (\sigma) a_{1\sigma(1)}a_{2\sigma(2)}\cdots a_{n\sigma(n)} \end{aligned} と定める。

サイズ2,サイズ3の場合の行列式の公式

置換による行列式の定義は分かりにくいので,小さいサイズの行列を例に確認してみます。

記法

置換 σ\sigma[12nσ(1)σ(2)σ(n)] \begin{bmatrix} 1 & 2 & \cdots & n\\ \sigma (1) & \sigma (2) & \cdots & \sigma (n) \end{bmatrix} というように,上の段に 1,2,,n1,2, \cdots , n を,下の段に 1,2,,n1,2, \cdots , n の移動先を書くことで表現します。

2×22 \times 2 行列の行列式

公式

2×2行列の行列式

A=(a11a12a21a22)A=\begin{pmatrix} a_{11} & a_{12} \\ a_{21} & a_{22} \end{pmatrix} の行列式は,a11a22a12a21a_{11}a_{22}-a_{12}a_{21} である。

証明

S2S_2 の元(1,21,2 の置換)は σ1=[1212],σ2=[1221] \sigma_1 = \begin{bmatrix} 1 & 2\\ 1 & 2 \end{bmatrix}, \sigma_2 = \begin{bmatrix} 1 & 2\\ 2 & 1 \end{bmatrix} の2つなのでそれに従って行列式には二つの項が出てきます。

sgn(σ1)=1,sgn(σ2)=1\mathrm{sgn} (\sigma_1) = 1, \mathrm{sgn} (\sigma_2) = -1 であるため, det(a11a12a21a22)=sgn(σ1)a1σ1(1)a2σ1(2)+sgn(σ2)a1σ2(1)a2σ2(2)=a11a22a12a21\begin{aligned} &\det \begin{pmatrix} a_{11} & a_{12}\\ a_{21} & a_{22} \end{pmatrix}\\ &= \mathrm{sgn} (\sigma_1) a_{1\sigma_1(1)} a_{2 \sigma_1 (2)} + \mathrm{sgn} (\sigma_2) a_{1\sigma_2(1)} a_{2 \sigma_2 (2)}\\ &= a_{11} a_{22} - a_{12} a_{21} \end{aligned} となります。

3×33 \times 3 行列の行列式

公式

2×2行列の行列式

A=(a11a12a13a21a22a23a31a32a33)A=\begin{pmatrix} a_{11} & a_{12} &a_{13}\\ a_{21} & a_{22} &a_{23}\\ a_{31} & a_{32} &a_{33}\\ \end{pmatrix} の行列式は,

a11a22a33+a12a23a31+a13a21a32a11a23a32a12a21a33a13a22a31\begin{aligned} &a_{11}a_{22}a_{33}+a_{12}a_{23}a_{31}+a_{13}a_{21}a_{32}\\ &-a_{11}a_{23}a_{32}-a_{12}a_{21}a_{33}-a_{13}a_{22}a_{31} \end{aligned}

である。

証明

1,2,31,2,3 の置換(並べ替え)は6つなので,それに従って行列式には6つの項が出てきます。例えば三項目は [123312]\begin{bmatrix} 1&2&3\\ 3&1&2 \end{bmatrix} という置換に対応しています。置換の符号によってそれぞれの項がマイナスかプラスかが決まります。

同様に 44 次の行列の行列式には項数が 4!=244!=24 個出てくるのでもはや書き下すのは厳しいです。nn 次の行列式には n!n! 個の項が登場します。

サラスの公式

3×33 \times 3 行列の行列式には,サラスの公式という式があります。

サラスの公式

3×3の行列の行列式は

左上から右下にかけて足す-右上から左下にかけて足す

という方法で計算できる。 サラスの公式

サラスの公式と使い方

行列式の性質

上記のように行列式を定義すると,以下の3つの性質が成立します。

行列式2

性質1:単位行列 II に関して detI=1\det I=1

性質2(交代性): ii 列と jj 列を交換すると行列式は 1-1 倍される

性質3(多重線形性):一つの列以外固定して一つの列の関数と見たときに線形性が成立する。

逆に上記の3つの性質を満たす関数は行列式のみです。つまり行列式とは上記の3つの性質を満たすものと定義することもできます。

これが行列式の二つ目の定義です。こちらを定義とみなせば,さきほどの定義1は行列式の性質として導かれます。

行列式の意味(平行六面体の体積)

行列式の非常に美しい性質(図形的な意味)です。

行列 AA を縦ベクトルを nn 本並べたものと見ます:

A=(a1undefined,a2undefined,,anundefined)A=(\overrightarrow{a_1},\:\overrightarrow{a_2},\cdots, \overrightarrow{a_n}) すると,

aiundefined\overrightarrow{a_i} たちが張る平行六面体の体積は行列式(の絶対値)と一致します。

n=2n=2 の場合,二本のベクトルが張る平行四辺形の面積の半分が三角形の面積。

n=3n=3 の場合,三本のベクトルが張る平行六面体の体積の 16\dfrac{1}{6} 倍が四面体の体積です。 →サラスの公式

n4n\geq 4 の場合,そもそも nn 次元空間中の立体の体積ってなんだ?って話になってしまいますが詳細は割愛します。

なお,この性質を使って行列式を定義することもできます。すなわち,列ベクトルたちが張る平行六面体の(符号付き)体積が行列式であると定義します。これが行列式の3つ目の定義(「行列式3」とする)です。

3つの定義

「行列式1(置換)」「行列式2(3つの性質)」「行列式3(体積)」の定義はいずれも同値です。

  • 1を認めれば2は簡単に確かめられます。
  • 2を認めたときに1を導くのはけっこう大変ですが計算でできます。
  • 符号付き体積が3つの性質を満たすことも確認できるので2と3は同値です。

よってどれを定義と思ってもOKです。一つの定義に固執することなく行列式は行列に関する重要な量でいろいろな見方があると覚えておきましょう。

私は置換による定義が好きです。

Tag:数検1級の範囲と必要な公式まとめ