← 返回 资料库 › 拓扑学 › 代数拓扑 拓扑学
欧拉示性数 从多面体公式 V − E + F = 2 V - E + F = 2 V − E + F = 2 到分类曲面、支配向量场并积分曲率的普适拓扑不变量。
直观 隐藏在顶点、棱与面中的规律 拿起一颗普通的骰子——一个立方体。数一数它的尖角(顶点):V = 8 V = 8 V = 8 。数一数它的直棱(边):E = 12 E = 12 E = 12 。数一数它的平直侧面(面):F = 6 F = 6 F = 6 。现在用正负交替的符号把这三个数组合起来:8 − 12 + 6 = 2 8 - 12 + 6 = 2 8 − 12 + 6 = 2 。接着,用一刀平切削去立方体的一个角。你会多出一个新的三角形面(F F F 增加 1 1 1 )、三条新棱(E E E 增加 3 3 3 ),以及净增两个新顶点(一个旧角消失、三个新角出现,因此 V V V 增加 2 2 2 )。重新计算交错和:( 8 + 2 ) − ( 12 + 3 ) + ( 6 + 1 ) = 10 − 15 + 7 = 2 (8+2) - (12+3) + (6+1) = 10 - 15 + 7 = 2 ( 8 + 2 ) − ( 12 + 3 ) + ( 6 + 1 ) = 10 − 15 + 7 = 2 。无论你削去多少个角,也无论把立体切割得多么不对称,只要不在它上面凿出一条贯穿的隧道,交错计数 V − E + F V - E + F V − E + F 就始终停留在 2 2 2 。
交互式柏拉图立体:在五种正多面体之间切换并展开各个面,清点顶点、棱与面的数量。 中学 五种柏拉图立体与半正多面体 自古以来,几何学家就研究五种柏拉图立体 ——由全等正多边形面围成、且每个顶点处汇集相同数目面的凸多面体——以及阿基米德研究过的十三种半正多面体(阿基米德立体 ),例如截角二十面体(由五边形和六边形拼接而成的常见足球形状)。几个世纪里,数学家们测量了它们的棱长、角度和体积,却一直没有注意到它们共同遵守的一条简单算术关系。观察下表可以发现,交换 V V V 与 F F F 会把立方体与正八面体配成对、把正十二面体与正二十面体配成对(对偶多面体 ),而正四面体则与自身对偶——但每一行的最后一列都等于 V − E + F = 2 V - E + F = 2 V − E + F = 2 。
五种柏拉图立体的顶点数、棱数与面数 多面体 面多边形 顶点 V V V 棱 E E E 面 F F F V − E + F V - E + F V − E + F 正四面体 正三角形 4 4 4 6 6 6 4 4 4 2 2 2 立方体(正六面体) 正方形 8 8 8 12 12 12 6 6 6 2 2 2 正八面体 正三角形 6 6 6 12 12 12 8 8 8 2 2 2 正十二面体 正五边形 20 20 20 30 30 30 12 12 12 2 2 2 正二十面体 正三角形 12 12 12 30 30 30 20 20 20 2 2 2
大学 欧拉多面体公式与平面图 定义: 多面体曲面的欧拉示性数
设曲面 S S S 被剖分为有限个顶点(0 0 0 -胞腔,数量为 V V V )、棱(1 1 1 -胞腔,数量为 E E E ,每条棱同胚于连接两个顶点的开区间)和面(2 2 2 -胞腔,数量为 F F F ,每个面同胚于由闭合棱回路围成的开圆盘)。该剖分的欧拉示性数 定义为交错和 χ ( S ) = V − E + F \chi(S) = V - E + F χ ( S ) = V − E + F 。拓扑学的一条基本定理指出,χ ( S ) \chi(S) χ ( S ) 仅依赖于曲面 S S S 本身的拓扑类型,而与如何将其剖分为胞腔无关。
对任意凸多面体——或更一般地,具有 V V V 个顶点、E E E 条边和 F F F 个面(将无界外部区域也算作一个面)的任意有限连通平面图——其交错和恒满足 V − E + F = 2 V - E + F = 2 V − E + F = 2 。
为什么成立? 去掉凸多面体的一个面,将其余表面拉平展开到平面上,就会得到一个连通平面图:其中有界区域对应多面体其余的 F − 1 F - 1 F − 1 个面,而无界外部区域则代表那个被去掉的面。
证明 按照柯西(1813年)的思路,将多面体投影到平面上,成为具有 V V V 个顶点、E E E 条边和 F F F 个面(含外部面)的连通平面图。若图中含有圈,删去该圈上的一条边会把相邻的两个面合并为一个,使 E E E 和 F F F 同时减少 1 1 1 ,而 V V V 保持不变,因此 V − E + F V - E + F V − E + F 不变。重复这一过程直到不再有圈;最终得到的连通无圈图是一棵树,它只有 F = 1 F = 1 F = 1 个面(即外部面)且满足 E = V − 1 E = V - 1 E = V − 1 。于是 V − E + F = V − ( V − 1 ) + 1 = 2 V - E + F = V - (V - 1) + 1 = 2 V − E + F = V − ( V − 1 ) + 1 = 2 。
例题: 由欧拉公式证明柏拉图立体只有五种
设一个凸多面体有 F F F 个面,每个面都是正 p p p 边形(p ≥ 3 p \ge 3 p ≥ 3 ),且在 V V V 个顶点的每个顶点处都恰好汇集 q q q 条棱(q ≥ 3 q \ge 3 q ≥ 3 )。利用 V − E + F = 2 V - E + F = 2 V − E + F = 2 证明:数对 ( p , q ) (p, q) ( p , q ) 只能是 ( 3 , 3 ) (3,3) ( 3 , 3 ) 、( 4 , 3 ) (4,3) ( 4 , 3 ) 、( 3 , 4 ) (3,4) ( 3 , 4 ) 、( 5 , 3 ) (5,3) ( 5 , 3 ) 或 ( 3 , 5 ) (3,5) ( 3 , 5 ) 。
解答 用两种方式计算棱与面的关联次数可得 p F = 2 E pF = 2E pF = 2 E (F F F 个面各有 p p p 条棱,每条棱邻接 2 2 2 个面),故 F = 2 E / p F = 2E/p F = 2 E / p 。计算顶点与棱的关联次数可得 q V = 2 E qV = 2E q V = 2 E (每条棱有 2 2 2 个端点),故 V = 2 E / q V = 2E/q V = 2 E / q 。代入 V − E + F = 2 V - E + F = 2 V − E + F = 2 得 2 E q − E + 2 E p = 2 \frac{2E}{q} - E + \frac{2E}{p} = 2 q 2 E − E + p 2 E = 2 。两边同除以 2 E > 0 2E > 0 2 E > 0 ,得到 1 p + 1 q − 1 2 = 1 E > 0 \frac{1}{p} + \frac{1}{q} - \frac{1}{2} = \frac{1}{E} > 0 p 1 + q 1 − 2 1 = E 1 > 0 ,即 1 p + 1 q > 1 2 \frac{1}{p} + \frac{1}{q} > \frac{1}{2} p 1 + q 1 > 2 1 。由于 p , q ≥ 3 p, q \ge 3 p , q ≥ 3 ,不等式 1 p + 1 q > 1 2 \frac{1}{p} + \frac{1}{q} > \frac{1}{2} p 1 + q 1 > 2 1 的整数解只有 ( 3 , 3 ) (3,3) ( 3 , 3 ) (E = 6 E=6 E = 6 ,正四面体)、( 4 , 3 ) (4,3) ( 4 , 3 ) (E = 12 E=12 E = 12 ,立方体)、( 3 , 4 ) (3,4) ( 3 , 4 ) (E = 12 E=12 E = 12 ,正八面体)、( 5 , 3 ) (5,3) ( 5 , 3 ) (E = 30 E=30 E = 30 ,正十二面体)和 ( 3 , 5 ) (3,5) ( 3 , 5 ) (E = 30 E=30 E = 30 ,正二十面体)。仅凭纯粹的拓扑计数,就完全分类了欧几里得几何中的正多面体!
例题: 为什么每个富勒烯分子和网格穹顶都恰好需要12个五边形
碳分子巴克敏斯特富勒烯 C 60 \mathrm{C}_{60} C 60 有 V = 60 V = 60 V = 60 个碳原子(顶点),每个原子处恰好汇聚 3 3 3 个化学键(棱),其多面体形状的每个面都是五边形或六边形。设它有 F 5 F_5 F 5 个五边形面和 F 6 F_6 F 6 个六边形面,利用欧拉公式证明:无论 F 6 F_6 F 6 多大,恒有 F 5 = 12 F_5 = 12 F 5 = 12 ——这正是足球和巴克敏斯特·富勒的网格穹顶必须恰好使用12块五边形面板的同一个约束。
解答 由于 V = 60 V = 60 V = 60 个原子中每个原子处恰好汇聚 3 3 3 个化学键,统计顶点-棱关联数得 3 V = 2 E 3V = 2E 3 V = 2 E ,故 E = 3 × 60 / 2 = 90 E = 3 \times 60 / 2 = 90 E = 3 × 60/2 = 90 。面的总数为 F = F 5 + F 6 F = F_5 + F_6 F = F 5 + F 6 ,统计棱-面关联数(每个五边形贡献5条棱,每个六边形贡献6条棱,每条棱属于2个面)得 5 F 5 + 6 F 6 = 2 E = 180 5F_5 + 6F_6 = 2E = 180 5 F 5 + 6 F 6 = 2 E = 180 。
欧拉公式 V − E + F = 2 V - E + F = 2 V − E + F = 2 变为 60 − 90 + ( F 5 + F 6 ) = 2 60 - 90 + (F_5+F_6) = 2 60 − 90 + ( F 5 + F 6 ) = 2 ,即 F 5 + F 6 = 32 F_5+F_6 = 32 F 5 + F 6 = 32 。从 F 5 + F 6 = 32 F_5+F_6 = 32 F 5 + F 6 = 32 适当地减去 5 F 5 + 6 F 6 = 2 E = 180 5F_5 + 6F_6 = 2E = 180 5 F 5 + 6 F 6 = 2 E = 180 :6 ( F 5 + F 6 ) − ( 5 F 5 + 6 F 6 ) = 6 × 32 − 180 = 12 6(F_5+F_6) - (5F_5+6F_6) = 6 \times 32 - 180 = 12 6 ( F 5 + F 6 ) − ( 5 F 5 + 6 F 6 ) = 6 × 32 − 180 = 12 ,故 F 5 = 12 F_5 = 12 F 5 = 12 。六边形数 F 6 F_6 F 6 完全自由(C 60 \mathrm{C}_{60} C 60 本身就有20个六边形),但五边形数却仅由拓扑就被严格锁定——这正是化学家、建筑师乃至足球设计师最终总是恰好使用12块五边形面板的原因。
常见错误. **应用 V − E + F = 2 V - E + F = 2 V − E + F = 2 时常见的三个误区:** (1) 对具有 F 0 F_0 F 0 个有界面的平面图使用公式时,若忘记把无界外部区域算作一个面,得到的是 V − E + F 0 = 1 V - E + F_0 = 1 V − E + F 0 = 1 而不是 2 2 2 。(2) 合法胞腔剖分中的每个面都必须同胚于圆盘(不能出现中间带洞的环形面,例如在大立方体某面中央粘一个小立方体,却不添加连接内外正方形的棱)。(3) 多面体表面本身必须在拓扑上同胚于球面——中间穿孔的相框形多面体满足 χ = 0 \chi = 0 χ = 0 ,而非 2 2 2 。 大学 孔洞、亏格与闭曲面分类 当曲面带有孔洞(把手)时会发生什么?取一张正方形纸片,将对边粘合来构造环面 T 2 T^2 T 2 :左、右两边粘合成圆柱面,上、下两边再粘合就把圆柱面弯成了甜甜圈。原本的正方形有 4 4 4 个角、4 4 4 条边和 1 1 1 个面,但粘合之后,4 4 4 个角汇合成同一个顶点(V = 1 V = 1 V = 1 ),4 4 4 条边两两配对成 2 2 2 条闭合回路(E = 2 E = 2 E = 2 ),内部保持为 1 1 1 个面(F = 1 F = 1 F = 1 )。因此 χ ( T 2 ) = 1 − 2 + 1 = 0 \chi(T^2) = 1 - 2 + 1 = 0 χ ( T 2 ) = 1 − 2 + 1 = 0 !更一般地,每加装一个把手(即与一个环面作连通和),都要挖去两个圆盘(使 F F F 减少 2 2 2 ),再将它们的圆形边界沿一条含 k k k 个顶点和 k k k 条棱的回路粘合起来(这在 V − E V - E V − E 中恰好抵消)。因此每个把手都会使 χ \chi χ 减少 2 2 2 ,从而亏格 为 g g g 的可定向闭曲面满足 χ ( Σ g ) = 2 − 2 g \chi(\Sigma_g) = 2 - 2g χ ( Σ g ) = 2 − 2 g 。
χ ( Σ g ) = 2 − 2 g , χ ( N k ) = 2 − k \chi(\Sigma_g) = 2 - 2g, \qquad \chi(N_k) = 2 - k χ ( Σ g ) = 2 − 2 g , χ ( N k ) = 2 − k 任意无边界的紧连通曲面,必同胚于亏格 g ≥ 0 g \ge 0 g ≥ 0 的可定向曲面 Σ g \Sigma_g Σ g (其 χ ( Σ g ) = 2 − 2 g \chi(\Sigma_g) = 2 - 2g χ ( Σ g ) = 2 − 2 g ),或由 k ≥ 1 k \ge 1 k ≥ 1 个射影平面 R P 2 \mathbb{RP}^2 RP 2 作连通和得到的不可定向曲面 N k N_k N k (其 χ ( N k ) = 2 − k \chi(N_k) = 2 - k χ ( N k ) = 2 − k )。两个闭曲面同胚,当且仅当它们具有相同的可定向性且具有相同的欧拉示性数。
为什么成立? 这一定理使欧拉示性数(配合可定向性)成为闭二维流形完整的“拓扑指纹”:要想判断一个复杂的多边形粘合方案生成了什么曲面,只需计算 V − E + F V - E + F V − E + F 并检查粘合是否反转定向即可!
证明 将紧连通曲面 S S S 三角剖分为有限个三角形并逐边粘合;沿其对偶图的一棵生成树将已剖分的曲面剪开,得到一个单一的多边形 P P P ,它有 2 n 2n 2 n 条带方向的边界棱,被两两归并成 n n n 对被等同的棱。反复"拉合拉链"形如 a a − 1 a a^{-1} a a − 1 的相邻一对(这种折叠对曲面本身没有影响),并在两条同标号的棱被分开时沿对角线剪贴,就能把 P P P 化为两种标准型之一:可定向的词 a 1 b 1 a 1 − 1 b 1 − 1 ⋯ a g b g a g − 1 b g − 1 a_1 b_1 a_1^{-1} b_1^{-1} \cdots a_g b_g a_g^{-1} b_g^{-1} a 1 b 1 a 1 − 1 b 1 − 1 ⋯ a g b g a g − 1 b g − 1 ,对应亏格为 g g g 的曲面 Σ g \Sigma_g Σ g ;或者,若出现反向的一对,则得到不可定向的词 c 1 c 1 ⋯ c k c k c_1 c_1 \cdots c_k c_k c 1 c 1 ⋯ c k c k ,对应 k k k 个射影平面的连通和 N k N_k N k 。
在可定向标准型中,多边形的全部 4 g 4g 4 g 个角都被粘合到同一点,故 V = 1 V = 1 V = 1 ;4 g 4g 4 g 条边界棱两两配对成 E = 2 g E = 2g E = 2 g ;多边形内部仍是一个面,F = 1 F = 1 F = 1 。于是 χ ( Σ g ) = V − E + F = 1 − 2 g + 1 = 2 − 2 g \chi(\Sigma_g) = V - E + F = 1 - 2g + 1 = 2 - 2g χ ( Σ g ) = V − E + F = 1 − 2 g + 1 = 2 − 2 g 。在不可定向标准型中,2 k 2k 2 k 个角同样汇合于一个顶点(V = 1 V = 1 V = 1 ),2 k 2k 2 k 条棱配对成 E = k E = k E = k ,且仍有 F = 1 F = 1 F = 1 ,故 χ ( N k ) = 1 − k + 1 = 2 − k \chi(N_k) = 1 - k + 1 = 2 - k χ ( N k ) = 1 − k + 1 = 2 − k 。由于 g ↦ 2 − 2 g g \mapsto 2 - 2g g ↦ 2 − 2 g 与 k ↦ 2 − k k \mapsto 2 - k k ↦ 2 − k 在非负整数上都是严格单调的,因而都是单射;所以只要知道 S S S 是否可定向及其欧拉示性数 χ ( S ) \chi(S) χ ( S ) ,就能唯一确定 g g g 或 k k k ,从而完全确定 S S S 的同胚类型。
进阶 曲率、向量场与高维推广 在欧拉之前一个多世纪,勒内·笛卡尔就发现了欧拉公式的一个几何孪生形式。在多面体的任意顶点 v v v 处,汇集于 v v v 的各个面角之和小于一整周 2 π 2\pi 2 π (当该角凸出时);差额 δ v = 2 π − ∑ i θ v , i \delta_v = 2\pi - \sum_{i} \theta_{v,i} δ v = 2 π − ∑ i θ v , i 称为顶点 v v v 处的角亏 。对于立方体,8 8 8 个顶点处各有三个直角相交,故 δ v = 2 π − 3 ( π / 2 ) = π / 2 \delta_v = 2\pi - 3(\pi/2) = \pi/2 δ v = 2 π − 3 ( π /2 ) = π /2 ,所有 8 8 8 个顶点的总角亏为 8 × ( π / 2 ) = 4 π = 2 π χ ( S 2 ) 8 \times (\pi/2) = 4\pi = 2\pi \chi(S^2) 8 × ( π /2 ) = 4 π = 2 π χ ( S 2 ) 。利用 V − E + F = χ V - E + F = \chi V − E + F = χ 不难证明笛卡尔总角亏定理 :对任意多面体曲面都有 ∑ v δ v = 2 π χ \sum_{v} \delta_v = 2\pi \chi ∑ v δ v = 2 π χ !当我们从曲率集中在顶点的多面体过渡到具有高斯曲率 K K K 的光滑黎曼曲面 ( M , g ) (M, g) ( M , g ) 时,离散的角亏之和就变成了积分,从而导出数学中最深刻的定理之一。
对任意无边界的紧致可定向光滑黎曼曲面 M M M ,高斯曲率 K K K 关于面积元 d A dA d A 的积分满足 ∫ M K d A = 2 π χ ( M ) \int_M K\,dA = 2\pi\,\chi(M) ∫ M K d A = 2 π χ ( M ) 。
为什么成立? 左端 ∫ M K d A \int_M K\,dA ∫ M K d A 是纯粹的微分几何量(当你把曲面按瘪或拉伸时,它会随点而变),而右端 2 π χ ( M ) 2\pi\,\chi(M) 2 π χ ( M ) 则是离散的拓扑整数乘以 2 π 2\pi 2 π 。如果你把球面按出一个凹坑,正曲率区域的增加必然伴随着新的负曲率马鞍区域的出现并精确抵消,使总积分严格锁定在 4 π 4\pi 4 π ;而在环面(χ = 0 \chi = 0 χ = 0 )上,外侧的正曲率与内侧的负曲率总是完全抵消为 0 0 0 。
证明 选取闭可定向曲面 M M M 的一个光滑测地三角剖分,含 V V V 个顶点、E E E 条棱和 F F F 个三角形面 T 1 , … , T F T_1, \dots, T_F T 1 , … , T F ,剖分足够细,使每个三角形都落在单个坐标卡内。对小三角形边界上的位置向量应用格林定理,得到局部高斯–博内恒等式:对每个内角为 α f , 1 , α f , 2 , α f , 3 \alpha_{f,1}, \alpha_{f,2}, \alpha_{f,3} α f , 1 , α f , 2 , α f , 3 、沿边界 ∂ T f \partial T_f ∂ T f 测地曲率为 κ g \kappa_g κ g 的面 T f T_f T f ,有 ∬ T f K d A + ∫ ∂ T f κ g d s = ( α 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 ∬ T f K d A + ∫ ∂ T f κ g d s = ( α f , 1 + α f , 2 + α f , 3 ) − π 。
将此恒等式对全部 F F F 个三角形求和,沿每条内部棱的测地曲率线积分恰好被计算两次——分别来自相邻的两个三角形且方向相反——因此这些边界项完全抵消,得到 ∬ M K d A = ∑ f = 1 F ( α 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 ∬ M K d A = f = 1 ∑ F ( α f , 1 + α f , 2 + α f , 3 ) − F π 。围绕 V V V 个顶点中每一点的角度之和为整整一周,故全部内角之和等于 2 π V 2\pi V 2 π V 。又因每个三角形有 3 3 3 条边,每条棱恰好属于 2 2 2 个三角形,故 3 F = 2 E 3F = 2E 3 F = 2 E ,即 F π = ( 2 E − 2 F ) π F\pi = (2E - 2F)\pi F π = ( 2 E − 2 F ) π 。将这两个事实代入求和后的恒等式即得 ∬ M K d A = 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) ∬ M K d A = 2 π V − 2 π E + 2 π F = 2 π ( V − E + F ) = 2 π χ ( M ) 。
由庞加莱–霍普夫定理,对于闭光滑流形 M M M 上具有孤立零点的任意光滑切向量场 v v v ,其在各零点处的局部绕数指标之和等于欧拉示性数:∑ v ( p ) = 0 ind p ( v ) = χ ( M ) \sum_{v(p)=0} \operatorname{ind}_p(v) = \chi(M) ∑ v ( p ) = 0 ind p ( v ) = χ ( M ) 。特别地,由于 χ ( S 2 ) = 2 ≠ 0 \chi(S^2) = 2 \neq 0 χ ( S 2 ) = 2 = 0 ,球面 S 2 S^2 S 2 上的任何连续切向量场都至少在一点处为零。
为什么成立? 这解释了为什么地球(S 2 S^2 S 2 ,χ = 2 \chi = 2 χ = 2 )上的连续风场在任意时刻都必定至少存在一个无风中心(如总指标为 2 2 2 的气旋或反气旋风眼),而环面(T 2 T^2 T 2 ,χ = 0 \chi = 0 χ = 0 )却可以由沿经线方向流动的处处非零向量场把“毛”完全梳平!
证明 为证明庞加莱–霍普夫指标公式 ∑ v ( p ) = 0 ind p ( v ) = χ ( M ) \sum_{v(p)=0} \operatorname{ind}_p(v) = \chi(M) ∑ v ( p ) = 0 ind p ( v ) = χ ( M ) ,将 v v v 替换为与之同伦的向量场,该场由 M M M 的一个精细三角剖分上的莫尔斯函数构造而成:在 V V V 个顶点处各放一个指标为 + 1 +1 + 1 的源点,在 E E E 条棱的中点处各放一个指标为 − 1 -1 − 1 的鞍点,在 F F F 个面的中心处各放一个指标为 + 1 +1 + 1 的汇点。由于向量场限制在每个零点周围小圆盘边界上的指标是同伦不变量,而 v v v 可以连续形变为这一标准胞腔场且不会在已计入的圆盘之外产生新的零点,故 v v v 的指标之和等于该标准场的指标之和。
将标准指标相加得 V ( + 1 ) + E ( − 1 ) + F ( + 1 ) = V − E + F = χ ( M ) V(+1) + E(-1) + F(+1) = V - E + F = \chi(M) V ( + 1 ) + E ( − 1 ) + F ( + 1 ) = V − E + F = χ ( M ) ,所以对任意闭曲面 M M M 都有 ∑ v ( p ) = 0 ind p ( v ) = χ ( M ) \sum_{v(p)=0} \operatorname{ind}_p(v) = \chi(M) ∑ v ( p ) = 0 ind p ( v ) = χ ( M ) 。特殊到球面情形,χ ( S 2 ) = 2 ≠ 0 \chi(S^2) = 2 \neq 0 χ ( S 2 ) = 2 = 0 。若 S 2 S^2 S 2 上某个连续切向量场处处非零,指标公式左端就会是空和 0 0 0 ,与 χ ( S 2 ) = 2 \chi(S^2) = 2 χ ( S 2 ) = 2 矛盾。因此 S 2 S^2 S 2 上任何连续切向量场都必须在某点 p ∈ S 2 p \in S^2 p ∈ S 2 处为零——毛球不可能被梳理得处处平顺而不留旋涡。
投影到三维空间的四维超立方体(tesseract):清点它的16个顶点、32条棱、24个正方形面和8个立方体胞腔。 欧拉示性数如何推广到 n n n 维空间?1852年,路德维希·施莱夫利证明:对于任意 n n n 维凸多胞形,其边界 ( n − 1 ) (n-1) ( n − 1 ) 维球面 S n − 1 S^{n-1} S n − 1 上 k k k 维面(0 ≤ k ≤ n − 1 0 \le k \le n-1 0 ≤ k ≤ n − 1 )的数量 c k c_k c k 的交错和满足 χ ( S n − 1 ) = ∑ k = 0 n − 1 ( − 1 ) k c k = 1 + ( − 1 ) n − 1 \chi(S^{n-1}) = \sum_{k=0}^{n-1} (-1)^k c_k = 1 + (-1)^{n-1} χ ( S n − 1 ) = ∑ k = 0 n − 1 ( − 1 ) k c k = 1 + ( − 1 ) n − 1 。因此偶数维球面(S 2 , S 4 , … S^2, S^4, \dots S 2 , S 4 , … )满足 χ = 2 \chi = 2 χ = 2 ,而奇数维球面(S 1 , S 3 , … S^1, S^3, \dots S 1 , S 3 , … )满足 χ = 0 \chi = 0 χ = 0 !你可以在 4 4 4 维超立方体 ([ − 1 , 1 ] 4 [-1,1]^4 [ − 1 , 1 ] 4 ,其边界在拓扑上同胚于 S 3 S^3 S 3 )的边界上直接验证:它有 c 0 = 16 c_0 = 16 c 0 = 16 个顶点、c 1 = 32 c_1 = 32 c 1 = 32 条棱、c 2 = 24 c_2 = 24 c 2 = 24 个正方形面和 c 3 = 8 c_3 = 8 c 3 = 8 个立方体 3 3 3 -胞腔,交错和为 16 − 32 + 24 − 8 = 0 = χ ( S 3 ) 16 - 32 + 24 - 8 = 0 = \chi(S^3) 16 − 32 + 24 − 8 = 0 = χ ( S 3 ) 。
1895年,亨利·庞加莱找到了这一交错和为何 在同胚下保持不变的最深刻解释。对于任意拓扑空间 X X X (例如有限CW复形),代数拓扑为其赋予一列阿贝尔同调群 H k ( X ) H_k(X) H k ( X ) ,它们的秩 b k = rank H k ( X ) b_k = \operatorname{rank} H_k(X) b k = rank H k ( X ) (即贝蒂数 )度量了相互独立的 k k k 维孔洞个数。对边界算子 ∂ k : C k → C k − 1 \partial_k : C_k \to C_{k-1} ∂ k : C k → C k − 1 应用线性代数的秩–零化度定理,胞腔数 c k c_k c k 的交错和就等于贝蒂数的交错和——这就是欧拉–庞加莱公式 :
χ ( X ) = ∑ k ≥ 0 ( − 1 ) k c k = ∑ k ≥ 0 ( − 1 ) k rank H k ( X ) = b 0 − b 1 + b 2 − b 3 + ⋯ \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 χ ( X ) = k ≥ 0 ∑ ( − 1 ) k c k = k ≥ 0 ∑ ( − 1 ) k rank H k ( X ) = b 0 − b 1 + b 2 − b 3 + ⋯ 历史注记
尽管五种柏拉图立体早在欧几里得《几何原本》第十三卷中就已得到分类,阿基米德也在古代将研究推广到了十三种半正多面体,但关系式 V − E + F = 2 V - E + F = 2 V − E + F = 2 在近两千年间却一直未被察觉。约1630年,勒内·笛卡尔发现了总角亏公式 ∑ δ v = 4 π \sum \delta_v = 4\pi ∑ δ v = 4 π ,距欧拉关系式仅一步之遥,但他的手稿不幸遗失,直到19世纪人们才发现莱布尼茨留下的抄本。莱昂哈德·欧拉在1750年致克里斯蒂安·哥德巴赫的信中宣布了 S − A + H = 2 S - A + H = 2 S − A + H = 2 (分别表示立体角、棱和面),并于1758年发表了两篇论文。奥古斯丁–路易·柯西于1813年给出了平面图化简证明,而西蒙·吕利耶(1812–1813年)则发现了贯穿隧道带来的例外情形(χ = 2 − 2 g \chi = 2 - 2g χ = 2 − 2 g )。卡尔·弗里德里希·高斯(1827年)和皮埃尔·奥西安·博内(1848年)将 χ \chi χ 与曲率联系起来,而亨利·庞加莱的里程碑著作《位置分析》(Analysis Situs ,1895年)则将欧拉的多面体计数升华为代数拓扑学的基石。
叙拉古的阿基米德 勒内·笛卡尔 莱昂哈德·欧拉 奥古斯丁-路易·柯西 卡尔·弗里德里希·高斯 亨利·庞加莱
研究 拓扑数据分析与欧拉示性数变换 研究前沿 截至 2026 年
研究现状(截至2026年)。 欧拉示性数远非经典拓扑学中已经翻过的一页,如今它已成为当代拓扑数据分析(TDA) 、统计形状分析与几何机器学习中速度最快、用途最广的工具之一:
1. 欧拉示性数变换(ECT)与形状反演。 给定空间中的一个形状 K ⊂ R d K \subset \mathbb{R}^d K ⊂ R d (例如骨骼、种子或肿瘤的三维显微CT扫描),ECT 为每个方向 v ∈ S d − 1 v \in S^{d-1} v ∈ S d − 1 和高度阈值 t ∈ R t \in \mathbb{R} t ∈ R 赋予子水平集切片 { x ∈ K : x ⋅ v ≤ t } \{x \in K : x \cdot v \le t\} { x ∈ K : x ⋅ v ≤ t } 的欧拉示性数 χ ( K v ≤ t ) \chi(K_{v \le t}) χ ( K v ≤ t ) 。Turner、Mukherjee 与 Boyer(2014年)以及 Curry、Mukherjee 与 Turner(2022年)的著名定理证明了 ECT 是单射 :这一族简单的整数交错和完全决定了几何形状 K K K !由于计算 V − E + F V - E + F V − E + F 只需直接清点胞腔、耗时仅 O ( n ) O(n) O ( n ) ,无需像持续同调(persistent homology)那样进行繁重的矩阵化简,ECT 已成为三维生物形态学与医学影像分析中的核心特征表示。
2. 欧拉示性数曲线(ECC)、剖面(ECP)与可微网络层。 多参数持续同调在计算上依然高昂且代数结构复杂,而沿多参数滤子追踪 χ \chi χ 所得到的欧拉示性数剖面 (Dłotko & Gurnari;Hacquard & Lebovici,JMLR 2024)不仅具有严格的 Wasserstein 稳定性界,还能通过分布式流水线轻松扩展至海量数据集。在最新进展(2024–2026年)中,可微欧拉示性数变换(DECT) 用光滑的 Sigmoid 近似替代了阶跃函数式的切片计数,使神经网络与图 Transformer 能够通过反向传播端到端地学习最优投影方向。
一个凸多面体有 F = 20 F = 20 F = 20 个三角形面和 E = 30 E = 30 E = 30 条棱(正二十面体)。它有多少个顶点 V V V ?
亏格 g = 3 g = 3 g = 3 的可定向闭曲面(带三个把手的球面)的欧拉示性数 χ ( Σ 3 ) \chi(\Sigma_3) χ ( Σ 3 ) 是多少?
下列哪个可定向闭曲面上存在处处非零的连续切向量场?
球面 S 2 S^2 S 2 (亏格 g = 0 g = 0 g = 0 ) 环面 T 2 T^2 T 2 (亏格 g = 1 g = 1 g = 1 ) 双环面 Σ 2 \Sigma_2 Σ 2 (亏格 g = 2 g = 2 g = 2 ) 所有具有偶数亏格 g g g 的可定向曲面 将一个半径为 1 1 1 的光滑球面 S 2 S^2 S 2 在不撕裂、不粘合的前提下光滑地按压拉伸成一个凹凸不平的花生形曲面 M M M 。它的总高斯曲率 ∫ M K d A \int_M K\,dA ∫ M K d A 是多少?
0 0 0 2 π 2\pi 2 π 4 π 4\pi 4 π 取决于变形后曲面 M M M 的表面积