行列 A のムーア・ペンローズ擬似逆行列 A+ が A^+ = (A^T A)^-1 A^T と定義されるのはどのような時か。

列フルランクであれば左逆行列が存在し、最小二乗解の導出に使われる。