## [Borsuk–Ulam-Theorem](/de/node/63147) Definition Eins der Ergebnisse der algebraischen Topologie: Jede stetige Abbildung von der n‑Sphäre S^n in den euklidischen Raum R^n identifiziert mindestens ein antipodales Punktpaar, das heißt, es existiert x∈S^n mit f(x)=f(−x). ## Prinzip Prinzip Antipodale Symmetrie der Kugel erzwingt Übereinstimmungen unter stetigen Abbildungen in dieselbe Dimension: Paritäts- und Grad‑Obstruktionen verhindern die kontinuierliche Trennung aller antipodalen Paare. ## Demonstration Demonstration Für n=1 liefert jede stetige Abbildung S^1→R zwei gegenüberliegende Punkte mit gleichem Bild; allgemeiner folgt zum Beispiel der Ham‑Sandwich‑Satz aus Borsuk–Ulam durch geeignete Konstruktionen stetiger Abbildungen auf Sphären. ## Fehlanwendung Fehlanwendung Davon auszugehen, das Resultat gelte für Abbildungen in höherdimensionale Zielräume R^m mit m>n oder in nicht‑euklidische Ziele ohne Prüfung der Voraussetzungen; zu erwarten, das Theorem garantiere mehrere verschiedene Übereinstimmungen statt wenigstens einer antipodalen Übereinstimmung. ## Konsequenz Konsequenz Leistungsfähige kombinatorische und geometrische Folgerungen: faire‑division‑Sätze, Existenz antipodaler Übereinstimmungen in kontinuierlichen Parametrisierungen und viele Sätze der kombinatorischen Topologie folgen aus Borsuk–Ulam. ## Umkehrung Umkehrung Die Negation behauptet die Existenz einer stetigen antipoden‑trennenden Abbildung S^n→R^n; eine solche Abbildung existiert nicht, aber bei Erhöhung der Zielraumdimension oder Verlust der Stetigkeit wird Antipodentrennung möglich — dieser Gegensatz macht die Präzision des Satzes deutlich. ## Abgrenzung Abgrenzung Setzt Stetigkeit, Domain die n‑Sphäre und Codomain R^n voraus; Varianten und stärkere Schlussfolgerungen können Orientierungs‑ oder kohomologische Voraussetzungen benötigen. Der Satz gilt nicht unmittelbar für nicht‑antipodale Paare oder beliebige Mannigfaltigkeiten ohne Anpassung. ## Semantische Spannung Semantische Spannung Enge konzeptionelle Beziehung zu Brouwers Fixpunktsatz und Gradtheorie, aber andere Betonung: Borsuk–Ulam behandelt paarweise antipodale Übereinstimmungen, Brouwer die Existenz von Fixpunkten; in speziellen Situationen können die Aussagen miteinander verbunden sein. ## Synthese Synthese Borsuk–Ulam behauptet eine topologische Unvermeidlichkeit: Stetige Abbildungen S^n→R^n können nicht alle Antipoden trennen, es gibt wenigstens eine antipodale Übereinstimmung, wodurch ein vielseitiges Werkzeug für Existenzaussagen in Kombinatorik und Geometrie entsteht.