線型代数学 > 逆行列 
----
この章では逆行列の性質について議論する。
なお、行列の四則演算（和、積など）については 行列概論 を参照のこと。
体\mathbf K上のn次正方行列 A \in \ M(n; \mathbf K) に対して、
となるような行列X \in \ M(n,; \mathbf K) が存在するとき、行列 \ Xは行列 \ A の逆行列（inverse matrix）であるといい、\ X = \ A^{-1} と書く。
行列\ A が逆行列をもつとき \ A は正則（regular）である、という。
逆行列という言い方のほうが馴染みがあるかもしれないが、線形代数学では、正則（せいそく）という言い方をよくするので慣れてもらいたい。
逆行列は一意的に定まる。
1.1.3の証明
\ A  の逆行列として\ X の他に \ Y が存在したとすると
\ A^{-1} を左からかければ
∴\ X = Y である。□
次のうちどちらかの条件（\ AX = I_n またはXA = I_n ）が成り立てば、 \ A は正則であり、 \ X は \ A の逆行列である。
証明は後述する。（定理1.1.4の証明の手段として、まず、これから説明する定理1.1.5と補題1.1.6を先に証明する。）
条件 \ A,P_1,\ldots ,P_m \in \ M(n; \mathbf K)  をみたす行列 \ A、行列 P_1・・・、行列 P_mがそれぞれ正則であるとき、以下が成り立つ。
1.1.5の証明
ここから先は行列の基本変形を理解しているものとして話を進める。
まず、次の補題を示す。
 \ C = \begin{pmatrix} \ A & \mathbf 0_{n,m} \\ \mathbf 0_{m,n} & \ B\\ \end{pmatrix}  が正則。 \Leftrightarrow  \ A, \ B  が正則。（ ただし\ A \in \ M(n;\mathbf K) ,かつ \ B \in\ M(m;\mathbf K) ）
補題1.1.6の証明
したがって、 \ AY_{n,n} = Y_{n,n}A = I_n ,\ BY_{m,m} = Y_{m,m}B = I_m   が成り立つので、 \ A, \ B  は正則。□
\ C の逆行列である。したがって、\ C は正則。□
それでは、定理1.1.4を証明することにする。
定理1.1.4の証明
数学的帰納法で示す。
\ n = 1 のとき、
行列はただの数字となるので、正しい。
\ n = k のとき定理は正しいと仮定する。
\ A,X \in \ M(k+1; \mathbf K)  が\ AX = I_{k+1}  をみたしているとき、
\ A \neq \mathbf 0なので、基本行列の積\ P,Q \in \ M(k+1;\mathbf K)  が存在して、
また、
\ Q^{-1}XP^{-1} = \begin{pmatrix} u & ^t\mathbf v\\ \mathbf w & \ X' \end{pmatrix}   とおけば、（ただし u \in \mathbf K,\mathbf v,w \in \mathbf K^{k},\ X' \in \ M(k; \mathbf K)   ）   
u = 1,^t\mathbf v = \mathbf 0,B\mathbf w = \mathbf 0,BX' = I_{k}    となる。
ここで、帰納法の仮定と補題より BX' = I_k \Leftrightarrow B  は正則。\Leftrightarrow PAQ = \begin{pmatrix} 1 & ^t\mathbf 0 \\ \mathbf 0 & \ B \\ \end{pmatrix}   は正則。（ ただし  \mathbf 0 \in \mathbf K^{k}  ）
 \ P,Q  は正則だから\ A も正則。
以上より\ n = k+1 のときも定理は正しい。\ XA = I_{k+1}  のときも同様である。□
以下の文で説明するが、まず、正則行列は基本行列の積で表わせる。また、正則行列は左基本変形だけで（もしくは右基本変形だけで）単位行列に変形できる。
なぜなら、仮に行列 \ A \in M(n;\mathbf K)  が正則であるとすれば、このとき、正則の定義より、関係式
をみたす基本行列の積の行列\ P \in M(n; \mathbf K) と \ Q \in M(n; \mathbf K) とが、それぞれ存在する。\ P, \ Q は、それぞれ正則だから
が成り立つ。基本行列の逆行列は基本行列であるから、以上の考察より正則行列は基本行列の積で表わせることが分かる。
 
すなわち、正則行列は左基本変形だけで（もしくは右基本変形だけで）単位行列に変形できる。
以上のことから次の定理が成り立つ。
仮に行列\ A \in \ M(n; \mathbf K)  が正則行列のとき、
を左基本変形することで以下の行列を得たとする。
このとき、 \ A^{-1} = B である。
\begin{pmatrix} 2 & 1 & 1\\ 1 & 1& 1\\ -2 & 0 & 1\\ \end{pmatrix} の逆行列を求めよ。
解法の手順
まず \begin{pmatrix} 2 & 1 & 1 & 1 & 0 & 0\\ 1 & 1& 1 & 0 & 1 & 0\\ -2 & 0 & 1 & 0 & 0 & 1\\ \end{pmatrix} を用意する。
よって逆行列は、\begin{pmatrix}  1 & -1 & 0\\ -3 & 4 & -1\\ 2 & -2 & 1\\ \end{pmatrix}
逆行列を以下の（１）,（２）の行列について求めよ。
（１） \begin{pmatrix} 3 & 1 & 2\\ 2 & 1 & 1\\ 1 & 2 & 1\\ \end{pmatrix}  
（２） \begin{pmatrix} 3 & 2 & 2 & -1\\ 2 & 1 & 1 & 0\\ 2 & 2 & 1 & -1\\ 1 & 2 & 1 & -1\\ \end{pmatrix}  
答え（１） \frac{1}{2} \begin{pmatrix} -1 & 3 & -1\\ 3 & -5 & 1\\ -1 & 1 & 1\\ \end{pmatrix} 
（２） \begin{pmatrix} 0 & 0 & 1 & -1 \\ -1 & 1 & 0 & 1 \\ 1 & 0 & -2 & 1 \\ -1 & 2 & -1 & 1\\ \end{pmatrix}