5. 连通性 (I)

一句大实话. The most intuitively evident topological invariant of a space is the number of connected pieces into which it falls.

— R. Bott, 杜武亮
Differential Forms in Algebraic Topology

到目前为止, 我们已经熟悉了拓扑空间的概念, 并且掌握了相当多的构造拓扑空间的方法. 但是我们并没有很好的办法证明何时两个空间不同胚. 比如, 我们不知道为何 不同胚. 在本节中, 我们将介绍一个颇为直观的拓扑性质, 连通性. 连通性及它的 “高级” 推广, 将产生拓扑学中极微妙的不变量 — 同伦群.

5.1连通空间

拓扑空间 叫做连通的 (connected), 如果它非空, 并且它不是两个非空开子集的并. 直观地说, 图 1. 左侧的方块是连通的, 右侧的两个球 (作为一个空间) 是不连通的.

Connvsdisconn.png

图 1: 连通空间与不连通空间

从定义可知, 非空的拓扑空间 为连通等价于下述任何一款断言:

的既开又闭又非空的子集只有 ;

不能写成互不相交的非空闭子集的并.

最直观的连通空间是实数轴 .

命题 5.1.1. 实数轴 在它的标准拓扑下是连通的.

证明. 用反证法. 如果 的真子集, 既开又闭又非空. 设 . 则我们可以将 写作两个开子集的互不相交的并: 其中 . 类似定义 .

由于 非空, 之一非空. 无妨设 非空. 由实数的性质, 存在 , 使得 的下确界. 由于 的闭集, 的闭集, 我们知道 的闭集. 根据下确界的含义, 任何包含 的开区间都与 相交. 由于 闭, 我们有 .

但是 也是开的. 因此 推出存在开区间 . 这样, 我们就找到了比 更小的数落在 中, 产生了矛盾.

命题 5.1.2. 为连通空间, 为连续映射. 则 是连通的.

证明. 有一个既开又闭又非空的真子空间 , 由于 为连续满射, 我们知道 中既开又闭又非空, 且它不是整个空间 , 因此 不连通.

同胚于连通空间的空间于是自然是连通的. 由于 是连通的, 所以 中的开区间都是连通的.

命题 5.1.3. 是拓扑空间. 的稠密连通子空间. 则 连通.

证明. 如果 的既开又闭又非空的子空间, 由于 中稠密, 非空. 因此 因此 作为 的子空间既开又闭又非空. 由于 连通, . 因此 是包含了一个稠密子集的 的闭子集. 因此 .

例 5.1.4 ( 的连通子集). 由于开区间在它所决定的闭区间和半开半闭区间中稠密, 我们得知 的一切区间都是连通的. 反之, 任何 的连通子空间都一定是区间 (我们把单点集也权且看作区间). 事实上, 如果 连通, 但是存在 , , , 那么 就是 的一个既开又闭又非空的真子集, 矛盾.

由区间的连通性, 我们就可以推出微分学里的介值定理: 若 为连续函数, 为介于 之间的数. 则存在 , . 事实上, 由于 连通, 我们知道 中的区间. 由于 , 落在这个区间里, 它们之间的任何数也落在这个区间里, 因此可以被某个 映射到.

在 19 世纪, 数学家对连通性已经很熟悉了. Bernhard Riemann (以及受他影响的 Enrico Betti) 已经能够熟练地使用连通性来区分不同的空间了. 仿照他们的方法, 我们来解释为何球面 与环面 不同胚. 为此, 我们要使用 Camille Jordan 著名的分离定理: 设 是嵌入, 那么 不连通. 如果环面同胚于 , 那么从它上面除去任何一个嵌入的 之后应该得到不连通的空间. 但是 仍然连通.

一个 “闭曲面” 是指一个可以被实现为某个 的有界闭子集的 2 维流形. 如果从一个闭曲面上除去 条嵌入的 能使得曲面不连通, 但 是除去任何 条嵌入的 仍然连通, 我们就说这个闭曲面的连通数. Jordan 分离定理说明, 球面的连通数是 0. 直观上, 环面的连通数是 . 然而, 按照摩登的标准, 很难用上述定义对此予以严格证明. Henri Poincaré 在 20 世纪初引入了同调的概念, 我们将会学习 Poincaré 的理论, 并用此计算曲面的连通数.

5.2连通性与局部常值函数

一个刻画连通性的方式是使用空间上的连续函数. 我们称从拓扑空间 上取值于集合 局部常值函数 (locally constant function) 是一个连续映射 , 其中我们赋予 离散拓扑. 说映射 是局部常值函数等价于说对任何 , 存在 的邻域 , 使得 只取一个值.

局部常值函数看起来是个非常平凡的概念. 在我们这个课程范围之内不会被进一步探讨. 我们仅满足于知道如下简单的结果, 它的证明留给读者 (习题 5.8.4).

命题 5.2.1. 为至少含有两个元素的集合. 令 为拓扑空间. 则 连通的必要且充分条件是任何 上的取值在 中的局部常值函数都是常值.

作为命题 5.2.1 的应用, 我们来证明如下结果.

命题 5.2.2. 为拓扑空间. 令 为一族 的连通子空间. 若存在 的连通子空间 使得 对一切 成立. 那么 连通.

这个命题在直观上是 “显然” 的, 见图 2.

Connunion.png

图 2: 连通集合的并

证明., 赋予子空间拓扑. 令 为局部常值函数. 则 都是为局部常值函数. 因为 与诸 都连通, 都是常值. 固定 . 对于任意 , 要么 , 要么 属于某个 . 在前一种情形中, ; 在后一种情形中, , 其中 . 总而言之, 我们有 , 因而 是常值.

系 5.2.3. 若非空拓扑空间 的任何两点 都含于一个连通子集中, 那么 是连通的.

证明. 固定 . 令 为包含 的连通子空间. 则 由于单点集合为连通集合, , 应用命题 5.2.2 即得.

系 5.2.4. 为连通拓扑空间. 则 也连通.

证明. 取定 . 则 而右侧的每一项都是连通的. 应用命题 5.2.2 即可.

无穷个连通空间的积空间也是连通的. 证明稍微复杂一点.

命题 5.2.5. 为一族非空拓扑空间. 则 连通的必要且充分条件是对任何 , 是连通的.

证明. 必要性是命题 5.1.2 的推论. 我们来证明充分性. 令 . 设每个 都连通. 取定点 . 我们先来考虑一个辅助空间:

为 “限制性乘积”, 它的元素是点 , 满足性质: 对除了有限个 , 有  ;

对有限子集 , 令 的子空间, 它的元素是 , 它满足: 如果 , 那么 . 每一个 都同胚于有限乘积. .

应用归纳法和系理 5.2.4, 我们知道每个 都连通.

应用命题 5.2.2, , 以及 对一切 成立, 我们得知 为连通.

最后, 我们注意到 在积空间 中稠密 (习题 5.8.5). 应用命题 5.1.3 即完成了证明.

5.3连通性与商映射

根据命题 5.1.2, 连续映射的商空间是连通的. 在这一段里, 我们来证明商空间的连通性加上纤维的连通性可以推出全空间的连通性.

命题 5.3.1. 为商映射. 假设 连通, 且 的纤维都是连通的. 则 连通.

证明. 为两个不交的开集的并. 令 , 记 为纤维 . 则 . 由于 连通, 要么包含于 , 要么包含于 于是 , . 于是 的开集, 互不相交, 且 . 由 的连通性, 或者 . 因此要么 , 要么 . 于是 连通.

例 5.3.2. 特殊正交群 是连通的. 酉群 是连通的.

证明. 我们只证明特殊正交群的情形, 酉群的论证留给读者. 根据例 4.4.3, 我们有商映射 . 它的纤维都同胚于小一阶的特殊正交群 . 由归纳法即可 (奠基的情形是 , 它同胚于 ).

5.4道路连通空间

连通性的一个变体是道路连通性. 我们称一个拓扑空间 道路连通的 (path connected), 如果对 , 存在连续映射 , 使得 ( 称为一个从 道路 (path)).

命题 5.4.1. 是道路连通拓扑空间, 那么 是连通的.

证明. 固定 . 令 , 其中 是连结 的道路. 根据例 5.1.4 和命题 5.1.2, 为包含 中的连通子集. 我们应用系理 5.2.3 便证明了命题.

下面的断言留给读者验证.

命题 5.4.2. 道路连通空间的连续像是道路连通的.

命题 5.4.3. 如果 是一族道路连通拓扑空间, 那么积空间 是道路连通的.

例 5.4.4.

1.

Sierpiński 空间 (例 1.1.1/2) 是道路连通的. 事实上, 映射 是连结了 的连续道路.

2.

是道路连通的. 任何两点 可以使用道路 连结. 事实上, 使用分段的折线, 可以证明当 时, 对任何的有限集 , 是道路连通的. 由此, 我们可以推出 不同胚: 挖掉任何一个点都变得不连通了.

3.

时是道路连通的. 事实上, 对任意两个点 , 选择 . 令 为球极投影. 如果 连结了 , 那么 就是连结了 , 的道路. 注意, 挖掉一个点同胚于一个开区间, 于是 也不同胚于 .

4.

由于有商映射 , 实射影空间都是道路连通的. 类似地, 复射影空间 也是道路连通的.

5.5连通分支与道路连通分支

是非空拓扑空间, 我们称 中两个点 互相连通的, 如果存在 的连通子集 包含 . 根据命题 5.2.2, 互相连通是一个等价关系. 这个关系的等价类叫做 连通分支 (connected component).

命题 5.5.1. 如果 是拓扑空间 的一个连通分支, 它是 的连通子空间.

证明. 我们固定 , 对任何 , 令 为包含 的一个连通子集. 则 , 于是 根据命题 5.2.2, 自己也连通.

系 5.5.2. 如果 是拓扑空间 的一个连通分支, . 则 是包含 的最大的 的连通子集.

命题 5.5.3. 如果 是拓扑空间 的一个连通分支, 它是 的闭子空间.

证明. 根据命题 5.1.3, 是连通的. 根据 系 5.5.2, 我们有 .

例 5.5.4. 字母 与闭区间 不同胚. 因为抹掉 的 “叉点”, 剩下的空间有四个连通分支. 但是闭区间 抹掉任何点, 剩下的空间都至多有两个连通分支.

与连通分支有关的另一个概念是道路连通分支. 令 为拓扑空间. 我们定义 上的关系 如下: 当且仅当存在从 的道路 , 使得 , . 我们来验证这是一个等价关系.

1.

: 使用常值道路 (constant path) .

2.

. 设 是从 的道路. 那么它的相反道路 (inverse path) 是从 的道路.

3.

. 令 为从 的道路, 令 为从 的道路. 它们的乘积道路 (product path)这是一个从 的道路. 它的连续性由粘贴引理, 命题 1.5.6 所保证.

等价关系 的一个等价类叫做 的一个道路连通分支 (path connected component). 根据定义, 道路连通分支是道路连通的.

5.6拓扑学家的梳子

在这一节里, 我们举一个例子来阐发连通性和道路连通性的差别. 在本节中, 我们用 来代表闭区间 , 装备了标准拓扑.

. 我们定义梳子空间 (comb space)赋予它子空间拓扑. 见图 3. 图中蓝色部分叫做梳子齿, 下面的横坐标轴叫做梳子柄.

Comb.png

图 3: 梳子空间

简约的梳子空间 (deleted comb space) 的子空间它把 上面的梳子齿除了最顶端的点 之外的点都删除了.

我们有如下断言

1.

道路连通,

2.

连通,

3.

任何经过 上道路都是常值道路, 因此

4.

不是道路连通的.

首先, 是道路连通的. 每个梳子齿上的点可以沿着梳子齿移动到梳子柄, 并且沿着梳 子柄与点 相连. 因此在道路连通的等价关系下, 所有点都等价于原点. 因此梳 子空间 是道路连通的.

约化的梳子空间 含有一个稠密的道路连通子空间 (“开梳子”) , 根据命题 5.1.3) 和命题 5.4.1, 是连通的.

接下来, 我们证明任何经过点 的道路都是常值道路. 设 是一条这样的道路. 由于集合 是闭集, 中闭. 我们断言, 也是开的. 若如此, 使用 的连通性 (例 5.1.4) 便得知 是常值映射.

的任意邻域, 并且它与 轴不交. 那么 的非空开集. 令 为一个开区间. 则对任意正无理数 , 可以写作并集由于 连通, 且包含 , 它必须完全落入 . 这包含关系对任意无理数 都对. 令 便推出 , 即 . 这就证明了 是开集.

在上面的论证中, 我们顺道证明了 的任何充分小 (比如与 轴不相交的) 的邻域 都不连通. 这是因为我们总可以选择一个合适的无理数, 使得 分为两个互不相交的非空开集的并 .

5.7局部连通性与局部道路连通性

简约的梳子空间当然不是我们在几何课中会感兴趣的空间类型. 仔细分析上面的例子, 我们发现它的病态集中在点 附近, 虽然 本身是连通空间, 的任何充分小邻域都不连通. 在这一小节, 我们介绍局部连通性, 这一性质被许多 “几何上有意义的空间” 所满足.

为拓扑空间. 我们称 局部连通 (locally connected at ), 如果对任何 的邻域 , 包含了 的一个连通邻域 . 我们称 局部连通 (locally connected) 的, 如果它在任何点处都局部连通.

命题 5.7.1. 为拓扑空间. 则下面陈述等价.

1.

局部连通,

2.

对每个 的开集 , 的连通分支都是开集.

特别地, 局部连通空间的连通分支是开集.

证明. 局部连通. 设 的开集. 若 的一个连通分支. 则对 , 局部连通性保证了 存在一个连通邻域 . 按照连通分支的定义, 包含于 . 因此 为开集.

的每个开集的连通分支都是开集, 那么对任何 , 任何 的邻域 都包含了 中的连通分支 , 而 按假设为开集. 因此 处局部连通.

类似于局部连通性, 我们可以引入局部道路连通性. 对于拓扑空间 , 我们说它在点 局部道路连通 (locally path connected at ), 若任何 的邻域都包含了一个 的道路连通邻域. 我们称 局部道路连通 (locally path connected) 空间 如果它在每一点处都局部道路连通.

下面命题的证明与命题 5.7.1 完全平行.

命题 5.7.2. 为拓扑空间. 则下面陈述等价. 局部连通性与局部道路连通性

1.

局部道路连通,

2.

对每个 的开集 , 的道路连通分支都是开集.

系 5.7.3. 局部道路连通, 则 的连通分支与道路连通分支一致.

证明. 的一个道路连通分支. 由于 连通, 存在 的唯一包含 的连通分支 . 由于 局部道路连通, 它一定局部连通, 因之 的开子空间. 如果 , 那么任何的道路连通分支与 都不交. 因此 的开集. 因此 的闭集. 命题 5.7.2 保证了 的开集. 则 的既开又闭又非空的子集, 的连通性保证了 .

流形是局部道路连通的.

本节所学概念与例子

连通空间 connected space

的连通子集是区间

连通集合的闭包也连通

是连通的

局部常值函数 locally constant function

连通性与商空间和纤维的关系

道路连通空间 path connected space

连通分支 connected component

道路连通分支 path connected component

梳子空间 comb space

局部连通空间 locally connected space

局部道路连通空间 locally path connected space

5.8习题

5.8.1. () 的不是单点集的连通子空间. 证明集合 是不可数的.

5.8.2 (齐性引理). 连通流形, 是两个点. 证明存在同胚 使得 .

5.8.3.. 证明映射 非分歧 (习题 2.6.4), 但是它不是局部同胚 (习题 2.6.5).

5.8.4. 证明命题 5.2.1.

5.8.5. 是一族非空拓扑空间. 取定点 . 证明限制性乘积 在积空间 中稠密.

5.8.6.

1.

证明一个集合上的有限补拓扑 (例 1.1.1/3) 是连通的.

2.

它是否道路连通?

5.8.7. 证明 关于它们的 Zariski 拓扑 (习题 2.6.7, 3.8.6) 是连通的. 它们是否道路连通?

5.8.8 (二次超曲面).. 我们可以赋予它 的通常的拓扑或 Zariski 拓扑 (习题 3.8.6) 的子空间拓扑.

1.

证明 (关于通常拓扑) 是一个流形.

2.

证明 (关于通常拓扑) 同胚于 .

3.

证明 (关于通常拓扑) 同胚于 .

4.

证明 关于通常拓扑与 Zariski 拓扑都是连通的.

5.8.9. 中的一个可数集合. 证明, 若 , 则 是道路连通的.

5.8.10. 我们知道 不连通. 但是证明 是连通的. 一般地, 对任何多项式 , 证明 在标准拓扑与 Zariski 拓扑 (习题 2.6.7) 下都连通.

5.8.11.. 证明商映射 不存在截面 (习题 3.8.3). (事实上, 商映射 也不存在截面, 但是它的证明需要一点点代数拓扑的知识.)

5.8.12., 定义多项式 . 定义 则我们有连续映射 , . 证明 没有截面. 也就是说, 不存在一种方法, 能够 “连续” 地给任何一个复系数多项式选择一个它的根.

5.8.13. 的一族连通闭子集. 设 对一切 成立. 设 非空. 是否一定连通?

5.8.14. 为第一可数 (习题 2.6.2) 的局部道路连通空间. 令 为映射. 设对任何道路 , 为连续映射. 证明 连续.

5.8.15. 为道路连通 Hausdorff 空间. 对 上两个不同的点 , 证明存在连续单射 使得 , .

5.8.16 (完全不连通空间). 拓扑空间 叫做完全不连通 (totally disconnected) 如果它的连通分支都是单点集合.

1.

离散空间是完全不连通的.

2.

有理数 集是 的完全不连通子空间.

3.

Cantor 三分集 (习题 1.6.8) 完全不连通.

5.8.17 (拓扑学家的正弦曲线). 的原点与函数 (其中 ) 的图像的并, 赋予子空间拓扑. 证明 连通, 但不局部连通, 也不道路连通.

这个空间及其变体是数学家 Karol Borsuk 最早提出的. 由于 Borsuk 那时居住在波兰华沙, 也被称为华沙曲线.

5.8.18. 设拓扑空间 局部连通 (相应地, 局部道路连通). 令 为商映射. 则 局部连通 (相应地, 局部道路连通). 如果我们把商映射换成连续满射, 这还对吗?