条件数
解の相対誤差と 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 }
同様の定義は、任意の行列ノルムに当てはまる。
たとえば 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} となる。