1701045220
1701045221
1701045222
1701045223
1701045224
1701045225
1701045226
1701045227
所以的以e0为起点的提升是一条闭路．于是是的提升，并且
1701045228
1701045229
1701045230
1701045231
1701045232
1701045233
1701045234
1701045235
根据命题5.3，与有相同的终点，即
1701045236
1701045237
1701045238
1701045239
1701045240
1701045241
1701045242
1701045243
1701045244
1701045245
1701045246
1701045247
1701045248
1701045249
其次证明的连续性．∀x∈X，设V是的邻域，不妨设p（V）是基本邻域，并且p｜V∶V→U是同胚．因为f-1（U）是x的开邻域，且X是局部道路连通的，所以可找到x的道路连通的邻域W，使得f（W）⊂U．∀x′∈W，取v是W中从x到x′的道路，记它是fv的以为起点的提升．记w是从x0到x的道路，是fw的以e0为起点的提升，则wv从x0到x′，是fwv的提升．由的定义，这就证明了在x连续． ▎
1701045250
1701045251
1701045252
1701045253
1701045254
例1 设p∶Sn→Pn是上节例2规定的复叠映射（n≥2），f∶Pn→Pn是连续映射，则存在连续映射使得即右边的映射图表交换．理由如下：
1701045255
1701045256
1701045257
1701045258
1701045259
1701045260
1701045261
1701045262
1701045263
1701045264
1701045265
考察映射fp∶Sn→Pn，因为Sn是单连通的，所以fp满足定理5.3的充要条件，从而存在它的提升即有连续映射Sn→Sn，使得由于p∶Sn→Pn是两叶的，这样的有两个．
1701045266
1701045267
例2 设n≥2，则Sn到S1只有一个映射类．
1701045268
1701045269
