MathLabs
定理已证明

欧拉–庞加莱定理

命题陈述

对有限链复形,χ(X)=∑n≥0(−1)nrank⁡Cn=∑n≥0(−1)nβn(X)\chi(X) = \sum_{n\ge 0} (-1)^n \operatorname{rank} C_n = \sum_{n\ge 0} (-1)^n \beta_n(X)。

为什么成立?

这表明胞腔数目的交错和(一个可以手算的组合量)等于贝蒂数的交错和(一个只依赖于形状、不依赖三角剖分的拓扑不变量)。它将 V−E+F=2V - E + F = 2 推广到了每个维度。

证明思路

固定 nn,将边缘映射 ∂n:Cn→Cn−1\partial_n : C_n \to C_{n-1} 看作有限维向量空间间的线性映射(为简便起见在 Q\mathbb{Q} 上讨论)。由秩–零化度定理,rank⁡Cn=dim⁡ker⁡∂n+rank⁡∂n\operatorname{rank} C_n = \dim \ker \partial_n + \operatorname{rank} \partial_n,其中 rank⁡∂n:=dim⁡im⁡∂n\operatorname{rank}\partial_n := \dim \operatorname{im} \partial_n。

此外,由商的定义 Hn=ker⁡∂n/im⁡∂n+1H_n = \ker \partial_n / \operatorname{im}\partial_{n+1} 直接得 dim⁡Hn(X)=dim⁡ker⁡∂n−dim⁡im⁡∂n+1\dim H_n(X) = \dim \ker \partial_n - \dim \operatorname{im} \partial_{n+1},故 dim⁡ker⁡∂n=βn+rank⁡∂n+1\dim \ker \partial_n = \beta_n + \operatorname{rank}\partial_{n+1}。

代入得 rank⁡Cn=βn+rank⁡∂n+1+rank⁡∂n\operatorname{rank} C_n = \beta_n + \operatorname{rank}\partial_{n+1} + \operatorname{rank}\partial_n。现在对所有 nn(从 00 到最高维 NN)取交错和:∑n(−1)nrank⁡Cn=∑n(−1)nβn+∑n(−1)nrank⁡∂n+1+∑n(−1)nrank⁡∂n\sum_n (-1)^n \operatorname{rank} C_n = \sum_n (-1)^n \beta_n + \sum_n (-1)^n \operatorname{rank}\partial_{n+1} + \sum_n (-1)^n \operatorname{rank}\partial_n。

在后两个和中,项 rank⁡∂k\operatorname{rank}\partial_k 在 rank⁡∂n\operatorname{rank}\partial_n 的和中出现一次(当 n=kn=k 时,符号 (−1)k(-1)^k),在 rank⁡∂n+1\operatorname{rank}\partial_{n+1} 的和中出现一次(当 n=k−1n=k-1 时,符号 (−1)k−1(-1)^{k-1});这两个符号相反,因此除去本就贡献为零的边界项 ∂0=0\partial_0 = 0 与 ∂N+1=0\partial_{N+1}=0 外,每个 rank⁡∂k\operatorname{rank}\partial_k 都恰好相消(伸缩求和)。

剩下的就是 ∑n(−1)nrank⁡Cn=∑n(−1)nβn\sum_n (-1)^n \operatorname{rank} C_n = \sum_n (-1)^n \beta_n,而左边按定义就是 χ(X)\chi(X),这正是 χ(X)=∑n≥0(−1)nrank⁡Cn=∑n≥0(−1)nβn(X)\chi(X) = \sum_{n\ge 0} (-1)^n \operatorname{rank} C_n = \sum_{n\ge 0} (-1)^n \beta_n(X)。

用到此定理的主题

分步证明

该定理暂无分步证明。

参考文献

  1. Allen Hatcher (2002). Algebraic Topology
  2. James R. Munkres (1984). Elements of Algebraic Topology
  3. Gunnar Carlsson (2009). Topology and data