Teorema de la Bola Peluda

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.
�ndice

1 Representaci�n intuitiva
2 Enunciado
3 Historia
4 Demostraci�n
4.1 Demostraci�n visual por el disco
4.2 Formalizaci�n geom�trica
4.3 Formalizaci�n anal�tica
5 Generalizaci�n
6 Aplicaciones y consecuencias
6.1 Teorema del punto fijo de Brouwer
6.2 Corolario
6.3 Meteorolog�a
6.4 Computaci�n gr�fica
7 V�ase tambi�n
8 Notas y referencias
9 Bibliograf�a
10 Enlaces externos

Representaci�n intuitiva

Se representa intuitivamente1? 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

Teorema de la bola peluda

Si n {\displaystyle n\ } n\ es un entero par al menos igual a 2

{\displaystyle 2\ } {\displaystyle 2\ }, todo campo vectorial continuo X
{\displaystyle X\ } {\displaystyle X\ } sobre la esfera real S n {\displaystyle
S_{n}\ } {\displaystyle S_{n}\ } se anula en un punto al menos; es decir que existe
v {\displaystyle v\ } {\displaystyle v\ } (que depende de X {\displaystyle X\ }
{\displaystyle X\ }) tal que: X ( v ) = 0 {\displaystyle X(v)=0\ } {\displaystyle
X(v)=0\ }.

Nota: en dimensi�n impar, s� es posible construir campos vectoriales continuos que

no se anulan nunca.
Historia
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 Jordan3? 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

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

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 f {\displaystyle f\ } f\ del disco unitario en �l mismo, tal
que f ( x ) {\displaystyle f(x)\ } {\displaystyle f(x)\ } es distinta de x
{\displaystyle x\ } x\ para cualquier x {\displaystyle x\ } x\ 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 f {\displaystyle f\ } f\ sin punto fijo, entonces cada

punto x {\displaystyle x\ } x\ del disco permite definir un vector no nulo, el
vector f ( x ) - x {\displaystyle f(x)-x\ } {\displaystyle f(x)-x\ }.
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
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 v {\displaystyle v\ }
{\displaystyle v\ } 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 m {\displaystyle m\ } m\ y m
{\displaystyle m\ } m\ vale + 1 {\displaystyle +1\ } {\displaystyle +1\ } o - 1
{\displaystyle -1\ } {\displaystyle -1\ } 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� - m {\displaystyle -m\ }
{\displaystyle -m\ }, lo cual es una contradicci�n.
Formalizaci�n anal�tica

Para el desarrollo algebraico formal de las demostraciones expuestas, se puede

tomar, por ejemplo, x {\displaystyle x\ } x\ como un punto corriente de la esfera
y v ( x ) {\displaystyle v(x)\ } {\displaystyle v(x)\ } el campo de vectores; a
continuaci�n se parametriza la esfera en coordenadas polares (suponiendo un radio
1):

x 1 = cos ? ? cos ? ? , x 2 = sin ? ? cos ? ? , x 3 = sin ? ? {\displaystyle

x_{1}=\cos \theta \cos \phi ,\quad x_{2}=\sin \theta \cos \phi ,\quad x_{3}=\sin
\phi } {\displaystyle x_{1}=\cos \theta \cos \phi ,\quad x_{2}=\sin \theta \cos
\phi ,\quad x_{3}=\sin \phi }

con 0= ? {\displaystyle \theta } {\displaystyle \theta }<2 p {\displaystyle

\pi } \pi y - p / 2 {\displaystyle -\pi /2} {\displaystyle -\pi /2}= ?
{\displaystyle \phi } \phi = p / 2 {\displaystyle \pi /2} {\displaystyle \pi /2}.
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 X {\displaystyle X\ } {\displaystyle X\ } un campo vectorial contenido en S n
{\displaystyle S_{n}\ } {\displaystyle S_{n}\ } y a valores en el espacio eucl�deo
V {\displaystyle V\ } {\displaystyle V\ } de dimensi�n n + 1 {\displaystyle
n+1\ } {\displaystyle n+1\ }, con n {\displaystyle n\ } n\ par.

Se demuestra por el absurdo que esta func��n debe anularse forzosamente en al menos
un punto v {\displaystyle v\ } {\displaystyle v\ } de la esfera. Se nota | v |
{\displaystyle |v|\ } {\displaystyle |v|\ } la norma euclidiana de un vector v
{\displaystyle v\ } {\displaystyle v\ } de X {\displaystyle X\ } {\displaystyle
X\ }, y ( v | w ) {\displaystyle (v|w)\ } {\displaystyle (v|w)\ } el producto
escalar euclidiano de v {\displaystyle v\ } {\displaystyle v\ } y w
{\displaystyle w\ } {\displaystyle w\ }, pertenecientes a X {\displaystyle X\ }
{\displaystyle X\ }.

Generalizaci�n

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

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

Teorema del punto fijo de Brouwer

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

Sea n {\displaystyle n\ } n\ un entero al menos igual a 1 {\displaystyle 1\

} {\displaystyle 1\ } y B n {\displaystyle B_{n}\ } {\displaystyle B_{n}\ } la
bola cerrada centrada en el origen de radio 1 {\displaystyle 1\ } {\displaystyle
1\ } en el espacio eucl�deo V {\displaystyle V\ } {\displaystyle V\ } de n
{\displaystyle n\ } n\ dimensiones. Sea f {\displaystyle f\ } f\ una aplicaci�n
continua de B n {\displaystyle B_{n}\ } {\displaystyle B_{n}\ } en ella misma.
Entonces f {\displaystyle f\ } f\ posee un punto fijo; en otras palabras, existe
x {\displaystyle x\ } x\ en B n {\displaystyle B_{n}\ } {\displaystyle B_{n}\ }
tal que f ( x ) = x {\displaystyle f(x)=x\ } {\displaystyle f(x)=x\ }.

Corolario
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.

Metereolog�a

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

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).

Notas y referencias

Beno�t Rittaud, Le journal de maths des �l�ves, 1 (1994), ENS de Lyon [1]
Luitzen Egbertus Jan Brouwer, �ber Abbildung von Mannigfaltigkeiten Mathematische
Annalen, 1912 [2]
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
Leopold Kronecker �ber Systeme von Funktionen mehrerer Variabeln Monatsber. Berlin
Akad. 1869 pp. 159�193 y 688�698
J. Milnor, Analytic proofs of the "hairy ball theorem" and the Brouwer fixed point,
Am. Math. Monthly 85(1978)521-524.

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

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)