「特異値」の版間の差分

削除された内容 追加された内容
編集の要約なし
1行目:
数学において、行列 A の'''特異値'''(とくいち、{{lang-en-short|Singular values}})とは、AA<sup>*</sup>の固有値の非負の平方根のことである。{{Sfn|Grégoire Allaire, Sidi Mahmoud Kaber|2007|pp=33-34}}
 
==記法==
* m行n列の行列 A<sub>m,n</sub> の特異固有値をσλ<sub>i</sub>(A)と表記する。
ここでは、
* 正方行列 A<sub>m,n</sub> の固有特異値をλσ<sub>i</sub>(A)と表記する。
* m行n列の行列 A<sub>m,n</sub> の特異値をσ<sub>i</sub>(A)と表記する。
 
==概説==
 
==定義==
冒頭部の定義を数学記号で書くと次のようになる。
:<math> \sigma_i(A) = \sqrt{\lambda_i(AA^*)} \quad ( A \in M_{m,n}(R or C) )</math>
 
 
特異値はm×nの行列に対して定義される。(固有値はn×nの正方行列でのみ定義される。)
 
==性質==
*固有値λ(AA<sup>*</sup>)はすべて非負の実数 λ(AA<sup>*</sup>)≧0
:行列 AA<sup>*</sup> はm×mの対称行列(あるいはエルミート行列)で[[行列の定値性#半正定値行列|半正定値]]。よってすべての固有値λ(AA<sup>*</sup>)は非負の実数。
*特異値σ(A)はすべて非負の実数 σ(A)≧0
<!--
*<math> \det(AA^*) = |det(\sqrt{AA^*})|^2 = \left(\prod_i \lambda_{i}^{1/2}(AA^*) \right)^2 = \prod_i \sigma_{i}^2(A)</math>
:注) 行列式はn×nの正方行列に対して定義されるのでm×nの行列 A に直接適用するわけにはいかない。
{{節stub}}
 
====行列 A が[[正規行列]]( AA<sup>*</sup> = A<sup>*</sup>A ) の場合====
* σ<sub>i</sub>(A) = |λ<sub>i</sub>(A)|
-->
 
==脚注==