1701046388
定义6.8 称整数
1701046389
1701046390
1701046391
1701046392
1701046393
为复形K的Euler示性数．
1701046394
1701046395
Euler示性数与立体几何中凸多面体的Euler数有密切关系．设凸多面体有e0个顶点，e1条棱，e2个面．对它的每个面可用一些互不交叉的对角线分割为三角形，从而使凸多面体的表面有一个三角剖分K．设K的q维单形数为αq，q＝0，1，2（dimK＝2），则α0＝e0（上述分割不增加新顶点），α1－e1＝α2－e2（因为每加一条对角线就增加一个面）．于是x（K）＝α0－α1＋α2＝e0－e1＋e2，即就是凸多面体的Euler数．因此Euler示性数可看成凸多面体Euler数的推广．
1701046396
1701046397
Hq（K）是有限生成交换群，记它的秩为βq，即
1701046398
1701046399
βq∶＝rank（Hq（K）），
1701046400
1701046401
称为复形K的q维Betti数．
1701046402
1701046403
定理6.4（Euler-Poincaré定理） 设K是n维复形，βq是K的q维Betti数，q＝0，1，…，n．则有Euler-Poincaré公式
1701046404
1701046405
1701046406
1701046407
1701046408
证明 分别记λq＝rank（Zq（K）），μq＝rank（Bq（K））．利用附录A中的定理A.2，从Hq（K）＝Zq（K）/Bq（K）可得到
1701046409
1701046410
βq＝λq－μq， 0≤q≤n．
1701046411
1701046412
1701046413
又因为Bq－1（K）和Zq（K）分别是∂q∶Cq（K）→Cq－1（K）的像与核，所以有于是
1701046414
1701046415
μq－1＝αq－λq， 0≤q≤n
1701046416
1701046417
（令μ-1＝0），两式相加，得到
1701046418
1701046419
αq－βq＝μq＋μq－1， 0≤q≤n．
1701046420
1701046421
于是
1701046422
1701046423
1701046424
1701046425
1701046426
1701046427
μn＝μ-1＝0，因此 ▎
1701046428
1701046429
1701046430
下章我们将说明Hq（K）是由｜K｜的拓扑所决定的，因此是｜K｜的拓扑不变量．αq由K决定，因此从表面上看，x（K）似乎由K的组合结构决定．定理说明了x（K）与剖分K的选择无关，它反映了｜K｜的拓扑性质．
1701046431
1701046432
3.5 以交换群G为系数群的同调群
1701046433
1701046434
在建立同调群的过程中，Z可以用任何交换群G代替，得到系数群为G的同调群．下面简要地回顾一下过程．
1701046435
1701046436
复形K的以G为系数群的q维链群为
1701046437