[Arm.10.18]

p:X~X,q:Y~Yp:\tilde{X}\to X, q:\tilde{Y}\to Y 为对应的覆叠映射,开覆盖 X=αΛxUα,Y=αΛyVαX=\bigcup\limits_{\alpha\in\Lambda_{x}}U_{\alpha}, Y=\bigcup\limits_{\alpha\in \Lambda_{y}}V_{\alpha},以及原像 p1(Uα)=βU~αβ,q1(Vα)=βV~αβp^{-1}(U_{\alpha})=\bigsqcup\limits_{\beta}\tilde{U}_{\alpha\beta}, q^{-1}(V_{\alpha})=\bigsqcup\limits_{\beta}\tilde{V}_{\alpha\beta}。设 r:X~×Y~X×Y,r(x~,y~)=(p(x~),q(y~))r:\tilde{X}\times\tilde{Y}\to X\times Y, r(\tilde{x},\tilde{y})=(p(\tilde{x}),q(\tilde{y})) 是连续的,则 X×YX\times Y 的开覆盖可设为 αΛxβΛyUα×Vβ\bigcup\limits_{\alpha\in\Lambda_{x}}\bigcup\limits_{\beta\in\Lambda_{y}}U_{\alpha}\times V_{\beta},并且 r1(Uα×Vβ)=μηU~αμ×V~βηr^{-1}(U_{\alpha}\times V_{\beta})=\bigsqcup\limits_{\mu}\bigsqcup\limits_{\eta} \tilde{U}_{\alpha\mu}\times\tilde{V}_{\beta\eta}

限制映射 rU~α,μ×V~βηr|_{\tilde{U}_{\alpha,\mu}\times\tilde{V}_{\beta\eta}} 是一个双射:(x,y)Uα×Vβ\forall(x,y)\in U_{\alpha}\times V_{\beta}x,yx, yp,qp, q 下分别有唯一的原像 x~U~αμ,y~V~βη\tilde{x}\in\tilde{U}_{\alpha\mu}, \tilde{y}\in\tilde{V}_{\beta\eta},则 (x,y)(x,y)rr 下有唯一的原像 (x~,y~)(\tilde{x},\tilde{y})。同时,映射 s:Uα×VβU~αμ×V~βη,s(x,y)=((pU~αμ)1(x),(qV~βη)1(y))s:U_{\alpha}\times V_{\beta}\rightarrow\tilde{U}_{\alpha\mu}\times\tilde{V}_{\beta\eta}, s(x,y)=((p|_{\tilde{U}_{\alpha\mu}})^{-1}(x),(q|_{\tilde{V}_{\beta\eta}})^{-1}(y)) 是连续的逆映射 (由积拓扑的定义)。因此 rr 是一个覆叠映射。


[Arm.10.19]

反证法证明。假设 ff 是一个覆叠映射。对于每个开覆盖 S1=αUαS^{1}=\bigcup\limits_{\alpha}U_{\alpha},不失一般性,我们可以假设 UαU_{\alpha} 是连通的,这意味着 Uα={eiθθ(aα,bα),0<bαaα2π}U_{\alpha}=\{e^{i\theta}|\theta\in(a_{\alpha},b_{\alpha}),0<b_{\alpha}-a_{ \alpha}\leq 2\pi\}。如果 1Uα1\in U_{\alpha},那么 UαU_{\alpha} 可以写成 {1}{eiθθ(aα,0)}{eiθθ(0,bα)}\{1\}\cup\{e^{i\theta}|\theta\in(a_{\alpha},0)\}\cup\{e^{i\theta}|\theta\in(0,b_ {\alpha})\},并且 f1(Uα)f^{-1}(U_{\alpha}) 有一个原像(接近 33)其像是 {eiθθ(aα,0)}\{e^{i\theta}|\theta\in(a_{\alpha},0)\},另一个原像(接近 00)其像是 {eiθθ(0,bα)}\{e^{i\theta}|\theta\in(0,b_{\alpha})\},那么 ff 到这两个原像的限制不是同胚。因此 ff 的一个有效开覆盖中的每个开集都不能包含 11,然而,这一事实使得它无法覆盖 S1S^{1},产生矛盾。


[Hat.1.3.1]

限制映射是连续的。设 XX 的对应开覆盖为 αUα\bigcup\limits_{\alpha}U_{\alpha},则 {Vα=UαA}\{V_{\alpha}=U_{\alpha}\cap A\} 构成了 AA 的一个(关于子空间拓扑的)开覆盖。那么 p1(Vα)=p1(Uα)p1(A)=β(U~αβ)A~=:β(V~αβ)p^{-1}(V_{\alpha})=p^{-1}(U_{\alpha})\cap p^{-1}(A)=\bigsqcup\limits_{\beta}( \widetilde{U}_{\alpha\beta})\cap\widetilde{A}=:\bigsqcup\limits_{\beta}(\widetilde {V}_{\alpha\beta}),且 p(V~αβ)=Vαp(\widetilde{V}_{\alpha\beta})=V_{\alpha}。令 q=(pU~αβ)1Vαq=(p|_{\widetilde{U}_{\alpha\beta}})^{-1}|_{V_{\alpha}}。由于 pU~αβp|_{\widetilde{U}_{\alpha\beta}} 是同胚,则 (pU~αβ)1(p|_{\widetilde{U}_{\alpha\beta}})^{-1} 连续,因此 qq 连续。并且可以验证 qqpV~αβp|_{\widetilde{V}_{\alpha\beta}} 的逆映射。因此 pV~αβp|_{\widetilde{V}_{\alpha\beta}} 是同胚,故 pA~p|_{\widetilde{A}} 是覆叠映射。


[Hat.1.3.4]

对于第一个覆叠空间,考虑一个由球面通过线段连接而成的无限链(相邻的球面由一条线段连接)。球面 / 线段上的任意点,其原像出现在每个球面 / 线段上。对于第二个覆叠空间,考虑一个树结构球面按层叠放,相邻两层的球面错位,则上一层的球面由两条线段分别连接到下一层的两个球面(邻近与上一层的该球面的两个球面)。球面由两条线段连接。球面上的任意点,其原像出现在每个球面上。圆的上 / 下弧段上的任意点,其原像出现在连接线段上。


[Hat.1.3.5]

对于左侧边上的任意点,选取一个包含在 XX 对应开覆盖的某个集合中的邻域,则该邻域的每个开子集(这里我们只考虑构成拓扑基的开正方形)都可以被同胚地提升。左侧边的紧致性表明我们可以选取有限个开正方形 R1,...,RmR_{1},...,R_{m} 来覆盖左侧边,且每个开正方形都与覆叠映射 pp 的每个对应原像同胚。更精确地说,我们可以假设 U1=([0,ε1)×[0,b1))X,U2=([0,ε2)×(a2,b2))X,...,Um=([0,εm)×(am,1])XU_{1}=([0,\varepsilon_{1})\times[0,b_{1}))\cap X, U_{2}=([0,\varepsilon_{2}) \times(a_{2},b_{2}))\cap X, ..., U_{m}=([0,\varepsilon_{m})\times(a_{m},1])\cap X,其中 0<a2<b1<a3<b1<...<am<bm1<10<a_{2}<b_{1}<a_{3}<b_{1}<...<a_{m}<b_{m-1}<1。我们也可以考虑 UiU_{i} 的子集,从而可以假设 ε1=...=εn=ε\varepsilon_{1}=...=\varepsilon_{n}=\varepsilon

为了将它们粘合起来,我们可以使用归纳法:如果 U1,...,UkU_{1},...,U_{k} 已粘合,记 U=i=1kUiU=\bigcup\limits_{i=1}^{k}U_{i},则 p1(U)=βVβp^{-1}(U)=\bigsqcup\limits_{\beta}V_{\beta},且每个限制 pVβ:VβUp|_{V_{\beta}}:V_{\beta}\to U 是同胚;p1(Uk+1)=γWγp^{-1}(U_{k+1})=\bigsqcup\limits_{\gamma}W_{\gamma},且每个限制 pWγ:WγUk+1p|_{W_{\gamma}}:W_{\gamma}\to U_{k+1} 是同胚。那么交集 UUk+1U\cap U_{k+1} 也具有包含在 VβV_{\beta}WγW_{\gamma} 中的不相交的同胚原像。然而,该交集不是连通的,因此我们需要利用左侧边的性质。假设 WγW_{\gamma}{Vβi}iΛ\{V_{\beta_{i}}\}_{i\in\Lambda} 相交,则 iΛ(WγVβi)=UUk+1\bigsqcup\limits_{i\in\Lambda}(W_{\gamma}\cap V_{\beta_{i}})=U\cap U_{k+1}。对于每条竖直线 {1m}×(ak+1,bk)\{\frac{1}{m}\}\times(a_{k+1},b_{k})(或 {0}×(ak+1,bk)\{0\}\times(a_{k+1},b_{k})),它是连通的,并被一些不相交的开集覆盖,因此它被唯一一个开集覆盖。那么存在 Vβ0V_{\beta_{0}} 覆盖整个 {0}×(ak+1,bk)\{0\}\times(a_{k+1},b_{k})。取任意固定点 (0,t),t(ak+1,bk)(0,t),t\in(a_{k+1},b_{k}),则存在一个小开球 B((0,t),δ)Vβ0B((0,t),\delta)\subset V_{\beta_{0}},因为后者是开集。那么由上述论证,[0,δ)×(ak+1,bk)Vβ0[0,\delta)\times(a_{k+1},b_{k})\subset V_{\beta_{0}}。将 ε\varepsilon 替换为 δ\delta,则新的 UUUiU_{i} 可以用新的 ε\varepsilon 粘合:WγW_{\gamma} 与唯一的 VβV_{\beta} 相交,反之亦然,于是我们在 γ\gammaβ\beta 之间建立了一一对应关系,从而可以将 WγW_{\gamma} 与对应的 VβV_{\beta} 合并,得到 UUk+1U\cup U_{k+1} 的同胚原像。最终通过归纳法,在有限步内,我们成功找到了左侧边的一个邻域 UU,它可以同胚地提升到 X~\tilde{X}

对于在 XX 上沿 {0,1M}×[0,1][0,1M]×{0,1}\{0,\frac{1}{M}\}\times[0,1]\cup[0,\frac{1}{M}]\times\{0,1\} 顺时针行走的回路 γ\gamma,我们可以将其同胚地提升为 X~\tilde{X} 上的回路 γ~\tilde{\gamma}。如果 γ~F{x}\tilde{\gamma}\underset{F}{\simeq}\{\vec{x}\} rel {0,1}\{0,1\},那么通过将覆叠映射 pp 复合到两边,得到 γp,F{(0,0)}\gamma\underset{p,F}{\simeq}\{(0,0)\} rel {0,1}\{0,1\}。然而,在 XXγe\langle\gamma\rangle\neq\langle e\rangle,这就产生了矛盾。因此 γ~e\langle\tilde{\gamma}\rangle\neq\langle e\rangleX~\tilde{X} 上成立,这意味着 X~\tilde{X} 不是单连通的。


[Hat.1.3.7]

否则,设 f~:YR\tilde{f}:Y\to\mathbb{R} 为提升映射,p:RS1,p(θ)=e2πiθp:\mathbb{R}\to S^{1},p(\theta)=e^{2\pi i\theta} 为覆叠映射,则有 pf~=fp\circ\tilde{f}=f。考虑 YY[1,1]×{0}[-1,1]\times\{0\} 部分,根据定义,其上的每个点应映射到 S1S^{1} 上的 11,因此不失一般性,我们设 f~\tilde{f} 将这些点映射到 R1\mathbb{R}^{1} 中的 00。通过沿 YY 顺时针行走(可以通过选取 YY 的有限开覆盖来精确描述),我们可以唯一地定义 f~\tilde{f} 的像,直到接近 [1,1]×{0}[-1,1]\times\{0\} 部分。然后我们再次连续定义该部分在 f~\tilde{f} 下的像,结果为 101\neq 0,这就产生了矛盾。


[Hat.1.3.9]

f:XS1f:X\to S^{1}, p:RS1p:\mathbb{R}\to S^{1}。首先我们证明 f(π1(X))p(π1(R))={e}f_{*}(\pi_{1}(X))\subset p_{*}(\pi_{1}(\mathbb{R}))=\{e\},并用反证法证明。否则,<α>π1(X),f(<α>)=a0\exists\left<\alpha\right>\in\pi_{1}(X),f_{*}(\left<\alpha\right>)=a\neq 0(考虑同构 π1(S1)Z\pi_{1}(S^{1})\simeq\mathbb{Z}),那么根据群同态的性质,f(k<α>)=ka0f_{*}(k\left<\alpha\right>)=ka\neq 0,于是 kZ,k<α>π1(X);k1,k2Z,k1<α>k2<α>\forall k\in\mathbb{Z},k\left<\alpha\right>\in\pi_{1}(X);\forall k_{1},k_{2}\in \mathbb{Z},k_{1}\left<\alpha\right>\neq k_{2}\left<\alpha\right>(因为像不同),那么 π1(X)\pi_{1}(X) 包含一个无限子群,这就产生了矛盾。然后我们可以使用提升判据得到 f~:XR\widetilde{f}:X\to\mathbb{R}(满足 pf~=fp\circ\widetilde{f}=f),且 f~\widetilde{f} 显然是零伦的,那么通过复合 ppff 是零伦的。