概念

基本群

基于一点的环路按同伦分类构成基本群，覆叠空间揭示基本群与空间覆盖的对应（覆叠理论）。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

基本群拓扑学

01定义

以一点为基点的环路按同伦（连续形变）分类，环路首尾相接定义乘法，构成基本群

\pi_1

。它记录空间「洞」对环路的阻碍：圆的

\pi_1=\mathbb{Z}

，按缠绕圈数计数。

带洞空间中：绕洞环路不可收缩（非平凡），小环路可缩（平凡）

两环路同伦即其一可连续形变为另一（基点不动）；环路首尾相接给出群乘法，常值环路是单位元，反向走是逆元。

$\pi_1(S^1)=\mathbb{Z}$ ； $\pi_1(T^2)=\mathbb{Z}^2$ ；球面 $\pi_1(S^2)=0$ （单连通）；8 字圈的基本群是自由群 $F_2$ 。

$\mathbb{R}$ 螺旋地覆叠 $S^1$ ，提升的终点记录缠绕数——覆叠理论给出 $\pi_1$ 与空间覆盖结构的完美对应。

\pi_1(S^1)=\mathbb{Z},\quad\pi_1(T^2)=\mathbb{Z}^2

\pi_1(S^2)=0

Poincaré 1895 年《位置分析》创立基本群，开启代数拓扑；覆叠理论由 Hurwitz 等人发展，成为群论与几何的桥梁。

机器人路径规划（障碍空间的基本群决定路径类）；晶体缺陷分类；二维量子物理中任意子的统计与 $\pi_1$ 相关。

基本群 π₁(S¹) ≅ ℤ：环路的缠绕数n≥1 的环无法在 S¹ 上收缩为点；n=0 的环可以（同伦）

缠绕数 n2收缩参数 s0.40