《点集拓扑讲义》第六章 分离性公理 学习笔记

第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使得y U,或者y有一个开邻域V使得x V)，则称拓扑空间X 是一个空间．

拓扑空间自然不必都是空间，例如包含着不少于两个点的平庸空间就不是空间．

定理6.1.1 拓扑空间X是一个空间当且仅当X中任意两个不同的单点

集有不同的闭包．（即如果x，y∈X，x≠y，则．）

证明充分性:设定理中的条件成立．则对于任何x，y∈X，x≠y，由于

，因此或者成立，或者成立．当前者成立时，必定有．（因为否则).这推出x 有一个不包含y的开邻域．同理，当后者成立时，y有一个不包含x的开邻域．这证明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中每一个单点集都是闭集；

（3）X中每一个有限子集都是闭集．

证明（1）蕴涵（2）．设x∈X．当X是一个空间时，对于任何y∈X，

y≠x，点x有一个邻域U使得，即.这

证明单点集{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})=.这蕴含着x不是A的凝聚点,与假设矛盾．

定理6.1.4 设X是一个空间．则X中的一个由有限个点构成的序列{}

（即集合{|i∈Z+}是一个有限集）收敛于点x∈X当且仅当存在N＞0使得

=x对于任何i≥N成立．

证明由于X是一个空间，集合A＝{|≠x,i=1,2…}是一个有限集，所以是一个闭集．从而是x的一个开邻域．于是存在N＞0使得当i≥N有

，因而=x.

定义6.1.3 设X是一个拓扑空间．如果X中任何两个不相同的点各自有一个开邻域使得这两个开邻域互不相交（即如果x，y∈X，x≠y，则点x有一

个开邻域U，点y有一个开邻域V，使得U∩V=），则称拓扑空间X是一个Hausdorff空间，或空间．

hausdorff空间一定是空间，但反之不然．

例6.1.1 非Hausdorff的空间的例子．

设X是一个包含着无限多个点的有限补空间．由于X中的每一个有限子集都是闭集，因此它是一个空间．然而在拓扑空间X中任何两个非空的开集一定会有非空的交．这是因为X中每一个非空开集都是X中的有限子集的补集，而X又是一个无限集的缘故．由此易见X必然不是一个空间．定理6.1.5 Hausdorff空间中的任何一个收敛序列只有一个极限点．

证明设{}是Hausdorff空间X中的一个序列，并且有

于是对于j＝1，2，点有一个开邻域，使得．故存在＞O使得当i≥时有．任意选取M＞max{}．可见，这是一个矛盾．但在空间中定理6.1.5却可以不成立．例如设拓扑空间X如例6.1.1中所述，{}是X中的任何一个由两两不同的点构成的序列，即当i≠j时有

.此时对于任何y∈X和y的任一邻域U,由于U的补集是一个有限集，

所以存在N＞0使得当i≥N时有∈U．于是lim=y．也就是说，序列{}收敛于X中的任何一个点．

作业:

P155 3.4.5.

§6.2正则，正规，空间

本节重点：

掌握各空间的定义、充要条件及之间的联系．

我们先将点的邻域的定义推广到对于集合有效．

定义6.2.1 设X是一个拓扑空间，A，U X．如果A包含于U的内部，即

A，则称集合U是集合A的一个邻域．如果U是A的一个邻域，并且还是

一个开集（闭集），则称U是A的一个开（闭）邻域．

定义6.2.2 设X是一个拓扑空间．如果X中的任何一个点和任何一个不包含这个点的闭集都各有一个开邻域，它们互不相交（即如果x∈X和A X是一个闭集，使得x A，则存在x的一个开邻域U和A的一个开邻域V使得

)，则称拓扑空间X是一个正则空间．

定理6.2.1 设X是一个拓扑空间．则X是一个正则空间当且仅当对于任何点x∈X和x的任何一个开邻域U，存在x的一个开邻域V使得．证明必要性设X是一个正则空间．如果x∈X，集合U是x的一个开邻域，则U的补集便是一个不包含点x的闭集．于是x和分别有开邻域使得．从而，所以

充分性设x∈X和A是一个不包含x的闭集．这时A的补集是x的一个开邻域，根据定理中所陈述的条件可见，有x的开邻域U使得．令

，所以V是A的一个开邻域，并且易见．这证明X是一个正则空间．