跳轉到內容

拓撲/流形

來自華夏公益教科書
拓撲
 ← Čech 同調 流形 流形/流形的種類 → 

球面的表面和二維平面,都存在於某個三維空間中,是人們通常所說的表面的例子。拓撲流形是對這種表面概念的推廣。如果拓撲空間中的每個點都有一個鄰域,該鄰域同胚於的開子集,對於某個非負整數,那麼這個空間是區域性歐幾里得的。這 формализует the idea that, while a surface might be unusually connected, patches of the surface can still resemble a euclidean space. 例如,克萊因瓶的表面無法在三維空間中浸入而不與自身相交,克萊因瓶的內部和外部之間沒有區別,但它的小塊區域仍然看起來像歐幾里得空間。生活在克萊因瓶表面上的一個小生物可能不知道它是如何整體連線的,也不知道它是如何彎曲的,但它仍然可以製作其附近區域的矩形或正方形地圖,並使用該地圖來測量長度、方向等等。

拓撲流形是區域性歐幾里得的豪斯多夫空間。其他性質通常包含在拓撲空間的定義中,例如是第二可數的(具有可數的基),這包含在下面的定義中。拓撲流形是豪斯多夫的,排除了某些病態的例子,例如帶兩個原點的直線,它是透過用兩個點替換實數軸的原點建立的。兩個原點中的任何一個點的鄰域都將包含零點周圍某個開區間的全部點,因此將包含另一個原點,因此它們的鄰域將始終相交,因此該空間不是豪斯多夫的。見 非豪斯多夫流形以獲取其他示例。

定義 1(拓撲流形)

拓撲空間稱為維拓撲流形(或流形),如果:

  1. 每個點都有一個開鄰域,該鄰域同胚於的開子集。
  2. 是豪斯多夫的。
  3. 是第二可數的。

注意:按照慣例,球是一個單點。任何具有離散拓撲的空間都是 0 維流形。


還要注意所有拓撲流形顯然都是區域性連通的。


為了強調給定流形維的,我們將使用簡寫。這不能與元笛卡爾積混淆。但是,我們將在後面證明這種構造確實存在。


警覺的讀者可能會想知道為什麼我們需要流形是豪斯多夫的和第二可數的。這樣做的原因是為了排除一些病態的例子。兩個這樣的例子是長直線,它不是第二可數的,以及帶兩個原點的直線,它不是豪斯多夫的。

定理 2

拓撲流形是連通的,當且僅當它是路徑連通的。

證明:由於所有拓撲流形顯然都是區域性連通的,因此該定理立即成立。

定義 3

是一個拓撲 - 流形。設 的一個開鄰域。現在,設 ,其中 ,是一個同胚。則這對 被稱為 處的圖

定義 4

是一個拓撲 - 流形,設 上的圖,使得 。也就是說, 的一個開覆蓋。則 被稱為 上的 圖冊

定義 5

是一個 維流形,設 是一個點 的圖(因此 )。定義這兩個圖之間的過渡函式(或圖變換)為同胚

給定一對 ,其中 是一個 維流形,而 上的一個圖集, 可能滿足的性質通常表示為 中圖之間的過渡函式的性質。這將是我們定義可微流形的概念的方式。

定義 6

流形的圖集是光滑的(或 )如果所有過渡函式都是光滑的(所有高階偏導數都存在且連續)。

定義 7

微分同胚是一個光滑同胚 ,使得 也是光滑的。

注意,在光滑圖集中,所有過渡函式都是微分同胚。

定義 8

為一個流形,且 上的光滑圖集。然後,定義 上所有滿足以下條件的圖 的集合:對於所有 都是光滑的。

具有上述性質的圖 被稱為與 相容

引理 9

上的光滑圖集。

Proof: We have to show that the transition functions between any pair of charts in are smooth. This is obvious if one of then is in, so let and be charts in that are not in , such that . Let be a chart such that . Then and are both smooth, since, both and are compatible with . Then, is smooth since it is a composition of smooth maps. An identical argument for completes the proof.

顯然,如果 是包含光滑圖集 的光滑圖集,則

光滑對映

[edit | edit source]
定義 10

是光滑流形, ,令 為一個函式。那麼,如果對於 上的任何圖 上的任何圖 ,使得 ,函式 是歐幾里得空間上的光滑函式,那麼 稱為在 光滑 稱為 光滑函式,如果它在所有 處都是光滑的。

引理 11

處光滑當且僅當存在 上和 上,滿足 ,使得 是光滑的。

證明: 是連續的,因為 是光滑的,因此是連續的,而 是同胚對映。設 是在 處的另外兩個圖。然後 ,它是光滑函式的複合,因為 上的圖集是光滑的,因此它是光滑的。

備註 12

根據引理 11,我們不必檢查所有圖來判斷一個函式是否光滑。這是一個好訊息,因為最大圖集往往是不可數的。

定義 12

如果 是一個光滑的雙射函式,並且其逆函式也是光滑的,那麼它被稱為微分同胚。如果兩個流形之間存在微分同胚,那麼它們被稱為微分同胚

引理 13

是光滑的。那麼 也是光滑的。

證明:令 分別為 處的圖。那麼, 是歐幾里得空間的光滑對映的複合,因此是光滑的。


拓撲
 ← Čech 同調 流形 流形/流形的種類 → 
華夏公益教科書