Teorema topológico que afirma que todo campo vectorial tangente continuo sobre la esfera S2 se anula en al menos un punto; en general, cualquier campo tangente continuo sobre una esfera de dimensión par tiene un cero. En particular, no existe un campo tangente continuo globalmente no nulo en S2.

Principio

Restricciones topológicas globales (característica de Euler y orientación) obligan a la existencia de ceros de campos vectoriales tangentes continuos en esferas de dimensión par; la regularidad local no puede evitar la obstrucción de índice global.

Demostración

En S2, intentar asignar en cada punto un vector tangente continuo no nulo (la imagen de peinar una bola con pelo). Toda asignación continua produce al menos un punto singular (una espiral) donde el vector debe anularse. Formalmente, el argumento de Poincaré–Hopf o la suma de índices igual a 2 implica la existencia de un cero.

Aplicación incorrecta

Usar el teorema para afirmar que no existen campos no nulos en todas las variedades o en esferas de dimensión impar. Por ejemplo, afirmar que S1 o S3 no admiten campos tangentes continuos sin ceros es incorrecto.

Consecuencia

Para S2, el teorema impide marcos tangentes continuos globales sin ceros y muestra obstrucciones a la construcción de campos tangentes globalmente no nulos; influye en la clasificación de fibrados tangentes y en modelos de flujo sobre superficies esféricas (debe existir al menos un punto de estancamiento).

Inversión

La inversa es falsa: la existencia de un cero para algunos campos no implica que la variedad sea una esfera de dimensión par. Por el contrario, esferas de dimensión impar (p. ej. S1, S3) pueden admitir campos tangentes continuos sin ceros.

Límite

Se aplica a campos vectoriales tangentes continuos sobre esferas y, más generalmente, a variedades cerradas de dimensión par con característica de Euler no nula; excluye campos no tangentes, asignaciones discontinuas y campos definidos sobre variedades con borde sin hipótesis adicionales.

Tensión semántica

Tensión entre continuidad y suavidad (los campos suaves son casos particulares pero la continuidad basta) y entre construcciones locales que parecen evitar ceros y los invariantes topológicos globales que los imponen; tensión también entre dimensiones concretas (2 vs 3) y enunciados para variedades generales.

Síntesis

El Teorema de la bola peluda relaciona la intuición geométrica (no se puede peinar el pelo de una esfera sin dejar remolinos) con una obstrucción topológica precisa: invariantes globales (característica de Euler / índice de Poincaré–Hopf) obligan la existencia de ceros de campos vectoriales tangentes continuos en esferas de dimensión par, limitando los campos globales pese a la trivialidad local.