行列の条件数
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/08/14 23:48 UTC 版)
たとえば A x = b {\displaystyle Ax=b} という方程式の条件数は、 x {\displaystyle x} を近似的に求める際の不正確さの上限を与える。なお、これには丸め誤差の影響は考慮しない。条件数は行列の属性であって、計算に使うシステムの浮動小数点数の精度やアルゴリズムとは無関係である。この場合（非常に大まかに言って）、 b {\displaystyle b} の変化によって解である x {\displaystyle x} が変化する率が条件数である。従って、条件数が大きければ b {\displaystyle b} の小さな誤差も x {\displaystyle x} の大きな誤差となって現れる。一方、条件数が小さければ、 x {\displaystyle x} における誤差は b {\displaystyle b} における誤差より大きくなることはない。 より正確に条件数を定義すると、 x {\displaystyle x} の相対誤差を b {\displaystyle b} の相対誤差で割った最大比率である。 b {\displaystyle b} の誤差を e {\displaystyle e} とする。すると解 A − 1 b {\displaystyle A^{-1}b} の誤差は A − 1 e {\displaystyle A^{-1}e} となる。解の相対誤差と b {\displaystyle b} の相対誤差の比率は、次のようになる。 ‖ A − 1 e ‖ / ‖ A − 1 b ‖ ‖ e ‖ / ‖ b ‖ {\displaystyle {\frac {\Vert A^{-1}e\Vert /\Vert A^{-1}b\Vert }{\Vert e\Vert /\Vert b\Vert }}} これは容易に次のように書き換えられる。 ( ‖ A − 1 e ‖ / ‖ e ‖ ) ⋅ ( ‖ b ‖ / ‖ A − 1 b ‖ ) {\displaystyle (\Vert A^{-1}e\Vert /\Vert e\Vert )\cdot (\Vert b\Vert /\Vert A^{-1}b\Vert )} （ b {\displaystyle b} と e {\displaystyle e} がゼロでないとき）その最大値は明らかに2つの作用素ノルムの積となる。 κ ( A ) = ‖ A − 1 ‖ ⋅ ‖ A ‖ {\displaystyle \kappa (A)=\Vert A^{-1}\Vert \cdot \Vert A\Vert } 同様の定義は、任意の行列ノルムに当てはまる。この数は数値線型代数学にはよく使われるので、行列の条件数 (condition number of a matrix) と名づけられている。 もちろん、この定義はノルムの選択に依存している。 ‖ ⋅ ‖ {\displaystyle \|\cdot \|} が l 2 {\displaystyle l_{2}} ノルムなら、 κ ( A ) = σ m a x ( A ) σ m i n ( A ) {\displaystyle \kappa (A)={\frac {\sigma _{\mathrm {max} }(A)}{\sigma _{\mathrm {min} }(A)}}} であり、ここで σ m a x ( A ) {\displaystyle \sigma _{\mathrm {max} }(A)} は A {\displaystyle A} の最大特異値、 σ m i n ( A ) {\displaystyle \sigma _{\mathrm {min} }(A)} は最小特異値である。したがって、 A {\displaystyle A} が正規なら κ ( A ) = | λ m a x ( A ) λ m i n ( A ) | {\displaystyle \kappa (A)=\left|{\frac {\lambda _{\mathrm {max} }(A)}{\lambda _{\mathrm {min} }(A)}}\right|} （ λ m a x ( A ) , λ m i n ( A ) {\displaystyle \lambda _{\mathrm {max} }(A),\ \lambda _{\mathrm {min} }(A)} はそれぞれ A {\displaystyle A} の最大および最小固有値） A {\displaystyle A} がユニタリなら κ ( A ) = 1 {\displaystyle \kappa (A)=1\,} ‖ ⋅ ‖ {\displaystyle \|\cdot \|} が l ∞ {\displaystyle l_{\infty }} ノルムで、 A {\displaystyle A} が三角行列で特異値を持たない（すなわち、 a i i ≠ 0 ∀ i {\displaystyle a_{ii}\neq 0\;\forall i} ）なら κ ( A ) ≥ max i ( | a i i | ) min i ( | a i i | ) {\displaystyle \kappa (A)\geq {\frac {\max _{i}(|a_{ii}|)}{\min _{i}(|a_{ii}|)}}}
※この「行列の条件数」の解説は、「条件数」の解説の一部です。
「行列の条件数」を含む「条件数」の記事については、「条件数」の概要を参照ください。
- 行列の条件数のページへのリンク
