The statement that any continuous map f from the n-sphere S^n to Euclidean n-space R^n maps some pair of antipodal points x and −x to the same image point: f(x)=f(−x).

Principle

Antipodal symmetry on spheres combined with continuity forces coincidence of images: a continuous map from a symmetric compact domain into a space of the same dimension cannot separate all antipodal pairs.

Demonstration

For n=1, a continuous map from the circle S^1 to R must take some pair of opposite points to the same real value; concretely, mapping angles to a continuous real function attains equal values at antipodes by an intermediate value-type argument.

Misapplication

Assuming the theorem holds for discontinuous maps, for maps into spaces of different dimension, or for domains that are not spheres; applying it to identify fixed points of non-antipodal symmetries without checking hypotheses.

Consequence

Produces many combinatorial and geometric corollaries (e.g., ham-sandwich type equipartition results, existence of coincident sensor readings), and links to index theory and obstruction theory in topology.

Reversal

Inverting the conclusion gives that maps from S^n to R^{n−1} need not identify antipodal points, illustrating that lowering target dimension removes the forced coincidence; conversely, dropping continuity can break the result completely.

Boundary

Requires a continuous map defined on the n-sphere and target Euclidean space of the same dimension; does not apply to maps from other manifolds, to equivariance under other groups without adaptation, or to non-Euclidean targets without reformulation.

Semantic Tension

Close to fixed-point and coincidence theorems but distinct: Borsuk–Ulam asserts existence of antipodal coincidences on spheres, whereas fixed-point theorems assert existence of x with f(x)=x; tension arises when relating dimension hypotheses and symmetry requirements.

Synthesis

Borsuk–Ulam formalizes that continuity and antipodal symmetry on an n-sphere force at least one antipodal pair to share the same image in R^n, yielding powerful topological and combinatorial consequences when symmetry and dimension align.