Ir al contenido

Teorema de la bola peluda

De Wikipedia, la enciclopedia libre
Si un campo vectorial sobre una esfera se simboliza por pelos de longitud constante, el teorema de la bola peluda estipula que la esfera contiene al menos un rizo. La figura contiene dos, uno en cada polo.

En matemática, y más precisamente en topología diferencial, el teorema de la bola peluda es un resultado que se aplica a esferas que en cada punto poseen un vector, visualizado como un «pelo» tangente a la superficie. Afirma que la función que asocia a cada punto de la esfera el vector admite al menos un punto de discontinuidad, lo que significa que el peinado contiene un «bucle» o «rizo», es decir que habrá zonas vacías (o calvicie).

De manera más rigurosa, un campo vectorial continuo definido sobre una esfera de dimensión par, al menos igual a 2, se anula en al menos un punto. Este resultado se relaciona con los llamados teoremas de punto fijo y tiene numerosas aplicaciones en áreas como la meteorología o la computación gráfica.

Representación intuitiva

[editar]

Se representa intuitivamente[1]​ una esfera recubierta por pelos lisos y no crespos, cada punto de la esfera es la raíz de un pelo. A continuación, se considera la proyección sobre el plano tangente a la esfera en el punto en que el pelo crece: el conjunto de estas proyecciones da una buena idea de un campo de vectores tangentes a la esfera. Lo que se busca entonces es "peinar" estos pelos alisándolos sobre la superficie de la bola, evitando las discontinuidades: el peinado no tiene raya, no se permite a ningún pelo cambiar bruscamente de dirección con respecto a los otros. El teorema afirma entonces que es imposible obtener este resultado: cualquier intento causará al menos un rizo, es decir un punto en que un pelo se parará.

Enunciado

[editar]

Teorema de la bola peluda

Si es un entero par al menos igual a , todo campo vectorial continuo sobre la esfera real se anula en un punto al menos; es decir que existe (que depende de ) tal que: .

Nota: en dimensión impar, sí es posible construir campos vectoriales continuos que no se anulan nunca.

Historia

[editar]

Este teorema fue demostrado por primera vez por Luitzen Egbertus Jan Brouwer en 1912.[2]​ La prueba generaliza los resultados obtenidos con anterioridad como el teorema de la curva de Jordan[3]​ o los trabajos de Leopold Kronecker sobre las funciones continuamente diferenciables de la esfera real de dimensión n- 1 en un espacio vectorial de dimensión n.[4]​ Estos resultados, aunque de formulación intuitiva, requieren para su demostración desarrollos a veces técnicos. Un ejemplo arquetípico de resultados de la misma naturaleza es el teorema del punto fijo de Brouwer, el cual enuncia que toda aplicación continua de una bola cerrada de un espacio vectorial euclidiano de dimensión finita en él mismo, admite un punto fijo.

Demostración

[editar]

Muchas de las demostraciones de este teorema son por «reducción al absurdo». Los formalismos matemáticos requeridos en algunas de ellas escapan a las pretensiones del presente artículo.[Ver bibliografía]

Demostración visual por el disco

[editar]

Es una demostración que utiliza el argumento del reductio ad absurdum (se pueden construir análogos tridimensionales: se quiere demostrar que no puede haber campo vectorial tangente y continuo, que no se anule nunca sobre la esfera ordinaria en el espacio tridimensional). Al razonar por el absurdo, se supone que sí existe una aplicación continua del disco unitario en él mismo, tal que es distinta de para cualquier del disco. Lo que se busca es fabricar una bola peluda sin rizo ni calvicie, y obtener así una contradicción.

Si se tiene una aplicación sin punto fijo, entonces cada punto del disco permite definir un vector no nulo, el vector . Intuitivamente, la idea es «plegar» una esfera cortada por la mitad, y hacerla coincidir exactamente con el semi-disco.

Al pegar nuevamente ambos hemisferios de la esfera, los campos tangentes se recomponen continuamente, obteniéndose así un «peinado» continuo y sin «calvicie», que es la contradicción deseada.

Formalización geométrica

[editar]

Se razona nuevamente por el absurdo. Dada una esfera, se eligen un polo norte y un polo sur, así como una orientación. De este modo se puede hablar de paralelos de la esfera y orientarlos de manera continua. Adicionalmente, se define un sistema referencial móvil tangente a la esfera. Se le puede asociar entonces a cada paralelo un número: el número de vueltas del campo vectorial en el sistema móvil a lo largo de ese paralelo. Este número está bien definido pues el campo vectorial no se anula; depende continuamente de la latitud del paralelo -según los resultados estándares sobre la continuidad del número de vueltas- y es entero. Por lo tanto es constante.

A continuación, se calcula el número de vueltas en la vecindad del polo norte, punto en que el sistema de referencia móvil cesa de estar definido. Para paliar esta dificultad, se proyectan a la vez el campo vectorial y es sistema móvil sobre el plano tangente al polo norte. La orientación de este plano tangente se deduce de la orientación de la esfera. Por continuidad, el número de vueltas no cambia y vale y vale o según la elección de la orientación de los paralelos.

Siguiendo un razonamiento similar en una vecindad del polo sur, el sistema móvil dará una vuelta alrededor del polo sur en el sentido de los paralelos, mas para mantener una orientación coherente con la de la esfera, en tanto que plano en el espacio de tres dimensiones, el plano tangente debe estar orientado en el sentido opuesto, y por lo tanto el número de vueltas será , lo cual es una contradicción.

Formalización analítica

[editar]

Para el desarrollo algebraico formal de las demostraciones expuestas, se puede tomar, por ejemplo, como un punto corriente de la esfera y el campo de vectores; a continuación se parametriza la esfera en coordenadas polares (suponiendo un radio 1):

con 0≤<2 y . El resultado muestra la contradicción esbozada, al calcular el número de vueltas del campo tangente, con una determinada orientación, en la vecindad de los polos.

Demostración de Milnor
Sea un campo vectorial contenido en y a valores en el espacio euclídeo de dimensión , con par.

Se demuestra por el absurdo que esta funcíón debe anularse forzosamente en al menos un punto de la esfera. Se nota la norma euclidiana de un vector de , y el producto escalar euclidiano de y , pertenecientes a .

Generalización

[editar]
En un toro la situación es diferente.

La demostración analítica debida a Milnor generaliza el teorema al caso de cualquier dimensión.[5]​ Una demostración ligeramente diferente es debida a A. Rogers.[6]

Otras pruebas se basan en conceptos de la topología algebraica; una demostración clásica utiliza la característica de Euler; también se puede formular como un caso particular del teorema de Poincaré-Hopf; otras pruebas se basan en propiedades de homotopía matemática (teorema de Borsuk-Ulam). En el caso de la esfera ordinaria, es posible deducir una demostración a partir del lema de Sperner.

Existe un argumento relacionado (en topología algebraica) que se basa en el número de Lefschetz y los números de Betti: en una 2-esfera, el número de componentes conectadas (número de Betti) son 1, 0, 1, 0, 0, ... Los números de Lefschetz (la traza total de homología) de la función identidad es igual a 2; al integrar el campo vectorial, se obtiene un difeomorfismo de la esfera. Se requiere algo más de trabajo riguroso para mostrar que, debido a que el número de Lefschetz no se anula, debe haber un punto en el que el campo vectorial sea cero.

La generalización del teorema está íntimamente conectada con la característica de Euler χ: la 2n-esfera no tiene un campo vectorial que no se anule para n ≥ 1. Esto es una consecuencia directa del teorema de Poincaré–Hopf. En el caso específico de un toro matemático, por ejemplo, la característica de Euler es 0, por lo que sí es posible obtener un peinado sin bucles ni zonas claras.

Aplicaciones y consecuencias

[editar]

Las consecuencias del teorema son numerosas y no se limitan a las matemáticas.

Teorema del punto fijo de Brouwer

[editar]

Es posible demostrar el teorema del punto fijo de Brouwer a partir del teorema de la bola peluda:

Sea un entero al menos igual a y la bola cerrada centrada en el origen de radio en el espacio euclídeo de dimensiones. Sea una aplicación continua de en ella misma. Entonces posee un punto fijo; en otras palabras, existe en tal que .

Corolario

[editar]

Una consecuencia del teorema de la bola peluda es que toda función continua que «mapee» una esfera en sí misma tiene o bien un punto fijo o bien un punto que se mapea en su punto antípodo. Esto se puede ver al transformar una función en un campo vectorial tangente y definiendo por ejemplo una proyección estereográfica de la función sobre la esfera. El teorema asegura qua habrá al menos un punto p para el cual la proyección será 0.

Meteorología

[editar]
Ojo del ciclón tropical.

El teorema tiene consecuencias en meteorología; se considera una modelización esquemática del viento como vector definido continuamente en cada punto sobre la superficie del planeta con atmósfera. Como una idealización, el viento tiene componentes vectoriales bidimensionales, y su movimiento a lo largo del eje vertical es nulo.

Bajo estas condiciones, la falta absoluta de viento corresponde a una solución posible: el campo de vectores nulos. Este escenario no presenta mayor interés desde el punto de vista del teorema, y es físicamente irrealista (viento siempre habrá). En el caso en que hay algo de viento, el teorema de la bola peluda dice que en todo momento debe haber al menos un punto en el planeta sin nada de viento.

En un sentido físico, esta zona de no viento corresponde al ojo de un ciclón o anticiclón (efecto observable, por ejemplo, en la vellosidad de una pelota de tenis, de forma espiral alrededor de esta zona). El teorema de la bola peluda impone la existencia permanente de un punto sobre la tierra en donde el viento se modeliza por un sistema arremolinado y, en su centro, un ojo.

Esta consecuencia se observa de hecho en la realidad. El teorema no dice nada sin embargo acerca de la talla del vórtice o la potencia de los vientos que lo rodean.

Computación gráfica

[editar]
Campo vectorial continuo tangente sobre una 2-esfera.

Un problema común en computación gráfica es el de generar, en el espacio tridimensional, un vector no nulo que sea ortogonal a una zona no nula dada. No existe una función continua que pueda hacer esto para todos los vectores no nulos dados. Este es un corolario del teorema de la bola peluda. Para verlo, puede considerarse el vector dado como el radio de una esfera: encontrar un vector ortogonal no nulo ortogonal a uno dado sería equivalente a encontrar un vector no nulo que sea tangente a la superficie de esa esfera. El teorema asegura que no existe una función continua que pueda definirse en cada punto de una esfera (i.e. para cada vector dado).

Véase también

[editar]

Notas y referencias

[editar]
  1. Benoît Rittaud, Le journal de maths des élèves, 1 (1994), ENS de Lyon [1] Archivado el 3 de marzo de 2016 en Wayback Machine.
  2. Luitzen Egbertus Jan Brouwer, Über Abbildung von Mannigfaltigkeiten Mathematische Annalen, 1912 [2]
  3. Este teorema enuncia que un bucle simple divide al plano en dos componentes conexas. Fue demostrado rigurosamente en 1905: Oswald Veblen, Theory on plane curves in non-metrical analysis situs, Transactions of the American Mathematical Society 6 (1905), pp. 83–98
  4. Leopold Kronecker Über Systeme von Funktionen mehrerer Variabeln Monatsber. Berlin Akad. 1869 pp. 159–193 y 688–698
  5. J. Milnor, Analytic proofs of the "hairy ball theorem" and the Brouwer fixed point, Am. Math. Monthly 85(1978)521-524.
  6. C. A. Rogers, A less strange version of Milnor's proof of Brouwer fixed point theorem, Amer. Math. Monthly 87(1980)525-527

Bibliografía

[editar]
  • J. W. Milnor, Topology from the differentiable viewpoint Princeton Univ. 1997 ISBN 069104833957. (en inglés)
  • N. E. Chinn W. G. Steenrod Topologie élémentaire Dunod 1991 ISBN 2040048480. (en francés)
  • M. Eisenberg, R. Guy, A Proof of the Hairy Ball Theorem The American Mathematical Monthly Vol. 86, No. 7 (Aug. — Sep., 1979), pp. 571–574. (en inglés)
  • Murray Eisenberg, Robert Guy, A Proof of the Hairy Ball Theorem, The American Mathematical Monthly, Vol. 86, No. 7 (Aug. - Sep., 1979), pp. 571–574. (en inglés)

Enlaces externos

[editar]