連続性

定義 3.1（「連続関数と一様連続性」§3）

$I \subseteq \mathbb{R}$ 、 $f : I \to \mathbb{R}$ 、 $a \in I$ とする。

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

が成り立つとき、 $f$ は $a$ で連続であるという。 $I$ のすべての点で連続なとき、 $f$ は $I$ 上連続であるという。

閉包の状態

定義

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

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