正則行列

出典: フリー百科事典『ウィキペディア（Wikipedia）』

正則行列（せいそくぎょうれつ、regular matrix）、非特異行列（ひとくいぎょうれつ、non-singular matrix）あるいは可逆行列（かぎゃくぎょうれつ、invertible matrix）とは行列の通常の積に関する逆元である逆行列（ぎゃくぎょうれつ、inverse matrix）を持つ正方行列のことである。

ある体上の同じサイズの正則行列の全体は一般線型群 GL と呼ばれる群を成し、その成分の代数的な関係式によって定められる部分群は線形代数群あるいは行列群と呼ばれる代数群の一種で、その表現論が代数的整数論などに広い応用を持つ幾何学的対象である。

[編集] 定義

n 次正方行列 A に対して、

A X = X A = I

（I は n 次単位行列）となる n 次正方行列 X が存在するとき、A は n 次正則行列、あるいは単に正則であるという。またこのとき、X を A の逆行列と呼び、A^-1 と書く。

有限次の行列であれば AX = I または XA = I のどちらかが成り立てば、X = A^-1 である事が証明される。従って、計算上はどちらかの式を満たすものを求めれば十分である。

[編集] 例

$A= \begin{pmatrix} 1 & 2 \\ 3 & 4 \\ \end{pmatrix}$

に対して、

$X = \begin{pmatrix} -2 & 1 \\ \cfrac{3}{2} & -\cfrac{1}{2} \\ \end{pmatrix}$

は、AX = XA = I を満たすので、A は正則行列で、X は A の逆行列 A^-1 である。一方、X に注目すれば、X は逆行列 A をもつので正則である。

ただし、例えば整数を成分とする 2 次正方行列の全体 Mat(2, Z) の中で考えているとき、A はこの範囲で可逆でない。X が Mat(2, Z) に属さないからである。

[編集] 性質

正方行列が正則である、すなわち逆行列を持つための必要十分条件は、その行列式が0でないことである。また、正則な正方行列 A について $|A^{-1}|=\frac{1}{|A|}$ が成り立つ。
$(A - 1) - 1 = A$
$(A B) - 1 = B - 1 A - 1$
X が冪零行列ならば (I-X) は正則で、逆行列は $1+X+ \dots +X^m$ の形で得られる。
正則行列の各列ベクトルは互いに一次独立である。同様に各行ベクトルは互いに一次独立である。一般に、ある体 K 上の n 次正則行列の総数は、K 上のある n 次元ベクトル空間 V における順序付けられた基底の総数に等しい。