テキスト→Introduction to Applied Linear Algebra – Vectors, Matrices, and Least Squares
11.5 Pseudo-inverse
列の線形独立性とグラム行列の正則性
はじめに、 型行列 はグラム行列 が正則である場合のみ線形独立な列をもつことを証明する。
まず、 の各列が線形独立であるとする。 を を満足するある 次元ベクトルとする。左側から を掛けると
つぎに逆を証明する。 の各列が線形従属である、すなわち、 を満たす 次元の非零ベクトル が存在するとする。左側から を掛けると を得る。これはグラム行列 が正則ではないことを意味する。
正方行列または縦長の行列の疑似逆行列
が線形独立な列をもつ (すなわち、 が正方行列か縦長の行列である) とき、 が左逆行列をもつことを示す (我々はすでにこの逆、すなわち左逆行列をもつ行列が線形独立な列をもつことを知っている)。 が線形独立な列をもつとすると、 は正則である。ここで、
この特定の の左逆行列は の疑似逆行列 (pseudo-inverse of ) とよばれ、 と表記される。
が正方行列であるとき、疑似逆行列 は元の逆行列となる。
他の場合での疑似逆行列
疑似逆行列 は、縦長であるがその列が線形従属な行列や横長でありその行が線形従属な行列、正方行列であるが正則ではない行列を含むどのような行列に対しても定義できる。しかし、これらの場合には疑似逆行列は左逆行列ではなく、それぞれ右逆行列または逆行列となる。(これらの場合に が何を意味するのかについては例題 15.11 で紹介する。)
QR分解による疑似逆行列
QR分解は疑似逆行列についての簡単な公式を与える。 が左逆行列をもつとき、その列は線形独立であり、QR分解 が存在する。ここで、
QR分解を用いて、 の列について back substitution を適用して疑似逆行列を計算できる (これは11.3の が正則行列であるときのアルゴリズムと全く同一である)。この手法の複雑性はQR分解に要する フロップと back substitusion に要する フロップである。したがって合計は フロップとなる。
同様に、 が右逆行列であるとき、その転置行列のQR分解 が存在する。 であり、
優決定・劣決定な連立一次方程式の解法
この疑似逆行列は、係数行列の各列が線形独立な優決定系、または各行が線形独立な劣決定系の解法を与える。 の各列が線形独立であるとき、優決定の方程式 は解 をもつ。 の各行が線形独立であるとき、劣決定の方程式 は任意の に対して解をもち、 が解である。