2026-08-31 · 把连续变形压成一个整数

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

起点问题。 昨日的 Sperner 引理给出一个有限的模二证书：内部面成对消去，边界留下奇数个出口，于是至少有一个全标号小单形。这个机制能证明 Brouwer 不动点存在，却还没有回答另一类问题：若定义域带有对径对称 $x\leftrightarrow -x$，怎样证明一个连续映射不可能把每一对对径点都永久分开？

今天把组合奇偶提升为映射度 (mapping degree)。对象与量词分四层：

1. 对每个整数 $m\ge 1$，研究连续自映射 $h:S^m\to S^m$；
2. 用最高维同调 $H_m(S^m;\mathbb{Z})\cong \mathbb{Z}$ 把 $h$ 压缩为整数 $\mathrm{deg}h$；
3. 对满足 $h(-x)=-h(x)$ 的奇映射 (odd map)，证明 $\mathrm{deg}h$ 必为奇数；
4. 对每个 $n\ge 1$ 与每个连续映射 $f:S^n\to {\mathbb{R}}^n$，证明存在依赖于 $f$ 的点 $x=x(f)$，使 $f(x)=f(-x)$。

主结论的完整量词链是

$$\mathrm{\forall }n\in {\mathbb{N}}_{\ge 1},\mathrm{\forall }f\in C(S^n,{\mathbb{R}}^n),\mathrm{\exists }x=x(f)\in S^n,f(x)=f(-x).$$

先修：球面与圆盘、连续映射、同伦、整数群的同态；最高维同调只需先接受 $H_m(S^m;\mathbb{Z})\cong \mathbb{Z}$。主导 proof engines：把连续映射函子化为群同态；用度数记录生成元被绕行多少次；把对径分离归一化成奇映射；再让“奇度”与“可延拓所以零度”正面冲突。去向：火腿三明治定理、Tucker 引理、等变拓扑 (equivariant topology)、投影空间、特征类，以及明日的 Lefschetz 不动点定理。

本期是三日 exploration arc 的 Day 2。Day 1 以三角剖分和 Sperner 奇偶计数得到 Brouwer 定理；今天不重复该证明，而是新增一个稳定于同伦的整数障碍，并用它处理对径对称。Day 3 将把“球面上的一个整数”推广为各维诱导同调映射的交错迹。

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

1.1 一个连续映射怎样变成整数

固定 $m\ge 1$。单位球面为

$$S^m:=\{x\in {\mathbb{R}}^{m+1}:\parallel x\parallel =1\}.$$

选定 $S^m$ 的一个定向后，最高维同调群有生成元

$$[S^m]\in H_m(S^m;\mathbb{Z})\cong \mathbb{Z}.$$

定义（映射度）。 对每个连续映射 $h:S^m\to S^m$，诱导同态

$$h_{\ast }:H_m(S^m;\mathbb{Z})\to H_m(S^m;\mathbb{Z})$$

必为整数乘法。唯一满足

$$h_{\ast }([S^m])=(\mathrm{deg}h)[S^m]$$

的整数 $\mathrm{deg}h\in \mathbb{Z}$ 称为 $h$ 的映射度。

这一定义保留四条今天需要的性质：

1. $\mathrm{deg}({\mathrm{id}}_{S^m})=1$；
2. 若 $h_0\simeq h_1$，则 $\mathrm{deg}{h}_0=\mathrm{deg}{h}_1$；
3. $\mathrm{deg}(h\circ g)=\mathrm{deg}h\mathrm{deg}g$；
4. 常值映射的度数为 $0$。

第三条来自函子性 $(h\circ g{)}_{\ast }=h_{\ast }\circ g_{\ast }$；第二条来自同伦映射诱导相同的同调同态。度数不是“映射公式的复杂度”，而是球面的最高维定向类经过映射后被保留、翻转或多重覆盖的代数总数。例如圆周映射 $z\mapsto z^k$ 的度数是 $k$。

引理（延拓迫使零度）。 设 $m\ge 1$，若 $h:S^m\to S^m$ 可延拓为连续映射

$$H:D^{m+1}\to S^m,H{|}_{\partial D^{m+1}}=h,$$

则 $\mathrm{deg}h=0$。

证明。 令 $i:S^m=\partial D^{m+1}\hookrightarrow D^{m+1}$ 为包含映射，则 $h=H\circ i$。由于圆盘可缩，

$$H_m(D^{m+1};\mathbb{Z})=0,$$

故 $i_{\ast }$ 在第 $m$ 维必为零。于是

$$h_{\ast }=H_{\ast }\circ i_{\ast }=0,$$

从而 $\mathrm{deg}h=0$。证毕。

这一步解释了“边界障碍”的准确含义：若球面映射携带非零度数，它就不能无损地填进圆盘内部。

1.2 奇映射为何不能具有偶数度

定义（奇映射）。 连续映射 $h:S^m\to S^m$ 称为奇映射，若

$$\mathrm{\forall }x\in S^m,h(-x)=-h(x).$$

奇映射定理 (odd mapping theorem)。 对每个 $m\ge 1$ 与每个连续奇映射 $h:S^m\to S^m$，

$$\mathrm{deg}h\equiv 1(\mathrm{mod}2).$$

特别地，$\mathrm{deg}h\ne 0$，所以奇映射不可能延拓到 $D^{m+1}$。

先看机制。对径点识别给出双层覆盖

$$p:S^m\to {\mathbb{RP}}^m,p(x)=[x].$$

奇性正好保证 $h$ 在商空间上有良定义的映射

$$\overline{h}:{\mathbb{RP}}^m\to {\mathbb{RP}}^m,\overline{h}([x])=[h(x)],$$

并满足 $p\circ h=\overline{h}\circ p$。因此，对径对称不是装饰性条件；它让球面映射下降到实投影空间，同时保留双覆盖结构。

Graduate / modern extension（模二转移序列的证明骨架）。 对覆盖 $p:S^m\to {\mathbb{RP}}^m$ 使用 ${\mathbb{F}}_2$ 系数的转移序列。已知

$$H_i(S^m;{\mathbb{F}}_2)\cong \{\begin{array}{ll}{\mathbb{F}}_2,& i=0,m,\\ 0,& 0<i<m,\end{array}$$

而

$$H_i({\mathbb{RP}}^m;{\mathbb{F}}_2)\cong {\mathbb{F}}_2(0\le i\le m).$$

$h$ 与 $\overline{h}$ 给出转移序列到自身的交换图。由第 $0$ 维恒等信息出发，利用精确性逐维归纳，交换图迫使各层 ${\overline{h}}_{\ast }$ 以及最高维的

$$h_{\ast }:H_m(S^m;{\mathbb{F}}_2)\to H_m(S^m;{\mathbb{F}}_2)$$

都是同构。后一群只有两个元素，所以 $h_{\ast }$ 是非零映射；这正说明整数度数模 $2$ 等于 $1$。$m=1$ 时也可直接用圆周提升说明：半周的对径条件迫使总绕数为奇数。

这段证明的逻辑核心可压缩为

$$\text{奇性}⟹\text{与双覆盖相容}⟹\text{模二最高维类不消失}⟹\mathrm{deg}h\text{ 为奇数}.$$

1.3 Borsuk–Ulam：奇度与零度的冲突

Borsuk–Ulam 定理。 对每个 $n\ge 1$ 与每个连续映射

$$f:S^n\to {\mathbb{R}}^n,$$

存在 $x\in S^n$ 使

$$f(x)=f(-x).$$

证明。 $n=1$ 时，令

$$\phi (x):=f(x)-f(-x)\in \mathbb{R}.$$

沿圆周任取一条从 $x$ 到 $-x$ 的路径，$\phi$ 的端点值互为相反数；介值定理给出零点。

以下设 $n\ge 2$。反设对所有 $x\in S^n$ 都有 $f(x)\ne f(-x)$。则可定义归一化对径差

$$G(x):=\frac{f(x)-f(-x)}{\parallel f(x)-f(-x)\parallel }\in S^{n-1}.$$

分母处处非零，所以 $G$ 连续；并且

$$G(-x)=-G(x),$$

故 $G:S^n\to S^{n-1}$ 是奇映射。

把赤道识别为

$$E:=\{x\in S^n:x_{n+1}=0\}\cong S^{n-1},$$

并令 $g:=G{|}_E:E\to S^{n-1}$。限制后的 $g$ 仍是奇映射，因此奇映射定理给出

$$\mathrm{deg}g\equiv 1(\mathrm{mod}2).$$

另一方面，赤道 $E$ 是上半球

$$D_{+}^n:=\{x\in S^n:x_{n+1}\ge 0\}\cong D^n$$

的边界，而 $G{|}_{D_{+}^n}$ 正是 $g$ 到圆盘的连续延拓。由延拓零度引理，

$$\mathrm{deg}g=0.$$

同一个整数不可能既为奇数又等于零，矛盾。故存在 $x$ 满足 $f(x)=f(-x)$。证毕。

假设为何出现。

• 连续性保证对径差可连续归一化，也保证半球限制真的是连续延拓；
• 余域恰为 ${\mathbb{R}}^n$，使非零对径差落在 $S^{n-1}$，与赤道同维，从而有可比较的度数；
• 对径变换把差映射强制成奇映射，奇偶障碍才不会消失；
• 球面的上半球提供“同一赤道映射必须可填充”的零度信息。

一个常用等价推论是：若 $F:S^n\to {\mathbb{R}}^n$ 连续且为奇映射，即 $F(-x)=-F(x)$，则存在 $x$ 使 $F(x)=0$。因为 Borsuk–Ulam 给出 $F(x)=F(-x)$，而奇性又给出 $F(-x)=-F(x)$。

1.4 谱系：同一个障碍的三个分辨率

Allen Hatcher 的教材把 Brouwer 在 1910–1912 年间引入的度数，与后来用同调定义的整数度数明确区分：历史上的几何定义早于严格同调理论，现代定义则把它写成最高维同调上的整数乘法。Karol Borsuk 的论文 Drei Sätze über die n-dimensionale euklidische Sphäre 发表于 Fundamenta Mathematicae 第 20 卷（1933），页 177–190；EuDML 条目与原文入口核验了这些书目信息。

昨日与今日保存的是同一“边界信息不能在内部消失”的不同分辨率：

$$\begin{array}{c}\text{Sperner 标号：全标号单形数模 }2\text{ 非零}\\ \Downarrow \\ \text{映射度：最高维定向类被乘以整数 }\mathrm{deg}h\\ \Downarrow \\ \text{等变拓扑：对径作用迫使模二类持续非零}\end{array}$$

Sperner 语言有限而可计算；整数度数保留方向与重数；投影空间和转移序列则说明奇性为何天然是一个 $\mathbb{Z}/2$ 障碍。三者并非互相替代，而是把同一边界守恒律投影到不同表示层。

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

题目

设 $(K,d)$ 是非空紧度量空间，$f_n:K\to [0,\mathrm{\infty })$ 连续，并满足

$$\mathrm{\forall }x\in K,f_{n+1}(x)\le f_n(x),f_n(x)⟶0.$$

证明 $f_n\to 0$ 一致收敛，即证明

$$\mathrm{\forall }\epsilon >0,\mathrm{\exists }N=N(\epsilon )\in \mathbb{N},\mathrm{\forall }n\ge N,\mathrm{\forall }x\in K,f_n(x)<\epsilon .$$

模板识别

看到“紧空间 + 连续函数 + 关于 $n$ 单调 + 逐点收敛到连续极限”，应识别为 Dini finite-subcover uniformization（Dini 有限子覆盖一致化）。逐点收敛只给每个 $x$ 各自的指标 $N(x,\epsilon )$；紧致性的任务，是把这些局部指标压成一个与 $x$ 无关的有限最大值。

分级提示

1. 固定 $\epsilon >0$，定义 $U_n:=\{x\in K:f_n(x)<\epsilon \}$。先判断 $U_n$ 是否开。
2. 逐点收敛说明 $\bigcup _{n\ge 1}{U}_n=K$；单调性说明这些开集如何嵌套？
3. 对开覆盖 $\{U_n\}$ 使用紧致性，取得有限子覆盖。
4. 若 $U_{n_1},\dots ,U_{n_r}$ 覆盖 $K$，取 $N=\underset{j}{max}{n}_j$；利用嵌套性把有限并化成一个集合。

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

人物与语境。 数学物理学家 John Baez 在其第一人称博客 Azimuth 的文章 “Algebraic Geometry”（2019-03-15）回顾自己较晚才真正喜欢上代数几何，并解释坐标与方程如何改变几何问题的表示。下面引文逐字核对自原文页面。

核验短引（原文）：

“It was a revolutionary idea at the time, because it lets us systematically convert questions about geometry into questions about equations, which we can solve if we’re good enough at algebra.”

中文翻译：

“这在当时是一个革命性的想法，因为它让我们能够系统地把几何问题转化为方程问题；只要足够擅长代数，我们便能求解这些问题。”

评论。 Baez 此处明确谈的是代数几何，不是 Borsuk–Ulam 定理；下面只是有边界的方法类比。今天发生的转换是

$$\text{球面的连续自映射}⟼\text{最高维同调上的群同态}⟼\mathrm{deg}h\in \mathbb{Z}.$$

转换的价值不在于“代数总比几何容易”，而在于选择一个恰好保存矛盾所需信息的代数像：半球延拓把度数杀成 $0$，对径奇性却让度数保持为奇数。若只记录映射是否满射，信息太粗；若保留整张映射图像，又难以看出同伦下不变的障碍。度数位于二者之间。

这种压缩也有明确代价：它证明某个对径同值点必存在，却通常不告诉我们点在哪里。故代数翻译是可审计的证明工具，不是对几何对象的替代；昨日 Sperner 路线保留有限近似证书，反而更接近寻找算法。

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

4.1 余域多一维：结论立即失效

Borsuk–Ulam 中余域 ${\mathbb{R}}^n$ 的维数是尖锐的。考虑标准包含

$$F:S^n\hookrightarrow {\mathbb{R}}^{n+1},F(x)=x.$$

逐项核验：$F$ 连续；对每个 $x\in S^n$，有 $x\ne -x$，因为球面不含零向量；故

$$F(x)=x\ne -x=F(-x).$$

所以把余域从 ${\mathbb{R}}^n$ 放宽到 ${\mathbb{R}}^{n+1}$ 后，可以连续分开所有对径点。主证明也准确显示失效处：归一化对径差落入 $S^n$，而赤道只有维数 $n-1$，不再产生同维自映射的度数冲突。

4.2 删除连续性：字典序选择器分开所有对径点

设 $n\ge 1$。对 $x=(x_1,\dots ,x_{n+1})\in S^n$，令

$$j(x):=min\{k:x_k\ne 0\},s(x):=\mathrm{sgn}(x_{j(x)})\in \{-1,1\}.$$

以 $e_1=(1,0,\dots ,0)\in {\mathbb{R}}^n$ 定义

$$F(x):=s(x)e_1.$$

每个球面点至少有一个非零坐标，所以 $j(x)$ 与 $s(x)$ 都有定义。又因首个非零坐标在取负后符号翻转，

$$F(-x)=-F(x).$$

而 $F(x)$ 永远是 $e_1$ 或 $-e_1$，不可能等于其负值，故

$$\mathrm{\forall }x\in S^n,F(x)\ne F(-x).$$

这个 $F$ 在“首个非零坐标”发生切换的地方不连续。它说明连续性并非技术润滑剂：没有连续性，选择公理式的分半规则可以直接给每个对径轨道指定相反标签，半球延拓与度数都无从建立。

4.3 “对径同值”不等于“函数有零点”

取任意 $c\in {\mathbb{R}}^n\setminus \{0\}$，令

$$F(x):=c(x\in S^n).$$

则 $F$ 连续，并且对所有 $x$ 都有 $F(x)=F(-x)$；但 $F$ 没有零点。故错误命题

$$\text{“每个连续 }F:S^n\to {\mathbb{R}}^n\text{ 都有零点”}$$

不成立。由 Borsuk–Ulam 推出零点时，额外使用了奇性 $F(-x)=-F(x)$；这才把同值方程升级为

$$F(x)=F(-x)=-F(x)⟹F(x)=0.$$

同样，任意球面自映射不必有奇数度：常值映射的度数就是 $0$。承载奇偶障碍的是等变条件 $h(-x)=-h(x)$，而不只是定义域恰好为球面。

三个边界共同说明：

$$\boxed{{\displaystyle \text{维数让度数可比较，连续性让度数可定义，奇性让度数模二非零。}}}$$

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

今日一问。 设 $A_1,\dots ,A_n\subset {\mathbb{R}}^n$ 是 Lebesgue 可测集，且

$$0<{\lambda }_n(A_i)<\mathrm{\infty }(1\le i\le n).$$

把 $S^n$ 写成

$$S^n=\{(v,s)\in {\mathbb{R}}^n\times \mathbb{R}:\parallel v{\parallel }^2+s^2=1\}.$$

当 $v\ne 0$ 时，令定向半空间

$$H_{v,s}:=\{z\in {\mathbb{R}}^n:⟨v,z⟩\le s\},$$

并定义第 $i$ 个质量差

$${\mathrm{\Phi }}_i(v,s):={\lambda }_n(A_i\cap H_{v,s})-{\lambda }_n(A_i\setminus H_{v,s}).$$

在两极 $(0,1)$ 与 $(0,-1)$ 处，分别把 $H$ 理解为整个 ${\mathbb{R}}^n$ 与空集。你能严格完成下列三步吗？

1. 证明 $\mathrm{\Phi }=({\mathrm{\Phi }}_1,\dots ,{\mathrm{\Phi }}_n):S^n\to {\mathbb{R}}^n$ 连续，尤其处理 $v\to 0$ 的两极；
2. 证明 $\mathrm{\Phi }(-v,-s)=-\mathrm{\Phi }(v,s)$；
3. 用 Borsuk–Ulam 的奇映射零点形式推出：存在一个仿射超平面同时把每个 $A_i$ 的测度二等分。

方向提示。 对一般点，考察半空间指标函数的几乎处处收敛，并使用控制收敛；单个超平面的 Lebesgue 测度为零。趋近两极时，把不等式除以 $\parallel v\parallel$，阈值逃向 $\pm \mathrm{\infty }$，有限测度给出尾部控制。真正需要你组织的是：怎样把局部的逐点判断写成整个参数球面上的连续性证明。

数学地图：

$$\begin{array}{c}\text{圆周绕数与最高维同调}\\ \downarrow \\ \text{球面自映射的整数度数}\\ \downarrow \\ \text{奇映射定理与投影空间双覆盖}\\ \downarrow \\ \text{Borsuk--Ulam 对径同值}\\ \swarrow \searrow \\ \text{Tucker、Kneser、染色下界}\text{火腿三明治、等分与公平切割}\\ \searrow \swarrow \\ \text{等变上同调、指数理论与特征类}\\ \downarrow \\ \text{Lefschetz 数与一般空间的不动点障碍}\end{array}$$

今天留下的思考空间是“怎样制造一个奇映射”：Borsuk–Ulam 本身只有在应用问题被编码为连续、对径反号的误差向量后才开始工作。找到合适的参数球面和误差坐标，往往比调用定理更具创造性。

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

展开完整解答

模板：Dini finite-subcover uniformization（Dini 有限子覆盖一致化）。

固定任意 $\epsilon >0$。对每个 $n\ge 1$ 定义

$$U_n:=\{x\in K:f_n(x)<\epsilon \}.$$

因为 $f_n$ 连续而 $(-\mathrm{\infty },\epsilon )$ 是开集，$U_n$ 是 $K$ 中的开集。

逐点收敛给出完整覆盖。更准确地，对每个 $x\in K$，由 $f_n(x)\to 0$，存在

$$N_x=N_x(x,\epsilon )\in \mathbb{N}$$

使得对所有 $n\ge N_x$ 都有 $f_n(x)<\epsilon$；特别地，$x\in U_{N_x}$。因此

$$K=\bigcup _{n=1}^{\mathrm{\infty }}{U}_n.$$

函数列关于 $n$ 单调递减，所以若 $x\in U_n$，则

$$f_{n+1}(x)\le f_n(x)<\epsilon ,$$

从而 $x\in U_{n+1}$。故开集族递增：

$$U_1\subseteq U_2\subseteq \cdots .$$

由于 $K$ 紧，开覆盖 $\{U_n:n\ge 1\}$ 有有限子覆盖。于是存在指标 $n_1,\dots ,n_r$ 使

$$K=U_{n_1}\cup \cdots \cup U_{n_r}.$$

令

$$N=N(\epsilon ):=max\{n_1,\dots ,n_r\}.$$

由嵌套性，每个 $U_{n_j}\subseteq U_N$，所以

$$K=U_{n_1}\cup \cdots \cup U_{n_r}\subseteq U_N\subseteq K.$$

因此 $U_N=K$。再由函数列递减，对所有 $n\ge N$ 与所有 $x\in K$，

$$0\le f_n(x)\le f_N(x)<\epsilon .$$

故

$$\underset{x\in K}{sup}|f_n(x)|<\epsilon (n\ge N),$$

即 $f_n\to 0$ 一致收敛。

完整量词链为

$$\mathrm{\forall }\epsilon >0,\mathrm{\exists }N=N(\epsilon ),\mathrm{\forall }n\ge N,\mathrm{\forall }x\in K,|f_n(x)-0|<\epsilon .$$

这里紧致性完成的不是普通“取子列”，而是一次量词一致化：它把逐点存在的 $N_x(x,\epsilon )$ 压成只依赖 $\epsilon$ 的单个 $N(\epsilon )$。单调性则让有限多个局部指标的最大值同时控制所有点。

若删除紧致性，结论可失败。例如在 $K=(0,1)$ 上取 $f_n(x)=(1-x{)}^n$。每个 $f_n$ 连续且逐点递减到 $0$，但

$$\underset{x\in (0,1)}{sup}{f}_n(x)=1$$

对所有 $n$ 成立，所以不一致收敛。局部需要的指标在 $x\downarrow 0$ 时逃向无穷，正是紧致性原本阻止的现象。

资料与来源 (Sources)

1. Allen Hatcher, Algebraic Topology, Cambridge University Press, 2002，作者提供的电子版。第 2.2 节定义球面映射的度数并列出同伦不变性、复合乘法及对径映射度数；第 2.B 节 Proposition 2B.6 与 Corollary 2B.7 分别给出“奇映射具有奇数度”和一般维 Borsuk–Ulam 推论。
   https://pi.math.cornell.edu/~hatcher/AT/AT.pdf

2. Karol Borsuk, “Drei Sätze über die n-dimensionale euklidische Sphäre,” Fundamenta Mathematicae 20(1) (1933), 177–190. EuDML 条目核验作者、题名、卷期、年份、页码，并链接原始全文。
   https://eudml.org/doc/212624

3. Laurentiu Maxim course notes, MATH 752 Notes, Week 7, University of Wisconsin–Madison, 2012-03-05。讲义以实投影空间、双覆盖与 ${\mathbb{Z}}_2$ 上同调说明不同维球面间不存在与对径作用相容的映射；用于核对投影空间路线的假设和维数关系。
   https://people.math.wisc.edu/~lmaxim/Topnotes7.pdf

4. John Baez, “Algebraic Geometry,” Azimuth, 2019-03-15。大家之言的第一人称语境与英文短引均逐字核对自该页；原文讨论代数几何，本期已明确限制其方法类比的范围。
   https://johncarlosbaez.wordpress.com/2019/03/15/algebraic-geometry/