完整版點集拓?fù)渲v義連通性學(xué)習(xí)筆記

1、第4章連通性本章討論拓?fù)淇臻g的幾種拓?fù)洳蛔冃再|(zhì), 包括連通性,局部連通性和弧連 通性,并且涉及某些簡單的應(yīng)用.這些拓?fù)洳蛔冃再|(zhì)的研究也使我們能夠區(qū)別 一些互不同胚的空間.4.1 連通空間本節(jié)重點：掌握連通與不連通的定義；掌握如何證實一個集合的連通與否；掌握連通性的拓?fù)洳蛔冃浴⒂邢蘅煞e性、可商性.我們先通過直觀的方式考察一個例子. 在實數(shù)空間R中的兩個區(qū)間0,1 和1, 2,盡管它們互不相交,但它們的并0, 1 U 1 , 2 = 0, 2 卻是一個“整體；而另外兩個區(qū)間0, 1和1, 2,它們的并0, 1 U 1, 2是明顯的兩個“局部.產(chǎn)生上述不同情形的原因在于,對于前一 種情形,區(qū)間0,

2、1 有一個凝聚點1在1, 2中；而對于后一種情形,兩 個區(qū)間中的任何一個都沒有凝聚點在另一個中.我們通過以下的定義,用術(shù)語 來區(qū)別這兩種情形.定義4.1.1 設(shè)A和B是拓?fù)淇臻gX中的兩個子集.如果 門4=0那么稱子集A和B是隔離的.明顯地,定義中的條件等價于 幺門3 = 0和3門1=0同時成立,也就是 說,a與b無交并且其中的任何一個不包含另一個的任何凝聚點.應(yīng)用這一術(shù)語我們就可以說,在實數(shù)空間 R中,子集0, 1和1, 2 是隔離的,而子集0, 1和1 , 2不是隔離的.又例如,易見,平庸空間中任何兩個非空子集都不是隔離的,而在離散空問中任何兩個無交的子集都是隔離的.定義4.1.2 設(shè)X是一

3、個拓?fù)淇臻g.如果X中有兩個非空的隔離子集 A和 B使得X=AJ B,那么稱X是一個不連通空間；否那么,那么稱 X是一個連通空間.顯然,包含著多于兩個點的離散空間是不連通空間,而任何平庸空間都是 連通空間.定理4.1.1 設(shè)X是一個拓?fù)淇臻g.那么以下條件等價：（1） X是一個不連通空間；（2） X中存在著兩個非空的閉子集 A和B使得AH B=0和AU B= X成立；（3） X中存在著兩個非空的開子集 A和B使得AH B=0和AU B= X成立；（4） X中存在著一個既開又閉的非空真子集.證實 條件1 蘊涵2:設(shè)1成立.令A(yù)和B是X中的兩個非空的 隔離子集使得AU B= X,顯然AH B=0 ,并

4、且這時我們有B =BeX =BrAuB = B nZu5 = B因此B是X中的一個閉子集；同理A也是一個X中的一個閉子集.這證實 了集合A和B滿足條件2中的要求.條件2蘊涵3 .如果X的子集A和B滿足條件2中的要求,所 以A B為閉集,那么由于這時有 A=B和bJ,因此A B也是開集,所以A 和B也滿足條件3中的要求.條件3蘊涵4 .如果X的子集A和B滿足條件3中的要求,所 以A、B是開集,那么由人=9和8=/易見人和8都是X中的閉集,因此A、B 是X中既開又閉的真: A Bw0, AU B=X ；A、BwX子集,所以條件4 成立.條件4蘊涵1 .設(shè)X中有一個既開又閉的非空真子集 A.令B=4

5、.那么 A和B都是X中的非空的閉子集,它們是無交的并且使得 AU B=X易見兩個無 交的閉子集必定是隔離的由于閉集的閉包仍為自己.因此1成立.例4.1.1 有理數(shù)集Q作為實數(shù)空間R的子空間是一個不連通空間.這是 由于對于任何一個無理數(shù) rCR-Q,集合-oo, r AQ=巴 r AQ是子 空間Q中的一個既開又閉的非空真子集.定理4.1.2 實數(shù)空間R是一個連通空間.證實 我們用反證法來證實這個定理.假設(shè)實數(shù)空間R是不連通空間.那么根據(jù)定理4.1.1 ,在R中有兩個非空閉 集A和B使得AH B=0和AU B= R成立.任意選取aC A和bC B,不失一般性 可設(shè)a b.令五=AAa,b,和3=B

6、Aa,b.于是】和W是R中的兩個非空閉 集分別包含a和b,并且使得】n且=0和Iu=a, b成立.集合有上界 b,故有上確界,設(shè)為彳.由于2是一個閉集,所以3 e N,并且因此可見彳0個拓?fù)淇臻g蒞&,&都具有性質(zhì)p,蘊涵著積空間元也具有性質(zhì)p.例如,容易直接證實,如果拓?fù)淇臻g 苞,耳4都是離散空間平庸空 問,那么積空間XXX:也是離散空間平庸空間,因此我們可以說 拓?fù)淇臻g的離散性和平庸性都是有限可積性質(zhì).根據(jù)定理3. 2. 9以及緊隨其后的說明可見：假設(shè)拓?fù)淇臻g的某一個性質(zhì)p是一個拓?fù)洳蛔冃再|(zhì).為了證實性質(zhì)p是一個有限可積性質(zhì),我們只要 證實任何兩個具有性質(zhì)p的拓?fù)淇臻g的積空間也是具有性質(zhì) p

7、的拓?fù)淇臻g.定理4.1.9XvX2；r是n個連通空間.那么積空間“1義*2,Xf!也是連通空間.證實 根據(jù)前一段中的說明,我們只要對于 n=2的情形加以證實.首先我們指出：如果工二工1用,丁 二修1仍“1e兩個點有一個坐標(biāo)相 同,那么丫/乂：有一個連通子集同時包含x和y不失一般性,設(shè)二定義映射k：X XX使得對于任何4 c均有上=了由.由于口品：苞7*1是取常值人的映射,孫.卜X? T X2為何同映射,它們都是連續(xù)映射,其中hh分別是 3朝 到第1和第2個坐標(biāo)空間的 投射.因此,k是一個連續(xù)映射.根據(jù)定理 4.1.8 , kX?是連通的.此外易 見, M&A喝,因此它同時包含x和y.現(xiàn)在來證實

8、： 為將中任何兩個點了 = 可用廠飆仍11*&同時屬于X/均的某一個連通子集.這是由于這時假設(shè)令可/4 ,那么 根據(jù)前段結(jié)論,可見有的一個連通子集X同時包含x和z,也有1如 的一個連通子集了2同時包含y和z.由于zJlC% ,因此根據(jù)定理4.1.6 , 了1口4是連通的,它同時包含x和y.于是應(yīng)用定理4.1.7可見12是一個連通空間.由于n維歐氏空間 必是n個實數(shù)空間R的笛卡兒積,而實數(shù)空間R又是一 個連通空間,所以應(yīng)用這個定理可見,n維歐氏空間K*是一個連通空間.作業(yè)：P116 3. 5. 6. 8. 14. 4.2 連通性的某些簡單應(yīng)用本節(jié)重點:掌握實數(shù)空間R中的連通子集的“形狀掌握實數(shù)空

9、間R的子集中常見的連通子集與不連通子集掌握常見的幾種空間的同胚與否的事實讓我們回憶實數(shù)集合R中區(qū)間的精確定義：R的子集E稱為一個區(qū)間,如 果它至少包含兩個點,并且如果 a, bCE, ab,那么有a , b=x R|axb UE讀者熟知,實數(shù)集合R中的區(qū)間共有以下9類：-00, , a,引,a, 8, -oo, a,-巴 a a, b , a, b , a, b , a, b由于,一方面以上9類集合中的每一個顯然都是區(qū)間；另一方面,如果EU R是一個區(qū)間,可視E有無上下界,以及在有上下界的情形下視其上下確界是否屬于E,而將E歸入以上9類之一在定理4. 1. 2中我們證實了實數(shù)空間R是一個連通空

10、間.由于區(qū)間a, 8, oo, a和a, b都同胚于R 請讀者自己寫出必要的同胚映射, 所以這些區(qū)間也都是連通的；由于口產(chǎn)=0,3,-8 =一-昉 u見?.昉 c -用 u- uSA根據(jù)定理 4. 1. 5 可見區(qū)間a, 8, -00, a , a , b , a, b和 a , b都是連通的.另一方面,假設(shè)E是R的一個子集,并且它包含著不少于兩個點.如果E不是一個區(qū)間,那么立也就是說,存在acb,使得；從而,假設(shè)令A(yù)= -00, c n E, B=c, 8PE那么可見A和B都是E的非空開集,并且有AU B=E和AH B=0 ,因此E不連 通.綜合以上兩個方面,我們已經(jīng)證實了:定理4.2.1

11、設(shè)E是實數(shù)空間R的一個子集.E是包含著不少于兩個點的 一個連通子集當(dāng)且僅當(dāng)E是一個區(qū)間.定理4.2.2 設(shè)X是一個連通空間,f:X 一R是一個連續(xù)映射.那么f(X)是R 中的一個區(qū)間.因此,如果x, yCX,那么又t于f(x)與f(y)之間的任何一個實數(shù)t (即當(dāng) f(x) f(y)時,f(x) t f(y);當(dāng) f(y) f(x)時,f(y) t f(x),存在 z C X 使彳4 f(z)=t .證實 這個定理的第一段是定理 4. 1. 8和定理4.2.1的明顯推論.以下 證實第二段.設(shè)x, yCX.如果f (x) =f (y),那么沒有什么要證實的.現(xiàn)在 設(shè)f (x) wf (y),并且

12、不失一般性,設(shè)f (x) f (y) .由于 f (X)是一個區(qū)間,所以f (x) , f (y) Cf (X).因 此對于任何t, f(x) t 中使 得任何x 有rx=-x ,稱為對徑映射.對徑映射是一個連續(xù)映射,由于它 是歐氏平面K?到自身的反射l :在單位圓周上的限制.其中,映射l定義為對于任何彳=再 J ,有 l x =-x,容易驗證請讀者自行驗證是一個連續(xù)映射.定理4.2.5Borsuk-Ulam 定理 設(shè)f: S1-R是一個連續(xù)映射.那么在中 存在一對對徑點x和-x ,使得fx=f-x.證實略我們已經(jīng)知道n維歐氏空間爐是連通空間,下面進一步指出：定理4.2.6 n1維歐氏空間 爐

13、的子集髭-0是一個連通子集,其中0=0, 0,0 d證實 我們只證實n = 2的情形.根據(jù)定理4. 1. 9,火2中的子集-oo, 0XR和0, oo xr都是連通的.由于Qbx uQbxR-Q匚Q嚴(yán)xR叫xR所以根據(jù)定理4. 1. 5, Rn中的子集A= 0,以XR-0是連通的；同理, 子集B=-oo, 0 xr-0是連通的.由于AH BW0以及AU B=用-0,因此根據(jù)定理4.1 . 6可見,爐-0是連通的.一般情形的證實類似,請讀者自行補證.定理4.2.6可以得到進一步的改善參見習(xí)題第 4題定理4.2.7 歐氏平面爐和實數(shù)空間R不同胚.證實 假設(shè)曾與R同胚,并且設(shè)f:必一R是一個同胚.因

14、此對于連續(xù)映 射g -Of我們有-戶k飲0) .但根據(jù)定理4.2.6 , 金.0是連通的, 而根據(jù)定理4.2.1 , R-f(0)是不連通的.這與定理4. 1. 8矛盾.定理4.2.7給出了利用拓?fù)洳蛔冃再|(zhì)判定兩個空間不同胚的第一個實例.定理4.2.4 ,定理4.2.5和定理4.2.7盡管簡單但確有意思,特別是這幾 個定理都有高維“版本,我們分別陳述如下：止理4.2.8Brouwer 不動點止理設(shè)f 是一一個連續(xù)映射,其中.是n維球體.那么存在z D使得f (z) =z.定理 4.2.9Borsuk Ulam定理設(shè) f:S T腔是-個連續(xù)映射,其中n?m 那么存在xe*使得f (x) =f (

15、-x).定理4.2.10 如果nwm那么歐氏空間 *和R屬不同胚.這些定理的證實 (除去我們已經(jīng)證實過的情形)一般都需要代數(shù)拓?fù)渲R,例如同調(diào)論或同倫 論,請參閱有關(guān)的專門書籍.作業(yè)：P121 4. 4.3 連通分支本節(jié)重點：掌握連通分支的定義即連通“類的分法;掌握連通分支的性質(zhì)定理4.3.1.從前面兩節(jié)中的內(nèi)容可以看出,知道一個拓?fù)淇臻g是否連通給我們處理一 些問題帶來很大的方便.這導(dǎo)致我們?nèi)タ疾煲粋€我們并不知道是否連通的拓?fù)?空間中的“最大連通子集即連通分支.定義4.3.1 設(shè)X是一個拓?fù)淇臻g,x, yCX.如果X中有一個連通子集 同時包含x和y,我們那么稱點x和y是連通的.注意：是點連通根

16、據(jù)定義可見,如果x, y, z都是拓?fù)淇臻gX中的點,那么（1） x和x連通由于每一個單點集都是連通子集；2如果x和y連通,那么y和x也連通；顯然3如果x和y連通,并且y和z連通,那么x和z連通.這是由于, 這時存在X中的連通子集A和B使得x, yCA和y, zCB.從而由于yCAAB 可見AUB連通,并且x, zC AU B.因止匕x和z連通.以上結(jié)論歸結(jié)為：拓?fù)淇臻g中點的連通關(guān)系是一個等價關(guān)系.定義4.3.2 設(shè)X是一個拓?fù)淇臻g.對于X中的點的連通關(guān)系而言的每一 個等價類稱為拓?fù)淇臻gX的一個連通分支.如果Y是拓?fù)淇臻gX的一個子集.Y作為X的子空間的每一個連通分支稱 為X的子集Y的一個連通分支

17、.拓?fù)淇臻gX* 0的每一個連通分支都不是空集；X的不同的連通分支無交； 以及X的所有連通分支之并便是 X本身.止匕外,x, yCX屬于X的同一個連通 分支當(dāng)且僅當(dāng)x和y連通.拓?fù)淇臻gX的子集A中的兩個點x和y屬于A的同一個連通分支當(dāng)且僅當(dāng) A有一個連通子集同時包含點x和y.定理4.3.1 設(shè)X是一個拓?fù)淇臻g,C是拓?fù)淇臻gX的一個連通分支.那么 1如果y是X的一個連通子集,并且yncw0,=YuC；（2） C是一一個連通子集；（3） C是一一個閉集.本定理中的條件1和2說明,拓?fù)淇臻g的每一個連通分支都是 X的 一個最大的連通子集.證實1任意選取x YA C,對于任何yCY由于x和y連通,故y C

18、 C.這 證實Y_C.2對于任何x, yCC,根據(jù)定義可見,存在 X的一個連通子集期使得 x, yC % .顯然與 ACW 0 ,故根據(jù)1 , 4 U C.應(yīng)用定理4. 1. 7可知, C是連通的.3由于C連通,根據(jù)定理4. 1, 5, 0連通.顯然,= .所 以根據(jù)1, C匚=0己.從而c是一個閉集.但是,一般說來連通分支可以不是開集.例如考慮有理數(shù)集 Q 作為實數(shù) 空間R的子空間.設(shè)x, yCQ xwy.不失一般性,設(shè)xy.如果Q的一個 子集E同時包含x和y,令A(yù)=-00, r C E和B=r , A E,其中r是任何一 個無理數(shù),xry,此時易見A和B都是Q的非空開集,并且E= AU B

19、.因此 E不連通.以上論述說明E中任何一個包含著多于兩個點的集合都是不連通的,也就是說,Q的連通分支都是單點集.然而易見 Q中的每一個單點集都不是開 集.記住這個事實：任一個集合A都可以由含于它內(nèi)部的所有連通分支的并而 成(且這些連通分支互不相交).即使是離散空間,它的每一個點自成連通分支 這個結(jié)論也成立.作業(yè)：P123 1.3.4. 8. 4,4 局部連通空間本節(jié)重點：掌握局部連通的定義與性質(zhì)(定理4.4.1-4.4.3);掌握連通與局部連通的關(guān)系.引進新的概念之前,我們先來考察一個例子.例 4.4.1在歐氏平面 K 中令 S=(x,sin(1/x)|x (0,1.T=0 X-1,1,其中S

20、被稱作拓?fù)鋵W(xué)家的正弦曲線,它是區(qū)間(0, 1在一個 連續(xù)映射下的象,因此是連通的.止匕外,也容易驗證M=SUT,因此M = SUT也是連通的.盡管如此,倘假設(shè)我們查看杭中的點,容易發(fā)現(xiàn)它們明顯地分為兩類：S中的每一個點的任何一個“較小的鄰域中 都包含著一個連通的鄰域,而T中的每一個點的任何一個鄰域都是不連通的.我們用以下的術(shù)語將這兩個類型的點區(qū)別開來.定義4.4.1設(shè)X是一個拓?fù)淇臻g,xCX.如果x的每一個鄰域U中都包含著x的某一個連通的鄰域V,那么稱拓?fù)淇臻gX在點x處是局部連通的.如果拓?fù)淇臻gX在它的每一個點處都是局部連通的,那么稱X是一個局部連 通空間.回到例4.4.1中所定義的拓?fù)淇臻gS

21、.容易證實,用在其屬于s的每一個 點處是局部連通的,而在其屬于 T的每一個點處都不是局部連通的.也因此, 盡管虬是一個連通空間,但它卻不是一個局部連通的空間.局部連通的拓?fù)淇臻g也不必是連通的.例如,每一個離散空間都是局部連 通空間,但包含著多于兩個點的離散空間卻不是連通空間.又例如,n維歐氏空間片的任何一個開子空間都是局部連通的這是由于每一個球形鄰域都同胚 于整個歐氏空間片,因而是連通的,特別,歐氏空間K*本身是局部連通的.另 一方面,歐氏空間中由兩個無交的非空開集的并作為子空間就一定不是連通 的請讀者自己證實.此外根據(jù)定義立即可見：拓?fù)淇臻gX在點xCX處是局部連通的當(dāng)且僅當(dāng)x 的所有連通鄰域

22、構(gòu)成點x處的一個鄰域基,定理4.4.1 設(shè)X是一個拓?fù)淇臻g.那么以下條件等價：（1） X是一個局部連通空間；（2） X的任何一個開集的任何一個連通分支都是開集；（3） X有一個基,它的每一個元素都是連通的.證實1蘊涵2.設(shè)c是x的一個連通分支,Cc!7e0 如果xec, 由于U是x的一個鄰域,所以當(dāng)1成立時x有一個連通鄰域V包含于U.又 由于vnc包含著點x,所以不是空集,根據(jù)定理 4. 3. 1可見uC .因此 CC I .這證實C是屬于它的任何一個點x的鄰域,因此C是一個開集.條件(2)蘊涵(3) .假設(shè)(2)成立,那么X的所有開集的所有連通分支(它 們都是開集)構(gòu)成的集族,由于每一個集合

23、是它的所有連通分支之并,恰是X的一個基.條件(3)蘊涵(1).顯然.我們常用到定理4.4.1的一個推論：局部連通空間的每一個連通分支都是 開集.定理4.4.2 設(shè)X和Y都是拓?fù)淇臻g,其中X是局部連通的.又設(shè)f:X -Y 是一個連續(xù)開映射.那么f (X)是一個局部連通空間.證實 根據(jù)定理4.4.1 ,可設(shè)B是X的一個基,其中的每一個元素都是連 通的.對于每一個BC B,集合f(B)是連通的,并且由于f是一個開映射,f (B) 是Y中的一個開集,因此也是f(X)的一個開集.這證實集族B1=f (B) |B B 是一個由f (X)的連通開集構(gòu)成的族.我們指出 B1是f(X)的一個基,這是因 為,如果

24、u是f(X)中的一個開集,那么 11 (U)是X中的一個開集,因此%】=六廣是B1中某些元素之并.于是根據(jù)定理 4.4.1可知f (X)是局部連通的.根據(jù)定理4.4.2易見,拓?fù)淇臻g的局部連通性是一個拓?fù)洳蛔冃再|(zhì) .定理4.4.3設(shè)比1,“?,4 是n?l個局部連通空間.那么積空間上1 X蒞X也是局部連通空間證實(略)應(yīng)用這些定理,有些事情說起來就會簡單得多.例如,實數(shù)空間 R由于所 有的開區(qū)間構(gòu)成它的一個基,所以它是局部連通的； n維歐氏空間贄是n個R 的積空間,所以它也是局部連通的.當(dāng)然這些事情我們早就知道了.作業(yè):P127 1.2.3. 4.5 道路連通空間較之于連通空間的概念,道路連通

25、空間這個概念似覺更符合我們的直覺因 而易于理解些.我們先定義“道路.定義4.5.1 設(shè)X是一個拓?fù)淇臻g.從單位閉區(qū)間0, 1 一 X的每一個連 續(xù)映射f:0 , 1 一X叫做X中的一條道路,并且此時f(0)和f(1)分別稱為道 路f的起點和終點.當(dāng)x = f (0)和y = f (1)時,稱f是X中從x到y(tǒng)的一 條道路.起點和終點相同的道路稱為閉路,并且這時,它的起點(也是它的終 點)稱為閉路的基點.如果f是X中的一條道路,那么道路f的象集f(0 , l)稱為X中的一條曲 線或弧,并且這時道路f的起點和終點也分別稱為曲線f(0,1)的起點和終 點.或許應(yīng)當(dāng)提醒讀者,“道路這個詞在這里所表達(dá)的意

26、思已經(jīng)與我們對它 原有的理解頗有不同,希望讀者不要因此而混淆了我們在這里嚴(yán)格定義的道路 和曲線這兩個不同的概念.定義4.5.2 設(shè)X是一個拓?fù)淇臻g.如果對于任何 x, y,存在著X中的一 條從x到y(tǒng)的道路(或曲線),我們那么稱 X是一個道路連通空間.X中的一個 子集Y稱為X中的一個道路連通子集,如果它作為X的子空間是一個道路連通 空間.(Y是否道路連通與X是否道路連通沒有關(guān)系)實數(shù)空間R是道路連通的.這是由于如果x,yCR,那么連續(xù)映射f:0 ,1-R 定義為對于任何t 0,1有f(t)=x+t(y-x),便是R中的一條以x為起點以y 為終點的道路、也容易驗證任何一個區(qū)間都是道路連通的.定理4

27、.5.1 如果拓?fù)淇臻gX是一個道路連通空間,那么 X必然是一個連通 空間.證實 對于任何x, yCX,由于X道路連通,故存在從x到y(tǒng)的一條道路 f：0 , l 一X這時曲線f (0,1),作為連通空間0, 1在連續(xù)映射下的象, 是X中的一個連通子集,并且我們有x, yCf (0,1).因此根據(jù)定理4.1.7 可見X是一個連通空間.連通空間可以不是道路連通的.我們已經(jīng)指出例4. 4. 1中的機是一個連通空間.不難證實(留作習(xí)題,見習(xí)題第 3題)它不是道路連通的.道路連通與局部連通之間更沒有必然的蘊涵關(guān)系、例如離散空間都是局部 連通的,然而包含著多于兩個點的離散空間不是連通空間,當(dāng)然也就不是道路

28、連通空間了.定理4.5.2 設(shè)X和Y是兩個拓?fù)淇臻g,其中X是道路連通的,f:X 一Y是 一個連續(xù)映射.那么f (X)是道路連通的.證實 設(shè)幾內(nèi)水也聲齒“加). 由于X是道路連通 的,故X中有從11到工的一條道路g： 0 , 1 一X.易見,映射h： 0 , 1 一f(X), 定義為對于任意tC0, 1有h (t) =f o g (t),是f (X)中從“到辦的一條 道路.這證實f (X)是道路連通的.根據(jù)定理4.5.2可見,空間的道路連通性是一個拓?fù)洳蛔冃再|(zhì),也是一個可商性質(zhì).定理4.5.3 設(shè)幾為,&是n?l個道路連通空間.那么積空間乂1巾也是道路連通空間.證實 我們只需要對n= 2的情形加

29、以證實.設(shè)(孫訪),廠81偽)乃1為對于i=l , 2,由于X是道路連通空間, 故在4中有從1i到Z的一條道路,：0 , 1 一 4 .定義映射 f ： 0 , 1“17,使得對于任何te0, 1有f (t)=( ;.) .容易驗證 (應(yīng)用定理3.2.7 )f是連續(xù)的,并且有f(0)=x,f(1)=y .這也就是說f是3乂% 中從x到y(tǒng)的一條道路.這證實 X/Xj是一個道路連通空間.作為定理4.5.3的一個直接的推論立即可見：n維歐氏空間K*是一個道路 連通空間.(這個結(jié)論也容易直接驗證.)為了今后的需要我們證實以下引理,定理4.5.4粘結(jié)引理設(shè)A和B是拓?fù)淇臻gX中的兩個開集(閉集), 并且有

30、X= AU B.又設(shè)Y是一個拓?fù)淇臻g, J；: ACY和BfY是兩個連續(xù) 映射,滿足條件：A ki= Li定義映射f:X -Y使得對于任何xX, f/i W j Ef (x) xwB那么f是一個連續(xù)映射.證實 首先注意,由于 廣力Lm,映射f的定義是確切的.由于當(dāng) xCAAB 時, 有工.其次,我們有：對于Y的任何一個子集Z有/F(Z)引(Z)這是由于,：.；一；現(xiàn)在設(shè)U是Y的一個開集.由于/者B連續(xù),所以工.),4分別 是A和B的開集.然而A和B都是X的開集,所以 工、也都是X的 開集.因此廣是x的一個開集.這便證實了 f是一個連 續(xù)映射.當(dāng)A和B都是X的閉集時,證實是完全類似的.我們現(xiàn)在按

31、建立連通分支概念完全類似的方式建立道路連通分支的概念.定義4.5.3 設(shè)X是一個拓?fù)淇臻g,x, yCX.如果X中有一條從x至U y 的道路,我們那么稱點x和y是道路連通的.(注意：是“點道路連通)根據(jù)定義可見,如果x, y, z都是拓?fù)淇臻gX中的點,那么(1) x和x道路連通；(由于取常值的映射 f: 0 , 1 一X(它必然是連 續(xù)的)便是一條從x到x的道路.)(2)如果x和y連通,那么y和x也連通；(設(shè)f:0 ,1 一X是X中從x到 y的一條道路.定義映射j ： 0 , l -X,使得對于任何t C0, 1有j (t)= f (1-t).容易驗證j是一條從y到x的道路.)(3)如果x和y連通,并且y和z連通,那么x和z連通.(設(shè)工/ : 0 ,1 f 分別是X中從x至1J y和從y到z的道路.定義映射f:0 , 1 一X使得對 于任何t 0 , l, xeBo 乂匚B oYxgSnxg上相等 4二 go 幺uBaBu乂；(2)證實連續(xù)映射：反射開集、閉集、鄰域；(3)證實開集：定理2.3.1 .在連續(xù)映射下,是否是開集的原象；(4)證實基：定義及定理2.6.2 ;(5)證實凝聚點；XEdO叩W0證實不是凝聚點：1 -1-1-二.,一 “二 二一 證實閉包：工.A OVU4月cA. 0 ；(6)證實序列收斂于x,用定義；證實序列收斂,用反證法；(7)證實連通