Feuilletage
En mathématiques, et plus précisément en géométrie différentielle, on dit qu'une variété est feuilletée, ou munie d'un feuilletage, si elle se décompose en sous-variétés de même dimension, appelées feuilles, qui localement, s'empilent comme les sous-espaces ℝn × ℝm-n.
Définition
[modifier | modifier le code]Formellement, un feuilletage sur est un atlas feuilleté, autrement dit une famille de cartes locales , où , et les changements de carte préservent cette décomposition : pour tout , .
![](http://178.128.105.246/content-http-upload.wikimedia.org/wikipedia/commons/thumb/4/4a/Feuilletage.svg/220px-Feuilletage.svg.png)
Quand une variété est feuilletée, dans chaque ouvert de carte, on appelle « feuille locale » d'un point l'ensemble des où . Comme les changements de cartes préservent les feuilles locales, on peut recoller les feuilles locales pour obtenir des feuilles (sous-entendu globales), qui sont des sous-variétés immergées, mais pas nécessairement plongées (elles peuvent être denses).
La régularité des cartes n'a pas été précisée. Il est fréquent de rencontrer en systèmes dynamiques des feuilletages qui sont seulement continus, ou alors hölderien. Cela dit, en général, les feuilles elles-mêmes sont lisses, et c'est la famille des feuilles qui ne l'est pas.
Exemples
[modifier | modifier le code]Fibration
[modifier | modifier le code]Une fibration est un cas particulier de feuilletage. En général, si on a un feuilletage, on a des sections locales, autrement dit des sous-variétés transverses aux feuilles locales dans un petit ouvert, et qui intersectent chaque feuille locale de cet ouvert. A priori il n'existe cependant pas de section globale, c'est-à-dire de sous variété de telle que est transverse à chaque feuille locale (transverse au feuilletage, donc) et coupe chaque feuille.
Une fibration est donc un feuilletage pour lequel il existe une section globale qui coupe chaque feuille exactement une fois.
Lemme de Frobenius
[modifier | modifier le code]Considérons un champ de plans dans , autrement dit un sous-fibré vectoriel de . Si on suppose que pour tout champ de vecteurs et inclus dans , leur crochet est aussi contenu dans , alors le lemme de Frobenius nous assure que l'on peut écrire
où est un feuilletage de . Si est , alors est lui aussi .
Dans le cas où , donc , cette condition dite « d'intégrabilité » se réécrit
- .
Ceci est un moyen classique d'obtention de feuilletages, et permet de traduire l'information contenue dans qui est dans l'espace tangent, en une information directement dans donc plus « topologique ».
Feuilletages dynamiques
[modifier | modifier le code]En dynamique hyperbolique, on suppose en général que l'on a des décompositions de l'espace tangent invariantes par la dynamique. La question de la régularité de ces décompositions est centrale dans ce domaine. Le théorème qui fonde cette étude est le théorème des variétés stables. Sous certaines hypothèses, il nous assure que ces décompositions sont intégrables au sens du paragraphe précédent, et l'on dispose donc sur la variété de plusieurs feuilletages dynamiques.
Référence
[modifier | modifier le code]- Claude Godbillon, Feuilletages : études géométriques, Basel/Boston/Berlin, Birkhäuser Verlag, coll. « Progress in mathematics », , 474 p. (ISBN 3-7643-2638-7)