穩定同倫羣

穩定同倫羣(stable homotopy group)是一種特殊的同倫羣。由於懸垂同態： ^[1] 

當n>k+1時為同構，所以

存在。此極限稱為球面的第k個穩定同倫羣，記為G_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年首先提出的。

同倫羣(homotopy groups)是基本羣的高維推廣。基本羣是從單位閉區間I到拓撲空間X的閉路的同倫等價類和其運算得到的。考慮n維歐氏空間R中的n維方體： ^[2] 

是

的邊界，即：

存在i使得

，

設X為拓撲空間，x₀∈X，用M_n(X，x₀)表示全體連續映射α：(

，

)→(X，x₀)所成的集合，α和α′相對於I的同倫關係αα′是M_n(X，x₀)上的一個等價關係，它把M_n(X，x₀)的元素分成一些同倫等價類，用π_n(X，x₀)表示這些等價類所成的集合.定義映射α*β：(I，I)→(X，x₀)，使得：

從而，α*β∈M_n(X，x₀)，並且，若α∽α′，β∽β′，則：

因此，可在π_n(X，x₀)中定義運算：

並且關於這一運算使它構成羣，仍記為π_n(X，x₀)，稱為拓撲空間X的以x₀為基點的n維同倫羣.1維同倫羣就是基本羣π₁(X，x₀).同倫羣還有一種等價定義方式，它是用n維球面S代替n維方體I，這種定義給討論同倫羣的性質有時帶來方便.類似基本羣的討論，同倫羣具有性質：當拓撲空間是道路連通空間時，其同倫羣與基點選取無關;利用連續映射誘導的同倫羣之間同態的一些性質得出，同倫羣是同倫型不變量(更是拓撲不變的)；當n≥2時，同倫羣π_n(X，x₀)是交換羣，因而有時把運算寫成[α]+[β]。同倫羣與同調羣的一些基本關係：對於連通復形K的多面體|K|，1維同調羣同構於基本羣的交換化，即：

這裏[π₁(|K|)，π₁(|K|)]表示基本羣π₁(|K|)的換位子羣。高維同倫羣與同調羣之間的關係，由赫萊維茨(Hurewicz，W.)的同構定理給出：設|K|是連通復形K的多面體，當n≥2時，若|K|的1，2，…，n-1維同倫羣都是平凡羣，則π_n(|K|)xH_n(K)。

基本羣亦稱一維同倫羣。對一個拓撲空間聯繫一個羣的代數結構。在拓撲空間X中對於以同一點x₀為基點的兩條閉道路α和β可引入乘法*：

α*β是一條以x₀為基點的閉道路。這種乘法不一定滿足結合律，無法引入羣結構。但是，在以x₀為基點所有閉路同倫類中，引入乘法： ^[3] 

[α]°[β]=[α*β]，

這種定義是有意義的，並且以x₀為基點的全體閉路同倫類在引入這種乘法後構成一羣，稱為X的以x₀為基點的基本羣，記為π₁(X，x₀).基本羣可以不是交換羣.對於道路連通空間X，其基本羣與基點的選取無關，記為π₁(X).對於兩個拓撲空間X與Y之間的連續映射f：(X，p)→(Y，q)，它與X內以p為基點的閉路α的複合映射f°α是Y內以q為基點的閉路，並且兩條同倫的閉路與f的複合得出兩條同倫的閉路，因此，按照f_*([α])=[f°α]定義映射：

f_*： π₁(X，p)→π₁(Y，q)，

於是f_*為同態，稱為f誘導的同態.由此得出基本羣是拓撲不變量，進而基本羣也是同倫型不變量。

計算基本羣常常是將所討論的空間“歸結”或“分解”為更簡單的空間以算出其基本羣，這些常見的方法有：

1.利用基本羣的同倫型不變性.

2.對於乘積空間可利用結論：當X和Y為道路連通空間時，π₁(X×Y)

π₁(X)×π₁(Y).

3.利用覆疊空間理論.

4.利用範卡彭定理：若K是連通的復形，K₀，K₁，K₂都是K的連通的子復形，使得

α₀是K₀的一個頂點，i₁和i₂分別是K₀的多面體|K₀|到K₁和K₂的多面體|K₁|和|K₂|的包含映射，則|K|的基本羣π₁(|K|，a₀)可從π₁(|K₁|，a₀)與π₁(|K₂|，a₀)的自由乘積中添加關係i_1*(z)=i_2*(z)得到，其中z取遍π₁(|K₀|，a₀)的一切元素。

範卡彭定理適用於可剖分空間，並可推廣到更一般的加一定限制的拓撲空間。例如，用以上方法可得到圓周S的基本羣為π₁(S)Z，可縮空間的基本羣為平凡羣，默比烏斯(Mo¨bius，A.F.)帶M的基本羣π₁(M)Z，環面T的基本羣為π₁(T)Z×Z，n維球面S(n≥2)的基本羣π₁(S)為平凡羣，以及克萊因瓶K的基本羣π₁(K){t，u|tut=u}(或{a，b|a=b})，這裏Z表示整數加羣。 ^[4]