数学 › 計算機援用証明 › 浮動小数と区間演算

区間の四則

定義 4.1(「浮動小数と区間演算」§4)

X,Y∈IRX,Y\in\mathbb{IR} と ∘∈{+,−,×,÷}\circ\in\{+,-,\times,\div\} に対し X∘Y={x∘y:x∈X, y∈Y}X\circ Y=\{x\circ y:x\in X,\ y\in Y\} と定める(÷\div は 0∉Y0\notin Y のときだけ定義する)。

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

閉包の状態

定義

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

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

これを使っている定理 証明で参照している 1 件