2026-08-30 · 给每个小单形涂色

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

起点问题。 一维中，连续函数 $f:[0,1]\to [0,1]$ 必有不动点，因为

$$g(x):=f(x)-x$$

满足 $g(0)\ge 0$、$g(1)\le 0$，介值定理迫使某处 $g(x)=0$。到了二维及更高维，$f(x)-x$ 是向量；“变号”不再沿一条有序直线发生。Brouwer 不动点定理 (Brouwer fixed-point theorem) 的困难正在这里：如何把多个坐标方向上的位移，重新压成一个可计数、不会相互抵消的证书？

今天的对象与量词分四层：

1. 固定维数 $n\ge 0$ 与标准单形 ${\mathrm{\Delta }}^n$；
2. 对每个连续自映射 $f:{\mathrm{\Delta }}^n\to {\mathrm{\Delta }}^n$；
3. 构造一列网格直径趋于零的有限三角剖分，并在每层寻找全标号小单形；
4. 从这些有限证书中抽取一个极限点 $x$，证明 $f(x)=x$。

主结论的完整量词链是

$$\mathrm{\forall }n\in {\mathbb{N}}_0,\mathrm{\forall }f\in C({\mathrm{\Delta }}^n,{\mathrm{\Delta }}^n),\mathrm{\exists }x=x(f)\in {\mathrm{\Delta }}^n,f(x)=x.$$

先修：连续性、紧致集上的子列抽取、有限单形与重心坐标、数学归纳法和奇偶计数。去向：无收缩定理 (no-retraction theorem)、映射度 (degree)、Borsuk–Ulam 定理、Lefschetz 不动点定理、Nash 均衡存在性，以及计算复杂性中的 PPAD。主导 proof engines 是：边界标号的维数归纳、内部面成对消去、全标号单形的奇偶证书、网格趋零与连续极限。

昨日的 weekly roaming issue 已经闭合；今天开启一个三日 exploration micro-arc，同时诚实承接 2026-08-11 留下的无收缩问题。那一期以 ${\pi }_1(S^1)\cong \mathbb{Z}$ 为核心，只把二维 Brouwer 论证留作“今日一问”；本期先补上该桥，再新增一般维 Sperner 组合证明。本期 Day 1 从有限组合证书进入 Brouwer 存在性；Day 2 将把今天的无收缩短证提升为映射度与 Borsuk–Ulam；Day 3 预定把“是否有不动点”提升为诱导同调映射的交错迹，即 Lefschetz 视角。

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

1.1 把边界约束编码成有限涂色

定义（标准 $n$-单形）。 对 $n\ge 0$，令

$${\mathrm{\Delta }}^n:=\{(x_0,\dots ,x_n)\in {\mathbb{R}}^{n+1}:\mathrm{\forall }i\in \{0,\dots ,n\},x_i\ge 0,\sum _{i=0}^n{x}_i=1\}.$$

坐标 $x_i$ 是相对于顶点 $e_i$ 的重心坐标 (barycentric coordinates)。若 $I\subseteq \{0,\dots ,n\}$ 非空，则相应面为

$$F_I:=\{x\in {\mathrm{\Delta }}^n:\mathrm{\forall }j\notin I,x_j=0\}.$$

定义（三角剖分与网格）。 ${\mathrm{\Delta }}^n$ 的有限三角剖分 (triangulation) $T$ 是一族有限多个仿射单形，使它们的并为 ${\mathrm{\Delta }}^n$，且任意两个单形的交为空或为二者的公共面。令

$$\mathrm{mesh}(T):=\underset{\sigma \in T}{max}\mathrm{diam}(\sigma ).$$

反复重心细分可得到一列 $T_m$，满足 $\mathrm{mesh}(T_m)\to 0$。

定义（Sperner 标号）。 设 $V(T)$ 是剖分顶点集。映射

$$\ell :V(T)\to \{0,\dots ,n\}$$

称为 Sperner 标号，若

$$\mathrm{\forall }\varnothing \ne I\subseteq \{0,\dots ,n\},\mathrm{\forall }v\in V(T)\cap F_I,\ell (v)\in I.$$

换言之，位于某个面的顶点，只能使用该面自身顶点的标号。一个 $n$ 维小单形若其 $n+1$ 个顶点恰好带有全部标号 $0,1,\dots ,n$，就称为全标号 (fully labelled)。

Sperner 引理。 对每个 $n\ge 0$、每个 ${\mathrm{\Delta }}^n$ 的有限三角剖分 $T$ 与每个 Sperner 标号 $\ell$，全标号 $n$-单形的数目为奇数；特别地，至少存在一个。

证明。 对 $n$ 归纳。

• $n=0$ 时只有一个顶点，结论显然。
• 设结论对维数 $n-1$ 成立。把标号恰为 $\{0,\dots ,n-1\}$ 的 $(n-1)$-单形称为一扇门。

先数每个 $n$-单形拥有多少扇门。若它是全标号的，恰有一扇门：删去标号 $n$ 的顶点即可。若它只使用 $0,\dots ,n-1$，且其中一个标号重复一次、其余各出现一次，则恰有两扇门：删去任一重复标号顶点。其他 $n$-单形没有门。因此，按模 $2$ 计数，

$$\mathrm{\#}\{\text{全标号 }n\text{-单形}\}\equiv \mathrm{\#}\{\text{所有“门--房间”关联}\}(\mathrm{mod}2).$$

另一方面，每扇内部的门邻接两个 $n$-单形，在关联总数中贡献 $2\equiv 0(\mathrm{mod}2)$。位于边界的门只邻接一个 $n$-单形；Sperner 边界条件又迫使这样的门只能位于面

$$F_{\{0,\dots ,n-1\}}.$$

该面上的诱导剖分与诱导标号正是一个 $(n-1)$ 维 Sperner 问题。由归纳假设，其全标号 $(n-1)$-单形数为奇数，也就是边界门数为奇数。故门--房间关联总数为奇数，从而全标号 $n$-单形数为奇数。证毕。

这个论证的关键不是“画图看起来总有彩色小三角形”，而是一个可执行的守恒律：内部面出现两次而模 $2$ 消去，边界留下的奇数通量只能终止于全标号单形。

1.2 从全标号小单形压出真正不动点

Brouwer 不动点定理（单形形式）。 对每个 $n\ge 0$ 与每个连续映射

$$f:{\mathrm{\Delta }}^n\to {\mathrm{\Delta }}^n,$$

存在 $x\in {\mathrm{\Delta }}^n$ 使 $f(x)=x$。

证明。 取一列有限三角剖分 $T_m$，使

$$\mathrm{mesh}(T_m)⟶0.$$

若某个剖分顶点 $v$ 已满足 $f(v)=v$，结论成立。否则，对每个剖分顶点 $v$，因为

$$\sum _{i=0}^n{v}_i=1=\sum _{i=0}^n{f}_i(v),$$

不可能对所有 $i$ 都有 $v_i\le f_i(v)$ 且至少一处严格不等；故至少存在一个指标 $i$ 使

$$v_i>f_i(v).$$

任选一个这样的 $i$，定义 ${\ell }_m(v)=i$。

这确实是 Sperner 标号。若 $v\in F_I$ 且 $j\notin I$，则 $v_j=0$，而 $f_j(v)\ge 0$，所以不可能有 $v_j>f_j(v)$；因此 ${\ell }_m(v)\in I$。

由 Sperner 引理，每个 $T_m$ 中存在一个全标号 $n$-单形 ${\sigma }_m$。把其带标号 $i$ 的顶点记为 $v_m^{(i)}$，于是

$$(v_m^{(i)}{)}_i>f_i(v_m^{(i)})(0\le i\le n).$$

紧集 ${\mathrm{\Delta }}^n$ 中的序列 $v_m^{(0)}$ 有收敛子列；仍用 $m$ 记该子列，设

$$v_m^{(0)}⟶x\in {\mathrm{\Delta }}^n.$$

因为所有 $v_m^{(i)}$ 都属于同一个 ${\sigma }_m$，且 $\mathrm{diam}({\sigma }_m)\le \mathrm{mesh}(T_m)\to 0$，所以对每个 $i$，

$$v_m^{(i)}⟶x.$$

对标号不等式取极限，并使用每个坐标函数 $f_i$ 的连续性，得到

$$x_i\ge f_i(x)(0\le i\le n).$$

但两边坐标和都等于 $1$。若至少一处严格大于，则总和也会严格大于；故只能逐坐标取等：

$$\mathrm{\forall }i\in \{0,\dots ,n\},x_i=f_i(x).$$

因此 $f(x)=x$。证毕。

假设为何出现。

• 单形的面结构保证“零坐标不能被选作亏损标号”，于是连续位移自动服从 Sperner 边界规则。
• 有限剖分让奇偶计数成为真正的有限计数，而不是形式比喻。
• 网格趋零使一个全标号单形中的 $n+1$ 个不同证人最终汇聚到同一点。
• 紧致性提供收敛子列；连续性把各顶点上的严格不等式传到共同极限上的弱不等式。
• $f({\mathrm{\Delta }}^n)\subseteq {\mathrm{\Delta }}^n$ 保证非负坐标与坐标和守恒；最后正是坐标和守恒把 $n+1$ 个弱不等式升级为全部等式。

1.3 谱系与现代延伸：同一个障碍的三种语言

历史谱系。 Brouwer 的原始路线使用映射度。Emanuel Sperner 在 1928 年的论文 Neuer Beweis für die Invarianz der Dimensionszahl und des Gebietes 中给出后来以他命名的组合方法；原问题是维数与区域不变性，而存活下来的关键机制是：边界标号的非零“组合度数”不能在内部凭空消失。Alex Wright 的 2005 年说明文把二维房间--门路径与 Brouwer 证明并列展示；上面的归纳证明则把同一奇偶机制写到任意维。

与 2026-08-11 的数学增量。 旧文证明的是圆周基本群并把“无不动点 $\Rightarrow$ 圆盘收缩到圆周”留作未解问题；下面的无收缩段落完成那道题，但本期主证明不依赖基本群。新增路线直接在任意维单形上构造有限全标号证书，并通过网格极限得到不动点；所以这不是把旧文答案扩写，而是把同一拓扑障碍桥接到一套新的组合表示。

三种语言看到的是同一个障碍：

$$\begin{array}{c}\text{Sperner：全标号单形的奇偶数不为零}\\ \Updownarrow \\ \text{映射度：边界映射的度数不能被球体内部消去}\\ \Updownarrow \\ \text{同调：恒等映射在球面同调上非零}\end{array}$$

Graduate / modern extension（无收缩与同调证明）。 设 $n\ge 1$，并令

$$D^n:=\{x\in {\mathbb{R}}^n:\parallel x\parallel \le 1\},S^{n-1}:=\partial D^n.$$

若连续映射 $f:D^n\to D^n$ 没有不动点，则从 $f(x)$ 出发、穿过 $x$ 的射线会在球面上唯一再相交一点；记该点为 $r(x)$。解一元二次方程可见 $r$ 连续，而当 $x\in S^{n-1}$ 时有 $r(x)=x$。于是

$$r:D^n\to S^{n-1}$$

是一个收缩 (retraction)。反过来，若存在收缩 $r$，则 $x\mapsto -r(x)$ 是 $D^n$ 的无不动点连续自映射。因此 Brouwer 定理等价于 no-retraction theorem。

同调立即排除这个收缩。令 $i:S^{n-1}\hookrightarrow D^n$ 为包含映射；若 $r\circ i={\mathrm{id}}_{S^{n-1}}$，则约化同调上的诱导映射满足

$$r_{\ast }\circ i_{\ast }={\mathrm{id}}_{{\tilde{H}}_{n-1}(S^{n-1})}.$$

然而

$${\tilde{H}}_{n-1}(S^{n-1})\cong \mathbb{Z},{\tilde{H}}_{n-1}(D^n)=0,$$

所以 $i_{\ast }$ 必为零映射，不可能有左逆。矛盾。

这不是另一个互不相关的魔术：Sperner 的门面奇偶计数可视为同调边界算子“边界的边界为零”的有限影子。有限涂色给出近似不动点证书；同调则把证书压缩成一个不随剖分改变的代数不变量。

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

题目

在概率空间 $([0,1],\mathcal{B},\lambda )$ 上定义

$$u_n(x):=n{\mathbf{1}}_{(0,1/n)}(x)(n\ge 1).$$

1. 证明 $u_n\to 0$ 几乎处处，并且依测度收敛于 $0$。
2. 计算 $\parallel u_n{\parallel }_{L^1}$，判断 $u_n$ 是否在 $L^1$ 中收敛于 $0$。
3. 用一致可积性 (uniform integrability) 的小集合判别或尾部判别，证明族 $\{u_n:n\ge 1\}$ 不是一致可积的。

模板识别

看到“函数值越来越高、支撑越来越窄、逐点却趋于零”，应识别为 moving-spike concentration（移动尖峰集中）。这类题的核心不是复杂积分，而是同时跟踪三种量：支撑测度、尖峰高度、总 $L^1$ 质量。它专门检验“逐点或依测度收敛能否交换积分极限”所缺少的控制。

分级提示

1. 固定 $x>0$，比较 $x$ 与 $1/n$；另行检查 $x=0$。
2. 对固定 $\epsilon >0$，当 $n>\epsilon$ 时，集合 $\{|u_n|>\epsilon \}$ 是什么？
3. 直接把“高度 $n$”乘以“宽度 $1/n$”。
4. 对小集合判别取 $A_n=(0,1/n)$；对尾部判别则在给定 $K$ 后选择 $n>K$。

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

人物与语境。 Alexandre Grothendieck 在回忆与反思文本 Récoltes et Semailles 的“Les strates du langage”一节（该节标注 28 mars）回看 Kepler 如何摆脱预设的圆周运动框架，转而听取观测对象本身。引文核对自该法文转录本；转录本首页明确标注其为尽量忠实于 typescript 的临时版本。

核验短引（原文）：

“Ça a été le jour où il a su oublier ce qu’il avait trop bien appris, et simplement écouter. Écouter non des livres, ou des maîtres, savants et péremptoires, mais l’humble voix des choses.”

中文翻译：

“那一天，他懂得忘掉那些学得太熟的东西，而只是去倾听：不是听书本，也不是听博学而武断的老师，而是听事物谦卑的声音。”

评论。 Grothendieck 在这里谈的是 Kepler，不是 Brouwer；把它用于今天只能是有边界的作者评论。可迁移的方法不是“拒绝书本”，而是当熟悉语言不断制造复杂性时，回到对象问：它究竟在保存什么？Brouwer 问题若一直执着于寻找高维“变号点”，会缺少一维序所提供的方向；Sperner 的改写则听取单形边界结构，把坐标位移转成有限标号，再发现内部面成对而边界奇数不能消失。

$$\text{对象暴露边界结构}⟶\text{更换为组合标号语言}⟶\text{提取严格奇偶不变量}.$$

这段反思不能替代 Sperner 引理的证明；本期的接受标准仍是门--房间关联计数与极限步骤逐项成立。它只提醒我们区分“沿用熟悉技术”与“让对象选择表示”。以后同调把奇偶门数压缩成诱导同态，语言更强、更稳定；Sperner 标号则让这个非零障碍在有限层面可见。

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

有限维 Brouwer 定理常表述为：非空紧凸集 $K\subset {\mathbb{R}}^d$ 的每个连续自映射 $f:K\to K$ 都有不动点。下面逐项移除一个条件；每次都检查域、映射与不动点方程。

4.1 去掉紧致性：不动点逃到缺失边界

取

$$K=(0,1),f(x)=\frac{x+1}{2}.$$

逐项核验：

1. $K$ 非空、凸且有界，但不是闭集，因而在 $\mathbb{R}$ 中不紧。
2. 若 $0<x<1$，则 $1/2<f(x)<1$，所以 $f(K)\subset K$。
3. $f$ 连续。
4. 不动点方程
   $$x=\frac{x+1}{2}$$
   只有解 $x=1$，但 $1\notin K$。

因此有界性不能替代紧致性。对应到 Sperner 证明，候选近似不动点可以收敛到被域排除的边界点。

4.2 去掉凸性：只保留边界就能旋走所有点

取紧集

$$K=S^1=\{x\in {\mathbb{R}}^2:\parallel x\parallel =1\},f(x)=-x.$$

逐项核验：$S^1$ 非空且紧，但不凸；对径映射连续并满足 $f(S^1)\subset S^1$。若 $f(x)=x$，则 $x=-x$，所以 $x=0$，与 $\parallel x\parallel =1$ 矛盾。故无不动点。

这里缺少的不是某种解析估计，而是被圆周包围的“填充”：$D^2$ 迫使边界度数延伸到内部，单独的 $S^1$ 则允许无不动点旋转。

4.3 去掉连续性：紧区间也挡不住跳跃

取 $K=[0,1]$，定义

$$f(x):=\{\begin{array}{ll}1,& x=0,\\ 0,& 0<x\le 1.\end{array}$$

逐项核验：$K$ 非空、紧且凸，且 $f(K)\subset K$。但 $f$ 在 $0$ 处不连续。又有 $f(0)=1\ne 0$；若 $x>0$，则 $f(x)=0\ne x$。所以 $f$ 没有不动点。

在主证明中，连续性只在一个位置使用，却不可删除：它把不同网格顶点上的坐标不等式传到共同极限。跳跃映射恰好切断了这一步。

三个反例共同刻画边界：

$$\boxed{{\displaystyle \text{紧致性保存极限点，凸填充保存拓扑障碍，连续性保存极限关系。}}}$$

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

今日一问。 设 $f:{\mathrm{\Delta }}^n\to {\mathrm{\Delta }}^n$ 关于 $\parallel \cdot {\parallel }_{\mathrm{\infty }}$ 是 $L$-Lipschitz 的，$T$ 是网格不超过 $\delta$ 的 Sperner 剖分；按主证明的坐标亏损规则标号，并取一个全标号单形，其标号 $i$ 的顶点为 $v^{(i)}$。令 $x=v^{(0)}$。

只使用

$$(v^{(i)}{)}_i>f_i(v^{(i)}),\parallel v^{(i)}-x{\parallel }_{\mathrm{\infty }}\le \delta ,\sum _{i=0}^n(f_i(x)-x_i)=0,$$

你能推出怎样的显式上界

$$\parallel f(x)-x{\parallel }_{\mathrm{\infty }}\le C(n,L)\delta ?$$

先分别控制每个坐标的正误差 $f_i(x)-x_i$；再思考坐标和为零如何把这些单边上界转换成负误差下界。维数因子究竟在哪一步出现？这个论证是否已经给出一个有限的近似不动点算法，还是仍缺少“如何找到全标号单形”的复杂度分析？

方向提示。 Lipschitz 性与同一小单形内的距离先给出每个坐标的统一单边误差。不要立刻取绝对值；先保留总和为零这一守恒式，再处理最负的坐标。

数学地图：

$$\begin{array}{c}\text{介值定理与一维变号}\\ \downarrow \\ \text{单形、重心坐标与三角剖分}\\ \downarrow \\ \text{Sperner 奇偶引理}\\ \downarrow \\ \text{Brouwer 不动点与有限近似证书}\\ \swarrow \searrow \\ \text{KKM、Nash、PPAD}\text{无收缩、映射度、同调}\\ \searrow \swarrow \\ \text{Borsuk--Ulam 与 Lefschetz 不动点理论}\end{array}$$

今天保留的思考空间在“存在”与“寻找”之间：Sperner 引理保证全标号单形存在，并能沿门面图追踪它；但网格数随维数快速增长。拓扑存在定理因此自然通向 total search complexity：证书为何必在，与证书能否高效找到，是两个不同问题。

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

展开完整解答

模板：moving-spike concentration audit（移动尖峰集中审计）。

先证几乎处处收敛。若 $x=0$，由于指标集合是 $(0,1/n)$，对所有 $n$ 都有 $u_n(0)=0$。若 $x\in (0,1]$，取

$$n_0=n_0(x)>\frac{1}{x}.$$

则对所有 $n\ge n_0$，有 $1/n<x$，从而 $x\notin (0,1/n)$，故 $u_n(x)=0$。所以

$$\mathrm{\forall }x\in [0,1],u_n(x)⟶0;$$

事实上这里处处收敛，不只是几乎处处收敛。

再证依测度收敛。固定 $\epsilon >0$。当 $n>\epsilon$ 时，$u_n$ 在 $(0,1/n)$ 上等于 $n>\epsilon$，在其余点为零，因此

$$\lambda \{x:|u_n(x)|>\epsilon \}=\lambda (0,1/n)=\frac{1}{n}⟶0.$$

故 $u_n\to 0$ in measure（依测度）。

然而总 $L^1$ 质量并未消失：

$$\parallel u_n{\parallel }_{L^1}={\int }_0^{1}n{\mathbf{1}}_{(0,1/n)}(x)dx=n\cdot \frac{1}{n}=1.$$

所以

$$\parallel u_n-0{\parallel }_{L^1}=1$$

对所有 $n$ 成立，$u_n$ 不在 $L^1$ 中收敛于 $0$。

最后检查一致可积性。小集合判别要求

$$\mathrm{\forall }\epsilon >0,\mathrm{\exists }\delta =\delta (\epsilon )>0,\mathrm{\forall }A\in \mathcal{B},\lambda (A)<\delta ⟹\underset{n\ge 1}{sup}{\int }_A|u_n|d\lambda <\epsilon .$$

取

$$A_n=(0,1/n).$$

虽然 $\lambda (A_n)=1/n\to 0$，但

$${\int }_{A_n}|u_n|d\lambda =1.$$

具体地，令 $\epsilon =1/2$。对任意 $\delta >0$，可取 $n>1/\delta$，于是 $\lambda (A_n)<\delta$，而

$$\underset{k\ge 1}{sup}{\int }_{A_n}|u_k|d\lambda \ge {\int }_{A_n}|u_n|d\lambda =1>\frac{1}{2}.$$

故小集合判别失败，族 $\{u_n:n\ge 1\}$ 不一致可积。

用尾部判别也可一眼看出：对任意 $K>0$，选择整数 $n>K$，则

$${\int }_{\{|u_n|>K\}}|u_n|d\lambda =1,$$

所以尾部积分不可能对 $n$ 一致趋于零。

可复用结论是：支撑测度趋零只说明质量越来越集中；若“高度 $\times$ 宽度”保持不变，逐点或依测度收敛不会自动升级为 $L^1$ 收敛。Vitali 升级所缺的正是一致可积性。

资料与来源 (Sources)

1. Emanuel Sperner, “Neuer Beweis für die Invarianz der Dimensionszahl und des Gebietes,” Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 6 (1928), 265–272, DOI: 10.1007/BF02940617. Springer 页面核验作者、刊名、卷页、年份与 DOI；用于组合路线的原始谱系。
   https://link.springer.com/article/10.1007/BF02940617

2. Alex Wright, Sperner’s Lemma and Brouwer’s Fixed Point Theorem, University of Michigan, July 2005. 文中给出二维 Sperner 房间--门证明、重心坐标标号及网格趋零的 Brouwer 证明；本期将奇偶机制写成一般维归纳。
   https://public.websites.umich.edu/~alexmw/BFPT.pdf

3. Allen Hatcher, Algebraic Topology, Cambridge University Press, 2002；作者维护的电子版。第 2.2 节说明收缩在同调上导致不可能的分裂，并明确联系 Brouwer 不动点定理；用于本期无收缩的现代延伸。
   https://pi.math.cornell.edu/~hatcher/AT/AT.pdf

4. Allen Hatcher, “Algebraic Topology Book,” Cornell University author page. 页面核验 2002 年出版信息、Cambridge University Press 版本及持续更新的免费电子版。
   https://pi.math.cornell.edu/~hatcher/AT/ATpage.html

5. Alexandre Grothendieck, Récoltes et Semailles: Réflexions et témoignage sur un passé de mathématicien, provisional transcription edited by Mateo Carmona. “大家之言”短引取自“Les strates du langage”一节对 Kepler 的反思，并已在本次运行中逐字核对法文转录。
   https://webusers.imj-prg.fr/~leila.schneps/grothendieckcircle/RetSbis.pdf