Théorème de la boule chevelue
465674
31681117
2008-07-18T13:53:49Z
Sylvie Martin
361149
[[Image:Hairy ball.png|250px|thumb|Si un champ de vecteurs sur une sphère est symbolisé par des cheveux de longueur constante, le '''théorème de la boule chevelue''' stipule que la sphère contient au moins un épi. La figure en contient deux, un sur chaque pôle.]]
[[Image:Hairy doughnut.png|250 px|thumb|Sur un [[tore]], la situation est différente.]]
En [[mathématiques]], le '''théorème de la boule chevelue''' est un résultat de [[topologie algébrique]]. Il s'applique à une [[sphère]] supportant en chaque point un vecteur, imaginé comme un cheveu, tangent à la surface, et jamais nul. Il affirme que la fonction associant à chaque point de la sphère le vecteur admet au moins un point de discontinuité, ce qui revient à dire que la coiffure contient un [[épi (mèche)|épi]], ou qu'il y a des cheveux nuls, c'est à dire de la calvitie.
De manière plus rigoureuse, un [[champ de vecteur|champ de vecteurs]] [[continuité|continu]] sur une [[sphère]] de [[dimension]] paire au moins égale à 2 s'annule en au moins un point.
Ce théorème est démontré pour la première fois par [[Luitzen Egbertus Jan Brouwer]] en [[1912 en science|1912]]<ref>[[Luitzen Egbertus Jan Brouwer]] Über Abbildung von Mannigfaltigkeiten ''Mathematische Annalen'' 1912 [http://gdz.sub.uni-goettingen.de/dms/load/img/?IDDOC=28661 lire]</ref>. Cette approche généralise des résultats démontrés par le passé comme le [[théorème de Jordan]]<ref>Ce théorème énonce qu'un lacet simple divise le plan en deux composantes connexes. Il est finalement démontré rigoureusement en 1905 : Oswald Veblen, ''Theory on plane curves in non-metrical analysis situs'', Transactions of the American Mathematical Society 6 (1905), pp. 83–98</ref> ou les travaux de [[Leopold Kronecker]] sur les fonctions continûment [[variété différentielle|différentiables]] de la sphère réelle de dimension ''n'' - 1 dans un [[espace vectoriel]] de dimension ''n''<ref>[[Leopold Kronecker]] ''Über Systeme von Funktionen mehrerer Variabeln'' Monatsber. Berlin Akad. 1869 pp. 159–193 et 688–698</ref>. Ces résultats, qui intuitivement se comprennent aisément, imposent, pour une démonstration rigoureuse, des développements parfois techniques. Un exemple archétypal de résultat de même nature est le [[théorème du point fixe de Brouwer]]. Il énonce que toute application continue d'une boule d'un espace vectoriel euclidien de dimension finie dans elle même admet un [[point fixe]]. Comme on le verra plus bas, le théorème de point fixe de Brouwer peut être déduit du théorème de la boule chevelue.
== Représentations intuitives du théorème ==
Intuitivement<ref>Cette description est reprise ici de Benoît Rittaud, Le journal de maths des élèves, 1 (1994), ENS de Lyon [http://www.umpa.ens-lyon.fr/JME/Vol1Num1/artBRittaud/artBRittaud.pdf lire]</ref>, on peut se représenter une sphère recouverte de cheveux souples et pas frisés, chaque point de la sphère étant la racine d'un cheveu. On considère la projection du cheveu sur le plan tangent à la sphère au point où le cheveu pousse : l'ensemble de ces projections donne une bonne idée d'un champ de vecteurs tangents sur la sphère. On cherche alors à coiffer ces cheveux en les aplatissant sur la surface de la boule, et en évitant les discontinuités: on ne fait pas de raie, on ne permet pas à des cheveux de changer brutalement de direction les uns par rapport aux autres. Le théorème dit que c'est impossible d'arriver à ce résultat. Quoi qu'on fasse, on va causer la formation d'au moins un épi, c'est à dire d'un endroit où un cheveu se dressera.
== Énoncé ==
La sphère réelle de dimension <math>n>0</math> est la partie de <math>\R^{n+1}</math> des vecteurs de [[norme euclidienne]] 1, soit donc :
<center><math>S_{n} = \{ (x_0, \dots, x_n) \in \mathbb{R}^{n+1}, x_0^2 + \cdots + x_n^2 = 1 \}</math>.</center>
On munit cet ensemble de la [[topologie induite]] par la [[distance]] euclidienne. Cet [[espace topologique]] est une sous-[[variété]] [[Connexité (mathématiques)|connexe]] et [[compact]]e de dimension <math>n</math>. Intuitivement, si <math>v</math> est un [[vecteur unitaire]], donc un point de <math>S_n</math>, la sphère peut au voisinage de <math>v</math> être approchée par l'[[hyperplan]] [[Espace affine|affine]] de <math>\R^{n+1}</math> passant par <math>v</math> et [[orthogonalité|orthogonal]] à <math>v</math> ; la dimension se réfère à la dimension de cet hyperplan, qui est un sous-[[espace affine]]. Un champ de vecteurs sur <math>S_n</math> peut se définir comme une application <math>X:\;S_n\rightarrow \R^{n+1}</math> telle que pour tout <math>v</math> dans <math>S_n</math>, <math>X(v)</math> soit orthogonal à <math>v</math>. Le champ est dit continu si l'application est [[continuité|continue]].
{{théorème|Théorème de la boule chevelue|Si <math>n</math> est un entier pair au moins égal à 2, tout champ de vecteurs continu <math>X</math> sur la sphère réelle <math>S_n</math> s'annule en un point au moins : il existe <math>v</math> (dépendant de <math>X</math>) tel que : <math>X(v)=0</math>.}}
En dimension impaire, il existe des champs de vecteurs continus et mieux encore, [[fonction analytique|analytique]]s, qui ne s'annulent en aucun point. On construit un exemple en identifiant <math>\R^{2n}</math> avec <math>\mathbb{C}^{n}</math>, ce qui fait correspondre à chaque couple de [[composantes d'un vecteur|composantes]] réelles <math>(x_k,x_{n+k})</math> une composante complexe <math>x_k+\mathrm{i}x_{n+k}</math>. Le vecteur <math>\mathrm{i}v</math> est orthogonal au vecteur <math>v</math> pour le [[espace euclidien|produit scalaire euclidien]] sur <math>\R^{2n}</math> ; donc si <math>v</math> est unitaire, <math>\mathrm{i}v</math> est tangent à la sphère, ce qui définit bien un champ de vecteur tangent à la sphère de dimension <math>2n-1</math>, et jamais nul.
== Démonstration visuelle<ref>Cette démonstration est inspirée d'un énoncé d'examen de mathématiques à l'Université Pierre et Marie Curie. On y trouve une référence, par exemple dans la page de discussion du site [http://les-mathematiques.u-strasbg.fr/phorum5/read.php?8,377866 Phorum 5 de géométrie] par Les mathématiques.net</ref> pour la sphère ordinaire ==
On veut démontrer qu'il ne peut avoir de champ de vecteurs tangent et continu, qui ne s'annule jamais sur la sphère ordinaire dans l'espace à trois dimension. On va [[raisonnement par l'absurde|raisonner par l'absurde]] et donc supposer qu'il existe sur la sphère un champ de vecteurs tangent, continu et qui ne s'annule jamais.
On dessine sur une brave orange un [[équateur (ligne équinoxiale)|équateur]], un [[cercle polaire]] [[Cercle Arctique|arctique]] et un cercle polaire [[Cercle Antarctique|antarctique]], et on convient de ne voyager le long des [[parallèle (géographie)|parallèles]] que dans la direction de l'[[est]]. On dessine un champ de vecteurs tangent dans les régions arctique et antarctique. Ce champ de vecteurs est à peu près de direction constante, et on peut imaginer que c'est le [[vent]]. Si cela gêne le lecteur de penser que le vent est à peu près de direction constante sur une région aussi vaste, il suffit de réduire ces régions par la pensée, et comme le champ de vecteurs représentant le vent est supposé continu, il y aura certainement une zone assez petite pour que le vent y souffle dans une direction fixe, à la précision des mesures près.
On introduit alors un repère mobile, représenté par une figurine en papier : Marinette. Marinette va pouvoir se déplacer le long des parallèles de l'orange, et pour prendre des photos, il a fallu faire une Marinette en papier, collée sur une longue épingle à tête plastique plate. Quand Marinette va vers l'avant, elle prend la direction du premier vecteur de base. Sa main gauche est dans la direction du deuxième vecteur de base, et la direction allant des pieds à la tête de Marinette est celle du troisième vecteur de base, formant ainsi un repère direct.
<gallery widths=150>
Image:orange.gif|On voit une orange tatouée d'un équateur et de cercles arctique et antarctique. Le sens de parcours est vers l'est, indiqué par des flèches.
Image:polenord.gif|Le vent est en bleu-vert et le cercle arctique en violet.
Image:polesud.gif|Le vent est en bleu-vert et le cercle antarctique en violet.
Image:marinette.gif|Marinette : la figurine est en papier collé sur une longue épingle à tête plate, et la longue épingle est montrée pour ceux qui veulent répéter l'"expérience".
</gallery>
{{message galerie}}
Marinette fait le [[angle|tour]] de l'orange en se déplaçant vers l'est le long des parallèles et observe la direction d'où vient le vent. Quand elle fait le tour vers l'est du cercle arctique, le vent tourne autour de sa tête comme suit : elle l'a dans le dos, puis il vient de la gauche, puis dans la figure, de la droite et de nouveau dans le dos. Comme Marinette connaît les conventions des mathématiciens, elle dit que, par rapport à elle, le vent fait un tour dans le [[sens trigonométrique|sens rétrograde]], ce qui est la même chose que faire un tour dans le sens des aiguilles d'une montre.
Quand Marinette fait le tour vers l'est du cercle antarctique, elle a le vent dans le dos, puis il vient de la droite, puis elle l'a dans la figure, puis à gauche et de nouveau dans le dos. Donc, par rapport à Marinette, le vent fait un tour dans le [[sens trigonométrique|sens direct]], ce qui est la même chose que dans le sens contraire des aiguilles d'une montre.
<center>
<gallery widths="300">
Image:nord2.gif|Marinette fait le tour du pôle nord le long du cercle arctique en se déplaçant vers l'est, et dans son repère, le vent tourne une fois autour d'elle dans le sens négatif.
Image:sud2.gif|Marinette fait le tour du pôle sud le long du cercle antarctique en se déplaçant vers l'est, et dans son repère, le vent tourne une fois autour d'elle dans le sens positif.
</gallery>
{{message galerie}}
</center>
Pas besoin de faire effectivement le tour le long de l'équateur pour se représenter ce qui va se passer : si le vent souffle partout le long de l'équateur, alors il va faire un certain [[degré d'une application|nombre de tours]] autour de Marinette quand elle parcourra son chemin. On ne sait pas combien de tours, mais on sait que ce sera un nombre entier, positif, négatif ou nul. On sait aussi que sur tout parallèle où le vent souffle partout, celui-ci fera un nombre entier de tours par rapport à elle. On se dit enfin que le nombre de tours du vent doit être continu par rapport à la [[latitude]] du parallèle. Imaginons que sur un parallèle le vent fasse 5 tours, et que juste un peu plus au nord il n'en fasse que 4 ; dans ce cas, soit le vent s'annule quelque part, soit il est discontinu.
Maintenant, avec Marinette, on sait démontrer le théorème de la boule chevelue : si le vent souffle partout sur la terre-orange tout en variant continument, alors son nombre de tours par rapport à un voyageur parcourant vers l'est un parallèle ne dépend pas de la latitude. Mais il fait -1 tour sur un parallèle assez proche du pôle nord et +1 tour sur un parallèle assez proche du pôle sud. Il y a donc une contradiction !
== Formalisation de la démonstration visuelle ==
Cette formalisation sera d'abord géométrique, puis analytique pour ceux qui se sentent plus sûr des questions d'orientation quand ''tout est écrit''. On raisonne par l'absurde, en supposant qu'il existe un champ de vecteur tangent <math>v(x)</math> continu et ne s'annulant nulle part sur la sphère de dimension <math>S_2</math>.
=== Version géométrique ===
On choisit sur la sphère un pôle nord et un pôle sud, ainsi qu'une orientation. On peut alors parler des parallèles de la sphère et les orienter de façon continue. De plus, on peut définir un repère mobile tangent sur la sphère, en dehors des pôles nord et sud. Le premier vecteur du repère mobile est tangent au parallèle passant par ce point et orienté dans la direction de parcours des parallèles, et le second vecteur est perpendiculaire au premier, avec un sens choisi pour se conformer à l'orientation de la sphère. Le champ de vecteur <math>v</math> admet une décomposition dans le repère mobile. On peut donc associer à tout parallèle un nombre d'enroulement : c'est le nombre d'enroulement du champ de vecteur dans le repère mobile le long de ce parallèle. Ce nombre est bien défini puisque le champ de vecteur ne s'annule pas. Il dépend continûment de la latitude du parallèle, d'après les résultats standard sur la continuité du nombre d'enroulement, et il est entier. Il est donc constant.
On calcule ce nombre d'enroulement au voisinage du pôle nord. Certes, le repère mobile cesse d'être défini au pôle nord, mais pour pallier cette difficulté, on dilate un parallèle proche du pôle nord en un cercle de rayon unité, et on projette à la fois le champ de vecteur <math>v</math> et le repère mobile sur le plan tangent au pôle nord. L'orientation de ce plan tangent est déduite de celle de la sphère. Par continuité, le nombre d'enroulement ne change pas lors de cette transformation. A la limite, le repère mobile transformé tourne une fois autour du pôle, dans le sens des parallèles, et donc le champ de vecteurs tourne - une fois dans le repère mobile. Le nombre d'enroulement vaut donc <math>m</math> et <math>m</math> vaut <math>+1</math> ou <math>-1</math>, suivant le choix d'orientation des parallèles.
Avec le même raisonnement au voisinage du pôle sud, le repère mobile tourne une fois autour du pôle sud dans le sens des parallèles, mais pour maintenir une orientation cohérente avec celle de la sphère, en tant que plan dans l'espace à trois dimensions, le plan tangent au pôle sud est orienté dans le sens opposé du plan tangent au du pôle nord, et donc le nombre d'enroulement du champ est <math>-m</math>. On a la contradiction souhaitée.
=== Version analytique ===
On note <math>x</math> le point courant de la sphère et <math>v(x)</math> le champ de vecteurs. On paramétrise la sphère en coordonnées polaires, en la supposant de rayon 1:
:<center><math>x_1=\cos\theta \cos \phi,\quad x_2=\sin\theta \cos\phi, \quad x_3=\sin\phi</math></center>
avec 0≤<math> \theta</math><2<math>\pi</math> et <math>-\pi/2</math>≤ <math>\phi</math>≤<math>\pi/2</math>. On remarque que ce paramétrage ne définit ni une bijection ni ''a fortiori'' un difféomorphisme.
En chaque point de la sphère distinct des pôles nord et sud, on introduit un repère mobile formé de deux vecteurs tangents à la sphère. Le premier vecteur, <math>e_1(\theta,\phi)</math>, a pour coordonnées <math>(-\sin \theta,\cos\theta,0)</math> et le deuxième, <math>e_2(\theta,\phi)</math>, a pour coordonnées <math>(-\sin\phi\cos\theta,-\sin\phi\sin\theta,\cos\phi)</math>. Il est immédiat que cette base dépend continûment de <math>\theta</math> et <math>\phi</math> pour <math>0\le \theta<\le2\pi</math> et <math>-\pi/2< \phi <\pi/2</math>. Dans cette base, et bien sûr en dehors des pôles nord et sud, le champ de vecteur <math>v(x)</math> admet des coordonnées
<center><math>w_1(\theta,\phi)=e_1(\theta,\phi)\cdot v(x(\theta,\phi))</math> et <math>w_2(\theta,\phi)=e_2(\theta,\phi)\cdot v(x(\theta,\phi)).</math></center>
Ces coordonnées dépendent continûment de <math>\theta</math> et <math>\phi</math>, sur <math>[0,2\pi]\times]-\pi/2,\pi/2[</math>. De plus, elles dépendent périodiquement de <math>\theta</math>, avec la période <math>2\pi</math>, et elles ne s'annulent pas simultanément.
Pour tout <math>\phi</math> compris strictement entre -<math>\pi</math>/2 et <math>\pi</math>/2, on peut donc définir le nombre d'enroulement du champ de vecteur <math>(w_1(\cdot,\phi),w_2(\cdot,\phi))</math> sur le cercle unité. C'est un entier <math>n</math>, qui est une fonction continue de <math>\phi\in]-\pi/2,\pi/2[</math>, et donc constant.
On va maintenant calculer le nombre d'enroulement du champ de vecteur au voisinage des pôles nord et sud, afin d'arriver à une contradiction.
Soit <math>\bar v</math> la valeur du champ de vecteur au pôle nord. Ses trois composantes sont 0, <math>\bar v_1</math> et <math>\bar v_2</math>. Par continuité du champ, on peut trouver un <math>\alpha>0</math> tel que
:<center>si <math>\pi/2-\alpha\le \phi<\pi/2</math>, alors <math>|v(x(\theta,\phi))-\bar v|\le 1/4.</math></center>
On peut aussi choisir <math>\alpha</math> assez petit pour avoir
:<center><math>|\bar v||1-\sin\phi|\le 1/4.</math></center>
Si l'on note
:<center><math>\bar z(\theta)=\begin{pmatrix}-\bar v_1\sin\theta+\bar v_2\cos\theta\\-\bar v_1\cos\theta-\bar v_2\sin\theta\end{pmatrix}=\begin{pmatrix}\bar z_1(\theta)\\\bar z_2(\theta)\end{pmatrix},</math></center>
alors le calcul donne
:<center><math>|w_1(\theta)-\bar z(\theta)|\le 1/4,\quad |w_2(\theta)-\bar z_2(\theta)|\le 1/4+|\bar v||1-\sin \phi|,</math></center>
pour <math>\pi/2-\alpha\le \phi<\pi/2</math>. Par conséquent, <math>|w(\theta,\phi)-\bar z(\theta)|\le \sqrt{5}/4</math>, ce qui reste strictement inférieur à <math>1= |\bar z(\theta)| </math>. Donc <math>w(\cdot,\phi)</math> a le même nombre d'enroulement que <math>\bar z</math>, et ce dernier vaut <math>-1</math>.
Le même raisonnement au voisinage du pôle sud montre que si l'on pose
:<center><math>\hat z(\theta)=\begin{pmatrix}-\hat v_1\sin\theta+\hat v_2\cos\theta\\ \hat v_1\cos\theta+\hat v_2\sin\theta\end{pmatrix}=\begin{pmatrix}\hat z_1(\theta)\\\hat z_2(\theta)\end{pmatrix},</math></center>
alors pour <math>\phi</math> assez proche de <math>-\pi/2</math>, le nombre d'enroulement de <math>w(\cdot, \phi)</math> est le même que celui de <math>\hat z</math>, c'est donc 1.
On a bien la contradiction souhaitée.
== Démonstrations en dimension quelconque ==
Une démonstration très [[Analyse (mathématiques)|analytique]] est due à [[John Milnor]]<ref>J. Milnor, Analytic proofs of the "hairy ball theorem" and the Brouwer fixed point, Am. Math. Monthly 85(1978)521-524.</ref>. Dans l'article où il expose la preuve qui va suivre, Milnor évoque la méthode d'Asimov<ref>D. Asimov, Average Gaussian curvature of leaves of a foliation, Bull. Amer. Maht. Soc. 84(1978)131-133</ref>, mais l'article d'Asimov fait appel à des notions beaucoup plus avancées que celles qui seront présentées ici, et ne donne par conséquent pas de lumières élémentaires sur la source de cette surprenante démonstration. Une version un peu différente de la démonstration est donnée par C. A. Rogers<ref>C. A. Rogers, A less strange version of Milnor's proof of Brouwer fixed point theorem, Amer. Math. Monthly 87(1980)525-527</ref>.
La démonstration de Milnor est une démonstration par l'absurde, reposant sur la construction d'une transformation particulière dépendant d'un paramètre réel ''t'' et du champ de vecteurs considéré.
Afin de pouvoir utiliser des outils d'analyse, il faut supposer que le champ de vecteurs tangents est continûment différentiable, et donc, à la fin du raisonnement, on se sert d'un processus d'approximation.
La transformation dépendant de <math>t</math> envoie une sphère de rayon <math>r</math> sur une sphère de rayon <math>r\sqrt{1+t^2}</math>. On calcule alors de deux manières différentes le [[volume]] de l'image d'une couronne solide par cette transformation. Par la formule du changement de variable dans les intégrales multiples, on obtient une [[fonction polynôme|expression polynomiale]] en <math>t</math>. Par un calcul direct en dimension impaire <math>n+1</math>, on obtient une [[fonction irrationnelle|expression irrationnelle]], puisqu'elle comprend une puissance impaire de <math>\sqrt{1+t^2}</math>, ce qui fournit la contradiction désirée.
D'autres démonstrations sont fondées sur des notions plus savantes de [[topologie algébrique]]. Une démonstration classique utilise la [[Caractéristique d'Euler|Caractéristique d'Euler-Poincaré]]. C'est un nombre qu'on peut obtenir par des méthodes [[Combinatoire|combinatoires]] pour des ensembles qu'il est possible d'approcher par [[triangulation]]. Il permet dans certains cas ([[Théorème de Poincaré-Hopf]]) de compter le nombre de points d'annulation d'un champ de vecteurs sur une [[Variété (géométrie)|variété]]. Une autre démonstration provient des propriétés de l'[[homotopie]] : on peut prouver que sur une sphère de dimension paire, l'application [[point antipodal|antipodale]] <math>x\mapsto -x</math> n'est pas homotope à l'identité ; c'est le [[théorème de Borsuk-Ulam]]. Enfin, dans le cas de la sphère ordinaire, une démonstration peut se déduire du Lemme de [[Emanuel Sperner|Sperner]].
{{démonstration | titre=La démonstration de Milnor | contenu=
On note <math>X</math> un champ de vecteurs tangents continu sur <math>S_n</math>. Ce champ de vecteurs <math>X</math> est une fonction définie sur la sphère <math>S_n</math> et à valeurs dans l'espace euclidien <math>V</math> de dimension <math>n+1</math>, avec <math>n</math> pair.
On va démontrer au moyen d'un raisonnement par l'absurde qu'il s'annule forcément en au moins un point <math>v</math> de la sphère. On notera <math>|v|</math> la [[Norme (mathématiques)|norme]] euclidienne d'un vecteur <math>v</math> de <math>X</math>, et <math>(v|w)</math> le [[produit scalaire]] euclidien de <math>v</math> et <math>w</math>, appartenant à <math>X</math>.
==== Cas d'un champ de vecteurs <math>X</math> continûment différentiable ====
Un champ <math>X</math> de vecteurs tangents à la sphère <math>S_n</math> est continûment différentiable, s'il est la restriction à <math>S_n</math> d'un champ continûment différentiable défini au voisinage de <math>S_n</math>. Comme ici, nous sommes dans une géométrie très simple, il suffit que <math>v\mapsto X(v/|v|)</math> soit continûment différentiable sur la couronne solide <math>1/2\le |v|\le 3/2</math>.
Tangent implique que, quel que soit <math>v</math> dans la sphère, <math>X(v)</math> est orthogonal à <math>v</math>.
Supposons donc que <math>X</math> ne s'annule jamais sur la sphère <math>S_n</math>. Comme <math>X</math> est continûment différentiable, sa norme <math>|X|</math> est aussi continûment différentiable sur la sphère et non nulle. Par conséquent, <math>Y=X/|X|</math> est un champ tangent, continûment différentiable et pour tout <math>v</math>, <math>Y(v)</math> est de norme 1. On dit aussi qu'il est unitaire.
Comme <math>v\mapsto Y(v/|v|)</math> est continûment différentiable sur la couronne solide <math>1/2\le |v|\le 3/2</math>, il y est en particulier [[Application lipschitzienne|lipschitzien]] ; il existe donc un nombre réel L tel que, pour tous <math>v</math> et <math>w</math> dans <math>S_n</math>, une inégalité de Lipschitz soit vérifiée:
:: <math>\forall v\in S_n, \forall w\in S_n,\quad |Y(v)-Y(w)|\le L|v-w|.</math>
On définit un champ de vecteurs [[Fonction homogène|homogène de degré 1]] sur tout <math>V</math> en posant
::<math>Z(v)=|v|Y(v/|v|),</math>
et on va montrer que <math>Z</math> est lipschitzien. Supposons tout d'abord <math>|v|\ge|w|=1</math>; alors
::<math>Z(v)-Z(w)=|v|Y(v/|v|)-Y(v/|v|)+Y(v/|v|)-Y(w/|w|),</math>
d'où, en vertu de l'[[inégalité triangulaire]],
::<math>|Z(v)-Z(w)|\le (|v|-1)+L(|v-w|)\le (L+1)|v-w|.</math>
Par homogénéité, on obtient le cas général.
Définissons une fonction <math>f</math> sur <math>V</math> x ]0,1] par la formule suivante:
:: <math>f(v,t)=v+tZ(v) \mbox{ si } v\neq 0 ; f(0,t)=0.</math>
On voit que la fonction <math>f</math> est homogène de degré 1 par rapport à <math>v</math>.
De plus, la norme de <math>f(v,t)</math> est facile à calculer, grâce au [[théorème de Pythagore]]:
::<math>|f(v,t)|^2=|v|^2(1+t^2).</math>
En d'autres termes, l'image par <math>f(.,t)</math> de la sphère de centre 0 et de rayon <math>r</math> est
incluse dans la sphère de centre 0 et de rayon <math>r\sqrt{1+t^2}</math>, quel que soit <math>r>0</math>. Pour <math>r=0</math>, <math>f(0,t)</math> est visiblement nul.
On va montrer qu'en fait cette image est toute la sphère ci-dessus. En vertu de l'homogénéité de <math>f(v, t)</math> par rapport à <math>v</math>, il suffit de le montrer pour une seule valeur de <math>r</math>, et on choisit <math>r=1/\sqrt{1+t^2}</math>. Cela revient à chercher une solution de l'équation
:: <math>v=w-tZ(v)</math>,
pour <math>w</math> donné, de norme 1.
L'idée consiste à utiliser le [[application contractante|théorème du point fixe strictement contractant]].
On pose
::<math> g(v,t)=w-tZ(v).</math>
Attention: pour alléger les notations, on ne met pas <math>w</math> dans les arguments de <math>g</math>, et on le considère comme une constante.
La fonction <math>g(.,t)</math> envoie l'espace euclidien, qui est [[espace complet|complet]], <math>V</math> dans lui-même. Elle est lipschitzienne, de rapport <math>t(L+1)</math>. Par conséquent, si <math>t</math> est strictement inférieur à <math>1/(L+1)</math>, <math>g(.,t)</math> est une contraction stricte de <math>V</math> dans lui-même. Elle possède donc un unique point fixe, satisfaisant l'équation <math>g(v,t)=v</math>. Donc <math>v</math> est solution de <math>f(v,t)=w</math>. En particulier, d'après le calcul de la norme de <math>f(v,t)</math> effectué ci-dessus, on constate que <math>|w|^2=|f(v,t)|^2=(1+t^2)|v|^2</math>, et donc l'[[Image (mathématiques)|image]] de la sphère de rayon <math>\sqrt{1+t^2}</math> par <math>f(.,t)</math> est la sphère de rayon 1.
Par homogénéité, ceci démontre que que <math>f(.,t)</math> envoie la sphère de rayon <math>r</math> sur la sphère de rayon <math>r\sqrt{1+t^2}</math>, et cela quel que soit <math>r\ge 0</math>.
On calcule maintenant de deux manières différentes le volume de l'image par <math>f(.,t)</math> de la couronne solide de centre 0 et de rayons <math>1</math> et <math>2</math>.
D'une part, cette image est la couronne solide de centre 0 et de rayons <math>\sqrt{1+t^2}</math> et <math>2\sqrt{1+t^2}</math>, donc son volume est
::<math> \omega_{n+1} (2^{n+1}-1)(1+t^2)^{(n+1)/2},</math>
avec <math>\omega_{n+1}</math> le volume de la boule unité en dimension <math>n+1</math>.
D'autre part, on sait dériver <math>f(v,t)</math> par rapport à <math>v</math>:
::<math>f'_v(v,t)=I+tZ'(v),</math>
puisque <math>Z</math> est continuûment différentiable en dehors de 0. Ici, <math>I</math> est simplement l'application linéaire identité dans <math>V</math>.
Par la formule du [[Intégration par changement de variables|changement de variable dans les intégrales multiples]], le volume de la boule est donc donné par :
::<math>\int_{1\le|v|\le2}\det(I+tZ'(v))\, dv.</math>
Le [[déterminant (mathématiques)|déterminant]] est bien défini dans la formule ci-dessus, puisque <math>Z'(v)</math> est une application linéaire de <math>V</math> dans lui-même, paramétrée par <math>v</math>. On remarque que le déterminant ne change pas de signe, parce que <math>f(.,t)</math> est un difféomorphisme. Par continuité, il vaut 1 pour <math>t</math> nul, et donc il est partout positif. Il est donc inutile de mettre une valeur absolue.
On constate que la première expression du volume est irrationnelle par rapport à la variable <math>t</math>, puisque <math>n</math> est pair, alors que la deuxième est polynomiale par rapport à cette même variable. C'est la contradiction désirée, on on a bien montré qu'un champ continûment différentiable tangent à la sphère <math>S_n</math> s'annule forcément en un point.
==== Cas général ====
On suppose cette fois-ci que <math>X</math> est un champ tangent continu sur la sphère <math>S_n</math>.
On peut approcher ce champ uniformément par une suite de champs tangents continûment différentiables <math>(X_k)_{k\in\N}</math>. On utilisera une technique de convolution, qui est détaillée plus bas, bien qu'elle soit classique.
D'après l'étape précédente, pour chaque <math>k</math>, on peut trouver un <math>v_k</math> dans <math>S_n</math> pour lequel <math>X_k(v_k)</math> s'annule.
Les points <math>v_k</math> appartenant à l'ensemble compact <math>S_n</math>, on peut trouver une sous-suite convergente de la suite des <math>v_k</math>, ou, ce qui revient au même, une partie infinie <math>K</math> de <math>\N</math> telle que la suite <math>(v_k)_{k\in K}</math> posséde une limite le long de <math>K</math> ; cette limite est notée <math>\bar v</math>.
Il est immédiat que, le long de <math>K</math>, <math>X_k(v_k)</math> converge vers <math>X(\bar v)</math>, donc <math>X</math> s'annule au point <math>\bar v</math>.
==== Approximation continûment différentiable d'un champ de vecteurs tangent continu ====
Soit <math>\phi</math> une fonction de ''V'' dans <math>\R^+</math> qui a les propriétés suivantes:
* <math>\phi</math> est continûment différentiable;
* le support de <math>\phi</math>, c'est à dire l'adhérence de l'ensemble de tous les pionts où <math>\phi</math> n'est pas nul est inclus dans la boule de centre ''0'' et de rayon 1;
* l'intégrale de <math>\phi</math> sur ''V'' vaut 1.
Un tel <math>\phi</math> est facile à construire: on choisit tout d'abord une fonction <math>\psi</math> continûment dérivable, positive ou nulle sur <math>\R^+</math> valant 1 en 0 et 0 au-delà de 1. Si on suppose que la dérivée de cette fonction est nulle en 0, il suffit de prendre <math>\phi(v)=\psi(|v|) /I</math>, avec
::<math>I=\int_V \psi(|v|) dv.</math>
On vérifie que la fonction <math>\phi</math> ainsi définie a les propriétés requises.
On pose, pour ''k'' un entier positif
::<math>\phi_k(v)=k\phi(kv),</math>
et on définit
::<math>\hat X_k=\int_V \phi_k(v-w) Z(w) dw.</math>
On montre alors que les <math>\hat X_k</math> sont continûment différentiables et convergent uniformément, quand ''k'' tend vers l'infini, vers ''X'' sur tout ensemble compact inclus dans ''V'', donc en particulier sur <math>S_n</math>.
Mais ''a priori'', il n'y a pas de raison que les <math>\hat X_k</math> soient tangents... donc on doit faire une opération supplémentaire: les projeter. On définit ainsi
::<math>X_k(v)=\hat X_k(v)-(X_k(v)|v)v,</math>
Le champ <math>X_k</math> est tangent à la sphère, et il converge uniformément vers le champ <math>v\mapsto X(v)-(X(v)|v)v=X(v)</math>, ce qui conclut la construction d'une approximation d'un champ tangent continu par une suite uniformément convergente de champs tangents continûment différentiables, quand ''k'' tend vers l'infini.
| déroulante=oui}}
== Conséquences ==
Les conséquences du théorème sont nombreuses et ne se limitent pas aux mathématiques.
=== Fusion nucléaire ===
[[Image:Intérieur du tokamak JET en fonctionnement.jpg|right|300px|thumb|La forme torique d'un [[tokamak]], ici le [[Joint european torus]] est une conséquence du théorème de la boule chevelue.]]
Une application technologique est donnée par la [[fusion nucléaire]] civile. L'objectif est d'obtenir de l'énergie à partir d'une réaction de fusion de même nature que celle qui produit l'énergie des étoiles. Une des difficultés provient du fait que la matière, à l'état de [[plasma]], doit être confinée à une température et une pression trop forte pour qu'aucun matériau ne puisse résister.
Une solution envisagée est le confinement du plasma par un [[champ magnétique]]. On parle de confinement "magnétique", par opposition au confinement dit "inertiel", également en cours d'expérimentation, qui ne repose pas sur l'électromagnétisme mais sur des techniques à base de lasers. Un exemple plus précis pourrait être le [[tokamak]], littéralement la contraction (en Russe) de "Chambre de confinement magnétique toroïdale". Si une forme sphérique semble la solution la plus naturelle pour ce type de réacteur, le théorème de la boule chevelue implique qu'une telle géométrie est impossible. Il existerait en effet un point à la surface où le champ magnétique de confinement s'annulerait. En un tel point, le plasma ne serrait plus confiné par le champ magnétique, et l'objectif de réaction entretenue ne serait pas atteint.
C'est pour cette raison que la forme retenue pour les tokamak est comme son non l'indique un [[tore]], c'est à dire l'unique géométrie qui n'admet pas d'équivalent du théorème de la boule chevelue. Le projet [[Joint European Torus]] est un exemple.<ref>L. Lemaire ''La recherche mathématique aujourd’hui'' Université Libre de Bruxelles 2000 [http://www.ulb.ac.be/assoc/bms/info/rechmath.pdf lire] p 22</ref>
=== Météorologie ===
[[Image:Hurricane profile-fr.svg|thumb|left|300px|L'oeil d'un cyclone correspond à une singularité de même nature que celle qu'impose le théorème de la boule chevelue.]]
Le théorème de l'article possède une conséquence météorologique. Le vent, sur la surface du globe se décrit par une fonction continue. Une modélisation schématique le représente par un champ de vecteurs bi-dimensionnel. Relativement au diamètre de la terre, la composante verticale du vent est en effet négligeable.
Une première manière de satisfaire le théorème de la boule chevelue consiste à imaginer l'existence d'un point de la surface terrestre absolument sans vent. Une telle hypothèse est physiquement irréaliste.
Une modélisation physiquement plus en cohérence avec l'observation implique l'existence d'un complexe [[Cyclone|cyclonique]] ou [[Anticyclone|anticyclonique]]. Le théorème de l'article impose l'existence permanente d'un point sur terre ou le vent se modélise par un système tourbillonnant avec, en son centre un [[Œil (cyclone)|oeil]] où la composante horizontale du vent est nulle. Cette conséquence est de fait observée dans la réalité.
Le théorème n'offre aucune indication sur la taille de l'œil ou sur la puissance des vents qui l'entourent.
=== Théorème du point fixe de Brouwer ===
On peut démontrer le [[théorème du point fixe de Brouwer]] à partir du théorème de la boule chevelue. Il s'énonce ainsi :
{{Théorème|Théorème du point fixe de Brouwer|Soit <math>n</math> un entier au moins égal à <math>1</math>, et soit <math>B_n</math> la boule centrée à l'origine et de rayon <math>1</math> dans l'espace euclidien <math>V</math> à <math>n</math> dimensions. Soit <math>f</math> une application continue de <math>B_n</math> dans elle-même. Alors <math>f</math> possède un point fixe ; en d'autres termes, il existe un <math>x</math> dans <math>B_n</math> tel que <math>f(x)=x</math>.}}
==== Démonstration visuelle pour le disque ====
La démonstration est encore une fois une démonstration par l'absurde. Supposons qu'il existe une application continue <math>f</math> du disque unité dans lui-même, telle que <math>f(x)</math> soit distinct de <math>x</math> quel que soit <math>x</math> dans le disque unité. On va fabriquer une boule chevelue sans épi ni calvitie, et obtenir ainsi une contradiction.
Si on a une application <math>f</math> sans point fixe, alors chaque point <math>x</math> du disque permet de définir un vecteur non nul, le vecteur <math>f(x)-x</math>.
Maintenant, on prend une balle de tennis, on coupe soigneusement la peau de la balle le long de l'équateur, et on détache chacune des demi-sphères de peau. Comme elles sont en caoutchouc, on peut les déformer et les appliquer soigneusement tour à tour sur le demi-disque.
<center>
<gallery>
Image:Disque.svg|Le disque avec les vecteurs <math>f(x)-x</math> attachés chacun à leur origine <math>x</math>.
Image:Balledetenniscoupee1.svg|La balle de tennis incisée le long de son équateur avec son noyau en caoutchouc.
Image:Hemisphere haut.svg|L'hémisphère du haut rendu transparent et déplacé au dessus du disque.
Image:Hemisphere haut colle.svg|On aplatit l'hémisphère du haut, transparent, sur le disque.
</gallery>
{{message galerie}}
</center>
Une fois la première demi-sphère appliquée sur le disque, il est facile de dessiner en chaque point un vecteur, qui a la même direction que <math>f(x)-x</math>, mais qui est de norme <math>1</math>, pour ne pas se compliquer la tâche. On relâche alors la demi-sphère, et par un miracle mathématique, les vecteurs dessinés deviennent des vecteurs tangents non nuls. On fait la même chose pour le deuxième demi-hémisphère : on copie le champ de vecteur, puis on le relâche, si bien qu'il reprend sa forme, et il est muni d'un champ de vecteurs tangent qui ne s'annule pas.
<center>
<gallery>
Image:Haut plat vecteurs.svg|L'hémisphère du haut, toujours aplati, mais avec copie des vecteurs.
Image:Haut rond vecteurs.svg|L'hémisphère du haut reprend sa forme, avec les vecteurs collés.
</gallery>
{{message galerie}}
</center>
Au bord de chacun des deux demi-hémisphères, le champ de vecteur se trouve dans un plan vertical. Si on remettait les deux hémisphères sur la balle de tennis, on n'aurait pas un champ continu. Mais cela se corrige : sur le deuxième hémisphère, on transforme le champ de vecteur de la façon suivante : en chaque point, le champ se trouve dans un plan tangent, et dans ce plan, on reflète le vecteur par rapport à la tangente au parallèle en ce point.
<center>
<gallery>
Image:Bas rond vecteurs.svg|L'hémisphère du bas est d'abord l'image de celui du haut dans un miroir horizontal. On n'a représenté que les vecteurs du devant.
Image:Bas rond vect sym.svg|Maintenant, les vecteurs attachés à l'hémisphère du bas sont symétrisés. On n'a représenté que les vecteurs du devant.
Image:Final.svg|L'hémisphère du bas prêt à être recollé à l'hémisphère du haut. Ses vecteurs sont en rouge pour faciliter la lecture de la figure, et ils sont en continuité avec ceux de l'hémisphère du haut.
</gallery>
{{message galerie}}
</center>
A ce moment-là, on recolle les deux hémisphères sur la balle, et cette fois-ci leurs champs tangents se raccordent continûment, fournissant ainsi une chevelure continue et sans calvitie à la boule, ce qui donne la contradiction désirée.
==== Démonstration dans le cas général pour n'importe quelle boule ====
La démonstration générale est une formalisation de la démonstration visuelle qui précède, dans le cas des boules de dimension paire. Le cas de dimension impaire est déduit du cas de dimension paire par abaissement dimensionnel.
=== Algèbre linéaire ===
Il existe des applications du théorème purement mathématiques et elles ne se limitent pas à la [[topologie algébrique]] ou [[topologie différentielle|différentielle]].
Si ''A'' est une [[matrice antisymétrique]] sur un [[espace euclidien]] ''V'' de dimension impaire, alors l'endomorphisme associé à ''A'' n'est pas injectif. En particulier, il n'existe pas de formes bilinéaires antisymétriques non dégénérées en dimension impaire.
En effet, pour tout vecteur ''v'', on a : <math>(Av|v)=-(v|Av)=-(Av|v)</math> et donc a fortiori <math>Av.v=0</math>. En particulier, <math>X(v)=Av</math> définit par restriction un champ de vecteurs continu sur la sphère unité de ''V'', qui est une sphère de dimension paire. Ce champ admet un point d'annulation ''v''. Ce vecteur unitaire ''v'' appartient donc au noyau de ''A''.
== Voir aussi ==
*[[Théorème du point fixe de Brouwer]]
== Notes et références ==
=== Notes ===
{{Références}}
=== Liens externes ===
* {{fr}} [http://www.umpa.ens-lyon.fr/JME/Vol1Num1/artBRittaud/artBRittaud.pdf Le théorème de la boule de billard chevelue] par B. Rittaud dans ''Le journal de maths des élèves'' Volume 1 (1994), No. 1
* {{fr}} [http://smf.emath.fr/VieSociete/Rencontres/Beaubourg2004/Pompidou.pdf Autour du point fixe] J. Mawhin 2004
=== Références ===
* {{en}} J. W. Milnor, ''Topology from the differentiable viewpoint'' Princeton Univ. 1997 {{ISBN|069104833957}}
* {{fr}} N. E. Chinn W. G. Steenrod ''Topologie élémentaire'' Dunod 1991 {{ISBN|2040048480}}
* {{en}} 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
[[Catégorie:Théorème de mathématiques|Boule]]
[[Catégorie:Topologie algébrique]]
{{portail mathématiques}}
[[de:Satz vom Igel]]
[[en:Hairy ball theorem]]
[[eo:Teoremo pri erinaco]]
[[ru:Теорема о причёсывании ежа]]
[[zh:毛球定理]]