《《点集拓扑学》第7章 §7.4 几种紧致性以及其间的关系》由会员分享，可在线阅读，更多相关《《点集拓扑学》第7章 §7.4 几种紧致性以及其间的关系（5页珍藏版）》请在金锄头文库上搜索。
1、7.4 几种紧致性以及其间的关系本节重点:掌握新定义的几种紧致性的定义及它们之间的关系读者已从数学分析的学习中知道了以下命题：实数空间 中的一个子集A如果满足以 下条件（l）（4）中的任何一条，则满足其他的几条（l）A是一个有界闭集；（2）A的每一个开覆盖都有有限子覆盖；（3）A中的每一个无限子集都有凝聚点在A中；（4）A中的每一个序列都有收敛的子序列收敛于A中的点这几个条件的重要意义，读者应当早就有所体会了不难发现这四条中以惟有（l）中 涉及的概念有赖于度量，其余（2），（3）和（4）三条中所涉及的概念都只是牵连到拓 扑我们当然希望在一般的拓扑空间中还能建立条件（2），（3）和（4）的等价性
2、；假如 不能，讨论在何种条件下它们等价也是一件有意义的事本节我们研究这个问题为了研 究问题时的方便，引进以下条件（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是一个可数
3、紧致空间为了证明它是一个列紧空间，我们只要证明它的每 一个可数的无限子集都有凝聚点，现在用反证法来证明这一点假设X有一个可数无限子 集A没有凝聚点首先这蕴涵A是一个闭集此外对于每一个aA，由于a不是A的凝聚 点，所以存在a的一个开邻域 使得 A=a于是集族 |aA 是X的一个开覆盖由于X是可数紧致空间，它有一个有限子覆盖，不妨设为 由于 与A无交，所以 必定覆盖A因此，A=( )A=a1,a2,an是一个有限集这是一个矛盾定义7.4.3 设 是一个由集合构成的序列，如果它满足条件： 对于 每一个iZ+成立，即则称序列 是一个下降序列 在某一个拓扑空间中的一个由非空闭集构成的下降序列也叫做一个非
4、空闭集下降序列引理7.4.4 设X是一个拓扑空间则拓扑空间X是一个可数紧致空间当且仅当由 X中任何一个非空闭集下降序列 ，有非空的交，即证明 设可数紧致空间X中的非空闭集下降序列 使得 于是是X的一个开覆盖，它有一个有限子覆盖，设为 由此可得这是一个矛盾另一方面，设拓扑空间X中的每一个非空闭集下降序列都有非空的交如果X不是一 个可数紧致空间，则X有一个可数开覆盖，设为 ，没有有限子覆盖对于每 一个iZ+，令则 也是X的一个开覆盖，没有有限子覆盖，并且满足条件： 因此 是一个非空闭集下降序列，所以 由此可见 也就 是说 不是X的一个覆盖，这是一个矛盾 定理7.4.5 每一个列紧的 空间都是可数紧
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是一个序列紧
6、致空间定理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的每一个可数开覆盖都有有限子覆盖；（3）A中的每一个序列都有子序列收敛于A中的点；（4）A中的每一个无限子集都有凝聚点在A中特别，对于n维欧氏空间 的子集以上推论成立，并且推论中的每一个条件都等 价于A是一个有界闭集作业:P201 1
