目录
第十章 基本群 (The Fundamental Group)
10.1 道路类
定义 10.1.1 (道路的连接)
设 $\\gamma, \\delta: [0,1] \\to X$ 是道路，且 $\\gamma(1) = \\delta(0)$。定义连接（concatenation）$\\gamma * \\delta$：
$$(\\gamma * \\delta)(t) = \\begin{cases} \\gamma(2t) & 0 \\leq t \\leq 1/2 \\
\\delta(2t-1) & 1/2 \\leq t \\leq 1 \\end{cases}$$
定义 10.1.2 (道路同伦)
道路 $\\gamma, \\delta$ 从 $x_0$ 到 $x_1$ 称为道路同伦，记作 $\\gamma \\simeq_p \\delta$，如果存在同伦 $H: [0,1] \\times [0,1] \\to X$ 使得：
- $H(s, 0) = \\gamma(s)$，$H(s, 1) = \\delta(s)$
- $H(0, t) = x_0$，$H(1, t) = x_1$（端点固定）
命题 10.1.3
道路同伦是等价关系。$\\gamma$ 的等价类记作 $[\\gamma]$。
10.2 回路和基本群
定义 10.2.1 (回路)
道路 $\\gamma: [0,1] \\to X$ 称为回路（loop），如果 $\\gamma(0) = \\gamma(1) = x_0$。$x_0$ 称为基点（basepoint）。
定义 10.2.2 (基本群)
设 $x_0 \\in X$。在基点 $x_0$ 的基本群 $\\pi_1(X, x_0)$ 定义为回路道路同伦类的集合，运算为： $$[\\gamma] \\cdot [\\delta] = [\\gamma * \\delta]$$
定理 10.2.3
$(\\pi_1(X, x_0), \\cdot)$ 是群。
证明：
- 结合律：$([\\gamma][\\delta])[\\sigma] = [\\gamma]([\\delta][\\sigma])$（构造同伦）
- 单位元：常值回路 $\\epsilon_{x_0}(t) = x_0$，$[\\epsilon_{x_0}][\\gamma] = [\\gamma][\\epsilon_{x_0}] = [\\gamma]$
- 逆元：$\\gamma^{-1}(t) = \\gamma(1-t)$，$[\\gamma][\\gamma^{-1}] = [\\epsilon_{x_0}]$
10.3 基点变换
定理 10.3.1
设 $\\alpha$ 是从 $x_0$ 到 $x_1$ 的道路。定义 $$\\beta_\\alpha: \\pi_1(X, x_0) \\to \\pi_1(X, x_1), \\quad \\beta_\\alpha([\\gamma]) = [\\alpha^{-1} * \\gamma * \\alpha]$$
则 $\\beta_\\alpha$ 是群同构。
推论：道路连通空间的基本群与基点选取无关（同构意义下），可记作 $\\pi_1(X)$。
定义 10.3.2 (单连通)
道路连通空间 $X$ 称为单连通的（simply connected），如果 $\\pi_1(X) = 0$（平凡群）。
10.4 诱导同态
定义 10.4.1 (诱导同态)
设 $f: X \\to Y$ 连续，$f(x_0) = y_0$。定义 $$f_*: \\pi_1(X, x_0) \\to \\pi_1(Y, y_0), \\quad f_*([\\gamma]) = [f \\circ \\gamma]$$
定理 10.4.2
$f_*$ 是群同态，且：
(1) $(\\text{id}_X)_* = \\text{id}_{\\pi_1(X, x_0)}$
(2) $(g \\circ f)_* = g_* \\circ f_*$
(3) 若 $f \\simeq g \\text{ rel } \\{x_0\\}$，则 $f_* = g_*$
推论 10.4.3
同伦等价的空间有同构的基本群。
10.5 基本群的计算
定理 10.5.1 ($\\mathbb{R}^n$)
$\\pi_1(\\mathbb{R}^n) = 0$（可缩空间基本群平凡）。
定理 10.5.2 (圆周的无限循环群)
$\\pi_1(S^1) \\cong \\mathbb{Z}$。
证明概要：覆叠映射 $p: \\mathbb{R} \\to S^1$，$p(t) = e^{2\\pi i t}$。回路提升为 $\\mathbb{R}$ 中从 $0$ 到 $n$ 的道路，$n$ 对应绕数。
定理 10.5.3 (乘积空间)
$\\pi_1(X \\times Y, (x_0, y_0)) \\cong \\pi_1(X, x_0) \\times \\pi_1(Y, y_0)$。
推论 10.5.4
$\\pi_1(T^n) \\cong \\mathbb{Z}^n$（$n$ 维环面）。
10.6 典型例题
例题 10.6.1
证明 $\\pi_1(S^n) = 0$ 对 $n \\geq 2$。
证明：回路可形变为不经过某点（若“一般位置”），故可视为 $\\mathbb{R}^n$ 中的回路，可缩为一点。
例题 10.6.2
计算 $\\pi_1(S^1 \\vee S^1)$。
解答：由van Kampen定理，$\\pi_1(S^1 \\vee S^1) \\cong \\mathbb{Z} * \\mathbb{Z}$（两个无限循环群的自由积）。
10.7 习题
习题 10.1 证明基本群良定义（道路同伦类的乘积良定义）。
习题 10.2 证明：$f \\simeq g: X \\to Y$ 且 $H$ 是基点间的道路同伦，则 $f_*$ 与 $g_*$ 通过共轭相关。
习题 10.3 计算 $\\pi_1(\\mathbb{R}^n \\setminus \\{0\\})$。
习题 10.4 证明：$X$ 单连通当且仅当任意两道路同伦当且仅当任意回路同伦于常值回路。
习题 10.5 证明 $S^1$ 不是 $D^2$ 的收缩核（用基本群）。
习题 10.6 计算 $\\pi_1(\\mathbb{R}P^2)$。
习题 10.7 证明：覆叠映射诱导单射的基本群同态。
习题 10.8 设 $X$ 是拓扑群，证明 $\\pi_1(X, e)$ 是交换群。
习题 10.9 研究 Möbius 带的基本群。
习题 10.10 证明 Brouwer 不动点定理：$f: D^2 \\to D^2$ 连续则有不动点。