MathLabs

拓扑学

欧拉示性数

从多面体公式 V−E+F=2V - E + F = 2 到分类曲面、支配向量场并积分曲率的普适拓扑不变量。

直观隐藏在顶点、棱与面中的规律

拿起一颗普通的骰子——一个立方体。数一数它的尖角(顶点):V=8V = 8。数一数它的直棱(边):E=12E = 12。数一数它的平直侧面(面):F=6F = 6。现在用正负交替的符号把这三个数组合起来:8−12+6=28 - 12 + 6 = 2。接着,用一刀平切削去立方体的一个角。你会多出一个新的三角形面(FF 增加 11)、三条新棱(EE 增加 33),以及净增两个新顶点(一个旧角消失、三个新角出现,因此 VV 增加 22)。重新计算交错和:(8+2)−(12+3)+(6+1)=10−15+7=2(8+2) - (12+3) + (6+1) = 10 - 15 + 7 = 2。无论你削去多少个角,也无论把立体切割得多么不对称,只要不在它上面凿出一条贯穿的隧道,交错计数 V−E+FV - E + F 就始终停留在 22。

完整立方体的交互式三维视图;可旋转立体、切换五种柏拉图立体并分离各面,清点顶点、棱与面。
交互式柏拉图立体:在五种正多面体之间切换并展开各个面,清点顶点、棱与面的数量。

中学五种柏拉图立体与半正多面体

自古以来,几何学家就研究五种柏拉图立体——由全等正多边形面围成、且每个顶点处汇集相同数目面的凸多面体——以及阿基米德研究过的十三种半正多面体(阿基米德立体),例如截角二十面体(由五边形和六边形拼接而成的常见足球形状)。几个世纪里,数学家们测量了它们的棱长、角度和体积,却一直没有注意到它们共同遵守的一条简单算术关系。观察下表可以发现,交换 VV 与 FF 会把立方体与正八面体配成对、把正十二面体与正二十面体配成对(对偶多面体),而正四面体则与自身对偶——但每一行的最后一列都等于 V−E+F=2V - E + F = 2。

五种柏拉图立体的顶点数、棱数与面数
多面体面多边形顶点 VV棱 EE面 FFV−E+FV - E + F
正四面体正三角形44664422
立方体(正六面体)正方形8812126622
正八面体正三角形6612128822
正十二面体正五边形20203030121222
正二十面体正三角形12123030202022

大学欧拉多面体公式与平面图

定义: 多面体曲面的欧拉示性数

设曲面 SS 被剖分为有限个顶点(00-胞腔,数量为 VV)、棱(11-胞腔,数量为 EE,每条棱同胚于连接两个顶点的开区间)和面(22-胞腔,数量为 FF,每个面同胚于由闭合棱回路围成的开圆盘)。该剖分的欧拉示性数定义为交错和 χ(S)=V−E+F\chi(S) = V - E + F。拓扑学的一条基本定理指出,χ(S)\chi(S) 仅依赖于曲面 SS 本身的拓扑类型,而与如何将其剖分为胞腔无关。

对任意凸多面体——或更一般地,具有 VV 个顶点、EE 条边和 FF 个面(将无界外部区域也算作一个面)的任意有限连通平面图——其交错和恒满足 V−E+F=2V - E + F = 2。

为什么成立?

去掉凸多面体的一个面,将其余表面拉平展开到平面上,就会得到一个连通平面图:其中有界区域对应多面体其余的 F−1F - 1 个面,而无界外部区域则代表那个被去掉的面。

证明

按照柯西(1813年)的思路,将多面体投影到平面上,成为具有 VV 个顶点、EE 条边和 FF 个面(含外部面)的连通平面图。若图中含有圈,删去该圈上的一条边会把相邻的两个面合并为一个,使 EE 和 FF 同时减少 11,而 VV 保持不变,因此 V−E+FV - E + F 不变。重复这一过程直到不再有圈;最终得到的连通无圈图是一棵树,它只有 F=1F = 1 个面(即外部面)且满足 E=V−1E = V - 1。于是 V−E+F=V−(V−1)+1=2V - E + F = V - (V - 1) + 1 = 2。

例题: 由欧拉公式证明柏拉图立体只有五种

设一个凸多面体有 FF 个面,每个面都是正 pp 边形(p≥3p \ge 3),且在 VV 个顶点的每个顶点处都恰好汇集 qq 条棱(q≥3q \ge 3)。利用 V−E+F=2V - E + F = 2 证明:数对 (p,q)(p, q) 只能是 (3,3)(3,3)、(4,3)(4,3)、(3,4)(3,4)、(5,3)(5,3) 或 (3,5)(3,5)。

解答

用两种方式计算棱与面的关联次数可得 pF=2EpF = 2E(FF 个面各有 pp 条棱,每条棱邻接 22 个面),故 F=2E/pF = 2E/p。计算顶点与棱的关联次数可得 qV=2EqV = 2E(每条棱有 22 个端点),故 V=2E/qV = 2E/q。代入 V−E+F=2V - E + F = 2 得 2Eq−E+2Ep=2\frac{2E}{q} - E + \frac{2E}{p} = 2。两边同除以 2E>02E > 0,得到 1p+1q−12=1E>0\frac{1}{p} + \frac{1}{q} - \frac{1}{2} = \frac{1}{E} > 0,即 1p+1q>12\frac{1}{p} + \frac{1}{q} > \frac{1}{2}。由于 p,q≥3p, q \ge 3,不等式 1p+1q>12\frac{1}{p} + \frac{1}{q} > \frac{1}{2} 的整数解只有 (3,3)(3,3)(E=6E=6,正四面体)、(4,3)(4,3)(E=12E=12,立方体)、(3,4)(3,4)(E=12E=12,正八面体)、(5,3)(5,3)(E=30E=30,正十二面体)和 (3,5)(3,5)(E=30E=30,正二十面体)。仅凭纯粹的拓扑计数,就完全分类了欧几里得几何中的正多面体!

例题: 为什么每个富勒烯分子和网格穹顶都恰好需要12个五边形

碳分子巴克敏斯特富勒烯 C60\mathrm{C}_{60} 有 V=60V = 60 个碳原子(顶点),每个原子处恰好汇聚 33 个化学键(棱),其多面体形状的每个面都是五边形或六边形。设它有 F5F_5 个五边形面和 F6F_6 个六边形面,利用欧拉公式证明:无论 F6F_6 多大,恒有 F5=12F_5 = 12 ——这正是足球和巴克敏斯特·富勒的网格穹顶必须恰好使用12块五边形面板的同一个约束。

解答

由于 V=60V = 60 个原子中每个原子处恰好汇聚 33 个化学键,统计顶点-棱关联数得 3V=2E3V = 2E,故 E=3×60/2=90E = 3 \times 60 / 2 = 90。面的总数为 F=F5+F6F = F_5 + F_6,统计棱-面关联数(每个五边形贡献5条棱,每个六边形贡献6条棱,每条棱属于2个面)得 5F5+6F6=2E=1805F_5 + 6F_6 = 2E = 180。

欧拉公式 V−E+F=2V - E + F = 2 变为 60−90+(F5+F6)=260 - 90 + (F_5+F_6) = 2,即 F5+F6=32F_5+F_6 = 32。从 F5+F6=32F_5+F_6 = 32 适当地减去 5F5+6F6=2E=1805F_5 + 6F_6 = 2E = 180:6(F5+F6)−(5F5+6F6)=6×32−180=126(F_5+F_6) - (5F_5+6F_6) = 6 \times 32 - 180 = 12,故 F5=12F_5 = 12。六边形数 F6F_6 完全自由(C60\mathrm{C}_{60} 本身就有20个六边形),但五边形数却仅由拓扑就被严格锁定——这正是化学家、建筑师乃至足球设计师最终总是恰好使用12块五边形面板的原因。

大学孔洞、亏格与闭曲面分类

当曲面带有孔洞(把手)时会发生什么?取一张正方形纸片,将对边粘合来构造环面 T2T^2:左、右两边粘合成圆柱面,上、下两边再粘合就把圆柱面弯成了甜甜圈。原本的正方形有 44 个角、44 条边和 11 个面,但粘合之后,44 个角汇合成同一个顶点(V=1V = 1),44 条边两两配对成 22 条闭合回路(E=2E = 2),内部保持为 11 个面(F=1F = 1)。因此 χ(T2)=1−2+1=0\chi(T^2) = 1 - 2 + 1 = 0!更一般地,每加装一个把手(即与一个环面作连通和),都要挖去两个圆盘(使 FF 减少 22),再将它们的圆形边界沿一条含 kk 个顶点和 kk 条棱的回路粘合起来(这在 V−EV - E 中恰好抵消)。因此每个把手都会使 χ\chi 减少 22,从而亏格为 gg 的可定向闭曲面满足 χ(Σg)=2−2g\chi(\Sigma_g) = 2 - 2g。

χ(Σg)=2−2g,χ(Nk)=2−k\chi(\Sigma_g) = 2 - 2g, \qquad \chi(N_k) = 2 - k

任意无边界的紧连通曲面,必同胚于亏格 g≥0g \ge 0 的可定向曲面 Σg\Sigma_g(其 χ(Σg)=2−2g\chi(\Sigma_g) = 2 - 2g),或由 k≥1k \ge 1 个射影平面 RP2\mathbb{RP}^2 作连通和得到的不可定向曲面 NkN_k(其 χ(Nk)=2−k\chi(N_k) = 2 - k)。两个闭曲面同胚,当且仅当它们具有相同的可定向性且具有相同的欧拉示性数。

为什么成立?

这一定理使欧拉示性数(配合可定向性)成为闭二维流形完整的“拓扑指纹”:要想判断一个复杂的多边形粘合方案生成了什么曲面,只需计算 V−E+FV - E + F 并检查粘合是否反转定向即可!

证明

将紧连通曲面 SS 三角剖分为有限个三角形并逐边粘合;沿其对偶图的一棵生成树将已剖分的曲面剪开,得到一个单一的多边形 PP,它有 2n2n 条带方向的边界棱,被两两归并成 nn 对被等同的棱。反复"拉合拉链"形如 aa−1a a^{-1} 的相邻一对(这种折叠对曲面本身没有影响),并在两条同标号的棱被分开时沿对角线剪贴,就能把 PP 化为两种标准型之一:可定向的词 a1b1a1−1b1−1⋯agbgag−1bg−1a_1 b_1 a_1^{-1} b_1^{-1} \cdots a_g b_g a_g^{-1} b_g^{-1},对应亏格为 gg 的曲面 Σg\Sigma_g;或者,若出现反向的一对,则得到不可定向的词 c1c1⋯ckckc_1 c_1 \cdots c_k c_k,对应 kk 个射影平面的连通和 NkN_k。

在可定向标准型中,多边形的全部 4g4g 个角都被粘合到同一点,故 V=1V = 1;4g4g 条边界棱两两配对成 E=2gE = 2g;多边形内部仍是一个面,F=1F = 1。于是 χ(Σg)=V−E+F=1−2g+1=2−2g\chi(\Sigma_g) = V - E + F = 1 - 2g + 1 = 2 - 2g。在不可定向标准型中,2k2k 个角同样汇合于一个顶点(V=1V = 1),2k2k 条棱配对成 E=kE = k,且仍有 F=1F = 1,故 χ(Nk)=1−k+1=2−k\chi(N_k) = 1 - k + 1 = 2 - k。由于 g↦2−2gg \mapsto 2 - 2g 与 k↦2−kk \mapsto 2 - k 在非负整数上都是严格单调的,因而都是单射;所以只要知道 SS 是否可定向及其欧拉示性数 χ(S)\chi(S),就能唯一确定 gg 或 kk,从而完全确定 SS 的同胚类型。

进阶曲率、向量场与高维推广

在欧拉之前一个多世纪,勒内·笛卡尔就发现了欧拉公式的一个几何孪生形式。在多面体的任意顶点 vv 处,汇集于 vv 的各个面角之和小于一整周 2π2\pi(当该角凸出时);差额 δv=2π−∑iθv,i\delta_v = 2\pi - \sum_{i} \theta_{v,i} 称为顶点 vv 处的角亏。对于立方体,88 个顶点处各有三个直角相交,故 δv=2π−3(π/2)=π/2\delta_v = 2\pi - 3(\pi/2) = \pi/2,所有 88 个顶点的总角亏为 8×(π/2)=4π=2πχ(S2)8 \times (\pi/2) = 4\pi = 2\pi \chi(S^2)。利用 V−E+F=χV - E + F = \chi 不难证明笛卡尔总角亏定理:对任意多面体曲面都有 ∑vδv=2πχ\sum_{v} \delta_v = 2\pi \chi!当我们从曲率集中在顶点的多面体过渡到具有高斯曲率 KK 的光滑黎曼曲面 (M,g)(M, g) 时,离散的角亏之和就变成了积分,从而导出数学中最深刻的定理之一。

对任意无边界的紧致可定向光滑黎曼曲面 MM,高斯曲率 KK 关于面积元 dAdA 的积分满足 ∫MK dA=2π χ(M)\int_M K\,dA = 2\pi\,\chi(M)。

为什么成立?

左端 ∫MK dA\int_M K\,dA 是纯粹的微分几何量(当你把曲面按瘪或拉伸时,它会随点而变),而右端 2π χ(M)2\pi\,\chi(M) 则是离散的拓扑整数乘以 2π2\pi。如果你把球面按出一个凹坑,正曲率区域的增加必然伴随着新的负曲率马鞍区域的出现并精确抵消,使总积分严格锁定在 4π4\pi;而在环面(χ=0\chi = 0)上,外侧的正曲率与内侧的负曲率总是完全抵消为 00。

证明

选取闭可定向曲面 MM 的一个光滑测地三角剖分,含 VV 个顶点、EE 条棱和 FF 个三角形面 T1,…,TFT_1, \dots, T_F,剖分足够细,使每个三角形都落在单个坐标卡内。对小三角形边界上的位置向量应用格林定理,得到局部高斯–博内恒等式:对每个内角为 αf,1,αf,2,αf,3\alpha_{f,1}, \alpha_{f,2}, \alpha_{f,3}、沿边界 ∂Tf\partial T_f 测地曲率为 κg\kappa_g 的面 TfT_f,有 ∬TfK dA+∫∂Tfκg ds=(αf,1+αf,2+αf,3)−π\displaystyle\iint_{T_f} K\,dA + \int_{\partial T_f} \kappa_g\,ds = (\alpha_{f,1}+\alpha_{f,2}+\alpha_{f,3}) - \pi。

将此恒等式对全部 FF 个三角形求和,沿每条内部棱的测地曲率线积分恰好被计算两次——分别来自相邻的两个三角形且方向相反——因此这些边界项完全抵消,得到 ∬MK dA=∑f=1F(αf,1+αf,2+αf,3)−Fπ\displaystyle\iint_M K\,dA = \sum_{f=1}^F (\alpha_{f,1}+\alpha_{f,2}+\alpha_{f,3}) - F\pi。围绕 VV 个顶点中每一点的角度之和为整整一周,故全部内角之和等于 2πV2\pi V。又因每个三角形有 33 条边,每条棱恰好属于 22 个三角形,故 3F=2E3F = 2E,即 Fπ=(2E−2F)πF\pi = (2E - 2F)\pi。将这两个事实代入求和后的恒等式即得 ∬MK dA=2πV−2πE+2πF=2π(V−E+F)=2π χ(M)\displaystyle\iint_M K\,dA = 2\pi V - 2\pi E + 2\pi F = 2\pi(V-E+F) = 2\pi\,\chi(M)。

由庞加莱–霍普夫定理,对于闭光滑流形 MM 上具有孤立零点的任意光滑切向量场 vv,其在各零点处的局部绕数指标之和等于欧拉示性数:∑v(p)=0ind⁡p(v)=χ(M)\sum_{v(p)=0} \operatorname{ind}_p(v) = \chi(M)。特别地,由于 χ(S2)=2≠0\chi(S^2) = 2 \neq 0,球面 S2S^2 上的任何连续切向量场都至少在一点处为零。

为什么成立?

这解释了为什么地球(S2S^2,χ=2\chi = 2)上的连续风场在任意时刻都必定至少存在一个无风中心(如总指标为 22 的气旋或反气旋风眼),而环面(T2T^2,χ=0\chi = 0)却可以由沿经线方向流动的处处非零向量场把“毛”完全梳平!

证明

为证明庞加莱–霍普夫指标公式 ∑v(p)=0ind⁡p(v)=χ(M)\sum_{v(p)=0} \operatorname{ind}_p(v) = \chi(M),将 vv 替换为与之同伦的向量场,该场由 MM 的一个精细三角剖分上的莫尔斯函数构造而成:在 VV 个顶点处各放一个指标为 +1+1 的源点,在 EE 条棱的中点处各放一个指标为 −1-1 的鞍点,在 FF 个面的中心处各放一个指标为 +1+1 的汇点。由于向量场限制在每个零点周围小圆盘边界上的指标是同伦不变量,而 vv 可以连续形变为这一标准胞腔场且不会在已计入的圆盘之外产生新的零点,故 vv 的指标之和等于该标准场的指标之和。

将标准指标相加得 V(+1)+E(−1)+F(+1)=V−E+F=χ(M)V(+1) + E(-1) + F(+1) = V - E + F = \chi(M),所以对任意闭曲面 MM 都有 ∑v(p)=0ind⁡p(v)=χ(M)\sum_{v(p)=0} \operatorname{ind}_p(v) = \chi(M)。特殊到球面情形,χ(S2)=2≠0\chi(S^2) = 2 \neq 0。若 S2S^2 上某个连续切向量场处处非零,指标公式左端就会是空和 00,与 χ(S2)=2\chi(S^2) = 2 矛盾。因此 S2S^2 上任何连续切向量场都必须在某点 p∈S2p \in S^2 处为零——毛球不可能被梳理得处处平顺而不留旋涡。

在四维坐标平面内旋转的四维超立方体(tesseract)的三维透视投影,展示了一个内立方体与一个外立方体顶点对顶点相连,构成16个顶点、32条棱、24个正方形面和8个三维立方体胞腔。
投影到三维空间的四维超立方体(tesseract):清点它的16个顶点、32条棱、24个正方形面和8个立方体胞腔。

欧拉示性数如何推广到 nn 维空间?1852年,路德维希·施莱夫利证明:对于任意 nn 维凸多胞形,其边界 (n−1)(n-1) 维球面 Sn−1S^{n-1} 上 kk 维面(0≤k≤n−10 \le k \le n-1)的数量 ckc_k 的交错和满足 χ(Sn−1)=∑k=0n−1(−1)kck=1+(−1)n−1\chi(S^{n-1}) = \sum_{k=0}^{n-1} (-1)^k c_k = 1 + (-1)^{n-1}。因此偶数维球面(S2,S4,…S^2, S^4, \dots)满足 χ=2\chi = 2,而奇数维球面(S1,S3,…S^1, S^3, \dots)满足 χ=0\chi = 0!你可以在 44 维超立方体([−1,1]4[-1,1]^4,其边界在拓扑上同胚于 S3S^3)的边界上直接验证:它有 c0=16c_0 = 16 个顶点、c1=32c_1 = 32 条棱、c2=24c_2 = 24 个正方形面和 c3=8c_3 = 8 个立方体 33-胞腔,交错和为 16−32+24−8=0=χ(S3)16 - 32 + 24 - 8 = 0 = \chi(S^3)。

1895年,亨利·庞加莱找到了这一交错和为何在同胚下保持不变的最深刻解释。对于任意拓扑空间 XX(例如有限CW复形),代数拓扑为其赋予一列阿贝尔同调群 Hk(X)H_k(X),它们的秩 bk=rank⁡Hk(X)b_k = \operatorname{rank} H_k(X)(即贝蒂数)度量了相互独立的 kk 维孔洞个数。对边界算子 ∂k:Ck→Ck−1\partial_k : C_k \to C_{k-1} 应用线性代数的秩–零化度定理,胞腔数 ckc_k 的交错和就等于贝蒂数的交错和——这就是欧拉–庞加莱公式:

χ(X)=∑k≥0(−1)kck=∑k≥0(−1)krank⁡Hk(X)=b0−b1+b2−b3+⋯\chi(X) = \sum_{k \ge 0} (-1)^k c_k = \sum_{k \ge 0} (-1)^k \operatorname{rank} H_k(X) = b_0 - b_1 + b_2 - b_3 + \cdots

研究拓扑数据分析与欧拉示性数变换

一个凸多面体有 F=20F = 20 个三角形面和 E=30E = 30 条棱(正二十面体)。它有多少个顶点 VV?

亏格 g=3g = 3 的可定向闭曲面(带三个把手的球面)的欧拉示性数 χ(Σ3)\chi(\Sigma_3) 是多少?

下列哪个可定向闭曲面上存在处处非零的连续切向量场?

将一个半径为 11 的光滑球面 S2S^2 在不撕裂、不粘合的前提下光滑地按压拉伸成一个凹凸不平的花生形曲面 MM。它的总高斯曲率 ∫MK dA\int_M K\,dA 是多少?

参考文献

  1. David S. Richeson (2008). Euler's Gem: The Polyhedron Formula and the Birth of Topology
  2. Allen Hatcher (2002). Algebraic Topology
  3. Katharine Turner, Sayan Mukherjee, Doug M. Boyer (2014). Persistent Homology Transform for Modeling Shapes and Surfaces · DOI:10.1093/imaiai/iau011
  4. Olympio Hacquard, Vadim Lebovici (2024). Euler Characteristic Tools for Topological Data Analysis