6.1 T0,T1,Hausdorff空间.PPTVIP

* §6.1 T0,T1,Hausdorff空间 §6.2 正则,正规,T3,T4空间 §6.3 U-引理和T-扩张定理 §6.4 完全正则空间,T-空间 §6.5 分离性公理与子空间 §6.6 可度量化空间 §6.1 T0 ,T1,Hausdorff空间 定义 6.1.1 X 是一个拓扑空间, 如果对于X中任意两个不同的点中必有一个点有一个开邻域不包含另 一点,则称拓扑空间X 是一个T0空间. x y U V T0 空 间 定理6.1.1 拓扑空间X是一个T0空间当且仅当X中任意两个不同的单点集有不同的闭包. 即若x≠y,则 证明：充分性 因为对于任意的x,y∈X，有 ，从而必有: or . 若 ，必有 ,故 ；同理可证当 时， ,因此X是一个T0空间. 必要性 设X是一个T0空间，则对任意x,y∈X,x≠y,则或者有x的开邻域U使得 ,或者有y的开邻域V,使得 ,对于前一种情形,由于 , 从而 , 于是 ;同理若是后一种情形，也有 . 定义6.1.2 X 是一个拓扑空间,若X中任意两个不相同的点都有一个开邻域不包含另一点，则称拓扑空间X是一个T1空间. x y U V T1 空 间 T0空间不是T1空间的例子 注：T1空间当然是T0空间 例： , T = 定理6.1.2 设X是一个拓扑空间，则下列条件等价： （1）X是一个T1空间； （2）X中每一个单点集都是闭集; （3）X中每一个有限子集都是闭集. Next th 证明:(1)→(2).对任意x∈X,由于X是一个T1空间,则对任意的y∈X,且y≠x, y有一个邻域U使得 , 因此 .故即{x}是一个闭集. (2)→(3)显然. 返回定理 (3)→(1). 若(3)成立,则对任意 ,单点集 和 都是闭集,从而 和 分别是y,x的开邻域,且前者不包含x,后者不包含y ,从而X是一个T1 空间. 返回定理 定理6.1.3 设X是一个T1空间,则点 是X的子集A的一个凝聚点当且仅当x的每一个邻域U中都含有A中的无限多个点， 即 是一个无限集. 证明：充分性显然； 必要性：设x是X的子集A的一个凝聚点，若x有一个邻域U使得U∩A是一个有限集，令B= U∩A-{x}. 则B也是一个有限集，因此是一个闭集.从而U-B是一个开集，且为x的一个邻域.又易知 .故x不是A的凝聚点，矛盾. 继续 *