资源描述：
《《点集拓扑学》第6章 §6.1 ,Hausdorff空间.doc》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、第6章 分离性公理§6.1 ,Hausdorff空间 本节重点: 掌握空间的定义及它们之间的不同与联系； 掌握各空间的充要条件； 熟记常见的各种空间. 现在我们回到我们在第二章中提出来的什么样的拓扑空间的拓扑可以由它的某一个度量诱导出来这一问题．为了回答这个问题势必要求我们对度量空间的拓扑性质有充分的了解．读者将会发现，本章中所提到的诸分离性公理，实际上是模仿度量空间的拓扑性质逐步建立起来的．对诸分离性的充分研究使我们在§6.5中能够对于前述问题作一个比较深刻的（虽然不是完全的）回答． 定义6.1.1
2、 设X是一个拓扑空间，如果X中的任意两个不相同的点中必有一个点有一个开邻域不包含另一个点（即如果x，y∈X，x≠y,则或者x有一个开邻域U使得yU,或者y有一个开邻域V使得xV)，则称拓扑空间X是一个空间． 拓扑空间自然不必都是空间，例如包含着不少于两个点的平庸空间就不是空间． 定理6.1.1 拓扑空间X是一个空间当且仅当X中任意两个不同的单点集有不同的闭包．（即如果x，y∈X，x≠y，则．） 证明 充分性:设定理中的条件成立．则对于任何x，y∈X，x≠y，由于，因此或者成立，或者成立．当前者成立时，必定有
3、．（因为否则).这推出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)是
4、的但不是的．（请读者自己验证，） 定理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，后者
5、不包含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)
6、∩(A-{x})=.这蕴含着x不是A的凝聚点,与假设矛盾． 定理6.1.4 设X是一个空间．则X中的一个由有限个点构成的序列{}（即集合{
7、i∈Z+}是一个有限集）收敛于点x∈X当且仅当存在N＞0使得=x对于任何i≥N成立． 证明 由于X是一个空间，集合A＝{
8、≠x,i=1,2…}是一个有限集，所以是一个闭集．从而是x的一个开邻域．于是存在N＞0使得当i≥N有，因而=x. 定义6.1.3 设X是一个拓扑空间．如果X中任何两个不相同的点各自有一个开邻域使得这两个开邻域互不相交（即如果x，y∈X，x≠y，则点x
9、有一个开邻域U，点y有一个开邻域V，使得U∩V=），则称拓扑空间X是一个Hausdorff空间，或空间． hausdorff空间一定是空间，但反之不然． 例6.1.1 非Hausdorff的空间的例子． 设X是一个包含着无限多个点的有限补空间．由于X中的每一个有限子集都是闭集，因此它是一个空间．然而在拓扑空间X中任何两个非空的开集一定会有非空的交．这是因为X中每一个非空开集都是X中的有限子集的补集，而X又是一个无限集的缘故．由此易见X必然不是一个空间． 定理6.1.5 Hausdorff空间中的任何一个收
10、敛序列只有一个极限点． 证明 设{}是Hausdorff空间X中的一个序列，并且有 于是对于j＝1，2，点有一个开邻域，使得．故存在＞O使得当i≥时有．任意选取M＞max{}．可见，这是一个矛盾． 但在空间中定理6.1.5却可以不成立．例如设拓扑空间X如例6.1.1中所述，{}是X中的任何一个由两两不同的点构成的序列，即当i≠j时有.此时对于任何y∈X和y的任一邻域U
