技术问询：求证S³中满足特定条件的集合E为2-环面

其实要证明这个集合是2-环面，核心是找到它和标准2-环面（也就是$S^1 \times S^1$）之间的同胚映射——毕竟拓扑意义上环面就是两个圆周的乘积空间。下面我一步步给你拆解：

步骤1：构造参数化映射 #

我们可以用两个角度参数$\theta, \phi \in [0, 2\pi)$来表示E中的所有点，具体的参数化式如下：
$$
\begin{cases}
x_1 = \cos\phi \cos\theta \
x_2 = \cos\phi \sin\theta \
x_3 = \sin\phi \sin\theta \
x_4 = \sin\phi \cos\theta
\end{cases}
$$

先验证这个参数化满足E的两个条件：

• 范数条件：$\sum_{i=1}^4 x_i^2 = \cos^2\phi(\cos2\theta+\sin^2\theta) + \sin^2\phi(\sin2\theta+\cos^2\theta) = \cos^2\phi + \sin^2\phi = 1$，完美满足单位球的要求。
• 约束条件：计算$x_1x_3 = \cos\phi\cos\theta \cdot \sin\phi\sin\theta$，$x_2x_4 = \cos\phi\sin\theta \cdot \sin\phi\cos\theta$，显然两者相等，满足$x_1x_3 = x_2x_4$。

步骤2：证明映射是满射 #

任取E中的任意一点$(x_1,x_2,x_3,x_4)$，我们总能找到对应的$\theta$和$\phi$：

1. 若$x_1^2 + x_2^2 \neq 0$：令$r = \sqrt{x_1^2 + x_2^2}$，$\theta = \arctan2(x_2, x_1)$（这个函数能帮我们确定正确的角度象限），则$x_1 = r\cos\theta$，$x_2 = r\sin\theta$。
   由$x_1x_3 = x_2x_4$可得$r\cos\theta \cdot x_3 = r\sin\theta \cdot x_4$，即$x_4 = x_3 \cdot \cot\theta$（当$\sin\theta = 0$时，同理可推得对应关系）。
   代入范数条件得$r^2 + x_3^2 + x_3^2\cot2\theta = 1$，化简后得$x_3^2 = (1 - r^2)\sin2\theta$，令$s = \sqrt{1 - r^2}$，则$x_3 = s\sin\theta$，$x_4 = s\cos\theta$。最后令$\phi = \arccos r$（因为$r^2 + s^2 = 1$，所以$s = \sin\phi$），就得到了对应的参数。
2. 若$x_1^2 + x_2^2 = 0$：此时$x_1 = x_2 = 0$，范数条件变为$x_3^2 + x_4^2 = 1$，对应$\phi = \frac{\pi}{2}$，$\theta = \arctan2(x_3, x_4)$即可。

步骤3：证明映射是同胚 #

这个参数化映射是从$[0,2\pi) \times [0,2\pi)$到E的连续映射，并且：

• 当$\theta$或$\phi$增加$2\pi$时，映射结果不变，正好对应环面的“周期性”；
• 去掉边界的开区间$(0,2\pi) \times (0,2\pi)$到E的内部是双射且连续，逆映射也连续（通过反解参数$\theta$和$\phi$就能直观验证）。

这就说明E和$S^1 \times S^1$（标准2-环面）是拓扑等价的，所以E本身就是2-环面。

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