「正則行列」の版間の差分
12行目: | 12行目: | ||
== 定義 == |
== 定義 == |
||
{{mvar|n}} 次[[単位行列]]を {{mvar|E{{sub|n}}}} や {{mvar|E}} で表す。 |
{{mvar|n}} 次[[単位行列]]を {{mvar|E{{sub|n}}}} や {{mvar|E}} で表す。 |
||
[[ |
[[環|環]]の元を成分にもつ {{mvar|n}} 次[[正方行列]] {{mvar|A}} に対して、 |
||
:<math>AB = E = BA</math> |
:<math>AB = E = BA</math> |
||
を満たす {{mvar|n}} 次[[正方行列]] {{mvar|B}} が存在するとき、{{mvar|A}} は {{mvar|n}} 次'''正則行列'''、あるいは単に'''正則'''であるという。{{mvar|A}} が正則ならば上の性質を満たす {{mvar|B}} は一意に定まる。 |
を満たす {{mvar|n}} 次[[正方行列]] {{mvar|B}} が存在するとき、{{mvar|A}} は {{mvar|n}} 次'''正則行列'''、あるいは単に'''正則'''であるという。{{mvar|A}} が正則ならば上の性質を満たす {{mvar|B}} は一意に定まる。 |
||
これを {{mvar|A}} の'''逆行列'''(ぎゃくぎょうれつ、{{lang-en-short|inverse matrix}})と呼び、{{math|''A''{{sup|−1}}}} と表す{{Sfn|斎藤|1966|p=41}}。 |
これを {{mvar|A}} の'''逆行列'''(ぎゃくぎょうれつ、{{lang-en-short|inverse matrix}})と呼び、{{math|''A''{{sup|−1}}}} と表す{{Sfn|斎藤|1966|p=41}}。 |
||
(なお {{mvar|A}} が正方行列でなくても正則の概念を次のように定義出来る: |
|||
「 {{mvar|A}} が{{mvar|m×n}}行列のとき、<math>AB = E_m</math>かつ<math>BA = E_n</math>を成立させる{{mvar|n×m}}行列 {{mvar|B}}が存在するとき {{mvar|A}}を正則という」。 |
|||
しかしこのとき<math>\max\{m,n\}=\max\{rank E_m,rank E_n\}=\max\{rank AB,rank BA\}\leq rank A\leq \min\{m,n\}</math>より<math>m=n</math>となるので結局正則行列ならば正方行列なのである) |
|||
== 例 == |
== 例 == |
2020年9月7日 (月) 01:33時点における版
正則行列(せいそくぎょうれつ、英: regular matrix)、非特異行列(ひとくいぎょうれつ、英: non-singular matrix)あるいは可逆行列(かぎゃくぎょうれつ、英: invertible matrix)とは、行列の通常の積に関する逆元を持つ正方行列のことである。この逆元を、元の正方行列の逆行列という。例えば、複素数体上の二次正方行列
が正則行列であるのは ad − bc ≠ 0 が成立するとき、かつ、そのときに限る。このとき逆行列は
で与えられる。
ある体上の同じサイズの正則行列の全体は一般線型群と呼ばれる群を成す。多項式の根として定められる部分群は線形代数群あるいは行列群と呼ばれる代数群の一種で、その表現論が代数的整数論などに広い応用を持つ幾何学的対象である。
定義
n 次単位行列を En や E で表す。 環の元を成分にもつ n 次正方行列 A に対して、
を満たす n 次正方行列 B が存在するとき、A は n 次正則行列、あるいは単に正則であるという。A が正則ならば上の性質を満たす B は一意に定まる。 これを A の逆行列(ぎゃくぎょうれつ、英: inverse matrix)と呼び、A−1 と表す[1]。
(なお A が正方行列でなくても正則の概念を次のように定義出来る: 「 A がm×n行列のとき、かつを成立させるn×m行列 Bが存在するとき Aを正則という」。 しかしこのときよりとなるので結局正則行列ならば正方行列なのである)
例
次の複素数体[2]の元を成分にもつ行列 A, B を考える。
このとき AB = E = BA を満たすので、A は正則行列で[3]、B は A の逆行列である。 一方、B に注目すれば B も正則行列で、A は B の逆行列である。
また次の行列 N は逆行列をもたないので、正則ではない。
特徴づけ
n 次正方行列 A に対して次は同値である。
性質
n 次正則行列 A、B について次が成り立つ。
- |A−1| = |A|−1
- (A−1)−1 = A
- (AB)−1 = B−1A−1
- n 次正方行列 N が冪零行列ならば I − N は正則で、逆行列は I + N + … + Nn − 1 である[8]
判定法
行列の正則性は行列の基本変形を使って判定できる[9]。 具体的な逆行列の計算には、基本変形を使って順に掃き出していく方法がよく使われる。 一方で、理論的には行列式を使ったクラメールの公式も重要である。 しかしこの方法は逆行列を数値計算するのには向かない[10][11][12]。
関連項目
脚注
- ^ 斎藤 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。