小行列式

線型代数学において，行列 A の小行列式（しょうぎょうれつしき，英: minor, minor determinant）とは，A から1列以上の行や列を取り除いて得られる小さい正方行列の行列式である．正方行列から行と列をただ1つずつ取り除いて得られる小行列式 (first minors) は行列の余因子 (cofactor) を計算するのに必要で，これは正方行列の行列式や逆行列の計算に有用である．

定義と説明

(i, j) 小行列式

A が正方行列のとき，その (i, j) 小行列式 (minor, first minor) とは，第 i 行と第 j 列を除去して得られる部分行列の行列式である．この数はしばしば M_i,j と書かれる．(i, j) 余因子 (cofactor) は小行列式に (−1)^{i + j} を掛けることによって得られる．

これらの定義を説明するため，次の3×3行列を考える：

${\begin{bmatrix}1&4&7\\3&0&5\\-1&9&11\end{bmatrix}}.$

小行列式 M₂₃ と余因子 C₂₃ を計算するため，上の行列から第2行と第3列を除いた行列の行列式を求める．

$M_{23}=\det {\begin{bmatrix}\,\,1&4&\Box \,\\\,\Box &\Box &\Box \,\\-1&9&\Box \,\\\end{bmatrix}}=\det {\begin{bmatrix}\,\,\,1&4\,\\-1&9\,\\\end{bmatrix}}=(9-(-4))=13.$

したがって (2, 3) 余因子は

$\ C_{23}=(-1)^{2+3}(M_{23})=-13.$

一般の定義

A を m × n 行列とし，k を整数で 0 < k ≤ m, k ≤ n とする．A の k × k 小行列式は A から m − k 個の行と n − k 個の列を除いて得られる k × k 行列の行列式である．上の行列 A に対して，全部で ${m \choose k}\cdot {n \choose k}$ 個のサイズが k × k の小行列式が存在する．Minor of order zero はしばしば 1 と定義される．正方行列に対して，zeroth minor は単にその行列の行列式である．

1 ≤ i₁ < i₂ < ⋯ < i_k ≤ m, 1 ≤ j₁ < j₂ < ⋯ < j_k ≤ n を添え字の順序列とし（小行列式について話すときには特に断らない限りつねにそうであるように，自然な順序で），それらをそれぞれ I, J と呼ぶ．添え字のこれらの選択に対応する小行列式 $\det \left((A_{i_{p},j_{q}})_{p,q=1,\ldots ,k}\right)$ は det_I,JA, [A]_I,J, M_I,J, M_i{[sub, i₂, ..., i_k, j₁, j₂, ..., j_k, M_(i),(j)}} などと書かれる（ただし (i) は添え字の列 I を表す，等）．また，文献によって2種類の意味がある：添え字 I と J の順序列に伴う小行列式によって，ある著者は上のようにもとの行列の元を行は添え字が I に入っていて列は添え字が J に入っているものから取って作られる行列の行列式を意味し，他のある著者は I と J に伴う小行列式によってもとの行列から I の行と J の列を除去することで得られる行列の行列式を意味する．どの表記が使われているかはいつも確認すべきである．この記事では，I の行と J の列から元を選ぶ，含む方の定義を用いる．例外的な場合は (i, j) 小行列式の場合である；この場合，取り除く方の表記 $M_{i,j}=\det \left(\left(A_{p,q}\right)_{p\neq i,q\neq j}\right)$ がどの文献でも標準的であり，この記事においても用いる．

補小行列式

正方行列 A の小行列式 M_{ijk...,pqr...} の補小行列式 B_{ijk...,pqr...} は，A から M_{ijk...,pqr...} に伴う行 (ijk...) と列 (pqr...) をすべて取り除いた行列の行列式である．(i, j) 小行列式の補小行列式は単に (i, j) 成分である．

小行列式と余因子の応用

行列式の余因子展開

詳細は「余因子展開」を参照

余因子は行列式の展開のラプラスの公式において顕著に主役を演じる．これは大きい行列の行列式を小さい行列の行列式で計算する手法である．n × n 行列 (a_ij) が与えられると，A の行列式 det(A) は行列の任意の行か列の余因子にそこの成分を掛けたものの和として書くことができる．言い換えると，第 j 列に沿った余因子展開は

$\ \det(\mathbf {A} )=a_{1j}C_{1j}+a_{2j}C_{2j}+a_{3j}C_{3j}+\dotsb +a_{nj}C_{nj}=\sum _{i=1}^{n}a_{ij}C_{ij}$

であり，第 i 行に沿った余因子展開は

$\ \det(\mathbf {A} )=a_{i1}C_{i1}+a_{i2}C_{i2}+a_{i3}C_{i3}+...+a_{in}C_{in}=\sum _{j=1}^{n}a_{ij}C_{ij}$

である．

逆行列

詳細は「可逆行列」を参照

可逆行列の逆行列をクラメルの法則を用いて，その余因子を計算することで以下のように書き下せる．正方行列 A のすべての余因子からつくられる次の行列は余因子行列と呼ばれる：

$\mathbf {C} ={\begin{bmatrix}C_{11}&C_{12}&\cdots &C_{1n}\\C_{21}&C_{22}&\cdots &C_{2n}\\\vdots &\vdots &\ddots &\vdots \\C_{n1}&C_{n2}&\cdots &C_{nn}\end{bmatrix}}$

このとき A の逆行列は余因子行列の転置に A の行列式の逆数を掛けたものである：

$\mathbf {A} ^{-1}={\frac {1}{\operatorname {det} (\mathbf {A} )}}\mathbf {C} ^{\mathsf {T}}.$

余因子行列の転置は A の随伴行列 (adjugate matrix) あるいは古典随伴行列と呼ばれる．

上の公式は次のように一般化できる．$1\leq i_{1}<i_{2}<\ldots <i_{k}\leq n$ と $1\leq j_{1}<j_{2}<\ldots <j_{k}\leq n$ を添え字の（自然な順序での）順序列とする（ここで A は n × n 行列である）．このとき

$[\mathbf {A} ^{-1}]_{I,J}=\pm {\frac {[\mathbf {A} ]_{J',I'}}{\det \mathbf {A} }}$

である，ただし $I',J'$ は添え字 I, J の補集合を自然な順序で並べた列である．よってどの添え字 1, ..., n も I あるいは I′ の一方のみにちょうど一回現れる（J と J′ についても同様）．また $[\mathbf {A} ]_{I,J}$ は A の部分行列であって行の添え字が I で列の添え字が J であるものの行列式を表す．つまり，$[\mathbf {A} ]_{I,J}=\det \left((A_{i_{p},j_{q}})_{p,q=1,\ldots ,k}\right)$ である．単純な証明はウェッジ積を用いて与えることができる．実際，

$[\mathbf {A} ^{-1}]_{I,J}(e_{1}\wedge \ldots \wedge e_{n})=\pm (\mathbf {A} ^{-1}e_{j_{1}})\wedge \ldots \wedge (\mathbf {A} ^{-1}e_{j_{k}})\wedge e_{i'_{1}}\wedge \ldots \wedge e_{i'_{n-k}}$

である，ただし $e_{1},\ldots ,e_{n}$ は基底ベクトルである．A を両辺に作用させて，

$[\mathbf {A} ^{-1}]_{I,J}\det \mathbf {A} (e_{1}\wedge \ldots \wedge e_{n})=\pm (e_{j_{1}})\wedge \ldots \wedge (e_{j_{k}})\wedge (\mathbf {A} e_{i'_{1}})\wedge \ldots \wedge (\mathbf {A} e_{i'_{n-k}})=\pm [\mathbf {A} ]_{J',I'}(e_{1}\wedge \ldots \wedge e_{n}).$

符号は $(-1)^{\sum _{s=1}^{k}i_{s}-\sum _{s=1}^{k}j_{s}}$ であることが計算できる．符号は I, J の元の和によっても決定される．

他の応用

実数（あるいは任意の他の体）を成分とし，階数が r の m × n 行列が与えられると，少なくとも1つの 0 でない r × r 小行列式が存在し，それより大きいサイズの小行列式はすべて 0 である．

記号 [A]_I,J は上の通りとする．

• I = J のとき，[A]_I,J は主小行列式あるいは首座小行列式 (principal minor) と呼ばれる．
• 主小行列式に対応する行列がもとの行列の左上の正方形の部分である（すなわち行と列が 1 から k）とき，主小行列式は leading principal minor (of order k) あるいは corner (principal) minor (of order k) と呼ばれる．n × n 正方行列に対しては，n + 1 個の leading principal minors が存在する．
• 行列の basic minor とは，行列式が 0 でないようなサイズが最大の正方部分行列の行列式である．
• エルミート行列に対して，leading principal minor は正定値性の判定に使うことができ，主小行列式は半正定値性の判定に使うことができる．詳細はシルヴェスターの判定法を参照．

通常の行列の乗法の公式と2つの行列の積の行列式のコーシー・ビネの公式はともに，2つの行列の積の小行列式についての次の一般的な主張の特別な場合である．

A を m × n 行列，B を n × p 行列とし，I を k 個の元からなる {1,...,m} の部分集合とし，J を k 個の元からなる {1,...,p} の部分集合とする．このとき

$[\mathbf {AB} ]_{I,J}=\sum _{K}[\mathbf {A} ]_{I,K}[\mathbf {B} ]_{K,J}\,$

が成り立つ，ただし和は k 個の元を持つ {1, ..., n} の部分集合 K 全体を走る．この公式はコーシー・ビネの公式の直截的拡張である．

多重線型代数アプローチ

よりシステマティックには，小行列式の概念の代数学的な扱いはウェッジ積を用いて多重線型代数において与えられる：行列の k 次小行列式は k 次外冪写像の成分である．

行列の列が一度に k 回一緒にウェッジされると，k × k 小行列式は得られる k 次元ベクトルの成分として現れる．例えば，行列

${\begin{pmatrix}1&4\\3&\!\!-1\\2&1\\\end{pmatrix}}$

の 2 × 2 小行列式は −13（最初の2行から），−7（最初と最後の行から），5（最後の2行から）である．さてウェッジ積

$(\mathbf {e} _{1}+3\mathbf {e} _{2}+2\mathbf {e} _{3})\wedge (4\mathbf {e} _{1}-\mathbf {e} _{2}+\mathbf {e} _{3})$

を考えよう，ただし2つの式は我々の行列の2つの行に対応する．ウェッジ積の性質を用いて，すなわち双線型性と

$\mathbf {e} _{i}\wedge \mathbf {e} _{i}=0$

と

$\mathbf {e} _{i}\wedge \mathbf {e} _{j}=-\mathbf {e} _{j}\wedge \mathbf {e} _{i}$

を用いて，この数式は

$-13\mathbf {e} _{1}\wedge \mathbf {e} _{2}-7\mathbf {e} _{1}\wedge \mathbf {e} _{3}+5\mathbf {e} _{2}\wedge \mathbf {e} _{3}$となる，ここで係数は先に計算した小行列式と一致する．

異なる表記についての注意

ある本では cofactor（余因子）の代わりに adjunct が使われている．さらに，それは A_ij と書かれ，余因子と同じように定義される：

$\mathbf {A} _{ij}=(-1)^{i+j}\mathbf {M} _{ij}.$

この表記を用いて，逆行列は次のように書かれる：

$\mathbf {A} ^{-1}={\frac {1}{\det(A)}}{\begin{bmatrix}A_{11}&A_{21}&\cdots &A_{n1}\\A_{12}&A_{22}&\cdots &A_{n2}\\\vdots &\vdots &\ddots &\vdots \\A_{1n}&A_{2n}&\cdots &A_{nn}\end{bmatrix}}$

adjunct は adjugate や adjoint ではないことに注意．現代の用語では，行列の "adjoint" は対応する随伴作用素を指すことが最も多い．

関連項目

• 部分行列

外部リンク

• MIT Linear Algebra Lecture on Cofactors at Google Video, from MIT OpenCourseWare
• PlanetMath entry of Cofactors
• Springer Encyclopedia of Mathematics entry for Minor