特異値

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索

行列 A特異値(とくいち、: Singular values)とは、A随伴行列 A* との積 AA*固有値の非負の平方根のことである[1]

定義[編集]

以下、

  • 行列 A随伴行列A*
  • 行列 A の固有値を λi(A)
  • 行列 A の特異値を σi(A)

と表記する。

冒頭部の定義を数学記号で書くと次のようになる。

特異値は m × n の行列に対して定義される(固有値は n × n の正方行列でのみ定義される)。

行列 AA* の性質[編集]

  • 行列 A*An × n のエルミート行列(あるいは対称行列)であり、かつ半正定値行列である。つまり、任意の n 次元の零でないベクトル y について以下の条件を満たす。

よって、

  • すべての固有値 λ(AA*) および λ(A*A) は非負の実数 λ ≥ 0 となる。
  • 半正定値平方根行列がただひとつだけ存在する。

特異値の性質[編集]

注意事項: 行列式トレースなどは正方行列に対して定義されるので m × n の行列 A に直接適用してはならない。

  • 特異値 σ(A) はすべて非負の実数 σ(A) ≥ 0
  • [2]
  • [3]
  • 行列 Am = n正方行列の場合には以下が成り立つ。
    • [4]
    • ワイルの不等式
  • 行列 Am = n正規行列の場合には以下が成り立つ。
    • 特異値は固有値の絶対値に等しい。
  • 行列 Am = n の半正定値対称行列(エルミート行列)の場合には以下が成り立つ。
    • 特異値は固有値に等しい。

脚注[編集]

  1. ^ Grégoire Allaire, Sidi Mahmoud Kaber 2007, pp. 33-34.
  2. ^ 特異値分解で M = UΣV*, M* = (UΣV*)* = *U*。特異値を対角成分に持つ Σ対角行列だから Σ = Σ*
  3. ^ 行列ノルム#フロベニウスのノルム参照
  4. ^ (証明) .

参考文献[編集]

関連項目[編集]