“右端是Euler 示性数。”
形式陈述 ​
若
该值与所选有限 CW 分解无关,并满足同调公式:对任意域
因此它是同伦不变量。对有限单纯复形也可用各维单形数交替求和。更一般空间只有在同调有限型且交替和有意义时才可直接使用 Betti 数定义。
直觉
Euler 示性数把各维胞腔数做交替相加,低维“点和边”的过量由高维填充逐级抵消。单个胞腔分解的计数依赖切分方式,但交替和在有限 CW 同伦型下保持不变;代数上,它等于各维同调秩的交替和。它压缩信息很强,因此相同示性数远不足以推出空间同胚。
例子与边界
有限图作为一维 CW 复形有
把四面体边界作为球面的三角剖分,有
在一个三角形内部加入新顶点并连向三个顶点,会同时增加
推论与应用
有限CW 复形的胞腔交替和与同调 Betti 数交替和一致,因此由同伦等价保持。平面图 Euler 公式是二维胞腔分解的先例,Gauss–Bonnet 定理又把它等同于总高斯曲率;Lefschetz 不动点理论则把它推广为映射在各维同调上迹的交替和。它常作为不可能同伦等价的快速障碍,但不能单独完成分类。
参考资料
- Allen Hatcher, Algebraic Topology, Cambridge University Press, 2002,Ch. 2, Euler characteristic from cells and homology。
- Glen E. Bredon, Topology and Geometry, Springer, 1993,Ch. IV, Euler characteristic and finite complexes。