1701045330
1701045331
1701045332
按上节的术语，复叠变换也就是（E，p）的自同构．条件ph＝p就是说h是p的提升．
1701045333
1701045334
1701045335
显然，id∶E→E是复叠变换；复叠变换的逆也是复叠变换，复叠变换的乘积（复合）也是复叠变换．于是，全体复叠变换在乘积运算下构成群，称为（E，p）的复叠变换群，记作（E，p）．
1701045336
1701045337
1701045338
（E，p）中有多少元素？为了考察此问题，取定e∈E，记b＝p（e）．则每个复叠变换h把e变为p-1（b）中的点．根据提升唯一性，当h≠h′时，h（e）≠h′（e）．
1701045339
1701045340
1701045341
1701045342
命题5.8 设e′∈p-1（b），则存在h∈（E，p）使得h（e）＝e′的充要条件是
1701045343
1701045344
证明 必要性 设有h使h（e）＝e′，则
1701045345
1701045346
1701045347
1701045348
1701045349
1701045350
1701045351
1701045352
1701045353
1701045354
1701045355
1701045356
1701045357
1701045358
充分性 若根据定理5.3，存在p∶E→B的提升h∶E→E和h′∶E→E，使得h（e）＝e′，h′（e′）＝e．于是h′h也是p∶E→B的提升，并且h′h（e）＝e．由提升唯一性，h′h＝id．同理hh′＝id．于是h是同胚，h∈（E，p）． ▎
1701045359
1701045360
然而，在一般的复叠空间中，命题5.8的条件并不是总能成立的．
1701045361
1701045362
1701045363
例1 考察§1例4中的复叠空间．记字形的切点为b0，则p-1（b0）是复叠空间中的三个切点e1，e2，e3（图5-10）．不难证明复叠空间的每个自同胚必须保持e2不动，从而它只有恒同这一个复叠变换．
1701045364
1701045365
1701045366
1701045367
1701045368
图5-10
1701045369
1701045370
3.2 正则复叠空间
1701045371
1701045372
定义5.3 复叠映射p∶E→B如果对某个e∈E，He是π1（B，p（e））的正规子群，则称p是正则复叠映射，称（E，p）是B上的正则复叠空间．
1701045373
1701045374
1701045375
1701045376
1701045377
1701045378
1701045379
