一様連続性

定義 6.1（「極限と連続性」§6）

$A \subseteq \mathbb{R}$ 、 $f : A \to \mathbb{R}$ とする。

\forall \varepsilon>0,\ \exists \delta>0,\ \forall x \in A,\ \forall y \in A,\quad |x - y| < \delta \implies |f(x)-f(y)| < \varepsilon

が成り立つとき、 $f$ は $A$ 上一様連続であるという。

閉包の状態

定義

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

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