Borsuk–Ulam Theorem

For every continuous function f from the n-sphere Sⁿ to the n-dimensional real Euclidean space Rⁿ, there is a point x on Sⁿ such that f(x) = f(−x). The points x and −x are antipodal: they lie opposite one another on the sphere. In the two-dimensional sphere case, this means any continuous assignment of two real measurements to each point on Earth has some pair of diametrically opposite locations with matching values, such as temperature and barometric pressure, under the continuity assumption.

The theorem is an existence statement: it guarantees that a matching antipodal pair occurs but does not generally identify where it is. Its one-dimensional circle version can be understood by comparing a point with the point opposite it while moving both around the circle; if their values switch order, continuity entails equality somewhere along the way. The general theorem is a central result in topology and is associated with the study of symmetry and continuous mappings.

A classical application is the ham sandwich theorem: n compact sets in n-dimensional Euclidean space can be simultaneously bisected by one hyperplane of dimension n−1. This is one illustration of the theorem’s use in geometry and combinatorics. The result is associated with Polish mathematician Karol Borsuk, whose 1933 paper “Drei Sätze über die n-dimensionale euklidische Sphäre” appeared in Fundamenta Mathematicae. The formal attribution “Borsuk–Ulam” reflects the theorem’s later development and naming.