第6章 分离性公理
§6.1
,Hausdorff空间
本节重点: 掌握
空间的定义及它们之间的不同与联系;
掌握各空间的充要条件; 熟记常见的各种
与前两章的连通性公理和可数性公理一样,分离性公理也是拓扑不变性质。
回到在第二章中提出来的,“什么样的拓扑空间的拓扑可以由它的某一个度量诱导出来”这一问题.
为了回答这个问题势必要求我们对度量空间的拓扑性质有充分的了解.我们将会发现,本章中所提到的诸分离性公理,实际上是模仿度量空间的拓扑性质逐步建立起来的.对诸分离性的充分研究使我们在§6.5中能够对于前述问题作一个比较深刻的(虽然不是完全的)回答.
引入:
例 对于度量空间X,如果x,y∈X,? x、y ,当x ≠ y时 ,x、y之间应该有一个距离,这个距离用d(x,y)表示,
定义6.1.1 设X是一个拓扑空间,如果X中的任意两个不相同的点中必有一个点有一个开邻域不包含另一个点(即如果x,y∈X,x≠y,则或者x有一个开邻域U使得yU,或者y有一个开邻域V使得xV),则称拓扑空间X是一个
空间.
空间.
1
拓扑空间自然不必都是是
空间.
定理6.1.1 拓扑空间X是一个
空间当且仅当X中任意两个不同的单点
.)
空间,例如包含着不少于两个点的平庸空间就不
集有不同的闭包.(即如果x,y∈X,x≠y,则
证明 充分性:设定理中的条件成立.则对于任何x,y∈X,x≠y,由于
,因此或者
必定有
.(因为否则
成立,或者
成立.当前者成立时,
).这推出x
.同理,当后者成立时,y有一个不包含x的开空间.
有一个不包含y的开邻域邻域
.这证明X是一个
必要性:设X是一个使得
空间.若x,y∈X,x≠y,则或者x有一个开邻域U
.若属前一种情形,由于
.
或者y有一个开邻域V使得
,若属后一种情形,同样也有
定义6.1.2 设X是一个拓扑空间.如果X中的任意两个不相同的点中每一个点都有一个开邻域不包含另一个点,则称拓扑空间X是一个
空间当然是
空间.但反之不然.例如设X={0,1},T={
的但不是
空间. ,{0},X},则T是X的一个拓扑,并且拓扑空间(X,T)是的.(请读者自己验证,)
定理6.1.2 设X是一个拓扑空间,则以下条件等价: (1)X是一个
空间;
(2)X中每一个单点集都是闭集;
2
(3)X中每一个有限子集都是闭集. 证明 (1)蕴涵(2).设x∈X.当X是一个y≠x,点x有一个邻域U使得
,即
空间时,对于任何y∈X,
.这
证明单点集{x}是一个闭集.
(2)蕴涵(3).这是显然的.因为有限个闭集的并仍然是闭集.
(3)蕴涵(1).设x,y∈X,x≠y,当(3)成立时单点集{x}和{y}都是闭集.从而
分别是y和x的开邻域,前者不包含x,后者不包含y.这就证明了
X是一个空间.
下面的两个定理表明,空间中关于凝聚点和序列收敛的性质和我们在数学分析中熟知的多了一些类似之处. 定理6.1.3 设X是一个
空间.则点x∈X是X的子集A的一个凝聚点
当且仅当x的每一个邻域U中都含有A中的无限多个点,即U∩A是一个无限集. 证明 定理充分性部分是明显的.以下证明必要性部分.假设x∈X,x∈d(A).如果x有一个开邻域U使得U∩A是一个有限集,则集合B=U∩A-{x}也是一个有限集,因此是一个闭集.因此U-B是一个开集,并且是x的一个邻域.此外易见
(U-B)∩(A-{x})=
定理6.1.4 设X是一个(即集合{
空间.则X中的一个由有限个点构成的序列{
}
.这蕴含着x不是A的凝聚点,与假设矛盾.
|i∈Z+}是一个有限集)收敛于点x∈X当且仅当存在N>0使得
=x对于任何i≥N成立.
3
证明 由于X是一个所以是一个闭集.从而
,因而
=x.
空间,集合A={|≠x,i=1,2?}是一个有限集,
是x的一个开邻域.于是存在N>0使得当i≥N有
定义6.1.3 设X是一个拓扑空间.如果X中任何两个不相同的点各自有一个开邻域使得这两个开邻域互不相交(即如果x,y∈X,x≠y,则点x有一个开邻域U,点y有一个开邻域V,使得U∩V=Hausdorff空间,或
空间.
空间,但反之不然.
空间的例子.
),则称拓扑空间X是一个
hausdorff空间一定是
例6.1.1 非Hausdorff的
设X是一个包含着无限多个点的有限补空间.由于X中的每一个有限子集都是闭集,因此它是一个
空间.然而在拓扑空间X中任何两个非空的开集一
定会有非空的交.这是因为X中每一个非空开集都是X中的有限子集的补集,而X又是一个无限集的缘故.由此易见X必然不是一个
空间.
定理6.1.5 Hausdorff空间中的任何一个收敛序列只有一个极限点. 证明 设{
}是Hausdorff空间X中的一个序列,并且有
于是对于j=1,2,点
使得max{
.故存在}.可见
>O使得当i≥
时有
有一个开邻域.任意选取M>
,
,这是一个矛盾.
但在空间中定理6.1.5却可以不成立.例如设拓扑空间X如例6.1.1中所述,{
}是X中的任何一个由两两不同的点构成的序列,即当i≠j时有
是一个有限集,
.此时对于任何y∈X和y的任一邻域U,由于U的补集
4