Prerequisite
この節では行列からスカラーをつくる演算,行列式を紹介する.
次正方行列
の行列式 (determinant) とは
行列式
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/001func_det_a__sum.png?w=482)
で定義されるスカラーである.
ここで は
次元のLevi-Civita記号であり
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/002epsilon_i_1i_2_c.png?w=562)
と定義される.
ここで置換の説明を簡単にしておこう. 個の数列
を並べ替えて数列を得る操作を置換 (permutation) という.
置換を とすると
ならば
である.
特に2つの数字を入れ替えるだけの置換を互換 (transposition) という.
任意の置換は互換を繰り返すことで実現でき,それは一意ではないが互換の回数の偶奇は置換に対し1つ決まる(証明は省く).
互換の数が偶数の場合は偶置換 (even) ,奇数の場合は奇置換 (odd) という.
たとえば のとき,
は偶置換,
は奇置換である.
行列式の記法として具体的な行列に対しては行列を で囲んで
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/003func_det_a__a_1.png?w=392)
と書く.
これを踏まえて のときの行列式を具体的に書き出してみる.
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/004a__a_11__a_12_.png?w=282)
の行列式は
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/005func_det_a__su.png?w=670)
したがって
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/006_func_det_a__.png?w=848)
特に のときはベクトルと関係付けられる.
3次元ベクトル ,
,
とおくと行列式は
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/007func_det_a__sum.png?w=418)
とスカラー三重積で書ける.
よって の場合は3つのベクトルが張る平行六面体の体積に等しい.
基本変形と行列式の関係を調べよう.
行列 に対して
行目を
倍して
行目に加えたもの
の行列式は
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/008func_det_pijc.png?w=722)
ここで1行目は に等しい.
2行目については に着目する.
Levi-Civita記号は について反対称だが
は対称である.
ゆえにこの和は相殺して となる.
したがって
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/009func_det_pijc.png?w=270)
行列 に対して
行目と
行目を入れ替えた(
としても一般性を失わない)もの
の行列式は
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/010func_det_qija.png?w=766)
ここでLevi-Civita記号は添字を奇置換すると符号が反転するので となる.
したがって元の行列式の 倍に等しいことがわかる,
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/011func_det_qija.png?w=266)
最後に行列 に対して
行目を
倍したもの
の行列式は和の各項が
倍されるだけなので
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/012func_det_rica.png?w=276)
転置行列の行列式は元の行列の行列式と等しい,
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/013func_det_a5emathr.png?w=184)
証明するにはまず定義より
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/014func_det_a5emathr.png?w=452)
すべての項で積 を並べ替えて
にする.
このときLevi-Cicita記号 と
は等しい.
なぜならば を並べ替えて
を得るときの互換の回数と同じ回数で
から
に戻せる.
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/015_1_cdots_n_qqua.png?w=380)
この戻す置換で は
が得られるので偶奇も等しい.
よって各項で
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/016epsilon_k_1_cdot.png?w=498)
が成立するので所期の結果を得る.
転置行列の行列式が等しいことによって,行に関して成立する性質は列に関しても成立することを意味する.
たとえば上記で基本変形は行についてだけ見たが列についても同様である.
2つの行列 の積の行列式については次が成立する,
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/017func_det_ab__fu.png?w=274)
つまり行列の積を行列式では実数の積に置き換えられる.
証明のためにまず積の定義より
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/018func_det_ab__su.png?w=538)
1列目に着目して行列式の線型性を使えば,
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/019func_det_ab__su.png?w=556)
として をくくり出せる.
他の列でも同様にして
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/020func_det_ab__su.png?w=596)
和の各項で を並び替えて
となるようにすれば行列式の部分は
に等しくなる.
このとき行列式は互換の回数だけ 倍されるので
がかかる.
よって
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/021func_det_ab__fu.png?w=510)
となり所期の結果を得る.
が正則行列のとき逆行列
が存在して
である.
であり積の性質から
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/022func_det_a5e-1__.png?w=248)
がわかる.
よって が正則ならば
でなければならない.
この命題の逆については後述する.
直ちに計算が可能な行列として三角行列 (triangular matrix) がある. 次正方行列で
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/023t_11__t_12__t_.png?w=346)
という形の行列を上三角行列といい,
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/024t_11__0__0__c.png?w=372)
という形の行列を下三角行列という.
行列 が三角行列ならば行列式は必ず対角成分の積に等しい:
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/025func_det_t__t_1.png?w=364)
上三角行列で示す(下三角行列は転置を取ればよい).
上三角では で
なので,行列式の和の内で
でない項は
の全てが
でなければならない.
これを満たせるのは のみである.
任意の行列式を計算したい場合は基本変形を施して三角行列の形まで変形できればその行列式が求められる.
次正方行列
の行列式を1行目の成分の線形結合と見て
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/026func_det_a__sum.png?w=228)
とおく.
ここで係数は
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/027widetilde_a_1k_.png?w=384)
である.
は
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/028widetilde_a_1k_.png?w=434)
という 次行列の行列式と等しいことがわかる.
まず に着目するとLevi-Civita記号
は添字
は固定で残りの
が実質的な添字
の動く範囲なので
を落とした
に等しい.
よって
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/029widetilde_a_11_.png?w=476)
ここで は行列
の1行目と1列目を取り除いた行列の行列式,
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/030delta_11__a_22_.png?w=440)
であり,行列の 余因子 (cofactor) という.
次に一般の では
列目を順々に入れ替えて1列目へ持ってくることで
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/031widetilde_a_1k_.png?w=748)
となり と同様に行列
の1行目と
列目を取り除いた行列の行列式,
余因子
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/032delta_1k__-15e.png?w=762)
が係数となる.よって
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/033func_det_a__sum.png?w=236)
と展開できる.
今は1行目について展開したが 行目について展開した場合は
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/034func_det_a__sum.png?w=220)
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/035widetilde_a_ik_.png?w=432)
基本変形によって 行目を順々に1行目へ入れ替えて,さらに
列目を1列目へ順々に入れ替えれば
成分に
を持ってこれる.
よって行列式に がかかる以外は同じ議論により
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/036func_det_a__sum.png?w=228)
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/037delta_ik__-15e.png?w=734)
と展開できることがわかる. は行列
の
余因子という.
和 を考える.
のときは上の結果から
に等しい.
のときは
行目と
行目に同じものが現れる行列式に等しくなる,
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/038sum_ka_ik_delta_-1.png?w=426)
これは 行目と
行目の入れ替えで符号が変わることから
に等しいことがわかる.
以上の結果をまとめると
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/039sum_ka_ik_delta_.png?w=262)
が成り立つ.
さらに行と列を入れ替えても全く同様の式が成り立つ:
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/040sum_ka_ki_delta_.png?w=262)
この2つを余因子展開という.
余因子を並べて転置をとった行列
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/041widetilde_a___.png?w=142)
を定義すると余因子展開は
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/042a_widetilde_a__.png?w=458)
とかける.
もし ならば
の逆行列が
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/043a5e-1__frac_1_fu.png?w=182)
である.これにより次が示された:
行列 が正則
つまり行列式は行列が逆行列をもつかどうかの判定手段となる.
行列を使うと線型連立方程式を簡潔に書くことができる. 個の変数
に関する
個の方程式からなる連立方程式
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/044a_11_x_1__cdots-1.png?w=338)
に対して,列ベクトル と
と行列
を導入すれば
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/045a_bs_x__bs_b_.png?w=96)
と書ける.
が正則ならば
と解くことができる.
の場合の方程式
は重要である.
この方程式は が正則ならば自明な
が解である.
したがって自明でない解,すなわち のうち少なくとも1つは
ではない解を持つためには
が必要条件である.
Problems
次の 次の正方行列
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/046a__a__b_c__d_.png?w=164)
に対して逆行列を持つための実数 の条件を調べ,余因子から逆行列を求めよ.
定義にしたがって余因子は
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/047delta_11__d_qu.png?w=548)
行列式は余因子展開より
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/048func_det_a__sum.png?w=358)
よって逆行列を持つための条件は .
逆行列は
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/049a5e-1__frac_1_fu-1.png?w=596)
次の 次の正方行列の行列式を求めよ:
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/050a__2__-1__0_-.png?w=274)
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/051func_det_a__2_.png?w=274)
まず 行目の
倍を
行目に加える,
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/052func_det_a__2_.png?w=258)
行目の
倍を
行目に加える,
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/053func_det_a__2_.png?w=264)
上三角行列の形なので対角成分の積で与えられる,
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/054func_det_a__2_c.png?w=248)
Cramerの公式: 個の変数
に関する
個の方程式からなる連立方程式
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/055a_11_x_1__cdots-1.png?w=338)
について,係数行列 が正則ならば解が
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/056x_i__frac_1_fun.png?w=254)
で与えられることを示せ.
連立方程式は とかける.
は正則なので逆行列が存在し
と解ける.
逆行列は余因子 を用いて
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/057a5e-1__frac_1_fu.png?w=242)
と表せるので代入して整理すれば,
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/10/058x_i__a5e-1_bs_b.png?w=384)