[Arm.10.18]
设 p:X~→X,q:Y~→Y 为对应的覆叠映射,开覆盖 X=α∈Λx⋃Uα,Y=α∈Λy⋃Vα,以及原像 p−1(Uα)=β⨆U~αβ,q−1(Vα)=β⨆V~αβ。设 r:X~×Y~→X×Y,r(x~,y~)=(p(x~),q(y~)) 是连续的,则 X×Y 的开覆盖可设为 α∈Λx⋃β∈Λy⋃Uα×Vβ,并且 r−1(Uα×Vβ)=μ⨆η⨆U~αμ×V~βη。
限制映射 r∣U~α,μ×V~βη 是一个双射:∀(x,y)∈Uα×Vβ,x,y 在 p,q 下分别有唯一的原像 x~∈U~αμ,y~∈V~βη,则 (x,y) 在 r 下有唯一的原像 (x~,y~)。同时,映射 s:Uα×Vβ→U~αμ×V~βη,s(x,y)=((p∣U~αμ)−1(x),(q∣V~βη)−1(y)) 是连续的逆映射 (由积拓扑的定义)。因此 r 是一个覆叠映射。
[Arm.10.19]
反证法证明。假设 f 是一个覆叠映射。对于每个开覆盖 S1=α⋃Uα,不失一般性,我们可以假设 Uα 是连通的,这意味着 Uα={eiθ∣θ∈(aα,bα),0<bα−aα≤2π}。如果 1∈Uα,那么 Uα 可以写成 {1}∪{eiθ∣θ∈(aα,0)}∪{eiθ∣θ∈(0,bα)},并且 f−1(Uα) 有一个原像(接近 3)其像是 {eiθ∣θ∈(aα,0)},另一个原像(接近 0)其像是 {eiθ∣θ∈(0,bα)},那么 f 到这两个原像的限制不是同胚。因此 f 的一个有效开覆盖中的每个开集都不能包含 1,然而,这一事实使得它无法覆盖 S1,产生矛盾。
[Hat.1.3.1]
限制映射是连续的。设 X 的对应开覆盖为 α⋃Uα,则 {Vα=Uα∩A} 构成了 A 的一个(关于子空间拓扑的)开覆盖。那么 p−1(Vα)=p−1(Uα)∩p−1(A)=β⨆(Uαβ)∩A=:β⨆(Vαβ),且 p(Vαβ)=Vα。令 q=(p∣Uαβ)−1∣Vα。由于 p∣Uαβ 是同胚,则 (p∣Uαβ)−1 连续,因此 q 连续。并且可以验证 q 是 p∣Vαβ 的逆映射。因此 p∣Vαβ 是同胚,故 p∣A 是覆叠映射。
[Hat.1.3.4]
对于第一个覆叠空间,考虑一个由球面通过线段连接而成的无限链(相邻的球面由一条线段连接)。球面 / 线段上的任意点,其原像出现在每个球面 / 线段上。对于第二个覆叠空间,考虑一个树结构球面按层叠放,相邻两层的球面错位,则上一层的球面由两条线段分别连接到下一层的两个球面(邻近与上一层的该球面的两个球面)。球面由两条线段连接。球面上的任意点,其原像出现在每个球面上。圆的上 / 下弧段上的任意点,其原像出现在连接线段上。
[Hat.1.3.5]
对于左侧边上的任意点,选取一个包含在 X 对应开覆盖的某个集合中的邻域,则该邻域的每个开子集(这里我们只考虑构成拓扑基的开正方形)都可以被同胚地提升。左侧边的紧致性表明我们可以选取有限个开正方形 R1,...,Rm 来覆盖左侧边,且每个开正方形都与覆叠映射 p 的每个对应原像同胚。更精确地说,我们可以假设 U1=([0,ε1)×[0,b1))∩X,U2=([0,ε2)×(a2,b2))∩X,...,Um=([0,εm)×(am,1])∩X,其中 0<a2<b1<a3<b1<...<am<bm−1<1。我们也可以考虑 Ui 的子集,从而可以假设 ε1=...=εn=ε。
为了将它们粘合起来,我们可以使用归纳法:如果 U1,...,Uk 已粘合,记 U=i=1⋃kUi,则 p−1(U)=β⨆Vβ,且每个限制 p∣Vβ:Vβ→U 是同胚;p−1(Uk+1)=γ⨆Wγ,且每个限制 p∣Wγ:Wγ→Uk+1 是同胚。那么交集 U∩Uk+1 也具有包含在 Vβ 和 Wγ 中的不相交的同胚原像。然而,该交集不是连通的,因此我们需要利用左侧边的性质。假设 Wγ 与 {Vβi}i∈Λ 相交,则 i∈Λ⨆(Wγ∩Vβi)=U∩Uk+1。对于每条竖直线 {m1}×(ak+1,bk)(或 {0}×(ak+1,bk)),它是连通的,并被一些不相交的开集覆盖,因此它被唯一一个开集覆盖。那么存在 Vβ0 覆盖整个 {0}×(ak+1,bk)。取任意固定点 (0,t),t∈(ak+1,bk),则存在一个小开球 B((0,t),δ)⊂Vβ0,因为后者是开集。那么由上述论证,[0,δ)×(ak+1,bk)⊂Vβ0。将 ε 替换为 δ,则新的 U 和 Ui 可以用新的 ε 粘合:Wγ 与唯一的 Vβ 相交,反之亦然,于是我们在 γ 和 β 之间建立了一一对应关系,从而可以将 Wγ 与对应的 Vβ 合并,得到 U∪Uk+1 的同胚原像。最终通过归纳法,在有限步内,我们成功找到了左侧边的一个邻域 U,它可以同胚地提升到 X~。
对于在 X 上沿 {0,M1}×[0,1]∪[0,M1]×{0,1} 顺时针行走的回路 γ,我们可以将其同胚地提升为 X~ 上的回路 γ~。如果 γ~F≃{x} rel {0,1},那么通过将覆叠映射 p 复合到两边,得到 γp,F≃{(0,0)} rel {0,1}。然而,在 X 上 ⟨γ⟩=⟨e⟩,这就产生了矛盾。因此 ⟨γ~⟩=⟨e⟩ 在 X~ 上成立,这意味着 X~ 不是单连通的。
[Hat.1.3.7]
否则,设 f~:Y→R 为提升映射,p:R→S1,p(θ)=e2πiθ 为覆叠映射,则有 p∘f~=f。考虑 Y 的 [−1,1]×{0} 部分,根据定义,其上的每个点应映射到 S1 上的 1,因此不失一般性,我们设 f~ 将这些点映射到 R1 中的 0。通过沿 Y 顺时针行走(可以通过选取 Y 的有限开覆盖来精确描述),我们可以唯一地定义 f~ 的像,直到接近 [−1,1]×{0} 部分。然后我们再次连续定义该部分在 f~ 下的像,结果为 1=0,这就产生了矛盾。
[Hat.1.3.9]
设 f:X→S1, p:R→S1。首先我们证明 f∗(π1(X))⊂p∗(π1(R))={e},并用反证法证明。否则,∃⟨α⟩∈π1(X),f∗(⟨α⟩)=a=0(考虑同构 π1(S1)≃Z),那么根据群同态的性质,f∗(k⟨α⟩)=ka=0,于是 ∀k∈Z,k⟨α⟩∈π1(X);∀k1,k2∈Z,k1⟨α⟩=k2⟨α⟩(因为像不同),那么 π1(X) 包含一个无限子群,这就产生了矛盾。然后我们可以使用提升判据得到 f:X→R(满足 p∘f=f),且 f 显然是零伦的,那么通过复合 p,f 是零伦的。