主題
Search

同倫群


同倫群將基本群推廣到來自更高維度球體的對映,而不是來自圓的對映。n階同倫群,對於拓撲空間 X,是來自n-維球面X的對映的同倫類的集合,具有結構,並表示為 pi_n(X)基本群pi_1(X),並且,如在pi_1的情況下,對映 S^n->X 必須透過基點 p in X。對於 n>1,同倫群 pi_n(X) 是一個阿貝爾群

Mapping of equator onto basepoint

群運算不像基本群的運算那樣簡單。考慮兩個對映 a:S^n->Xb:S^n->X,它們都透過 p in X。乘積 a*b:S^n->X 透過將赤道對映到基點 p 給出。然後將北半球透過將赤道坍縮為一個點對映到球面,然後再透過 a 對映到 X。南半球類似地透過 b 對映到 X。上面的圖示顯示了兩個球面的乘積。

Homotopy to identity map

單位元由常值對映 e(x)=p 表示。基本群中環路方向的選擇對應於同倫群中 S^n流形定向。因此,對映 a 的逆對映透過切換球面的定向給出。透過在 n+1 座標中描述球面,切換第一和第二座標會改變球面的定向。或者作為超曲面S^n subset R^(n+1),切換定向會反轉內部和外部的角色。上面的圖示表明 a*-a 與常值對映同倫,即單位元。它首先透過擴充套件 a*-a 中的赤道開始,然後將結果對映收縮到基點

Homotopy is independent of basepoint

基本群一樣,同倫群不依賴於基點的選擇。但是,高階同倫群始終是阿貝爾群。上面的圖示顯示了 a*b=b*a 的一個示例。基點是固定的,並且因為 n>1 對映可以旋轉。當 n=1,即基本群時,在保持基點固定的同時旋轉對映是不可能的。

對於所有 i<=npi_i=0 的空間稱為 n-連通的。如果 Xn-1-連通的,n>1,那麼從n階同倫群到n階同調群的胡列維茨同態 pi_n(X)->H_n(X) 是一個同構

f:X->Y 是一個連續對映時,則透過取 f 下的像來定義 f_*:pi_n(X)->pi_n(Y),其中像是 X 中的球面。前推是自然的,即,只要定義了兩個對映的組合,(f degreesg)_*=f_* degreesg_*。實際上,給定一個纖維化

 F->E->B

其中 B道路連通的,存在一個同倫群的長正合序列

 ...->pi_n(F)->pi_n(E)->pi_n(B)->pi_(n-1)(F)->...->pi_0(B)=0.

另請參閱

阿貝爾群, 上同倫群, 弗羅伊登塔爾懸垂定理, 基本群, 同倫的, 同倫, 同倫切除, 同倫理論, 胡列維茨同態, 超球面, , 相對同倫群, 弱等價

此條目由 Todd Rowland 貢獻

使用 探索

參考文獻

Aubry, M. Homotopy Theory and Models. Boston, MA: Birkhäuser, 1995.

在 中引用

同倫群

請引用本文為

Rowland, Todd. "同倫群." 來自 --一個 Wolfram 網路資源,由 Eric W. Weisstein 建立. https://mathworld.tw/HomotopyGroup.html

學科分類