2026-07-17 · 把 Euler 公式局部化

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

起点问题。 Euler 公式

$$|V|-|E|+|F|=2$$

把球面上的顶点、边、面压缩成一个全局整数，却没有回答：这个整数能否分摊到各个顶点，使“哪里弯、弯多少”成为可计算的局部量？今日的主线就是把 Euler characteristic（Euler 示性数）改写成局部 curvature（曲率）的总和。关键不是形式上的类比，而是一次严格的 incidence double counting（关联双计数）。

对象与量词层。 固定一个闭连通曲面 $S$，再固定其上的一个有限多边形胞腔分解 $\mathcal{C}=(V,E,F)$：图的补集各连通分支都是开圆盘，每个面的边界是一条有限简单圈。局部层是顶点 $v\in V$ 及与它关联的边、面；全局层是整个 $S$ 及其 $\chi (S)$。主定理的量词次序是：对每个这样的 $S$，对每个这样的有限分解 $\mathcal{C}$，对每个 $v\in V$ 定义 ${\kappa }_{\mathcal{C}}(v)$，然后证明一次有限求和恒等式。

预备知识。 有限图的度数、握手引理、平面图的面、有限求和换序，以及 Euclidean polygon（Euclidean 多边形）的内角和。习题独立使用非负函数积分与 Tonelli 定理。

去向。 这条链会通向平面图的低度顶点与着色、正多面体的局部型、离散微分几何中的 angle defect（角亏），以及光滑曲面上的 Gauss–Bonnet 定理。主导机制是：

1. 删除非割边，把 Euler 公式归约到树；
2. 把每条边、每个面携带的权重分摊给顶点；
3. 用“局部和 = 全局拓扑不变量”提取结构性结论。

编辑位置。 这是本周的跨学科漫游篇（weekly roaming issue），单篇闭合，横跨组合学、拓扑与几何；当前 archive 中没有更早一期可供续接，因此它不是既有 micro-arc 的延续。

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

1.1 从平面图的计数失败开始

只知道顶点数和边数，通常不能看见嵌入的局部形状；加入面数后，Euler 公式又似乎过于全局。要把它局部化，先明确“面”不是图的抽象数据，而来自一个满足圆盘条件的嵌入。

定义 1（多边形胞腔分解）。 设 $S$ 是闭连通曲面。有限三元组

$$\mathcal{C}=(V,E,F)$$

称为本文所用的多边形胞腔分解，如果：

• $V$ 是有限顶点集，$E$ 是以两个不同的 $V$ 中顶点为端点、内部互不相交的有限弧集；
• $G=(V,E)$ 连通；
• $F$ 是 $S\setminus G$ 的连通分支集；
• 对每个 $f\in F$，$f$ 同胚于开圆盘，且 $\partial f$ 是 $G$ 中的一条有限简单圈；
• 每条边恰好出现在两个面边界中，按面侧计数。

对每个 $v\in V$，令

$$d(v):=\mathrm{\#}\{e\in E:v\text{ 是 }e\text{ 的端点}\};$$

对每个 $f\in F$，令

$$p(f):=\mathrm{\#}\{e\in E:e\subseteq \partial f\}.$$

这里 $d(v)$ 与 $p(f)$ 都是正整数；$p(f)$ 也是 $f$ 的边界顶点数。

圆盘条件不是装饰：它保证每个 $f$ 真能作为一个二维胞腔贡献一个 $+1$。第 4 节会看到，若只把补集的连通分支随意叫作“面”，公式会失败。

1.2 前置引理：三种双计数

引理 1（顶点—边握手）。 对每个有限图，

$$\sum _{v\in V}d(v)=2|E|.$$

理由。 对所有 incident pair（关联对）$(v,e)$ 计数。每条边有两个端点，故右侧为 $2|E|$。

引理 2（面—边握手）。 对上述闭曲面胞腔分解，

$$\sum _{f\in F}p(f)=2|E|.$$

理由。 改为数所有 face-side incidence（面侧关联）。每条边有两个面侧，故仍得到 $2|E|$。

定理 1（球面 Euler 公式）。 对球面 $S^2$ 的每个上述分解，

$$|V|-|E|+|F|=2.$$

证明架构。 若 $G$ 是树，则 $|E|=|V|-1$，且球面上只有一个补面，所以左侧为 $2$。若 $G$ 不是树，取一条圈上的边 $e$。它不是割边，删除后图仍连通；在球面嵌入中，$e$ 两侧的两个面合并，故 $|E|$ 与 $|F|$ 同时各减 $1$，$|V|-|E|+|F|$ 不变。有限次操作后得到一棵生成树，结论随之成立。这里“球面”确保删边合并所得区域仍按上述归约工作；一般曲面上的非分离圈会暴露新的拓扑。

对一般闭曲面，把

$$\chi (S):=|V|-|E|+|F|$$

称为 Euler characteristic（Euler 示性数）；其不依赖所选胞腔分解，是拓扑不变量。特别地，闭可定向 genus（亏格）为 $g$ 的曲面满足 $\chi (S)=2-2g$。

1.3 主定义与离散 Gauss–Bonnet

定义 2（组合顶点曲率）。 对每个闭连通曲面 $S$、每个上述有限多边形胞腔分解 $\mathcal{C}=(V,E,F)$，以及每个 $v\in V$，定义

$${\kappa }_{\mathcal{C}}(v):=1-\frac{d(v)}{2}+\sum _{\begin{array}{c}f\in F\\ v\in \partial f\end{array}}\frac{1}{p(f)}.$$

依赖关系写全即：${\kappa }_{\mathcal{C}}(v)$ 同时依赖顶点 $v$ 与所选分解 $\mathcal{C}$；它通常不是曲面 $S$ 单独决定的点态量。

定理 2（组合 Gauss–Bonnet）。 对每个闭连通曲面 $S$ 及其每个上述有限多边形胞腔分解 $\mathcal{C}$，都有

$$\boxed{{\displaystyle \sum _{v\in V}{\kappa }_{\mathcal{C}}(v)=\chi (S).}}$$

证明。 有限求和允许直接换序：

$$\begin{array}{rl}\sum _{v\in V}{\kappa }_{\mathcal{C}}(v)& =\sum _{v\in V}1-\frac{1}{2}\sum _{v\in V}d(v)+\sum _{v\in V}\sum _{\begin{array}{c}f\in F\\ v\in \partial f\end{array}}\frac{1}{p(f)}\\ & =|V|-|E|+\sum _{f\in F}\sum _{v\in \partial f}\frac{1}{p(f)}\\ & =|V|-|E|+\sum _{f\in F}1\\ & =|V|-|E|+|F|=\chi (S).\end{array}$$

第二行使用引理 1；第三项换序后，每个面 $f$ 有恰好 $p(f)$ 个边界顶点，所以它总共贡献 $p(f)\cdot p(f{)}^{-1}=1$。证毕。

这也解释了定义中三个看似人为的项：$1$ 分摊顶点项，$-d(v)/2$ 把每条边的 $-1$ 平分给两个端点，$1/p(f)$ 把每个面的 $+1$ 平分给它的 $p(f)$ 个角。假设的来源完全可见。

1.4 三角剖分：曲率就是度数亏损

若每个面都是三角形，则每个 $v$ 关联的三角形数等于 $d(v)$，于是

$$\kappa (v)=1-\frac{d(v)}{2}+\frac{d(v)}{3}=1-\frac{d(v)}{6}.$$

对球面三角剖分，

$$\sum _{v\in V}(1-\frac{d(v)}{6})=2,\text{等价地}\sum _{v\in V}(6-d(v))=12.$$

推论（低度顶点）。 每个有限球面三角剖分都存在 $v$ 使 $d(v)\le 5$。

证明。 若对所有 $v\in V$ 都有 $d(v)\ge 6$，则对所有 $v$ 都有 $\kappa (v)\le 0$，从而曲率总和不大于 $0$，与总和等于 $2$ 矛盾。

这不是“平均度小于 $6$”的另一种漂亮说法而已；它把平均度预算解释成必须在某些顶点出现的正曲率。

1.5 正则局部型与五个候选

设球面分解中每个面都是 $p$ 边形、每个顶点度数都是 $q$，其中 $p,q\in \mathbb{N}$ 且 $p,q\ge 3$。每点曲率相同：

$$\kappa =1-\frac{q}{2}+\frac{q}{p}=q(\frac{1}{p}+\frac{1}{q}-\frac{1}{2}).$$

球面的曲率总和为正，故

$$\frac{1}{p}+\frac{1}{q}>\frac{1}{2}.$$

逐项检查整数解：$p=3$ 时 $q=3,4,5$；$p=4$ 时只能 $q=3$；$p=5$ 时只能 $q=3$；$p\ge 6$ 时不可能。因此只有

$$(3,3),(3,4),(3,5),(4,3),(5,3)$$

五种 admissible incidence types（可容许关联型）。这一步只给出必要候选，不单独证明相应多面体的存在，更不证明其组合唯一性；不能把数值筛选冒充分类定理。

1.6 明确标记的现代延伸：从组合电荷到角亏

Graduate / modern extension. 若把每个面实现为 Euclidean 多边形并沿等长边粘合，定义顶点 $v$ 的 angle defect（角亏）

$$\delta (v):=2\pi -\sum _{\begin{array}{c}f\in F\\ v\in \partial f\end{array}}\theta (v,f),$$

其中 $\theta (v,f)$ 是面 $f$ 在角 $(v,f)$ 处的内角。由每个 $p(f)$ 边形的内角和为 $(p(f)-2)\pi$，并用 $\sum _{f}p(f)=2|E|$，得到

$$\begin{array}{rl}\sum _{v\in V}\delta (v)& =2\pi |V|-\sum _{f\in F}(p(f)-2)\pi \\ & =2\pi |V|-2\pi |E|+2\pi |F|\\ & =2\pi \chi (S).\end{array}$$

若各面还是正 $p(f)$ 边形，则

$$\theta (v,f)=(1-\frac{2}{p(f)})\pi ,\frac{\delta (v)}{2\pi }={\kappa }_{\mathcal{C}}(v).$$

所以组合曲率与几何角亏在这一模型中严格相等，而非仅仅“很像”。

光滑版本则把集中在顶点的曲率测度替换为 Gaussian curvature（Gauss 曲率）$K$：对闭、定向的 Riemannian 2-manifold（Riemann 二维流形）$S$，

$${\int }_{S}KdA=2\pi \chi (S).$$

离散微分几何据此在 polygonal mesh（多边形网格）上计算曲率；但“总曲率恒等式精确成立”不自动推出任意网格细化下的点态曲率收敛，后者需要另外的几何正则性与逼近分析。[2][3]

谱系说明。 本节按“Euler 全局计数 $\to$ 顶点电荷重分配 $\to$ 角亏 $\to$ 光滑 Gauss–Bonnet”组织的是概念依赖链，不是关于发现先后的历史断言。

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

题目

设 $(\mathrm{\Omega },\mathcal{F},\mathbb{P})$ 是概率空间，$X:\mathrm{\Omega }\to [0,\mathrm{\infty }]$ 是可测函数，$p>0$。

1. 证明 layer-cake / tail-integral identity（层蛋糕／尾积分恒等式）
   $$\mathbb{E}[X^p]=p{\int }_0^{\mathrm{\infty }}{t}^{p-1}\mathbb{P}(X>t)dt,$$
   等式允许两边同时取 $+\mathrm{\infty }$。
2. 若存在常数 $C\ge 0$ 与 $q>p$，使得对每个 $t\ge 1$ 都有
   $$\mathbb{P}(X>t)\le C{t}^{-q},$$
   证明 $X\in L^p$，并给出一个只依赖 $p,q,C$ 的显式上界。

模板识别

看到以下信号时，应优先尝试“逐点指标积分 $+$ Tonelli”模板，而不是先猜分布密度：

• 对象非负；
• 已知 tail probability（尾概率）而要求 moment（矩）；
• 表达式含 $X^p$ 或一般单调函数 $\mathrm{\Psi }(X)$；
• 题目没有假定 $X$ 存在密度。

分级提示

1. Hint 1. 对固定 $x\in [0,\mathrm{\infty }]$，尝试把 $x^p$ 写成区间 $(0,x)$ 上某个非负函数的积分。
2. Hint 2. 把上一步代入 $x=X(\omega )$；先判断 integrand 的可测性与符号，再决定用 Fubini 还是 Tonelli。
3. Hint 3. 对第二问把 $t$-积分在 $1$ 处分开；小 $t$ 区间只用 $\mathbb{P}(X>t)\le 1$，大 $t$ 区间才使用题设尾界。检查 $q>p$ 恰好保证哪一个 improper integral（反常积分）收敛。

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

可核验语境。 William P. Thurston 在第一人称论文 On Proof and Progress in Mathematics 中回应 Jaffe–Quinn 对数学实践的刻画，并结合自己传播三维流形几何化思想的经历，讨论“证明了一个命题”与“建立了可供人理解和使用的数学结构”之间的差别。文章收到于 1993-10-26，发表于 Bulletin of the American Mathematical Society，Vol. 30, No. 2（April 1994），pp. 161–177。以下原文见官方 AMS PDF 的 p. 163。[4]

“The measure of our success is whether what we do enables people to understand and think more clearly and effectively about mathematics.”

中译。 “衡量我们成功与否，要看我们的工作是否使人们能够更清楚、更有效地理解并思考数学。”

转述（paraphrase）。 Thurston 在这段话前反对把数学进展压缩成定义—定理—证明的产量指标；他的重点不是削弱证明，而是追问证明与概念是否真正改善了人的思维方式。

评论（本文解释）。 今日同一恒等式至少有三种可互译的理解：$V-E+F$ 的全局计数、顶点上的组合电荷、Euclidean 多面曲面上的角亏。真正的“理解增加”不是多记一个 Gauss–Bonnet 名称，而是能在三种表示间移动，并知道移动依赖圆盘面、闭曲面、有限性等哪些假设。Thurston 的标准因此落实为一种数学检验：一个表述若不能帮助我们预测低度顶点、发现失效边界或迁移到光滑曲率，它就还没有充分发挥概念的作用。

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

考察下面这个邻近但错误的命题：

“只要有限连通图无交叉地嵌入闭曲面 $S$，令 $F$ 为补集连通分支数，就总有 $|V|-|E|+|F|=\chi (S)$。”

它错在漏掉 cellularity（胞腔性）。

具体反例。 写二维环面为

$$T^2={\mathbb{R}}^2/{\mathbb{Z}}^2.$$

取本质闭曲线 $\{(x,0):x\in \mathbb{R}/\mathbb{Z}\}$，在其上依次放置 $n\ge 3$ 个顶点，并以 $n$ 条边连接成圈图 $C_n$。

逐项检查：

1. 有限性： $|V|=n$、$|E|=n$，均有限。
2. 连通性： $C_n$ 连通。
3. 无交叉嵌入： 它就是环面上的一条简单闭曲线。
4. 闭连通底空间： $T^2$ 是闭连通曲面，且 $\chi (T^2)=0$。
5. 补集分支： $T^2\setminus C_n$ 连通，所以若误把补集分支数记为“面数”，会得到 $|F|=1$。
6. 数值失败：
   $$|V|-|E|+|F|=n-n+1=1\ne 0=\chi (T^2).$$
7. 真正失效处： 补集同胚于开圆柱 $S^1\times (0,1)$，其基本群为 $\mathbb{Z}$，所以它不是开圆盘；闭包还有两个边界分量，而不是一个简单圈边界。它不能充当一个二维胞腔。

因此，Section 1 中“每个面贡献 $+1$，再把这 $+1$ 均分给角”的步骤在这里根本没有定义良好。边界恰在于：补集的一个连通分支不必是一个二维胞腔。 Euler 计数统计的是 cell structure（胞腔结构），不是任意嵌入后补集分支的朴素数量。

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

今日一问。 设 $G$ 是至少有三个顶点的有限简单平面图。只使用本期的 Euler／曲率预算，你能否证明 $G$ 一定可以 proper 6-color（正常六着色）？你的论证必须回答两个量词问题：

1. 为什么不只是 $G$ 本身，而且删除若干顶点后得到的每个非空子图，都有一个度数至多为 $5$ 的顶点？
2. 删除该顶点、对子图着色后，为什么总能把颜色延拓回来？

进一步思考：同一套“删除低度顶点再延拓”的机制，为什么不能直接把 $6$ 降到 $5$？缺少的究竟是更强的度数结论，还是对邻点颜色排列的额外操作？

定向提示。 可以先把一个平面嵌入补边成三角剖分以推出边数预算；真正关键的是把预算应用到所有子图，而非只应用一次。

数学地图。

$$\begin{array}{c}\text{握手引理、平面嵌入、有限求和}\\ \Downarrow \\ \text{胞腔分解与 }\chi =V-E+F\\ \Downarrow \\ \text{组合曲率 }\kappa (v)\text{ 与角亏 }\delta (v)\\ \Downarrow \\ \text{低度顶点、退化序、平面图着色}\end{array}$$

横向邻接是正多面体、离散 Laplacian、polyhedral metric（多面度量）与拓扑曲面分类；后续去向包括离散 Gauss–Bonnet、组合曲率理论、随机平面映射中的局部度数分布，以及几何处理中网格曲率的稳定逼近。

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

展开完整解答

可复用模板：逐点 layer-cake 表示 $+$ 非负 Tonelli 换序 $+$ 尾区间切分。

对每个 $x\in [0,\mathrm{\infty }]$，在 extended real（扩展实数）意义下有

$$x^p={\int }_0^{x}p{t}^{p-1}dt={\int }_0^{\mathrm{\infty }}p{t}^{p-1}{\mathbf{1}}_{\{t<x\}}dt.$$

令 $x=X(\omega )$。映射

$$(\omega ,t)⟼p{t}^{p-1}{\mathbf{1}}_{\{t<X(\omega )\}}$$

在 $(\mathrm{\Omega }\times (0,\mathrm{\infty }),\mathcal{F}\otimes \mathcal{B}((0,\mathrm{\infty })))$ 上可测且非负。非负性使 Tonelli 定理可直接使用，不必预先假定任何一边有限。因此

$$\begin{array}{rl}\mathbb{E}[X^p]& ={\int }_{\mathrm{\Omega }}{\int }_0^{\mathrm{\infty }}p{t}^{p-1}{\mathbf{1}}_{\{t<X(\omega )\}}dtd\mathbb{P}(\omega )\\ & ={\int }_0^{\mathrm{\infty }}p{t}^{p-1}({\int }_{\mathrm{\Omega }}{\mathbf{1}}_{\{X(\omega )>t\}}d\mathbb{P}(\omega ))dt\\ & =p{\int }_0^{\mathrm{\infty }}{t}^{p-1}\mathbb{P}(X>t)dt.\end{array}$$

这证明了第一问；若积分发散，Tonelli 仍保证两边同为 $+\mathrm{\infty }$。

现在假设对所有 $t\ge 1$，$\mathbb{P}(X>t)\le C{t}^{-q}$，其中 $q>p>0$。在 $t=1$ 处分割：

$$\begin{array}{rl}\mathbb{E}[X^p]& =p{\int }_0^1{t}^{p-1}\mathbb{P}(X>t)dt+p{\int }_1^{\mathrm{\infty }}{t}^{p-1}\mathbb{P}(X>t)dt\\ & \le p{\int }_0^1{t}^{p-1}dt+pC{\int }_1^{\mathrm{\infty }}{t}^{p-q-1}dt.\end{array}$$

第一项等于 $1$。因为 $q>p$，指数满足 $p-q-1<-1$，故第二个反常积分收敛，且

$${\int }_1^{\mathrm{\infty }}{t}^{p-q-1}dt=\frac{1}{q-p}.$$

因此

$$\boxed{{\displaystyle \mathbb{E}[X^p]\le 1+\frac{pC}{q-p}<\mathrm{\infty }.}}$$

所以 $X\in L^p$。这里 $q>p$ 正是这个纯幂尾上界足以推出 $p$ 阶矩有限的阈值；若只给 $q=p$，模板产生的是 ${\int }_1^{\mathrm{\infty }}{t}^{-1}dt$，无法推出有限性。

资料与来源 (Sources)

1. University of Pennsylvania, 5.3 Planar Graphs and Euler’s Formula, Math 170 course notes, last edited 2016-03-21. 用于核对连通平面图的 Euler 公式、面度数与 $\sum _f\mathrm{deg}(f)=2|E|$：https://www2.math.upenn.edu/~mlazar/math170/notes05-3.pdf
2. Oliver Knill, Differential Geometry, Math 136 — Unit 10: Discrete Gauss-Bonnet, Harvard University, Fall 2024. 明确给出三角剖分曲率 $K(v)=1-|S(v)|/6$ 及 $\sum _{v}K(v)=\chi (G)$：https://people.math.harvard.edu/~knill/teaching/math136/handouts/lecture10.pdf
3. Keenan Crane, Discrete Differential Geometry: An Applied Introduction — Lecture 10: Discrete Curvature, CMU 15-458/858B, Fall 2017. 用于角亏、离散总曲率与光滑／离散 Gauss–Bonnet 的现代几何语境：https://brickisland.net/DDGFall2017/wp-content/uploads/2017/11/CMU_DDG_Fall2017_10_DiscreteCurvature.pdf
4. William P. Thurston, “On Proof and Progress in Mathematics,” Bulletin of the American Mathematical Society 30(2), April 1994, 161–177; received 1993-10-26. Section 3 引文取自官方 AMS PDF p. 163：https://www.ams.org/journals/bull/1994-30-02/S0273-0979-1994-00502-6/S0273-0979-1994-00502-6.pdf
5. P. J. Fitzsimmons, On the Tail-sum Formula, 2018-12-06. 用于核对非负可测函数的 tail-sum / layer-cake 公式及其 Tonelli／单调收敛证明框架：https://math.ucsd.edu/~pfitz/downloads/tailsum.pdf