The Euler characteristic chi(X) = sum(-1)^n b_n, where b_n = rank(H_n(X)) is the n-th Betti number, gives a single integer that encodes essential topological information about a space. This homological definition shows that the classical formula V - E + F for surfaces is a special case of a much deeper invariant: the alternating sum of Betti numbers equals the alternating sum of simplex counts in any triangulation, connecting combinatorics to topology in a precise and powerful way.
The Euler characteristic is one of the oldest topological invariants, originating with Euler's observation that any convex polyhedron satisfies V - E + F = 2 (vertices minus edges plus faces). The homological perspective reveals this as a special case of a much more general and powerful invariant. For any finite simplicial complex K, define chi(K) = sum_{n>=0} (-1)^n c_n, where c_n is the number of n-simplices. For a surface, this gives V - E + F. The fundamental theorem is that this combinatorial quantity equals the alternating sum of Betti numbers: chi(K) = sum_{n>=0} (-1)^n b_n, where b_n = rank(H_n(K)).
The proof uses the rank-nullity theorem applied to the boundary operators. Let z_n = rank(ker(d_n)) and b_n = rank(im(d_{n+1})). Then the n-th Betti number (as a rank) is z_n - b_n. The rank-nullity theorem gives c_n = z_n + rank(im(d_n)), and since rank(im(d_n)) = c_{n-1} - z_{n-1} (from the same theorem applied one level down, with appropriate bookkeeping), the alternating sum telescopes: all the rank(im(d_n)) terms cancel in pairs, leaving sum(-1)^n c_n = sum(-1)^n (z_n - b_n) = sum(-1)^n beta_n. This algebraic identity explains Euler's combinatorial miracle: V - E + F is the same for any triangulation of the same space because it equals an alternating sum of topological invariants.
The Betti numbers b_n = rank(H_n(X)) give a refinement of the Euler characteristic. For compact surfaces: the sphere has (b_0, b_1, b_2) = (1, 0, 1), the torus (1, 2, 1), the genus-g surface (1, 2g, 1). The Euler characteristic chi = 2 - 2g determines the genus and vice versa. But Betti numbers carry strictly more information than chi: the torus (chi = 0) and the Klein bottle (chi = 0) have the same Euler characteristic but different first homology groups (Z^2 versus Z direct sum Z/2Z). The full homology is a finer invariant than the Euler characteristic, which is itself finer than nothing.
The Euler characteristic has remarkable properties that make it indispensable. It is additive over disjoint unions: chi(X disjoint union Y) = chi(X) + chi(Y). It is multiplicative over products: chi(X times Y) = chi(X) * chi(Y). It satisfies inclusion-exclusion for suitable decompositions: chi(U union V) = chi(U) + chi(V) - chi(U intersect V). These properties allow computation of chi for complex spaces from simpler pieces, and they connect the Euler characteristic to deeper results like the Lefschetz fixed-point theorem, the Gauss-Bonnet theorem (which expresses chi as an integral of curvature), and the Poincare-Hopf index theorem (which expresses chi as a sum of indices of zeros of a vector field). The Euler characteristic, simple as it appears, sits at the crossroads of topology, geometry, and algebra.