正則行列

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

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

で与えられる。

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

 定義 
 次単位行列を  や  で表す。 
環の元を成分にもつ  次正方行列  に対して、

を満たす  次正方行列  が存在するとき、 は  次正則行列、あるいは単に正則であるという が正方行列でなくとも正則性は次のように定義できる：
「 行列  に対して、 かつ  を満たす  行列  が存在するとき、  を正則という」。
しかし、このとき

より  となるので、結局正則行列は正方行列なのである。。 が正則ならば上の性質を満たす  は一意に定まる。
これを  の逆行列（ぎゃくぎょうれつ、）と呼び、 と表す。

 例 
次の複素数体この例の場合は体の標数が  でなければ何でもよいの元を成分にもつ行列  を考える。

このとき  を満たすので、 は正則行列でただし、この  はユニモジュラ行列ではない、 は  の逆行列である。
一方、 に注目すれば  も正則行列で、 は  の逆行列である。

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

 特徴づけ 
体の元を成分にもつ  次正方行列  に対して次は同値である。

  は正則行列である
  となる  次正方行列  が存在する
  となる  次正方行列  が存在する
  の階数は  である
  は左基本変形のみによって単位行列に変形できる
  は右基本変形のみによって単位行列に変形できる
 一次方程式  は自明な解しかもたない
  の行列式は  ではない
  の列ベクトルの族は線型独立である
  の行ベクトルの族は線型独立である
  の固有値は、どれも  でない

 性質 
 次正則行列 、 について次が成り立つ。



  の余因子行列を  とおくと 
  次正方行列  が冪零行列ならば  は正則で、逆行列は  である
  の転置  も正則行列で （これを  と書くこともある）
  のエルミート共役  も正則行列で （これを  と書くこともある）

 判定法 

行列の正則性は行列の基本変形を使って判定できる。
具体的な逆行列の計算には、基本変形を使って順に掃き出していく方法がよく使われる。
一方で、理論的には行列式を使ったクラメルの公式も重要である。
しかしこの方法は逆行列を数値計算するのには向かない数値解析・精度保証付き数値計算においてはニュートン法、Krawczyk法、大石-Rump法などのように近似逆行列が必要となる場合が少なからずある。高次元行列の逆行列を求める手法としてSchurの補元を用いる方法などが知られている。。

 関連項目 
 線型代数学
 行列の階数
 ユニモジュラ行列
 リー群
 擬似逆行列

 脚注 

 注釈 

 出典 

 参考文献 


Category:線型代数学
Category:行列
Category:数学に関する記事