This HTML5 document contains 171 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
dbpedia-dahttp://da.dbpedia.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n22http://commons.dbpedia.org/resource/Category:
dbpedia-huhttp://hu.dbpedia.org/resource/
dbpedia-cahttp://ca.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
dbpedia-eohttp://eo.dbpedia.org/resource/
n13http://g.co/kg/m/
dbpedia-hehttp://he.dbpedia.org/resource/
n24http://smf4.emath.fr/VieSociete/Rencontres/Beaubourg2004/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n36http://ast.dbpedia.org/resource/
dbpedia-svhttp://sv.dbpedia.org/resource/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pthttp://pt.dbpedia.org/resource/
n10http://fr.dbpedia.org/resource/Modèle:
dbpedia-fihttp://fi.dbpedia.org/resource/
n33http://fr.dbpedia.org/resource/Fichier:
n7http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-fahttp://fa.dbpedia.org/resource/
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n20http://ma-graph.org/entity/
n25https://commons.wikimedia.org/wiki/Category:
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Théorème_de_la_boule_chevelue
rdfs:label
Teorema de la bola peluda Théorème de la boule chevelue Satz vom Igel Теорема про причісування їжака Hairy ball theorem Teorema de la bola peluda Teorema della palla pelosa
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.
rdfs:seeAlso
n25:Hairy_ball_theorem
owl:sameAs
dbpedia-es:Teorema_de_la_bola_peluda dbpedia-it:Teorema_della_palla_pelosa n13:02g43n dbr:Hairy_ball_theorem dbpedia-sv:Igelkottsteoremet dbpedia-de:Satz_vom_Igel dbpedia-ca:Teorema_de_la_bola_peluda dbpedia-fi:Karvapallolause dbpedia-da:Sætningen_om_den_behårede_kugle n20:2780478405 dbpedia-fa:قضیه_توپ_مودار n22:Hairy_ball_theorem dbpedia-pt:Teorema_da_bola_cabeluda dbpedia-zh:毛球定理 dbpedia-uk:Теорема_про_причісування_їжака dbpedia-eo:Teoremo_pri_erinaco dbpedia-hu:Sündisznótétel dbpedia-he:משפט_הכדור_השעיר dbpedia-ru:Теорема_о_причёсывании_ежа n36:Teorema_de_la_bola_peluda wikidata:Q1077741
dbo:wikiPageID
465674
dbo:wikiPageRevisionID
190901905
dbo:wikiPageWikiLink
dbpedia-fr:Est dbpedia-fr:Tokamak dbpedia-fr:Intégration_par_changement_de_variable dbpedia-fr:Parallèle_(géographie) dbpedia-fr:1912_en_science dbpedia-fr:Application_contractante dbpedia-fr:Espace_euclidien category-fr:Théorème_de_topologie dbpedia-fr:Algèbre_linéaire dbpedia-fr:Espace_vectoriel dbpedia-fr:Zéro_d'une_fonction dbpedia-fr:Déterminant_(mathématiques) dbpedia-fr:Mèche_de_cheveux dbpedia-fr:Leopold_Kronecker dbpedia-fr:Point_fixe dbpedia-fr:Vecteur_de_base dbpedia-fr:Fonction_analytique dbpedia-fr:Joint_European_Torus dbpedia-fr:Hyperplan dbpedia-fr:The_American_Mathematical_Monthly dbpedia-fr:Variété_différentielle dbpedia-fr:Norme_(mathématiques) dbpedia-fr:Continuité_(mathématiques) dbpedia-fr:Sphère dbpedia-fr:Vecteur_unitaire dbpedia-fr:Vent dbpedia-fr:Raisonnement_par_l'absurde dbpedia-fr:Homotopie dbpedia-fr:Fonction_polynomiale dbpedia-fr:Variété_(géométrie) dbpedia-fr:Produit_scalaire dbpedia-fr:Inégalité_triangulaire dbpedia-fr:Latitude dbpedia-fr:Fonction_homogène dbpedia-fr:Image_(mathématiques) dbpedia-fr:Champ_magnétique dbpedia-fr:N-sphère dbpedia-fr:Tore dbpedia-fr:Coordonnées_sphériques dbpedia-fr:John_Milnor dbpedia-fr:Connexité_(mathématiques) dbpedia-fr:Combinatoire dbpedia-fr:Anticyclone dbpedia-fr:Point_antipodal dbpedia-fr:Compacité_(mathématiques) dbpedia-fr:Jean_Mawhin dbpedia-fr:Triangulation dbpedia-fr:Champs_de_vecteurs_sur_une_sphère dbpedia-fr:Angle dbpedia-fr:Espace_affine dbpedia-fr:Topologie_algébrique dbpedia-fr:Caractéristique_d'Euler dbpedia-fr:Caractéristique_d'un_anneau dbpedia-fr:Théorème_du_point_fixe_de_Brouwer dbpedia-fr:Théorème_de_Jordan dbpedia-fr:Espace_complet dbpedia-fr:Fibré_tangent dbpedia-fr:Lemme_de_Sperner dbpedia-fr:Topologie_différentielle dbpedia-fr:Matrice_antisymétrique dbpedia-fr:Champ_de_vecteurs dbpedia-fr:Luitzen_Egbertus_Jan_Brouwer dbpedia-fr:Fusion_nucléaire dbpedia-fr:Équinoxe dbpedia-fr:Analyse_(mathématiques) dbpedia-fr:Fonction_rationnelle dbpedia-fr:Cyclone dbpedia-fr:Difféomorphisme dbpedia-fr:Anneau_commutatif dbpedia-fr:Volume dbpedia-fr:Œil_(cyclone) dbpedia-fr:Espace_topologique dbpedia-fr:Application_(mathématiques) n33:Hairy_doughnut.png dbpedia-fr:Mathématiques n33:Hairy_ball.png dbpedia-fr:Degré_d'une_application dbpedia-fr:Sens_de_rotation dbpedia-fr:Dimension_d'un_espace_vectoriel dbpedia-fr:Cercle_antarctique dbpedia-fr:Cercle_arctique dbpedia-fr:Théorème_de_Poincaré-Hopf dbpedia-fr:Claude_Ambrose_Rogers dbpedia-fr:Corollaire dbpedia-fr:Orthogonalité dbpedia-fr:Cercle_polaire dbpedia-fr:Théorème_de_Pythagore dbpedia-fr:Théorème_de_Borsuk-Ulam dbpedia-fr:Norman_Steenrod dbpedia-fr:Application_lipschitzienne dbpedia-fr:Espace_métrique n33:Hurricane_profile-fr.svg dbpedia-fr:État_plasma category-fr:Topologie_algébrique
dbo:wikiPageExternalLink
n24:Pompidou.pdf
dbo:wikiPageLength
40534
dct:subject
category-fr:Théorème_de_topologie category-fr:Topologie_algébrique
prop-fr:wikiPageUsesTemplate
n10:Démonstration n10:Références n10:Portail n10:Milnor1 n10:P. n10:N° n10:Ind n10:ISBN n10:Racine n10:Exp n10:Théorème n10:En n10:Confusion n10:Message_galerie n10:Math n10:2
prov:wasDerivedFrom
wikipedia-fr:Théorème_de_la_boule_chevelue?oldid=190901905&ns=0
foaf:depiction
n7:polenord.gif n7:polesud.gif n7:Bas_rond_vecteurs.svg n7:Hairy_ball.png n7:Hairy_doughnut.png n7:marinette.gif n7:Disque.svg n7:Final.svg n7:Hurricane_profile-fr.svg n7:sud2.gif n7:Balledetenniscoupee1.svg n7:nord2.gif n7:Haut_plat_vecteurs.svg n7:Haut_rond_vecteurs.svg n7:The_Arctic_and_Antarctic_circles_and_the_equator_drawn_on_an_orange.gif n7:Hemisphere_haut.svg n7:Hemisphere_haut_colle.svg n7:Bas_rond_vect_sym.svg
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.
prop-fr:titre
La démonstration de Milnor
dbo:thumbnail
n7:Hairy_ball.png?width=300
prop-fr:déroulante
oui
foaf:isPrimaryTopicOf
wikipedia-fr:Théorème_de_la_boule_chevelue
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.