En mathématiques, le théorème de la boule chevelue est un résultat de topologie différentielle. Il s'applique à une sphère supportant en chaque point un vecteur, imaginé comme un cheveu, tangent à la surface. 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, ou qu'il y a des cheveux nuls, c'est-à-dire de la calvitie. De manière plus rigoureuse, un champ de vecteurs continu sur une sphère de dimension paire s'annule en au moins un point.

Property Value
dbo:abstract
  • En mathématiques, le théorème de la boule chevelue est un résultat de topologie différentielle. Il s'applique à une sphère supportant en chaque point un vecteur, imaginé comme un cheveu, tangent à la surface. 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, ou qu'il y a des cheveux nuls, c'est-à-dire de la calvitie. De manière plus rigoureuse, un champ de vecteurs continu sur une sphère de dimension paire 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. Cette approche généralise des résultats démontrés par le passé comme le théorème de Jordan ou les travaux de Leopold Kronecker sur les fonctions continûment différentiables de la sphère réelle de dimension n – 1 dans un espace vectoriel de dimension n. 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 fermée d'un espace vectoriel euclidien de dimension finie dans elle-même admet un point fixe. Le théorème de point fixe de Brouwer peut être déduit du théorème de la boule chevelue. (fr)
  • En mathématiques, le théorème de la boule chevelue est un résultat de topologie différentielle. Il s'applique à une sphère supportant en chaque point un vecteur, imaginé comme un cheveu, tangent à la surface. 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, ou qu'il y a des cheveux nuls, c'est-à-dire de la calvitie. De manière plus rigoureuse, un champ de vecteurs continu sur une sphère de dimension paire 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. Cette approche généralise des résultats démontrés par le passé comme le théorème de Jordan ou les travaux de Leopold Kronecker sur les fonctions continûment différentiables de la sphère réelle de dimension n – 1 dans un espace vectoriel de dimension n. 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 fermée d'un espace vectoriel euclidien de dimension finie dans elle-même admet un point fixe. Le théorème de point fixe de Brouwer peut être déduit du théorème de la boule chevelue. (fr)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 465674 (xsd:integer)
dbo:wikiPageLength
  • 40534 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 190901905 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:contenu
  • On note un champ de vecteurs tangents continu sur . Ce champ de vecteurs est une fonction définie sur la sphère et à valeurs dans l'espace euclidien de dimension , avec pair. On va démontrer au moyen d'un raisonnement par l'absurde qu'il s'annule forcément en au moins un point de la sphère. On notera la norme euclidienne d'un vecteur de , et le produit scalaire euclidien de et , appartenant à . Cas d'un champ de vecteurs X continûment différentiable Un champ de vecteurs tangents à la sphère est continûment différentiable s'il est la restriction à d'un champ continûment différentiable défini au voisinage de . Comme ici, nous sommes dans une géométrie très simple, il suffit que soit continûment différentiable sur la couronne solide . Tangent implique que, quel que soit dans la sphère, est orthogonal à . Supposons donc que ne s'annule jamais sur la sphère . Comme est continûment différentiable, sa norme est aussi continûment différentiable sur la sphère et non nulle. Par conséquent, est un champ tangent, continûment différentiable et pour tout , est de norme 1. On dit aussi qu'il est unitaire. Comme est continûment différentiable sur la couronne solide , il y est en particulier lipschitzien ; il existe donc un nombre réel L tel que, pour tous et dans , une inégalité de Lipschitz soit vérifiée : :: On définit un champ de vecteurs homogène de degré 1 sur tout en posant :: et on va montrer que est lipschitzien. Supposons tout d'abord ; alors :: d'où, en vertu de l'inégalité triangulaire, :: Par homogénéité, on obtient le cas général. Définissons une fonction sur x ]0,1] par la formule suivante : :: On voit que la fonction est homogène de degré 1 par rapport à . De plus, la norme de est facile à calculer, grâce au théorème de Pythagore : :: En d'autres termes, l'image par de la sphère de centre 0 et de rayon est incluse dans la sphère de centre 0 et de rayon , quel que soit . Pour , 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 par rapport à , il suffit de le montrer pour une seule valeur de , et on choisit . Cela revient à chercher une solution de l'équation :: , pour donné, de norme 1. L'idée consiste à utiliser le théorème du point fixe strictement contractant. On pose :: Attention : pour alléger les notations, on ne met pas dans les arguments de , et on le considère comme une constante. La fonction envoie l'espace euclidien, qui est complet, dans lui-même. Elle est lipschitzienne, de rapport . Par conséquent, si est strictement inférieur à , est une contraction stricte de dans lui-même. Elle possède donc un unique point fixe, satisfaisant l'équation . Donc est solution de . En particulier, d'après le calcul de la norme de effectué ci-dessus, on constate que , et donc l'image de la sphère de rayon par est la sphère de rayon 1. Par homogénéité, ceci démontre que envoie la sphère de rayon sur la sphère de rayon , et cela quel que soit . On calcule maintenant de deux manières différentes le volume de l'image par de la couronne solide de centre 0 et de rayons et . D'une part, cette image est la couronne solide de centre 0 et de rayons et , donc son volume est :: avec le volume de la boule unité en dimension . D'autre part, on sait dériver par rapport à : :: puisque est continûment différentiable en dehors de 0. Ici, est simplement l'application linéaire identité dans . Par la formule du changement de variable dans les intégrales multiples, le volume de la boule est donc donné par : :: Le déterminant est bien défini dans la formule ci-dessus, puisque est une application linéaire de dans lui-même, paramétrée par . On remarque que le déterminant ne change pas de signe, parce que est un difféomorphisme. Par continuité, il vaut 1 pour 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 , puisque est pair, alors que la deuxième est polynomiale par rapport à cette même variable. C'est la contradiction désirée, on a bien montré qu'un champ continûment différentiable tangent à la sphère s'annule forcément en un point. Cas général On suppose cette fois-ci que est un champ tangent continu sur la sphère . On peut approcher ce champ uniformément par une suite de champs tangents continûment différentiables . 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 , on peut trouver un dans pour lequel s'annule. Les points appartenant à l'ensemble compact , on peut trouver une sous-suite convergente de la suite des , ou, ce qui revient au même, une partie infinie de telle que la suite possède une limite le long de ; cette limite est notée . Il est immédiat que, le long de , converge vers , donc s'annule au point . Approximation continûment différentiable d'un champ de vecteurs tangent continu Soit une fonction de V dans qui a les propriétés suivantes : * est continûment différentiable ; * le support de , c'est-à-dire l'adhérence de l'ensemble de tous les points où n'est pas nul est inclus dans la boule de centre 0 et de rayon 1 ; * l'intégrale de sur V vaut 1. Un tel est facile à construire : on choisit tout d'abord une fonction continûment dérivable, positive ou nulle sur 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 , avec :: On vérifie que la fonction ainsi définie a les propriétés requises. On pose, pour k un entier positif :: et on définit :: On montre alors que les 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 . Mais a priori, il n'y a pas de raison que les soient tangents… donc on doit faire une opération supplémentaire : les projeter. On définit ainsi :: Le champ est tangent à la sphère, et il converge uniformément vers le champ , 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. (fr)
  • On note un champ de vecteurs tangents continu sur . Ce champ de vecteurs est une fonction définie sur la sphère et à valeurs dans l'espace euclidien de dimension , avec pair. On va démontrer au moyen d'un raisonnement par l'absurde qu'il s'annule forcément en au moins un point de la sphère. On notera la norme euclidienne d'un vecteur de , et le produit scalaire euclidien de et , appartenant à . Cas d'un champ de vecteurs X continûment différentiable Un champ de vecteurs tangents à la sphère est continûment différentiable s'il est la restriction à d'un champ continûment différentiable défini au voisinage de . Comme ici, nous sommes dans une géométrie très simple, il suffit que soit continûment différentiable sur la couronne solide . Tangent implique que, quel que soit dans la sphère, est orthogonal à . Supposons donc que ne s'annule jamais sur la sphère . Comme est continûment différentiable, sa norme est aussi continûment différentiable sur la sphère et non nulle. Par conséquent, est un champ tangent, continûment différentiable et pour tout , est de norme 1. On dit aussi qu'il est unitaire. Comme est continûment différentiable sur la couronne solide , il y est en particulier lipschitzien ; il existe donc un nombre réel L tel que, pour tous et dans , une inégalité de Lipschitz soit vérifiée : :: On définit un champ de vecteurs homogène de degré 1 sur tout en posant :: et on va montrer que est lipschitzien. Supposons tout d'abord ; alors :: d'où, en vertu de l'inégalité triangulaire, :: Par homogénéité, on obtient le cas général. Définissons une fonction sur x ]0,1] par la formule suivante : :: On voit que la fonction est homogène de degré 1 par rapport à . De plus, la norme de est facile à calculer, grâce au théorème de Pythagore : :: En d'autres termes, l'image par de la sphère de centre 0 et de rayon est incluse dans la sphère de centre 0 et de rayon , quel que soit . Pour , 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 par rapport à , il suffit de le montrer pour une seule valeur de , et on choisit . Cela revient à chercher une solution de l'équation :: , pour donné, de norme 1. L'idée consiste à utiliser le théorème du point fixe strictement contractant. On pose :: Attention : pour alléger les notations, on ne met pas dans les arguments de , et on le considère comme une constante. La fonction envoie l'espace euclidien, qui est complet, dans lui-même. Elle est lipschitzienne, de rapport . Par conséquent, si est strictement inférieur à , est une contraction stricte de dans lui-même. Elle possède donc un unique point fixe, satisfaisant l'équation . Donc est solution de . En particulier, d'après le calcul de la norme de effectué ci-dessus, on constate que , et donc l'image de la sphère de rayon par est la sphère de rayon 1. Par homogénéité, ceci démontre que envoie la sphère de rayon sur la sphère de rayon , et cela quel que soit . On calcule maintenant de deux manières différentes le volume de l'image par de la couronne solide de centre 0 et de rayons et . D'une part, cette image est la couronne solide de centre 0 et de rayons et , donc son volume est :: avec le volume de la boule unité en dimension . D'autre part, on sait dériver par rapport à : :: puisque est continûment différentiable en dehors de 0. Ici, est simplement l'application linéaire identité dans . Par la formule du changement de variable dans les intégrales multiples, le volume de la boule est donc donné par : :: Le déterminant est bien défini dans la formule ci-dessus, puisque est une application linéaire de dans lui-même, paramétrée par . On remarque que le déterminant ne change pas de signe, parce que est un difféomorphisme. Par continuité, il vaut 1 pour 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 , puisque est pair, alors que la deuxième est polynomiale par rapport à cette même variable. C'est la contradiction désirée, on a bien montré qu'un champ continûment différentiable tangent à la sphère s'annule forcément en un point. Cas général On suppose cette fois-ci que est un champ tangent continu sur la sphère . On peut approcher ce champ uniformément par une suite de champs tangents continûment différentiables . 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 , on peut trouver un dans pour lequel s'annule. Les points appartenant à l'ensemble compact , on peut trouver une sous-suite convergente de la suite des , ou, ce qui revient au même, une partie infinie de telle que la suite possède une limite le long de ; cette limite est notée . Il est immédiat que, le long de , converge vers , donc s'annule au point . Approximation continûment différentiable d'un champ de vecteurs tangent continu Soit une fonction de V dans qui a les propriétés suivantes : * est continûment différentiable ; * le support de , c'est-à-dire l'adhérence de l'ensemble de tous les points où n'est pas nul est inclus dans la boule de centre 0 et de rayon 1 ; * l'intégrale de sur V vaut 1. Un tel est facile à construire : on choisit tout d'abord une fonction continûment dérivable, positive ou nulle sur 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 , avec :: On vérifie que la fonction ainsi définie a les propriétés requises. On pose, pour k un entier positif :: et on définit :: On montre alors que les 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 . Mais a priori, il n'y a pas de raison que les soient tangents… donc on doit faire une opération supplémentaire : les projeter. On définit ainsi :: Le champ est tangent à la sphère, et il converge uniformément vers le champ , 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. (fr)
prop-fr:déroulante
  • oui (fr)
  • oui (fr)
prop-fr:titre
  • La démonstration de Milnor (fr)
  • La démonstration de Milnor (fr)
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • En mathématiques, le théorème de la boule chevelue est un résultat de topologie différentielle. Il s'applique à une sphère supportant en chaque point un vecteur, imaginé comme un cheveu, tangent à la surface. 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, ou qu'il y a des cheveux nuls, c'est-à-dire de la calvitie. De manière plus rigoureuse, un champ de vecteurs continu sur une sphère de dimension paire s'annule en au moins un point. (fr)
  • En mathématiques, le théorème de la boule chevelue est un résultat de topologie différentielle. Il s'applique à une sphère supportant en chaque point un vecteur, imaginé comme un cheveu, tangent à la surface. 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, ou qu'il y a des cheveux nuls, c'est-à-dire de la calvitie. De manière plus rigoureuse, un champ de vecteurs continu sur une sphère de dimension paire s'annule en au moins un point. (fr)
rdfs:label
  • Hairy ball theorem (en)
  • Satz vom Igel (de)
  • Teorema de la bola peluda (ca)
  • Teorema de la bola peluda (es)
  • Teorema della palla pelosa (it)
  • Théorème de la boule chevelue (fr)
  • Теорема про причісування їжака (uk)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of