B3.7

Algebraic Topology
Part II, 2002

For a finite simplicial complex XX, let bi(X)b_{i}(X) denote the rank of the finitely generated abelian group HiXH_{i} X. Define the Euler characteristic χ(X)\chi(X) by the formula

χ(X)=i(1)ibi(X).\chi(X)=\sum_{i}(-1)^{i} b_{i}(X) .

Let aia_{i} denote the number of ii-simplices in XX, for each i0i \geqslant 0. Show that

χ(X)=i(1)iai\chi(X)=\sum_{i}(-1)^{i} a_{i}