メインメニューを開く

線型代数学 > 逆行列


この章では逆行列の性質について議論する。

なお、行列の四則演算(和、積など)については 行列概論 を参照のこと。

逆行列の定義編集

定義1.1.1

 上のn次正方行列 に対して、

 

となるような行列  が存在するとき、行列 は行列 の逆行列(inverse matrix)であるといい、 と書く。

定義1.1.2

行列 が逆行列をもつとき  は正則(regular)である、という。

逆行列という言い方のほうが馴染みがあるかもしれないが、線形代数学では、正則(せいそく)という言い方をよくするので慣れてもらいたい。

逆行列の性質編集

逆行列の一意性編集

定理1.1.3

逆行列は一意的に定まる。

逆行列であるための条件編集

定理1.1.4

次のうちどちらかの条件(  または  )が成り立てば、  は正則であり、 は  の逆行列である。

証明は後述する。(定理1.1.4の証明の手段として、まず、これから説明する定理1.1.5と補題1.1.6を先に証明する。)

逆行列に関する演算編集

定理1.1.5

条件  をみたす行列 、行列 ・・・、行列 がそれぞれ正則であるとき、以下が成り立つ。

  •  
  •  

逆行列であるための条件の証明編集

ここから先は行列の基本変形を理解しているものとして話を進める。

まず、次の補題を示す。

補題1.1.6

  が正則。   が正則。    ( ただし  ,かつ  

それでは、定理1.1.4を証明することにする。

逆行列の求め方編集

方法編集

以下の文で説明するが、まず、正則行列は基本行列の積で表わせる。また、正則行列は左基本変形だけで(もしくは右基本変形だけで)単位行列に変形できる。

なぜなら、仮に行列  が正則であるとすれば、このとき、正則の定義より、関係式

 

をみたす基本行列の積の行列   とが、それぞれ存在する。 は、それぞれ正則だから

  ,および  

が成り立つ。基本行列の逆行列は基本行列であるから、以上の考察より正則行列は基本行列の積で表わせることが分かる。

すなわち、正則行列は左基本変形だけで(もしくは右基本変形だけで)単位行列に変形できる。

以上のことから次の定理が成り立つ。

定理1.1.7

仮に行列  が正則行列のとき、

 

を左基本変形することで以下の行列を得たとする。

  (ただし 

このとき、  である。

例題編集

  の逆行列を求めよ。

解法の手順

  1. まず   を用意する。
  2. (第2行の-2倍を第1行に、2倍を第3行に加える) 
  3. (第2行と第1行を入れ替える) 
  4. (第2行を第1行に加え、第2行の2倍を第3行に加える) 
  5. (第3行を第2行に加え、さらに第2行を-1倍する) 

よって逆行列は、 

練習問題編集

逆行列を以下の(1),(2)の行列について求めよ。

(1)     (2)  


答え (1)     (2)