玄関＞雑学の部屋＞雑学コーナー＞ベクトルと行列
目次 第1章 第2章 第3章 第4章 第5章 第6章 第7章 第8章 第9章 第10章 第11章 第12章 第13章

７．逆行列

1) 逆行列の定義

あるn次の正方行列Ａに別のn次の正方行列Ｂを掛けた結果が単位行列Ｉnになる時、この行列Ｂのことを行列Ａの逆行列(inverse matrix)といい、「Ａ-1」と書きます。


　……　(7.1)

逆行列が存在する行列はn次元ベクトル空間の基底を成分ベクトルとした正方行列であり、このような行列のことを正則な行列(regular matrix)といいます。 正則ではない行列は特異な行列(singular matrix)といい、成分ベクトルが基底ではない行列、つまり成分ベクトルの間に一次従属関係がある行列になります。

1次の正方行列すなわちスカラーの時、逆行列は次のように逆数になります。 つまり逆行列は逆数を拡張したものであり、行列の積の逆演算に相当します。 そして逆行列を定義することによって、行列の世界で和・差・積・除の四則演算が揃ったことになります。 (注１)

Ａ＝［a］
ＡＡ-1＝［1］
∴Ａ-1＝［1/a］　(a≠0)

逆行列について次のようなことが成り立ちます。

・(aＸ)-1＝(1/a)Ｘ-1 　　a：スカラー
・(ＸＹ)-1＝Ｙ-1Ｘ-1 　　Ｘ、Ｙ：正則なn次正方行列
・
　 　　Ａ、Ｂ、Ｃ、Ｄ：正則なn次正方行列
・(Ａ+ＢＤＣ)-1＝Ａ-1 - Ａ-1Ｂ(Ｄ-1+ＣＡ-1Ｂ)-1ＣＡ-1 … Woodburyの恒等式(Sherman-Morrison-Woodburyの公式)
　Ａ：正則なn次正方行列、Ｂ：(n,p)型行列、Ｃ：(p,n)型行列、Ｄ：正則なp次正方行列
　※この恒等式は
　「k≪nかつＡ-1がすでに求められている時、Ａを変化させた行列[Ａ+ＢＤＣ]の逆行列を求めるには、
　この行列の逆行列を直接求めるよりも恒等式の右辺を計算する、
　つまりＡ-1から[Ｂ(Ｄ-1+ＣＡ-1Ｂ)-1Ｃ]の左右にＡ-1を掛けた行列を引く方が簡単」
　という実用的な意味を持つ。
　例えばp=1の時はＢとＣがベクトルに、Ｄがスカラーになるので、(Ｄ-1+ＣＡ-1Ｂ)-1もスカラーになり、比較的簡単に計算できる。

2) 逆行列と直交変換

正規直交基底を列ベクトルとする正規直交行列と、その転置行列つまり正規直交基底を行ベクトルとする正規直交行列は、次のようにお互いに逆行列の関係にあります。

　　

∴Ｚ＝［Ｚ'］-1
∴Ｚ'＝Ｚ-1

また第6章の直交変換の式(6.5)と(6.6)は、次のようにお互いに変換／逆変換の関係にあります。

ｙ＝Ｚ'ｘ＝Ｚ-1ｘ
ｘ＝Ｚｙ＝[Ｚ']-1ｙ

つまりあるベクトルに逆行列を掛けるという作業は、ベクトルの逆変換を行っていることに相当するわけです。 例えば2次元ベクトル空間Ｒ2つまり普通の平面で、基本的な座標軸をθだけ回転した時の座標軸を表す正規直交基底は次のようになります。

　　
‖ｚ1‖2=ｚ1'ｚ1 = cos2θ+sin2θ = 1
‖ｚ2‖2 = ｚ2'ｚ2 = sin2θ + cos2θ = 1
ｚ1'ｚ2 = -cosθ・sinθ + sinθ・cosθ = 0

そしてベクトルｘをこの回転座標系から見た時のベクトルｙは次のようになります。

図7.1 直交変換と逆変換
　　
　……　(7.2)
‖ｙ‖2 = y12 + y22 = (x1・cosθ+x2・sinθ)2 + (-x1・sinθ + x2・cosθ)2
　　　=x12・cos2θ + 2・x1・x2・cosθ・sinθ + x22・sin2θ + x12・sin2θ − 2・x1・x2・sinθ・cosθ + x22・cos2θ
　　　= x12(cos2θ + sin2θ) + x22(cos2θ + sin2θ)
　　　= x12 + x22 = ‖ｘ‖2　(ベクトルの大きさは不変)

この直交変換はベクトルｘを原点のまわりに−θだけ回転したことに相当します。 正規直交行列Ｚ'の逆行列は元の正規直交行列Ｚなので、逆変換は次のようになります。 この逆変換はベクトルｙを原点のまわりにθだけ回転したことに相当します。


　……　(7.3)

x1、x2とy1、y2の関係が(7.3)式のようになることは直角三角形を利用して幾何学的に証明することができるので、興味のある方は証明してみてください。 ちなみにn次の正方行列Ｚが次の条件を満足する時、正規行列(normal matrix)といいます。

Ｚ'Ｚ = ＺＺ'

例えば、

　　

とすると、

　　

となり、Ｚは正規行列になります。 正規直交行列は次のように正規行列でもあります。

Ｚ'Ｚ = Ｚ-1Ｚ = Ｉn = ＺＺ-1 = ＺＺ'

例えば前述のθ回転する正規直交行列Ｚは次のように正規行列になります。 また対称行列は元の行列と転置行列が等しいので必ず正規行列になります。 (注2)

　　
　　

この正規直交行列Ｚを利用すると、複素数平面における指数法則と加法定理の関係をベクトルの回転で表すことができます。 次のような3種類の複素指数関数の間には指数法則が成り立ちます。 そしてこの式の両辺をオイラー(Leonhard Euler)の公式で置き換えると加法定理になります。

← 指数法則

← 加法定理
← 加法定理

この関係を複素数平面上のベクトルｘと、ｘを複素数平面の座標軸をαだけ回転した座標軸から見たベクトルｙで表すと図7.2のようになります。

図7.2 指数法則と加法定理

このように図7.2を頭に浮かべながら指数法則をオイラーの公式で置き換えれば、加法定理の有名な呪文「咲いた・コスモス・コスモス・咲いた」を唱えなくても加法定理を導き出すことができます。 そして複素数の掛け算は複素数平面上では回転に相当することも直観的に理解できると思います。

3) 掃き出し法

逆行列を求めるには、普通は掃き出し法(sweep out method)またはガウスの消去法(Gaussian elimination)と呼ばれる次のような方法を用います。

(1) 逆行列を求めたい行列Ｘの横に単位行列Ｉnを並べる。
　……　(7.4)
(2) 第1行をx11で割る。
(3) 第1行をx21倍して第2行から引く。
(4) 同様に、第1行をxi1倍して第i行から引くという操作を第n行まで繰り返す。

と置きなおす

(2)〜(4)の操作をx11を軸(pivot)にして掃き出すという。

(5) 以下同様にして、新しく更新されたx22(1)〜xnn(1)を軸にして掃き出しを繰り返すと、最終的には右側の単位行列がＸの逆行列に変わる。
　……　(7.5)

言葉で説明すると非常にややこしく聞こえますが、実際にやってみると――決して簡単とは言いませんが――思ったほど難しくはありません。 例を用いて実際に計算してみましょう。

　とすると　
　…　第1行を3で割る
　…　第1行で掃き出す
　…　第2行を5/3で割る
　…　第2行で掃き出す
　…　第3行を1/5で割る
　…　第3行で掃き出す
∴

検算のため元の行列に掛けてみると、次のように確かに単位行列になります。

通常、逆行列はコンピュータを利用して計算します。 しかし実際に手で計算してみると何となく感覚的に理解できた気になるので、ぜひ実際に計算してみてください。

(注１)　ある被演算子に関して四則演算が自由に行えるような状態を、四則に対して閉じているといいます。 数の世界は演算に対して閉じるような新しい数を定義することによって進化してきました。

自然数は足し算と掛け算に対して閉じています。 しかし掛け算によって記述された方程式の解b／aは、自然数の世界では常に存在するとは限りません。 つまり自然数は掛け算の逆演算である除算に対して閉じていないのです。 そこで除算に対して閉じるように逆数a-1を定義し、分数を作って数の範囲を広げました。

a・x＝b　(a、b：自然数)
解：

この時、aとbは自然数であり、普通は0を含まないことに注意してください。 もしa=0、b＞0とすると、次のように非合理な方程式になります。 そのため0の逆元である0-1は定義できない、つまり自然数に対する0による割り算は定義できません。

a・x=0=b＞0　(a=0、b：自然数)
解：x=0-1b ← 方程式が非合理なので0-1を定義できない！

またa=0、b=0とすると、次のように解が不定の方程式になります。 そのため0の逆元である0-1は不定になり、事実上、定義できません。 これらのことから0と自然数に対する0による割り算は定義できないことがわかると思います。

0・x＝0
解：x=0-10 ← 方程式の解が不定なので0-1を定義できない！

ちなみに0は古代インドで発見されました。 まず1世紀頃、無名のインド人によって0を使った位取り記数法が発明され、628年にインド人数学者ブラーマグプタによって現在の0の概念に近い計算法が考え出されました。 これは数学の大革命と言うべき画期的な出来事でした。

除算と同様に、正の数は加算の逆演算である減算に対して閉じていないので、閉じるように負数を定義して数の範囲を広げました。 その結果、数は有理数まで広がり、四則演算に対して閉じることになりました。 このような集合を体といいます。

方程式：x＋a＝0　(a：正の数)
解：x＝-a

さらに有理数はベキ乗の逆演算に対して閉じていないので、閉じるように無理数を定義して数の範囲を広げました。 そして連続性のために超越数も加え、数は実数まで広がりました。

方程式：xn＝a　(a：有理数)
解：

さらに実数は負数のベキ乗の逆演算に対して閉じていないので、閉じるように虚数を定義して数の範囲を広げました。 この結果、数は複素数まで広がり数の体系が完成しました。

方程式：x2＝-a　(a：正の実数)
解： 　　

逆行列は常に存在するとは限らないので、行列は四則に対して閉じていません。 しかし特殊な一般化逆行列を定義し、行列の範囲を広げることによって四則に対してほぼ閉じるようにできます。

(注２)　ややこしいことに正規直交行列は正規行列であると同時に直交行列でもありますが、正規行列であると同時に直交行列であっても正規直交行列になるとは限りません。 例えば正規行列の例として挙げた次の行列は、正規行列であると同時に直交行列でもあります。 しかし正規直交行列ではありません。


　　 　　ｚ1'ｚ2＝0

このあたりの命名法の不明確さは第6章の(注１)で述べた直交行列−直交変換の命名法の不明確さと関連していて、はなはだ混乱しやすいので注意が必要です。

最終更新日：2004年4月1日 　第6章へ← →第8章へ
【我楽多頓陳館】 　Copyleft (C) 2000 SNAP(Sugimoto Norio Art Production)