- 1、本文档共5页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
《点集拓扑学》§6.3 Urysohn引理和Tietze扩张定理
§6.3 Urysohn引理和Tietze扩张定理
本节重点:
掌握Urysohn引理的内容(证明不要求); 掌握定理6.3.2的证明方法.
定理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]是一个连续映射使得当x?A11[0,),(,1]时,f(x)?0,x?B时f(x)?1.由于集合22是[0,1]中两个不相交的开集,因
此.
U?f?1([0,))和V?f?1((,1])是X中两个不相交的开集,并且A?U,B?V,
2211因此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我们将定义一个与它相对应的开集Ur,使得当r,q?Q1,r?q时,A?Ur?Ur?Uq?X?B,这样,开集族{Ur|r?Q1}在包含关系下是一个有序集,而且随着开集Ur的指标r的增大所对应的开集也就越大.
由于Q1是可数集合,我们应用归纳的方式来定义开集族{Ur|r?Q1}.先将Q1排列成一个无限序列,即建立一一映射g:Z??Q1,为了方便,不失一般性,设g(1)?1和g(2)?0是这个序列的前两个元素.首先,A?X?B,令U1?X?B.又由于X是一个正规空间,由定理6.4.2可知存在开集V使得A?V?V?X?B.记U0?V,假设对于n?2,集族{U1,U0,Ug(3),?,Ug(n)}已有定义,而且当g(i)?g(j)时
A?Ug(i)?Ug(i)?Ug(j)?X?B,对于
g(n?1)?Q1,由于集合
{g(i)|1?i?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?i?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,由定理6.4.2知存在
X中开集V使得Up?V?V?Uq.令Ug(n?1)?V,则集族
也
满
足
:
当
g(i)?g(j){Ug(1),Ug(2),?,Ug(n),Ug(n?1)}时,
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(n?1)?V?V?Ug(j)?X?B.
③若j?n?1,则g(i)?g(n?1),则必有g(i)?p,即g(i)?max{g(i)|1?i?n,g(i)?g(n?1)}.因此由g(n?1)定义及归纳假设有A?Ug(i)?Ug(i)?V?Ug(n?1)?X?B.
因此由归纳原理我们构造了集族{Ur|r?Q1}满足条件:对
p,q?Q1,A?Up?Up?Uq?X?B,而且随着指标r的增加,Ur也随着增大(在包含关系的意义下).
下面,我们令Q1?{1,0,,,,,,,,,?}来说明上面的归纳定义集族
2334555511211234{Ur|r?Q1}的过程.
在定义了U1?X?B,U0之后,定义U1于U0,U1之间使之满足
2U0?U1?U1?U1,再定义U1于U0,U1之间,使之满足U0?U1?U1?U1.接着定
2232332义U2于U1,U1之间使之满足U1?U2?U2?U1,对于r?3223314,由于
ma{0x}?
文档评论(0)