Teorema de Borsuk-Ulam

De Viquipèdia
Dreceres ràpides: navegació, cerca

En matemàtiques, el teorema Borsuk-Ulam afirma que qualsevol funció contínua d'una n-esfera a l'espai euclidià de dimensió n fa correspondre algun parell de punts antipodals al mateix punt.

(Dos punts en una esfera s'anomenen antipodals si són exactament en direccions oposades des del centre de l'esfera.)

El cas n = 2 sovint s'il·lustra dient que a qualsevol moment que hi ha sempre un parell de punts antipodals a la superfície de la Terra amb temperatures iguals i pressions baromètriques iguals. Això suposa que la temperatura i la pressió baromètrica varien contínuament.

Stanisław Ulam va ser el primer a conjecturar el teorema i va ser demostrat per Karol Borsuk el 1933.

Hi ha una demostració elemental que el teorema de Borsuk-Ulam implica el Teorema del punt fix de Brouwer.[1]

Una afirmació més forta relativa al teorema Borsuk-Ulam és que totes les funcions que preserven les antípodes

tenen grau senar.

Corol·laris[modifica | modifica el codi]

  • Cap subconjunt de ℝn és homeomorf a Sn.
  • El Teorema de Lusternik-Schnirelmann: Si l'esfera Sn és recoberta per n+1 conjunts oberts, llavors un d'aquests conjunts conté un parell (x, −x) de punts antipodals. (això és equivalent al teorema de Borsuk-Ulam)
  • El Teorema de sandvitx de pernil: Per a qualssevol conjunts compactes en ℝn sempre es pot trobar un hiperplà que divideix cadascun d'ells en dos subconjunts de mesura igual.

Vegeu també[modifica | modifica el codi]


Referències[modifica | modifica el codi]

  • Borsuk, Karol «Drei Sätze über die n-dimensionale euklidische Sphäre» (en alemany). Fundamenta Mathematicae, 20, 1933, p. 177-190.
  • Matoušek, Jiří. Using the Borsuk–Ulam theorem (en anglès). Berlín: Springer-Verlag, 2003. ISBN 3-540-00362-2. 
  • Lyusternik, L.; Shnirel'man, S. «Topological Methods in Variational Problems» (en anglès). Issledowatelskii Institut Matematiki i Mechaniki pri O. M. G. U. [Moscow], 1930.
  • Hatcher, Allen. Algebraic Topology. 
  1. Borsuk–Ulam theorem implies the Brouwer fixed point theoremNoia 64 mimetypes pdf.pngPDF