théorème de la boule chevelue

Imaginez une sphère couverte de cheveux couchés contre sa surface. À chaque point, un cheveu indique une direction tangente. Si l’on tente de les peigner continûment, sans saut brusque, il reste nécessairement un endroit où aucune direction ne peut être donnée : un « point chauve ».

Ce défaut n’est pas dû à un mauvais coup de peigne. Il vient de la forme globale de la sphère. Le théorème transforme cette image en une affirmation précise : sur une sphère de dimension paire, tout champ tangent continu possède au moins un vecteur nul.

La sphère réelle de dimension n, notée Sⁿ, est la surface des points de ℝⁿ⁺¹ situés à distance 1 de l’origine. Un champ de vecteurs tangent X associe à chaque point p de cette sphère un vecteur X(p) contenu dans le plan tangent en p. Sur la sphère unité, cette condition signifie que le rayon p et le vecteur X(p) sont perpendiculaires.

Le théorème affirme que, lorsque n est pair, un tel champ ne peut être à la fois continu et partout non nul :

La conclusion garantit l’existence d’au moins un zéro, sans en donner le nombre ni la position. Luitzen Egbertus Jan Brouwer a démontré ce résultat en 1912. La sphère ordinaire S² est le premier cas géométrique familier ; la dimension paire concerne la surface, et non l’espace ℝ³ qui l’entoure.

Soit n une dimension paire et soit Sⁿ la sphère unité de ℝⁿ⁺¹. Si X est un champ de vecteurs tangent et continu sur toute la sphère, alors il existe au moins un point p de Sⁿ tel que X(p) soit le vecteur nul. Autrement dit, aucune direction tangente continue ne peut être choisie partout sur une sphère de dimension paire sans s’annuler quelque part.

Trois vérifications sont décisives. Le support doit être la sphère entière Sⁿ, sa dimension n doit être paire, et le vecteur associé à chaque point doit être tangent. Le champ doit aussi varier continûment : une rupture permettrait de créer artificiellement un épi au lieu d’un zéro. Sous ces hypothèses, le théorème fournit au moins un point d’annulation, mais ne le localise pas.

Le cercle S¹ donne un contre-cas concret, car sa dimension 1 est impaire. Au point de coordonnées (x, y), le vecteur (−y, x) reste tangent, continu et jamais nul. Dans ce cas, il faut étudier directement le champ au lieu d’invoquer le théorème.

Considérons la sphère unité S². Un point p a pour coordonnées (x, y, z) avec x² + y² + z² = 1. On lui associe le champ X défini par :
$X(x,y,z)=(-y,x,0)X(x,y,z)=(-y,x,0)$. Les vecteurs tournent autour de l’axe vertical, le long des cercles de latitude.

1. Vérifions la tangence. Le produit scalaire du rayon p avec X(p) vaut :Le vecteur est donc perpendiculaire au rayon et tangent à la sphère.

2. Cherchons les zéros. L’égalité X(p) = 0 impose x = 0 et y = 0. L’équation de la sphère donne alors z² = 1, donc z = 1 ou z = −1.

3. Le champ s’annule exactement aux deux pôles (0, 0, 1) et (0, 0, −1). Le contrôle est immédiat : substituer chacun de ces points dans X donne (0, 0, 0). Cet exemple confirme la conclusion « au moins un zéro » sans prétendre que le théorème impose toujours deux zéros.

En météorologie, un modèle continu des vents tangents à une Terre sphérique entre dans le cadre du théorème. Il impose alors au moins un point où le vent horizontal est nul. Si le modèle comporte une rupture ou ne couvre pas toute la sphère, il faut d’abord traiter cette lacune.

Pour tester une représentation de directions sur une sphère, on vérifie la tangence, la continuité et la présence de zéros. Sur une surface qui n’est pas une sphère paire, une étude directe remplace ce théorème.

L’image des cheveux sert enfin de diagnostic : un peignage qui paraît partout régulier cache nécessairement un point nul ou une discontinuité. Le critère observable est l’endroit où la longueur de la flèche tombe à zéro ou où sa direction saute.

La sphère et la boule. La sphère S² est la surface, tandis que la boule contient aussi son intérieur. Le théorème porte sur un champ tangent à la surface ; un champ défini dans tout le volume relève d’une autre question.

Le théorème du point fixe de Brouwer. Un point fixe vérifie f(p) = p pour une application, tandis qu’un zéro vérifie X(p) = 0 pour un champ tangent. Les conclusions se relient, mais les objets testés et les égalités recherchées ne sont pas les mêmes.

Dimension impaire. Le seuil logique est la parité : S² est couverte par le théorème, S¹ ne l’est pas. Sur le cercle, le champ (−y, x) fournit précisément un champ tangent continu sans zéro.

Continuité rompue. Si une direction saute brusquement, l’épi observé n’est pas un zéro. Il faut rétablir un champ continu sur toute la sphère avant d’appliquer le résultat.

Conclusion trop forte. Le théorème assure au moins un point nul ; il n’en fixe ni le nombre, ni la position, ni la forme locale. L’exemple conducteur en possède deux, mais ce nombre appartient à cet exemple.

Lecture météorologique. La conclusion topologique garantit un zéro dans un modèle continu de vent tangent sur une sphère. Elle ne suffit pas, à elle seule, à localiser un cyclone ni à expliquer sa formation ; ces questions demandent des données physiques supplémentaires.

Le champ de vecteurs précise comment une direction et une intensité varient d’un point à l’autre, ce qui éclaire les notions de tangence, de continuité et de zéro.

Le théorème du point fixe permet de distinguer un point laissé invariant par une application d’un point où un champ de vecteurs s’annule.