1701045405
1701045406
1701045407
1701045408
定理5.4 若p：E→B是正则复叠映射，b∈B，则
1701045409
1701045410
1701045411
1701045412
1701045413
1701045414
证明 因为Hb是π1（B，b）的正规子群，所以π1（B，b）/Hb是商群．把α∈π1（B，b）所代表的π1（B，b）/Hb中的元素记作［α］．由于p是正则的，（E，p）与p-1（b）之间可建立一一对应关系ξ如下：取定e∈p-1（b），∀h∈（E，p），令ξ（h）＝h（e）∈p-1（b）．命题5.5的证明中，我们已建立从p-1（b）到π1（B，b）/Hb的一一对应η．作θ＝ηξ：（E，p）→π1（B，b）/Hb，它是一一对应．只用再验证θ是同态．
1701045415
1701045416
1701045417
按照定义，∀h∈（E，p），取E中从e到h（e）的道路类α，则θ（h）＝［pπ（α）］（图5-11（a））．
1701045418
1701045419
1701045420
1701045421
1701045422
图5-11
1701045423
1701045424
1701045425
1701045426
1701045427
1701045428
1701045429
设h，h′∈（E，p）．分别取α和α′是E中从e到h（e）和h′（e）的道路类，则就得是从h′（e）到h′h（e）的道路类．于是从e到h′h（e）（图5-11（b）），从而
1701045430
1701045431
1701045432
这就证明了θ保持运算，是同态． ▎
1701045433
1701045434
3.3 泛复叠空间
1701045435
1701045436
定义5.4 如果复叠空间（E，p）的E是单连通的，就称为泛复叠空间（也叫万有复叠空间），相应的复叠映射称为泛复叠映射．
1701045437
1701045438
1701045439
泛复叠空间是一种特殊的正则复叠空间，因为e∈E，He是平凡群．§1中的例2和例3都是泛复叠空间．本节中例2给出的也是泛复叠空间．
1701045440
1701045441
1701045442
1701045443
根据定理5.4，当（E，p）是B上的泛复叠空间时，这给出了计算基本群的一种途径．
1701045444
1701045445
1701045446
1701045447
1701045448
例如，p：E1→S1，x1ei2πx是泛复叠映射，不难看出，复叠变换是平移，移动距离是整数．记φ：E1→E1为φ（x）＝x＋1，则（E1，p）是φ生成的自由循环群．于是
1701045449
1701045450
1701045451
1701045452
1701045453
1701045454