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
1701045455
1701045456
1701045457
§1例3中的p：E2→T2也是泛复叠映射．∀h∈（E2，p），h（x，y）＝（x＋n，y＋m），n，m∈Z．记φ，∈（E2，p）为φ（x，y）＝（x＋1，y），（x，y）＝（x，y＋1），则（E2，p）是以φ和为基的自由交换群，因此
1701045458
1701045459
1701045460
1701045461
π：S3→L（p，q）（见例2）也是泛复叠映射，（S3，π）是f生成的p阶循环群，因此
1701045462
1701045463
下面的命题说明，B上的泛复叠空间是B上所有其他复叠空间的复叠空间．这正是它名称的来源．
1701045464
1701045465
1701045466
1701045467
命题5.9 设p0：E0→B是泛复叠映射，p：E→B是复叠映射，则有复叠映射使得
1701045468
1701045469
1701045470
1701045471
1701045472
证明 因为p0是泛复叠映射．在定理5.3中，让X＝E0，则对于复叠映射p，映射p0有提升即使右边的映射图表交换．只用再验证是复叠映射．
1701045473
1701045474
1701045475
1701045476
1701045477
1701045478
1701045479
