最小誤差形一般逆行列
線型写像 において、今度は に で計量を与えて計量空間とする。 のとき、 に対して( でも良い !)、 が最小なものを考える。
前回同様、 行列 A の QR 分解 (P は置換行列)を作る。ただし
で、 (i = 1 , … , r , j = 1 , … r) は上三角行列かつ (i = 1 , … r) を満たす。
これに列基本変形を施すことで、結局
と出来る。そこで最小化する目的関数 を
… (**)
と書きかえる。ただし 。すると
に対して
( は任意)
なるものが目的関数 (**) を最小にする。
(ただし は 型、 は 型で任意)
とおけば が求めるものである。この を最小誤差形一般逆行列という。
前回と全く同じ要領で、 の補空間 について である。このことから が成り立つ。したがって、一般逆行列に関する の補空間の取り方としては、最小誤差形の場合は の直交補空間を取らなければならないことになる。一方で の補空間の取り方には自由度が残るので、T を適当に取り換えることで
(ただし は 型で任意)
と書きなおせる。
反射形一般逆行列
通常、A の一般逆行列 について、A が の一般逆行列になるとは限らないが、それが成り立つようなもの、すなわち
が成り立つような のことを反射形一般逆行列という。今までの表現に倣えば
がこれを満たす。したがって、 と の補空間を適当に選べば
と出来ることになる。
この形からすぐにわかることは
であり、逆にこの関係を満たすような一般逆行列は反射形である。また一般には
であるが、 が反射形 の場合には だから等号が成り立つ。すなわち
である。逆に一般逆行列 が
のいずれか一方を満たすとする。
… (i)
ならば、 のとき (i) により となる が存在するので
となり 、すなわち が成り立つ。
… (ii)
ならば
であり任意の は
(ただし )
と書けるので である。
すなわち (i) , (ii) は一方が成り立てば両方が成り立つ。このことから
が成り立つので、以下、簡単な計算で が成り立つから、 はやはり反射形である。