Armstrong基礎拓撲學讀書筆記——第二章:連續性

2.1 開集和閉集

拓撲空間

(定義2.1) XX是一個拓撲空間,如果它存在一組非空子集(稱爲開集)族,滿足

  • 無限個開集的並是開集
  • 有限個開集的交是開集
  • 全集和空集是開集

無限開集是不是開集的例子。
XX是定義在R2R^2上的歐式拓撲,開集取常規定義下的開圓,取其中無數個開集
(x,y)x2+y2<1n,n=1,2,{(x,y)|x^2+y^2<\frac{1}{n}}, n=1,2,\cdots
顯然這無限個開集的交是原點,而原點不是開集。

鄰域

對拓撲空間XX中的一個點(元素)pp,任何一個包含pp的開集都是pp的一個鄰域。

子空間誘導的拓撲

XX是一個拓撲空間(背景集合和開集族),YYXX上(背景集合)的一個子集,若定義YY中的開集爲XX中開集和YY的交,則YYXX在子空間上誘導(induce)的拓撲。

離散拓撲

XX中所有的子集均爲開集構成的拓撲空集。

閉集

XX是一個拓撲空間,XX的一個子集稱爲一個閉集,如果這個子集的補爲開集。

一個子集可以同時爲開集和閉集。比如在X={0,1}X=\{0,1\}上賦予離散拓撲,則由定義,{0}\{0\}{1}\{1\}顯然同時爲開集和閉集。

極限點

AA是拓撲空間XX的一個子集。一個點(元素)pXp \in X被稱爲AA的極限點,當且僅當對於任意pp的鄰域,均包含至少一個點,它屬於A{p}A-\{p\}

例1:XX是定義在R1R^1上的歐式拓撲,AA取所有1/n,n=1,2,1/n, n=1,2,\cdots點組成的點集,則AA中唯一的極限點是原點。

例2:XX是定義在R1R^1上的歐式拓撲,AA[0,1)[0,1),則AA中任一點均爲極限點,且1也是一個AA的極限點。

例3:XX是定義在R3R^3上的歐式拓撲,AAR3R^3中所有的有理點,則XX全體都是極限點。

例4:XX是定義在R3R^3上的歐式拓撲,AAR3R^3中所有的整數點,則AA沒有極限點。

閉集和極限點的定理

(定理2.2) 一個集合是閉集,當且僅當它包含了它自身所有的極限點。

閉集和閉包的關係

(定理2.3) 子集AA的閉包爲包含AA的最小閉集,或者說,子集AA的閉包爲所有包含AA的閉集的交。

(推論2.4) 一個子集爲閉集,當且僅當它的閉包爲自身。

集合AA的閉包寫作Aˉ\bar{A}

稠密

如果一個子集的閉包爲整個拓撲空間,則稱這個子集是稠密的。

如上述例3中R3R^3上所有的有理點的集合是稠密的。

稠密集和空間中任意一個開集相交。

內部點(集)

子集AA的內部點(interior),通常寫作A˚\mathring{A},指所有包含AA的集合的交。

一個點xx屬於集合AA的內部點,當且僅當集合AA是點xx的鄰域。

開集的內部點集就是開集本身。

邊界點(集)

拓撲空間XX中的子集AA的邊界點(frontier)定義爲AA的閉包和XAX-A的閉包的交。

一個等價的定義爲XX減去AA的內部點,再減去XAX-A的內部點。

拓撲基

如果有一個拓撲空間XX,以及一組XX中的開集β\beta,如果XX中任何一個開集都可以表示成若干個β\beta中開集的並,則β\beta構成XX中的一個拓撲基。

一個等價的定義是,對於任何一個點xx,取它的鄰域NNNN中總有一個點,這個點屬於β\beta中某一個開集。

例:對於R2R^2上的歐式拓撲,開圓盤是其中一個拓撲基,開矩形也是其中的一個拓撲基。

(定理2.5)β\beta是集合XX中的一個子集族,若有限個β\beta中的集合相交仍在β\beta中,且β=X\bigcup \beta = X,則β\betaXX的一個拓撲基,形成XX的拓撲空間。

證明:取開集族爲所有β\beta中集合併成的集合,驗證這樣的開集族滿足拓撲空間的三個條件即可。按開集族的取法,無限並在開集族中;按定理的條件,有限交在開集族中;按定理的條件,全集在開集族中;人工添加空集到開集族中。顯然賦予這樣開集族的XX是拓撲空間。得證。

2.2 連續函數

連續函數

(定理2.6) 拓撲空間XX到拓撲空間YY的函數是連續的(continuous),當且僅當YY中開集的原像(inverse image)在XX中是開集。

映射

連續函數通常被稱爲映射(map)。

(定理2.7) 映射的複合還是映射。即f:XYf: X \rightarrow Y是連續函數,g:YZg: Y \rightarrow Z是連續函數,則fg:XZf \circ g: X \rightarrow Z也是連續函數。

子空間誘導拓撲下的連續函數

(定理2.8)f:XYf: X \rightarrow Y是連續函數,AAXX的子集,且賦予子空間誘導的拓撲,則fA:AYf|A: A \rightarrow Y也是連續函數。

連續函數的性質

(定理2.9) 以下5個命題等價:

(a). f:XYf: X \rightarrow Y連續

(b). β\betaYY的一個拓撲基,任何一個β\beta中的集合的原像是XX中的開集

©. AX,f(Aˉ)f(A)\forall A \subseteq X, f(\bar{A}) \subseteq \overline{f(A)}

(d). BY,f1(B)f1(Bˉ)\forall B \subseteq Y, \overline{f^{-1}(B)} \subseteq f^{-1}(\bar{B})

(e). YY中閉集的原像都是XX中的閉集。

證明:證明命題等價的方法爲(a)(b)(c)(d)(e)(a)(a) \Rightarrow (b) \Rightarrow (c) \Rightarrow (d) \Rightarrow (e) \Rightarrow (a)

(a)(b)(a) \Rightarrow (b),由定義顯然。

(b)(c)(b) \Rightarrow (c),在Aˉ\bar{A}中任取一點xx,若xAx \in A,則顯然f(x)f(A)f(A)f(x) \in f(A) \subseteq \overline{f(A)};若xAx \notin A,則xxAA的一個極限點。因此,我們只需要證明xxAA的一個極限點時,f(x)f(x)f(A)f(A)的極限點的情況。任取f(x)f(x)的一個鄰域NN,由(b),可取YY中一個拓撲基BβB \in \beta,使得f(x)BNf(x) \in B \subseteq N。要證f(x)f(x)f(A)f(A)的極限點,即證存在一點f(x)f(x')f(x)Nf(x') \in Nf(x)f(A)f(x') \in f(A)。由(b),f1(B)f^{-1}(B)XX中的開集,因爲xf1(B)x \in f^{-1}(B)xx爲極限點,故存在一點xAx' \in Axf1(B)x' \in f^{-1}(B)。因此顯然,f(x)f(A)f(x') \in f(A)f(x)BNf(x') \in B \subseteq N。命題得證。

(c)(d)(c) \Rightarrow (d)BY\forall B \subseteq YAX\exist A \subseteq X,使得A=f1(B)A = f^{-1}(B)。代入©,得到f(f1(B))f(f1(B))=Bˉf(\overline{f^{-1}(B)}) \subseteq \overline{f(f^{-1}(B))} = \bar{B},兩側同時取f1f^{-1},則(d)得證。

(d)(e)(d) \Rightarrow (e),如果BBYY中的閉集,則B=BˉB=\bar{B}。由(d),f1(B)f1(Bˉ)=f1(B)\overline{f^{-1}(B)} \subseteq f^{-1}(\bar{B}) = f^{-1}(B),因此(e)得證。

(e)(a)(e) \Rightarrow (a),設UUYY中的開集,則f1(U)⨿f1(YU)=Xf^{-1}(U) \amalg f^{-1}(Y-U) = X,其中⨿\amalg表示無交併。(這裏等號成立,是因爲函數的性質決定了fff1f^{-1}爲一一映射且爲滿射。)因爲閉集的原像是閉集,且因爲YUY-U是閉集,因此f1(YU)f^{-1}(Y-U)是閉集。因此f1(U)=Xf1(YU)f^{-1}(U) = X - f^{-1}(Y-U),因此開集的原像是開集。(a)得證。

連續函數的逆不一定爲連續函數。

例:XX[0,1)[0,1)賦予R1R^1歐式拓撲的子空間拓撲,YY爲單位圓賦予R2R^2歐式拓撲的子空間拓撲。f:XY=e2πixf:X \rightarrow Y = e^{2\pi ix}爲連續函數,因爲任取XX上的開區間,都是YY上的開曲線區間。但f1f^{-1}不是連續函數,因爲YY中取跨越(1,0)(1,0)點的一段開曲線區間,對應於XX左右兩側一段開區間和一段閉區間。見圖2.1。

圖2.1

同胚

如果存在XXYY上一一對應、滿射且連續的函數,且其逆函數也連續,則XXYY同胚。

例:球極投影。去掉北極點的球和平面同胚。可構造從北極點向球面各點發射的射線,總是能和赤道平面相交在一點,它們顯然一一對應、滿射、連續、逆函數連續,因此同胚。

圖1.24

2.3 充滿面的曲線

皮亞諾曲線

構造方法如圖2.3所示。

圖2.3

可證明皮亞諾曲線充滿了整個三角形。另外由於皮亞諾曲線是[0,1][0,1]到整個面的連續映射,因此,單方向的連續映射不能推出同胚。

2.4 Tietze擴張定理

暫跳過

參考

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章