《点集拓扑学》第6章 §6.1,Hausdorff空间

第6章分离性公理6.1,Hausdorff空间本节重点:掌握空间的定义及它们之间的不同与联系；掌握各空间的充要条件；熟记常见的各种空间.现在我们回到我们在第二章中提出来的什么样的拓扑空间的拓扑可以由它的某一个度量诱导出来这一问题为了回答这个问题势必要求我们对度量空间的拓扑性质有充分的了解读者将会发现，本章中所提到的诸分离性公理，实际上是模仿度量空间的拓扑性质逐步建立起来的对诸分离性的充分研究使我们在6.5中能够对于前述问题作一个比较深刻的（虽然不是完全的）回答定义6.1.1设X是一个拓扑空间，如果X中的任意两个不相同的点中必有一个点有一个开邻域不包含另一个点（即如果x，yX，xy,则或者x有一个开邻域U使得yU,或者y有一个开邻域V使得xV)，则称拓扑空间X是一个空间拓扑空间自然不必都是空间，例如包含着不少于两个点的平庸空间就不是空间定理6.1.1拓扑空间X是一个空间当且仅当X中任意两个不同的单点集有不同的闭包（即如果x，yX，xy，则）证明充分性:设定理中的条件成立则对于任何x，yX，xy，由于，因此或者成立，或者成立当前者成立时，必定有（因为否则).这推出x有一个不包含y的开邻域同理，当后者成立时，y有一个不包含x的开邻域这证明X是一个空间必要性:设X是一个空间若x，yX，xy，则或者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）设xX当X是一个空间时，对于任何yX，yx，点x有一个邻域U使得，即.这证明单点集x是一个闭集（2）蕴涵（3）这是显然的.因为有限个闭集的并仍然是闭集.（3）蕴涵（1）设x,yX,xy,当(3)成立时单点集x和y都是闭集从而分别是y和x的开邻域，前者不包含x，后者不包含y这就证明了X是一个空间.下面的两个定理表明，空间中关于凝聚点和序列收敛的性质和我们在数学分析中熟知的多了一些类似之处定理6.1.3设X是一个空间则点xX是X的子集A的一个凝聚点当且仅当x的每一个邻域U中都含有A中的无限多个点,即UA是一个无限集证明定理充分性部分是明显的以下证明必要性部分假设xX,xd(A)如果x有一个开邻域U使得UA是一个有限集，则集合B=UA-x也是一个有限集，因此是一个闭集因此UB是一个开集，并且是x的一个邻域此外易见(UB)(A-x)=.这蕴含着x不是A的凝聚点,与假设矛盾定理6.1.4设X是一个空间则X中的一个由有限个点构成的序列（即集合|iZ+是一个有限集）收敛于点xX当且仅当存在N0使得=x对于任何iN成立证明由于X是一个空间，集合A|x,i=1,2是一个有限集，所以是一个闭集从而是x的一个开邻域于是存在N0使得当iN有，因而=x.定义6.1.3设X是一个拓扑空间如果X中任何两个不相同的点各自有一个开邻域使得这两个开邻域互不相交（即如果x，yX，xy，则点x有一个开邻域U，点y有一个开邻域V，使得UV=），则称拓扑空间X是一个Hausdorff空间，或空间hausdorff空间一定是空间，但反之不然例6.1.1非Hausdorff的空间的例子设X是一个包含着无限多个点的有限补空间由于X中的每一个有限子集都是闭集，因此它是一个空间然而在拓扑空间X中任何两个非空的开集一定会有非空的交这是因为X中每一个非空开集都是X中的有限子集的补集，而X又是一个无限集的缘故由此易见X必然不是一个空间定理6.1.5Hausdorff空间中的任何一个收敛序列只有一个极限点证明设是Hausdorff空间X中的一个序列，并且有于是对于j1，2，点有一个开邻域，使得故存在O使得当i时有任意选取Mmax可见，这是一个矛盾但在空间中定理6.1.5却可以不成立例如设拓扑空间X如例6.1.1中所述，是X中的任何一个由两两不同的点构成的