基本群

トーラス上の点 p を始点と終点にもつループ
数学、特に代数トポロジーにおいて、基本群（きほんぐん、fundamental group）とは、ある固定された点を始点と終点にもつふたつのループが互いに連続変形可能かを測る点付き位相空間に付帯する群である。直観的には、それは位相空間にある穴についての情報を記述している。基本群はホモトピー群の最初で最も単純な例である。基本群は位相不変量である。つまり同相な位相空間は同じ基本群を持っている。
基本群は被覆空間の理論を用いて研究することができる。なぜなら、基本群は元の空間に付帯する普遍被覆空間の被覆変換群に一致するからである。基本群のアーベル化は、その空間の第一ホモロジー群と同一視することできる。位相空間が単体複体に同相のとき、基本群は群の生成子と関係式のことばで明示的に記述することができる。
基本群はアンリ・ポアンカレによって1895年に論文"Analysis situs"で定義された。ベルンハルト・リーマンとポアンカレとフェリックス・クラインの仕事でリーマン面の理論において基本群の概念が現れた。基本群は閉曲面の位相的な完全な分類を提供するだけでなく、複素関数のモノドロミー的性質の記述もする。

**直感的説明**
空間（例えば、曲面）とその中の点があり、この点を始点と終点とするすべてのループ — この点を始点とし周囲を巡り最終的に始点に戻ってくる道 — を考える。2つのループは明らかな方法でつなげることができる、すなわち第一のループに沿って移動してから、第二のループに沿って移動する。2つのループは、ループを壊すことなく一方から他方へ変形できるときに同値であると考える。すべてのそのようなループの集合にこの方法で合成と同値関係を入れたものがその空間の基本群である。

**定義**
X を位相空間、x0 を X の点とする。x0 を基点とするループと呼ばれる連続写像

の集合に注目する。基点 x0 を持つ X の基本群は、この集合をホモトピー h で割った集合

に、群の乗法を次のように与えたものである。

したがってループ f ∗ g はまずループ f を「2倍の速度」で回り、次にループ g を 2倍の速度で回る。2つのループのホモトピー類 f と g の積は、f ∗ g と定義され、この積は代表元の取り方に依らないことを示すことができる。
x0 を基点とするループのすべてのホモトピー類の集合に上記の積を考えたものが、点 x0 における X の基本群をなし、この基本群を

あるいは、単に (X, x0) と書く。単位元は基点に留まる定数写像で、ループ f の逆元は g(t) = f(1 − t) で定義されるループ g である。すなわち、g は f の逆向きのループである。
基本群は一般的には基点の選択に依存しているが、空間 X が弧状連結である限り、同型を除いて（実は内部自己同型の違いを除いて）、この選択は何の差異ももたらさない。したがって弧状連結空間に対し、群のisomorphism classだけに興味がある場合にはいつでも、曖昧さなしで 1(X, x0) の代わりに 1(X) と書くことができる。

**例**
自明な基本群
n次元ユークリッド空間 Rnや Rn 内の任意の凸集合に対して、ループのホモトピー類が唯一つあり、したがって基本群はひとつの元からなる自明な群である。自明な基本群を持つ弧状連結な空間を単連結空間と呼ぶ。
無限巡回群になる基本群
例は円であり、各々のホモトピー類はある与えられた回数（周る方向によって正にも負にもなりうる）円の周りを周ったすべてのループからなる。m 回巻き付いているループと n 回巻き付いているループの積は、m + n 回巻き付いているループとなる。従って、円の基本群は整数の加法群 (Z, +) に同型である。この事実は、 2次元のブラウアーの不動点定理やBorsuk–Ulam theoremの証明に使うことができる。
基本群はホモトピー不変量であるので、複素平面から一点を除いた空間の回転数の理論は、円（の基本群）と同じとなる。
高次ランクの自由群
位相空間に付帯するホモロジー群や高次ホモトピー群とは異なり、基本群は可換である必要はない。例えば、8の字の基本群は、2つの生成元から生成される自由群である。より一般的に、任意のグラフの基本群は、自由群である。グラフ G が連結であれば、自由群のランクは全域木に入っていない辺の数に等しい。
n 個の穴のあいた平面の基本群も、n 個の生成子を持つ自由群で、i 番目の生成子は i 番目の穴の周りを回り他のどの穴の周りも回らないループの類である。
結び目理論
非可換基本群を持つもう少し複雑な空間の例は、R3 の中の三葉結び目の補空間であり、この場合はブレイド群  であることが知られている。

**関手性**
f : X → Y を連続写像とし、x0 ∈ X と y0 ∈ Y は f(x0) = y0 とすると、基点 を x0 とする X の任意のループは、f と 組み合わせて y0 を基点とする Y のループを構成することができる。この操作は、ホモトピー同値関係およびループの合成と整合性を持っている。得られる群準同型は、Induced homomorphism (fundamental group)と呼ばれ、π(f) と書く。あるいはより一般的には、

とも書かれる。この連続写像から群準同型への写像は、恒等写像および写像の結合と整合性を持っている。言い換えると、（この準同型は、）点付き空間の圏から群の圏への関手である。
この関手は、基点と相対的にホモトピックである写像を区別することはできないことが分かる。f, g : X → Y が連続写像で、f(x0) = g(x0) = y0 であり、f と g は {x0} と相対的にホモトピックであれば、f∗ = g∗ となる。結局、2つのホモトピー同値な弧状連結空間は同型な基本群を持つ。

重要で特別な場合として、X が弧状連結であれば、いかなる 2つの異なる基点も同型な基本群を与え、同型は与えられた 2つの基点の間の経路を選択することで与えられる。
基本群の関手は、積を群の直積へ、余積を余積へ写像する。すなわち、X と Y が弧状連結であれば、

と

が成り立つ。（後者の公式では、 は位相空間のウェッジ和を表し、* は群の自由積を表す。）双方の公式は任意の積に対して一般化することができる。さらに後者の式は、ザイフェルト–ファン・カンペンの定理の特別な場合になっている。ここでザイフェルト–ファン・カンペンの定理は、基本群の関手が包含写像に沿ったPushout (category theory)(pushout)を押し出しに写すという定理である。

**ファイブレーション**
空間の積の一般化は、Fibrationにより与えられる。

ここに全空間 E は、底空間 B とファイバー(fiber) F の｢Twist (mathematics)した積」の一種である。一般に、B, E, F の基本群は、高次ホモトピー群を含むファイブレーションの長完全系列の項である。空間がすべて連結のとき、この系列は次の基本群についての結果をもたらす。- F が単連結であれば、π1(B) と π1(E) は同型である。- E が可縮であれば、πn+1(B) と πn(F) は同型である。
後者の式は、しばしば次のような状況へ応用される。E を B の道 (位相空間論)の空間、F を B のloop spaceとするか、もしくは、B を 位相群 G の分類空間 BG とし、E を普遍 G-バンドル EG とする。

**1次のホモロジー群との関係**
位相空間 X の基本群は、ループは特異 1-サイクルでもあるので、1次の特異ホモロジー群と関連している。基点を x0 とする各々のループのホモトピー類をループのホモロジー類へ写像することは、基本群 π1(X, x0) からホモロジー群 H1(X) への準同型を与える。X が弧状連結であれば、この準同型は全射で、その核は、π1(X, x0) の交換子部分群であり、従って H1(X) は π1(X, x0) のアーベル化に同型である。これは代数トポロジーのフレヴィッツの定理の特別な場合である。

**普遍被覆空間**
X が弧状連結な位相空間であり、局所弧状連結で局所単連結であれば、X は単連結な普遍被覆空間を持ち、その上で基本群 π(X,x0) は商空間 X に、被覆変換により自由に作用する。この空間は、ペア (x, γ) をとることで、基本群と同様に構成することができる。ここに x は X の点であり、γ は x0 から x への道のホモトピー類で、π(X, x0) の作用は経路を足すことによる。この空間は一意な被覆空間として決まる。

**例**
円
円 S1 の普遍被覆は、直線 R で、S1 = R/Z を得る。よって、任意の基点 x について、π1(S1,x) = Z となる。
トーラス
前の例である 2つの円のカルテシアン積をとることにより、トーラス T = S1 × S1 の普遍被覆は平面 R2 である。T = R2/Z2 を得る。このようにして、π1(T,x) = Z2 が基点 x について成り立つ。
同様にして、n-次元のトーラスの基本群は、 Zn となる。
実射影空間
n ≥ 1 に対し、n-次元実射影空間 Pn(R) は、n-次元球面 Sn を中心対称性で割って Pn(R) = Sn/Z2 求められる。n-球面 Sn は n ≥ 2 では単連結なので、実射影空間の普遍被覆であることが結論づけられる。このようにして、Pn(R) の基本群は、 n ≥ 2 に対して Z2 である。
リー群
G が連結かつ単連結なコンパクトリー群とする。例えば、G を特殊ユニタリ群 SU(n) とし、Γ を G の有限部分群としよう。すると、等質空間 X = G/Γ は基本群 Γ を持つ。Γ は右から乗法的に普遍被覆空間 G の上に作用する。この構成には多くの種類があるが、最も重要な構成はlocally symmetric space  である。ここでは、 - G は非コンパクト単連結、連結なリー群（しばしば、半単純）- K は G の極大コンパクト部分群- Γ は G の離散かつ可算なねじれのない部分群
が成り立つ。
この場合には、基本群は Γ であり、普遍被覆空間 G/K は可縮である（リー群のCartan decompositionによる）。
例では、G = SL(2, R), K = SO(2) で、Γ はモジュラー群 SL(2, Z) の任意のねじれのないcongruence subgroupである。
明らかにわかるように、弧状連結な位相空間である普遍被覆空間 H が、再び、弧状連結な位相群 G である。さらに、被覆写像は G から H の上への連続で開準同型であり、核は Γ で、G の閉じた離散正規部分群である。

G は連結群で離散群 Γ 上の共役により連続作用を持っているので、自明に作用するはずで、従って、Γ は G の中心の部分群となっているはずである。特に、π1(H) =  Γ は可換群で、このことも被覆空間を使うことなしに容易に直接わかる。群 G は H の普遍被覆群と呼ばれる。
普遍被覆群が示唆しているように、位相群の基本群と群の中心とは類似関係にあり、このことはCovering_group#Lattice_of_covering_groupsに詳しく記載されている。

**単体複体の辺ループ群**
連結な単体複体 X の辺道は、X の辺で繋がれた頂点の鎖として定義される。ふたつの辺道が辺同値とは、一方の辺道が他方の辺道から、その適当な辺を X 内の三角形の二つの対辺で置き換える操作を連続的に行って得られるときに言う。X の固定した頂点 v における辺ループとは、v を始点かつ終点とする辺道を言う。辺ループ群 E(X, v) は、v における辺ループの辺同値類全体の成す集合として定義され、積や逆元は辺ループの連接と逆転により定義される。
辺ループ群は X のlabel=幾何学的実現  の基本群  に自然同型となる。辺ループの各同値類は、X のn-skeleton （つまり、X の頂点、辺、三角形）にしか依らないから、二つの群  と  は同型である。
辺ループ群は生成元と基本関係を用いて陽に書き表せる。T が X のn-skeletonにおける極大全域木ならば、T に現れない X の有向辺道を生成元とし、X 内の三角形に対応する辺同値を基本関係とする群に E(X, v) は自然同型になる。同様な結果は、T を X の任意の単連結—特に可縮な—部分複体に取り換えても成立する。これはしばしば、基本群を計算する実用的な方法を与え、また、任意の有限表示群が有限単体複体の基本群として生じることを示すための利用できる。これは（その基本群によって分類される）位相的曲面に対して用いられる古典的方法のひとつでもある。
有限連結単体複体 X の普遍被覆空間は、辺道を用いて単体複体として直接に記述できる。その頂点は X の頂点 w と v から w への辺道の辺同値類 γ との順序対 (w, γ) である。(w, γ) を含む k-単体は自然に w を含む k-単体に対応する。k-単体の別の頂点 u は辺 wu を、従って連接により v から u への新しい道  を与える。点 (w, γ) および  は、普遍被覆空間へ「送られた」単体の頂点である。辺ループ群は連接により普遍被覆空間に自然に作用して、その作用は普遍被覆空間の単体構造を保ち、かつその作用による普遍被覆空間の商は X にちょうど一致する。
よく知られているように、この方法は任意の位相空間の基本群を計算することにも使われる。このことは疑いなく、Eduard Čechとジャン・ルレイにより知られていて、明らかには論文 1960 の中に注意として記載されていて、L. Calabi, W-T. Wu や N. Berikashvili といった多くの著者により証明が与えられている。被覆の中の有限個の開集合の空でない共通部分がいつでも可縮となるような有限な開被覆を持つコンパクト空間 X の最も単純なケースでは、基本群はNerve of an open covering(nerve of the covering)に対応する単体複体の辺ループ群と同一視することができる。

**実現性**
すべての群は、2 次元（もしくはより高次元）の連結なCW複体として実現することができる。上記で注意したように、自由群でさえ、1-次元のCW複体の基本群として現れる（つまりグラフである）。
*すべての有限表示された群は、4 次元（もしくは、それ以上の高次元の）コンパクトな連結微分可能多様体の基本群として実現できる。（一方でコンパクトな位相多様体の基本群は有限表示されることが証明できる。）しかし、低次元の多様体の基本群として実現されるには、厳しい制限がある。例えば、ランク 4 もしくはそれ以上の自由アーベル群は、次元が 3 以下の多様体の基本群としては実現できない。

**関連する概念**
基本群は、空間の 1-次元の穴の構造を測る。「高次元の穴」の研究のためには、ホモトピー群が使われる。X の n-ホモトピー群の元は、Sn から X への（基点を保つ）写像のホモトピー類である。
特別な基点を持つループの集合は、ホモトピックなループを同値と考えずに研究される。この大きな対象は、loop spaceである。
位相群では、つなぎ合わせではなく各点における積によって、ループの集合に別の群の積を割り当てることもできる。この群がloop groupである。

**基本亜群**
さらに、ひとつの基点を選んでホモトピー同値なループを考えるのではなく、空間の中の「すべて」の道のホモトピー類を考えることもできる（始点と終点は固定する）。これは群ではなく、groupoidであり、空間の基本亜群となる。
さらに一般的に、幾何学的な状況に沿った選択をした基点の集合 A の上の基本亜群を考えることができて、例えば円周の場合は、共通部分が2つの連結成分を持つような、2つの連結開集合の合併として表現できるので、各成分の中から1つずつ基点を選択することができる。この理論が現れたのは、Topology and groupoidsとして現在は出版されている1968年と1988年の版で与えられ、被覆空間や軌道空間と関連する考え方も記載されている。

**注**

**参考文献**
 Ronald Brown, Topology and groupoids, Booksurge (2006).  ISBN 1-4196-2722-8- Joseph J. Rotman, An Introduction to Algebraic Topology, Springer-Verlag, ISBN 0-387-96678-1- Isadore Singer and John A. Thorpe, Lecture Notes on Elementary Geometry and Topology, Springer-Verlag (1967) ISBN 0-387-90202-3- Allen Hatcher,  Algebraic Topology, Cambridge University Press  (2002) ISBN 0-521-79540-0- Peter Hilton and Shaun Wylie, Homology Theory, Cambridge University Press (1967) warning: these authors use contrahomology for cohomology- Richard Maunder, Algebraic Topology, Dover (1996) ISBN 0-486-69131-4- Deane Montgomery and Leo Zippin, Topological Transformation Groups, Interscience Publishers (1955)- James Munkres, Topology, Prentice Hall (2000) ISBN 0-13-181629-2- Herbert Seifert and William Threlfall, A Textbook of Topology (translated from German by Wofgang Heil), Academic Press (1980), ISBN 0-12-634850-2- Edwin Spanier, Algebraic Topology, Springer-Verlag (1966) ISBN 0-387-94426-5- André Weil, On discrete subgroups of Lie groups, Ann. Math. 72 (1960), 369-384.

**関連項目**
 ホモトピー群、基本群の一般化。アーベル多様体の基本群にも同様な考え方がある。（エタール基本群や、orbifold(orbifold)に対しては、軌道体の基本群(:en:orbifold#Orbifold fundamental group)がある。）

**外部リンク**
 title=Fundamental group- title=Fundamental groupoid- title=Fundamental group  - Dylan G.L. Allegretti,  Simplicial Sets and van Kampen's Theorem: A discussion of the fundamental groupoid of a topological space and the fundamental groupoid of a simplicial set-  Animations to introduce to the fundamental group by Nicolas Delanoue