Euler Characteristic — Mathematics Knowledge System

Overview

The Euler characteristic χ(X) is the most elementary topological invariant of a space. For a polyhedron it equals V - E + F (vertices minus edges plus faces); more generally it is the alternating sum of Betti numbers. The Euler characteristic is a homotopy invariant, vanishes for odd-dimensional closed manifolds (by Poincaré duality), and satisfies the inclusion-exclusion formula χ(A ∪ B) = χ(A) + χ(B) - χ(A ∩ B).

Intuition

Count the features of a shape: vertices (0-dimensional), edges (1-dimensional), faces (2-dimensional), etc. Alternately add and subtract these counts. For a sphere: any triangulation gives V - E + F = 2. For a torus: V - E + F = 0. The Euler characteristic is the 'net count' of holes at all dimensions. It is negative when there are more odd-dimensional holes than even-dimensional ones.

Formal Definition

Definition

For a finite CW complex (or finite simplicial complex) X with c_n cells (or n-simplices), the Euler characteristic is χ(X) = Σ_{n≥0} (-1)^n c_n. Equivalently, χ(X) = Σ_{n≥0} (-1)^n β_n where β_n = rank(H_n(X;Q)) is the n-th Betti number. These two formulas agree because the Euler characteristic of a chain complex depends only on its homology.

\chi(X) = \sum_{n \ge 0} (-1)^n c_n = V - E + F - \cdots

Cell count formula

\chi(X) = \sum_{n \ge 0} (-1)^n \beta_n,\quad \beta_n = \mathrm{rank}(H_n(X;\mathbb{Q}))

Betti number formula

\chi(X \times Y) = \chi(X) \cdot \chi(Y)

Product formula

\chi(X \cup Y) = \chi(X) + \chi(Y) - \chi(X \cap Y)

Inclusion-exclusion

Notation

Notation	Meaning
$\chi(X)$	Euler characteristic of X
$\beta_n$	n-th Betti number: rank of H_n(X;Q)
$c_n$	Number of n-cells in a CW or simplicial decomposition
$V, E, F$	Vertices, edges, faces of a polyhedron

Theorems

Theorem 1: Homotopy Invariance

The Euler characteristic is a homotopy invariant: if X ≃ Y then χ(X) = χ(Y). In particular, it is independent of the choice of CW or simplicial structure.

Theorem 2: Poincaré-Hopf Theorem

For a smooth closed manifold M and a vector field v on M with only isolated zeros, the sum of the indices of v at its zeros equals χ(M). In particular, χ(M) = 0 implies M admits a nowhere-zero vector field.

Theorem 3: Gauss-Bonnet Theorem

For a compact oriented Riemannian surface Σ with Gaussian curvature K and geodesic curvature κ_g of the boundary, the integral formula holds: (1/2π) ∫_Σ K dA + (1/2π) ∫_{∂Σ} κ_g ds = χ(Σ).

Worked Examples

1
Triangulate S^2 as an octahedron: 6 vertices, 12 edges, 8 triangular faces.
$V=6,\; E=12,\; F=8$
2
Compute: χ = V - E + F = 6 - 12 + 8 = 2.
$\chi(S^2) = 6 - 12 + 8 = 2$
3
Verify via Betti numbers: β₀=1 (connected), β₁=0 (simply connected), β₂=1 (one top cycle).
$\chi = 1 - 0 + 1 = 2 \checkmark$

✓ Answer

χ(S^2) = 2.

Practice Problems

Easyapplication

A connected surface has V=10 vertices, E=25 edges, F=? triangular faces. If χ = -2, how many faces does it have, and what surface is it?

Mediumproof writing

Prove that χ(X ∨ Y) = χ(X) + χ(Y) - 1 for connected spaces X and Y.

Common Mistakes

Common Mistake

The Euler characteristic depends on the triangulation.

The Euler characteristic is a topological invariant, independent of any triangulation or CW structure. Any two triangulations of the same space give the same V - E + F + ... value.

Common Mistake

χ = 0 means the space is trivial or contractible.

χ = 0 means the Betti numbers alternate-sum to zero. Many interesting spaces have χ = 0, including the torus (nontrivial), S^1, and odd-dimensional spheres.

Quiz

Historical Background

Euler discovered the formula V - E + F = 2 for convex polyhedra in 1752, but could not prove it rigorously. Legendre gave the first proof using spherical geometry in 1794. Lhuilier extended it to polyhedra with holes. Poincaré recognized the formula as an instance of a general topological invariant defined via Betti numbers, foreshadowing homology theory. The Gauss-Bonnet theorem, proved in the 19th century, connects χ to the integral of curvature.

1752
Euler states V - E + F = 2 for convex polyhedra
Euler
1794
Legendre gives first rigorous proof using spherical geometry
Legendre
1895
Poincaré defines Euler characteristic via Betti numbers
Poincaré
1926
Hopf proves the Poincaré-Hopf theorem on vector field indices
Hopf

Summary

The Euler characteristic χ(X) = Σ (-1)^n c_n for any CW structure equals the alternating sum of Betti numbers Σ (-1)^n β_n.
Key values: χ(S^n) = 1 + (-1)^n (=2 for even n, =0 for odd n); χ(Σ_g) = 2 - 2g for genus-g surfaces.
The product formula χ(X × Y) = χ(X) · χ(Y) and inclusion-exclusion χ(A ∪ B) = χ(A) + χ(B) - χ(A ∩ B).
Poincaré-Hopf: χ(M) equals the sum of indices of any vector field with isolated zeros on a smooth closed manifold.
Gauss-Bonnet: for surfaces, χ encodes the total Gaussian curvature.

References

BookHatcher, A. Algebraic Topology. Cambridge University Press, 2002. Section 2.2.
BookBredon, G. Topology and Geometry. Springer, 1993.
WebsiteWikipedia: Euler characteristic