Skip to content

定义Definition

欧拉示性数

Euler characteristic

以胞腔交替计数或同调群秩交替和定义的拓扑不变量。

形式陈述 ​

若 X 有一个胞腔全体构成有限集的 CW 分解,令 ck 为 k 维胞腔数,定义欧拉示性数

χ(X)=∑k≥0(−1)kck.

该值与所选有限 CW 分解无关,并满足同调公式:对任意域 F,

χ(X)=∑k≥0(−1)kdimF⁡Hk(X;F).

因此它是同伦不变量。对有限单纯复形也可用各维单形数交替求和。更一般空间只有在同调有限型且交替和有意义时才可直接使用 Betti 数定义。

同调公式可由有限胞腔链复形证明。对域 F 取系数,令 zk=dim⁡Zk、bk=dim⁡Bk、hk=dim⁡Hk。对边界映射及循环到同调的商映射分别用秩—零化度公式,得到

ck=zk+bk−1,zk=bk+hk,ck=hk+bk+bk−1.

取 b−1=0,并注意最高维以上全为零。乘 (−1)k 后作有限求和,两组边界维数逐项抵消,只留下 ∑(−1)khk。胞腔比较定理把这里的同调识别为奇异同调,因而证明结果与所选有限分解无关。

直觉

Euler 示性数把各维胞腔数做交替相加,低维“点和边”的过量由高维填充逐级抵消。单个胞腔分解的计数依赖切分方式,但交替和在有限 CW 同伦型下保持不变;代数上,它等于各维同调秩的交替和。它压缩信息很强,因此相同示性数远不足以推出空间同胚。

例子与边界

有限图作为一维 CW 复形有 χ=|V|−|E|。球面 S2 的 χ=2,环面 T2 的 χ=0,闭可定向亏格 g 曲面有 χ=2−2g。用整数同调的自由秩,或等价地用有理 Betti 数计算时,挠子群不直接进入求和。换成特征为 p 的域后,挠信息却可能改变各次 Betti 数;只是它们对交替和的影响相互抵消,最终的 χ 仍相同。无限胞腔数的无穷交替和可能发散或依赖求和方式,不能机械套用。欧拉示性数很粗:许多不同空间具有相同 χ。

RP2 的胞腔链是 Z→2Z→0Z,所以 χ=1−1+1=1。在 Q 上,次数 0,1,2 的 Betti 数为 (1,0,0);在 F2 上,乘 2 的边界变成零,Betti 数变成 (1,1,1)。两者的交替和仍为 1,但不能说挠信息从未影响域系数同调。

把四面体边界作为球面的三角剖分,有

V−E+F=4−6+4=2.

在一个三角形内部加入新顶点并连向三个顶点,会同时增加 1 个顶点、3 条边和 2 个面,交替和保持不变,直观显示细分不改变 Euler 示性数。另一方面,S1 与环面都满足 χ=0,但一阶同调秩分别为 1 与 2,所以这一不变量远不能完成分类。

推论与应用

有限CW 复形的胞腔交替和与同调 Betti 数交替和一致,因此由同伦等价保持。平面图 Euler 公式是二维胞腔分解的先例,Gauss–Bonnet 定理又把它与总高斯曲率联系起来,闭曲面情形须乘上 2π;Lefschetz 不动点理论则把它推广为映射在各维同调上迹的交替和。它常作为不可能同伦等价的快速障碍,但不能单独完成分类。

Gauss–Bonnet 的逐面证明把局部转角相加,内部边相消,内部顶点贡献 2π,边界顶点贡献 π 再扣除外角;关系 3F=2Ei+Eb 和 Eb=Vb 随后精确恢复 2π(V−E+F)。配合Euler 曲率代表,这证明曲面切丛的 Euler 数等于本页的胞腔计数;一般丛的 Euler 类则是另一个对象,不能直接拿底空间的示性数代替。

结亏格与连通和把带边界曲面的示性数用于具体计算。Seifert 算法的 s 张圆盘和 c 条带给 χ=s−c;边界只有一条结时 χ=1−2g。这个计数给构造曲面的亏格上界,仍需其他不变量证明它已最小。

参考资料
  • 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。
关系图谱24 个相邻概念 · 2 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组
类型化关系