《点集拓扑学》第7章 §7.4 几种紧致性以及其间的关系.doc_第1页
《点集拓扑学》第7章 §7.4 几种紧致性以及其间的关系.doc_第2页
《点集拓扑学》第7章 §7.4 几种紧致性以及其间的关系.doc_第3页
《点集拓扑学》第7章 §7.4 几种紧致性以及其间的关系.doc_第4页
免费预览已结束,剩余1页可下载查看

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

7.4几种紧致性以及其间的关系本节重点:掌握新定义的几种紧致性的定义及它们之间的关系读者已从数学分析的学习中知道了以下命题:实数空间中的一个子集A如果满足以下条件(l)(4)中的任何一条,则满足其他的几条(l)A是一个有界闭集;(2)A的每一个开覆盖都有有限子覆盖;(3)A中的每一个无限子集都有凝聚点在A中;(4)A中的每一个序列都有收敛的子序列收敛于A中的点这几个条件的重要意义,读者应当早就有所体会了不难发现这四条中以惟有(l)中涉及的概念有赖于度量,其余(2),(3)和(4)三条中所涉及的概念都只是牵连到拓扑我们当然希望在一般的拓扑空间中还能建立条件(2),(3)和(4)的等价性;假如不能,讨论在何种条件下它们等价也是一件有意义的事本节我们研究这个问题为了研究问题时的方便,引进以下条件(5)作为讨论的中间站(5)A的每一个可数开覆盖都有有限子覆盖定义7.4.l设X是一个拓扑空间如果X的每一个可数开覆盖都有有限子覆盖,则称拓扑空间X是一个可数紧致空间以下两个定理的证明十分容易,请读者自己补证定理7.4.1每一个紧致空间都是可数紧致空间定理7.4.2每一个Lindeloff的可数紧致空间都是紧致空间定义7.4.2设X是一个拓扑空间如果X的每一个无限子集都有凝聚点,则称拓扑空间X是一个列紧空间定理7.4.3每一个可数紧致空间都是列紧空间证明设X是一个可数紧致空间为了证明它是一个列紧空间,我们只要证明它的每一个可数的无限子集都有凝聚点,现在用反证法来证明这一点假设X有一个可数无限子集A没有凝聚点首先这蕴涵A是一个闭集此外对于每一个aA,由于a不是A的凝聚点,所以存在a的一个开邻域 使得 A=a于是集族|aA是X的一个开覆盖由于X是可数紧致空间,它有一个有限子覆盖,不妨设为 由于与A无交,所以必定覆盖A因此,A=()A=a1,a2,an是一个有限集这是一个矛盾定义7.4.3设是一个由集合构成的序列,如果它满足条件:对于每一个iZ+成立,即则称序列是一个下降序列在某一个拓扑空间中的一个由非空闭集构成的下降序列也叫做一个非空闭集下降序列引理7.4.4设X是一个拓扑空间则拓扑空间X是一个可数紧致空间当且仅当由X中任何一个非空闭集下降序列 ,有非空的交,即证明设可数紧致空间X中的非空闭集下降序列 使得于是是X的一个开覆盖,它有一个有限子覆盖,设为由此可得 这是一个矛盾另一方面,设拓扑空间X中的每一个非空闭集下降序列都有非空的交如果X不是一个可数紧致空间,则X有一个可数开覆盖,设为 ,没有有限子覆盖对于每一个iZ+,令 则也是X的一个开覆盖,没有有限子覆盖,并且满足条件:因此是一个非空闭集下降序列,所以由此可见也就是说不是X的一个覆盖,这是一个矛盾定理7.4.5每一个列紧的空间都是可数紧致空间证明设X是一个列紧的空间如果X不是一个可数紧致空间,则根据引理7.4.4,X中有一个非空闭集下降序列,使得在每一个中选取一点,并且考虑集合A=如果A是一个有限集,则必有一点xA和一个正整数的严格递增序列n1,n2,使得于是对于任何iZ+有x这是因为, 于是x,这与反证假设矛盾设A是一个无限集由于X是一个列紧空间,所以A有一个凝聚点,设为y由于X是一个空间(它的每一个有限子集都是闭集),易见对于每一个iZ+,点y也是集合的一个凝聚点;又由于这也与反证假定矛盾定义7.4.4设X是一个拓扑空间如果X中的每一个序列都有一个收敛的子序列,称拓扑空间X是一个序列紧致空间定理7.4.6每一个序列紧致空间都是可数紧致空间证明设X是一个序列紧致空间,是X中的一个非空闭集下降序列在每对于每一个iZ+,根据引理7.4.4X是一个可数紧致空间定理7.4.7每一个满足第一可数性公理的可数紧致空间都是序列紧致空间证明设X是一个满足第一可数性公理的可数紧致空间,设对于每一个iZ+,令和于是是拓扑空间X中的一个非空闭集下降序列,因此根据引理7.4.4,我们有由于X满足第一可数性公理,根据定理5.1.8,在点x处有一个可数邻域基 满足条件:对于任意jZ+成立令对于每一个il,令,于是是一个严格递增的正整数序列并且对于每一个iZ+成立我们来证明序列的子序列收敛于x:设U是x的一个邻域存在某一个kZ+,使得,于是当ik时我们有根据本节中的各个定理,我们可以得到图表7.2根据这个表立即可以知:推论7.4.8设X是一个满足第二可数性公理的空间,A是X的一个子集则下列条件等价:(l)A的每一个开覆盖都有有限子覆盖;(2)A的每一个可数开覆盖都有有限子覆盖;

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论