En matemáticas , el teorema de Borsuk-Ulam establece que toda función continua desde una n -esfera al espacio n euclidiano asigna algún par de puntos antípodas al mismo punto. Aquí, dos puntos en una esfera se llaman antípodas si están en direcciones exactamente opuestas al centro de la esfera.
Formalmente: si es continuo entonces existe tal que: .
El caso se puede ilustrar diciendo que siempre existen un par de puntos opuestos en el ecuador de la Tierra con la misma temperatura. Lo mismo ocurre con cualquier círculo. Esto supone que la temperatura varía continuamente en el espacio, lo que, sin embargo, no siempre es así. [1]
El caso se ilustra a menudo diciendo que en cualquier momento siempre hay un par de puntos antípodas en la superficie de la Tierra con temperaturas iguales y presiones barométricas iguales, suponiendo que ambos parámetros varían continuamente en el espacio.
El teorema de Borsuk-Ulam tiene varios enunciados equivalentes en términos de funciones impares . Recuerde que es la n -esfera y es la n -bola :
Si es una función impar continua, entonces existe una tal que: .
Si es una función continua que es impar en (el límite de ), entonces existe tal que: .
Historia
Según Matoušek (2003, p. 25), la primera mención histórica del enunciado del teorema de Borsuk-Ulam aparece en Lyusternik & Shnirel'man (1930). La primera prueba la dio Karol Borsuk (1933), donde se atribuyó la formulación del problema a Stanisław Ulam . Desde entonces, varios autores han encontrado muchas pruebas alternativas, como recoge Steinlein (1985).
Declaraciones equivalentes
Las siguientes afirmaciones son equivalentes al teorema de Borsuk-Ulam. [2]
Con funciones impares
Una función se llama impar (también conocida como antípoda o preservadora de antípodas ) si para cada :.
El teorema de Borsuk-Ulam es equivalente a la siguiente afirmación: Una función impar continua desde una n -esfera al espacio n euclidiano tiene un cero. PRUEBA:
Si el teorema es correcto, entonces es específicamente correcto para funciones impares y para una función impar, si y solo . Por tanto, toda función continua impar tiene un cero.
Para toda función continua , la siguiente función es continua e impar: . Si toda función continua impar tiene un cero, entonces tiene un cero y, por lo tanto, . Por tanto el teorema es correcto.
Con retracciones
Definir una retracción como una función El teorema de Borsuk-Ulam es equivalente a la siguiente afirmación: no hay retracción impar continua.
Prueba: si el teorema es correcto, entonces toda función impar continua de debe incluir 0 en su rango. Sin embargo, no puede haber una función impar continua cuyo rango sea .
Por el contrario, si es incorrecto, entonces hay una función impar continua sin ceros. Entonces podemos construir otra función impar así:
ya que no tiene ceros, está bien definido y es continuo. Así tenemos una retracción impar continua.
Sea la función continua impar de valor real en un círculo definido por . Elija un arbitrario . Si entonces hemos terminado. De lo contrario, sin pérdida de generalidad, pero por lo tanto, según la IVT, hay un punto entre y en el cual .
envía a . Pero luego obtenemos que se envía a , una contradicción. [3]
También se puede demostrar la afirmación más contundente de que cualquier aplicación impar tiene grado impar y luego deducir el teorema a partir de este resultado.
Prueba combinatoria
El teorema de Borsuk-Ulam se puede demostrar a partir del lema de Tucker . [2] [4] [5]
Sea una función impar continua. Como g es continua en un dominio compacto , es uniformemente continua . Por lo tanto, para cada , existe tal que, por cada dos puntos que están uno dentro del otro, sus imágenes bajo g están una dentro de la otra.
Defina una triangulación de con aristas de longitud como máximo . Etiquete cada vértice de la triangulación con una etiqueta de la siguiente manera:
El valor absoluto de la etiqueta es el índice de la coordenada con el valor absoluto más alto de g :.
El signo de la etiqueta es el signo de g , de modo que: .
Como g es impar, el etiquetado también es impar: . Por tanto, según el lema de Tucker, hay dos vértices adyacentes con etiquetas opuestas. Supongamos que las etiquetas son . Según la definición de l , esto significa que en ambos y , la coordenada #1 es la coordenada más grande: en esta coordenada es positiva mientras que en es negativa. Por la construcción de la triangulación, la distancia entre y es como máximo , entonces en particular (ya que y tienen signos opuestos) y entonces . Pero como la coordenada más grande de es la coordenada #1, esto significa que para cada . Entonces , ¿dónde hay alguna constante dependiendo de la norma que haya elegido?
Lo anterior es cierto para todos ; dado que es compacto, debe haber un punto u en el que .
El teorema del sándwich de jamón : Para cualquier conjunto compacto A 1 , ..., An siempre podemos encontrar un hiperplano que divida cada uno de ellos en dos subconjuntos de igual medida .
Resultados equivalentes
Arriba mostramos cómo demostrar el teorema de Borsuk-Ulam a partir del lema de Tucker. Lo contrario también es cierto: es posible demostrar el lema de Tucker a partir del teorema de Borsuk-Ulam. Por tanto, estos dos teoremas son equivalentes. Hay varios teoremas de punto fijo que vienen en tres variantes equivalentes: una variante de topología algebraica , una variante combinatoria y una variante de cobertura de conjuntos. Cada variante se puede demostrar por separado utilizando argumentos totalmente diferentes, pero cada variante también se puede reducir a las demás variantes de su fila. Además, cada resultado de la fila superior se puede deducir del que se encuentra debajo en la misma columna. [6]
Generalizaciones
En el teorema original, el dominio de la función f es la unidad n -esfera (el límite de la unidad n -bola). En general, también es cierto cuando el dominio de f es el límite de cualquier subconjunto simétrico acotado abierto que contenga el origen (aquí, simétrico significa que si x está en el subconjunto, entonces - x también está en el subconjunto). [7]
Considere la función A que asigna un punto a su punto antípoda: Tenga en cuenta que el teorema original afirma que hay un punto x en el que En general, esto también es cierto para toda función A para la cual [8] Sin embargo, en general esto no es cierto cierto para otras funciones A . [9]
^ Jha, Aditya; Campbell, Douglas; Montelle, Clemencia; Wilson, Phillip L. (30 de julio de 2023). "Sobre la falacia del continuo: ¿es la temperatura una función continua?". Fundamentos de la Física . 53 (4): 69. doi : 10.1007/s10701-023-00713-x . ISSN 1572-9516.
^ ab Prescott, Timoteo (2002). Extensiones del teorema de Borsuk-Ulam (BS). Universidad Harvey Mudd. CiteSeerX 10.1.1.124.4120 .
^ Joseph J. Rotman, Introducción a la topología algebraica (1988) Springer-Verlag ISBN 0-387-96678-1 (consulte el capítulo 12 para obtener una exposición completa).
^ Freund, Robert M.; Todd, Michael J. (1982). "Una prueba constructiva del lema combinatorio de Tucker". Revista de teoría combinatoria . Serie A. 30 (3): 321–325. doi : 10.1016/0097-3165(81)90027-3 .
^ Simmons, bosque W.; Su, Francis Edward (2003). "Reducción del consenso a la mitad mediante teoremas de Borsuk-Ulam y Tucker". Ciencias Sociales Matemáticas . 45 : 15–25. doi :10.1016/s0165-4896(02)00087-2. hdl : 10419/94656 .
^ Nyman, Kathryn L.; Su, Francis Edward (2013), "Un equivalente de Borsuk-Ulam que implica directamente el lema de Sperner", The American Mathematical Monthly , 120 (4): 346–354, doi :10.4169/amer.math.monthly.120.04.346, JSTOR 10.4169/amer.math.monthly.120.04.346, MR 3035127
^ Yang, Chung-Tao (1954). "Sobre los teoremas de Borsuk-Ulam, Kakutani-Yamabe-Yujobo y Dyson, I". Anales de Matemáticas . 60 (2): 262–282. doi :10.2307/1969632. JSTOR 1969632.
^ Jens Reinhold, Faisal; Serguéi Ivanov. "Generalización de Borsuk-Ulam". Desbordamiento matemático . Consultado el 18 de mayo de 2015 .
Referencias
Borsuk, Karol (1933). "Drei Sätze über die n-dimensionale euklidische Sphäre" (PDF) . Fundamenta Mathematicae (en alemán). 20 : 177-190. doi : 10.4064/fm-20-1-177-190 . Archivado (PDF) desde el original el 9 de octubre de 2022.
Lyusternik, Lazar ; Shnirel'man, Lev (1930). "Métodos topológicos en problemas variacionales". Issledowatelskii Institut Matematiki I Mechaniki Pri OMG U. Moscú.
Steinlein, H. (1985). "El teorema de las antípodas de Borsuk y sus generalizaciones y aplicaciones: un estudio. Méthodes topologiques en analyse non linéaire". Sém. Matemáticas. Súper. Montreal, Sém. Ciencia. OTAN (Instituto de Estudios Avanzados de la OTAN) . 95 : 166–235.
Su, Francis Edward (noviembre de 1997). "Borsuk-Ulam implica Brouwer: una construcción directa" (PDF) . El Mensual Matemático Estadounidense . 104 (9): 855–859. CiteSeerX 10.1.1.142.4935 . doi :10.2307/2975293. JSTOR 2975293. Archivado desde el original (PDF) el 13 de octubre de 2008 . Consultado el 21 de abril de 2006 .
enlaces externos
¿A quién (más) le importa la topología? Collares robados y Borsuk-Ulam en YouTube
El explorador Borsuk-Ulam. Una ilustración interactiva del teorema de Borsuk-Ulam.