求证拓扑空间中函数$f:[0,1)\to S^1$的连续性

嘿，我来帮你搞懂这个连续性的证明！首先我猜你说的函数应该是标准的单位圆参数化：$f(t) = (\cos 2\pi t, \sin 2\pi t)$——这确实是从$[0,1)$到单位圆$S^1$最经典的双射但非同胚的例子。

其实证明$f$连续的方法有好几种，我给你拆解几个常用的思路：

方法一：利用连续函数的限制性质 #

我们先看定义在整个实数轴$\mathbb{R}$上的函数$\tilde{f}(t) = (\cos 2\pi t, \sin 2\pi t)$：

• $\cos$和$\sin$都是$\mathbb{R}\to\mathbb{R}$的连续函数，而$\mathbb{R}^{2$上的连续性等价于每个分量连续，所以$\tilde{f}$是$\mathbb{R}\to\mathbb{R}}2$的连续函数。
• 你的函数$f$其实是$\tilde{f}$在子空间$[0,1)$上的限制。根据拓扑学的基本结论：如果一个函数在大空间上连续，那么它在任意子空间上的限制也必然连续。这样直接就能得出$f$连续的结论啦。

方法二：从开集原像的定义出发验证 #

拓扑里函数连续的核心定义是：目标空间中的任意开集，其原像在定义域中也是开集。我们一步步来验证：

1. $S^{1$是$\mathbb{R}}2$的子空间，所以$S^{1$中的任意开集$U$，都能找到$\mathbb{R}}2$中的开集$V$，使得$U = V \cap S^1$。
2. 计算$f^{-1}(U)$：它等于${ t \in [0,1) \mid f(t) \in V }$。而因为$\tilde{f}$在$\mathbb{R}$上连续，$\tilde{f}^{-1}(V)$是$\mathbb{R}$中的开集。
3. 那么$f^{-1}(U) = \tilde{f}^{-1}(V) \cap [0,1)$，根据子空间拓扑的定义，这正好是$[0,1)$中的开集。
4. 既然$S^1$中任意开集的原像都是$[0,1)$的开集，那$f$自然是连续的。

方法三：用ε-δ定义直观验证 #

如果你更喜欢用分析里的ε-δ语言，也能直接验证：

• 任取$t_0 \in [0,1)$，任意$\varepsilon > 0$。因为$\tilde{f}$在$\mathbb{R}$上连续，所以存在$\delta_0 > 0$，当$|t - t_0| < \delta_0$时，$|\tilde{f}(t) - \tilde{f}(t_0)| < \varepsilon$。
• 如果$t_0 \neq 0$，取$\delta = \min(\delta_0, t_0, 1 - t_0)$，这样$t \in (t_0 - \delta, t_0 + \delta)$都落在$[0,1)$里，满足$|f(t) - f(t_0)| < \varepsilon$。
• 如果$t_0 = 0$，取$\delta = \min(\delta_0, 1)$，此时$t \in [0, \delta)$，计算距离：$|f(t) - f(0)| = \sqrt{(\cos 2\pi t - 1)^2 + (\sin 2\pi t)^2} = 2|\sin \pi t|$，当$\delta$足够小时，$2|\sin \pi t| < \varepsilon$显然成立。

这样不管从哪个角度看，都能证明$f$是连续的。是不是清晰多啦？

备注：内容来源于stack exchange，提问作者Nimu Basak