ムーア・ペンローズ逆行列による連立一次方程式の解表現について考える
本記事は以下の過去記事の結果を用います.
一般化逆行列の定義の意味について考える - エンジニアを目指す浪人のブログ
ムーア・ペンローズ逆行列の定義,構成,一意性についてまとめる - エンジニアを目指す浪人のブログ
ムーア・ペンローズ逆行列と元の行列の4つの基本部分空間との関係について考える - エンジニアを目指す浪人のブログ
行列のランク落ち,列フルランク,行フルランク,フルランクそれぞれのときの4つの基本部分空間を図示する - エンジニアを目指す浪人のブログ
行列における単射,核(カーネル)が零ベクトルのみ,列フルランクは同値であることを証明する - エンジニアを目指す浪人のブログ
勉強を進めていて,ムーア・ペンローズ逆行列(Moore-Penrose inverse)(擬似逆行列(pseudoinverse))を用いて連立一次方程式の解を表現する方法について知りました.だいぶ前から知っている連立一次方程式の解に別の見方があったことにとても感銘を受けたので,その内容をまとめておくことにしました.Laub(2004)の4章3節,6章2節を参考にしています.
=================================================================================
記号を準備します.
の要素を要素にもつ 次元ベクトルの集合
の要素を要素にもつ 行列の集合
単位行列
行列
の行空間
の列空間
の零空間
の左零空間
の一般化逆行列( 行列 )
のムーア・ペンローズ逆行列( 行列 )
一般化逆行列 の定義は冒頭の過去記事(一般化逆行列)にあります.
ムーア・ペンローズ逆行列 の定義は冒頭の過去記事(ムーア・ペンローズ逆行列の定義)にあります.
準備として以下の定理を示します.
'--------------------------------------------------------------------------------------------------------------------------------------------
定理 4.18.
とする. が成り立つ.
証明.
冒頭の過去記事(ムーアペンローズ逆行列と元の行列)事実2.(2.1)にあるように, は に沿った への直交射影であることから従う.(証明終わり)
'--------------------------------------------------------------------------------------------------------------------------------------------
いよいよ連立一次方程式と解について考えていきます.
(6.4)
解の存在についての定理を示します.線形代数の基本事項なので証明は省略しますが,例えば冒頭の過去記事(行列のランク落ち)に説明があります.残りは定理 4.18.を用います.
'--------------------------------------------------------------------------------------------------------------------------------------------
定理 6.2 (存在).
連立一次方程式(6.4)が解をもつための必要十分条件は ,あるいは同じことであるが が成り立つことである.
'--------------------------------------------------------------------------------------------------------------------------------------------
本記事のメインとなる定理を以下に示します.ムーア・ペンローズ逆行列による連立一次方程式の包括的な解表現を与えます.
'--------------------------------------------------------------------------------------------------------------------------------------------
定理 6.3.
が成り立つとき,以下のベクトルは連立一次方程式(6.4)の解の一つである.さらに,(6.4)のすべての解はこの形式で表現できる.
(6.5)
証明.
(6.5)が連立一次方程式(6.4)の解であることを示す.(6.5)に左から を乗じて以下を得る.
冒頭の過去記事(ムーア・ペンローズ逆行列の定義)(d.1)
仮定
連立一次方程式(6.4)のすべての解は(6.5)で表現できることを示す.任意の解を とすると をみたし,これより以下を得る.
これは(6.5)で表現していることを意味する.(証明終わり)
'--------------------------------------------------------------------------------------------------------------------------------------------
ムーア・ペンローズ逆行列 は一般化逆行列 の特別な場合であり, が正方行列で正則行列のとき です.冒頭の過去記事(一般化逆行列)にあります.
'--------------------------------------------------------------------------------------------------------------------------------------------
注意 6.4.
が正方行列()で正則行列のとき であり,これより を得る.したがって(6.5)の任意項が消去され,ただ一つの解は となる.
'--------------------------------------------------------------------------------------------------------------------------------------------
'--------------------------------------------------------------------------------------------------------------------------------------------
定理 6.6 (一意性).
連立一次方程式(6.4)の解が一意に決まるための必要十分条件は ,あるいは同じことであるが が成り立つことである.
証明.
1つ目の同値性は定理 6.3.より得る.
2つ目の同値性を示す.
冒頭の過去記事(行列における単射)事実.より が列フルランク( であることと は同値である.冒頭の過去記事(ムーア・ペンローズ逆行列の定義)定理 1.(で とすること)より が列フルランクであることと は同値である.よって示せた.(証明終わり)
'--------------------------------------------------------------------------------------------------------------------------------------------
'--------------------------------------------------------------------------------------------------------------------------------------------
例 6.7.
とする.同次方程式 の解は以下である.
したがって零ベクトルでない解が存在するための必要十分条件は である.これは あるいは正則でないことと同値である.零ベクトルでない解が存在するとき,その解は一意には決まらない.
'--------------------------------------------------------------------------------------------------------------------------------------------
最後に4つの基本部分空間との関連について簡単に触れます.冒頭の過去記事(ムーア・ペンローズ逆行列と元の行列)より以下を再掲します.
事実0と事実1の系.
同記事の事実1.(1.1)と事実2.(2.4)より以下がいえます.
したがって以下を確認できます.
=================================================================================
以上,ムーア・ペンローズ逆行列による連立一次方程式の解表現について考えてみました.一般的な線形代数の教科書にある内容と表現は違えど同じ結果を得ていることがわかると思います.
参考文献
[1] Laub, A.J. (2004), Matrix Analysis for Scientists and Engineers, Society for Industrial and Applied Mathematics.
おまけ
[1] へのリンク https://epdf.tips/matrix-analysis-for-scientists-and-engineers6eadd0270d0930c60f36adaea67057c230700.html