値域、零空間、行列の階数
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/04/30 17:38 UTC 版)
「特異値分解」の記事における「値域、零空間、行列の階数」の解説
特異値分解を用いて、行列 M {\displaystyle M} の値域、零空間を表現することができる。 M {\displaystyle M} の特異値の中で零になるものに対応する右特異ベクトルが零空間の基底となる。 M {\displaystyle M} の特異値の中で零でないものに対応する左特異ベクトルが値域の基底となる。すなわち M {\displaystyle M} の行列の階数は、零でない特異値の数と一致する。さらに、 M {\displaystyle M} と M ∗ M {\displaystyle M^{*}M} と M M ∗ {\displaystyle MM^{*}} の階数は一致し、 M ∗ M {\displaystyle M^{*}M} と M M ∗ {\displaystyle MM^{*}} の固有値は一致する。 数値計算上では、特異値を用いて行列の実質的な階数を求めることができる。数値計算上では丸め誤差の影響で、階数が退化した行列に対し、非常に小さいが零ではない特異値が得られてしまう場合に有効である。
※この「値域、零空間、行列の階数」の解説は、「特異値分解」の解説の一部です。
「値域、零空間、行列の階数」を含む「特異値分解」の記事については、「特異値分解」の概要を参照ください。
- 値域、零空間、行列の階数のページへのリンク