余因子展開

数学の線型代数学における余因子展開（よいんしてんかい、）、あるいはピエール・シモン・ラプラスの名に因んでラプラス展開とは、次正方行列  の行列式  の、 個の  の 次小行列式の重み付き和としての表示である。余因子展開は行列式を見るいくつかの方法の一つとして理論的に興味深く、行列式の実際の計算においても有用である。

 の とは、次で定義されるスカラーである：

ここで  は  の 小行列式、つまり、 から第行と第列を除いて得られる 次小正方行列の行列式である。

すると余因子展開は次で与えられる：

 例 
次の行列式の余因子展開を考える：

行列式はその1つの行あるいは列に沿って余因子展開し計算することができる。例えば、第1行に沿って展開すると：

第2列に沿って余因子展開すると次のようになる：

結果が正しいことを確かめるのは易しい。実際、第1列と第3列を足すと第2列の2倍になるから行列は正則でなく、したがってその行列式は 0 である。

 証明 
 置換による証明 
 を 次正方行列とし、 を固定する。 の 小行列  の成分を簡単のため  と書く。 を因子に持つ  の展開項を考えると、それは  を満たす適当な置換  により

と表すことができる。ここで  は行列式の展開項が等しくなるように  から導かれるものであり、対応  は  と  の間の全単射である。 は  で次のように表せる：

ただし、 はこの場だけの省略記法で、  を表すものとする。つまり、 より大きい番号は 1 ずつ減らし、 は  に写す置換（したがって、 の像がきちんと集合  になる）を意味するものとする。

 からもとの  を以下のようにして導出することができる： を  に拡張すると（このとき  にならざるを得ない）、

と表せる。このとき、先に （これは巡回置換  のことである）を施してから  を施す置換  も、 を施してから  を施す置換  も、どちらも次の置換になる：

したがって , 故に  を得る（ただし、 は  の逆置換である  を表すとする）。故に

ここに現れる2つの巡回置換はそれぞれ 個と 個の互換の積で表せるから

であり、また写像  が全単射であったから、

となり、ここから所期の結果が得られる。（証明終）

 多重線形交代性による証明 
次正方行列  の行列式を、第列に沿って展開することを考える。

第行に沿う展開も同様である。（証明終）

 補小行列式展開 
余因子展開は次のように一般化できる。

 例 
正方行列

を考える。この行列の行列式は最初の2行に沿った余因子展開を用いて次のように計算できる。まず  には2つの相異なる数の集合が6つあることに注意。すなわち

をそれらの集合とする。

補余因子を


と定義し、それらの置換の符号を

と定義することで、 の行列式は

と書き下せる。ただし  は  の補集合である。

我々の明示的な例でこれを計算すると次のようになる。

上と同様、結果が正しいことを確かめるのは容易である。実際、第1列と第3列を足すと第2列の2倍になるから行列は正則でなく、したがって行列式は 0 である。

 一般の主張 
 を 次正方行列とし、 を  の  元部分集合全体の集合とし、 をその元とする。すると  の行列式は  によって指定される  個の行に沿って次のように展開できる：

ただし  は  と  によって決定される置換の符号で

に等しく、 は  から添え字がそれぞれ  と  に属している行と列を除いて得られる  の正方部分行列で、（ の補行列と呼ばれる）は  と定義される。ここで  と  はそれぞれ  と  の補集合である。

これは  のとき冒頭の定理と一致する。同じことは任意の固定された  個の列に対しても成り立つ。

計算量
余因子展開は高次行列に対しては計算的に非効率的である。なぜならば 次正方行列に対して計算のオーダーは  だからである。したがって、余因子展開は大きい  に対して適切ではない。LU分解にあるように三角行列への分解を用いて、行列式を  のオーダーで決定できるStoer Bulirsch: Introduction to Numerical Mathematics。

 関連項目 
 余因子行列
 行列式に対するライプニッツの明示公式

脚注

参考文献
 David Poole: Linear Algebra. A Modern Introduction. Cengage Learning 2005, ISBN 0-534-99845-3, p. 265-267 ()
 Harvey E. Rose: Linear Algebra. A Pure Mathematical Approach. Springer 2002, ISBN 3-7643-6905-1, p. 57-60 ()

外部リンク



Category:行列論
Category:行列式
Category:ピエール＝シモン・ラプラス
Category:証明を含む記事
Category:数学に関する記事