正則行列

正則行列（せいそくぎょうれつ、英: regular matrix）、非特異行列（ひとくいぎょうれつ、英: non-singular matrix）あるいは可逆行列（かぎゃくぎょうれつ、英: invertible matrix）とは、行列の通常の積に関する逆元を持つ正方行列のことである。この逆元を、元の正方行列の逆行列という。例えば、複素数体上の二次正方行列 A = [ a b c d ] {\displaystyle A={\begin{bmatrix}a&b\\c&d\end{bmatrix}}} が正則行列であるのは ad − bc ≠ 0 が成立するとき、かつ、そのときに限る。このとき逆行列は A − 1 = 1 a d − b c [ d − b − c a ] {\displaystyle A^{-1}={\frac {1}{ad-bc}}{\begin{bmatrix}d&-b\\-c&a\end{bmatrix}}} で与えられる。 ある体上の同じサイズの正則行列の全体は一般線型群と呼ばれる群を成す。多項式の根として定められる部分群は線形代数群あるいは行列群と呼ばれる代数群の一種で、その表現論が代数的整数論などに広い応用を持つ幾何学的対象である。 n 次単位行列を En や E で表す。 環の元を成分にもつ n 次正方行列 A に対して、 A B = E = B A {\displaystyle AB=E=BA} を満たす n 次正方行列 B が存在するとき、A は n 次正則行列、あるいは単に正則であるという。A が正則ならば上の性質を満たす B は一意に定まる。 これを A の逆行列（ぎゃくぎょうれつ、英: inverse matrix）と呼び、A−1 と表す。 次の複素数体の元を成分にもつ行列 A, B を考える。 A = [ 1 0 0 2 ] B = [ 1 0 0 1 2 ] {\displaystyle A={\begin{bmatrix}1&0\\0&2\end{bmatrix}}\quad B={\begin{bmatrix}1&0\\0&{\frac {1}{2}}\end{bmatrix}}} このとき AB = E = BA を満たすので、A は正則行列で、B は A の逆行列である。 一方、B に注目すれば B も正則行列で、A は B の逆行列である。 また次の行列 N は逆行列をもたないので、正則ではない。 N = [ 0 1 0 0 ] {\displaystyle N={\begin{bmatrix}0&1\\0&0\end{bmatrix}}} 体の元を成分にもつ n 次正方行列 A に対して次は同値である。 A は正則行列である AB = E となる n 次正方行列 B が存在する BA = E となる n 次正方行列 B が存在する A の階数は n である A は左基本変形のみによって単位行列に変形できる A は右基本変形のみによって単位行列に変形できる 一次方程式 Ax = 0 は自明な解しかもたない A の行列式は 0 ではない A の列ベクトルの族は線型独立である A の行ベクトルの族は線型独立である A の固有値は、どれも 0 でない n 次正則行列 A、B について次が成り立つ。 |A−1| = |A|−1 (A−1)−1 = A (AB)−1 = B−1A−1 A の余因子行列を ~A とおくと A−1 = |A|−1 ~A n 次正方行列 N が冪零行列ならば I − N は正則で、逆行列は I + N + … + Nn − 1 である A の転置 AT も正則行列で (AT)−1 = (A−1)T（これを A−T と書くこともある） A のエルミート共役 AH も正則行列で (AH)−1 = (A−1)H（これを A−H と書くこともある） 行列の正則性は行列の基本変形を使って判定できる。 具体的な逆行列の計算には、基本変形を使って順に掃き出していく方法がよく使われる。 一方で、理論的には行列式を使ったクラメルの公式も重要である。 しかしこの方法は逆行列を数値計算するのには向かない。 線型代数学 行列の階数 ユニモジュラ行列 リー群 擬似逆行列 [脚注の使い方] ^ A が正方行列でなくとも正則性は次のように定義できる： 「m×n 行列 A に対して、AB = Em かつ BA = En を満たす n×m 行列 B が存在するとき、 A を正則という」。 しかし、このとき max { m , n } = max { rank ⁡ E m , rank ⁡ E n } = max { rank ⁡ A B , rank ⁡ B A } ≤ rank ⁡ A ≤ min { m , n } {\displaystyle \max\{m,n\}=\max\{\operatorname {rank} E_{m},\operatorname {rank} E_{n}\}=\max\{\operatorname {rank} AB,\operatorname {rank} BA\}\leq \operatorname {rank} A\leq \min\{m,n\}} より m = n となるので、結局正則行列は正方行列なのである。 ^ この例の場合は体の標数が 2 でなければ何でもよい ^ ただし、この A はユニモジュラ行列ではない ^ ただし無限次の場合を考えると、たとえば A = [ 0 1 0 … 0 0 1 … 0 0 0 … ⋮ ⋮ ⋮ ⋱ ] , B = [ 0 0 0 … 1 0 0 … 0 1 0 … ⋮ ⋮ ⋮ ⋱ ] {\displaystyle A={\begin{bmatrix}0&1&0&\dots \\0&0&1&\dots \\0&0&0&\dots \\\vdots &\vdots &\vdots &\ddots \end{bmatrix}},\quad B={\begin{bmatrix}0&0&0&\dots \\1&0&0&\dots \\0&1&0&\dots \\\vdots &\vdots &\vdots &\ddots \end{bmatrix}}} のように AB = E であるが BA ≠ E となる例がある。 ^ 数値解析・精度保証付き数値計算においてはニュートン法、Krawczyk法、大石-Rump法などのように近似逆行列が必要となる場合が少なからずある。高次元行列の逆行列を求める手法としてSchurの補元を用いる方法などが知られている。 ^ 斎藤 1966, p. 41. ^ a b 斎藤 1966, p. 48. ^ Lam, T.Y. (2001). A First Course in Noncommutative Rings (Second ed.). Springer. p. 4. ISBN 978-0-387-95325-0. https://books.google.co.jp/books?id=VtvwJzpWBqUC  ^ a b c 斎藤 1966, p. 52. ^ 斎藤 1966, p. 60. ^ 斎藤 1966, p. 85. ^ 斎藤 1966, p. 71. ^ a b Stewart, G. W. (1998). Matrix Algorithms. 1. SIAM. p. 38. ISBN 978-0-898714-14-2. https://books.google.co.jp/books?id=RfLOO2_VM04C  ^ 斎藤 1966, p. 53. ^ 斎藤 1966, p. 89. ^ 山本哲朗『数値解析入門』（増訂版）サイエンス社〈サイエンスライブラリ 現代数学への入門 14〉、2003年6月。ISBN 4-7819-1038-6。  斎藤正彦『線型代数入門』（初版）東京大学出版会、1966年。ISBN 978-4-13-062001-7。