求证映射$p : S^1 → S^1, p(z)=z²$为覆叠映射并推广至$p(z)=zⁿ$,求解法释疑
没问题,我来一步步给你拆解这个覆叠映射的证明,先从$p(z)=z2$的情况说起,再推广到$p(z)=zn$——咱们紧扣覆叠映射的定义来,这样你就能明白每一步为啥这么做了。
首先得明确覆叠映射的核心定义:一个连续满射$p: E \to B$是覆叠映射,当且仅当对$B$中每一点$b$,都存在$b$的一个开邻域$U$,使得$p^{-1}(U)$能拆成$E$里两两不相交的开集${V_i}$的并,而且每个$V_i$在$p$的限制下都是到$U$的同胚。
我们的空间$E$和$B$都是单位圆周$S1$,也就是复平面上模为1的点:$S1 = { z \in \mathbb{C} \mid |z|=1 }$,可以用极坐标表示为$z = e^{i\theta}$,其中$\theta \in [0, 2\pi)$。
步骤1:取$S^1$上任意一点$b$
设$b = e{i\theta_0}$($\theta_0$是某个固定角度)。我们要给$b$找一个「好的」开邻域$U$——这个邻域得满足:让$p{-1}(U)$能拆成不相交的开集,每个都同胚到$U$。
这里选$U = S^1 \setminus { -b }$,也就是$S^1$去掉$b$的对径点($-b = e^{i(\theta_0 + \pi)}$)。这个$U$是$S^1$上的一个开弧,同胚于实数轴上的开区间$(-1,1)$,确实是$b$的开邻域。
步骤2:分析$p^{-1}(U)$的结构
$p(z)=z^2$,所以$p(z) \in U$等价于$z^2 \neq -b$。解这个方程:$z^2 = -b = e^{i(\theta_0 + \pi)}$,对应的$z$是$z_1 = e^{i(\theta_0/2 + \pi/2)}$和$z_2 = e^{i(\theta_0/2 + 3\pi/2)}$——这两个点也是$S^1$上的对径点。
因此$p^{-1}(U) = S^1 \setminus { z_1, z_2 }$,这个集合自然分成两个不相交的开弧:
- $V_1 = { e^{i\theta} \mid \theta \in (\theta_0/2 - \pi/2, \theta_0/2 + \pi/2) }$
- $V_2 = { e^{i\theta} \mid \theta \in (\theta_0/2 + \pi/2, \theta_0/2 + 3\pi/2) }$
这两个$V_1$和$V_2$是两两不相交的开集,它们的并正好是$p^{-1}(U)$。
步骤3:验证每个$V_i$和$U$同胚
看$p$在$V_1$上的限制:$p|_{V_1}(e^{i\theta}) = e^{i2\theta}$。$V_1$里的$\theta$范围是$(\theta_0/2 - \pi/2, \theta_0/2 + \pi/2)$,映射后$2\theta$的范围是$(\theta_0 - \pi, \theta_0 + \pi)$——正好就是$U$对应的角度范围(因为$U$去掉了$\theta_0 + \pi$这个点,角度区间就是$(\theta_0 - \pi, \theta_0 + \pi)$)。
这个映射是:
- 双射:每个$e^{i\phi} \in U$($\phi \in (\theta_0 - \pi, \theta_0 + \pi)$),对应唯一的$\theta = \phi/2 \in (\theta_0/2 - \pi/2, \theta_0/2 + \pi/2)$,也就是唯一的$z \in V_1$;
- 连续的:复数乘法是连续运算;
- 逆映射连续:把$U$里的$e{i\phi}$映射到$e{i\phi/2}$,显然连续。
所以$p|{V_1}$是同胚。同理,$p|{V_2}$也是同胚:$V_2$里的$\theta$映射后$2\theta$的范围是$(\theta_0 + \pi, \theta_0 + 3\pi)$,模$2\pi$后就是$U$的角度范围,同样满足双射、连续、逆连续的条件。
步骤4:确认满射性
最后别忘了,$p(z)=z^2$是满射:对任意$b \in S^1$,取$z = e^{i\theta_0/2}$,就有$p(z)=b$,满足满射要求。
这样就凑齐了覆叠映射的所有条件,所以$p: S^1 \to S^1, z \mapsto z^2$是覆叠映射。
思路和$n=2$的情况完全一致,只是把「2」换成「$n$」,细节上做些调整:
步骤1:取$S^1$上任意一点$b$
还是设$b = e{i\theta_0}$,这次我们选$U$是$S1$上长度小于$2\pi/n$的开弧——比如$U = { e^{i\theta} \mid \theta \in (\theta_0 - \pi/n, \theta_0 + \pi/n) }$。这个$U$是$b$的开邻域,而且里面任意两点的角度差都小于$2\pi/n$,这样$z^n$在$U$里时,$z$的角度不会重叠。
步骤2:分析$p^{-1}(U)$的结构
$p(z)=z^n \in U$等价于$n\theta \in (\theta_0 - \pi/n, \theta_0 + \pi/n) + 2\pi k$,其中$k=0,1,...,n-1$。解这个不等式得到$n$个不相交的角度区间:
$$\theta \in \left( \frac{\theta_0}{n} - \frac{\pi}{n^2} + \frac{2\pi k}{n}, \frac{\theta_0}{n} + \frac{\pi}{n^2} + \frac{2\pi k}{n} \right), \quad k=0,1,...,n-1$$
对应的开集就是$V_0, V_1, ..., V_{n-1}$,每个$V_k$都是$S1$上的开弧,两两不相交,它们的并就是$p{-1}(U)$。
步骤3:验证每个$V_k$和$U$同胚
对每个$V_k$,$p|_{V_k}(e^{i\theta}) = e^{in\theta}$,这个映射:
- 是双射:每个$e^{i\phi} \in U$对应唯一的$\theta = \frac{\phi}{n} + \frac{2\pi k}{n} \in V_k$;
- 是连续的:复数幂运算连续;
- 逆映射连续:把$\phi$映射到$\frac{\phi}{n} + \frac{2\pi k}{n}$,显然连续。
所以每个$p|_{V_k}$都是同胚。
步骤4:确认满射性
同样,对任意$b \in S^1$,取$z = e{i\theta_0/n}$,就有$p(z)=zn = e^{i\theta_0}=b$,满射成立。
这样,$p: S^1 \to S^1, z \mapsto z^n$也是覆叠映射。
内容的提问来源于stack exchange,提问作者user425181

