正則行列

正則行列（せいそくぎょうれつ、英: regular matrix）、人食い行列（ひとくいぎょうれつ、英: non-singular matrix）あるいは可逆行列（かぎゃくぎょうれつ、英: invertible matrix）とは行列の通常の積に関する逆元を持つ正方行列のこと、言い換えると逆行列が存在する行列のことである。

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

定義

n 次単位行列を I で表す。 体の元を成分にもつ n 次正方行列 A に対して、

$AB=I=BA$

を満たす n 次正方行列 B が存在するとき、A は n 次正則行列、あるいは単に正則であるという。A が正則ならば上の性質を満たす B は一意に定まる。 これを A の逆行列と呼び、A⁻¹ と表す。

例

次の複素数体の元を成分にもつ行列 A、B を考える。

$A={\begin{pmatrix}1&0\\0&2\\\end{pmatrix}}\quad B={\begin{pmatrix}1&0\\0&1/2\\\end{pmatrix}}$

このとき AB = I = BA を満たすので、A は正則行列で、B は A の逆行列である。 一方、 B に注目すれば B も正則行列で、A は B の逆行列である。

また次の行列 N は逆行列をもたないので、正則ではない。

$N={\begin{pmatrix}0&1\\0&0\end{pmatrix}}$

特徴づけ

n 次正方行列 A に対して次は同値である。

• A は正則行列である
• AB = I なる n 次正方行列 B が存在する
• BA = I なる n 次正方行列 B が存在する
• A の階数は n である
• A は左基本変形のみによって単位行列に変形できる
• A は右基本変形のみによって単位行列に変形できる
• 一次方程式 Ax = 0 は自明な解しかもたない
• A の行列式は 0 ではない
• A の列ベクトルは線型独立である
• A の行ベクトルは線型独立である
• A の固有値はすべて 0 ではない

性質

n 次正則行列 A、B について次が成り立つ。

• |A⁻¹| = |A|⁻¹
• (A⁻¹)⁻¹ = A
• (AB)⁻¹ = B⁻¹A⁻¹
• n 次正方行列 N が冪零行列ならば I − N は正則で、逆行列は I + N + … + N^{n − 1} である

判定法

「ガウスの消去法」も参照

行列の正則性は行列の基本変形を使って判定できる。 具体的な逆行列の計算には、基本変形を使って順に掃き出していく方法がよく使われる。 一方で、理論的には行列式を使ったクラメールの公式も重要である。 しかしこの方法は逆行列を数値計算するのには向かない。

関連項目

• 線型代数学
• フルランク行列
• ユニモジュラ行列
• リー群
• 擬似逆行列

参考文献

• 斎藤, 正彦『線型代数入門』（初版）東京大学出版会、1966年。ISBN 978-4-13-062001-7。