點集拓撲中的連續

《基礎拓撲學》(北京大學出版社,尤承業編著)第24頁講了同胚映射。定義如下:

定義1

如果f:X 
ightarrow Y是一一對應,並且f極其逆映射f^{-1}:Y
ightarrow X都是連續的,則稱f是一個同胚映射,或稱拓撲變換,或簡稱同胚。當存在XY的同胚映射時,就稱XY同胚,記作Xsimeq Y

以前看到這裡,也是以為很好懂,就是一映射而已。這樣想的時候,其實是沒有充分理解連續性,沒有充分理解什麼是拓撲空間中的連續。所以書中接下來舉了一個例子,我當即表示大惑不解。

例子1

值得提醒的是同胚映射中條件f^{-1}連續不可忽視,它不能從一一對應和f連續推出。例如設S^{1}是複平面上的單位圓周,規定f:[0,1)
ightarrow S^{-1}f(t)=e^{i2pi t}。則f是一一對應,並且連續,f^{-1}不連續譬如[0,{1over {2}}) [0,1)的開集,但是(f^{-1})^{-1}left( [0,{1over 2}) 
ight) =fleft( [0,{1over 2}) 
ight)是包含1的上半圓,1不是它的內點,因此不是開集。如圖

f^{-1}為啥不連續啊。。。[0,{1over 2})[0,1)的開集又是什麼鬼。。。這裡我們需要明白,映射是否連續,是取決與拓撲空間如何構造的。見連續的定義:

定義2

XY都是拓撲空間,f:X
ightarrow Y是一個映射,xin X。如果對於Yf(x)的任一鄰域V, f^{-1}(V)總是x的鄰域,則說fx處連續

注意定義2的連續是一個局部的連續概念,把這個局部連續的性質推廣到集合X上的每個點的話,就說f:X
ightarrow Y連續映射。連續映射是一個整體概念。

定義2到底是什麼意思呢。數學家為了避免歧義,總是說話顯得很啰嗦。其實定義2完全可以表述為「對包含f(x)的每個開集V,必存在包含x的開集U,使得f(U)subset V」 再換個詳細的表述就是:

對於從(X,	au_{x})所構成的拓撲空間到(Y,	au_y)構成的拓撲空間上的映射f如果連續,則對於	au_y(即拓撲規定的Y的子集族)來說:forall xin X, forall V in 	au_y, 如果 f(x) in V , 那麼的一定能在	au_x(也即拓撲規定的X的子集族)中至少找到一個元素U,使得 xin U,並且U中所有元素在f的映射下在Y中構成的集合f(U)subset V

也就是說除了元素之間的對應以外,想要滿足拓撲空間到拓撲空間之間的映射連續,需要兩個空間的開集也滿足某種對應關係,比如下圖:

假設XY是有離散點構成的集合,元素名稱自上而下分別為x_i,y_i,(i = 1,2,3,4,5)。規定X上的拓撲為	au_x = {X,{x_1,x_2,x_3}, {x_4,x_5}, emptyset },規定Y上的拓撲為	au_y = { Y, {y_1,y_2},{y_1,y_2,y_4},{y_4},emptyset }。則如上的連線所構成的映射f是連續的。可以對每個f(x_i)進行考察。比如f(x_3)=y_2, 取y_2的任一鄰域,比如集合V = {y_1,y_2,y_3,y_5}, 那麼f^{-1}(V) = U ={x_1,x_2,x_3},顯然 Ux_3的一個鄰域。於是fx_3這一點處連續。考察各個x_i之後可以得出結論, f:X
ightarrow Y是連續的。

不滿足這種對應關係,則哪怕f是一一映射,它也不連續。比如下圖

我們同樣考察x_3f(x_3)=y_3, y_3的一個鄰域V={y_2,y_3}, f^{-1}(V)= U = {x_2,x_3}。根據X上的拓撲	au_x = {X,{x_1,x_2},{x_4},{x_1,x_2,x_4},emptyset}可知,x_3的鄰域只有X。所以U不是x_3的鄰域,所以f:X
ightarrow Y不是連續映射。

理解了這些,我們再回頭來看例子1。

例子1

值得提醒的是同胚映射中條件f^{-1}連續不可忽視,它不能從一一對應和f連續推出。例如設S^{1}是複平面上的單位圓周,規定f:[0,1)
ightarrow S^{-1}f(t)=e^{i2pi t}。則f是一一對應,並且連續,但f^{-1}不連續。譬如[0,{1over {2}}) [0,1)的開集,但是(f^{-1})^{-1}left( [0,{1over 2}) 
ight) =fleft( [0,{1over 2}) 
ight)是包含1的上半圓,1不是它的內點,因此不是開集。如圖

同胚要求兩個方向的映射都要連續,而連續又離不開拓撲。那麼我們規定X=[0,{1}), 	au_x X的離散拓撲(所以對於任意f:X
ightarrow Y都是連續的),而對於S^1構成的點集Y, 取	au_y ={Y,左半圓, emptyset } 。 那麼(f^{-1})^{-1}left( [0,{1over 2}) 
ight) =fleft( [0,{1over 2}) 
ight)是包含1的上半圓,對於所有屬於右半圓的點,它都不是鄰域。至此就舉出了一個一一映射並且一個方向連續而另一個方向不連續的例子,但是我明白,我舉的這個例子並不是書上的原意思。書上具體是什麼意思,有點模糊,因為書上沒有明確的說出針對這兩個點集採用的是什麼拓撲。


推薦閱讀:

遞歸函數(九):最小不動點定理

TAG:點集拓撲 | 拓撲學 | 連續函數 |