§6.2正则,正规,T3,T4空间.pptVIP

§6.2 正则，正规，T3 ,T4空间 定义6.2.1 设X是一个拓扑空间， . 若 ，则称U是集合A的一个邻域. 特别的，若U还是一个开集（闭集），则称U是A的一个开（闭）邻域. * * * * * * * 换言之 继续 也可以换一个说法 若存在一个开集V满足: 则称U是A的一个邻域. 定义6.2.2 设X是一个拓扑空 间，若X中的任何一个点x和任何 一 个不包含x的闭集A都各有一个 开邻域U,V，使 得 ， 则称X是一个 . x A U V 定理6.2.1 是一个拓扑空间,则 是一个正则空间当且仅当对于任 何点 和 的任意一个邻域U,存在一个 的开邻域V使得: 证明: 必要性 设X是一个正则空间,U是 x 的任何一个开邻域,则 是不包含 x 的闭集, 从而 x 和 分别有开邻域 和 使得 ,从而 , 所以