基于拓扑定义证明连续性：求助证明给定实平面映射的连续性

嘿，我来帮你搞定这个连续性的证明！这个映射其实是把实数轴“缠绕”到单位圆上的参数化函数，证明它在标准拓扑下连续并不复杂，我们分两种常用方法来推导：

方法一：用度量空间的$\epsilon-\delta$定义（直观易懂） #

因为$\mathbb{R}$和$\mathbb{R}^{2$的标准拓扑完全由它们的欧几里得度量诱导，所以我们可以用度量空间中连续的定义来证明：**对任意$x_0\in\mathbb{R}$，任意$\epsilon>0$，存在$\delta>0$，只要$|x-x_0|<\delta$，就有$d_2(f(x),f(x_0))<\epsilon$**（其中$d_2$是$\mathbb{R}}2$的欧几里得度量）。

1. 先计算$f(x)$和$f(x_0)$的距离：
   $$
   d_2(f(x),f(x_0)) = \sqrt{[\cos(2\pi x)-\cos(2\pi x_0)]^2 + [\sin(2\pi x)-\sin(2\pi x_0)]^2}
   $$
2. 利用三角恒等式化简：
   我们知道：
   • $\cos A - \cos B = -2\sin\left(\frac{A+B}{2}\right)\sin\left(\frac{A-B}{2}\right)$
   • $\sin A - \sin B = 2\cos\left(\frac{A+B}{2}\right)\sin\left(\frac{A-B}{2}\right)$
     把$A=2\pi x$，$B=2\pi x_0$代入后，平方和可以简化为：
     $$
     4\sin^2\left(\pi(x-x_0)\right) \cdot \left[\sin^2\left(\pi(x+x_0)\right) + \cos^2\left(\pi(x+x_0)\right)\right]
     $$
     由于$\sin^2\theta+\cos2\theta=1$，所以距离最终变为：
     $$
     d_2(f(x),f(x_0)) = 2\left|\sin\left(\pi(x-x_0)\right)\right|
     $$
3. 利用不等式$\left|\sin t\right|\leq|t|$（对所有实数$t$成立），可得：
   $$
   2\left|\sin\left(\pi(x-x_0)\right)\right| \leq 2\pi|x-x_0|
   $$
4. 构造$\delta$：
   要让$2\pi|x-x_0| < \epsilon$，只需要取$\delta = \frac{\epsilon}{2\pi}$。此时只要$|x-x_0|<\delta$，就有$d_2(f(x),f(x_0))<\epsilon$，满足连续的定义。

方法二：用拓扑学的开集原像定义 #

拓扑中连续映射的核心定义是：对目标空间中的任意开集$U$，原像$f^{-1}(U)$是原空间中的开集。

1. $\mathbb{R}^2$中的开集都是开球的并集，所以我们只需要证明任意开球的原像是$\mathbb{R}$中的开集：
   设$B(a,r)$是$\mathbb{R}^2$中的任意开球（中心$a=(a_1,a_2)$，半径$r>0$），则原像为：
   $$
   f^{-1}(B(a,r)) = {x\in\mathbb{R} \mid d_2(f(x),a) < r}
   $$
2. 注意到$f(x)$的像始终在单位圆上，所以这个原像其实是单位圆上与$B(a,r)$相交的弧段对应的实数集合。由于$f$是周期为1的周期函数，这些弧段的原像会是$\mathbb{R}$中一系列开区间的并集（每个周期内对应一个开区间，再平移所有整数得到）。
3. 开区间的并集在$\mathbb{R}$的标准拓扑下是开集，因此$f^{-1}(B(a,r))$是开集。由开集的任意性，可知$f$是连续映射。

这样是不是就把证明的逻辑理清楚啦？两种方法都能严谨地证明这个映射的连续性，你可以根据自己对拓扑的熟悉程度选择理解～

内容的提问来源于stack exchange，提问作者Harrison Gourd