数学 › 数値解析の基礎 › 条件数と安定性

前進誤差と後退誤差

定義 4.1(「条件数と安定性」§4)

定義 2.1 の状況で、計算値 y^∈Rm\hat{\boldsymbol{y}}\in\mathbb{R}^m について、

  1. (相対)前進誤差を ∥y^−f(x)∥/∥f(x)∥\|\hat{\boldsymbol{y}}-f(\boldsymbol{x})\|/\|f(\boldsymbol{x})\| と定める。
  2. (ノルムによる相対)後退誤差を η(y^)=inf⁡{∥Δx∥∥x∥:x+Δx∈U, f(x+Δx)=y^}\eta(\hat{\boldsymbol{y}})=\inf\left\{\frac{\|\Delta\boldsymbol{x}\|}{\|\boldsymbol{x}\|}:\boldsymbol{x}+\Delta\boldsymbol{x}\in U,\ f(\boldsymbol{x}+\Delta\boldsymbol{x})=\hat{\boldsymbol{y}}\right\} と定める(集合が空なら ∞\infty)。∥Δx∥/∥x∥\|\Delta\boldsymbol{x}\|/\|\boldsymbol{x}\| の代わりに ηx(Δx)\eta_{\boldsymbol{x}}(\Delta\boldsymbol{x}) を使ったものを成分ごとの後退誤差 ηc(y^)\eta_{\mathrm{c}}(\hat{\boldsymbol{y}}) という。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。