「正則行列」の版間の差分

削除された内容追加された内容

インライン

2021年1月9日 (土) 09:37時点における版

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

A={\begin{bmatrix}a&b\\c&d\end{bmatrix}}

が正則行列であるのは $ad - bc \neq 0$ が成立するとき、かつ、そのときに限る。このとき逆行列は

A^{-1}={\frac {1}{ad-bc}}{\begin{bmatrix}d&-b\\-c&a\end{bmatrix}}

で与えられる。

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

定義

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

AB=E=BA

を満たす $n$ 次正方行列 $B$ が存在するとき、 $A$ は $n$ 次正則行列、あるいは単に正則であるという^[1]。 $A$ が正則ならば上の性質を満たす $B$ は一意に定まる。これを $A$ の逆行列（ぎゃくぎょうれつ、英: inverse matrix）と呼び、 $A -1$ と表す^[2]。

例

次の複素数体^[3]の元を成分にもつ行列 $A, B$ を考える。

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

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

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

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

特徴づけ

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

$A$ は正則行列である
$AB = E$ なる $n$ 次正方行列 $B$ が存在する^[5]
$BA = E$ なる $n$ 次正方行列 $B$ が存在する^[5]
$A$ の階数は $n$ である^[6]
$A$ は左基本変形のみによって単位行列に変形できる^[6]
$A$ は右基本変形のみによって単位行列に変形できる^[6]
一次方程式 $Ax = 0$ は自明な解しかもたない^[7]
$A$ の行列式は $0$ ではない^[8]
$A$ の列ベクトルの族は線型独立である
$A$ の行ベクトルの族は線型独立である
$A$ の固有値は、どれも $0$ でない

性質

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

$| A -1 | = | A | -1$
$(A -1) -1 = A$
$(AB) -1 = B -1 A -1$
$A$ の余因子行列を $~ A$ とおくと $A -1 = | A | -1 ~ A$
$n$ 次正方行列 $N$ が冪零行列ならば $I - N$ は正則で、逆行列は $I + N + \dots + N n - 1$ である^[9]

判定法

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

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

脚注

[脚注の使い方]

^ $A$ が正方行列でなくとも正則性は次のように定義できる：「 $m\timesn$ 行列 $A$ に対して、 $AB = E m$ かつ $BA = E n$ を満たす $n\timesm$ 行列 $B$ が存在するとき、 $A$ を正則という」。しかし、このとき
$\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$ となるので、結局正則行列は正方行列なのである。
^ 斎藤 1966, p. 41.
^ この例の場合は体の標数が $2$ でなければ何でもよい
^ ただし、この $A$ はユニモジュラ行列ではない
^ ^a ^b 斎藤 1966, p. 48.
^ ^a ^b ^c 斎藤 1966, p. 52.
^ 斎藤 1966, p. 60.
^ 斎藤 1966, p. 85.
^ 斎藤 1966, p. 71.
^ 斎藤 1966, p. 53.
^ 斎藤 1966, p. 89.
^ 山本哲朗『数値解析入門』（増訂版）サイエンス社〈サイエンスライブラリ現代数学への入門 14〉、2003年6月。ISBN 4-7819-1038-6。
^ 数値解析・精度保証付き数値計算においてはニュートン法、Krawczyk法、大石-Rump法などのように近似逆行列が必要となる場合が少なからずある。高次元行列の逆行列を求める手法としてSchurの補元を用いる方法などが知られている。

参考文献

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

[1] $A$ が正方行列でなくとも正則性は次のように定義できる：「 $m\timesn$ 行列 $A$ に対して、 $AB = E m$ かつ $BA = E n$ を満たす $n\timesm$ 行列 $B$ が存在するとき、 $A$ を正則という」。しかし、このとき
$\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$ となるので、結局正則行列は正方行列なのである。

[FOOTNOTE斎藤196641-2] 斎藤 1966, p. 41.

[3] この例の場合は体の標数が $2$ でなければ何でもよい

[4] ただし、この $A$ はユニモジュラ行列ではない

[FOOTNOTE斎藤196648-5] 斎藤 1966, p. 48.

[FOOTNOTE斎藤196652-6] 斎藤 1966, p. 52.

[FOOTNOTE斎藤196660-7] 斎藤 1966, p. 60.

[FOOTNOTE斎藤196685-8] 斎藤 1966, p. 85.

[FOOTNOTE斎藤196671-9] 斎藤 1966, p. 71.

[FOOTNOTE斎藤196653-10] 斎藤 1966, p. 53.

[FOOTNOTE斎藤196689-11] 斎藤 1966, p. 89.

[Yamamoto1-12] 山本哲朗『数値解析入門』（増訂版）サイエンス社〈サイエンスライブラリ現代数学への入門 14〉、2003年6月。ISBN 4-7819-1038-6。

[13] 数値解析・精度保証付き数値計算においてはニュートン法、Krawczyk法、大石-Rump法などのように近似逆行列が必要となる場合が少なからずある。高次元行列の逆行列を求める手法としてSchurの補元を用いる方法などが知られている。

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

@@ 1行目: / 1行目: @@
 '''正則行列'''（せいそくぎょうれつ、{{lang-en-short|regular matrix}}）、'''非特異行列'''（ひとくいぎょうれつ、{{lang-en-short|non-singular matrix}}）あるいは'''可逆行列'''（かぎゃくぎょうれつ、{{lang-en-short|invertible matrix}}）とは、[[行列]]の通常の積に関する[[逆元]]を持つ[[正方行列]]のことである。この逆元を、元の正方行列の'''逆行列'''という。例えば、[[複素数]]体上の二次正方行列
-:<math>A = \begin{pmatrix}
+:<math>A = \begin{bmatrix}
 a & b \\
 c & d
-\end{pmatrix}</math>
+\end{bmatrix}</math>
 が正則行列であるのは {{math|''ad'' &minus; ''bc'' &ne; 0}} が成立するとき、かつ、そのときに限る。このとき逆行列は
-:<math>A^{-1} = \frac{1}{ad - bc}\begin{pmatrix} d & -b \\ -c & a \end{pmatrix}</math>
+:<math>A^{-1} = \frac{1}{ad - bc}\begin{bmatrix} d & -b \\ -c & a \end{bmatrix}</math>
 で与えられる。

2021年1月9日 (土) 09:37時点における版

定義

例

特徴づけ

性質

判定法

関連項目

脚注

参考文献