最后更新: 2026-05-06 19:56 查看: 27 次纠错评论(0) 课件开VIP

复叠空间存在定理

## 4 复叠空间存在定理

在复叠空间的应用中，还必须解决复叠空间的存在与否的问题，即要知道满足什么条件的空间有复叠空间．本节就要讨论这个问题．我们将给出泛复叠空间存在的一个充分必要条件，并指出它也是别的类型的复叠空间存在的充分条件，对于实际应用中遇到的大多数空间，这个条件总是满足的，因此它不会成为应用复叠空间的障碍。

如果空间 $B$ 上有泛复叠空间，则 $B$ 是局部半单连通的（§3习题 1）．本节的主要定理说明局部半单连通还是存在泛复叠空间的充分条件．

**定理 5．5（复叠空间存在定理**）如果拓扑空间 $B$ 道路连通和局部道路连通，并且还局部半单连通，则 $B$ 有泛复叠空间。

证明 下面是一个构造性的证明，分几步进行．
（一）构造空间 $E$ 和映射 $p: E \rightarrow B$
$\S 3$ 的习题 6 说明，如果 $p: E \rightarrow B$ 是泛复叠映射，则对 $\forall b \in B, B$ 中以 $b$ 为起点的道路类的集合与 $E$ 可建立一一对应关系。这个事实启示我们迈出构造泛复叠空间的第一步：取点 $b_0 \in B$ ，令 $E$是 $B$ 中以 $b_0$ 为起点的道路类的集合。同时规定映射 $p: E \rightarrow B$ 为： $\forall \alpha \in E, p(\alpha)=\alpha(1)$ ，即令 $p(\alpha)$ 是道路类 $\alpha$ 的终点。从 $B$ 是道路连通的条件立即推出 $p$ 是满映射．

现在通过规定 $E$ 的一个拓扑基来给出 $E$ 的拓扑。设 $\alpha \in E, U$是 $B$ 的道路连通开集，使得 $\alpha(1) \in U$ 。规定

$$
(\alpha, U)=\{\alpha\langle w\rangle \mid w \text { 是 } U \text { 中起点为 } \alpha(1) \text { 的道路 }\} \text {, }
$$

并记

$$
\mathscr{B}=\{(\alpha, U) \mid \alpha \in E, U \text { 是 } \alpha(1) \text { 的道路连通开邻域 }\} .
$$

容易验证 $\mathscr{B}$ 是集合 $E$ 的一个拓扑基．规定 $E$ 上的拓扑为 $\overline{\mathscr{B}}$ ．所得拓扑空间仍记作 $E$ ．

### （二）$p$ 是连续开映射
容易看出，对于 $\mathscr{B}$ 中的任一成员 $(\alpha, U), p(\alpha, U)=U$ 是 $B$ 的开集．由此可推出 $p$ 是开映射．

要证 $p$ 连续，只须对于 $B$ 的每个道路连通开集 $U$ ，验证 $p^{-1}(U)$ 是开集（因为由 $B$ 局部道路连通推出，所有道路连通开集构成 $B$ 的拓扑基）。为此要说明 $\forall \alpha \in p^{-1}(U)$ 都是 $p^{-1}(U)$ 的内点。
 
由 $\alpha \in p^{-1}(U)$ 得到 $\alpha(1)=p(\alpha) \in U$ ，从而 $(\alpha, U) \in \mathscr{B}$ ，并且 $p(\alpha, U)=U$ 。于是 $\alpha \in(\alpha, U) \subset p^{-1}(U)$ ，因此 $\alpha$ 是 $p^{-1}(U)$ 的内点。

在进行下一步论证之前，先证明一个引理．
引理（1）如果 $(\alpha, U) \in \mathscr{B}, \beta \in(\alpha, U)$ ，则 $(\alpha, U)=(\beta, U)$ 。
（2）如果 $(\alpha, U) \in \mathscr{B}$ ，并且 $U$ 半单连通，则 $p:(\alpha, U) \rightarrow U$ 是同胚映射．

证明（1）设 $\beta=\alpha\langle w\rangle, w$ 是 $U$ 中的道路，则 $\beta(1)=w(1) \in U$ ，从而 $(\beta, U)$ 有意义．并且 $\forall \gamma \in(\beta, U)$ 可写成 $\gamma=\beta\left\langle w^{\prime}\right\rangle$ ．于是 $\gamma =\alpha\left\langle w w^{\prime}\right\rangle \in(\alpha, U)$ 。这样 $(\beta, U) \subset(\alpha, U)$ 。又因为 $\alpha=\beta\langle\bar{w}\rangle \in (\beta, U)$ ，同样可证得 $(\alpha, U) \subset(\beta, U)$ ．于是 $(\alpha, U)=(\beta, U)$ ．
（2）$p:(\alpha, U) \rightarrow U$ 是连续的，并且因为 $(\alpha, U)$ 是 $E$ 的开集， $p: E \rightarrow B$ 是开映射，所以 $p:(\alpha, U) \rightarrow U$ 也是开映射．为证明它是同胚映射，只用验证 $p$ 是一一对应．设 $\beta_1, \beta_2 \in(\alpha, U)$ 且 $p\left(\beta_1\right)= p\left(\beta_2\right)=b$ ，设 $\beta_1=\alpha\left\langle w_1\right\rangle, \beta_2=\alpha\left\langle w_2\right\rangle$ ，则 $w_1, w_2$ 都是 $U$ 中从 $\alpha(1)$ 到 $b$ 的道路．由于 $U$ 半单连通，$\left\langle w_1\right\rangle=\left\langle w_2\right\rangle$ ，从而 $\beta_1=\beta_2$ ．这证明了 $p:(\alpha, U) \rightarrow U$ 是单一的．上面早已指出它是满的，从而确为一一对应．引理证毕．

现在继续证明定理 5．5．

### （三）求 $B$ 的基本邻域．
$\forall b \in B$ ，取 $U$ 是 $b$ 的半单连通的开邻域，则

$$
\bigcup_{a \in p^{-1}(b)}(\alpha, U) \subset p^{-1}(U) .
$$

下面证明反向的包含关系．$\forall \beta \in p^{-1}(U)$ ，则 $p(\beta, U)=U$ ，因此存在 $\alpha \in p^{-1}(b) \cap(\beta, U)$ 。由引理的（1），$(\beta, U)=(\alpha, U)$ 。从而 $\beta \in (\alpha, U) \subset \bigcup_{\alpha \in p^{-1}(b)}(\alpha, U)$ ．我们已得到 $p^{-1}(U)$ 的分解式

$$
p^{-1}(U)=\bigcup_{\alpha \in p^{-1}(b)}(\alpha, U),
$$

对于 $p^{-1}(b)$ 中不同的元素 $\alpha, \alpha^{\prime},(\alpha, U)$ 与 $\left(\alpha^{\prime}, U\right)$ 不相交。（否则，设 $\beta \in(\alpha, U) \cap\left(\alpha^{\prime}, U\right)$ ，则 $(\alpha, U)=(\beta, U)=\left(\alpha^{\prime}, U\right)$ ，于是 $p:(\alpha, U)$

### （三）求 $B$ 的基本邻域．
$\forall b \in B$ ，取 $U$ 是 $b$ 的半单连通的开邻域，则

$$
\bigcup_{a \in p^{-1}(b)}(\alpha, U) \subset p^{-1}(U) .
$$

$$
p^{-1}(U)=\bigcup_{\alpha \in p^{-1}(b)}(\alpha, U),
$$

定理 5．5a 如果 $B$ 道路连通、局部道路连通和局部半单连通，则对 $\forall b \in B$ 和 $\pi_1(B, b)$ 的任一子群 $G$ ，存在复叠映射 $p: E \rightarrow B$以及 $p^{-1}(b)$ 的一点 $e$ ，使得 $H_e=G$ 。

读者可以仿照定理5．5的证明方法，写出这个一般定理的证明，这里省略了．它也可作为定理5．5的推论，不过要用到下面的命题。

命题5．10 若 $B$ 有泛复叠空间，则对 $\forall b \in B$ 和 $\pi_1(B, b)$ 的任一子群 $G$ ，存在复叠映射 $p: E \rightarrow B$ 以及 $p^{-1}(b)$ 的一点 $e$ ，使得 $H_e$
$=G$ ．
证明 论证的一部分已在 § 3 的习题中出现．
设 $\widetilde{p}: \widetilde{E} \rightarrow B$ 是泛复叠映射。取定 $\widetilde{e} \in \widetilde{p}^{-1}(b)$ 。记 $\theta: \mathscr{D}(\widetilde{E}, \widetilde{p}) \rightarrow \pi_1(B, b)$ 是定理5．4证明中规定的同构，$\widetilde{G}=\theta^{-1}(G)$ 。记 $E=\widetilde{E} / \widetilde{G}, p: E \rightarrow B$ 是 $\widetilde{p}$ 诱导的映射，则 $p$ 是复叠映射（见 $\wp 3$ 习题3）．设 $e$ 是 $\tilde{e}$ 所在的 $\widetilde{G}$ 等价类，则 $p(e)=\widetilde{p}(\widetilde{e})=b$ 。剩下只须证明 $H_e=G$了。
$\forall\langle a\rangle \in \pi_1(B, b)$ ，记 $\widetilde{g}=\theta^{-1}(\langle a\rangle)$ 。设 $\widetilde{a}$ 是 $\widetilde{E}$ 中以 $\widetilde{e}$ 为起点的道路，且 $\tilde{p} \circ \tilde{a}=a$ ，则 $\tilde{a}(1)=\tilde{g}(\tilde{e})$ 。记 $p_1: \widetilde{E} \rightarrow E$ 为投射，则 $p_1 \circ \tilde{a}$是 $a$（关于 $p$ ）在 $e$ 处的提升．于是
$\langle a\rangle \in H_e \Longleftrightarrow p \circ \widetilde{a}$ 是 $e$ 处的闭路 $\Longleftrightarrow p(\widetilde{g}(\widetilde{e}))=e$

$$
\Longleftrightarrow \widetilde{g} \in \widetilde{G} \Longleftrightarrow\langle a\rangle \in G .
$$

## 理解：复叠空间存在定理
好的，我们来通俗解释拓扑学里的**复叠空间存在定理**。

先给你一个最直观的概括：

> **复叠空间存在定理回答了一个问题：给定一个基空间$X$，什么时候能造出一个覆盖它的复叠空间$\tilde{X}$，并且这个复叠空间的基本群（刻画“洞”的结构）是给定的一个子群$H$？**

换句话说：**已知“楼下”的样子，和你想让“楼上”的路径连接方式（由子群$H$ 决定），问“楼上”能不能真的盖出来？**

---

## 一、从一个生活类比开始

想象**基空间$X$** 是一栋楼的**一楼平面图**（有很多房间和走廊，可能有绕不出去的环）。

你想盖一个**二楼**（覆盖空间$\tilde{X}$），使得：
- 二楼分成若干“房间副本”，每个一楼房间的正上方有若干个二楼房间（纤维）。
- 二楼走廊的连通方式要满足一种“局部相同，整体可能不同”的规则。
- 关键：你想**控制二楼的“环路结构”**——比如你不希望二楼有某种绕不出去的圈。

**复叠空间存在定理说**：只要你想达到的“二楼环路结构”对应一楼基本群$ \pi_1(X) $ 的**某个子群$H$**，并且这个子群满足一点点额外条件（在好空间上自动满足），那么这样的二楼一定能盖出来。

---

## 二、先回顾需要的基本概念

| 概念 | 通俗意义 |
|------|----------|
| 基空间$X$ | “一楼”，已知的拓扑空间 |
| 基本群$ \pi_1(X, x_0) $ | 记录“一楼中从基点出发绕圈的不同方式”（环路 homotopy 等价类） |
| 子群$H$ | 你想允许“二楼里的哪些绕圈方式可以原地缩成一个点”（即哪些环路在二楼能提升成闭路） |
| 覆盖空间$\tilde{X}$ | 你打算盖的“二楼”，有投影映射$p$ |
| 提升性质 | 一楼的一条路径，在二楼一旦选好起点，就能唯一地往上提起成为二楼的一条路径 |

---

## 三、复叠空间存在定理（分类定理版本）

**标准表述（适用于道路连通、局部道路连通、半局部单连通的空间$X$）：**

> 设$X$ 是**道路连通、局部道路连通、半局部单连通**的拓扑空间。  
> 则对于$ \pi_1(X, x_0) $ 的**任意子群$H$**，都存在一个以$X$ 为基空间的复叠空间$p: (\tilde{X}, \tilde{x}_0) \to (X, x_0)$，使得  
> \[
> p_*(\pi_1(\tilde{X}, \tilde{x}_0)) = H
> \]
> （即二楼的基本群通过投影映到一楼的子群$H$）。  
> 并且这样的复叠空间在同构意义下唯一。

---

### 四、用白话解释条件

1. **道路连通**：一楼任意两点能用路径连起来（否则覆盖会很破碎）。
2. **局部道路连通**：附近没有太奇怪的点（保证局部结构简单）。
3. **半局部单连通**：每个点有一个邻域，使得该邻域内任何一个圈在$X$ 里能缩成一点。  
   这个条件最核心——它保证了能“造出楼上”时不会出现无限纠缠。

这些条件大多数“正常”的空间都满足，比如：
- 圆环$S^1$
- 环面$T^2$
- 克莱因瓶
- 图（一维单纯复形）
- 流形（光滑的）

**不满足的例子**（太奇怪的空间）：
- 夏威夷耳环（无限多圆环共用一个点）→ 不半局部单连通，定理不保证存在所有子群对应的覆盖。

---

## 五、构造思路（非严格，但帮助你想象理论证明）

怎么盖出这个二楼？

**构造方法（万有覆盖空间再商余法）：**
1. 先造一个最大的覆盖空间：**万有覆盖空间$ \tilde{X}_\text{univ} $**，它的基本群是平凡的$ \{1\} $（二楼没有洞）。
2. 然后对万有覆盖空间“除以$H$ 的作用”：
   - 万有覆盖空间上的复叠变换群 =$ \pi_1(X) $。
   -$H$ 是这个群的一个子群。
   - 做轨道空间$ \tilde{X}_\text{univ} / H$，就得到以$H$ 为对应基本群的覆盖空间。

**类比**：  
就像先有一个无限大的、没有环路的平面（万有覆盖），然后按某种对称性（子群$H$）把平面“折叠”起来，得到一个可以在楼上走特定环路、不能走其他环路的覆盖空间。

---

## 六、一个直观的例子

**基空间**：圆$S^1$，\( \pi_1(S^1) \cong \mathbb{Z} $（整数加法）。

- 取子群$H = 2\mathbb{Z}$（偶数）。  
  存在定理保证存在一个覆盖空间，其基本群是$2\mathbb{Z}$。  
  你早就知道：两层覆盖$S^1 \to S^1$，\(z \mapsto z^2$。

- 取子群$H = 3\mathbb{Z}$（3的倍数）。  
  存在三层覆盖$S^1 \to S^1$，\(z \mapsto z^3$。

- 取子群$H = \{0\}$。  
  存在万有覆盖$\mathbb{R} \to S^1$。

- 取子群$H = \mathbb{Z}$ 本身（平凡子群）。  
  存在单叶覆盖，即$S^1$ 自身（投影映射为恒等映射）。

这里的$H$ 可以是$ \mathbb{Z} $ 的任意子群（形如$n\mathbb{Z}$），它们确实都对应一个覆盖空间。

---

## 七、为什么这个定理重要？

因为它告诉你：**覆盖空间的分类（在同构意义下）等价于基空间基本群的子群的分类**。

也就是说：
- 找覆盖空间 = 找“楼下基本群的子群”。
- 两个覆盖空间“本质上一样”↔ 对应的子群共轭。

你不需要凭空猜一个二楼结构，只需要写下$\pi_1(X)$ 的子群，它就会“自动出现”一个覆盖空间。

---

## 八、总结一句话

> **复叠空间存在定理**（针对好空间）：  
> 任何“楼下”基本群的子群，都能对应一个真实的“楼上”覆盖空间，并且这种对应是一一对应的。

用更通俗的话说：
> **你只要告诉数学：“我希望楼上只能走哪些类型的环路（子群$H$）”，数学就能给你造出那个二楼的平面图。**

科数题库(单机版) 会议室预约系统(book)

今日还可看 0 篇未注册用户每天查看4篇，注册用户每天8篇，开通VIP会员无限制查看。

免费注册

《高等数学》难点解析

高数教程 泰勒公式切线与法线切平面与法平面驻点·拐点·极值点·零点间断点渐进线瑕积分欧拉方程伯努利方程 Abel 收敛定理偏导数的几何意义偏导数的几何意义梯度数量场与向量场多元函数极值拉格朗日算子通量与散度环流量与旋度格林公式高斯公式斯托克斯公式三大公式比较傅里叶级数极坐标微元点法式方程变上限定积分 X型计算面积 Y型计算面积微分的意义渐近线间断点 y''+py'+qy=f(x)方程高斯黎曼傅里叶变换(复数) 拉普拉斯变换(复数)

《线性代数》难点解析

线代教程 近世代数对数学的整体思考线性的意义矩阵乘法(列视角) 矩阵乘法(行视角) 矩阵左乘矩阵右乘逆矩阵求解方程组阶梯形矩阵的求法方程组解的判定四阶行列式的计算线性变换的意义线性空间向量组的等价线性空间的几何意义基础解系的求法施密特正交化特征值与特征向量的意义矩阵相似的几何意义矩阵可对角化的理解秩的意义(向量版) 秩的意义(方程版) 二次型的意义

《概率论与数理统计》难点解析

概率教程 置信区间与上a分位数概率中的“取”与“放” 贝叶斯公式全概率公式泊松分布指数分布伽玛分布二维密度图的意义卷积的意义相关系数的意义 k阶矩是与矩母函数卡方分布的作用单正态区间估计理解假设检验理解切比雪夫不等式中心极限定理

上一篇：复叠变换与正则复叠空间

下一篇：没有了

本文对您是否有用？有用 (0) 无用 (0)