小行列式

数学の線型代数学において、行列 A}} の小行列式とは、A}} から1列以上の行または列を除いて得られる小さい正方行列の行列式のことである。

正方行列から行と列をただ1つずつ取り除いて得られる小行列式は行列の余因子  を計算するのに必要で、これは正方行列の行列式や逆行列の計算に有用である。

1. 定義と説明
--------

1.1. }} 小行列式
--------------------------

正方行列 A}} の }} 小行列式  とは、第 i}} 行と第 j}} 列を除いて得られる小行列の行列式のことである。この数はしばしば Msub と書かれる。}}余因子  とは、}}小行列式に sup を掛けて得られる値のことである。

例えば、次の 3次正方行列を考える：

小行列式 //M//sub と余因子 tilde を計算するため、上の行列から第2行と第3列を除いた小行列の行列式を求める。

したがって }} 余因子は

1.2. 一般の定義
----------

//m// × //n//}} 行列 A}} に対して、正の整数 k}} が //k// ≤ //m, n//}} を満たすとき、k}}次小行列式 英語では "minor deternimant" の "determinant" はよく省略され、単に "minor" といった場合は普通小行列式の意味である。
小行列は英語では、普通は "// submatrix//" と呼んでいる。}}とは、A}} の m}}個の行から選んだ k}}個の行に属し、n}}個の列から選んだ k}}個の列にも属する成分からなる k}}次小正方行列の行列式のことである。このことは、A}} から //m// − //k//}}個の行と //n// − //k//}} 個の列を除いて得られる k}}次小正方行列の行列式ということもできる。

//m// × //n//}}行列の小行列の作られ方は、全部で 個ある。

零次の小行列式  はしばしば 1}} と定義される。

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

元々の A}} の行・列を具体的に指定して表記するには、1 ≤ //i//sub に対して、それらをそれぞれ //I//, //J//}} と呼ぶことにすると、これらの添え字から得られる小行列式 は

などと書かれる。注意しないといけないのは、文献・著者によって全く逆の2種類の意味を指すことがあることである。著者によっては、//I//, //J//}} のどちらにも属している成分から作られる行列の行列式を意味し、著者によっては、//I//, //J//}} に対応する行・列を除いて得られる行列の行列式を意味する。この記事では前者の方の定義を用いる。例外的な場合は }}小行列式の場合である；この場合、取り除く方の表記 がどの文献でも標準的であり、この記事においても用いる。

1.3. 補小行列式
----------

正方行列 A}} の小行列式 Msub の補小行列式 Bsub とは、A}} から第//i//, //j//, //k//, …}}行と第//p//, //q//, //r//, …}}列を除いて得られる小行列の行列式のことである。例えば、}}小行列式の補小行列式は単に }} 成分である。

2. 小行列式と余因子の応用
--------------

2.1. 行列式の余因子展開
--------------

余因子により、行列式を余因子の線形結合で表すことができる。これにより、行列式は次数が 1}} 小さい行列式から計算できる。任意の n}}次正方行列 //A// =}} }} は、行列の任意の行か列の余因子にそこの成分を掛けたものの総和に等しくなる。つまり、第j}}列に沿った余因子展開は//

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

である。

2.2. 余因子行列と逆行列
--------------

余因子により、正則行列の逆行列の成分を書き下すことができる。正方行列 A}} の全ての余因子を成分とする正方行列の転置行列は余因子行列  あるいは古典随伴行列  と呼ばれ、Tilde や adj //A//}} で表す：

A}} の余因子展開より、次の式が成り立つ：

特に、det ≠ 0}}, つまり A}} が正則のとき、A}} の逆行列は余因子行列に A}} の行列式の逆数を掛けたものである：

上の公式は次のように一般化できる：

n}}次正方行列に対して、//k// }} 個ずつの添え字集合を

1=//I// = mset   ただし 1=//J// = mset   ただし とすると

ここで、//I//′, //J//′}} はそれぞれ //I//, //J//}} の全体集合 mset における補集合を表す。

また、 は、A}} の小行列で行の添え字が I}} で列の添え字が J}} であるものの行列式を表す。つまり、 である。

単純な証明はウェッジ積を用いて与えることができる。実際、

である。ただし は基底ベクトルである。A}} を両辺に作用させると

符号は であることが計算できる。

2.3. 他の応用
---------

体の元を成分とする //m// × //n//}}行列に対して、0}} でない小行列式の最大次数は行列の階数 r}} に等しい。

記号 [//A//]sub は上の通りとする．

//I// =}} //J//}} のとき、[//A//]sub は主小行列式  と呼ばれる。
主小行列式に対応する行列がもとの行列の左上の正方形の部分であるとき、主小行列式は首座小行列式 , corner  minor ) と呼ばれる。//n// }}次正方行列に対しては、//n// }} 個の首座小行列式が存在する。
行列の基本小行列式とは、0}} でない小行列式で次数が最大のもののことである。
エルミート行列に対して、首座小行列式は正定値性の判定に使うことができ、主小行列式は半正定値性の判定に使うことができる。詳細はシルヴェスターの判定法を参照。コーシー・ビネの公式は、//m// × //n//}}行列と //n// × //m//}} 行列の積の行列式について成り立つ等式であるが、これを次の一般的な主張に拡張することができる：

//m// × //n//}}行列 A}}，//n// × //l//}} 行列 B}} に対して、I}} を k}}個の元からなる mset の部分集合とし、J}} を k}} 個の元からなる mset の部分集合とする。このとき

が成り立つ。ただし、総和の添え字 K}} は k}} 個の元を持つ mset の部分集合全体を走る。この公式はコーシー・ビネの公式の直截的拡張である．

3. 多重線型代数アプローチ
--------------

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

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

の 2}}次小行列式は −13}}、−7}}、5}}である。さてウェッジ積

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

と

を用いて、この数式は

となる。ここで係数は先に計算した小行列式と一致する。

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

文献や著者によっては、余因子行列  の代わりに "cofactor matrix" が使われている。この表記では、逆行列は次のように書かれる：

5. 注釈
-----

6. 参照
-----

7. 関連項目
-------

小行列
行列の階数

8. 外部リンク
--------

[1] at Google Video, from MIT OpenCourseWare
[2]
[3]