View source for Borsuk–Ulam theorem

{{short description|Theorem in topology}}
[[File:Antipodal.png|thumb|right|alt=mathematics, the Borsuk–Ulam theorem states that every continuous function from an n-sphere into Euclidean n-space maps some pair of antipodal points to the same point.|Antipodal]]
In [[mathematics]], the '''Borsuk–Ulam theorem''' states that every [[continuous function]] from an [[n-sphere|''n''-sphere]] into [[Euclidean space|Euclidean ''n''-space]] maps some pair of [[antipodal point]]s to the same point. Here, two points on a sphere are called antipodal if they are in exactly opposite directions from the sphere's center.
Formally: if <math>f: S^n \to \R^n</math> is continuous then there exists an <math>x\in S^n</math> such that:  <math>f(-x)=f(x)</math>.
The case <math>n=1</math> 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.<ref name=":0">{{Cite journal |last1=Jha |first1=Aditya |last2=Campbell |first2=Douglas |last3=Montelle |first3=Clemency |last4=Wilson |first4=Phillip L. |date=2023-07-30 |title=On the Continuum Fallacy: Is Temperature a Continuous Function? |journal=Foundations of Physics |language=en |volume=53 |issue=4 |pages=69 |doi=10.1007/s10701-023-00713-x |issn=1572-9516|doi-access=free }}</ref>
The case <math>n=2</math> 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.
The Borsuk–Ulam theorem has several equivalent statements in terms of [[odd function]]s. Recall that <math>S^n</math> is the [[n-sphere|''n''-sphere]] and <math>B^n</math> is the [[n-ball|''n''-ball]]:
* If <math>g : S^n \to \R^n</math> is a continuous odd function, then there exists an <math>x\in S^n</math> such that:  <math>g(x)=0</math>.
* If <math>g : B^n \to \R^n</math> is a continuous function which is odd on <math>S^{n-1}</math> (the boundary of <math>B^n</math>), then there exists an <math>x\in B^n</math> such that:  <math>g(x)=0</math>.
==History==
According to {{harvtxt|Matoušek|2003|p=25}}, the first historical mention of the statement of the Borsuk–Ulam theorem appears in {{harvtxt|Lyusternik|Shnirel'man|1930}}.  The first proof was given by {{harvs|first=Karol|last=Borsuk|authorlink=Karol Borsuk|year=1933|txt}}, 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 {{harvtxt|Steinlein|1985}}.
==Equivalent statements==
The following statements are equivalent to the Borsuk–Ulam theorem.<ref name=prescott2002>{{cite thesis |title=Extensions of the Borsuk–Ulam Theorem |type=BS |publisher=Harvey Mudd College |date=2002 |author=Prescott, Timothy |citeseerx=10.1.1.124.4120}}</ref>
=== With odd functions ===
A function <math>g</math> is called ''odd'' (aka ''antipodal'' or ''antipode-preserving'') if for every <math>x</math>: <math>g(-x)=-g(x)</math>.
The Borsuk–Ulam theorem is equivalent to the following statement: A continuous odd function from an ''n''-sphere into Euclidean ''n''-space has a zero. PROOF:
* If the theorem is correct, then it is specifically correct for odd functions, and for an odd function, <math>g(-x)=g(x)</math> iff <math>g(x)=0</math>. Hence every odd continuous function has a zero.
* For every continuous function <math>f</math>, the following function is continuous and odd: <math>g(x)=f(x)-f(-x)</math>. If every odd continuous function has a zero, then <math>g</math> has a zero, and therefore, <math>f(x)=f(-x)</math>. Hence the theorem is correct.
=== With retractions ===
Define a ''retraction'' as a function <math>h: S^n \to S^{n-1}.</math> The Borsuk–Ulam theorem is equivalent to the following claim: there is no continuous odd retraction.
Proof: If the theorem is correct, then every continuous odd function from <math>S^n</math> must include 0 in its range. However,  <math>0 \notin S^{n-1}</math> so there cannot be a continuous odd function whose range is <math>S^{n-1}</math>.
Conversely, if it is incorrect, then there is a continuous odd function <math>g: S^n \to \Bbb{R}^n</math> with no zeroes. Then we can construct another odd function <math>h: S^n \to S^{n-1}</math> by:
:<math>h(x)=\frac{g(x)}{|g(x)|}</math>
since <math>g</math> has no zeroes, <math>h</math> is well-defined and continuous. Thus we have a continuous odd retraction.
== Proofs ==
===1-dimensional case===
The 1-dimensional case can easily be proved using the [[intermediate value theorem]] (IVT).
Let <math>g</math> be the odd real-valued continuous function on a circle defined by <math>g(x)=f(x)-f(-x)</math>. Pick an arbitrary <math>x</math>. If <math>g(x)=0</math> then we are done. Otherwise, without loss of generality, <math>g(x)>0.</math> But <math>g(-x)<0.</math> Hence, by the IVT, there is a point <math>y</math> at which <math>g(y)=0</math>.
===General case===
====Algebraic topological proof====
Assume that <math>h: S^n \to S^{n-1}</math> is an odd continuous function with <math>n > 2</math> (the case <math>n = 1</math> is treated above, the case <math>n = 2</math> can be handled using basic [[Covering space|covering theory]]). By passing to orbits under the antipodal action, we then get an induced continuous function <math>h': \mathbb{RP}^n \to \mathbb{RP}^{n-1}</math> between [[Real projective space|real projective spaces]], which induces an isomorphism on [[Fundamental group|fundamental groups]]. By the [[Hurewicz theorem]], the induced [[ring homomorphism]] on [[cohomology]] with <math>\mathbb F_2</math> coefficients [where <math>\mathbb F_2</math> denotes the [[GF(2)|field with two elements]]],
:<math> \mathbb F_2[a]/a^{n+1} = H^*\left(\mathbb{RP}^n; \mathbb{F}_2\right) \leftarrow H^*\left(\mathbb{RP}^{n-1}; \mathbb F_2\right) = \mathbb F_2[b]/b^{n},</math>
sends <math>b</math> to <math>a</math>. But then we get that <math>b^n = 0</math> is sent to <math>a^n \neq 0</math>, a contradiction.<ref name=rotman>Joseph J. Rotman, ''An Introduction to Algebraic Topology'' (1988) Springer-Verlag {{ISBN|0-387-96678-1}} ''(See Chapter 12 for a full exposition.)''</ref>
One can also show the stronger statement that any odd map <math>S^{n-1} \to S^{n-1}</math> has odd [[degree of a continuous mapping|degree]] and then deduce the theorem from this result.
====Combinatorial proof====
The Borsuk&ndash;Ulam theorem can be proved from [[Tucker's lemma]].<ref name=prescott2002/><ref name=FreundTodd1982>{{Cite journal|doi=10.1016/0097-3165(81)90027-3 | year=1982| volume=30 | issue=3| title=A constructive proof of Tucker's combinatorial lemma | journal=[[Journal of Combinatorial Theory]] | series=Series A | pages=321–325|author1=Freund, Robert M.|author2=Todd, Michael J.| doi-access=free}}</ref><ref name=SimmonsSu2003>{{Cite journal|author1 = Simmons, Forest W.| author2=Su, Francis Edward | doi=10.1016/s0165-4896(02)00087-2 |year=2003| volume=45 | title=Consensus-halving via theorems of Borsuk&ndash;Ulam and Tucker | journal=Mathematical Social Sciences | pages=15–25| hdl=10419/94656 | url=https://scholarship.claremont.edu/hmc_fac_pub/677 | hdl-access=free }}</ref>
Let <math>g : S^n \to \R^n</math> be a continuous odd function. Because ''g'' is continuous on a [[Compact space|compact]] domain, it is [[uniformly continuous]]. Therefore, for every <math>\epsilon > 0</math>, there is a <math>\delta > 0</math> such that, for every two points of <math>S_n</math> which are within <math>\delta</math> of each other, their images under ''g'' are within <math>\epsilon</math> of each other.
Define a triangulation of <math>S_n</math> with edges of length at most <math>\delta</math>. Label each vertex <math>v</math> of the triangulation with a label <math>l(v)\in {\pm 1, \pm 2, \ldots, \pm n}</math> in the following way:
* The absolute value of the label is the ''index'' of the coordinate with the highest absolute value of ''g'': <math>|l(v)| = \arg\max_k (|g(v)_k|)</math>.
* The sign of the label is the sign of ''g'', so that: <math>l(v) = \sgn (g(v)) |l(v)|</math>.
Because ''g'' is odd, the labeling is also odd: <math>l(-v) = -l(v)</math>. Hence, by Tucker's lemma, there are two adjacent vertices <math>u, v</math> with opposite labels. Assume w.l.o.g. that the labels are <math>l(u)=1, l(v)=-1</math>. By the definition of ''l'', this means that in both <math>g(u)</math> and <math>g(v)</math>, coordinate #1 is the largest coordinate: in <math>g(u)</math> this coordinate is positive while in <math>g(v)</math> it is negative. By the construction of the triangulation, the distance between <math>g(u)</math> and <math>g(v)</math> is at most <math>\epsilon</math>, so in particular <math>|g(u)_1 - g(v)_1| = |g(u)_1| + |g(v)_1| \leq \epsilon </math> (since <math>g(u)_1</math> and <math>g(v)_1</math> have opposite signs) and so <math>|g(u)_1| \leq \epsilon</math>. But since the largest coordinate of <math>g(u)</math> is coordinate #1, this means that  <math>|g(u)_k| \leq \epsilon</math> for each  <math>1 \leq k \leq n</math>. So <math>|g(u)| \leq c_n \epsilon</math>, where <math>c_n </math> is some constant depending on <math>n </math> and the norm <math>|\cdot| </math> which you have chosen.
The above is true for every <math>\epsilon > 0</math>; since  <math>S_n</math> is compact there must hence be a point ''u'' in which <math>|g(u)|=0</math>.
== Corollaries==
* No subset of <math>\R^n</math> is [[homeomorphic]] to <math>S^n</math>
* The [[ham sandwich theorem]]: For any [[Compact space|compact]] sets ''A''<sub>1</sub>, ..., ''A<sub>n</sub>'' in <math>\R^n</math> we can always find a hyperplane dividing each of them into two subsets of equal measure.
== Equivalent results ==
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.
{{Analogous fixed-point theorems}}
== Generalizations ==
* In the original theorem, the domain of the function ''f'' is the unit ''n''-sphere (the boundary of the unit ''n''-ball). In general, it is true also when the domain of ''f'' is the boundary of any open bounded symmetric subset of <math>\R^n</math> containing the origin (Here, symmetric means that if ''x'' is in the subset then -''x'' is also in the subset).<ref>{{springer|title=Borsuk fixed-point theorem|id=p/b110770}}</ref>
* More generally, if <math>M</math> is a compact ''n''-dimensional [[Riemannian manifold]], and <math>f: M \rightarrow \mathbb{R}^n</math> is continuous, there exists a pair of points ''x'' and ''y'' in <math>M</math> such that <math>f(x) = f(y)</math> and ''x'' and ''y'' are joined by a geodesic of length <math>\delta</math>, for any prescribed <math>\delta > 0</math>.<ref>{{cite journal |last=Hopf |first=H. |year=1944 |title=Eine Verallgemeinerung bekannter Abbildungs-und Überdeckungssätze |journal=Portugaliae Mathematica}}</ref><ref>{{cite journal |last1=Malyutin |first1=A. V. |last2=Shirokov |first2=I. M. |year=2023 |title=Hopf-type theorems for f-neighbors |journal=Sib. Èlektron. Mat. Izv |volume=20 |issue=1 |pages=165–182}}</ref>
* Consider the function ''A'' which maps a point to its antipodal point: <math>A(x) = -x.</math> Note that <math>A(A(x))=x.</math> The original theorem claims that there is a point ''x'' in which <math>f(A(x))=f(x).</math> In general, this is true also for every function ''A'' for which <math>A(A(x))=x.</math><ref>{{cite journal|doi=10.2307/1969632 |author=Yang, Chung-Tao | year= 1954|volume=60 |issue=2 | title=On Theorems of Borsuk-Ulam, Kakutani-Yamabe-Yujobo and Dyson, I | journal=[[Annals of Mathematics]] | pages=262–282|jstor=1969632 }}</ref> However, in general this is not true for other functions ''A''.<ref>{{cite web | url=https://mathoverflow.net/q/61141 | title=Generalization of Borsuk-Ulam | publisher=Math Overflow | access-date=18 May 2015 | author=Jens Reinhold, Faisal | author2=Sergei Ivanov}}</ref>
==See also==
* [[Topological combinatorics]]
* [[Necklace splitting problem]]
* [[Ham sandwich theorem]]
* [[Kakutani's theorem (geometry)]]
* [[Imre Bárány]]
==Notes==
{{reflist}}
== References ==
* {{cite journal| first=Karol| last=Borsuk|title=Drei Sätze über die ''n''-dimensionale euklidische Sphäre| journal=[[Fundamenta Mathematicae]]| volume=20|year=1933|pages=177&ndash;190| author-link=Karol Borsuk| url=http://matwbn.icm.edu.pl/ksiazki/fm/fm20/fm20117.pdf |archive-url=https://ghostarchive.org/archive/20221009/http://matwbn.icm.edu.pl/ksiazki/fm/fm20/fm20117.pdf |archive-date=2022-10-09 |url-status=live| language=de| doi=10.4064/fm-20-1-177-190| doi-access=free}}
* {{cite journal|first1=Lazar|last1=Lyusternik|author-link1=Lazar Lyusternik|first2=Lev|last2=Shnirel'man|author-link2=Lev Schnirelmann|title=Topological Methods in Variational Problems|journal=Issledowatelskii Institut Matematiki I Mechaniki Pri O. M. G. U.|location=Moscow|year=1930}}
* {{cite book| author-link=Jiří Matoušek (mathematician)| first=Jiří |last=Matoušek| title=Using the Borsuk–Ulam theorem|title-link=Using the Borsuk–Ulam Theorem|publisher=Springer Verlag|location=Berlin|year=2003|isbn=978-3-540-00362-5|doi=10.1007/978-3-540-76649-0}}
* {{cite journal|first=H.|last=Steinlein|title=Borsuk's antipodal theorem and its generalizations and applications: a survey. Méthodes topologiques en analyse non linéaire|journal=Sém. Math. Supér. Montréal, Sém. Sci. OTAN (NATO Adv. Study Inst.) |volume= 95|year=1985|pages=166–235}}
* {{cite journal | title = Borsuk-Ulam Implies Brouwer: A Direct Construction | first = Francis Edward | last = Su | journal = The American Mathematical Monthly | volume = 104 | number = 9 | date = Nov 1997 | pages = 855&ndash;859 | url = http://www.math.hmc.edu/~su/papers.dir/borsuk.pdf | doi = 10.2307/2975293 | jstor = 2975293 | citeseerx = 10.1.1.142.4935 | access-date = 2006-04-21 | archive-url = https://web.archive.org/web/20081013051302/http://www.math.hmc.edu/~su/papers.dir/borsuk.pdf | archive-date = 2008-10-13 | url-status = dead }}
==External links==
*{{YouTube|FhSFkLhDANA|Who (else) cares about topology? Stolen necklaces and Borsuk-Ulam }}
*[http://julius-ross.com/Borsuk-Ulam/ The Borsuk-Ulam Explorer]. An interactive illustration of Borsuk-Ulam Theorem.
{{DEFAULTSORT:Borsuk-Ulam Theorem}}
[[Category:Theorems in algebraic topology]]
[[Category:Combinatorics]]
[[Category:Theory of continuous functions]]
[[Category:Theorems in topology]]