點集拓撲中的連續
《基礎拓撲學》(北京大學出版社,尤承業編著)第24頁講了同胚映射。定義如下:
定義1
如果是一一對應,並且極其逆映射都是連續的,則稱是一個同胚映射,或稱拓撲變換,或簡稱同胚。當存在到的同胚映射時,就稱與同胚,記作。
以前看到這裡,也是以為很好懂,就是一映射而已。這樣想的時候,其實是沒有充分理解連續性,沒有充分理解什麼是拓撲空間中的連續。所以書中接下來舉了一個例子,我當即表示大惑不解。
例子1
值得提醒的是同胚映射中條件連續不可忽視,它不能從一一對應和連續推出。例如設是複平面上的單位圓周,規定為。則是一一對應,並且連續,但不連續。譬如是的開集,但是是包含1的上半圓,1不是它的內點,因此不是開集。如圖
為啥不連續啊。。。是的開集又是什麼鬼。。。這裡我們需要明白,映射是否連續,是取決與拓撲空間如何構造的。見連續的定義:
定義2
設和都是拓撲空間,是一個映射,。如果對於中的任一鄰域, 總是的鄰域,則說在處連續。
注意定義2的連續是一個局部的連續概念,把這個局部連續的性質推廣到集合上的每個點的話,就說是連續映射。連續映射是一個整體概念。
定義2到底是什麼意思呢。數學家為了避免歧義,總是說話顯得很啰嗦。其實定義2完全可以表述為「對包含的每個開集,必存在包含的開集,使得。」 再換個詳細的表述就是:
對於從所構成的拓撲空間到構成的拓撲空間上的映射如果連續,則對於(即拓撲規定的的子集族)來說: 如果 , 那麼的一定能在(也即拓撲規定的的子集族)中至少找到一個元素,使得 ,並且中所有元素在的映射下在Y中構成的集合。
也就是說除了元素之間的對應以外,想要滿足拓撲空間到拓撲空間之間的映射連續,需要兩個空間的開集也滿足某種對應關係,比如下圖:
假設與是有離散點構成的集合,元素名稱自上而下分別為。規定上的拓撲為,規定Y上的拓撲為。則如上的連線所構成的映射是連續的。可以對每個進行考察。比如, 取的任一鄰域,比如集合, 那麼,顯然 是的一個鄰域。於是在這一點處連續。考察各個之後可以得出結論, 是連續的。
不滿足這種對應關係,則哪怕是一一映射,它也不連續。比如下圖
我們同樣考察。取的一個鄰域。根據上的拓撲可知,的鄰域只有。所以不是的鄰域,所以不是連續映射。
理解了這些,我們再回頭來看例子1。
例子1
值得提醒的是同胚映射中條件連續不可忽視,它不能從一一對應和連續推出。例如設是複平面上的單位圓周,規定為。則是一一對應,並且連續,但不連續。譬如是的開集,但是是包含1的上半圓,1不是它的內點,因此不是開集。如圖
同胚要求兩個方向的映射都要連續,而連續又離不開拓撲。那麼我們規定取的離散拓撲(所以對於任意都是連續的),而對於構成的點集Y, 取左半圓, 。 那麼是包含1的上半圓,對於所有屬於右半圓的點,它都不是鄰域。至此就舉出了一個一一映射並且一個方向連續而另一個方向不連續的例子,但是我明白,我舉的這個例子並不是書上的原意思。書上具體是什麼意思,有點模糊,因為書上沒有明確的說出針對這兩個點集採用的是什麼拓撲。
推薦閱讀: