数学 › 数値解析の基礎 › 浮動小数点数と丸め誤差

機械イプシロンと単位丸め

定義 2.3（「浮動小数点数と丸め誤差」§2）

$1$ と、 $1$ より大きい最小の浮動小数点数との差 $\varepsilon_M=2^{1-p}$ を機械イプシロンという。その半分 $u=2^{-p}$ を単位丸めという。

本文で読む（前後の説明と例）→

閉包の状態

定義

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

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

これを使っている定理

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

関連するノック 6 問