行列式
定義
$A$を次のような$2 \times 2$ 行列としよう。
$$ A = \begin{bmatrix} a & b \\ c & d \end{bmatrix} $$
$A$の行列式determinantを以下のように定義し、$\det(A)$で表す。
$$ \det(A) := ad - bc $$
説明
行列式を話す上で、線形代数の目的自体を話さずにはいられない。ほとんどの数学で言う問題は基本的に「方程式を解けるか」と要約できると言っても過言ではない。例えば、簡単な方程式
$$ ax = b $$
を考えてみれば、$ a = 0$が0でない限り、この方程式には解があることが簡単にわかる。二次方程式
$$ a x^2 + b x + c = 0 $$
も解の公式を通じて簡単に解ける。こうして、数学者たちは$x$の次数を上げながら、より一層難しい問題に挑戦した。しかし、不運な天才アーベルによって「5次以上の代数方程式は一般解を持たない」と証明されてしまう。
一方、代数の次元を上げる代わりに未知数や方程式の数そのものを増やして研究する道が残されていた。ここで行列式が登場する。韓国語で見れば、行列が出来た後行列式が出来たように見えるかもしれないが、実はそうではない。歴史的に行列式は行列が登場する前に先に登場したし1、実際に英語を見るとdeterminantとmatrixは特に関連がない。determinantという名前は次のような未知数が2つある連立一次方程式の解が存在するか、存在しないかを判別してくれる公式だから付けられた名前だ。
$$ \left\{ \begin{align*} ax + by &= 0 \\ cx + dy &= 0 \end{align*} \right. $$
上記のような連立方程式が与えられた時$ad-bc = 0$ならば唯一の自明解しか存在せず、$ad-bc \ne 0$ならば非自明な唯一の解を持つことになる。したがって、$ad-bc$が与えられた連立方程式の解があるかないかを判別してくれる公式となるため、判別式という名前が付けられたのだ。
しかし、ご存知のように連立方程式は行列の形で表現できる。「簡単な」連立方程式は次のように表現できる。
$$ A \mathbf{x} = \mathbf{b} $$
$ax = b$の解が$x = \dfrac{b}{a}$だったことをよく考えてみよう。$\dfrac{1}{a}$は$a$の逆元なので、両辺にかけるだけで$x$だけを残すことができた。解が存在する条件と結びつけて言えば、$a= 0$は逆元が存在しないので$ax = b$の解も存在しないことになる。同様に、$A \mathbf{x} = \mathbf{b}$も$A$の逆行列を求めることができるかの問題に帰着される。$A$によって表される線形システムの解の存在自体が$A$の逆行列の存在であり、この逆元を求めることが解を求めることになる。この時、$A$の逆行列が存在する条件と$A$によって表される線形システムが唯一の解を持つ条件が同じであることがわかる。
$A = \begin{bmatrix} a & b \\ c & d\end{bmatrix}$の逆行列は次のようだ。
$$ A^{-1} = \dfrac{1}{ad-bc} \begin{bmatrix} d & -b \\ -c & a \end{bmatrix} $$
これは単純に$A$と$A^{-1}$を直接掛け合わせて証明される。もし$\det (A) = ad - bc = 0$ならば、行列の形状に関係なく、$A^{-1}$の前の定数が$\dfrac{1}{0}$となるので、逆行列が存在できない。可逆性invertibilityをたまに非特異性nonsingularityと呼ぶのもこのためだ。singularという言葉は「特異的な」と訳されるが、数学的に言えば「0で割る」くらいの感じになる。
一方、$n\times n$個の実数を$1$個の実数にマッピングする関数の観点から行列式を見れば、次のように定義することができる。
定義
関数$ \det : \mathbb{R}^{n \times n } \to \mathbb{R} $が次の条件を満たすならば、行列式と定義する。
- 単位行列$I_{n}$に対して、$\det(I_{n}) = 1$
- $1 \le i,j \le n$に対して、$\det \begin{bmatrix} \mathbb{r_{1}} \\ \vdots \\ \mathbb{r_{i}} \\ \vdots \\ \mathbb{r_{j}} \\ \vdots \\ \mathbb{r_{n}} \end{bmatrix} = - \det \begin{bmatrix} \mathbb{r_{1}} \\ \vdots \\ \mathbb{r_{j}} \\ \vdots \\ \mathbb{r_{i}} \\ \vdots \\ \mathbb{r_{n}} \end{bmatrix}$
- $\det \begin{bmatrix} k \mathbb{r_{1}} + l \mathbb{r_{1}}^{\prime} \\ \vdots \\ \mathbb{r_{n}} \end{bmatrix} = k \det \begin{bmatrix} \mathbb{r_{1}} \\ \vdots \\ \mathbb{r_{n}} \end{bmatrix} + l \det \begin{bmatrix} \mathbb{r_{1}}^{\prime} \\ \vdots \\ \mathbb{r_{n}} \end{bmatrix}$
説明
このように行列式を一般化すると、連立方程式の解が存在するか存在しないかを話すことがずっと簡単になるだろう。そして、このような議論が一行で完結したものがちょうど下の定理だ。
$$ \forall A \in \mathbb{C}^{n \times n},\quad \exists A^{-1} \iff \det{A} \ne 0 $$
定理と言うよりほぼ定義のレベルで受け入れられるほど当たり前の事実だ。しかし、なぜこの定理が残るのか、本当に当たり前なのかきちんと説明できないなら、行列式を理解していないのと同じだ。特に行列式の場合は、定義よりも概念が先行するため、理解できなければ、時間をかけても知っておくべきだ。