CCG 01-07:覆盖空间——把绕圈问题展开成直线问题
本课只解决一个问题
如何把圆上反复绕圈的运动,变成实数轴上的普通直线运动?
覆盖空间让复杂空间在局部保持原样,同时把全局绕圈信息展开。
1. 最重要的例子
定义
每增加,在圆上绕一圈:
实数轴像一条无限长的螺旋楼层投影到同一个圆上。
2. 均匀覆盖邻域
映射 是覆盖映射,如果每个 都有邻域,使原像分解成互不相交的开集:
并且每个限制映射
都是同胚。
也就是说,从底空间的小邻域看,每一“层”都像它的一份完整复制。
3. 纤维
点 上方的纤维是
对圆覆盖,点 的纤维为所有整数:
不同整数记录绕圆多少圈后回到同一点。
4. 路径提升
给定底空间路径,并选定起点上方的,存在唯一提升路径 满足
在圆的例子中,底空间闭路提升到实数轴后未必闭合。若绕圆 圈,从 出发的提升终点是。
因此绕数变成了提升路径的端点差。
5. 通用覆盖
若覆盖空间本身单连通,则称它为通用覆盖。
- 圆的通用覆盖是;
- 平坦环面的通用覆盖是;
- 亏格大于一的闭曲面的通用覆盖可取双曲圆盘。
一致化定理把这些情况统一为球面、欧氏平面和双曲圆盘三类标准几何。
6. Deck 变换
若同胚满足
则 是覆盖变换。圆覆盖中的
都是覆盖变换。它们移动到另一层,却投影到同一个圆点。
环面的通用覆盖中,整数平移
扮演同样角色。
7. 为什么计算几何需要覆盖空间
在原曲面上,多值的角度、对数或积分在覆盖空间上可能变成单值:
- 圆上的角度模,提升到实数轴后可连续累加;
- 环面上的周期坐标提升到平面后成为普通坐标;
- 高亏格曲面可在双曲圆盘中铺开成重复基本域。
代价是必须记录覆盖变换或周期,否则无法从展开空间回到原曲面。
8. 常见误区
- 覆盖映射通常不是一一对应,而是局部一一对应。
- 提升路径是否闭合包含了闭路同伦信息。
- 覆盖空间不是把曲面任意剪开的一张图,它带有严格投影结构。
- 通用覆盖“单连通”不表示它一定有界或紧致。
9. 自测与答案
题 1。 圆上逆时针绕三圈的闭路,从 提升到 后终点是什么?
答案。。
题 2。 为什么 不是同胚?
答案。 它不是一一对应;相差整数的实数映到同一点。
题 3。 平坦环面为什么可看作?
答案。 把相差整数平移的平面点视为同一点,等价于粘合单位正方形的两对对边。
前后课程
许可协议:CC BY
作者:Davids
本文链接:https://hustjjd.github.io/ccg/01-07-covering-space/
更新于:2026年10月12日