2026-08-11 · 把闭路变成整数

0. 导读与元结构 (Orientation & Meta-structure)

起点问题。 在平面里，一条闭路可以不断变形；若中间没有障碍，似乎总能缩成一点。可是一旦删去原点，绕原点一周的闭路就不能在不穿过原点的前提下消失。怎样把这种“绕洞”从图像直觉变成可计算、可在连续映射下传递的代数对象？

今天的答案是 fundamental group（基本群）。它依次完成三次压缩：

$$\text{连续闭路}⟶\text{端点固定同伦类}⟶\text{以拼接为乘法的群}⟶\text{可计算的不变量}.$$

对象与量词层。 固定拓扑空间 $X$ 与基点 $x_0\in X$。我们要区分：

1. 路径 $\alpha :[0,1]\to X$；
2. 满足 $\alpha (0)=\alpha (1)=x_0$ 的 based loop（带基点闭路）；
3. 对所有时刻都固定两个端点的 path homotopy（路径同伦）；
4. 闭路同伦类组成的群 ${\pi }_1(X,x_0)$；
5. 覆盖映射 $p:\mathbb{R}\to S^1$ 下的提升路径 $\tilde{\alpha }$。

关键量词不是“每条闭路看起来能否拉直”，而是：给定 $\alpha ,\beta$，是否存在一个连续的二参数映射 $H:[0,1{]}^2\to X$，同时满足起止时刻与全部边界条件。覆盖空间的关键量词则是：给定路径及一个指定的提升起点，是否存在且仅存在一条提升。

前置知识。 只需点集拓扑中的连续映射、积空间与粘贴引理，以及群的单位元、逆元和同态。证明圆周基本群时会使用 covering map（覆盖映射）的 path-lifting 与 homotopy-lifting 性质；本期给出它们在计算中承担的精确角色。

主导 proof engines。 本期有两台机器：

• quotient-and-compose：先按端点固定同伦取商，再证明路径拼接下降为群运算；
• lift-and-read-endpoint：把圆周闭路提升到无洞的实直线，从提升终点读出整数。

去向与 arc 位置。 这是 exploration-2026-w33-loops-and-lifts 的第 1/3 期；本周 roaming issue 已于昨日完成，今天开启普通 exploration micro-arc。明日将把“用于一次计算的覆盖”提升为 covering-space theory（覆盖空间理论），随后连到无收缩定理、Brouwer fixed-point theorem（Brouwer 不动点定理）、van Kampen 定理、纽结群与 monodromy（单值化作用）。

1. 核心概念、定理与谱系 (Concept, Theorem & Lineage)

1.1 从“位置关系”到代数不变量

Poincaré 在 1895 年的 Analysis Situs 中系统研究高维“位置几何”，其第 12 节题为 “The fundamental group”。John Stillwell 的英译本及译者导论指出：Poincaré 当时常从基本区域及不连续变换群理解这个群；现代定义则把它写成固定基点的闭路同伦类。表示方式改变了，核心问题仍在：怎样把连续变形中保持不变的位置信息编码成代数？

这一概念并非凭空抽象。Poincaré 自己把 analysis situs 的需要追溯到微分方程、天体力学、多值函数与群论问题；Jean Mawhin 对其早期工作的历史分析也表明，拓扑工具先在非线性微分方程的定性研究中积累，后来才成为独立理论。谱系因而是

$$\text{定性动力学与多值性问题}⟶\text{位置不变量}⟶\text{基本群}⟶\text{覆盖、单值化与现代同伦论}.$$

1.2 定义：必须固定什么

令 $I=[0,1]$。

定义（带基点闭路）。 对拓扑空间 $X$ 与 $x_0\in X$，一条以 $x_0$ 为基点的闭路是连续映射

$$\alpha :I\to X,\alpha (0)=\alpha (1)=x_0.$$

定义（端点固定的路径同伦）。 给定两条以 $x_0$ 为基点的闭路 $\alpha ,\beta :I\to X$，称 $\alpha$ 与 $\beta$ path-homotopic relative endpoints（端点固定路径同伦），若

$$\mathrm{\exists }H:I\times I\to X\text{ continuous},$$

使得

$$\mathrm{\forall }s\in I,H(s,0)=\alpha (s),H(s,1)=\beta (s),$$

并且

$$\mathrm{\forall }u\in I,H(0,u)=H(1,u)=x_0.$$

记其同伦类为 $[\alpha ]$。

RMK：第二组条件不是修辞。若变形期间允许端点移动，得到的是 free homotopy（自由同伦）；在非交换基本群中，它自然记录的是共轭类，而不是带基点群元素。

对两条以 $x_0$ 为基点的闭路 $\alpha ,\beta$，定义拼接

$$(\alpha \ast \beta )(s)=\{\begin{array}{ll}\alpha (2s),& 0\le s\le \frac{1}{2},\\ \beta (2s-1),& \frac{1}{2}\le s\le 1.\end{array}$$

粘贴引理保证它连续。若 $\alpha \simeq {\alpha }^{\prime }$ 且 $\beta \simeq {\beta }^{\prime }$ 均为端点固定同伦，把两组同伦在 $s=1/2$ 处拼接便得 $\alpha \ast \beta \simeq {\alpha }^{\prime }\ast {\beta }^{\prime }$；所以

$$[\alpha ][\beta ]:=[\alpha \ast \beta ]$$

与代表元选择无关。

定义（基本群）。

$${\pi }_1(X,x_0)=\{[\alpha ]:\alpha :I\to X\text{ 是以 }{x}_0\text{ 为基点的闭路}\},$$

以上述拼接为乘法。常值闭路 $e_{x_0}(s)=x_0$ 给出单位元，反向路径

$${\alpha }^{-1}(s)=\alpha (1-s)$$

给出逆元；结合律在同伦类上成立。注意原始参数化的拼接并非字面严格结合，但不同分段速度之间存在保持端点的重参数化同伦，故

$$([\alpha ][\beta ])[\gamma ]=[\alpha ]([\beta ][\gamma ]).$$

1.3 覆盖映射把闭路“展开”

定义（覆盖映射）。 连续满射 $p:E\to B$ 称为 covering map，若

$$\mathrm{\forall }b\in B,\mathrm{\exists }\text{ 开邻域 }U\ni b,$$

使得 $p^{-1}(U)$ 是两两不交开集的并，且 $p$ 在每一片上限制为到 $U$ 的同胚。

圆周 $S^1=\{z\in \mathbb{C}:|z|=1\}$ 的标准覆盖是

$$p:\mathbb{R}\to S^1,p(t)=e^{2\pi it}.$$

避开圆周上任一点的一小段开弧可以连续选取辐角；其每个长度小于 $1$ 的实直线提升片都由 $p$ 同胚映到该弧，因此 $p$ 确为覆盖映射。

定理（Path Lifting）。 设 $p:E\to B$ 是覆盖映射，$\gamma :I\to B$ 是路径，$e_0\in E$ 且 $p(e_0)=\gamma (0)$。则

$$\mathrm{\exists }!\tilde{\gamma }:I\to E$$

满足

$$\tilde{\gamma }(0)=e_0,p\circ \tilde{\gamma }=\gamma .$$

证明机制。 用 ${\gamma }^{-1}(U)$ 覆盖紧区间 $I$，抽取有限细分，使每个小段都落入一个均匀覆盖邻域；在包含当前提升端点的那一片上用局部逆逐段定义提升。唯一性来自：两个从同一点出发的提升在每个相邻小段都只能落入同一片。

同样的有限网格论证给出 homotopy lifting（同伦提升）：给定 $H:I^2\to B$ 及一个指定提升起点，$H$ 有唯一提升。尤其，端点固定的路径同伦会提升为端点固定的路径同伦。

1.4 主定理：${\pi }_1(S^1,1)\cong \mathbb{Z}$

定理（Fundamental Group of the Circle）。 对以 $1\in S^1$ 为基点的圆周，映射

$$\mathrm{wind}:{\pi }_1(S^1,1)\to (\mathbb{Z},+),\mathrm{wind}([\alpha ])=\tilde{\alpha }(1),$$

是群同构；其中 $\tilde{\alpha }$ 是满足

$$p\circ \tilde{\alpha }=\alpha ,\tilde{\alpha }(0)=0$$

的唯一提升。

先检查值域。 因为 $\alpha (1)=1$，

$$p(\tilde{\alpha }(1))=1,$$

而 $p^{-1}(1)=\mathbb{Z}$，故 $\tilde{\alpha }(1)\in \mathbb{Z}$。

良定义。 若 $\alpha \simeq \beta$ rel endpoints，提升该同伦。提升后的左边界始于 $0$，且始终落在离散集合 $p^{-1}(1)=\mathbb{Z}$ 中，所以它恒为 $0$。右边界同样是从连通区间 $I$ 到离散集 $\mathbb{Z}$ 的连续映射，因而恒定。于是

$$\tilde{\alpha }(1)=\tilde{\beta }(1).$$

同态性。 若 $\tilde{\alpha }(1)=m$、$\tilde{\beta }(1)=n$，则 $\alpha \ast \beta$ 从 $0$ 出发的提升先走 $\tilde{\alpha }$，再走平移后的路径 $m+\tilde{\beta }$。故

$$\mathrm{wind}([\alpha ][\beta ])=m+n.$$

满射。 对每个 $n\in \mathbb{Z}$，令

$${\alpha }_n(s)=e^{2\pi ins}.$$

其从 $0$ 出发的提升为 ${\tilde{\alpha }}_n(s)=ns$，所以 $\mathrm{wind}([{\alpha }_n])=n$。

单射。 若 $\mathrm{wind}([\alpha ])=0$，则 $\tilde{\alpha }$ 是实直线中从 $0$ 回到 $0$ 的闭路。直线同伦

$$\tilde{H}(s,u)=(1-u)\tilde{\alpha }(s)$$

把它端点固定地缩为常值路径；复合 $p\circ \tilde{H}$ 后，$\alpha$ 在 $S^1$ 中零同伦。因此核只有单位元，$\mathrm{wind}$ 为单射。

四步合起来得到

$$\boxed{{\displaystyle {\pi }_1(S^1,1)\cong \mathbb{Z}.}}$$

这个证明解释了“绕数为何是整数”：不是因为图像近似一个圆，而是因为闭路提升的末端必须落入离散纤维 $p^{-1}(1)=\mathbb{Z}$；同伦不能让这个离散终点连续跳动。

1.5 后果与现代延伸

1. punctured plane（穿孔平面）${\mathbb{C}}^{\times }=\mathbb{C}\setminus \{0\}$ 由
   $$r(z)=\frac{z}{|z|}$$
   形变收缩到 $S^1$，故 ${\pi }_1({\mathbb{C}}^{\times },1)\cong \mathbb{Z}$。
2. 连续保基点映射 $f:(X,x_0)\to (Y,y_0)$ 诱导
   $$f_{\ast }:{\pi }_1(X,x_0)\to {\pi }_1(Y,y_0),f_{\ast }([\alpha ])=[f\circ \alpha ].$$
   它满足 $(g\circ f{)}_{\ast }=g_{\ast }\circ f_{\ast }$ 与 $({\mathrm{id}}_X{)}_{\ast }=\mathrm{id}$；这就是 functoriality（函子性）。
3. 若 $X$ 路径连通，不同基点的基本群彼此同构；但同构依赖连接两基点的路径，换路径通常会差一个 inner automorphism（内自同构）。因此“忽略基点后的 ${\pi }_1(X)$”严格说只在同构意义下确定。

Graduate / modern extension。 若 $X$ 路径连通、局部路径连通且半局部单连通，则存在 universal cover（普遍覆盖）$\tilde{X}\to X$。选定基点后，${\pi }_1(X)$ 控制覆盖空间：连通覆盖对应于 ${\pi }_1(X)$ 的子群（基点遗忘后取共轭类），正规覆盖的 deck transformation group（甲板变换群）与相应商群相联系。再向前，${\pi }_1$ 可作用在高阶同伦群、同调群或覆盖纤维上；这正是 monodromy 的共同代数骨架。

2. 固定模板习题 (Template Exercise)

题目

设 $(f_n{)}_{n\ge 1}\subset C([0,1])$，并且对每个 $n\ge 1$ 与每个 $x,y\in [0,1]$ 都有

$$|f_n(x)|\le 1,|f_n(x)-f_n(y)|\le |x-y|.$$

证明：存在严格递增的整数列 $(n_k{)}_{k\ge 1}$ 与 $f\in C([0,1])$，使

$$\underset{k\to \mathrm{\infty }}{lim}\parallel f_{n_k}-f{\parallel }_{\mathrm{\infty }}=0.$$

模板识别

信号是：紧致定义域上的函数列 + 一致有界 + 统一的连续性模量。目标要求“一致收敛子列”，因此应识别为 Arzelà–Ascoli 型模板。若暂不直接调用定理，可拆成两段：

$$\text{可数稠密集上的对角收敛}+\text{等度连续把点态控制升级为一致控制}.$$

分级提示

1. 枚举 $\mathbb{Q}\cap [0,1]=\{q_1,q_2,\dots \}$；固定 $q_j$ 后，序列 $(f_n(q_j){)}_n$ 有什么紧性？
2. 逐点抽子列，再取对角子列，使它在每个 $q_j$ 处都收敛。
3. 给定 $\epsilon >0$，从有理点中选一个有限 $\delta$-网。怎样用 Lipschitz 条件比较 $f_{n_k}(x)$ 与网点值？
4. 先证明 $(f_{n_k})$ 在上确界范数下是 Cauchy 列，再使用 $C([0,1])$ 的完备性；最后检查极限仍连续。

3. 大家之言 (Mathematician in Their Own Words)

人物与语境。 John Baez 是数学物理学家，以高阶范畴、量子引力及跨领域数学阐释著称。2019 年 3 月 15 日，他在自己的 Azimuth 博客发表 “Algebraic Geometry”；3 月 18 日回应读者关于“具体例子如何过渡到抽象一般情形”的讨论时写道：

“Except for a rare few, I think good mathematicians learn each concept along with a battery of examples that illustrate that concept—and also counterexamples, things that come close but fail to be examples of that concept.”

中译。 “除去极少数人，我认为优秀的数学家会把每个概念连同一整组阐明它的例子一起学习——也连同反例，即那些看起来很接近、却未能成为该概念之例的对象。”

评注。 这句话提出的不是“多举几个例子”这种表层教学建议，而是一种概念校准法：正例告诉我们条件足以产生什么，最近的反例告诉我们每个条件挡住了什么。今天 $S^1$ 是生成概念的正例：实直线覆盖把闭路、提升、离散纤维与整数加法连成同一机制；$S^2$ 则是校准边界的反例：${\pi }_1(S^2)=0$，却仍有基本群看不见的二维信息。

Baez 随后以 Hausdorff 空间为例指出：若不知道非 Hausdorff 空间，很难声称真正理解 Hausdorff 定义。其方法论可压缩为：定义给出分类边界，例子落在边界内，反例从最接近处撞击边界；三者合在一起，抽象才获得可操作的内容。

4. 反例与边界 (Counterexample & Boundary)

错误命题

若 ${\pi }_1(X,x_0)$ 是平凡群，则 $X$ 可缩。

这个命题为假。取 $X=S^2$。

逐项检查。

1. $S^2$ 路径连通。
2. 令 $N,S$ 为南北极，取
   $$U=S^2\setminus \{N\},V=S^2\setminus \{S\}.$$
   $U$ 与 $V$ 都同胚于 ${\mathbb{R}}^2$，故都单连通；交集 $U\cap V=S^2\setminus \{N,S\}$ 路径连通。van Kampen 定理的直接推论给出
   $${\pi }_1(S^2)=\{e\}.$$
3. 但 $S^2$ 不可缩。若它可缩，就与一点同伦等价，从而所有约化同调群都应为零；事实上
   $${\tilde{H}}_2(S^2;\mathbb{Z})\cong \mathbb{Z}.$$

所以

$$\text{contractible（可缩）}⟹\text{simply connected（单连通）},$$

反向蕴含不成立。

边界究竟在哪里？ ${\pi }_1$ 只检测一维球面 $S^1$ 映入空间后的同伦信息；$S^2$ 的二维基本类不会被闭路看见。甚至

$${\pi }_1(S^1)\cong {\pi }_1(S^1\vee S^2)\cong \mathbb{Z},$$

但

$$H_2(S^1;\mathbb{Z})=0,H_2(S^1\vee S^2;\mathbb{Z})\cong \mathbb{Z},$$

故两者不可能同伦等价。基本群是强有力的第一道不变量，不是空间的完整分类器；后续的高阶同伦群、同调与上同调正是为保留它丢失的信息。

5. 今日一问与数学地图 (Question & Map)

设 $D^2=\{x\in {\mathbb{R}}^2:\parallel x\parallel \le 1\}$，并假设连续映射 $f:D^2\to D^2$ 没有不动点。对每个 $x\in D^2$，从 $f(x)$ 出发、经过 $x$ 的射线会在越过 $x$ 后与边界 $S^1$ 相交一次；把交点记为 $r(x)$。

今日一问。 请严格完成以下两步：

1. 证明 $r:D^2\to S^1$ 定义良好且连续，并验证 $r{|}_{S^1}={\mathrm{id}}_{S^1}$；
2. 设 $i:S^1\hookrightarrow D^2$ 为包含映射。由 $r\circ i={\mathrm{id}}_{S^1}$ 推出诱导同态上的等式，再用
   $${\pi }_1(S^1)\cong \mathbb{Z},{\pi }_1(D^2)=0$$
   找出矛盾。

这实际是在从今天的圆周计算推出二维 Brouwer 不动点定理。提示只到这里：第一步的真正工作是把“射线交边界”的几何叙述写成连续函数，而第二步的真正工作是辨认“左逆会迫使包含映射在基本群上单射”。

数学地图。

$$\begin{array}{rl}& \text{点集拓扑：路径、积空间、粘贴引理}\\ & \Downarrow \\ & \text{闭路与端点固定同伦}\\ & \Downarrow \\ & {\pi }_1(S^1)\cong \mathbb{Z}\text{（覆盖提升与绕数）}\\ & \Downarrow \\ & \text{无收缩定理}⟶\text{Brouwer 不动点定理}\\ & \Downarrow \\ & \text{覆盖空间、van Kampen、纽结群、monodromy}\\ & \Downarrow \\ & \text{同调与高阶同伦：补回 }{\pi }_1\text{ 丢失的高维信息。}\end{array}$$

下一期将沿 $\mathbb{R}\to S^1$ 继续追问：为何普遍覆盖的对称性正由基本群控制？

附录 A：习题完整解答 (Full Solution)

展开完整解答

模板名称：可数稠密集对角抽取 + 等度连续一致升级。

枚举

$$\mathbb{Q}\cap [0,1]=\{q_1,q_2,\dots \}.$$

对固定的 $j$，由 $|f_n(q_j)|\le 1$，实数列 $(f_n(q_j){)}_{n\ge 1}$ 有收敛子列。先从原序列抽取一个在 $q_1$ 处收敛的子列；再从它抽取一个在 $q_2$ 处也收敛的子列；如此递推。取第 $k$ 层子列的第 $k$ 项，得到对角子列 $(f_{n_k}{)}_{k\ge 1}$，满足

$$\mathrm{\forall }j\ge 1,(f_{n_k}(q_j){)}_{k\ge 1}\text{ 收敛}.$$

现在证明该子列在上确界范数下是 Cauchy 列。任取 $\epsilon >0$，选 $0<\delta <\epsilon /3$。由 $[0,1]$ 的紧致性及有理数的稠密性，可取有限多个有理点

$$r_1,\dots ,r_m\in \mathbb{Q}\cap [0,1]$$

组成一个 $\delta$-网，即

$$\mathrm{\forall }x\in [0,1],\mathrm{\exists }j\in \{1,\dots ,m\},|x-r_j|<\delta .$$

由于 $(f_{n_k}(r_j){)}_k$ 对每个 $j$ 都收敛，而网点只有有限多个，存在 $K=K(\epsilon )$，使得

$$\mathrm{\forall }k,\ell \ge K,\mathrm{\forall }j\in \{1,\dots ,m\},|f_{n_k}(r_j)-f_{n_{\ell }}(r_j)|<\frac{\epsilon }{3}.$$

给定任意 $x\in [0,1]$，选满足 $|x-r_j|<\delta$ 的网点。利用所有 $f_n$ 的统一 $1$-Lipschitz 条件，得到

$$\begin{array}{rl}|f_{n_k}(x)-f_{n_{\ell }}(x)|& \le |f_{n_k}(x)-f_{n_k}(r_j)|+|f_{n_k}(r_j)-f_{n_{\ell }}(r_j)|\\ & +|f_{n_{\ell }}(r_j)-f_{n_{\ell }}(x)|\\ & <\delta +\frac{\epsilon }{3}+\delta <\epsilon .\end{array}$$

这个估计对所有 $x\in [0,1]$ 同时成立，所以

$$\mathrm{\forall }\epsilon >0,\mathrm{\exists }K=K(\epsilon ),\mathrm{\forall }k,\ell \ge K,\parallel f_{n_k}-f_{n_{\ell }}{\parallel }_{\mathrm{\infty }}<\epsilon .$$

因此 $(f_{n_k})$ 是 Banach 空间 $(C([0,1]),\parallel \cdot {\parallel }_{\mathrm{\infty }})$ 中的 Cauchy 列。由完备性，存在 $f\in C([0,1])$ 使

$$\parallel f_{n_k}-f{\parallel }_{\mathrm{\infty }}⟶0.$$

此外，令 $k\to \mathrm{\infty }$ 可知 $|f(x)|\le 1$，且

$$|f(x)-f(y)|\le |x-y|;$$

极限仍是 $1$-Lipschitz 函数。证毕。

这个模板的可复用骨架是：先在可数稠密集上用逐点紧性获得同一子列，再用统一连续性模量与有限网把稠密集上的有限点控制升级成整个紧空间上的一致控制。

资料与来源 (Sources)

1. Allen Hatcher, Algebraic Topology, Cambridge University Press, 2002；作者维护的 official electronic edition 页面及章节索引，Chapter 1 为 “Fundamental Group”：
   • https://pi.math.cornell.edu/~hatcher/AT/ATpage.html
   • https://pi.math.cornell.edu/~hatcher/AT/ATchapters.html
2. MIT OpenCourseWare, 18.904 Seminar in Topology (Spring 2011), “Lecture Summaries”。课程第 3–6 次主题依次包括路径同伦、基本群、${\pi }_1(S^1)\cong \mathbb{Z}$、Brouwer 不动点应用与函子性，并以 Hatcher §1.1 为主参考：
   • https://ocw.mit.edu/courses/18-904-seminar-in-topology-spring-2011/pages/lecture-summaries
3. Nathan Gill, “The Fundamental Group and the Brouwer Fixed Point Theorem,” University of Chicago Mathematics REU, 2013。含路径提升、${\pi }_1(S^1)$ 计算、$S^n$ 单连通与圆盘无收缩论证：
   • http://math.uchicago.edu/~may/REU2013/REUPapers/Gill.pdf
4. Henri Poincaré, Papers on Topology: Analysis Situs and Its Five Supplements, translated by John Stillwell, translation manuscript dated July 31, 2009；目录与正文保留 1895 Analysis Situs 的 §12 “The fundamental group”，译者导论说明其从不连续变换群到现代闭路同伦类观点的谱系：
   • https://webhomes.maths.ed.ac.uk/~v1ranick/papers/poincare2009.pdf
5. Jean Mawhin, “Poincaré’s early use of Analysis situs in nonlinear differential equation: Variations around the theme of Kronecker’s integral,” Philosophia Scientiæ 4(1), 2000, 103–143。用于核对 Poincaré 的拓扑思想与微分方程定性研究之间的历史联系：
   • https://www.numdam.org/item/PHSC_2000__4_1_103_0.pdf
6. John Baez, “Algebraic Geometry,” Azimuth, posted March 15, 2019；本期短引取自 John Baez 于 March 18, 2019, 7:55 pm 的署名回复，并已在原页逐字核对：
   • https://johncarlosbaez.wordpress.com/2019/03/15/algebraic-geometry/#comment-146401