Skip to content

Continuity

写像 $f : X \to Y$ が 連続 であるとは、収束を保つこと:$x \in \lim_\xi \mathcal{F} \implies f(x) \in \lim_\tau f[\mathcal{F}]$。位相の $\varepsilon$-$\delta$ や開集合の逆像による定義は、この「収束を保つ」という一行の特殊ケースとして回収される。恒等写像の連続性がそのまま収束構造の順序(finer/coarser)と一致する点が、この定義の統一性を支えている。

30_Concepts/topology-terminology-map(PR #168、未マージ)「コンパクト性・被覆・連続」節に該当行あり:

continuous map(cards/topology/continuous-map) | continuous map | Continuous / ContinuousAt = Tendsto f (𝓝 x) (𝓝 (f x))