《《点集拓扑学》§4.1 连通空间.doc》由会员分享，可在线阅读，更多相关《《点集拓扑学》§4.1 连通空间.doc（8页珍藏版）》请在金锄头文库上搜索。
1、第4章连通性本章讨论拓扑空间的几种拓扑不变性质，包括连通性，局部连通性和弧连通性，并且涉及某些简单的应用这些拓扑不变性质的研究也使我们能够区别一些互不同胚的空间4.1连通空间本节重点:掌握连通与不连通的定义；掌握如何证明一个集合的连通与否；掌握连通性的拓扑不变性、有限可积性、可商性我们先通过直观的方式考察一个例子在实数空间R中的两个区间（0，l）和1，2），尽管它们互不相交，但它们的并（0，1）l，2）（0，2）却是一个“整体”；而另外两个区间（0，1）和（1，2），它们的并（0，1）（1，2）是明显的两个“部分”产生上述不同情形的原因在于，对于前一种情形，区间（0，l）有一个凝聚点1在1，2
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=AB，则称X是一个不连通空间；否
3、则，则称X是一个连通空间显然，包含着多于两个点的离散空间是不连通空间，而任何平庸空间都是连通空间定理4.1.1设X是一个拓扑空间则下列条件等价：（l）X是一个不连通空间；（2）X中存在着两个非空的闭子集A和B使得AB=和ABX成立；（3）X中存在着两个非空的开子集A和B使得AB=和ABX成立；（4）X中存在着一个既开又闭的非空真子集证明条件（l）蕴涵（2）:设（1）成立令A和B是X中的两个非空的隔离子集使得ABX，显然AB=，并且这时我们有 因此B是X中的一个闭子集；同理A也是一个X中的一个闭子集这证明了集合A和B满足条件（2）中的要求条件（2）蕴涵（3）如果X的子集A和B满足条件（2）中的要
4、求，所以A、B为闭集，则由于这时有A和B=，因此A、B也是开集，所以A和B也满足条件（3）中的要求条件（3）蕴涵（4）如果X的子集A和B满足条件（3）中的要求，所以A、B是开集，则由A和B=易见A和B都是X中的闭集，因此A、B是X中既开又闭的真（A、B，AB=X，A、BX）子集，所以条件（4）成立条件（4）蕴涵（l）设X中有一个既开又闭的非空真子集A令B=则A和B都是X中的非空的闭子集，它们是无交的并且使得AB=X易见两个无交的闭子集必定是隔离的（因为闭集的闭包仍为自己）因此（l）成立例4.1.1有理数集Q作为实数空间R的子空间是一个不连通空间这是因为对于任何一个无理数rR-Q，集合（-，r）
5、Q（，rQ是子空间Q中的一个既开又闭的非空真子集定理4.1.2实数空间R是一个连通空间证明我们用反证法来证明这个定理假设实数空间R是不连通空间则根据定理4.1.1，在R中有两个非空闭集A和B使得AB=和ABR成立任意选取aA和bB，不失一般性可设ab令=Aa,b，和=Ba,b于是和是R中的两个非空闭集分别包含a和b，并且使得=和=a，b成立集合有上界b，故有上确界，设为由于是一个闭集，所以，并且因此可见b，因为b将导致b，而这与=矛盾因此（，b由于是一个闭集，所以这又导致，也与=矛盾定义4.1.3设Y是拓扑空间X的一个子集如果Y作为X的子空间是一个连通空间，则称Y是X的一个连通子集；否则，称Y
6、是X的一个不连通子集拓扑空间X的子集Y是否是连通的，按照定义只与子空间Y的拓扑有关(即Y的连通与否与X的连通与否没有关系)因此，如果，则Y是X的连通子集当且仅当Y是Z的连通子集这一点后面要经常用到定理4.1.3设Y是拓扑空间X的一个子集，A，BY则A和B是子空间Y中的隔离子集当且仅当它们是拓扑空间X中的隔离子集因此，Y是X的一个不连通子集，当且仅当存在Y中的两个非空隔离子集A和B使得ABY(定义)当且仅当存在X中的两个非空隔离子集A和B使得ABY证明用、分别表示A在Y，X中的闭包因为因此根据隔离子集的定义可见定理成立定理4.1.4设Y是拓扑空间X中的一个连通子集如果X中有隔离子集A和B使得YA
7、UB，则或者YA，或者YB证明如果A和B是X中的隔离子集使得Y AUB，则这说明AY和BY也是隔离子集然而 （AY）（BY）（AB）YY因此根据定理4.1.3，集合AY和BY中必有一个是空集如果AY=，据上式立即可见YB，如果BY，同理可见YA定理4.1.5设Y是拓扑空间X的一个连通子集，ZX满足条件则Z也是X的一个连通子集证明假设Z是X中的一个不连通子集根据定理4.1.3，在X中有非空隔离子集A和B使得Z=AB，因此YAUB由于Y是连通的，根据定理4.1.4，或者YA或者YB,同理,这两种情形都与假设矛盾定理4.1.6设是拓扑空间X的连通子集构成的一个子集族如果，则是X的一个连通子集证明设A
8、和B是X中的两个隔离子集，使得，AB任意选取x，不失一般性，设xA对于每一个，由于连通，根据定理4.1.4，或者或者；由于xA，所以根据定理4.1.3，这就证明了是连通的定理4.1.7设Y是拓扑空间X中的一个子集如果对于任意x，yY存在X中的一个连通子集 使得x，yY，则Y是X中的一个连通子集证明如果Y=，显然Y是连通的下设Y,任意选取aY，容易验证Y并且a应用定理4.1.6，可见Y是连通的我们曾经说过，拓扑学的中心任务便是研究拓扑不变性质（参见22）所谓拓扑不变性质，乃是为一个拓扑空间具有必为任何一个与其同胚的拓扑空间所具有的性质事实上，如果拓扑空间的某一个性质，它是藉助于开集或者藉助于经由
9、开集定义的其他概念表达的，则此性质必然是拓扑不变性质拓扑空间的某种性质，如果为一个拓扑空间所具有也必然为它在任何一个连续映射下的象所具有，则称这个性质是一个在连续映射下保持不变的性质因为同胚是连续的满射，所以在连续映射下保持不变的性质必然是拓扑不变性质拓扑空间的某种性质，如果为一个拓扑空间所具有也必然为它的任何一个商空间所具有，则称这个性质是一个可商性质因为拓扑空间到它的商空间的自然的投射是一个连续的满射，所以在连续映射下保持不变的性质必然是可商性质以下定理4.1.8指出，连通性（即一个拓扑空间是连通的这一性质）是一个在连续映射下保持不变的性质因此，它是拓扑不变性质，也是可商性质定理4.1.8
10、设f:XY是从连通空间X到拓扑空间Y的一个连续映射则f（X）是Y的一个连通子集证明如果f（X）是Y的一个不连通子集，则存在Y的非空隔离子集A和B使得f（X）AB于是（A）和（B）是X的非空子集，并且 所以（A）和（B）是X的非空隔离子集此外， （A）（B）（AB）=(f(X)=X这说明X不连通与定理假设矛盾拓扑空间的某种性质P称为有限可积性质，如果任意n0个拓扑空间 都具有性质p，蕴涵着积空间也具有性质p例如，容易直接证明，如果拓扑空间都是离散空间（平庸空间），则积空间也是离散空间（平庸空间），因此我们可以说拓扑空间的离散性和平庸性都是有限可积性质根据定理329以及紧随其后的说明可见：假设已知
11、拓扑空间的某一个性质p是一个拓扑不变性质为了证明性质p是一个有限可积性质，我们只要证明任何两个具有性质p的拓扑空间的积空间也是具有性质p的拓扑空间定理4.1.9设 是n个连通空间则积空间也是连通空间证明根据前一段中的说明，我们只要对于n=2的情形加以证明首先我们指出：如果两个点有一个坐标相同，则有一个连通子集同时包含x和y不失一般性，设定义映射k：使得对于任何有由于是取常值的映射，为恒同映射，它们都是连续映射，其中分别是到第1和第2个坐标空间的投射因此，k是一个连续映射根据定理4.1.8，k()是连通的此外易见，因此它同时包含x和y现在来证明：中任何两个点同时属于的某一个连通子集这是因为这时若令，则根据前段结论，可见有的一个连通子集同时包含x和z，也有的一个连通子集同时包含y和z由于z，因此根据定理4.1.6，是连通的，它同时包含x和y于是应用定理4.1.7可见是一个连通空间因为n维欧氏空间是n个实数空间R的笛卡儿积，而实数空间R又是一个连通空间，所以应用这个定理可见，n维欧氏空间是一个连通空间作业:P116 356814第 1 页 * 共 8 页
