拓扑学第五章 连通性.docVIP

第五章 连通性 普通几何中的图形“连通”性是一个非常直观的概念，似乎无需给出数学的定义。然而，对于一些复杂的图形，单凭直观是不行的，例如： 例： 设的一个子集（曲线）有两部分构成，其中 如右图，细线为，粗线为，我们很难判断它们是否连通的。 ▲有两种描述图形连通的方法： 1）、利用集合是否相交来判定； 2）、利用任何亮点是否有图形内的线段相连。 前者称为“连通性”，后者称为“道路连通性”。 在上例中，是连通的，但是，不是道路连通的。 §5-1 连通空间 先看一个例子： 考虑上的两个子集与。它们是不交的，（即交为空集）。但是，它们的并为却构成了一个“整体”； 而与也是不相交的，但它们的并仍是两个部分。 原因是：的一个聚点1，属于，而不属于。 为此，给出一个“分离”的概念。 定义1 设和是拓扑空间的两个非空子集，如果与，则称与是分离的。 定义2 称拓扑空间是连通的，如果不能表示为两个非空分离集合的并。 ●显然，连通与下面几种说法是等价的。 ① 不能分解为两个非空不相交开集的并； ② 不能分解为两个非空不相交闭集的并； ③ 没有既开又闭的非空真子集； ④ 中只有和是既开又闭的。 上述的四种说法与连通是等价的，可以作为习题，有同学们自己去证明。 例1 （1）是连通的，因为它的任意两个非空开集一定相交。 （2）双曲线不连通，它的两支是互不相交的的非空闭集。 （3）空间是连通的。 结论（3）是明显的。但是，人们常常里利用已知连通空间论证其它空间的连通性，所以，常常被作为论证一维流形连通的出发点。因此，有必要去证明一下。 证明的思路：中任何非空真子集不可能既是闭的又是开的，则是连通的。 以下是证明： 不妨设是的非空真闭集，于是只要证明不会是开集。 设的下确界为，上确界为。因为是闭集，则有。 又设，不妨假定（对于情形可作类似的讨论），由于，即不是的内点，从而不是开集。证毕。 下面讨论连通空间的性质。 定理1 连通空间在连续映射下的象也是连通的。 证明： 设连通，连续，我们要证明也连通。 不妨设（否则也可以考虑）。又设是的既开又闭的非空子集，则是的既开又闭的子集（这是根据连续映射的性质）。 又由于非空，并且是连通的，故只要（不可能为），因为映射是满射，从而，这说明的既开又闭的非空子集只能有。于是，是连通的。 例2 单位圆是连通的。 因为是连通的，且有映射，有。 例3 设，则连通 是区间。 例3可作为定理1的推论。 推论1 连通空间上的连续函数取到一切中间值（即，象集是区间）。 事实上，这个推论适于上的映射，而对于其他的拓扑空间，应该有“序”的概念。所以只作理解即可。 即，设连通，，根据例3。推论立证。 引理1 若是的既开又闭子集，是的连通子集，则或者，或者。 证明：显然。由于是连通的，则不可能存在既开又闭的子集，则要么，要么，即。 定理2 若有一个连通的稠密子集，则连通。 证明：思路：证明的既开又闭子集只有和。 设是的连通稠密子集，且是的既开又闭子集。如果，则必有。由引理1，有。 于是，，从而。因此，的既开又闭子集只有和。 推论2 若是的连通子集，且，则连通。 注释：这是因为是的稠密子集，由定理2，立得推论。 ●下面的定理给出判断连通性的一个常用法则。 定理3 如果有一个连通覆盖（即中每个成员都是连通的），并且有一连通子集，与中每个成员都相交，则连通。 定理意义的解释：中每个成员都是连通集，它们构成的覆盖，它们之间不一定都有交，但是存在一个的子集，与它们都相交。 证明： 证明思路：的既开又闭子集只有和。 设是的既开又闭子集，是的一连通子集。根据引理1，要么。 如果，则，因，所以 ?，并且由引理，必有（注：是连通子集），则 又，如果，则，，由引理，必有，则 又，，故有，即。 证毕。 例4 我们可以利用定理3的方法去证明是连通的。 记，显然，。 即是的覆盖，而，是连通的（∵连通） 故是的连通覆盖。 记，则连通，。由定理3知，连通。 利用归纳法，可以证明连通。 定理4 连通性是可乘的。 证明： 设都是连通空间，则是的连通覆盖。取，则连通，且与每个都相交。由定理3知，连通。 证毕。 §5-2 连通分支与局部连通空间 连通分支是研究不连通空间时引出的一个概念。 定义3 拓扑空间的一个子集称为的连通分支，如果它是连通的，并且不是其他连通子集的真子集。 注释：说是的一个连通分支，即，若的子集，且，则一定不连通。也就是说，连通分支是极大连通子集。 如果是连通的，则它只有一个连通分支，即自身。 命题1 连通分支是闭集。