Concept · Algebraic Topology
基本群 Fundamental Group
别名 一阶同伦群 first homotopy group π1
以基点 x 0 π 1 ( X , x 0 )
同一概念可以拥有多条定义：它们可能刻画同一对象的不同侧面（例如标准定义与范畴论刻画）。 每条定义都有独立页面与来源。
Definition of the Fundamental Group
已审核 设 X x 0 ∈ X γ : [ 0 , 1 ] → X x 0 γ ( 0 ) = γ ( 1 ) = x 0 π 1 ( X , x 0 ) [ γ ] , [ δ ] [ γ ] ⋅ [ δ ] := [ γ ∗ δ ] γ ∗ δ γ δ π 1 ( X , x 0 ) X x 0 基本群 。
π 1 ( X , x 0 ) = { [ γ ] γ : [ 0 , 1 ] → X , γ ( 0 ) = γ ( 1 ) = x 0 } 成立条件
X x 0 ∈ X
同伦必须相对于端点 { 0 , 1 }
拼接后需重新参数化，否则乘法不满足结合律
适用对象
拓扑空间 带基点的拓扑空间
定义解释
群结构不是在闭路层面，而是在同伦类层面出现的： 拼接只满足结合律「同伦意义下」成立，单位元（常值闭路）与逆元（反向闭路）也只在同伦类层面成立。 这正是「同伦」作为等价关系所起的作用。
参考来源：3 条（见定义页 ）
严格数学前置指「定义中直接使用了对方」；学习前置是教学顺序建议，二者可能不同。 所有前置概念都可以点击跳转，并可逐层递归展开。
多层前置（最多展开三层，点击三角展开）
连续映射 Continuous Map 数学前置 拓扑空间 Topological Space 数学前置 同伦 Homotopy 学习前置 连续映射 Continuous Map 数学前置 拓扑空间 Topological Space 数学前置 拓扑空间 Topological Space 数学前置 01 原本存在的问题
拓扑学需要能区分空间的代数标签。欧拉示性数与 Betti 数只记录「洞的个数」， 无法记录绕洞的方式与顺序，也无法看到非交换结构。
02 原有理论的不足
同调群（后来的版本）丢失了 π 1
03 为什么需要引入新概念
把闭路本身当作对象、把闭路的同伦类当作元素，用道路拼接定义乘法。 选择基点 x 0
04 新概念解决了什么
得到函子 π 1 : Top ∗ → Grp
关系按类型分开记录：逻辑依赖、学习顺序、推广与特例、应用、思想联系、历史影响。 下图以本概念为中心，点击节点可展开邻居，双击节点打开对应概念页。
局部关系图 以「基本群」为中心 · 悬停连线可查看关系类型 展开全部节点 回到「基本群」 适应窗口
数学前置依赖 学习前置 推广 特殊情形 等价 构造自 应用于 在……下不变 思想联系 思想启发 历史影响 | 同伦论 代数拓扑 一般拓扑 群论 范畴论与同调代数 数学基础 几何群论 在全局关系图中查看 →
逻辑与结构关系 Logical / structural
由数学定义本身决定的关系：谁依赖谁、谁推广谁、谁与谁等价。这类关系与学习者无关。
requires
→ 连续映射 Continuous Map 数学前置依赖 已审核 闭路定义为连续映射 $[0,1] \to X$；基本群的对象本身是连续映射的同伦类。
来源：Hatcher 2002
constructed_from
$\pi_1(X, x_0)$ 的元素是闭路的相对同伦类：整个构造就是把同伦关系施加到闭路上，再按拼接取群结构。
来源：Hatcher 2002
→ 基本群胚 Fundamental Groupoid 构造自 已审核 基本群是基本群胚在基点处的自同构群：$\pi_1(X, x_0) = \operatorname{Aut}_{\Pi_1(X)}(x_0)$。
来源：Brown 2006
学习顺序 Learning order
教学法上的先后顺序。它不总是逻辑依赖：某些概念可以先学后补证明。
learning_prerequisite
← 高阶同伦群 Higher Homotopy Group 学习后继 已审核 教学上通常先学 $\pi_1$ 再推广到 $\pi_n$；$n=1$ 的情形提供了所有直觉。
来源：Hatcher 2002
应用与不变量 Application / invariance
一个概念被用于研究另一个对象，或某类结构在变换下保持不变。
applies_to
图的基本群是自由群；更一般地，群的自由表现 $\langle S \mid R \rangle$ 用自由群描述任意基本群。
来源：Hatcher 2002
invariant_under
→ 同伦等价 Homotopy Equivalence 在……下不变 已审核 同伦等价诱导基本群的同构（基点的像对应）；因此基本群可用于判定两个空间不同伦等价。
来源：Hatcher 2002
思想联系 Conceptual connection
不构成严格逻辑依赖，但在思想史或方法论上互相照亮的关系。
conceptual_connection
↔ 基本群胚 Fundamental Groupoid 思想联系 已审核 基本群与基本群胚记录同一批道路信息，只是基点选择不同：前者是后者的一个切片。
来源：Brown 2006
时间线中的每个事件都关联文献来源；标注「待审核」表示书目信息尚未完全核对。
1895
Poincaré 引入基本群 Henri Poincaré
Poincaré 在《Analysis situs》中引入基本群（当时称 groupe fondamental），
用它研究三维流形的拓扑。这是代数拓扑的起点之一：
空间第一次被系统地对应到一个代数对象，并且这个对应被用于区分空间。
来源：Poincaré 1895 已审核
1911
Dehn 讨论基本群的字问题 Max Dehn
Dehn 研究曲面的基本群（「无限不连续群」），提出判定两个群元素是否相等的
字问题 ，并给出曲面群上的判定算法。这条线索把拓扑问题转化为组合群论问题，
是几何群论与算法群论的共同源头之一。
来源：Dehn 1911 已审核
1933
van Kampen 定理：用粘合计算基本群 Egbert R. van Kampen
van Kampen 给出由开覆盖计算基本群的方法：当空间写成两个道路连通开集的并时，
基本群由这两个开集的基本群沿交的基本群「合并」而成（自由积带合并）。
该结论通常被称为 Seifert–van Kampen 定理，是把空间粘合翻译成群论运算的关键工具。
来源：Kampen 1933 已审核
从这里出发可以继续探索的方向，按「直接推广 / 理论应用 / 思想联系 / 现代发展」区分。
直接数学推广 把当前定义的条件放宽、对象替换或维度提升后得到的理论。 高阶同伦群 把闭路（$S^1$ 的像）换成 $S^n$ 的像，就得到高阶同伦群；$\pi_1$ 是 $n=1$ 的特例。
Hatcher 2002
理论应用 把这里的工具用到其他数学分支中的方向。 自由积 van Kampen 定理用自由积（带合并）计算并空间的基本群，是自由积最重要的应用之一。
Kampen 1933、Hatcher 2002
现代发展 当代研究中的活跃方向，通常需要更多预备知识。 基本群胚 把基点去掉，用道路的同伦类作为态射，就得到基本群胚；它更适合表述 van Kampen 定理与覆盖空间。
Brown 2006
Main Idea
基本群是第一个、也最容易解释的代数不变量：它把「绕圈」直接变成群运算。 它开启了把空间翻译成代数结构的整个纲领。尽管高阶同伦群与同调群后来在技术上更重要， 基本群仍是几何群论的入口——群作用于空间，空间回赠给群一个基本群。
群结构从何而来
闭路的拼接不满足结合律与单位律，只有同伦类 层面才构成群：
拼接的结合律差一个重新参数化的同伦，单位元是常值闭路，逆元是反向闭路。
这正是「同伦」在代数化过程中起的关键作用。
依赖基点
π 1 ( X , x 0 ) π 1 ( X )
例子
π 1 ( S 1 ) ≅ Z π 1 ( S n ) = 0 n ≥ 2 π 1 ( 两个圆的楔和 ) ≅ F 2 π 1 ( 环面 ) ≅ Z 2
[1] [2] Tammo tom Dieck (2008). Algebraic Topology. European Mathematical Society.
专著 · Part II (Homotopy)
已审核 [3] Henri Poincaré (1895). Analysis situs. Journal de l'École Polytechnique (2) 1, 1–121.
论文 · pp. 1–121
基本群在此文中被引入（当时称 groupe fondamental）。页码按通行引用记录，尚未逐页核对。
待审核 [4] Egbert R. van Kampen (1933). On the connection between the fundamental groups of some related spaces. American Journal of Mathematics 55, 261–267.
论文 · pp. 261–267
已审核 [5] [6] Witold Hurewicz (1935). Beiträge zur Topologie der Deformationen I. Proceedings of the Koninklijke Akademie van Wetenschappen te Amsterdam 38, 112–119.
论文 · 38, 112–119（系列论文 I–IV，1935–1936）
该系列分四部分发表于 1935–1936 年；各部分的卷号与页码尚未逐条核对。
待审核 [7] Max Dehn (1911). Über unendliche diskontinuierliche Gruppen. Mathematische Annalen 71, 116–144.
论文 · 71, 116–144
已审核