2026-08-13 · 让闭路搬动纤维

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

起点问题。 前两期已经看到两种提升：先把一条圆周闭路提升到 $\mathbb{R}$，从终点读出绕数；再把“哪些闭路提升后闭合”收集成子群，用来分类覆盖。今天追问尚未显式组织的一层：若从纤维中的每一个点出发，同一条闭路会把这些点分别送到哪里？

答案是 monodromy（单值化作用）：闭路虽然回到基空间的原点，却可能把上方的纤维点置换。这个置换同时解释三件事：

$$\text{闭路提升}⟶\text{纤维置换}⟶\text{全局分支是否能单值选取}.$$

对象与量词层。 固定路径连通空间 $X$、基点 $x_0\in X$ 与覆盖映射 $p:E\to X$，记离散纤维

$$F=p^{-1}(x_0).$$

本期区分：

1. 一个闭路同伦类 $[\gamma ]\in {\pi }_1(X,x_0)$；
2. 一个提升起点 $e\in F$；
3. 从 $e$ 出发的唯一提升 ${\tilde{\gamma }}_e$；
4. 提升终点 ${\tilde{\gamma }}_e(1)\in F$；
5. 一个待提升映射 $f:(Y,y_0)\to (X,x_0)$；
6. 对所有 $Y$ 中闭路成立的子群包含条件。

存在一个局部分支通常不难；真正的全局量词是：能否对 $Y$ 中全部路径作彼此相容的选择，使沿任意闭路回来时不发生纤维位移。

前置、证明机器与去向。 前置是基本群、路径与同伦提升、覆盖分类和群作用。主导机制是

$$\text{unique lift}+\text{homotopy invariance}⟹\text{action on a fiber},$$

以及

$$\text{all lifted loops close}⟺f_{\ast }{\pi }_1(Y,y_0)\subseteq p_{\ast }{\pi }_1(E,e_0).$$

去向包括复对数与根式的分支、Riemann surfaces（Riemann 曲面）、analytic continuation（解析延拓）、local systems（局部系统）和表示论。

arc 位置。 这是 exploration-2026-w33-loops-and-lifts 的第 3/3 期。第 1 日把闭路变成整数，第 2 日把子群变成覆盖，今日把闭路变成纤维上的作用，并用它解决全局分支问题；至此本弧收束。

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

1.1 从“一个终点”到“整条纤维上的作用”

设 $p:E\to X$ 是覆盖映射，$X$ 路径连通，$F=p^{-1}(x_0)$。沿用前两期的拼接约定：$\alpha \ast \beta$ 表示先走 $\alpha$，再走 $\beta$。

给定 $e\in F$ 与带基点闭路 $\gamma :[0,1]\to X$，令 ${\tilde{\gamma }}_e$ 为满足

$$p\circ {\tilde{\gamma }}_e=\gamma ,{\tilde{\gamma }}_e(0)=e$$

的唯一提升，并定义

$$e\cdot [\gamma ]:={\tilde{\gamma }}_e(1).$$

由于 $\gamma (1)=x_0$，终点仍在 $F$ 中。

定理（Fiber Monodromy Action）。 上式给出 ${\pi }_1(X,x_0)$ 在 $F$ 上的右作用：

$$F\times {\pi }_1(X,x_0)\to F,(e,[\gamma ])\mapsto e\cdot [\gamma ].$$

更明确地，对所有 $e\in F$ 与 $[\alpha ],[\beta ]\in {\pi }_1(X,x_0)$，

$$e\cdot 1=e,(e\cdot [\alpha ])\cdot [\beta ]=e\cdot ([\alpha ][\beta ]).$$

为什么定义良好？ 若 ${\gamma }_0\simeq {\gamma }_1$ rel endpoints，则该同伦从指定点 $e$ 出发有唯一提升。提升后右边界始终落在离散纤维 $F$ 中；它是从连通区间到离散空间的连续映射，故恒定。因此两条提升有相同终点。

为什么满足作用律？ $\alpha \ast \beta$ 从 $e$ 出发的提升，先是 ${\tilde{\alpha }}_e$，再是从 $e\cdot [\alpha ]$ 出发的 $\beta$ 的提升。唯一性迫使这条拼接路径就是 $\alpha \ast \beta$ 的提升，因而终点为

$$(e\cdot [\alpha ])\cdot [\beta ].$$

反向闭路给出逆置换，所以每个 $[\gamma ]$ 都置换 $F$。由于这里采用右作用，若想写成通常的左 permutation representation（置换表示），可令

$$\rho ([\gamma ])(e)=e\cdot [\gamma {]}^{-1},$$

从而 $\rho :{\pi }_1(X,x_0)\to \mathrm{Sym}(F)$ 是群同态。

1.2 轨道与稳定子重新解释覆盖分类

固定 $e\in F$。其 stabilizer（稳定子）为

$$\mathrm{Stab}(e)=\{[\gamma ]\in {\pi }_1(X,x_0):e\cdot [\gamma ]=e\}.$$

闭路固定 $e$，恰好意味着它从 $e$ 出发的提升仍为闭路。因此

$$\boxed{{\displaystyle \mathrm{Stab}(e)=p_{\ast }{\pi }_1(E,e).}}$$

逐向验证如下：

• 若 $[\gamma ]=p_{\ast }[\tilde{\gamma }]$，其中 $\tilde{\gamma }$ 是 $E$ 中以 $e$ 为基点的闭路，则唯一提升就是 $\tilde{\gamma }$，故 $e\cdot [\gamma ]=e$；
• 若 $e\cdot [\gamma ]=e$，则 ${\tilde{\gamma }}_e$ 是 $E$ 中的闭路，且 $p_{\ast }[{\tilde{\gamma }}_e]=[\gamma ]$。

轨道也有几何含义。对 $e,e^{\prime }\in F$，

$$e^{\prime }\in e\cdot {\pi }_1(X,x_0)$$

当且仅当 $e$ 与 $e^{\prime }$ 可由 $E$ 中一条路径连接：一方面，提升闭路本身给出连接路径；另一方面，若 $\eta$ 从 $e$ 连到 $e^{\prime }$，则 $p\circ \eta$ 是 $x_0$ 处的闭路，而 $\eta$ 是它从 $e$ 出发的唯一提升。

所以

$$E\text{ 路径连通}⟺{\pi }_1(X,x_0)\text{ 在 }F\text{ 上的作用传递}.$$

这把昨日的分类字典压缩成标准的群作用字典：传递 $G$-set 由一个稳定子 $H\le G$ 决定，并同构于陪集空间；改变纤维基点会把稳定子改成共轭子群。

1.3 提升判据：所有闭路必须与一个纤维点相容

定理（Map Lifting Criterion）。 设 $Y$ 路径连通且局部路径连通，

$$f:(Y,y_0)\to (X,x_0),p:(E,e_0)\to (X,x_0)$$

均保基点，且 $p$ 是覆盖映射。则存在唯一的保基点提升

$$\tilde{f}:(Y,y_0)\to (E,e_0),p\circ \tilde{f}=f,$$

当且仅当

$$\boxed{{\displaystyle f_{\ast }{\pi }_1(Y,y_0)\subseteq p_{\ast }{\pi }_1(E,e_0).}}$$

monodromy 解释。 把 $e_0$ 看作纤维点。对每个 $y\in Y$，选一条从 $y_0$ 到 $y$ 的路径 $\eta$，并尝试令 $\tilde{f}(y)$ 为 $f\circ \eta$ 从 $e_0$ 出发的提升终点。若换成另一条路径 ${\eta }^{\prime }$，两种选择之差是闭路 $\eta \ast \overline{{\eta }^{\prime }}$。定义与路径选择无关，当且仅当每个这样的闭路经 $f$ 映到 $X$ 后都固定 $e_0$；由稳定子公式，这正是上述子群包含。

必要性则直接来自函子性：若 $f=p\circ \tilde{f}$，那么

$$f_{\ast }=p_{\ast }\circ {\tilde{f}}_{\ast },$$

故像必落在 $p_{\ast }{\pi }_1(E,e_0)$ 中。

1.4 应用一：连续复对数何时存在

指数映射

$$\exp :\mathbb{C}\to {\mathbb{C}}^{\ast },w\mapsto e^w$$

是普遍覆盖；其甲板变换是

$$w\mapsto w+2\pi ik,k\in \mathbb{Z}.$$

设 $Y$ 路径连通且局部路径连通，$f:Y\to {\mathbb{C}}^{\ast }$ 连续。所谓 $f$ 的 continuous logarithm（连续对数），就是连续映射 $L:Y\to \mathbb{C}$ 满足

$$e^{L(y)}=f(y)\mathrm{\forall }y\in Y.$$

这恰好说 $f$ 能提升通过 $\exp$。因为 $\mathbb{C}$ 单连通，

$${\exp }_{\ast }{\pi }_1(\mathbb{C})=\{0\}\subseteq {\pi }_1({\mathbb{C}}^{\ast })\cong \mathbb{Z}.$$

于是提升判据立即给出：

推论（Continuous Logarithm Criterion）。 在上述假设下，$f$ 有连续对数，当且仅当

$$f_{\ast }:{\pi }_1(Y,y_0)\to {\pi }_1({\mathbb{C}}^{\ast },f(y_0))$$

是平凡同态。

换言之，$Y$ 中每条闭路经 $f$ 映入穿孔平面后都必须有绕原点为零的绕数。若条件成立，每选定一个 $L(y_0)\in {\exp }^{-1}(f(y_0))$，便有唯一相应提升；不同选择相差常数 $2\pi ik$。

特别地，若 $Y$ 单连通，则每个连续非零函数 $f:Y\to {\mathbb{C}}^{\ast }$ 都有连续对数。复分析中再加上 $Y$ 为区域且 $f$ 全纯无零点，可把提升升级为全纯对数；拓扑障碍仍是同一份绕数数据。

1.5 应用二：连续 $n$ 次根与整除性

对整数 $n\ge 2$，幂映射

$$p_n:{\mathbb{C}}^{\ast }\to {\mathbb{C}}^{\ast },p_n(z)=z^n$$

是 $n$ 叶覆盖。在基本群

$${\pi }_1({\mathbb{C}}^{\ast })\cong \mathbb{Z}$$

下，$(p_n{)}_{\ast }$ 是乘以 $n$，所以其像为 $n\mathbb{Z}$。

一个连续映射 $g:Y\to {\mathbb{C}}^{\ast }$ 满足 $g^n=f$，恰好意味着 $g$ 是 $f$ 关于 $p_n$ 的提升。因此：

推论（Continuous Root Criterion）。 设 $Y$ 路径连通且局部路径连通。连续映射 $f:Y\to {\mathbb{C}}^{\ast }$ 存在连续 $n$ 次根，当且仅当

$$\boxed{{\displaystyle f_{\ast }{\pi }_1(Y,y_0)\subseteq n\mathbb{Z}.}}$$

例如对

$$f_m:S^1\to S^1,f_m(z)=z^m,$$

有连续 $n$ 次根当且仅当 $n\mid m$。这不是逐点代数问题：每个非零复数当然都有 $n$ 个根；困难在于能否沿整个定义域连续地、绕一圈后仍一致地选同一支。

1.6 谱系与现代延伸

复对数的多值性、根式沿闭路的分支置换，以及 Riemann 曲面把“多值函数”改写为单值函数，构成覆盖与 monodromy 的经典几何模型。现代语言不再把 monodromy 限于复函数：

• 对覆盖 $p:E\to X$，纤维是集合，闭路给出其置换；
• 对 local system（局部系统），纤维是向量空间，闭路的平行移动给出
  $$\rho :{\pi }_1(X,x_0)\to \mathrm{GL}(V);$$
• 对微分方程的解芽、代数函数的分支或纤维丛的同调，闭路可作用在更丰富的代数对象上。

Graduate / modern extension。 在适当的局部连通假设下，覆盖范畴等价于 ${\pi }_1(X,x_0)$-sets 的范畴；线性化后，局部系统与基本群表示相联系。昨日“覆盖由子群分类”只看传递作用及一个稳定子，今天的 monodromy 则保留整个作用，因此也能处理不连通覆盖和带额外结构的纤维。

作为另一标准例子，对径商映射

$$q:S^n\to {\mathbb{RP}}^n,x\mapsto [x]$$

是二叶覆盖，纤维为 $\{x,-x\}$。当 $n\ge 2$ 时 $S^n$ 单连通，故它是普遍覆盖；非平凡闭路的 monodromy 交换两个对径点，于是

$${\pi }_1({\mathbb{RP}}^n)\cong \mathbb{Z}/2\mathbb{Z}.$$

这展示了同一机制的两种面貌：在复对数中，闭路使分支增加 $2\pi i$；在实射影空间中，闭路交换两个对径提升。

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

题目

设 $a<b$，并设 $(f_n{)}_{n\ge 1}$ 是 $[a,b]$ 上的 Riemann 可积函数列。假设存在函数 $f:[a,b]\to \mathbb{R}$，使

$$\underset{n\to \mathrm{\infty }}{lim}\parallel f_n-f{\parallel }_{\mathrm{\infty }}=0.$$

证明：$f$ 也 Riemann 可积，并且

$$\underset{n\to \mathrm{\infty }}{lim}{\int }_a^b{f}_n(x)dx={\int }_a^{b}f(x)dx.$$

模板识别

信号是：有限区间 + 一致收敛 + 要把极限穿过积分号。不要只写“由一致收敛定理”而跳过 $f$ 的可积性；标准模板分两步：

$$\text{Darboux 上下和继承可积性}+|\int (f_n-f)|\le (b-a)\parallel f_n-f{\parallel }_{\mathrm{\infty }}.$$

分级提示

1. 给定 $\epsilon >0$，先选 $n$ 使 $\parallel f_n-f{\parallel }_{\mathrm{\infty }}$ 足够小，再为这个固定的 $f_n$ 选一个使 Darboux 上下和之差足够小的分割 $P$。
2. 若在某个子区间 $I$ 上 $\parallel f_n-f{\parallel }_{\mathrm{\infty }}\le \delta$，比较 $\underset{I}{sup}f$ 与 $\underset{I}{sup}{f}_n$，以及 $\underset{I}{inf}f$ 与 $\underset{I}{inf}{f}_n$。
3. 证明
   $$U(f,P)-L(f,P)\le U(f_n,P)-L(f_n,P)+2\delta (b-a).$$
4. 得到 $f$ 可积后，对 $f_n-f$ 使用积分的单调性，或直接使用绝对值估计。

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

人物与语境。 Timothy Gowers 于 2026 年 8 月 12 日在自己的 Gowers's Weblog 发表 “What sort of maths are LLMs good at?”。文章讨论怎样按实际证明机制、而不只按形式逻辑外观区分数学问题；在比较多重量词结构时，他写道：

“In general, many interesting results, when they are stated formally, begin with an alternation of two or three (or more) quantifiers. The question then becomes to determine which is the first ‘interesting’ quantified variable in some sense.”

中译。 “一般而言，许多有趣结果在形式化陈述时，都以两三个乃至更多量词的交替开头。于是问题变成：在某种意义下，哪一个才是第一个‘真正有内容的’量化变量？”

评注。 这段话的重点不是弱化形式化，而是要求辨认量词链中真正承载构造难度的对象。今天的提升判据正是一个例子。形式上，它说“存在 $\tilde{f}$ 当且仅当对所有闭路类满足一个包含”；实际证明中，关键变量不是任意点 $y$ 本身，而是从 $y_0$ 到 $y$ 的路径选择：

$$\tilde{f}(y)=\text{the endpoint of the lift of }f\circ {\eta }_y.$$

随之而来的核心问题也不是“能否在一个小邻域中定义分支”，而是“换一条路径后终点是否不变”。闭路、稳定子与基本群像正是为审计这种路径依赖而出现。

因此，阅读带量词的定理时可以问三件事：哪一个变量需要被构造？哪一个全称量词负责检查选择无关性？哪个假设保证局部构造能粘成连续对象？这比仅凭最外层是 $\mathrm{\forall }$ 还是 $\mathrm{\exists }$ 给问题分类，更接近证明的真实几何。

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

错误命题

每个连续非零复函数都能连续地选取一个对数分支。

取

$$Y=S^1,f:S^1\to {\mathbb{C}}^{\ast },f(z)=z.$$

逐项检查。

1. $f$ 连续，且对所有 $z\in S^1$ 都有 $f(z)\ne 0$。
2. 每个 $z_0\in S^1$ 都有一个小开弧 $U\ni z_0$，可在 $U$ 上连续选辐角 $\theta$，从而
   $$L_U(z)=i\theta (z)$$
   满足 $e^{L_U(z)}=z$。所以局部对数处处存在。
3. 但全局连续对数不存在。若存在 $L:S^1\to \mathbb{C}$ 满足 $e^L=f$，则 $f$ 将提升通过普遍覆盖
   $$\exp :\mathbb{C}\to {\mathbb{C}}^{\ast }.$$
4. 在基本群上，$f$ 是单位圆的恒等嵌入，故
   $$f_{\ast }:{\pi }_1(S^1)\to {\pi }_1({\mathbb{C}}^{\ast })$$
   在 $\mathbb{Z}$ 的标准识别下是恒等映射，其像为 $\mathbb{Z}$。
5. 另一方面，$\mathbb{C}$ 单连通，所以
   $${\exp }_{\ast }{\pi }_1(\mathbb{C})=\{0\}.$$
   提升判据要求 $\mathbb{Z}\subseteq \{0\}$，矛盾。

也可直接看提升终点：闭路

$$\gamma (t)=e^{2\pi it}$$

从 $0$ 出发提升到 $\mathbb{C}$ 后是 $\tilde{\gamma }(t)=2\pi it$，终点为 $2\pi i$ 而不是 $0$。局部对数沿圆周走一圈后多出 $2\pi i$；这个差正是 monodromy。

边界究竟在哪里？ 非零性只保证每一点附近能选对数，不保证这些局部分支绕闭路后相容。若把定义域割开，例如取

$$\mathbb{C}\setminus (-\mathrm{\infty },0],$$

该 slit plane（割线平面）上可以选取辐角 $-\pi <\arg z<\pi$，从而得到 principal branch（主分支）

$$\log z=\log |z|+i\arg z.$$

分支割线不是形式上的不便，而是通过改变定义域消除绕原点的闭路，从而杀死 monodromy 障碍。

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

令

$$X=S^1\vee S^1,{\pi }_1(X,x_0)=F(a,b).$$

设 $f:X\to S^1$ 连续，并且在基本群上

$$f_{\ast }(a)=r,f_{\ast }(b)=s,$$

其中用 ${\pi }_1(S^1,1)\cong \mathbb{Z}$ 识别右侧，$r,s\in \mathbb{Z}$。固定 $n\ge 2$。

今日一问。

1. 给出 $f$ 存在连续 $n$ 次根 $g:X\to S^1$、即 $g^n=f$ 的充要条件；
2. 若条件成立，在不固定 $g(x_0)$ 的情况下共有多少个不同的连续提升？为什么连通性保证这些提升不会在途中重新合并？
3. 把结论改写为 $p_n(z)=z^n$ 的 pullback cover（拉回覆盖）是否有截面的判据。

定向提示。 $F(a,b)$ 虽非交换，但目标 $\mathbb{Z}$ 是交换群。先把

$$f_{\ast }F(a,b)\subseteq n\mathbb{Z}$$

化成对两个自由生成元的条件；再数纤维 $p_n^{-1}(f(x_0))$ 中可选的提升起点。不要逐点选根后再猜连续性。

数学地图。

$$\begin{array}{rl}& \text{闭路、同伦与基本群}\\ & \Downarrow \\ & \text{覆盖中的唯一路径提升}\\ & \Downarrow \\ & {\pi }_1(X,x_0)\curvearrowright p^{-1}(x_0)\\ & \Downarrow \\ & \text{轨道}=\text{总空间路径分支},\text{稳定子}=\text{闭合提升子群}\\ & \Downarrow \\ & \text{映射提升判据}\\ & \Downarrow \\ & \text{复对数、}n\text{ 次根、射影空间、解析延拓}\\ & \Downarrow \\ & \text{局部系统与基本群表示。}\end{array}$$

下一期不再延长本弧；按 roadmap 优先转向 $p$-adic numbers（$p$-adic 数），比较“由绝对值完备化”与本弧“由闭路提升整体化”这两种不同的局部—整体机制。

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

展开完整解答

模板名称：Darboux 上下和继承 + 上确界范数控制积分。

记

$${\delta }_n=\parallel f_n-f{\parallel }_{\mathrm{\infty }}.$$

由一致收敛，${\delta }_n\to 0$。

先证明 $f$ Riemann 可积。任取 $\epsilon >0$。选择 $n$ 充分大，使

$$2{\delta }_n(b-a)<\frac{\epsilon }{2}.$$

由于这个固定的 $f_n$ Riemann 可积，存在 $[a,b]$ 的分割

$$P:a=x_0<x_1<\cdots <x_m=b$$

使

$$U(f_n,P)-L(f_n,P)<\frac{\epsilon }{2}.$$

对每个子区间

$$I_j=[x_{j-1},x_j],$$

由 $|f-f_n|\le {\delta }_n$ 得

$$\underset{I_j}{sup}f\le \underset{I_j}{sup}{f}_n+{\delta }_n,$$

以及

$$\underset{I_j}{inf}f\ge \underset{I_j}{inf}{f}_n-{\delta }_n.$$

因此

$$\underset{I_j}{sup}f-\underset{I_j}{inf}f\le (\underset{I_j}{sup}{f}_n-\underset{I_j}{inf}{f}_n)+2{\delta }_n.$$

乘以子区间长度 $\mathrm{\Delta }{x}_j=x_j-x_{j-1}$ 并求和，得到

$$\begin{array}{rl}U(f,P)-L(f,P)& \le U(f_n,P)-L(f_n,P)+2{\delta }_n\sum _{j=1}^m\mathrm{\Delta }{x}_j\\ & =U(f_n,P)-L(f_n,P)+2{\delta }_n(b-a)\\ & <\frac{\epsilon }{2}+\frac{\epsilon }{2}=\epsilon .\end{array}$$

由 Darboux 判据，$f$ Riemann 可积。

现在证明积分收敛。因为 $f_n-f$ Riemann 可积，且

$$-{\delta }_n\le f_n(x)-f(x)\le {\delta }_n\mathrm{\forall }x\in [a,b],$$

积分的单调性给出

$$-{\delta }_n(b-a)\le {\int }_a^b(f_n-f)\le {\delta }_n(b-a).$$

故

$$|{\int }_a^b{f}_n(x)dx-{\int }_a^{b}f(x)dx|\le (b-a)\parallel f_n-f{\parallel }_{\mathrm{\infty }}⟶0.$$

所以

$$\underset{n\to \mathrm{\infty }}{lim}{\int }_a^b{f}_n(x)dx={\int }_a^{b}f(x)dx.$$

证毕。

这个模板的可复用骨架是：一致范数不仅控制每一点误差，还把误差经有限区间积分后放大至多一个长度因子；若极限对象的可积性尚未给定，则先用同一个一致误差控制 Darboux 振幅。有限区间条件不可无声删去：在无穷区间上，即使 $f_n\to 0$ 一致，也可能有 $\int f_n=1$，因为支撑长度可以同时逃向无穷。

资料与来源 (Sources)

1. Allen Hatcher, Algebraic Topology, Cambridge University Press, 2002，作者维护的 official electronic edition。Chapter 1.3 的 lifting properties、covering classification、deck transformations 与 group actions 给出本期拓扑主线；本次已打开并核对官方书页及电子版：
   • https://pi.math.cornell.edu/~hatcher/AT/ATpage.html
   • https://pi.math.cornell.edu/~hatcher/AT/ATplain.pdf
2. Jesper M. Møller, “The Fundamental Group and Covering Spaces,” course notes, version dated December 10, 2011。文中以 right $G$-sets 组织覆盖分类，列出 $z\mapsto z^n$、$\mathbb{R}\to S^1$、$S^n\to {\mathbb{RP}}^n$ 等覆盖，并明确给出映射到圆周存在 $n$ 次根的基本群整除判据：
   • https://ncatlab.org/nlab/files/Moller-FundamentalGroup.pdf
3. MIT OpenCourseWare, 18.904 Seminar in Topology, Spring 2011, “Lecture Summaries”。Sessions 11–14 依次列出 lifting criterion、covering classification、与基本群置换表示的范畴等价，以及实射影空间基本群计算：
   • https://ocw.mit.edu/courses/18-904-seminar-in-topology-spring-2011/pages/lecture-summaries
4. NIST Digital Library of Mathematical Functions, §4.2 “Definitions,” Logarithm, Exponential, Powers。用于核对一般复对数的多值性、$0$ 为 branch point、主分支的割线域，以及 $\mathrm{Ln}z=\ln z+2k\pi i$：
   • https://dlmf.nist.gov/4.2
5. Timothy Gowers, “What sort of maths are LLMs good at?”, Gowers's Weblog, August 12, 2026。本期短引取自原文关于多重量词与“first interesting quantified variable”的段落，已在原页逐字核对：
   • https://gowers.wordpress.com/2026/08/12/what-sort-of-maths-are-llms-good-at
6. Jiří Lebl, Basic Analysis I & II, §6.2 “Interchange of limits”。用于核对一致收敛下有限区间积分换序的标准论证及无穷区间上的边界习题：
   • https://www.jirka.org/ra/html/sec_liminter.html