同倫群

群是一種只有一個運算的、比較簡單的代數結構;是可用來建立許多其他代數系統的一種基本結構。

同倫群(homotopy groups)基本群的高維推廣。基本群是從單位閉區間I到拓撲空間X的閉路的同倫等價類和其運算得到的。

基本群亦稱一維同倫群。對一個拓撲空間聯繫一個群的代數結構。

基本介紹

  • 中文名:同倫群
  • 外文名:homotopy groups
  • 領域:群論
  • 定義:基本群的高維推廣
  • 對象:拓撲空間X的閉路的同倫等價類
  • 重要人物:赫萊維茨
概念及性質,群,基本群,

概念及性質

同倫群(homotopy groups)是基本群的高維推廣。基本群是從單位閉區間I到拓撲空間X的閉路的同倫等價類和其運算得到的。考慮n維歐氏空間R中的n維方體:
的邊界,即:
存在i使得
設X為拓撲空間,x0∈X,用Mn(X,x0)表示全體連續映射α:(
)→(X,x0)所成的集合,α和α′相對於I的同倫關係αα′是Mn(X,x0)上的一個等價關係,它把Mn(X,x0)的元素分成一些同倫等價類,用πn(X,x0)表示這些等價類所成的集合.定義映射α*β:(I,I)→(X,x0),使得:
從而,α*β∈Mn(X,x0),並且,若α∽α′,β∽β′,則:
因此,可在πn(X,x0)中定義運算:
並且關於這一運算使它構成群,仍記為πn(X,x0),稱為拓撲空間X的以x0為基點的n維同倫群.1維同倫群就是基本群π1(X,x0).同倫群還有一種等價定義方式,它是用n維球面S代替n維方體I,這種定義給討論同倫群的性質有時帶來方便.類似基本群的討論,同倫群具有性質:當拓撲空間是道路連通空間時,其同倫群與基點選取無關;利用連續映射誘導的同倫群之間同態的一些性質得出,同倫群是同倫型不變數(更是拓撲不變的);當n≥2時,同倫群πn(X,x0)是交換群,因而有時把運算寫成[α]+[β]。同倫群與同調群的一些基本關係:對於連通復形K的多面體|K|,1維同調群同構於基本群的交換化,即:
這裡[π1(|K|),π1(|K|)]表示基本群π1(|K|)的換位子群。高維同倫群與同調群之間的關係,由赫萊維茨(Hurewicz,W.)的同構定理給出:設|K|是連通復形K的多面體,當n≥2時,若|K|的1,2,…,n-1維同倫群都是平凡群,則πn(|K|)xHn(K)。

群是一種只有一個運算的、比較簡單的代數結構;是可用來建立許多其他代數系統的一種基本結構。
設G為一個非空集合,a、b、c為它的任意元素凝促多愚。如果對G所定義的一種代數運算“·”(稱為“乘法”,運算結果稱為“乘積”)滿足:
(1)封閉性,a·b∈G;
(2)結合律,即(a·b)c = a·(b·c);
(3)對G中任意元素a、b,在G中存在惟一的元素x,y,使得a·x= b,y·a=b,則稱G對於所定義的運算“·”構成一個群。例如,所有不等於零的實數,關於通常的乘法構成一個群;時針轉動(關於模12加法),構成一個群。
滿足交換律的群,稱為交換群。
群是數學最重要的概念之一,已滲透到現代數學的所有分支及其他學科中。凡是涉及對稱,就存在群。例如,可以用研究圖形在變換群下保持不變的性質,來定義各種幾何學,即利用變換群對幾棕籃元應何學進行分類。可以說,不了解群,就不可能理解現代數學。
1770年,拉格朗日在討論代局歸符數方程根之間的置換時,首先引入訂櫃群的概念,而它的名稱,是伽羅華在1830年訂煮葛首先提出的。

基本群

基辯祝采本群亦稱一維同倫群。對一個拓撲空間聯繫一個群的代數結構。在拓撲空間X中對於以同一點x0為基點的兩條閉道路α和β可引入乘法*:
α*β是一條以x0為基點的閉道路。這種乘法不一定滿足結合律,無法引入群結構。但是,在以x0為基點所有閉路同倫類中,引入乘法:
[α]°[β]=[α*β],
這種定義是有意義的,並且以x0為基點的全體閉路同倫類在引入這種乘法後構成一群,稱為X的以x0為基點的基本群,記為π1(X,x0).基本群可以不是交換群.對於道路連通空間X,其基本群與基點的選取無關,記為π1(X).對於兩個拓撲空間X與Y之間的連續映射f:(X,p)→(Y,q),它與X內以p為基點的閉路α的複合映射f°α是Y內以q為基點的囑試達閉路,並且兩條同倫的閉路與f的複合得出兩條同倫的閉路,因此,按照f*([α])=[f°α]定義映射:
f*: π1(X,p)→π1(Y,q),
於是f*為同態,稱為f誘導的同態.由此得出基本群是拓撲不變數,進而基本群也是同倫型不變數。
計算基本群常常是將所討論的空間“歸結”或“分解”為更簡單的空間以算出其基本群,這些常見的方法有:
1.利用基本群的同倫型不變性.
2.對於乘積空間可利用結論:當X和Y為道路連通空間時,π1(X×Y)
π1(X)×π1(Y).
3.利用覆疊空間理論.
4.利用范卡彭定理:若K是連通的復形,K0,K1,K2都是K的連通的子復形,使得
α0是K0的一個頂點,i1和i2分別是K0的多面體|K0|到K1和K2的多面體|K1|和|K2|的包含映射,則|K|的基本群π1(|K|,a0)可從π1(|K1|,a0)與π1(|K2|,a0)的自由乘積中添加關係i1*(z)=i2*(z)得到,其中z取遍π1(|K0|,a0)的一切元素。
范卡彭定理適用於可剖分空間,並可推廣到更一般的加一定限制的拓撲空間。例如,用以上方法可得到圓周S的基本群為π1(S)Z,可縮空間的基本群為平凡群,默比烏斯(Mo¨bius,A.F.)帶M的基本群π1(M)Z,環面T的基本群為π1(T)Z×Z,n維球面S(n≥2)的基本群π1(S)為平凡群,以及克萊因瓶K的基本群π1(K){t,u|tut=u}(或{a,b|a=b}),這裡Z表示整數加群。
1770年,拉格朗日在討論代數方程根之間的置換時,首先引入群的概念,而它的名稱,是伽羅華在1830年首先提出的。

基本群

基本群亦稱一維同倫群。對一個拓撲空間聯繫一個群的代數結構。在拓撲空間X中對於以同一點x0為基點的兩條閉道路α和β可引入乘法*:
α*β是一條以x0為基點的閉道路。這種乘法不一定滿足結合律,無法引入群結構。但是,在以x0為基點所有閉路同倫類中,引入乘法:
[α]°[β]=[α*β],
這種定義是有意義的,並且以x0為基點的全體閉路同倫類在引入這種乘法後構成一群,稱為X的以x0為基點的基本群,記為π1(X,x0).基本群可以不是交換群.對於道路連通空間X,其基本群與基點的選取無關,記為π1(X).對於兩個拓撲空間X與Y之間的連續映射f:(X,p)→(Y,q),它與X內以p為基點的閉路α的複合映射f°α是Y內以q為基點的閉路,並且兩條同倫的閉路與f的複合得出兩條同倫的閉路,因此,按照f*([α])=[f°α]定義映射:
f*: π1(X,p)→π1(Y,q),
於是f*為同態,稱為f誘導的同態.由此得出基本群是拓撲不變數,進而基本群也是同倫型不變數。
計算基本群常常是將所討論的空間“歸結”或“分解”為更簡單的空間以算出其基本群,這些常見的方法有:
1.利用基本群的同倫型不變性.
2.對於乘積空間可利用結論:當X和Y為道路連通空間時,π1(X×Y)
π1(X)×π1(Y).
3.利用覆疊空間理論.
4.利用范卡彭定理:若K是連通的復形,K0,K1,K2都是K的連通的子復形,使得
α0是K0的一個頂點,i1和i2分別是K0的多面體|K0|到K1和K2的多面體|K1|和|K2|的包含映射,則|K|的基本群π1(|K|,a0)可從π1(|K1|,a0)與π1(|K2|,a0)的自由乘積中添加關係i1*(z)=i2*(z)得到,其中z取遍π1(|K0|,a0)的一切元素。
范卡彭定理適用於可剖分空間,並可推廣到更一般的加一定限制的拓撲空間。例如,用以上方法可得到圓周S的基本群為π1(S)Z,可縮空間的基本群為平凡群,默比烏斯(Mo¨bius,A.F.)帶M的基本群π1(M)Z,環面T的基本群為π1(T)Z×Z,n維球面S(n≥2)的基本群π1(S)為平凡群,以及克萊因瓶K的基本群π1(K){t,u|tut=u}(或{a,b|a=b}),這裡Z表示整數加群。

相關詞條

熱門詞條

聯絡我們