《点集拓扑学》§6.3urysohn引理和tietze扩张定理.docxVIP

§5.3 Urysohn引理和Tietze扩张定理 本节重点： 掌握Urysohn引理的内容(证明不要求)； 掌握定理632的证明方法. 定理6.3.1 ［Urysohn引理］设X是一个拓扑空间，［a, b］是一个闭区间.则 X是一个正规空间当且仅当对于 X中任意两个无交的闭集 A和B，存在一个连 续映射f:X — ［a, b］使得当x € A时f(x)=a和当x€ B时f(x)=b . 证明：由于闭区间同胚于［0,1］,因此我们只需对闭区间［0,1］的情形给以证明. 充分性:设A, B是X中的两个闭集，f : X，［0,1］是一个连续映射使得当 A ［0 -) (— 1］ 时，f(x)=°,x?B时f(x)“.由于集合‘22‘是［0,1］中两个不相交的开集，因 此. U = f ^(［0,-))和V=f4((〕,1］)是X中两个不相交的开集，并且A§U,BGV, 2 2 因此X是一个正规空间. 必要性.设X是一个正规空间，A,B是X中两个不相交的闭集，证明的主要思 想是首先利用X的正规性在X中构造一个以［0,1］中的有理数为指标集的一个 开集族,然后利用这个开集族定义连续映射f :X ［0,1］,使得x ? A 时,f (x) = 0 ,x B 时 f (x) = 1. 第一步，设Q1是［0,1］中的全体有理数集合，对r ? Q1我们将定义一个与它相 对应的开集 5,使得当r,^ Q1, r :: q时,A Ur U； Uq X-B,这样,开 集族{Ur I r ? Q1}在包含关系下是一个有序集，而且随着开集Ur的指标r的增大 所对应的开集也就越大. 由于Q1是可数集合，我们应用归纳的方式来定义开集族 {U r |r ? Q1}.先将Q1 排列成一个无限序列，即建立一一映射 g:Z.》Q ,为了方便，不失一般性，设 g(1) =1和g(2)=0是这个序列的前两个元素.首先,A X -B ,令6二X-B.又由 于X是一个正规空间，由定理6.4.2可知存在开集V使得A V V X - B.记 U。二V,假设对于n -2,集族{U1,U°,Ug(3), ,Ug(n)}已有定义，而且当g(i)：：：g(j)时 A Ug⑴ U；(i) Ug(j) X-B ,对于 g( n?1) Q1 ,由于集合 {g(i)|1汨乞n, g(i)：：：g( n ? 1)} 是一个有限集，而且有 g(2) 0 {g(i) |1 i n, g(i) ：：g(n 1)},故这个集合必有最大元，设 p =max{g(i) |1 兰i 兰 n, g(i) g(n+1)}，又集合{g(i) |1 勻兰 n, g(i) g(n +1)}是 一个有限集合，而且 g(1) =1 {g(i) |1 -i -n, g(i) g(n 1)}，令 q =min{g(i) | 1 - i - n, g(i) g(n 1)}. 由归纳假设知一定有 A二Up ?二Up二Uq二X _B.由于Up二Uq,由定理642知存在 X 中开集V使得Up V V Uq .令Ug(n.i),贝U集族 {Ug(1)，Ug(2)，…，Ug(n),Ug(n 1)} 也满足 ：当 g(i)：：：g(j) 时, A Ug(i) Ug(i) Ug(j) X _B.这是因为对 g(i)：：： g(j): 若i, j ：={1,2,…，n}时,由归纳假设知包含关系成立. 若 i =n ? 1 时,由于 g(n 1) :：: g( j)，则必有 g(j) _ q. 即 g(j) _min{g(i)| 1 _ i _ n, g(n 1) :：: g(i)}，因此由 g(n - 1)的定义及归纳假设有 A^Ug(羽=V9Ug「、匸 X -B. g(n 网 g(j) 若 j = n ? 1 ,贝U g(i) ：：： g(n ? 1),贝U 必有 g(i) _ p ,即 g(i) Emax {g(i) |1乞i乞n, g(i) ：： g(n 1)}.因此由g(n 1)定义及归纳假设有 A^Ug/U；,.、5 V =Ug(肿 X_B. g(i) g (i) g(n 卑) 因此由归纳原理我们构造了集族{Ur Q1}满足条件：对 p,q?Q1,A Up Up Uq X -B,而且随着指标r的增加，U「也随着增大 (在包含关系的意义下).下面,我们令Q1二{1,0，丄,丄,2,丄,丄上,3,4, }来说明上面的归纳定义集族{Ur |r ? Q1}的过程. 在定义了 5 = X - B, U。之后，定义U1于Uo,U1之间使之满足 2 U0 — U 1 — U 1 ——，再定义U1于U0,U 1之间，使之满足U0 — U 1 — U 1 — U 1 .接着定 TOC \o 1-5 \h