《点集拓扑学拓扑知识点》由会员分享，可在线阅读，更多相关《点集拓扑学拓扑知识点（17页珍藏版）》请在金锄头文库上搜索。
1、-第4章 连通性重要知识点 本章讨论拓扑空间的几种拓扑不变性质，包括连通性，局部连通性和弧连通性，并且涉及*些简单的应用这些拓扑不变性质的研究也使我们能够区别一些互不同胚的空间41 连通空间 本节重点: 掌握连通与不连通的定义.掌握如何证明一个集合的连通与否掌握连通性的拓扑不变性、有限可积性、可商性。 我们先通过直观的方式考察一个例子在实数空间R中的两个区间0，l和1，2，尽管它们互不相交，但它们的并0，1Ul，20，2却是一个整体；而另外两个区间0，1和1，2，它们的并0，1U1，2是明显的两个局部产生上述不同情形的原因在于，对于前一种情形，区间0，l有一个凝聚点1在1，2中；而对于后一种情
2、形，两个区间中的任何一个都没有凝聚点在另一个中我们通过以下的定义，用术语来区别这两种情形 定义411设A和B是拓扑空间*中的两个子集如果则称子集A和B是隔离的 明显地，定义中的条件等价于 和 同时成立，也就是说，A与B无交并且其中的任何一个不包含另一个的任何凝聚点 应用这一术语我们就可以说，在实数空间R中，子集0，1和1，2是隔离的，而子集0，l和1，2) 不是隔离的 又例如，易见，平庸空间中任何两个非空子集都不是隔离的，而在离散空间中任何两个无交的子集都是隔离的定义412 设*是一个拓扑空间如果*中有两个非空的隔离子集A和B使得*=AB，则称*是一个不连通空间；否则，则称*是一个连通空间 显
3、然，包含着多于两个点的离散空间是不连通空间，而任何平庸空间都是连通空间 定理411设*是一个拓扑空间则以下条件等价： l*是一个不连通空间； 2*中存在着两个非空的闭子集A和B使得AB= 和 AB *成立； 3 *中存在着两个非空的开子集A和B使得AB= 和 AB *成立； 4*中存在着一个既开又闭的非空真子集证明l蕴涵2: 设1成立令A和B是*中的两个非空的隔离子集使得AB*，显然 AB=，并且这时我们有因此B是*中的一个闭子集；同理A也是一个*中的一个闭子集这证明了集合A和B满足条件2中的要求 2蕴涵3如果*的子集A和B满足条件2中的要求，所以A、B为闭集，则由于这时有AB/和B=，因此A
4、、B也是开集，所以A和B也满足条件3中的要求 3蕴涵4如果*的子集A和B满足条件3中的要求，所以A、B是开集，则由A和B=易见A和B都是*中的闭集，因此A、B是*中既开又闭的真A、B，AB=*，A、B*子集，所以条件4成立 4蕴涵l设*中有一个既开又闭的非空真子集A令B=则A和B都是*中的非空的闭子集，它们是无交的并且使得AB=*易见两个无交的闭子集必定是隔离的因为闭集的闭包仍为自己因此l成立 例4. 11 有理数集Q作为实数空间R的子空间是一个不连通空间这是因为对于任何一个无理数rR-Q，集合-，rQ，rQ是子空间Q中的一个既开又闭的非空真子集 定理412 实数空间R是一个连通空间证明 我们
5、用反证法来证明这个定理假设实数空间R是不连通空间则根据定理411，在R中有两个非空闭集A和B使得AB= 和 AB R成立任意选取aA和bB，不失一般性可设ab令=Aa,b，和=Ba,b于是和是R中的两个非空闭集分别包含a和b，并且使得=和=a，b成立集合有上界b，故有上确界，设为由于是一个闭集，所以，并且因此可见b，因为b将导致b，而这与=矛盾因此，b由于是一个闭集，所以这又导致，也与=矛盾定义413设Y是拓扑空间*的一个子集如果Y作为*的子空间是一个连通空间，则称Y是*的一个连通子集；否则，称Y是*的一个不连通子集 拓扑空间*的子集Y是否是连通的，按照定义只与子空间Y的拓扑有关(即Y的连通与
6、否与*的连通与否没有关系.)因此，如果，则Y是*的连通子集当且仅当Y是Z的连通子集这一点后面要经常用到 定理413 设Y是拓扑空间*的一个子集，A，BY则A和B是子空间Y中的隔离子集当且仅当它们是拓扑空间*中的隔离子集 因此，Y是*的一个不连通子集当且仅当存在Y中的两个非空隔离子集A和B使得ABY(定义)当且仅当存在*中的两个非空隔离子集A和B使得ABY证明 因为因此根据隔离子集的定义可见定理成立 定理414 设Y是拓扑空间*中的一个连通子集如果*中有隔离子集A和B使得 YA U B，则或者 YA，或者 YB证明 如果A和B是*中的隔离子集使得YAUB，则这说明AY和BY也是隔离子集然而 AY
7、BYABYY因此根据定理413，集合AY和BY中必有一个是空集如果 AY=，据上式立即可见 YB，如果 BY ，同理可见YA 定理415设Y是拓扑空间*的一个连通子集，Z*满足条件则 Z也是*的一个连通子集证明 假设Z是*中的一个不连通子集根据定理413，在 *中有非空隔离子集A和B使得Z=AB因此 YAUB由于Y是连通的，根据定理414，或者YA，或者YB,同理,。这两种情形都与假设矛盾 定理416 设是拓扑空间*的连通子集构成的一个子集族如果，则是*的一个连通子集 证明 设A和B是*中的两个隔离子集，使得，AB任意选取*，不失一般性，设*A对于每一个，由于连通，根据定理 4. 1 4，或者
8、或者 ；由于 *A，所以根据定理 4 1 3，这就证明了是连通的 定理417 设Y是拓扑空间*中的一个子集如果对于任意*，y Y存在*中的一个连通子集使得*，yY，则Y是*中的一个连通子集证明 如果 Y=，显然 Y是连通的下设 Y,任意选取a Y，容易验证Y并且a应用定理416，可见Y是连通的 我们曾经说过，拓扑学的中心任务便是研究拓扑不变性质参见22所谓拓扑不变性质，乃是为一个拓扑空间具有必为任何一个与其同胚的拓扑空间所具有的性质事实上，如果拓扑空间的*一个性质，它是藉助于开集或者藉助于经由开集定义的其它概念表达的，则此性质必然是拓扑不变性质 拓扑空间的*种性质，如果为一个拓扑空间所具有也必
9、然为它在任何一个连续映射下的象所具有，则称这个性质是一个在连续映射下保持不变的性质由于同胚是连续的满射，所以在连续映射下保持不变的性质必然是拓扑不变性质拓扑空间的*种性质，如果为一个拓扑空间所具有也必然为它的任何一个商空间所具有，则称这个性质是一个可商性质由于拓扑空间到它的商空间的自然的投射是一个连续的满射，所以在连续映射下保持不变的性质必然是可商性质以下定理418指出，连通性即一个拓扑空间是连通的这一性质是一个在连续映射下保持不变的性质因此，它是拓扑不变性质，也是可商性质 定理418 设f: *Y是从连通空间*到拓扑空间Y的一个连续映射则f*是Y的一个连通子集证明 如果f*是Y的一个不连通子
10、集，则存在Y的非空隔离子集A和B使得f*A B于是A和B是*的非空子集，并且所以 A和B是 *的非空隔离子集此外，ABAB= (f(*)=*这说明*不连通与定理假设矛盾 拓扑空间的*种性质P称为有限可积性质，如果任意n0个拓扑空间都具有性质p，蕴涵着积空间也具有性质p例如，容易直接证明，如果拓扑空间都是离散空间平庸空间，则积空间也是离散空间平庸空间，因此我们可以说拓扑空间的离散性和平庸性都是有限可积性质 根据定理329以及紧随其后的说明可见：假设拓扑空间的*一个性质p是一个拓扑不变性质为了证明性质p是一个有限可积性质我们只要证明任何两个具有性质p的拓扑空间的积空间也是具有性质p的拓扑空间定理4
11、19设是n个连通空间则积空间也是连通空间 证明 根据前一段中的说明，我们只要对于n=2的情形加以证明 首先我们指出：如果两个点有一个坐标一样，则有一个连通子集同时包含*和y不失一般性，设 定义映射k：使得对于任何有由于是取常值的映射，为恒同映射，它们都是连续映射，其中分别是到第 1和第 2个坐标空间的投射因此，k是一个连续映射根据定理418，k()是连通的此外易见，因此它同时包含 *和y 现在来证明：中任何两个点同时属于的*一个连通子集这是因为这时假设令，则根据前段结论，可见有的一个连通子集同时包含 *和 z，也有的一个连通子集同时包含y和z由于z，所以根据定理41. 6，是连通的，它同时包含
12、*和y 于是应用定理417可见是一个连通空间由于n维欧氏空间是n个实数空间R的笛卡儿积，而实数空间R又是一个连通空间，所以应用这个定理可见，n维欧氏空间是一个连通空间 作业: P.116 3. 5. 6. 8. 14.42 连通性的*些简单应用本节重点: 掌握实数空间R中的连通子集的形状 掌握实数空间R的子集中常见的连通子集与不连通子集.掌握常见的几种空间的同胚与否的事实. 让我们回忆实数集合R中区间的准确定义：R的子集E称为一个区间，如果它至少包含两个点，并且如果a，bE，ab，则有 a，b=*R | a*bE读者熟知，实数集合R中的区间共有以下九类： -，a，a，-，a，(-，a a，b，
13、a，b，a，b，a，b因为，一方面以上九类集合中的每一个显然都是区间；另一方面，如果ER是一个区间，可视E有无上下界，以及在有上下界的情形下视其上下确界是否属于E，而将E归入以上九类之一在定理412中我们证明了实数空间R是一个连通空间由于区间a，a和a，b都同胚于R请读者自己写出必要的同胚映射，所以这些区间也都是连通的；由于根据定理415可见区间a，a，a，b，a，b和a，b都是连通的另一方面，假设E是R的一个子集，并且它包含着不少于两个点如果E不是一个区间，则, 也就是说,存在acb,使得；从而，假设令 A=，cE，B=(c，)E则可见A和B都是E的非空开集，并且有AB=E和AB=，因此E不连通. 综合以上两个方面，我们已经证明了： 定理421 设E是实数空间R的一个子集E是包含着不少于两个点的一个连通子集当且仅当E是一个区间 定理422设*是一个连通空间，f: *R是一个连续映射则f(*)是R中的一个区间因此，如果*，y*，则对于f(*)与f(y)之间的任何一个实数t即当f(*)f(y)时，f(*)tf(y)；当f(y)f(*)时，f(y)tf(*)，存在z*使得f(z)=t 证明 这个定理的第一段是定理418和定理4
