Satz von Borsuk-Ulam

Der Satz von Borsuk-Ulam besagt, dass jede stetige Funktion von einer ${\displaystyle n}$-Sphäre ${\displaystyle S^{n}}$ in den ${\displaystyle n}$-dimensionalen euklidischen Raum ein Paar von antipodalen Punkten auf denselben Punkt abbildet. (Zwei Punkte einer Sphäre heißen antipodal, wenn sie in genau entgegengesetzten Richtungen vom Mittelpunkt liegen.)

Der Fall ${\displaystyle n=2}$ wird oft dadurch erläutert, dass zu jedem Zeitpunkt ein Paar von antipodalen Punkten auf der Erdoberfläche mit gleichen Temperaturen und gleichem Luftdruck existieren. Dies setzt voraus, dass Temperatur und Luftdruck stetige Funktionen sind.

Der Satz von Borsuk-Ulam wurde von Stanisław Ulam vermutet und 1933 durch Karol Borsuk bewiesen. Es ist möglich, aus dem Satz von Borsuk-Ulam auf elementare Weise den brouwerschen Fixpunktsatz herzuleiten. Es gibt verschiedene Verallgemeinerungen des Satzes, so dass man von Sätzen vom Borsuk-Ulam-Typ spricht.