《点集拓扑学》§4.1连通空间.docxVIP

第4章连通性 本章讨论拓扑空间的几种拓扑不变性质， 包括连通性，局部连通性和弧连通 性，并且涉及某些简单的应用.这些拓扑不变性质的研究也使我们能够区别一些 互不同胚的空间. § 4.1 连通空间 本节重点: 掌握连通与不连通的定义; 掌握如何证明一个集合的连通与否; 掌握连通性的拓扑不变性、有限可积性、可商性. 我们先通过直观的方式考察一个例子.在实数空间 R中的两个区间（0, l ） 和］1, 2）,尽管它们互不相交，但它们的并（0, 1）U［ l , 2） = （ 0, 2）却 是一个“整体”；而另外两个区间（0, 1）和（1,2）,它们的并（0, 1） U （1, 2）是明显的两个“部分”.产生上述不同情形的原因在于，对于前一种情形， 区间（0, l ）有一个凝聚点1在］1, 2）中；而对于后一种情形，两个区间中的 任何一个都没有凝聚点在另一个中. 我们通过以下的定义，用术语来区别这两种 情形. 定义4.1.1 设A和B是拓扑空间X中的两个子集.如果 则称子集A和B是隔离的. 明显地，定义中的条件等价于「二和『「二同时成立，也就是说， A与B无交并且其中的任何一个不包含另一个的任何凝聚点. 应用这一术语我们就可以说，在实数空间 R中，子集（0, 1）和（1, 2）是 隔离的，而子集（0， l ）和［1， 2）不是隔离的. 又例如，易见，平庸空间中任何两个非空子集都不是隔离的， 而在离散空间 中任何两个无交的子集都是隔离的. 定义4.1.2 设X是一个拓扑空间?如果 X中有两个非空的隔离子集 A和B 使得X=AJ B,则称X是一个不连通空间；否则，则称 X是一个连通空间. 显然，包含着多于两个点的离散空间是不连通空间， 而任何平庸空间都是连 通空间. 定理4.1.1 设X是一个拓扑空间.则下列条件等价： （I ） X是一个不连通空间； （2） X中存在着两个非空的闭子集 A和B使得AH 和AJ B= X成立； （3） X中存在着两个非空的开子集 A和B使得AH 和AJ B= X成立； （4） X中存在着一个既开又闭的非空真子集. 证明 条件（I ）蕴涵（2）:设（1）成立.令A和B是X中的两个非空的隔 离子集使得AJ B= X,显然AH B=J，并且这时我们有 B=Br\X = Br\(AuB) = (EnA)^nB) = B 因此B是X中的一个闭子集；同理A也是一个X中的一个闭子集.这证明了集合 A和B满足条件（2）中的要求. 条件（2）蕴涵（3） ?如果X的子集A和B满足条件（2）中的要求，所以 A、B为闭集，则由于这时有 A=_和B二二，因此A、B也是开集，所以A和B 也满足条件（3）中的要求. 条件（3）蕴涵（4） ?如果X的子集A和B满足条件（3）中的要求，所以 A、B是开集，则由和B二二易见A和B都是X中的闭集，因此A B是X 中既开又闭的真（：A BM二，AU B=X二A BmX）子集，所以条件（4）成立. 条件（4）蕴涵（I）.设X中有一个既开又闭的非空真子集 A令?则 A和B都是X中的非空的闭子集，它们是无交的并且使得 AU B=X易见两个无交 的闭子集必定是隔离的（因为闭集的闭包仍为自己）.因此（I ）成立. 例4.1.1 有理数集Q作为实数空间R的子空间是一个不连通空间. 这是因 为对于任何一个无理数r €R-Q，集合（-X，r） n Q=（-^， r] GQ是子空间 Q中的一个既开又闭的非空真子集. 定理4.1.2 实数空间R是一个连通空间. 证明 我们用反证法来证明这个定理. 假设实数空间R是不连通空间.则根据定理4.1.1，在R中有两个非空闭集 A和B使得An B=J和AU B= R成立.任意选取a€A和b€ B,不失一般性可设a v b.令」=An[a,b]，和J=Bn [a,b].于是」和J是R中的两个非空闭集分别 包含a和b,并且使得」n F =二和」U F =[a，b]成立.集合」有上界b，故有 上确界，设为].由于」是一个闭集，所以]€」，并且因此可见1 vb，因为] =b将导致b€」n J，而这与」n J =J矛盾.因此（1 , b]_ 一 .由于J是一 个闭集，所以€ - .这又导致二€二n -，也与亠：n - =■-?矛盾. 定义4.1.3 设Y是拓扑空间X的一个子集.如果Y作为X的子空间是一个 连通空间，则称Y是X的一个连通子集；否则，称 丫是X的一个不连通子集. 拓扑空间X的子集丫是否是连通的，按照定义只与子空间 丫的拓扑有关（即 丫的连通与否与X的连通与否没有关系.）.因此，如果/ --—丄，则丫是X 的连通子集当且仅当丫是Z的连通子集.这一点后面要经常用到. 定理4.1.3 设丫是拓扑空间X的一个子集，A，B_Y.则A和B是子空间 丫中的隔离子集当且仅当它们是拓扑空间 X