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

第6章分离性公理 § 6.1 二=,Hausdorff 空间 本节重点: 掌握2i.-2r-j空间的定义及它们之间的不同与联系; 掌握各空间的充要条件; 熟记常见的各种 熟记常见的各种 与前两章的连通性公理 和可数性公理一样，分离性公理 也是拓扑不变性 质。 回到在第二章中提出来的，“什么样的拓扑空间的拓扑可以由它的某一个 度量诱导出来”这一问题. 为了回答这个问题势必要求我们对度量空间的拓扑性质有充分的了解. 我 们将会发现，本章中所提到的诸分离性公理，实际上是模仿度量空间的拓扑性 质逐步建立起来的.对诸分离性的充分研究使我们在§ 6.5中能够对于前述问 题作一个比较深刻的（虽然不是完全的）回答. 引入： 例对于度量空间X，如果x，y€ X，? x、y，当xm y时，x、y之 间应该有一个距离，这个距离用 d（x,y）表示， 定义6.1.1 设X是一个拓扑空间，如果X中的任意两个不相同的点中必 有一个点有一个开邻域不包含另一个点（即如果 x，y€ X，xm y,则或者x有 一个开邻域U使得y；U,或者y有一个开邻域V使得x^V），则称拓扑空间X 是一个二空间. 拓扑空间自然不必都是 二空间，例如包含着不少于两个点的平庸空间就不 是二空间. 定理6.1.1 拓扑空间X是一个亠」空间当且仅当X中任意两个不同的单点 集有不同的闭包.(即如果 x, y€ X, xmy,则/.： !. .) 证明 充分性：设定理中的条件成立.则对于任何 x, y€ X, xmy,由于 上…，因此或者匚：成立，或者成立.当前者成立时， 必定有/ .(因为否则 -- .■- - : - : - : / - J). 这推出x 有一个不包含y的开邻域.同理，当后者成立时，y有一个不包含x的开 邻域J .这证明X是一个二空间. 必要性:设X是一个J空间.若x, y€ X, xmy,则或者x有一个开邻域U 使得「壬「或者y有一个开邻域V使得 .若属前一种情形，由于 ■----:-:，若属后一种情形，同样也有二丁 : . 定义6.1.2 设X是一个拓扑空间.如果X中的任意两个不相同的点中每 一个点都有一个开邻域不包含另一个点，则称拓扑空间 X是一个J空间. J空间当然是「-空间.但反之不然.例如设X={0,1} , T={ ,{0},X},则T 是X的一个拓扑，并且拓扑空间(X ,T)是二的但不是U的.(请读者自己验证，) 定理6.1.2 设X是一个拓扑空间，则以下条件等价: X是一个订空间； X中每一个单点集都是闭集； X中每一个有限子集都是闭集. 证明 (1)蕴涵(2).设x€ X.当X是一个‘1空间时，对于任何y€ X, 卄x,点x有一个邻域U使得:、,即】…匸一二一「-工一:一:-.这 证明单点集｛X｝ 是一 一个闭集. 蕴涵(3) ?这是显然的.因为有限个闭集的并仍然是闭集. 蕴涵(1).设x,y € X,x工y,当⑶成立时单点集｛x｝和｛y｝都是闭集.从 而分别是y和x的开邻域，前者不包含x,后者不包含y.这就证明了 X是一个订空间. F面的两个定理表明, F面的两个定理表明, :空间中关于凝聚点和序列收敛的性质和我们在数 学分析中熟知的多了一些类似之处. 定理6.1.3 设X是一个订空间.则点x€X是X的子集A的一个凝聚点 当且仅当x的每一个邻域U中都含有A中的无限多个点,即UAA是一个无限集 证明 定理充分性部分是明显的?以下证明必要性部分?假设 x€ X,x € d(A) ?如果x有一个开邻域U使得UAA是一个有限集，则集合 B=5A-｛x｝也是一个有限集，因此是一个闭集?因此 U- B是一个开集，并且 是x的一个邻域?此外易见 (U- B) n (A-｛x｝)= .这蕴含着x不是A的凝聚点,与假设矛盾. 定理6.1.4 设X是一个7空间.则X中的一个由有限个点构成的序列｛讣 (即集合「，|i € Z+｝是一个有限集)收敛于点x€X当且仅当存在N 0使得: =x对于任何i N成立. 证明 由于X是一个订空间，集合半x,i=1,2,｝是一个有限集， 所以是一个闭集?从而二是x的一个开邻域?于是存在 N0使得当i AN有 心C虫，因而Xj=x. 定义6.1.3 设X是一个拓扑空间?如果X中任何两个不相同的点各自有 一个开邻域使得这两个开邻域互不相交（即如果 x, y€ X, xm y,则点x有一 个开邻域U,点y有一个开邻域V,使得UP V=J），则称拓扑空间X是一个 Hausdorff空间，或I空间. hausdorff空间一定是辽空间，但反之不然. 例6.1.1 非Hausdorff的辽空间的例子. 设X是一个包含着无限多个点的有限补空间. 由于X中的每一个有限子集 都是闭集，因此它是一个 订空间.然而在拓扑空间X中任何两个非空的开集一