Borsuk-Ulam Theorem

Algebraic Topology · Axiom Academy

LESSON The Borsuk-Ulam Theorem A fundamental result connecting topology and combinatorics with surprising real-world applications The theorem concerns continuous maps from spheres to Euclidean space. The n-sphere S n is the set of points in (n+1)-dimensional space at unit distance from the origin. Two points on a sphere are antipodal if they are directly opposite, connected by a line through the center. In dimension 2, this says: for any continuous function from the 2-sphere (like Earth's surface) to the plane ℝ², there must be two antipodal points that map to the same point. 2. Proof Sketch Using Degree Theory The proof relies on the concept of degree from algebraic topology. The degree measures how many times a map wraps a sphere around itself. Construction: If f(x) ≠ f(-x) for all x, define: This map takes each pair (x, f(x)) and (-x, f(-x)) and maps them to opposite directions on S n-1 . The key steps are: g is well-defined and continuous: Since f(x) ≠ f(-x), the denominator is never zero. g is antipodal-preserving: g(-x) = -g(x) by construction. Contradiction: An antipodal-preserving map S n → S n-1 has odd degree when composed with projection, but such a map cannot exist! One of the most famous corollaries of the Borsuk-Ulam theorem is the Ham Sandwich Theorem , which guarantees fair divisions in geometric measure theory.

This is the written version of the interactive lesson above. See the full Algebraic Topology course.