§6.3Urysohn引理和Tietze扩张定理.pptVIP

§ 6.3 Urysohn引理和Tietze扩张定理 定理6.3.1 设X是一个拓扑空间， 是一个闭区间，则X是一个正规空间当且仅当对于X中的任意两个无交的闭集A和B，存在一个连续映射 使得当 时 和当 时 * * * * * * 证明:充分性 由于 ,因此我们只要证明[a,b]=[0,1]的情形即可. 必要性 设X是一个正规空间，A和B是X的两个无交的闭集, . 不妨设r(1)=1和 r(2)=0 见下图 继续 A B 0 1 f ) [ ] ( f -1 f -1 U V X 下面我们要做的工作是对每一个有理数r(n)∈QI,对应着A的一个开邻域Ur(n),使得满足条件： (1) ; (2) 若 ,则 . 接下来我就用归纳的方法定义A的这些开邻域： 见下图 A B Ur(1) Ur(3) Ur(n-1) Ur(2) Us Ub Ur(n) 继续 令 取 ， , 满足