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

1、§ 7.2紧致性与分离性公理本节重点：掌握紧致空间中各分离性公理的关系;掌握Hausdoff空间中紧致子集的性质.在本节中我们把第六章中研究的诸分离性公理和紧致性放在一起进行考察、我们将会发现在紧致空间中分离性公理变得十分简单了.此外在本节的后半部分，我们给出从紧致空间到Hausdorff空间的连续映射的一个十分重要的性质.资料个人收集整理，勿做商业用途定理7.2.1 设X是一个Hausdoff空间.如果A是X的一个不包含点xX的紧 致子集，则点x和紧致子集A分别有开邻域 U和V使得UQ V=0 .资料个人收集整理，勿做商业用途证明 设A是一个紧致子集，x 才.对于每一个 y A，由

2、于X是一个Hausdoff空间，故存在x的一个开邻域S和y的一个开邻域 ZS.集族久 A明显是紧致子集A的一个开覆盖，它有一个有限子族，设为，覆盖A.令U 0卩炉卩5为，它们分别是点x和集合A的开邻域.此外，由于对于每一个i=1 ,2,，n有:资料个人收集整理，勿做商业用途所以九卩=码2（眄2）u皿叫）=0推论7.2.2 Hausdorff空间中的每一个紧致子集都是闭集.证明 设A是Hausdoff空间X的一个紧致子集对于任何 x X，如果xA，则根据 定理7.2.1可见x不是A的凝聚点因此凡 A的凝聚点都在 A中，从而A是一个闭集.资料 个人收集整理，勿做商业用途推论7.2.2结合定理7.1

3、.5可见:推论7.2.3 在一个紧致的Hausdorff空间中，一个集合是闭集的充分必要条件是 它是一个紧致子集.资料个人收集整理，勿做商业用途为了加强读者对定理7.1.5 ,推论7.2.2和推论7.2.3中的几个简单而常用的结论的印象，重新简明地列举如下：资料个人收集整理，勿做商业用途紧致空间：闭集二紧致子集Hausdorff 空间：闭集 <=紧致子集紧致的hausdo市 空间：闭集 紧致子集推论7.2.4每一个紧致的Haudorff空间都是正则空间.证明 设A是紧致的Hausdorff空间X的一个闭子集，x是X中的一个不属于集合 A的 点.由于紧致空间中的闭子集是紧致的（参见定理 7

4、.1.5 ），所以A是一个紧致子集.又根 据定理7.2.1，点x和集合A分别有开邻域 U和V使得un V=0 .这就证明了 X是一个正则空间.资料个人收集整理，勿做商业用途定理7.2.5 设X是一个Hausdorff空间.如果A和B是X的两个无交的紧致子集, 则它们分别有开邻域 U和V使得un V=0 .资料个人收集整理，勿做商业用途证明 设A和B是X的两个无交的紧致子集对于任何x A,根据定理7.2.1，点x和集合B分别有开邻域U 必集族 S |x A是紧致子集A的一个开覆盖，它有一个有限子族，设为 %心 ，覆盖 A.令资料个人收集整理，勿做商业用途由于对于每一个I 1, 2,，n有 4 n

5、 v=0 ，所以 un v=0 .725立即有:由于Hausdorff空间的每一个闭子集都是紧致子集，所以根据定理推论7.2.6 每一个紧致的Hausdorff空间都是E的,这个结论也可以根据推论7.2.4和定理6.4.3直接推出.根据这个推论联系着表6.1并且留意到每一个紧致空间都是Lin deloff空间这一事实，我们可有图表7.1 .从这个图表中可以看出，在紧致空间中分离性公理显得特别简单.资料个人收集整理，勿做商业用途图表7.1 :紧致空间中的分离性公理4 / 4坚致空时门空间 令I匚空间I正规空间<=完全正则空f可<=>正则空间定理7.2.7 设X是一个正则空间.如

6、果 A是X中的一个紧致子集，U是A的一个开邻域，则存在A的一个开邻域V使得 VcU. 资料个人收集整理，勿做商业用途证明 设A是正则空间X中的一个紧致子集，U是A的一个开邻域.对于任何x A,点 x有一个开邻域F使得E匚"集族%Nx A是紧致子集A的一个开覆盖，它有有限子族，设为也，覆盖A令"二U：”，它是A的一个开邻域，并且 资料个人收集 整理，勿做商业用途根据这个定理立即可见，每一个紧致的正则空间都是正规空间.然而这并不是什么新结论，因为每一个紧致空间都是Lindeloff 空间，所以它明显地蕴涵于定理6.4.3中.资料个人收集整理，勿做商业用途然而紧致的正规空间可以不是正则空间.例子见于例6. 2. 3.在那个正规而非正则空间的例子中的拓扑空间只含有有限多个点，当然会是紧致的.资料个人收集整理，勿做商业用途定理7.2.8从紧致空间到Hausdorff空间的任何一个连续映射都是闭映射.如果f（ A）7.1.5 ），因此它的象集7.1.4 ），所以又是闭集（参见推论 资料个人收集整理，勿做商业用途证明 设X是一个紧致空间，丫是一个Hausdo市 空间，f:X 7Y是一个连续映射. A是紧致空间X中的一个闭子集.则它是紧致的（参见定理 是Hausdorff空间丫中的一个紧致子集（参见定理7.2