QR分解
QR分解の定義を非正方行列に導入し、固有値を特異値に置き換えることで、上記性質を非正方行列formula_21に拡張することができる。