ペケとジマの線形代数 #4' 行列式とその性質①'
※今回は#4の平行世界の話です．
(#4で理解できた方は読み飛ばして構いません．)
登場人物
ペケ
理系，学部1年．
"チー牛"に似てる．
ジマ
文系，ペケの先輩．
"iカップ未満お断りのTom"に似てる．
ジマ：今回は行列式を解説するよォーー．
ペケ：ありがとうございます．行列式って
$$
|A|
=\det A
=\det(A)
=\det\begin{pmatrix}
a_{11}&\cdots&a_{1n}\\
\vdots& \ddots&\vdots\\
a_{n1}&\cdots&a_{nn}\\
\end{pmatrix}
=\begin{vmatrix}
a_{11}&\cdots&a_{1n}\\
\vdots& \ddots&\vdots\\
a_{n1}&\cdots&a_{nn}\\
\end{vmatrix}
$$
こういう奴ですよね？なんで表記がいっぱいあるのか分かんないけど．
ジマ：見やすさや分かりやすさのためだね．分母や成分に行列式が来るとき，
$$
\frac{1}{\det(A)} \ , \ 1/\det(A)
$$
だと冗長だから，
$$
\frac{1}{|A|} \ , \ 1/|A|
$$
と書きたいし，だからと言って$${|A|}$$だと絶対値や濃度にも見えるし．でも$${\det (A)}$$って書けば説明なしに一発でわかんじゃん？
ペケ：一長一短なんですね．
ジマ：後は，他単元で行列式の絶対値を書きたいとき$${||A||}$$って書いたらノルムにも見えんじゃん？ヤコビアンとか．
こういう時は一目で分かりやすいように$${|\det A|}$$とかって書くんだよォー．
この解説シリーズでも適宜それぞれの表記を使っていくから戸惑わないでくれよなァー．
ペケ：分かりました．ところで行列式って何者なんですか？
ジマ：行列式は正方行列の大きさみたいなもんだねー．マイナスにもなるけど． 色んな定義があるが，行列式は余因子展開で再帰的に定義されるよー(参考：Equivalence of Definitions of Determinant 等)．
書くの面倒だから余因子展開のやり方は自分で調べてくれよなァーー．Soーー．
ペケ：$${2,3}$$次正方行列の行列式を1列目で余因子展開しまくると，
$$
\begin{aligned}
&\det\begin{pmatrix}
a & b \\
c & d
\end{pmatrix}\\
&=a\cdot(-1)^{1+1}d+b\cdot(-1)^{2+1}c\\
&=ad-bc\\
\\
\\
&\det\begin{pmatrix}
x_1&x_2&x_3\\
y_1&y_2&y_3\\
z_1&z_2&z_3\\
\end{pmatrix}\\
&=x_1\cdot(-1)^{1+1}
\begin{vmatrix}
y_2&y_3\\
z_2&z_3
\end{vmatrix}
+x_2\cdot(-1)^{1+2}
\begin{vmatrix}
y_1&y_3\\
z_1&z_3
\end{vmatrix}
+x_3\cdot(-1)^{1+3}
\begin{vmatrix}
y_1&y_2\\
z_1&z_2
\end{vmatrix}\\
&=x_1(y_2z_3-y_3z_2)-x_2(y_1z_3-y_3z_1)+x_3(y_1z_2-y_2z_1)\\
&=x_1y_2z_3+x_2y_3z_1+x_3y_1z_2-x_1y_3z_2-x_3y_2z_1-x_2y_1z_3\\
\end{aligned}
$$
確かに．サラスの方法と一致しました．
ジマ：お前ホイ卒かァ～？サラスの方法は余因子展開から示されるから循環論法だぞ．
$${n}$$次正方行列の行列式の項数$${T_n}$$とすると，
$${T_n=nT_{n-1}=n(n-1)T_{n-2}=…=n!}$$だから，サラスの方法が$${n \geq 4}$$で通用しないことも分かるな．
ペケ：確かに．サラスの方法で同様にやった場合の項数考えると$${2n \ (n\geq 3)}$$個ですもんね．
ジマ：行列式には次の性質があるよー．
$$
\begin{align}
&交代性:\notag\\
&\Big|\boldsymbol a_1 \ \ \cdots \ \ \boldsymbol a_j \ \ \cdots \ \ \boldsymbol a_i \ \ \cdots \ \ \boldsymbol a_n\Big|\notag \\
&=-\Big|\boldsymbol a_1 \ \ \cdots \ \ \boldsymbol a_i \ \ \cdots \ \ \boldsymbol a_j \ \ \cdots \ \ \boldsymbol a_n\Big|\\
\notag \\
&線形性:\notag \\
&\Big|\boldsymbol a_1 \ \ \cdots \ \ (k\boldsymbol x+\ell\boldsymbol y)_{i列目} \ \ \cdots \ \ \boldsymbol a_n\Big|\notag\\
&=k\Big|\boldsymbol a_1 \ \ \cdots \ \ (\boldsymbol x)_{i列目} \ \ \cdots \notag\ \ \boldsymbol a_n\Big|\\
&\ \ \ \ \ +\ell \Big|\boldsymbol a_1 \ \ \cdots \ \ (\boldsymbol y)_{i列目} \ \ \cdots \ \ \boldsymbol a_n\Big|\\
\end{align}
$$
ペケ：どうやって示すんですか？
ジマ：$${(1)}$$は少々天下りだから教えるよー．
$${\Big|\boldsymbol a_1 \ \ \cdots \ \ \boldsymbol a_i \ \ \boldsymbol a_{i+1} \ \ \cdots \ \ \boldsymbol a_n\Big|,\Big|\boldsymbol a_1 \ \ \cdots \ \ \boldsymbol a_{i+1} \ \ \boldsymbol a_{i} \ \ \cdots \ \ \boldsymbol a_n\Big|}$$の$${i,i+1}$$列目をそれぞれ余因子展開すると，
$$
\begin{aligned}
&\Big|\boldsymbol a_1 \ \ \cdots \ \ \boldsymbol a_i \ \ \boldsymbol a_{i+1} \ \ \cdots \ \ \boldsymbol a_n\Big|\\
&=a_{1i}\cdot(-1)^{1+i}|\mathcal A_1|+a_{2i}\cdot(-1)^{2+i}|\mathcal A_2|\\
& \ \ \ \ +\cdots+a_{ni}\cdot(-1)^{n+i}|\mathcal A_n|\\
\\
&\Big|\boldsymbol a_1 \ \ \cdots \ \ \boldsymbol a_{i+1} \ \ \boldsymbol a_{i} \ \ \cdots \ \ \boldsymbol a_n\Big|\\
&=a_{1i}\cdot(-1)^{1+(i+1)}|\mathcal A_1|+a_{ni}\cdot(-1)^{2+(i+1)}|\mathcal A_2|\\
& \ \ \ \ +\cdots+a_{ni}\cdot(-1)^{n+(i+1)}|\mathcal A_n|\\
&=-\Big(a_{1i}\cdot(-1)^{1+i}|\mathcal A_1|+a_{2i}\cdot(-1)^{2+i}|\mathcal A_2|\\
& \ \ \ \ +\cdots+a_{ni}\cdot(-1)^{n+i}|\mathcal A_n|\Big)\\
\end{aligned}
$$
だから，
$$
\begin{aligned}
\Big|\boldsymbol a_1 \ \ \cdots \ \ \boldsymbol a_i \ \ \boldsymbol a_{i+1} \ \ \cdots \ \ \boldsymbol a_n\Big|\\
=-\Big|\boldsymbol a_1 \ \ \cdots \ \ \boldsymbol a_{i+1} \ \ \boldsymbol a_{i} \ \ \cdots \ \ \boldsymbol a_n\Big|
\end{aligned}
$$
これは隣同士入れ替えれば$${(-1)}$$倍を意味してるから，コレを繰り返し使って，
$$
\begin{aligned}
&\therefore
\Big|\boldsymbol a_1 \ \ \cdots \ \ \boldsymbol a_i \ \ \cdots \ \ \boldsymbol a_j \ \ \cdots \ \ \boldsymbol a_n\Big|\\
&=(-1)^{(j-1)-i}\Big|\boldsymbol a_1 \ \ \cdots \ \ \boldsymbol a_{i-1} \ \ \boldsymbol a_{i+1} \ \ \cdots \ \ \boldsymbol a_i \ \ \boldsymbol a_j \ \ \cdots \ \ \boldsymbol a_n\Big|\\
&=(-1)^{j-i-1}(-1)^{j-i}\Big|\boldsymbol a_1 \ \ \cdots \ \ \boldsymbol a_{i-1} \ \ \boldsymbol a_j \ \ \boldsymbol a_{i+1} \ \ \cdots \ \ \boldsymbol a_i \ \ \cdots \ \ \boldsymbol a_n\Big|\\
&=-\Big|\boldsymbol a_1 \ \ \cdots \ \ \boldsymbol a_j \ \ \cdots \ \ \boldsymbol a_i \ \ \cdots \ \ \boldsymbol a_n\Big|\\
\end{aligned}
$$
ペケ：$${(2)}$$は僕でも示せそうですね．$${i}$$列目を余因子展開すると，
$$
\begin{aligned}
&\Big|\boldsymbol a_1 \ \ \cdots \ \ (k\boldsymbol x+\ell\boldsymbol y)_{i列目} \ \ \cdots \ \ \boldsymbol a_n\Big|\\
&=(kx_1+\ell y_1)\cdot(-1)^{1+i}|\mathcal A_1|\\
& \ \ \ \ +\cdots+(kx_n+\ell y_n)\cdot(-1)^{n+i}|\mathcal A_n|\\
&=k\Big(x_1\cdot(-1)^{1+i}|\mathcal A_1|\\
& \ \ \ \ +\cdots+x_n\cdot(-1)^{n+i}|\mathcal A_n|\Big)\\
& \ \ \ \ +\ell\Big( y_1\cdot(-1)^{1+i}|\mathcal A_1|\\
& \ \ \ \ +\cdots+y_n\cdot(-1)^{n+i}|\mathcal A_n|\Big)\\
&=k\Big|\boldsymbol a_1 \ \ \cdots \ \ (\boldsymbol x)_{i列目} \ \ \cdots \ \ \boldsymbol a_n\Big|\\
&\ \ \ \ \ +\ell \Big|\boldsymbol a_1 \ \ \cdots \ \ (\boldsymbol y)_{i列目} \ \ \cdots \ \ \boldsymbol a_n\Big|\\
\end{aligned}
$$
ジマ：Soー．行列式は各列に対して線形性があるんだよNeーー．
多重線形性があるというよォー．
ペケ：へー．各行には？
ジマ：言えるよぉー．次が成り立つからね．
$$
\begin{align}
|A^\top|=|A|
\end{align}
$$
転置しても行列式の値は変わんないんだよね．
ペケ：何となくわかるんですが，証明は？
ジマ：余因子展開と帰納法だね．
ペケ：なるほど．
ジマ：で，次が今回の花形だ．
$$
\begin{align}
|AB|=|A||B|
\end{align}
$$
積の行列式は行列式の積になるんだよぉー．Soー．
ペケ：へ～～！やっぱり．何となくそうなると思っていました．どうやって示すんですか？
ジマ：ｸｸｸｸｸ…www
ペケ：？
ジマ：ムズいから今は示せないよォーwww
結果だけ使っていいよー．
ペケ：こんな基本的な式の証明がそんなにムズいんですか！？
にわかに信じがたいですね…
ジマ：コジ(筆者)が大昔に簡単な証明をupしてるから，知りたかったらそれ見とけ．
ペケ：分かりました．
#4'のまとめ
行列式は余因子展開によって定義される(いくつかの同値な定義の一つ)
行列式の性質①
2つの列・行を入れ替えるとマイナスが付く．(交代性)
各列・行に線形性がある．(多重線形性)
積の行列式は行列式の積：$${|AB|=|A||B|}$$
転置しても値不変：$${|A^\top|=|A|}$$
いいなと思ったら応援しよう！
