線型代数学 > 逆行列
この章では逆行列の性質について議論する。
なお、行列の四則演算(和、積など)については 行列概論 を参照のこと。
定義1.1.2
行列
が逆行列をもつとき
は正則(regular)である、という。
逆行列という言い方のほうが馴染みがあるかもしれないが、線形代数学では、正則(せいそく)という言い方をよくするので慣れてもらいたい。
1.1.3の証明
![{\displaystyle \ A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a29b7d7604962065930f413ee72574d1f7a6e81)
の逆行列として
![{\displaystyle \ X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a96dd62d4cca19aa212ae1216891f4388ca4be24)
の他に
![{\displaystyle \ Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5333f51b8fbff7ee7dcece248fc723549a85f5d7)
が存在したとすると
![{\displaystyle \ AX-AY=A(X-Y)=\mathbf {0} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d77f4ac7f0fdb3623bcb7df86d9ec7bfdfb42c9a)
を左からかければ
![{\displaystyle \ X-Y=\mathbf {0} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/62889f766e7471139893e4b188fe69805feb7354)
∴
![{\displaystyle \ X=Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/987bf3424449a99deff28cd84fed07553a2100c3)
である。□
証明は後述する。(定理1.1.4の証明の手段として、まず、これから説明する定理1.1.5と補題1.1.6を先に証明する。)
ここから先は行列の基本変形を理解しているものとして話を進める。
まず、次の補題を示す。
補題1.1.6の証明
の逆行列を
とすると、
![{\displaystyle \ CY={\begin{pmatrix}\ A&\mathbf {0} _{n,m}\\\mathbf {0} _{m,n}&\ B\\\end{pmatrix}}{\begin{pmatrix}\ Y_{n,n}&\ Y_{n,m}\\\ Y_{m,n}&\ Y_{m,m}\\\end{pmatrix}}={\begin{pmatrix}\ AY_{n,n}&\ AY_{n,m}\\\ BY_{m,n}&\ BY_{m,m}\\\end{pmatrix}}=I_{n+m}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f97907040f35899fa995a8a25c223f2ee85d3326)
![{\displaystyle \ YC={\begin{pmatrix}\ Y_{n,n}&\ Y_{n,m}\\\ Y_{m,n}&\ Y_{m,m}\\\end{pmatrix}}{\begin{pmatrix}\ A&\mathbf {0} _{n,m}\\\mathbf {0} _{m,n}&\ B\\\end{pmatrix}}={\begin{pmatrix}\ Y_{n,n}A&\ Y_{n,m}B\\\ Y_{m,n}A&\ Y_{m,m}B\\\end{pmatrix}}=I_{n+m}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83f0cd31376c3b354a4d797debf8da23f808c742)
したがって、
が成り立つので、
は正則。□
は、
![{\displaystyle \ C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fa73a6a763063e463b8947389a0626ac6012fbe)
の逆行列である。したがって、
![{\displaystyle \ C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fa73a6a763063e463b8947389a0626ac6012fbe)
は正則。□
それでは、定理1.1.4を証明することにする。
定理1.1.4の証明
数学的帰納法で示す。
のとき、
行列はただの数字となるので、正しい。
のとき定理は正しいと仮定する。
が
をみたしているとき、
なので、基本行列の積
が存在して、
と変形できる。(ただし
)
また、
とおけば、(ただし
)
より
となる。
ここで、帰納法の仮定と補題より
は正則。
は正則。( ただし
)
は正則だから
も正則。
以上より
![{\displaystyle \ n=k+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8e2b444565762d07a844413e6679c9f0a2e1c96)
のときも定理は正しい。
![{\displaystyle \ XA=I_{k+1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e8e6056e7ed1c08bc2fea27653bdbe08802e991)
のときも同様である。□
以下の文で説明するが、まず、正則行列は基本行列の積で表わせる。また、正則行列は左基本変形だけで(もしくは右基本変形だけで)単位行列に変形できる。
なぜなら、仮に行列
が正則であるとすれば、このとき、正則の定義より、関係式
![{\displaystyle \ PAQ=I_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c33f2b041a429884d8a15862fa37f17a7037a377)
をみたす基本行列の積の行列
と
とが、それぞれ存在する。
は、それぞれ正則だから
,および ![{\displaystyle \ A^{-1}=QP}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a93f794d6ed7c51ad2643664cca61663bf76669)
が成り立つ。基本行列の逆行列は基本行列であるから、以上の考察より正則行列は基本行列の積で表わせることが分かる。
すなわち、正則行列は左基本変形だけで(もしくは右基本変形だけで)単位行列に変形できる。
以上のことから次の定理が成り立つ。
定理1.1.7
仮に行列
が正則行列のとき、
![{\displaystyle {\begin{pmatrix}\ A&\ I_{n}\\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/780cbda19348eaddf111b7ff980ab845e411c47a)
を左基本変形することで以下の行列を得たとする。
(ただし
)
このとき、
である。
の逆行列を求めよ。
解法の手順
- まず
を用意する。
- (第2行の-2倍を第1行に、2倍を第3行に加える)
![{\displaystyle \longrightarrow {\begin{pmatrix}0&-1&-1&1&-2&0\\1&1&1&0&1&0\\0&2&3&0&2&1\\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dea52f6f08f9c3df8401b6c8d380012a98bb1546)
- (第2行と第1行を入れ替える)
![{\displaystyle \longrightarrow {\begin{pmatrix}1&1&1&0&1&0\\0&-1&-1&1&-2&0\\0&2&3&0&2&1\\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a018b7be0ab6a4682407089e5b9be29ecc3214f9)
- (第2行を第1行に加え、第2行の2倍を第3行に加える)
![{\displaystyle \longrightarrow {\begin{pmatrix}1&0&0&1&-1&0\\0&-1&-1&1&-2&0\\0&0&1&2&-2&1\\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/649de548f682a3f99c36ef56e7171219a10116f1)
- (第3行を第2行に加え、さらに第2行を-1倍する)
![{\displaystyle \longrightarrow {\begin{pmatrix}1&0&0&1&-1&0\\0&1&0&-3&4&-1\\0&0&1&2&-2&1\\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a43abebd0c12f727164e2998786cfb7802db830)
よって逆行列は、
逆行列を以下の(1),(2)の行列について求めよ。
(1)
(2)
答え (1)
(2)