特異値

数学の線型代数学分野において、行列 A の特異値（とくいち、英: Singular values）とは、A の随伴行列 A* との積 AA* の固有値の非負の平方根のことである[要ページ番号]。 以下、 行列 A の随伴行列を A* 行列 A の固有値を λi(A) 行列 A の特異値を σi(A) と表記する。 冒頭部の定義を数学記号で書くと次のようになる。 σ i ( A ) = λ i ( A A ∗ ) ( A ∈ M m , n ( R     o r     C ) ) {\displaystyle \sigma _{i}(A)={\sqrt {\lambda _{i}(AA^{*})}}\quad (A\in M_{m,n}(\mathbb {R} ~~\mathrm {or} ~~\mathbb {C} ))} 特異値は m × n の行列に対して定義される（固有値は n × n の正方行列でのみ定義される）。 行列 AA* は m × m のエルミート行列（あるいは対称行列）であり、かつ半正定値行列である。つまり、任意の m 次元の零でないベクトル x について以下の条件を満たす。 x ∗ A A ∗ x ≥ 0 {\displaystyle x^{*}AA^{*}x\geq 0} 行列 A*A は n × n のエルミート行列（あるいは対称行列）であり、かつ半正定値行列である。つまり、任意の n 次元の零でないベクトル y について以下の条件を満たす。 y ∗ A ∗ A y ≥ 0 {\displaystyle y^{*}A^{*}Ay\geq 0} よって、 すべての固有値 λ(AA*) および λ(A*A) は非負の実数 λ ≥ 0 となる。 半正定値平方根行列がただひとつだけ存在する。 注意事項： 行列式やトレースなどは正方行列に対して定義されるので m × n の行列 A に直接適用してはならない。 特異値 σ(A) はすべて非負の実数 σ(A) ≥ 0 σ i ( A ) = σ i ( A ∗ ) {\displaystyle \sigma _{i}(A)=\sigma _{i}(A^{*})} σ i ( A ) = λ i ( A A ∗ ) = λ i ( A ∗ A ) {\displaystyle \sigma _{i}(A)={\sqrt {\lambda _{i}(AA^{*})}}={\sqrt {\lambda _{i}(A^{*}A)}}} ( A A ∗ ) 2 x = A A ∗ x = λ i ( A A ∗ ) x = σ i 2 ( A ) x {\displaystyle \left({\sqrt {AA^{*}}}\right)^{2}x=AA^{*}x=\lambda _{i}(AA^{*})x=\sigma _{i}^{2}(A)x} σ i ( A ) = λ i ( A A ∗ ) = λ i ( A ∗ A ) {\displaystyle \sigma _{i}(A)=\lambda _{i}({\sqrt {AA^{*}}})=\lambda _{i}({\sqrt {A^{*}A}})} det ( A A ∗ ) = ∏ i λ i ( A A ∗ ) = ∏ i = 1 min ( m , n ) σ i 2 ( A ) {\displaystyle \det(AA^{*})=\prod _{i}\lambda _{i}(AA^{*})=\prod _{i=1}^{\min(m,n)}\sigma _{i}^{2}(A)} tr ⁡ ( A A ∗ ) = ∑ i λ i ( A A ∗ ) = ∑ i = 1 min ( m , n ) σ i 2 ( A ) {\displaystyle \operatorname {tr} (AA^{*})=\sum _{i}\lambda _{i}(AA^{*})=\sum _{i=1}^{\min(m,n)}\sigma _{i}^{2}(A)} 行列 A が m = n の正方行列の場合には以下が成り立つ。 | det ( A ) | = ∏ i σ i ( A ) {\displaystyle |\det(A)|=\prod _{i}\sigma _{i}(A)} ワイルの不等式 ∏ i = 1 k | λ ( A ) | ≤ ∏ i = 1 k σ ( A ) ( 1 ≤ k ≤ m = n ) {\displaystyle \prod _{i=1}^{k}|\lambda (A)|\leq \prod _{i=1}^{k}\sigma (A)\quad (1\leq k\leq m=n)} 行列 A が m = n の正規行列の場合には以下が成り立つ。 特異値は固有値の絶対値に等しい。 σ i ( A ) = | λ i ( A ) | {\displaystyle \sigma _{i}(A)=|\lambda _{i}(A)|} 行列 A が m = n の半正定値対称行列の場合には以下が成り立つ。 特異値は固有値に等しい。 σ i ( A ) = λ i ( A ) {\displaystyle \sigma _{i}(A)=\lambda _{i}(A)} A p {\displaystyle A^{p}} の特異値を σ i ( p ) {\displaystyle \sigma _{i}^{(p)}} として、 | λ 1 | ≥ ⋯ ≥ | λ n | , σ 1 ( p ) ≥ ⋯ ≥ σ n ( p ) {\displaystyle |\lambda _{1}|\geq \cdots \geq |\lambda _{n}|,\quad \sigma _{1}^{(p)}\geq \cdots \geq \sigma _{n}^{(p)}} と並べるとき、Banach代数の分野で知られた公式（Gelfand, 1941）[要ページ番号]: lim p → ∞ σ 1 ( p ) 1 p = | λ 1 | {\displaystyle \lim _{p\to \infty }\sigma _{1}^{(p){\frac {1}{p}}}=|\lambda _{1}|} の一般化として、 lim p → ∞ σ i ( p ) 1 p = | λ i | , 1 ≤ i ≤ n {\displaystyle \lim _{p\to \infty }\sigma _{i}^{(p){\frac {1}{p}}}=|\lambda _{i}|,\quad 1\leq i\leq n} が成り立つ。この公式はヒルベルト空間上のコンパクト作用素に対しても成立する。 ^ Grégoire Allaire, Sidi Mahmoud Kaber 2007, pp. 33–34. ^ a b 山本 2003. ^ Yamamoto, T. (1967). On the extreme values of the roots of matrices. Journal of the Mathematical Society of Japan, 19(2), 173-178. ^ Davis, C. (1970). On a theorem of Yamamoto. Numerische Mathematik, 14(3), 297-298. ^ 特異値分解で M = UΣV*, M* = (UΣV*)* = VΣ*U*。特異値を対角成分に持つ Σ は対角行列だから Σ = Σ*。 ^ フロベニウスノルム参照 ^ (証明) det ( A A ∗ ) = det ( A ) det ( A ) ¯ = | det ( A ) | 2 = ∏ i σ i 2 ( A ) {\displaystyle \scriptstyle \det(AA^{*})=\det(A){\overline {\det(A)}}=|\det(A)|^{2}=\prod _{i}\sigma _{i}^{2}(A)} . 山本, 哲朗『数値解析入門』（増訂版）サイエンス社〈サイエンスライブラリ 現代数学への入門 14〉、2003年6月。ISBN 4-7819-1038-6。  Grégoire Allaire, Sidi Mahmoud Kaber (Mar 1, 2007), Numerical Linear Algebra, Texts in Applied Mathematics, 55, Springer, pp. 271, doi:10.1007/978-0-387-68918-0, ISBN 978-0-387-68918-0, http://link.springer.com/book/10.1007/978-0-387-68918-0/page/1  Mandan Lal Mehta (Nov. 2004), Random Matrices (first edition 2004 ed.), Elsevier ltd., p. 284, ISBN 0-12-088409-7, https://books.google.de/books?id=Kp3Nx03_gMwC&printsec=frontcover&hl=de#v=onepage&q&f=false  [CHAFAÏ] (Nov. 2009). “SINGULAR VALUES OF RANDOM MATRICES” (pdf). p. 2. 2013年3月4日閲覧。 James Bisgard: "Analysis and Linear Algebra: The Singular Value Decomposition and Applications", AMS, ISBN 978-1-4704-6332-8 (2021). 特異値分解 固有値 行列の定値性 正規行列 エルミート行列 対称行列 表示 編集