1701044845
1701044846
1701044847
1701044848
1701044849
1701044850
1701044851
1701044852
其中i：L→E2是包含映射（注意到当时，ir（x）＝x，这说明f的合理性）．是有界的，不妨设它在D2的内部．于是由f在D2上的限制得到D2的自映射f0：D2→D2，它在S1上不动，并且f0不满（因为U⊂D2，而且∀x，这与§5习题9的结果矛盾．
1701044853
1701044854
对于无界分支U，证法相同，只须把f的定义修改为：
1701044855
1701044856
1701044857
1701044858
1701044859
第三步 证明只有两个分支．
1701044860
1701044861
1701044862
1701044863
否则，存在E2\J的分支V，使得作M中从C到D的道路b为：从C直下到P1，沿J1从P1到P3，直下到P4，再沿J2到P2，直下D．则b不经过V，即V⊂Mb（I）．由引理，A，B在Mb（I）的不同分支中，而A，B都在J上，于是A，B和应在Mb（I）的同一分支中．这个矛盾否定了V的存在． ▎
1701044864
1701044865
① 由t→ht决定了映射h∶I→C（X，Y）．在C（X，Y）上的一种特殊拓扑（所谓紧开拓扑）下，h是连续的．于是，一个同伦决定了C（X，Y）中的一条道路；反过来C（X，Y）中一条道路决定了一个同伦．
1701044866
1701044867
② 这里出现的代数术语的定义都可参见附录A．
1701044868
1701044869
③ 参看附录A最后的例1，例2．
1701044870
1701044871
1701044872
1701044873
1701044874
基础拓扑学讲义 [:1701040223]
1701044875
基础拓扑学讲义 第五章 复叠空间
1701044876
1701044877
复叠空间（有的文献中称作复迭空间或覆盖空间）的理论，是代数拓扑学中的一个很小的分支．但是它的应用相当广泛，在代数拓扑学和低维流形中它都是很常用的工具，在分析学（如复变函数）中也很有用．它与基本群关系很密切，可用来计算某些空间的基本群．用复叠空间还能得到有关群的一些有趣的结果．
1701044878
1701044879
基础拓扑学讲义 [:1701040224]
1701044880
§1 复叠空间及其基本性质
1701044881
1701044882
1.1 复叠映射与复叠空间
1701044883
1701044884
1701044885
复叠映射的一个典型例子是映射p：E1→S1，xei2πx．这个映射在π1（S1）的计算中起了关键性作用．它的重要特性是：∀z∈S1，p-1（S1｛z｝）是E1上一族互不相交的开区间的并集，并且p把其中每个开区间同胚地映成S1｛z｝．粗略地说，复叠映射就是具有类似特性的映射．
1701044886
1701044887
1701044888
1701044889
1701044890
图5-1
1701044891
1701044892
定义5.1 设E和B都是道路连通、局部道路连通的拓扑空间，p：E→B是连续映射．如果∀b∈B有开邻域U，使得p-1（U）是E的一族两两不相交的开集｛Vα｝的并集，并且p把每个Vα同胚地映成U，则称p：E→B是复叠映射，E和p一起称为B上的复叠空间，记作（E，p），把B称为它的底空间（图5-1）．
1701044893
1701044894
具有上面所说性质的开集U称为基本邻域．不难看出，包含在一个基本邻域中的任何开集也是基本邻域．由于B局部道路连通，∀b∈B都有道路连通的基本邻域，此时每个Vα也就是p-1（U）的道路分支．我们以后总是取道路连通的基本邻域，并且称每个Vα为p-1（U）的分支．