ムーア-ペンローズの擬似逆行列(ぎじぎゃくぎょうれつ、pseudo-inverse matrix)は線型代数学における逆行列の概念の一般化である。擬逆行列一般化逆行列一般逆行列: generalized inverse)ともいう。また擬は疑とも書かれる。

連立一次方程式の解を簡潔に表現するものとして逆行列の概念は重要であり、逆行列を持つ行列は、可逆あるいは正則であると言われる。正則でない行列の場合にも逆行列のような都合のよい行列として擬逆の概念を導入する。ロボット工学に関していうならば、動特性の同定や冗長ロボットの制御などで良く用いられている。

定義編集

m × n 行列 A に対し、A随伴行列(複素共軛かつ転置行列)を A* とするとき、以下の4条件を満足する n × m 行列 A+ はただ一つ定まる:

  • AA+ は互いに広義可逆元である:
    •  
    •  
  • A A+ および A+Aエルミート行列である:
    •  
    •  

この行列 A+A擬似逆行列と呼ぶ。A が正則でなくとも A+ は定まるが、A が正則ならば逆行列 A−1 はこの条件を満たす。ゆえに擬似逆行列の概念は逆行列の概念の一般化を与えていることがわかる。

性質編集

擬似逆行列は以下のような性質を持つ。

  •  
  •  
  •  
  •  
  •   行列 A に対して
 
 
  • A特異値分解 とすると、
 

が成立する。 (  の成分は    の成分は   とすると、   である。)

  •   行列   に対して
    • n 次正方行列   は、 零空間直交補空間  への直交射影である。
    • n 次正方行列   は、  への直交射影である。
  •    行列とする。連立一次方程式   に対して
    • 方程式が解を持つとき
       を任意の 次元列ベクトルとして、すべての解は と表せる。ノルム   が最小の解は  で与えられる。  が正則なら で、ただ一つの解を持つ。
    • 方程式が解を持たないとき
      前述の   を最小にするベクトル(最小2乗解)である。

編集

スカラー編集

スカラーの場合にも擬似逆行列を定義できる。スカラーを行列として扱うことになる。λ が0ならば、その擬似逆行列は0であり、λ がそれ以外の数ならば、 その擬似逆行列は λ の逆数になる:

 

ベクトル編集

零ベクトルの擬似逆行列は転置された零ベクトルである。零ベクトルでないベクトルの擬似逆行列はそのベクトルの大きさの2乗で割られた、随伴ベクトルである:

 

列が線形独立である場合編集

  の各列が線形独立(このとき   である)ならば、  は可逆である。この場合、擬似逆行列は次のようになる:

 .

これから    の左逆元であることがわかる: つまり  .

行が線形独立である場合編集

  の各行が線形独立(このとき   である)ならば、  は可逆である。この場合、擬似逆行列は次のようになる:

 .

これから    の右逆元であることがわかる: つまり  .

2次正方行列編集

2次正方行列

 

の擬似逆行列は   のとき、

 

である。   のとき、   のときは

 

となる。   のときは

 

である。

参考文献編集

  • 「ロボット制御基礎論」(著者:吉川恒夫)
  • Harville, David A (1997). Matrix algebra from a statistician's perspective. Springer-Verlag. ISBN 0-387-94978-X. MR1467237. Zbl 0881.15001. https://books.google.com/books?id=kZGBQijgGV8C&pg=PA497. 
  • 岩井斉良『基礎課程線形代数』学術図書出版社、1995年。ISBN 978-4-87361-194-5

関連項目編集