[科普中国]-欧拉示性数

在代数拓扑中，欧拉示性数（Euler characteristic）是一个拓扑不变量（事实上，是同伦不变量），对于一大类拓扑空间有定义。

定义如果一个拓扑空间 X 有游戏的三角剖分 h：X→ |K|，X 的欧拉示性数 定义为它的剖分复形 K 的各个维数单纯形个数（即单纯链复形的秩）的交错和，即。

对于有限CW-复形(CW-Complex)包括有限单纯复形(simplicial complex)，欧拉示性数可以定义为交错和

其中表示维胞腔的个数。

然后，可以把流形的欧拉示性数定义为一个和它同胚的单纯复形的欧拉示性数。例如，圆圈和环面其欧拉示性数为0而实心球欧拉示性数为1。

闭可定向曲面的欧拉示性数可以通过它们的亏格g来计算

闭不可定向曲面的欧拉示性数可以用下式通过它们的(不可定向)亏格k来计算

欧拉示性数和三角化的选择无关。公式也可用于到任意多边形的分解。

对于圆盘，我们有, 对于平面我们有, 数的时候把外面作为一个面。

对于闭流形，欧拉示性数和欧拉数,也就是其切丛的在流形的基本类上计算的欧拉类。

对于闭黎曼曲面，欧拉示性数也可以通过曲率的积分得到—参看对于二维情况的高斯-博内定理(Gauss-Bonnet)和对于一般情况的广义高斯-博内定理。高斯-博内定理的离散情况的对应是笛卡儿定理，它表明多面体用完整圆圈测量的“总亏量” ，是多面体的欧拉示性数；参看亏量。

更一般的，对于所有拓扑空间，我们可以定义第n个贝蒂数作为第n个同调群的阶。欧拉示性数可以定义为如下交换和

这个定义在贝蒂数全都有限并且在一个特定指标以外为0时有意义。

两个同伦的拓扑空间有同构的同调群，所以有相同的欧拉示性数。

从这个定义和庞加莱对偶性，可以得到所有闭合奇数维流形的欧拉数为0的结论。

如果M和N是拓扑空间，则它们的积空间M×N的欧拉示性数为

经典公式有关欧拉示性数的一个经典的公式是

其中 是拓扑空间 X 的第 i 个贝蒂数，这一公式称为欧拉-庞加莱公式。该公式亦说明了欧拉示性数不依赖于剖分的选取，是一个拓扑不变量。

由此，欧拉示性数可作进一步推广。对于任意一个拓扑空间 X，当求和 存在时，这一整数称为拓扑空间 X 欧拉示性数。1

历史第一个欧拉公式的严格证明，由20岁的柯西给出，大致如下:

从多面体去掉一面，通过把去掉的面的边互相拉远，把所有剩下的面变成点和曲线的平面网络。不失一般性，可以假设变形的边继续保持为直线段。正常的面不再是正常的多边形即使开始的时候它们是正常的。但是，点，边和面的个数保持不变，和给定多面体的一样(移去的面对应网络的外部。

重复一系列可以简化网络却不改变其欧拉数（也是欧拉示性数）F−E+V的额外变换。

1、若有一个多边形面有3条边以上，我们划一个对角线。这增加一条边和一个面。继续增加边直到所有面都是三角形。
2、除掉只有一条边和外部相邻的三角形。这把边和面的个数各减一而保持顶点数不变。
3、（逐个）除去所有和网络外部共享两条边的三角形。这会减少一个顶点、两条边和一个面。

重复使用第 2 步和第 3 步直到只剩一个三角形。对于一个三角形F=2（把外部数在内），E=3 ，V=3 。所以F−E+V=2 。证毕。

偏序集有界偏序集(partially ordered set,简称poset)的欧拉示性数的概念是另一种推广，在组合论中很重要。一个偏序集“有界”，如果它有最小和最大元素，我们把它们叫作 0 和 1 。这样一个偏序集的欧拉示性数是 μ(0,1) ，其中 μ 是在偏序集的相交代数(incidence algebra)中的默比乌斯函数。

本词条内容贡献者为:

尚华娟 - 副教授 - 上海财经大学