欢迎来到天天文库
浏览记录
ID:50303361
大小:663.50 KB
页数:27页
时间:2020-03-12
《Urysohn引理和Tietze扩张定理 .ppt》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、§6.3Urysohn引理和Tietze扩张定理定理6.3.1设X是一个拓扑空间,是一个闭区间,则X是一个正规空间当且仅当对于X中的任意两个无交的闭集A和B,存在一个连续映射使得当时和当时证明:充分性由于,因此我们只要证明[a,b]=[0,1]的情形即可.必要性设X是一个正规空间,A和B是X的两个无交的闭集,.不妨设r(1)=1和r(2)=0见下图继续AB01f)[](f-1f-1UVX下面我们要做的工作是对每一个有理数r(n)∈QI,对应着A的一个开邻域Ur(n),使得满足条件:(1);(2)若,则.接下来我就用归纳的方法定义A的这些开邻域:见下图AB
2、Ur(1)Ur(3)Ur(n-1)Ur(2)UsUbUr(n)继续令取,,满足,则满足(1)和(2),设对于n>2,A的开邻域已经定义.见图由定理6.2.2,选取Ur(n)为的一个开邻域使得,从Ur(n)的取法可知A的诸开邻域仍然满足条件(1)和(2).根据归纳原则,A的诸开邻域已经全部定义,且满足条件(1)和(2).见图定义映射:使得对任意,显然如果,则,所以f(x)=0;若,则f(x)=1.下面证明f的连续性,我们知道:是实数空间R的一个子基,从而[0,1]的一个子基为则事实上还是[0,1]的一个子基.因此我们只需证明的每一个元素在f下的原象是开集就
3、可以了.即证对于任意,是X中的开集;对于任意,是X中的开集.定理6.3.2空间中的任何一个连通子集如果包含多于一点,则它一定是一个不可数集.引理6.3.3设X是一个正规空间,A是X中的一个闭子集,是一个正数,则对于任何一个连续映射:存在一个连续映射使得对于任何有定理6.3.4设X是一个拓扑空间,[a,b]是一个闭区间,则X是一个正规空间当且仅当对于X中的任何一个闭集A和任何一个连续映射有一个连续映射是f的扩张作业:1,2
此文档下载收益归作者所有