小行列

線型代数学における部分行列（ぶぶんぎょうれつ、）または小行列（しょうぎょうれつ、）は、与えられた行列に対してその行または列を取り除くことで作られる行列を言う。特に正方行列に対して同じ番号の行と列を取り除くことで得られる小行列は主小行列 ("principal submatrix") と呼ぶ。小行列は、小行列式や余行列の定義に用いられ、それらは行列式の余因子展開において重要である。
定義.
 を可換体 上の行列とするとき、 の小行列 は、行添字の部分集合 と列添字の部分集合 を選んで行列
を言う。この小行列 は 本の行および 本の列を持つ行列である。取り除く添字の部分集合が各々一元集合であるときには、例えば は単に と書く。
 で のときの小行列
を主小行列とも呼ぶ。
これとは異なり、選んで添字を指定することによって小行列を記述することもある。この立場では
のように書く。ただし、以下本項ではこの記法は用いないこととする。連続する番号の行および列を用いて得られる小行列は、もとの行列のブロックと呼ばれる。
例.
例えば、以下の行列
に対して、その小行列の一つ
は第二行および第三列を取り除いて得られる。
応用.
行列 が階数 を持つならば、正方小行列 が存在して かつ とできる。そのような小行列は、例えばガウスの消去法などを用いて計算できる。正方小行列の行列式は小行列式と呼ばれ、主小行列の行列式は主小行列式と呼ばれる。正方行列 の の形の小行列の行列式に交代符号を与えれば、もとの行列の余因子
が得られ、余因子行列 は の逆行列を陽に計算するために用いることができる。また行列式の計算に関するラプラス展開定理や二つの行列の積の行列式に関するビネ–コーシーの定理などにおいても小行列式は重要な役割を果たす。