《點(diǎn)集拓?fù)鋵W(xué)》§63Urysohn引理和Tietze擴(kuò)張定理

上傳人:z**** 文檔編號(hào):68246868 上傳時(shí)間:2022-04-02 格式:DOC 頁(yè)數(shù):3 大?。?6.50KB
收藏 版權(quán)申訴 舉報(bào) 下載
《點(diǎn)集拓?fù)鋵W(xué)》§63Urysohn引理和Tietze擴(kuò)張定理_第1頁(yè)
第1頁(yè) / 共3頁(yè)
《點(diǎn)集拓?fù)鋵W(xué)》§63Urysohn引理和Tietze擴(kuò)張定理_第2頁(yè)
第2頁(yè) / 共3頁(yè)
《點(diǎn)集拓?fù)鋵W(xué)》§63Urysohn引理和Tietze擴(kuò)張定理_第3頁(yè)
第3頁(yè) / 共3頁(yè)

最后一頁(yè)預(yù)覽完了!喜歡就下載吧,查找使用更方便

10 積分

下載資源

資源描述:

《《點(diǎn)集拓?fù)鋵W(xué)》§63Urysohn引理和Tietze擴(kuò)張定理》由會(huì)員分享,可在線閱讀,更多相關(guān)《《點(diǎn)集拓?fù)鋵W(xué)》§63Urysohn引理和Tietze擴(kuò)張定理(3頁(yè)珍藏版)》請(qǐng)?jiān)谘b配圖網(wǎng)上搜索。

1、§5.3Urysohn引理和Tietze擴(kuò)張定理 本節(jié)重點(diǎn): 掌握Urysohn引理的內(nèi)容(證明不要求); 掌握定理 定理6.3.1[Urysohn引理]設(shè)X是一個(gè)拓?fù)淇臻g,[a,b]是一個(gè)閉區(qū)間.則X是一個(gè)正規(guī)空間當(dāng)且僅當(dāng)對(duì)于X中任意兩個(gè)無(wú)交的閉集A和B,存在一個(gè)連續(xù)映射f:X—[a,b]使得當(dāng)x€A時(shí)f(x)=a和當(dāng)x€B時(shí)f(x)=b. 證明:由于閉區(qū)間同胚于[0,1],因此我們只需對(duì)閉區(qū)間[0,1]的情形給以證明.充分性:設(shè)A,B是X中的兩個(gè)閉集,f:X[0,1]是一個(gè)連續(xù)映射使得當(dāng)xA[0,—),(,1] 時(shí),f(x)0,xB時(shí)f(x)1.由于集合22是[0,1]中兩個(gè)不

2、相交的開(kāi)集,因此. 1111Uf([0-))和Vf((,1])是X中兩個(gè)不相交的開(kāi)集,并且AU,BV,22 因此X是一個(gè)正規(guī)空間. 必要性.設(shè)X是一個(gè)正規(guī)空間,A,B是X中兩個(gè)不相交的閉集,證明的主要思想是首先利用X的正規(guī)性在X中構(gòu)造一個(gè)以[0,1]中的有理數(shù)為指標(biāo)集的一個(gè)開(kāi)集族,然后利用這個(gè)開(kāi)集族定義連續(xù)映射f:X[0,1],使得xA時(shí),f(x)0,xB時(shí)f(x)1. 第一步,設(shè)Q1是[0,1]中的全體有理數(shù)集合,對(duì)rQ1我們將定義一個(gè)與它相對(duì)應(yīng)的開(kāi)集Ur,使得當(dāng)r,qQ1,rq時(shí),AUqXB,這樣,開(kāi) 集族{Ur|rQJ在包含關(guān)系下是一個(gè)有序集,而且隨著開(kāi)集Ur的指標(biāo)r的增大所對(duì)

3、應(yīng)的開(kāi)集也就越大. 由于Q1是可數(shù)集合,我們應(yīng)用歸納的方式來(lái)定義開(kāi)集族{Ur|rQ1}.先將Q1排列成一個(gè)無(wú)限序列,即建立一一映射g:ZQ1,為了方便,不失一般性,設(shè)g(1)1和g(2)0是這個(gè)序列的前兩個(gè)元素.首先,AXB,令U1XB.又由于X是一個(gè)正規(guī)空間,由定理VAVVXBU。V,假設(shè)對(duì)于n2,集族{5,5,5(3),從⑺}已有定義,而且當(dāng)g(i)g(j)時(shí)AUg(i)Ug(i)Ug(j)XB,對(duì)于9(HQ1,由于集合{g(i)|1in,g(i)g(n1)}是一個(gè)有限集,而且有g(shù)(2)0{g(i)|1in,g(i)g(n1)},故這個(gè)集合必有最大元,設(shè) pmax{g(i)|1in,g

4、(i)g(n1)},又集合{g(i)|1in,g(i)g(n1)}是一個(gè)有限集合,而且g(1)1{g(i)11in,g(i)g(n1)},令 qmin{g(i)|1in,g(i)g(n1)}. 由歸納假設(shè)知一定有AUpUpUqXB.由于UpUq,由定理XVUpVVUqUg(n1)V,則集族{Ug(1),Ug(2),,Ug(n),Ug(n1)}也滿足:當(dāng)g(i)g(j)時(shí),AUg(i)Ug(i)Ug(j)XB.這是因?yàn)閷?duì)g(i)g(j): ① 若i,j{1,2,,n}時(shí),由歸納假設(shè)知包含關(guān)系成立. ② 若in1時(shí),由于g(n1)g(j),則必有g(shù)(j)q. 即g(j)min{g(i)|

5、1in,g(n1)g(i)},因此由g(n1)的定義及歸納假設(shè)有AUg(n1)VVUg(j)XB. ③ 若jn1,貝Ug(i)g(n1),貝U必有g(shù)(i)p,即g(i)max{g(i)|1in,g(i)g(n1)}.因此由g(n1)定義及歸納假設(shè)有AUg("Ug(0VUgj)XB. (在包含關(guān)系的意義下 ). 下面,我們令Q1 「1121 {1,0,,,, 12 5J 3 JJ 4 J }來(lái)說(shuō)明上面的歸納定義集族 2334 55 5 5 {Ur|rQ1}的過(guò)程. 在定義了U1 XB,U0之 后, 疋 義

6、 U1于U°,U1之間使之滿足 2 因此由歸納原理我們構(gòu)造了集族{Ur|rQ1}滿足條件:對(duì)p,qQ1,AUpUpUqXB,而且隨著指標(biāo)r的增加,Ur也隨著增大U0U1U1U1,再定義U1于U°,U1之間,使之滿足U0U1U1U1.接著定 223P予予P__1 義U2于U1,U1之間使之滿足U1U2U2U1,對(duì)于r-,由于322737341112 max{C}-min{-,-,-,1},定義U°55U丄,…至第九步我們定義5,由于4323zzm號(hào) 1112132__ma?,-廠廠}mir{-,廠,1},因此使U2滿足U1u?H6,….如圖 5435243事32? 第二步,將

7、第一步定義的集族{UrlrQJ中的指標(biāo)集擴(kuò)張成實(shí)數(shù)空間R中的有理數(shù)Q,具體作法是令UpP0這樣,易驗(yàn)證開(kāi)集族{Ur|rQ}滿足:當(dāng)PXp1 pq時(shí),UpU;Uq. 第三步對(duì)xX,定義Q(x){r|xUr},即Q(x)由所有包含x的開(kāi)集Ur的下標(biāo)構(gòu)成.則對(duì)任意rQ(x),必有r0,(這是因?yàn)閞0時(shí),U「二,因此/Ur),且對(duì)于r1,必有rQ(x),(因?yàn)閞1時(shí),Ur=X,因此xUr),因此Q(x)有下界,從而Q(x)有下確界,且下確界必屬于[0,1],定義: 第四步,驗(yàn)證第三步中定義的映射f就是滿足要求的映射. (1) 設(shè)xA,則對(duì)rQ,r0,均有xAUr,因此Q(x){r|r0},從而

8、f(x)infQ(x)0. 設(shè)xB,由定義有U1XB,且r1時(shí),UrU1,因此對(duì)于任意rQ若x必有UrX,因此必有r1,因此Q(x){r|r1},從而f(x)infQ(x)1. (2) 先證下面兩個(gè)結(jié)論: (a)xUrf(x)r,(b)x—Urf(x)r. 如果xUr,由集族{Ur|rq定義有對(duì)任意sr,xUs,因此Q(x){p|xUp}{s|sr},從而 如果X—Ur,則對(duì)任意sr,X—Us,因此Q(x){p|xUp}{s|sr},從而 (3) 證明f:X[0,1]是一個(gè)連續(xù)映射. 設(shè)X。X,(c,d)是一個(gè)含有f(x。)的R中的開(kāi)區(qū)間,我們只需證明存在X。的鄰域U使得f(U)

9、(c,d).為此,取有理數(shù)p(c,f(xo)),q(f(xo),d).令UUqUp,(見(jiàn)圖 ① U是一個(gè)開(kāi)集,這是因?yàn)閁UqUp=UqUp. ② xoU,這是因?yàn)閒(x。)q,且f(x。)q,由第三步易見(jiàn)x。Uq,怡一Up,因此x。UqUp. ③ f(U)(c,d),這是因?yàn)閷?duì)xUUqUp,則xUqUq,因此f(x)q,又x—Up,因此x—Up,從而f(x)p,從而f(x)[p,q](c,d)(見(jiàn)圖,從而由習(xí)題§f Urysohn引理說(shuō)明對(duì)于正規(guī)空間中的任何兩個(gè)不相交的閉集,存在連續(xù)映射f:X[0,1]使得f(A){0},f(B){1},也就是說(shuō)A,B可用一個(gè)連續(xù)函數(shù)分離,回想一下正則

10、空間的定義,我們會(huì)有這樣一個(gè)思考:Urysohn引理可推廣到正則空間中去嗎?即就是說(shuō)對(duì)于正則空間中的點(diǎn)x及其中不包含x的閉集F,是否一定存在連續(xù)映射f:X[0,1]使得f(x)0,f(F)1.由定理 U,XF,U0xVVXFV,這和Urysohn定理的證明是一致的,但要5(或?qū)?于除0,1之外的一個(gè)有理數(shù)p)滿足條件U0U,5U1,只有x的正則性 22顯然是不可能的.為此,將正則空間中的點(diǎn)與不含此點(diǎn)的閉集F要用連續(xù)映射分離我們有下面的分離公理: 定義設(shè)X是一個(gè)拓?fù)淇臻g,如果對(duì)于X中任意點(diǎn)xX和X中任何一個(gè)不包含點(diǎn)x的閉集F,存在一個(gè)連續(xù)映射f:X[0,1]使得f(x)0,以及對(duì)于任意yF,f(y)1,則稱拓?fù)淇臻gX是一個(gè)完全正則空間. 定理二空間中任何一個(gè)連通子集如果包含著多于一個(gè)點(diǎn),則它一定是一-個(gè)不可數(shù)集 證明 設(shè)C是7;空間 X中的一個(gè)連通子集?如果C不只包含著一個(gè)點(diǎn),任 意選取,x,y€X,x工y寸于7空間X中的兩個(gè)無(wú)交的閉集{x}和{y},應(yīng)用Urysohn引理可見(jiàn),存在一個(gè)連續(xù)映射f:X-[0,1]使得f(x)=0,f(y)=1.由于C是X中一個(gè)連通子集,因此f(X)也連通.由于0,1€f(X),因此f(X)=[0,1].由于[0,1]是一個(gè)不可數(shù)集,因此C也是一個(gè)不可數(shù)集. 作業(yè): P1681.

展開(kāi)閱讀全文
溫馨提示:
1: 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
2: 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
3.本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
5. 裝配圖網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。

相關(guān)資源

更多
正為您匹配相似的精品文檔
關(guān)于我們 - 網(wǎng)站聲明 - 網(wǎng)站地圖 - 資源地圖 - 友情鏈接 - 網(wǎng)站客服 - 聯(lián)系我們

copyright@ 2023-2025  zhuangpeitu.com 裝配圖網(wǎng)版權(quán)所有   聯(lián)系電話:18123376007

備案號(hào):ICP2024067431號(hào)-1 川公網(wǎng)安備51140202000466號(hào)


本站為文檔C2C交易模式,即用戶上傳的文檔直接被用戶下載,本站只是中間服務(wù)平臺(tái),本站所有文檔下載所得的收益歸上傳人(含作者)所有。裝配圖網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)上載內(nèi)容本身不做任何修改或編輯。若文檔所含內(nèi)容侵犯了您的版權(quán)或隱私,請(qǐng)立即通知裝配圖網(wǎng),我們立即給予刪除!