## [Théorème de Borsuk–Ulam](/fr/node/63147) Définition Énoncé de topologie algébrique : toute application continue de la n‑sphère S^n dans l'espace euclidien R^n identifie au moins une paire de points antipodaux, c'est‑à‑dire qu'il existe x dans S^n tel que f(x)=f(−x). ## Principe Principe La symétrie antipodale de la sphère impose des coïncidences sous des projections continues de la même dimension : des phénomènes de parité et d'obstruction de degré empêchent de séparer continûment les paires antipodales. ## Démonstration Démonstration Pour n=1, une application continue S^1→R force deux points opposés à partager la même valeur réelle ; de façon générale, le théorème du sandwich jambon‑beurre (ham‑sandwich) et des résultats d'équipartition se déduisent de Borsuk–Ulam par des constructions appropriées de cartes continues sur des sphères. ## Mauvaise application Mauvaise application Prétendre que l'énoncé vaut pour des applications vers des codomaines de dimension supérieure R^m avec m>n ou vers des cibles non euclidiennes sans vérifier les hypothèses ; croire qu'il garantit plusieurs coïncidences distinctes plutôt qu'au moins une coïncidence antipodale. ## Conséquence Conséquence Corollaires puissants en combinatoire et géométrie : partages équitables, existence de coïncidences antipodales dans des paramétrisations continues, et de nombreux théorèmes de topologie combinatoire se réduisent à des instances de Borsuk–Ulam. ## Inversion Inversion La négation affirmerait l'existence d'une application continue séparant les antipodes S^n→R^n ; une telle application n'existe pas, mais lorsque la dimension du codomaine augmente ou que la continuité fait défaut, la séparation antipodale devient possible — ce contraste montre la précision du théorème. ## Limite Limite Exige la continuité, pour domaine la n‑sphère et codomaine R^n ; des variantes et conclusions plus fortes peuvent requérir des hypothèses d'orientation ou cohomologiques. Il ne concerne pas les paires non antipodales ni les variétés arbitraires sans adaptation. ## Tension sémantique Tension sémantique Lien conceptuel avec le théorème du point fixe de Brouwer et la théorie du degré, mais accent différent : Borsuk–Ulam porte sur coïncidences antipodales par paires tandis que Brouwer assure l'existence de points fixes pour des applications de la boule en elle‑même ; dans des contextes précis l'un peut impliquer l'autre. ## Synthèse Synthèse Borsuk–Ulam affirme une inévitabilité topologique : les applications continues S^n→R^n ne peuvent pas séparer tous les antipodes; il existe au moins une coïncidence antipodale, fournissant un outil polyvalent pour des énoncés d'existence en combinatoire et géométrie.