§7.2 紧致性与分离性公理
本节重点:
掌握紧致空间中各分离性公理的关系;
掌握Hausdorff空间中紧致子集的性质.
在本节中我们把第六章中研究的诸分离性公理和紧致性放在一起进行考察、我们将会发现在紧致空间中分离性公理变得十分简单了.此外在本节的后半部分,我们给出从紧致空间到Hausdorff空间的连续映射的一个十分重要的性质.
定理7.2.1 设X是一个Hausdorff空间.如果A是X的一个不包含点x∈X的紧致子集,则点x和紧致子集A分别有开邻域U和V使得U∩V=.
证明 设A是一个紧致子集,x∈.对于每一个y∈A,由于X是一个Hausdorff空间,故存在x的一个开邻域
和y的一个开邻域
.集族{
|y∈A}明显是紧致子集A的一个开覆盖,它有一个有限子族,设为 {
},覆盖A.令
,它们分别是点x和集合A的开邻域.此外,由于对于每一个i=1,2,…,n有:
<