在代數拓撲中，基本群（或稱龐加萊群）是一個重要的同倫不變數。拓撲空間的基本群的元素是該空間中從某一點出發的環路的同倫等價類；基本群的群運算是環路的同倫等價類的銜接運算。拓撲空間的基本形狀，或者孔洞的資訊都可以在它的基本群中體現。所以基本群能用以研究兩個空間是否同胚，兩個同胚的空間的基本群是同構的，基本群也能分類一個連通空間的覆疊空間。關於拓撲空間 X 的基本群的符號是 pi_1 X。 基本群的推廣之一是同倫群。基本群是最初和最簡單的同倫群。 直觀詮釋：二維環面的情形 首先，讓我們考慮二維環面（或者可以想象成甜甜圈的表面）的例子作為熱身，固定其上一點 p。 從此點出發，則可以建構環路（即：從 p 出發的並回到 p 的閉曲線）。設想環路如橡皮筋可自由變形與拉長，只要起點與終點仍是 p 且環路仍處在環面上即可。這種變形叫做同倫，若一環路可以從另一環路藉此變形而得到，則稱兩者同倫等價。我們只探討環路的同倫類。二維環面的基本群由環路的同倫類組成。 在上圖中，a 與 b 並非同倫等價：無法連續地從一者變換到另一者而不將環路「扯斷」，它們代表基本群中的不同元素。藉著增加環繞圈數，可以獲得更多的同倫類。 顧名思義，基本群不只是一個集合，它帶還有群結構：二元運算由環路的銜接給出，即先走完第一條環路，再走第二條環路，使得兩段環路上的速率相同。基本群中的單位元素 e_P 由靜止在 p 點的環路代表，逆元由環路的逆行代表之，即：若一元素由環路 s 01 to mathbb T2 代表，則其逆元由 s circ tau 01 to mathbb T2 代表，其中 tau t 1t quad t in 01。 形式定義 設 X 為拓撲空間，p 為其中定點。一條連續道路是一個連續對映 gamma 01 to X，而一個以 p 為基點的環路是一條滿足 gamma 0gamma 1p 的連續道路。以下若不另外說明，則環路皆以 p 為基點。 對兩條環路 gamma_0 gamma_1，如果存在一個連續函式（保持基點的同倫）H 012to X 使得 forall t in 01 H t0 gamma_0 t forall t in 01 H t1 gamma_1 t forall x in 01 H 0x H 1x p 則稱兩者同倫等價。 不難驗證此關係確為等價關係。因此我們可考慮環路對此關係的等價類，以 gamma 表一環路 gamma 隸屬的等價類，亦稱同倫類。 現在定兩條環路 f g 的銜接為： fgtleftbegin matrix f 2t quad tin 012 g 2t1 quad tin 121end matrixright 直觀地說，此環路是先走 f 再走 g，每一段都將速度加倍，以在單位時間內走完全程。可證明 fg 決定於 fg，因此可在環路的同倫類上定義二元運算「」。不難看出此運算滿足結合律。 令單位元 e_P 為環路 e_P tp（即靜止於 p 點的環路），並令環路 f 01 to X 之逆為 f1t f 1t（即 f 逆行）。可證明 f mapsto f1 在同倫類上有明確定義，且同倫類在此運算下成為一個群。 此群稱為 X 在基點 p 的基本群，記為 pi_1 Xp。 例子 mathbb Rn 對任何基點的基本群皆為平凡群。換言之，每個環路都可以連續地變形到基點。這類空間稱為單連通空間。 當 n geq 2 時，mathbb Sn 為單連通。 圓環 mathbb S1 之基本群為 Z。其元素一一對應於 e_m t mapsto e2i pi mt，其中 m in Z 表示環路繞行圓環的次數（計入方向）；群運算由 e_m cdot e_n e_mn 給出。一般而言，n 維環面的基本群同構於 Zn。 基本群也可能含撓元：例如射影平面 R P2 的基本群便同構於 Z2Z。 基本群不一定可交換：例如挖去兩點的平面 R2 ab 的基本群同構於兩個生成元的自由群，生成元分別對應於繞行 a 與 b 的環路。 事實上，可以證明對任何群 G 皆存在一個拓撲空間，使其基本群同構於 G（此空間可以用二維 CW 複形構造，當群為有限展示時則能以四維流形構造）。可以證明，每個群都是某個緊豪斯多夫空間的基本群當且僅當不存在可測基數。Adam Przezdziecki Measurable cardinals and fundamental groups of compact spaces Fundamenta Mathematicae 192 2006 8792 基本性質 對基點的獨立性 以下設 X 為道路連通空間。pq in X，則 pi_1 Xp 同構於 pi_1 Xq。這是因為存在一條從 p 到 q 的道路 gamma，依之定義對映 alpha mapsto gamma alpha gamma1 此對映給出從 pi_1 Xq 至 pi_1 Xp 的同構，其逆則為 alpha mapsto gamma1 alpha gamma 由此可談論空間本身的基本群（兩個基本群在同構的意義下相等），記為 pi_1 X。基本廣群理論也 可以簡練地解釋基本群對基點的獨立性。 對連續對映的函子性 設 f 為空間 Xp to Yq 的同倫等價，則 pi_1 f 為同構。 推論。同胚的空間有相同的基本群。 積空間的基本群 pi_1 X times Y pq pi_1 Xp times pi_1 Yq 與第一個同調群的關係 道路連通空間的第一個同調群是基本群的交換化。這是 Hurwitz 定理的特例。 計算方法與應用 範坎彭（van Kampen）定理 基本群一般不易計算，因為須證明某些環路非同倫等價。當空間可分割為較單純的空間，而其基本群已知時，範坎彭定理（或塞弗特－範坎彭（Seifertvan Kampen）定理）可以將基本群表為一個歸納極限。 錐定理與射影空間的基本群 對一個拓撲空間 X，定義其「錐」CX I times X0 times X，其中 I 表閉區間 01。當 X mathbb S1 時，CX 同胚於圓錐。 道路連通空間的錐是單連通的，我們也有自然包含對映 X simeq 1 times X subset CX。 設 f X to Y 為連續對映，定義對映錐為 C f dfrac C X sqcup Y1x sim f x。 例子：設 f 為 mathbb S1 到自身的對映 z mapsto z2，此時 C f R P2。 錐定理斷言 C f 的基本群同構於 pi_1 Y 對 f_pi_1 Y 的正規化的商 應用：實射影空間之基本群同構於 mathbb Z2mathbb Z。 圖、曲面與多面體的基本群 圖的基本群總是自由群。這點可藉著將圖沿其最小生成樹縮為一束 mathbb S1 看出。 多面體的基本群可以展示為生成元與關係，使得每個關係由多面體的一個面給出。 可定向緊曲面的基本群帶一個有 2g 個生成元 a_1 b_1 ldots a_g b_g 及一個關係 a_1b_1a_11 b_11 a_2b_2a_21 b_21ldots a_gb_ga_g1 b_g11 的展示。整數 g 決定於曲面的拓撲結構，稱為其虧格。 基本群與覆疊空間 基本群的子群的共軛類一一對應於空間的覆疊的同構類，在此對應下，正規子群對應於伽羅瓦覆疊。 在覆疊空間理論中，業已證明瞭如果空間有單連通的覆疊空間（例如對區域性單連通空間），則基本群同構於萬有覆疊空間的自同構群。 推廣 基本廣群 如果一個小範疇（即：物件與全體態射構成一集合）的所有態射皆可逆，則稱之為一個廣群。所有廣群與其間的函子構成一個範疇。群是隻有一個物件的廣群。 設 G 為一廣群，對其物件定義下述等價關係： x sim y iff mathrm Homxy neq emptyset 得到的商集記作 pi_0 G（或曰連通分支），這是從廣群範疇到集合範疇的函子。 對每個拓撲空間，以下述方式函子地構造一廣群 pi X： 設 X 為拓撲空間，令 pi X 的物件為 X 的點，從點 x 至 y 的態射是從 x 到 y 的道路的同倫類。同倫等價關係相容於道路的頭尾相接，故定義了一個廣群 pi X，稱為 X 的基本廣群。 Van Kampen 定理在廣群的框架下有簡練的表述。 設 G 為廣群，而 x 為其物件（也稱作 G 的點）。mathrm Homxx 在態射合成下成為一個群，記之為 pi_1 Gx。註：由於基點選取問題，pi_1 並不能定義一個從廣群範疇到群範疇的函子。 一個拓撲空間的基本群可以用基本廣群定義為 pi_1 Xx_0 pi_1 pi Xx_0。 高階同倫群 基本群實則是第一個同倫群，這是符號 pi_1 Xx_0 中「1」的由來。 代數幾何中的基本群 基本群亦可抽象地定義為纖維函子的自同構群，此纖維函子對每個帶基點的覆疊對映 r Yq to Xp 給出纖維 r1p。 此定義可以推廣到代數幾何，而之前給出的環路定義則不可。在此我們將拓撲空間的覆疊對映代為平展態射，拓撲空間的基點代為概形上的一個幾何點 x，而纖維函子 F 對一平展覆疊 f Y to X 給出幾何纖維 mathrm Hom_X x Y。此推廣源出格羅滕迪克與夏瓦雷。 這套理論可以解釋函式域的伽羅瓦理論與黎曼曲面的覆疊理論之聯絡。 文獻 Allen Hatcher Algebraic Topology 2001 Cambridge University Press ISBN 0521795400 J P May A Concise Course in Algebraic Topology 1999 Chicago University Press ISBN 0226511839 外部連結 Allen Hatcher Algebraic Topology 自由下載 基本群動畫展示 Category 代數拓撲 Category 同倫論