« Home

Theorem. Borsuk–Ulam [math-000L]

If f:SnRnf : S^n \to \R^n is continuous then there exists a point xSnx \in S^n such that f(x)=f(x)f(x) = f(-x).

Lemma. [math-000M]

If f:SnRnf : S^n \to \R^n is continuous and antipode-preserving, then there exists a point xSnx \in S^n such that f(x)=0f(x) = 0.

Proof

Use standard stereographic projection, we can see NN and SS charts gives exactly the same coordinate system at equator (i.e. where its embedding coordinate (x1,,xn+1)(x_1, \dots, x_{n+1}) with xn+1=0x_{n+1} = 0). This also tells the equator is a Sn1S^{n-1} in Rn\R^n because x12++xn2=1x_1^2 + \dots + x_n^2 = 1.

By continuous and antipode-preserving, ff preserves such an equator (we denote EE) to Sn1S^{n-1} (with any deformation that still an antipode shape) and f(E)f(E) must bound a set contains 0Rn0 \in \R^n.

By continuous, both of two open sets of SnS^n, complement of EE, needs to be mapped to cover the subset of Rn\R^n which bounded by f(E)f(E), so there exists a point xSnx \in S^n such that f(x)=0f(x) = 0.

Proof

Define g(x)=f(x)f(x)g(x) = f(x) - f(-x), gg is continuous.

By

g(x)=f(x)f(x)=(f(x)f(x))=g(x)g(x) = f(x) - f(-x) = -(f(x) - f(-x)) = -g(-x)

gg is antipode-preserving.

By the lemma, there is a point xSnx \in S^n such that g(x)=0g(x) = 0, so f(x)f(x)=0f(x) - f(-x) = 0 then f(x)=f(x)f(x) = f(-x).