小行列式

線型代数学において，行列 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次正方行列を考える：

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

小行列式 M_2,3 と余因子 C_2,3 を計算するため，上の行列から第2行と第3列を除いた行列の行列式を求める。

$M_{2,3}={\begin{vmatrix}\,\,1&4&\Box \,\\\,\Box &\Box &\Box \,\\-1&9&\Box \,\\\end{vmatrix}}={\begin{vmatrix}\,\,\,1&4\,\\-1&9\,\\\end{vmatrix}}=(9-(-4))=13$

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

$C_{2,3}=(-1)^{2+3}M_{2,3}=-13$

一般の定義

m × n 行列 A に対して、正の整数 k が k ≤ m, n を満たすとき、k次小行列式 (minor determinant of order k)とは、A の m個の行から選んだ k個の行に属し、n個の列から選んだ k個の列にも属する成分からなる k次小正方行列の行列式のことである。このことは、A から m − k個の行と n − k 個の列を除いて得られる k次小正方行列の行列式ということもできる。

m × n行列の小行列（式）の作られ方は、全部で $\textstyle {m \choose k}\cdot {n \choose k}$個ある。

零次の小行列式 (Minor of order zero) はしばしば 1 と定義される（空積も参照のこと）。

対照的に、正方行列に対する第零小行列式 (zeroth minor) とは、単にその行列の行列式のことを言う。

元々の A の行・列を具体的に指定して表記するには、1 ≤ i₁ < i₂ < … < i_k ≤ m, 1 ≤ j₁ < j₂ < … < j_k ≤ n に対して、それらをそれぞれ I, J と呼ぶことにすると、これらの添え字から得られる小行列式 $\det((A_{i_{p},j_{q}})_{p,q=1,\cdots ,k})$ は

det_I,JA, [A]_I,J, M_I,J, M_{i1, i2, ..., ik, j1, j2, ..., jk}, M_(i),(j)

などと書かれる（(i) は添え字の列 I を表す）。注意しないといけないのは、文献・著者によって全く逆の2種類の意味を指すことがあることである。著者によっては、I, J のどちらにも属している成分から作られる行列の行列式を意味し、著者によっては、I, J に対応する行・列を除いて得られる行列の行列式を意味する。この記事では前者（I の行と J の列から元を選ぶ）の方の定義を用いる。例外的な場合は (i, j)小行列式の場合である；この場合、取り除く方の表記 $M_{i,j}=\det((A_{p,q})_{p\neq i,q\neq j})$ がどの文献でも標準的であり、この記事においても用いる。

補小行列式

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

小行列式と余因子の応用

行列式の余因子展開

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

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

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

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

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

である。

逆行列

詳細は「正則行列」を参照

正則行列の逆行列を、クラメルの公式を用いて、その余因子を計算することで以下のように書き下せる。正方行列 A の全ての余因子を成分とする正方行列は余因子行列と呼ばれる：

${\widetilde {A}}={\begin{bmatrix}{\widetilde {a}}_{11}&{\widetilde {a}}_{12}&\cdots &{\widetilde {a}}_{1n}\\{\widetilde {a}}_{21}&{\widetilde {a}}_{22}&\cdots &{\widetilde {a}}_{2n}\\\vdots &\vdots &\ddots &\vdots \\{\widetilde {a}}_{n1}&{\widetilde {a}}_{n2}&\cdots &{\widetilde {a}}_{nn}\end{bmatrix}}$

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

$A^{-1}={\frac {1}{\det(A)}}{\widetilde {A}}^{\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(A_{i_{p},j_{q}})_{p,q=1,\ldots ,k})$ である．単純な証明はウェッジ積を用いて与えることができる．実際，

$[\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},\cdots ,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 \limits _{s=1}^{k}i_{s}-\sum \limits _{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 個の首座小行列式が存在する．
• 行列の 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