《点集拓扑学》第7章 §7.2 紧致性与分离性公理.doc

7.2紧致性与分离性公理本节重点:掌握紧致空间中各分离性公理的关系；掌握Hausdorff空间中紧致子集的性质.在本节中我们把第六章中研究的诸分离性公理和紧致性放在一起进行考察、我们将会发现在紧致空间中分离性公理变得十分简单了此外在本节的后半部分，我们给出从紧致空间到Hausdorff空间的连续映射的一个十分重要的性质定理7.2.1设X是一个Hausdorff空间如果A是X的一个不包含点xX的紧致子集，则点x和紧致子集A分别有开邻域U和V使得UV=证明设A是一个紧致子集，x对于每一个yA，由于X是一个Hausdorff空间，故存在x的一个开邻域和y的一个开邻域集族|yA明显是紧致子集A的一个开覆盖，它有一个有限子族，设为 ，覆盖A令，它们分别是点x和集合A的开邻域此外，由于对于每一个i=1，2，n有：所以推论7.2.2Hausdorff空间中的每一个紧致子集都是闭集证明设A是Hausdorff空间X的一个紧致子集对于任何xX，如果xA，则根据定理7.2.1可见x不是A的凝聚点因此凡A的凝聚点都在A中，从而A是一个闭集推论7.2.2结合定理7.1.5可见：推论7.2.3在一个紧致的Hausdorff空间中，一个集合是闭集的充分必要条件是它是一个紧致子集为了加强读者对定理7.1.5，推论7.2.2和推论7.2.3中的几个简单而常用的结论的印象，重新简明地列举如下：紧致空间：闭集紧致子集Hausdorff空间：闭集紧致子集紧致的hausdorff空间：闭集紧致子集推论7.2.4每一个紧致的Haudorff空间都是正则空间证明设A是紧致的Hausdorff空间X的一个闭子集，x是X中的一个不属于集合A的点由于紧致空间中的闭子集是紧致的（参见定理7.1.5），所以A是一个紧致子集又根据定理7.2.1，点x和集合A分别有开邻域U和V使得UV=这就证明了X是一个正则空间定理7.2.5设X是一个Hausdorff空间如果A和B是X的两个无交的紧致子集，则它们分别有开邻域U和V使得UV=证明设A和B是X的两个无交的紧致子集对于任何xA，根据定理7.2.1，点x和集合B分别有开邻域集族|xA是紧致子集A的一个开覆盖，它有一个有限子族，设为 ，覆盖A令由于对于每一个i1，2，n有V=，所以UV=由于Hausdorff空间的每一个闭子集都是紧致子集，所以根据定理7.2.5立即有：推论7.2.6每一个紧致的Hausdorff空间都是的，这个结论也可以根据推论7.2.4和定理6.4.3直接推出根据这个推论联系着表6.1并且留意到每一个紧致空间都是Lindeloff空间这一事实，我们可有图表7.1从这个图表中可以看出，在紧致空间中分离性公理显得特别简单图表7.1：紧致空间中的分离性公理定理7.2.7设X是一个正则空间如果A是X中的一个紧致子集，U是A的一个开邻域，则存在A的一个开邻域V使得证明设A是正则空间X中的一个紧致子集，U是A的一个开邻域对于任何xA，点x有一个开邻域使得集族|xA是紧致子集A的一个开覆盖，它有有限子族，设为 ，覆盖A令，它是A的一个开邻域，并且 根据这个定理立即可见，每一个紧致的正则空间都是正规空间然而这并不是什么新结论，因为每一个紧致空间都是Lindeloff空间，所以它明显地蕴涵于定理6.4.3中然而紧致的正规空间可以不是正则空间例子见于例623在那个正规而非正则空间的例子中的拓扑空间只含有有限多个点，当然会是紧致的定理7.2.8从紧致空间到Hausdorff空间的任何一个连续映射都是闭映射证明设X是一个紧致空间，Y是一个Hausdorff空间，f:XY是一个连续映射如果A是紧致空间X中的一个闭子集则它是紧致的（参见定理 7.1.5），因此它的象集f（A）是Hausdorff空间Y中的一个紧致子集（参见定理7.1.4），所以又是闭集（参见推论7.2.2）这证明f是一个闭映射因为一个既