線型代数学における部分行列(ぶぶんぎょうれつ、: submatrix)または小行列(しょうぎょうれつ、: Teilmatrix[1])は、与えられた行列に対してその行または列を取り除くことで作られる行列を言う。特に正方行列に対して同じ番号の行と列を取り除くことで得られる小行列は主小行列 (principal submatrix) と呼ぶ。小行列は、小行列式余行列の定義に用いられ、それらは行列式余因子展開において重要である。

小行列は行列から特定の行および列を取り除いて得られる。この図では第二行と第四列を落としている。

定義

編集

A = (ai j) ∈ Mat(m, n; K)可換体 K 上の行列とするとき、A小行列 AI J は、行添字の部分集合 I ⊂ {1, …, m} と列添字の部分集合 J ⊂ {1, …, n} を選んで除いた行列

 

を言う。この小行列 AI Jm − |I| 本の行および n − |J| 本の列を持つ行列である。取り除く添字の部分集合が各々一元集合であるときには、例えば A{i} {j} は単に Ai j と書く。 m = nI = J のときの小行列

 

主小行列とも呼ぶ。

これとは異なり、選んで用いる添字を指定することによって小行列を記述することもある。この立場では

 

のように書く[2]。ただし、以下本項ではこの記法は用いないこととする。連続する番号の行および列を用いて得られる小行列は、もとの行列のブロックと呼ばれる。

例えば、以下の行列

 

に対して、その小行列の一つ

 

は第二行および第三列を取り除いて得られる。

応用

編集

行列 A ∈ Mat(m, n; K)階数 r を持つならば、正方小行列 AI J ∈ Mat(r; K) が存在して rank(AI J) = rank(A) かつ det AI J ≠ 0 とできる[3]。そのような小行列は、例えばガウスの消去法などを用いて計算できる。正方小行列の行列式は小行列式と呼ばれ、主小行列の行列式は主小行列式と呼ばれる。正方行列 AAi j の形の小行列の行列式に交代符号を与えれば、もとの行列の余因子

 

が得られ、余因子行列 ~A ≔ (~ai j)A逆行列を陽に計算するために用いることができる。また行列式の計算に関するラプラス展開定理や二つの行列のの行列式に関するビネ–コーシーの定理などにおいても小行列式は重要な役割を果たす。

参考文献

編集
  • Siegfried Bosch (2006), Lineare Algebra (ドイツ語), Springer, ISBN 3-540-29884-3
  • Christoph W. Überhuber (1995), Computer-Numerik 2 (ドイツ語), Springer, ISBN 3-642-57794-6
  1. ^ Christian Karpfinger: Höhere Mathematik in Rezepten. Springer Verlag, Berlin 2014, ISBN 978-3-642-37865-2, S. 95.
  2. ^ Überhuber, Computer-Numerik 2 (ドイツ語), p. 212
  3. ^ Bosch, Lineare Algebra (ドイツ語), p. 146

外部リンク

編集