Brouwer Fixed Point Theorem (Homological Proof)

Core Idea

The Brouwer fixed point theorem states that every continuous map f : Dⁿ -> Dⁿ has a fixed point: there exists x in Dⁿ with f(x) = x. The homological proof proceeds by contradiction: if f had no fixed point, we could construct a retraction r : Dⁿ -> S^n-1 = boundary(Dⁿ), but no such retraction exists because it would force the identity on H_{n-1}(S^n-1) = Z to factor through H_{n-1}(Dⁿ) = 0. This argument showcases how algebraic topology converts a geometric claim into an algebraic impossibility.

Explainer

The Brouwer fixed point theorem is one of the most famous results in topology, with applications across mathematics, economics (Nash equilibrium), and physics. The statement is simple: every continuous map from the closed n-disk Dⁿ to itself has at least one fixed point. The proof using homology is clean, elegant, and illustrates the "algebraic topology method" perfectly: assume the conclusion fails, derive an algebraic consequence, and show the algebraic consequence is impossible.

The proof has two steps. Step 1: show that if f : Dⁿ -> Dⁿ has no fixed point, then there exists a retraction r : Dⁿ -> S^n-1 (a continuous map that is the identity on S^n-1). Construction: for each x in Dⁿ, since f(x) != x, the ray from f(x) through x is well-defined and intersects S^n-1 at a unique point r(x). When x is already on S^n-1, the ray from f(x) through x hits the boundary at x itself (since f(x) is in Dⁿ, which is "behind" x relative to the outward direction). So r is the identity on S^n-1, making it a retraction.

Step 2: show that no retraction Dⁿ -> S^n-1 can exist. If r : Dⁿ -> S^n-1 is a retraction and i : S^n-1 hookrightarrow Dⁿ is the inclusion, then r compose i = id on S^n-1. On homology: r_* compose i_* = id_* on H_{n-1}(S^n-1) = Z. But i_* : H_{n-1}(S^n-1) -> H_{n-1}(Dⁿ), and H_{n-1}(Dⁿ) = 0 (since Dⁿ is contractible), so i_* is the zero map. Therefore r_* compose i_* = 0, but id_* is the identity on Z. The identity on Z is not the zero map. Contradiction.

This proof is a paradigm of the algebraic topology method. The original problem (existence of a fixed point) is a statement about continuous maps between geometric objects. Algebraic topology translates it into a statement about group homomorphisms (the identity on Z cannot factor through the zero group), which is obviously true. The "hard work" is done by the homology functor: it converts the geometric situation (no retraction exists) into an algebraic impossibility (a nonzero map cannot factor through zero). The proof works uniformly in all dimensions, unlike approaches based on the fundamental group (which only work in dimension 2) or on smooth approximation and Sard's theorem (which require more technical machinery).

The Brouwer theorem generalizes in several directions. The Lefschetz fixed point theorem replaces the disk with any compact polyhedron and gives a numerical criterion (the Lefschetz number) for the existence of fixed points. The Schauder fixed point theorem extends Brouwer to infinite-dimensional convex compact sets in Banach spaces. In economics, the Brouwer theorem (via its close relative, the Kakutani fixed point theorem) is the key ingredient in proving the existence of Nash equilibria in game theory. In numerical analysis, the Brouwer theorem guarantees the existence of solutions to certain systems of nonlinear equations. The homological proof not only establishes the theorem but explains WHY it is true: the disk has the "wrong" homology to admit a retraction onto its boundary.