正則行列

逆行列が存在する行列

正則行列(せいそくぎょうれつ、: regular matrix)、非特異行列(ひとくいぎょうれつ、: non-singular matrix)あるいは可逆行列(かぎゃくぎょうれつ、: invertible matrix)とは、行列の通常の積に関する逆元を持つ正方行列のことである。この逆元を、元の正方行列の逆行列という。例えば、複素数体上の二次正方行列

が正則行列であるのは adbc ≠ 0 が成立するとき、かつ、そのときに限る。このとき逆行列は

で与えられる。

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

定義

編集

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

 

を満たす n正方行列 B が存在するとき、An正則行列、あるいは単に正則であるという[注釈 1]A が正則ならば上の性質を満たす B は一意に定まる。 これを A逆行列(ぎゃくぎょうれつ、: inverse matrix)と呼び、A−1 と表す[1]

次の複素数[注釈 2]の元を成分にもつ行列 A, B を考える。

 

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

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

 

特徴づけ

編集

の元を成分にもつ n正方行列 A に対して次は同値である。

性質

編集

n 次正則行列 AB について次が成り立つ。

  • |A−1| = |A|−1
  • (A−1)−1 = A
  • (AB)−1 = B−1A−1
  • A余因子行列~A とおくと A−1 = |A|−1 ~A
  • n 次正方行列 N冪零行列ならば IN は正則で、逆行列は I + N + … + Nn − 1 である[7]
  • A転置 AT も正則行列で (AT)−1 = (A−1)T(これを A−T と書くこともある)[8]
  • Aエルミート共役 AH も正則行列で (AH)−1 = (A−1)H(これを A−H と書くこともある)[8]

判定法

編集

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

関連項目

編集

脚注

編集

注釈

編集
  1. ^ A が正方行列でなくとも正則性は次のように定義できる: 「m×n 行列 A に対して、AB = Em かつ BA = En を満たす n×m 行列 B が存在するとき、 A を正則という」。 しかし、このとき
     
    より m = n となるので、結局正則行列は正方行列なのである。
  2. ^ この例の場合は体の標数2 でなければ何でもよい
  3. ^ ただし、この Aユニモジュラ行列ではない
  4. ^ ただし無限次の場合を考えると、たとえば
     
    のように AB = E であるが BAE となる例がある[3]
  5. ^ 数値解析精度保証付き数値計算においてはニュートン法、Krawczyk法、大石-Rump法などのように近似逆行列が必要となる場合が少なからずある。高次元行列の逆行列を求める手法としてSchurの補元を用いる方法などが知られている。

出典

編集
  1. ^ 斎藤 1966, p. 41.
  2. ^ a b 斎藤 1966, p. 48.
  3. ^ 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 
  4. ^ a b c 斎藤 1966, p. 52.
  5. ^ 斎藤 1966, p. 60.
  6. ^ 斎藤 1966, p. 85.
  7. ^ 斎藤 1966, p. 71.
  8. ^ 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 
  9. ^ 斎藤 1966, p. 53.
  10. ^ 斎藤 1966, p. 89.
  11. ^ 山本哲朗『数値解析入門』(増訂版)サイエンス社〈サイエンスライブラリ 現代数学への入門 14〉、2003年6月。ISBN 4-7819-1038-6 

参考文献

編集