正則行列
- العربية
- Azərbaycanca
- Català
- کوردی
- Čeština
- Чӑвашла
- Dansk
- Deutsch
- Ελληνικά
- English
- Esperanto
- Español
- Eesti
- Euskara
- فارسی
- Suomi
- Français
- Galego
- עברית
- Magyar
- Bahasa Indonesia
- Íslenska
- Italiano
- 한국어
- Lombard
- Română
- Русский
- Srpskohrvatski / српскохрватски
- Simple English
- Српски / srpski
- Svenska
- தமிழ்
- Türkçe
- Українська
- Tiếng Việt
- 中文
- 閩南語 / Bân-lâm-gú
- 英語版記事を日本語へ機械翻訳したバージョン(Google翻訳)。
- 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。
- 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。
- 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。
- 翻訳後、
{{翻訳告知|en|Invertible matrix|...}}をノートに追加することもできます。 - Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。
正則行列(せいそくぎょうれつ、英: regular matrix)、非特異行列(ひとくいぎょうれつ、英: non-singular matrix)あるいは可逆行列(かぎゃくぎょうれつ、英: invertible matrix)とは、行列の通常の積に関する逆元を持つ正方行列のことである。この逆元を、元の正方行列の逆行列という。例えば、複素数体上の二次正方行列
- {\displaystyle A={\begin{bmatrix}a&b\\c&d\end{bmatrix}}}
が正則行列であるのは ad − bc ≠ 0 が成立するとき、かつ、そのときに限る。このとき逆行列は
- {\displaystyle A^{-1}={\frac {1}{ad-bc}}{\begin{bmatrix}d&-b\\-c&a\end{bmatrix}}}
で与えられる。
ある体上の同じサイズの正則行列の全体は一般線型群と呼ばれる群を成す。多項式の根として定められる部分群は線形代数群あるいは行列群と呼ばれる代数群の一種で、その表現論が代数的整数論などに広い応用を持つ幾何学的対象である。
定義
[編集 ]n 次単位行列を En や E で表す。 環の元を成分にもつ n 次正方行列 A に対して、
- {\displaystyle AB=E=BA}
を満たす n 次正方行列 B が存在するとき、A は n 次正則行列、あるいは単に正則であるという[注釈 1] 。A が正則ならば上の性質を満たす B は一意に定まる。 これを A の逆行列(ぎゃくぎょうれつ、英: inverse matrix)と呼び、A−1 と表す[1] 。
例
[編集 ]次の複素数体[注釈 2] の元を成分にもつ行列 A, B を考える。
- {\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 は正則行列で[注釈 3] 、B は A の逆行列である。 一方、B に注目すれば B も正則行列で、A は B の逆行列である。
また次の行列 N は逆行列をもたないので、正則ではない。
- {\displaystyle N={\begin{bmatrix}0&1\0円&0\end{bmatrix}}}
特徴づけ
[編集 ]体の元を成分にもつ n 次正方行列 A に対して次は同値である。
性質
[編集 ]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 である[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] 。
関連項目
[編集 ]脚注
[編集 ]注釈
[編集 ]- ^ A が正方行列でなくとも正則性は次のように定義できる:
「×ばつn 行列 A に対して、AB = Em かつ BA = En を満たす n×ばつm 行列 B が存在するとき、 A を正則という」。
しかし、このとき
- {\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\}}
- ^ この例の場合は体の標数が 2 でなければ何でもよい
- ^ ただし、この A はユニモジュラ行列ではない
- ^ ただし無限次の場合を考えると、たとえば
- {\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}}}
- ^ 数値解析・精度保証付き数値計算においてはニュートン法、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。
