最后更新: 2026-05-08 21:03 查看: 31 次纠错评论(0) 课件开VIP

Euler－Poincaré 公式

##  3.4 Euler－Poincaré 公式
设复形 $K$ 有 $\alpha_q$ 个 $q$ 维单形，$q=0,1, \cdots, \operatorname{dim} K$ ．
定义 6.8 称整数

$$
\chi(K):=\sum_{q=0}^{\operatorname{dim} K}(-1)^q \alpha_q
$$

为复形 $K$ 的 Euler **示性数**．
Euler 示性数与立体几何中凸多面体的 Euler 数有密切关系。设凸多面体有 $e_0$ 个顶点，$e_1$ 条棱，$e_2$ 个面．对它的每个面可用一些互不交叉的对角线分割为三角形，从而使凸多面体的表面有一个三角剖分 $K$ 。设 $K$ 的 $q$ 维单形数为 $\alpha_q, q=0,1,2(\operatorname{dim} K=2)$ ，则 $\alpha_0 =e_0$（上述分割不增加新顶点），$\alpha_1-e_1=\alpha_2-e_2$（因为每加一条对角线就增加一个面）。于是 $\chi(K)=\alpha_0-\alpha_1+\alpha_2=e_0-e_1+e_2$ ，即就是凸多面体的 Euler 数．因此 Euler 示性数可看成凸多面体 Euler 数的

推广。
$H_q(K)$ 是有限生成交换群，记它的秩为 $\beta_q$ ，即

$$
\beta_q:=\operatorname{rank}\left(H_q(K)\right),
$$

称为复形 $K$ 的 $q$ 维 Betti 数．
定理 6．4（Euler－Poincaré 定理）设 $K$ 是 $n$ 维复形，$\beta_q$ 是 $K$的 $q$ 维 Betti 数，$q=0,1, \cdots, n$ ．则有 Euler－Poincaré 公式

$$
\chi(K)=\sum_{q=0}^n(-1)^q \beta_q .
$$

证明 分别记 $\lambda_q=\operatorname{rank}\left(Z_q(K)\right), \mu_q=\operatorname{rank}\left(B_q(K)\right)$ 。利用附录 A 中的定理 A．2，从 $H_q(K)=Z_q(K) / B_q(K)$ 可得到

$$
\beta_q=\lambda_q-\mu_q, \quad 0 \leqslant q \leqslant n .
$$

又因为 $B_{q-1}(K)$ 和 $Z_q(K)$ 分别是 $\partial_q: C_q(K) \rightarrow C_{q-1}(K)$ 的像与核，所以有 $B_{q-1}(K) \cong C_q(K) / Z_q(K)$ ，于是

$$
\mu_{q-1}=\alpha_q-\lambda_q, \quad 0 \leqslant q \leqslant n
$$

（令 $\mu_{-1}=0$ ），两式相加，得到

$$
\alpha_q-\beta_q=\mu_q+\mu_{q-1}, \quad 0 \leqslant q \leqslant n .
$$

于是

$$
\begin{aligned}
\chi(K)-\sum_{q=0}^n(-1)^q \beta_q & =\sum_{q=0}^n(-1)^q\left(\alpha_q-\beta_q\right) \\
& =(-1)^n \mu_n+\mu_{-1}
\end{aligned}
$$

$\mu_n=\mu_{-1}=0$ ，因此 $\chi(K)-\sum_{q=0}^n(-1)^q \beta_q=0$ ．

下章我们将说明 $H_q(K)$ 是由 $|K|$ 的拓扑所决定的，因此 $\sum_{q=0}^n(-1)^q \beta_q$ 是 $|K|$ 的拓扑不变量．$\alpha_q$ 由 $K$ 决定，因此从表面上看，$\chi(K)$ 似乎由 $K$ 的组合结构决定．定理说明了 $\chi(K)$ 与剖分 $K$的选择无关，它反映了 $|K|$ 的拓扑性质．

## 3.5 以交换群 $\boldsymbol{G}$ 为系数群的同调群

在建立同调群的过程中， $\boldsymbol{Z}$ 可以用任何交换群 $G$ 代替，得到系数群为 $G$ 的同调群．下面简要地回顾一下过程．

复形 $K$ 的以 $G$ 为系数群的 $q$ 维链群为

$$
\begin{gathered}
C_q(K ; G):=\left\{\text { 对应 } c: T_q(K) \rightarrow G \mid c(-s)=-c(s),\right. \\
\left.\forall s \in T_q(K)\right\},
\end{gathered}
$$

加法由 $\left(c+c^{\prime}\right)(s)=c(s)+c^{\prime}(s)$ 规定．一般地，$q$ 维定向单形 $s \in$
$T_q(K)$ 不再能看成一个 $q$ 维链，但 $\forall g \in G, g s$ 是一个 $q$ 维链，$\forall t \in T_q(K)$ ，

$$
g s(t)= \begin{cases} \pm g, & t= \pm s, \\ 0, & t \neq \pm s .\end{cases}
$$

这种形式的 $q$ 维链生成了 $C_q(K ; G)$ ．规定 $g s$ 的边缘链 $\partial_q(g s) \in C_{q-1}(K ; G)$ 为

$$
\partial_q(g s)(t)=[s ; t] g, \quad \forall t \in T_{q-1}(K) .
$$

用线性扩张得到边缘同态 $\partial_q: C_q(K ; G) \rightarrow C_{q-1}(K ; G)$ ，它也满足 $\partial_{q-1} \circ \partial_q=0$ ，从而得到 $K$ 的以 $G$ 为系数群的链复形 $C(K ; G)$ ，并由它产生 $K$ 的以 $G$ 为系数群的同调群 $H_q(K ; G)$ ．

特别当 $G$ 是域时，$C_q(K ; G), Z_q(K ; G)$ 和 $B_q(K ; G)$ 都是 $G$ 上的线性空间，$H_q(K ; G)$ 作为 $Z_q(K ; G)$ 对子空间 $B_q(K ; G)$ 的商也是线性空间。记 $d_q=\operatorname{dim} H_q(K ; G)$ ，则利用线性空间维数的加法公式也可得到相应的 Euler－Poincaré 公式：

$$
\chi(K)=\sum_{q=0}^n(-1)^q d_q,
$$

这里 $n=\operatorname{dim} K$ ．
以后会看到，一般地 $d_q$ 与 $\beta_q$ 不一定相同．

## Euler–Poincaré 公式
**Euler–Poincaré 公式**（或 **Euler–Poincaré 定理**）是代数拓扑中连接**组合不变量（欧拉示性数）**与**同调群**的核心结果。它将空间在剖分（如胞腔分解）下的交错和，转化为各维同调群秩的交错和（在系数域或整数模挠下）。

---

## 1. 公式表述

对于有限胞腔复形 $X $（或更一般的可三角剖分的紧空间），其 **欧拉示性数** 定义为
$$
\chi(X) = \sum_{k \ge 0} (-1)^k \alpha_k,
$$
其中 $\alpha_k $ 是 $k $ 维胞腔（或单纯形）的个数。

**Euler–Poincaré 公式** 说：
$$
\chi(X) = \sum_{k \ge 0} (-1)^k \beta_k,
$$
这里 $\beta_k = \operatorname{rank} H_k(X; \mathbb{Z}) $ （整数同调的**贝蒂数**，即自由部分秩），如果系数取域 $\mathbb{F} $，则 $\beta_k = \dim_{\mathbb{F}} H_k(X; \mathbb{F}) $。

---

## 2. 几何/拓扑意义

- **不依赖于剖分**：左边依赖于三角剖分看似组合，但右边是同调群，与剖分方式无关，因此欧拉示性数是**同伦不变量**，甚至**拓扑不变量**。
- **连接局部与整体**：左边是“局部计数”（胞腔个数），右边是“整体不变量”（同调群的维数），公式说明它们的交错和相等。
- **降维计算**：当直接计算剖分困难时，可以通过同调群得到欧拉示性数，反之亦可。

---

## 3. 例子

### 3.1 球面 $S^2 $
- 一种剖分：四面体表面（4个面，6条棱，4个顶点）  
  $\alpha_2=4,\ \alpha_1=6,\ \alpha_0=4 $ → $\chi = 4-6+4=2 $。
- 同调：$H_0 \cong \mathbb{Z},\ H_1 \cong 0,\ H_2 \cong \mathbb{Z} $ → $\beta_0=1,\beta_1=0,\beta_2=1 $ → $\chi = 1-0+1=2 $。

### 3.2 环面 $T^2 $
- 胞腔分解：1个0-cell，2个1-cell，1个2-cell → $\chi = 1-2+1=0 $。
- 同调：$H_0\cong\mathbb{Z},\ H_1\cong\mathbb{Z}^2,\ H_2\cong\mathbb{Z} $ → $\beta_0=1,\beta_1=2,\beta_2=1 $ → $\chi = 1-2+1=0 $。

### 3.3 实射影平面 $\mathbb{RP}^2 $
- 胞腔分解（标准CW结构）：1个0-cell，1个1-cell，1个2-cell（但粘合需注意） → $\chi = 1-1+1=1 $。
- 同调（整数系数）：$H_0\cong\mathbb{Z},\ H_1\cong\mathbb{Z}_2,\ H_2\cong 0 $ → 自由部分秩：$\beta_0=1,\beta_1=0,\beta_2=0 $ → $\chi = 1-0+0 = 1$（挠元不影响 $\chi $ 在整数系数下的欧拉–庞加莱公式，因为只取自由部分秩；在域系数下 $\mathbb{RP}^2 $ 的 $H_1(\mathbb{RP}^2;\mathbb{F}_2)=\mathbb{F}_2 $，此时 $\dim =1 $，公式仍成立但不同系数可能给出新信息）。

---

## 4. 推广与深层解释

- **广义欧拉–庞加莱公式**（带紧支集上同调，非紧空间）  
  对有限维 CW 复形，也有 $\chi(X) = \sum_k (-1)^k \dim H^k(X; \mathbb{R}) $。
- **Morse 理论**：  
  欧拉示性数 = 临界点指标的代数和（Morse 不等式之一）。
- **Atiyah–Singer 指标定理**：  
  欧拉示性数是某种椭圆算子的解析指标，可视为一个最深层的推广。

---

## 5. 一句话总结

**Euler–Poincaré 公式断言：欧拉示性数（胞腔交错和）等于各维同调群贝蒂数的交错和，是拓扑不变量，也是局部组合计数与整体同调信息之间的桥梁。**

科数题库(单机版) 会议室预约系统(book)

今日还可看 0 篇未注册用户每天查看4篇，注册用户每天8篇，开通VIP会员无限制查看。

免费注册

《高等数学》难点解析

高数教程 泰勒公式切线与法线切平面与法平面驻点·拐点·极值点·零点间断点渐进线瑕积分欧拉方程伯努利方程 Abel 收敛定理偏导数的几何意义偏导数的几何意义梯度数量场与向量场多元函数极值拉格朗日算子通量与散度环流量与旋度格林公式高斯公式斯托克斯公式三大公式比较傅里叶级数极坐标微元点法式方程变上限定积分 X型计算面积 Y型计算面积微分的意义渐近线间断点 y''+py'+qy=f(x)方程高斯黎曼傅里叶变换(复数) 拉普拉斯变换(复数)

《线性代数》难点解析

线代教程 近世代数对数学的整体思考线性的意义矩阵乘法(列视角) 矩阵乘法(行视角) 矩阵左乘矩阵右乘逆矩阵求解方程组阶梯形矩阵的求法方程组解的判定四阶行列式的计算线性变换的意义线性空间向量组的等价线性空间的几何意义基础解系的求法施密特正交化特征值与特征向量的意义矩阵相似的几何意义矩阵可对角化的理解秩的意义(向量版) 秩的意义(方程版) 二次型的意义

《概率论与数理统计》难点解析

概率教程 置信区间与上a分位数概率中的“取”与“放” 贝叶斯公式全概率公式泊松分布指数分布伽玛分布二维密度图的意义卷积的意义相关系数的意义 k阶矩是与矩母函数卡方分布的作用单正态区间估计理解假设检验理解切比雪夫不等式中心极限定理

上一篇：同调群的简单性质

下一篇：计算同调群的实例

本文对您是否有用？有用 (0) 无用 (0)