Informally, the BorsukâÂÂUlam theorem states that, for a "balloon animal" (or any arbitrarily distorted shape) made out of a spherical balloon, and then squashed into a plane (letting the air out somehow), at least one pair of points that were opposite each other on the original sphere will be squashed onto the same point of the plane.
More formally, every continuous map from the sphere to the plane maps some pair of antipodal points to the same point. An analogous statement is true in higher dimensions (see below).
Formally, the theorem states that every continuous function from an n-sphere into n-dimensional Euclidean space must map some pair of antipodal points to the same point. Two points on a sphere are called antipodal if they lie in exactly opposite directions from the centerâÂÂlike the North and South Poles.
The BorsukâÂÂUlam theorem has several equivalent statements in terms of odd functions. Recall that is the n-sphere and is the n-ball:
More compactly: if is continuous then there exists an such that: .
The case can be illustrated by saying that there always exist a pair of opposite points on the Earth's equator with the same temperature. The same is true for any circle. This assumes the temperature varies continuously in space, which is, however, not always the case.
The case is often illustrated by saying that at any moment, there is always a pair of antipodal points on the Earth's surface with equal temperatures and equal barometric pressures, assuming that both parameters vary continuously in space.
According to , the first historical mention of the statement of the BorsukâÂÂUlam theorem appears in . The first proof was given by , where the formulation of the problem was attributed to Stanisà Âaw Ulam. Since then, many alternative proofs have been found by various authors, as collected by .
The following statements are equivalent to the BorsukâÂÂUlam theorem.
A function is called odd (aka antipodal or antipode-preserving) if for every , .
The BorsukâÂÂUlam theorem is equivalent to each of the following statements:
(1) Each continuous odd function has a zero.
(2) There is no continuous odd function .
Here is a proof that the Borsuk-Ulam theorem is equivalent to (1):
() If the theorem is correct, then it is specifically correct for odd functions, and for an odd function, iff . Hence every odd continuous function has a zero.
() For every continuous function , the following function is continuous and odd: . If every odd continuous function has a zero, then has a zero, and therefore, .
To prove that (1) and (2) are equivalent, we use the following continuous odd maps:
The proof now writes itself.
We prove the contrapositive. If there exists a continuous odd function , then is a continuous odd function .
Again we prove the contrapositive. If there exists a continuous odd function , then is a continuous odd function .
The 1-dimensional case can easily be proved using the intermediate value theorem (IVT).
Let be the odd real-valued continuous function on a circle defined by . Pick an arbitrary . If then we are done. Otherwise, without loss of generality, But Hence, by the IVT, there is a point at which .
Assume that is an odd continuous function with (the case is treated above, the case can be handled using basic covering theory). By passing to orbits under the antipodal action, we then get an induced continuous function between real projective spaces, which induces an isomorphism on fundamental groups. By the Hurewicz theorem, the induced ring homomorphism on cohomology with coefficients [where denotes the field with two elements],
sends to . But then we get that is sent to , a contradiction.
One can also show the stronger statement that any odd map has odd degree and then deduce the theorem from this result.
The Borsuk–Ulam theorem can be proved from Tucker's lemma.
Let be a continuous odd function. Because g is continuous on a compact domain, it is uniformly continuous. Therefore, for every , there is a such that, for every two points of which are within of each other, their images under g are within of each other.
Define a triangulation of with edges of length at most . Label each vertex of the triangulation with a label in the following way:
Because g is odd, the labeling is also odd: . Hence, applying Tucker's lemma to a hemisphere of yields two adjacent vertices with opposite labels. Assume w.l.o.g. that the labels are . By the definition of l, this means that in both and , coordinate #1 is the largest coordinate: in this coordinate is positive while in it is negative. By the construction of the triangulation, the distance between and is at most , so in particular (since and have opposite signs) and so . But since the largest coordinate of is coordinate #1, this means that for each . So , where is some constant depending on and the norm which you have chosen.
The above is true for every ; since is compact there must hence be a point u in which .
Above we showed how to prove the BorsukâÂÂUlam theorem from Tucker's lemma. The converse is also true: it is possible to prove Tucker's lemma from the BorsukâÂÂUlam theorem. Therefore, these two theorems are equivalent.