線形代数の基礎 - 逆行列のソースを表示

== 概要 ==
ここでは、与えられた正方行列の逆行列を求める方法と具体的な計算例を記載する。<br>
なお、公式の証明は線形代数の専門書を参照すること。<br>
<br><br>

== 正則な行列 ==
正則行列とは、正方行列Aについて、<math>AB = BA = I</math> (単位行列) となる行列Bが存在する時、Aを正則行列という。<br>
<br>
 # 正則行列の例:
 
 <math>A = \begin{pmatrix}
 1 & 2 \\
 1 & 3 
 \end{pmatrix}</math> について考える。
 
 逆行列 <math>B = \begin{pmatrix}
 3 & -2 \\
 1 &  1 
 \end{pmatrix}</math>
 
 <math>AB = BA = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}</math> となる。
 したがって、Aは正則行列である。
<br>
 # 正則でない行列の例:
 
 <math>A = \begin{pmatrix}
 0 & 0 \\
 1 & 1 
 \end{pmatrix}</math> について考える。
 
 Bをどのようにとっても、行列Aと行列Bの積の左上成分は0になるため、単位行列にはならない。
 したがって、行列Aは正則ではない。
<br><br>

== 正則行列の判定法 ==
 定理1:
 
 Aが正則 <math>\iff \mbox{det} A \ne 0</math>
<br>
 例題:
 
 <math>\begin{pmatrix}
 1 & 2 \\
 1 & 3 
 \end{pmatrix}</math> は正則か？
 
 Aの行列式を計算すると、1となる。
 <math>\mbox{det} A \ne 0</math> となるので、行列Aは正則である。
<br><br>

== 2×2行列の場合 ==
 <math>A=\begin{pmatrix} a & b \\ c & d \end{pmatrix}</math>の逆行列は、<math>A^{-1}=\frac{1}{ad-bc} \begin{pmatrix} d & -b \\ -c & a \end{pmatrix}</math><br>
<br><br>

== 逆行列の求め方 1 : 余因子を用いる ==
余因子を用いる方法では、行列式についての知識を前提とする。<br>
 Aの逆行列のij成分は、<math>\frac{\Delta_{ji}}{detA}</math>
 
 ただし、detAはAの行列式である。
 また、Δijは、Aのi行目とj列目を除いた行列の行列式を、(−1)<sup>i+j</sup>倍したものである。(余因子)
<br>
'''例題'''<br>
<math>A=\begin{pmatrix} 1 & 1 & -1 \\ -2 & 0 & 1 \\ 0 & 2 & 1 \end{pmatrix}</math>の逆行列を求めよ。<br>
<br>
'''解答'''<br>
まず、Aの行列式を計算する。<br>
<math>\begin{vmatrix} 1 & 1 & -1 \\ -2 & 0 & 1 \\ 0 & 2 & 1 \end{vmatrix}=(-1) \times (-2) \times 2 - 1 \times 1 \times 2 - 1 \times 1 \times (-2) - 1 \times 1 \times (-2) = 4</math><br>
<br>
次に、余因子を計算する。<br>
<math>
\Delta_{11}=(-1)^{2} \begin{vmatrix} 0 & 1 \\ 2 & 1 \end{vmatrix} = -2 \qquad \qquad
\Delta_{12}=(-1)^{3} \begin{vmatrix} -2 & 1 \\ 0 & 1 \end{vmatrix} = 2 \qquad \qquad
\Delta_{13}=(-1)^{4} \begin{vmatrix} -2 & 0 \\ 0 & 2 \end{vmatrix} = -4
</math><br>
<br>
<math>
\Delta_{21}=(-1)^{3} \begin{vmatrix} 1 & -1 \\ 2 & 1 \end{vmatrix} = -3 \qquad \qquad
\Delta_{22}=(-1)^{4} \begin{vmatrix} 1 & -1 \\ 0 & 1 \end{vmatrix} = 1 \qquad \qquad
\Delta_{23}=(-1)^{5} \begin{vmatrix} 1 & 1 \\ 0 & 2 \end{vmatrix} = -2
</math><br>
<math>
\Delta_{31}=(-1)^{4} \begin{vmatrix} 1 & 1 \\ 0 & 1 \end{vmatrix} = 1 \qquad \qquad
\Delta_{32}=(-1)^{5} \begin{vmatrix} 1 & -1 \\ -2 & 1 \end{vmatrix} = 1 \qquad \qquad
\Delta_{33}=(-1)^{6} \begin{vmatrix} 1 & 1 \\ -2 & 0 \end{vmatrix} = 2
</math><br>
<br>
Δ11からΔ33より、余因子行列Δは以下となる。<br>
<math>\Delta = \begin{pmatrix} -2 & 2 & -4 \\ -3 & 1 & -2 \\ 1 & 1 & 2 \end{pmatrix}</math><br>
<br>
余因子行列Δを転置する。<br>
<math>\Delta^{T} = \begin{pmatrix} -2 & -3 & 1 \\ 2 & 1 & 1 \\ -4 & -2 & 2 \end{pmatrix}</math><br>
<br>
したがって、逆行列A<sup>-1</sup>は次のようになる。<br>
<math>A^{-1} = \frac{\Delta^{T}}{\det A} = \frac{1}{4} \begin{pmatrix} -2 & -3 & 1 \\ 2 & 1 &1 \\ -4 & -2 & 2 \end{pmatrix} = \begin{pmatrix} - \frac{1}{2} & - \frac{3}{4} & \frac{1}{4} \\ \frac{1}{2} & \frac{1}{4} & \frac{1}{4} \\ -1 & - \frac{1}{2} & \frac{1}{2} \end{pmatrix}</math><br>
<br><br>

== 逆行列の求め方 2：掃き出し法 ==
単位行列をEとする。<br>
横長の行列AEに、行基本変形を繰り返して行列EBになるとき、BはAの逆行列である。<br>
<br>
行基本変形とは、以下の3つの操作である。<br>
* 操作1 : 任意の行を定数倍する。
* 操作2 : 2つの行を交換する。
* 操作3 : 任意の行の定数倍を別の行に加える。
<br>
'''例題'''
 <math>A = \begin{pmatrix} 1 & 1 & -1 \\ -2 & 0 & 1 \\ 0 & 2 & 1 \end{pmatrix}</math>の逆行列を求めよ。
<br>
<math>(AI) = \begin{pmatrix} 1 & 1 & -1 & 1 & 0 & 0 \\ -2 & 0 & 1 & 0 & 1 & 0 \\ 0 & 2 & 1 & 0 & 0 & 1 \end{pmatrix}</math><br>
行基本変形を適用して、行列の左半分を単位行列Eにしたとき、行列の右半分が逆行列Bである。<br>
<br>
まず、1列目を見て、1行目の2倍を2行目に加える。<br>
<math>\begin{pmatrix} 1 & 1 & -1 & 1 & 0 & 0 \\ 0 & 2 & -1 & 2 & 1 & 0 \\ 0 & 2 & 1 & 0 & 0 & 1 \end{pmatrix}</math><br>
<br>
次に、2列目の第2成分以外に0を並べるように、操作3を行う。<br>
<math>\begin{pmatrix} 1 & 0 & - \frac{1}{2} & 0 & - \frac{1}{2} & 0 \\ 0 & 2 & -1 & 2 & 1 & 0 \\ 0 & 0 & 2 & -2 & -1 & 1 \end{pmatrix}</math><br>
<br>
同様に，三列目（の第3成分以外）に 0 を並べるように操作3を行う：<br>
<math>\begin{pmatrix} 1 & 0 & 0 & - \frac{1}{2} & - \frac{3}{4} & \frac{1}{4} \\ 0 & 2 & 0 & 1 & \frac{1}{2} & \frac{1}{2} \\ 0 & 0 & 2 & -2 & -1 & 1 \end{pmatrix}</math><br>
<br>
最後に、操作2を2行目と3行目に適用して、行列の左半分を単位行列にする。<br>
<math>\begin{pmatrix} 1 & 0 & 0 & - \frac{1}{2} & - \frac{3}{4} & \frac{1}{4} \\ 0 & 1 & 0 & \frac{1}{2} & \frac{1}{4} & \frac{1}{4} \\ 0 & 0 & 1 & -1 & - \frac{1}{2} & \frac{1}{2} \end{pmatrix}</math><br>
<br>
このとき、行列の右半分が、A<sup>−1</sup>である。<br>
したがって、<math>A^{-1} = \begin{pmatrix} - \frac{1}{2} & - \frac{3}{4} & \frac{1}{4} \\ \frac{1}{2} & \frac{1}{4} & \frac{1}{4} \\ -1 & - \frac{1}{2} & \frac{1}{2} \end{pmatrix}</math>となる。<br>
<br><br>

__FORCETOC__
[[カテゴリ:線形代数]]