# 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

Formellement, un feuilletage sur $M$ est un atlas feuilleté, autrement dit une famille de cartes locales $(U,f_{U})$, où $f_{U}:U\rightarrow \mathbb {R} ^{k}\times \mathbb {R} ^{n-k}$, et les changements de carte préservent cette décomposition : pour tout $a$, $f_{U}\circ f_{V}^{-1}(\mathbb {R} ^{k}\times \{a\})=\mathbb {R} ^{k}\times {b(a)}$.
Quand une variété est feuilletée, dans chaque ouvert de carte, on appelle « feuille locale » d'un point $x$ l'ensemble des $f_{U}^{-1}(\mathbb {R} ^{k}\times {a})$ où $f_{U}(x)=(*,a)$. 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
### Fibration

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é $\Sigma$ de $M$ telle que $\Sigma$ 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

Considérons un champ de plans dans $M$, autrement dit un sous-fibré vectoriel $E$ de $TM$. Si on suppose que pour tout champ de vecteurs $X$ et $Y$ inclus dans $E$, leur crochet $[X,Y]$ est aussi contenu dans $E$, alors le lemme de Frobenius nous assure que l'on peut écrire
       $E=T{\mathcal {F}}$
où ${\mathcal {F}}$ est un feuilletage de $M$. Si $M$ est $C^{r}$, alors ${\mathcal {F}}$ est lui aussi $C^{r}$.
Dans le cas où $\mathrm {codim} (E)=1$, donc $E=\ker \alpha$, cette condition dite « d'intégrabilité » se réécrit
       $\alpha \wedge \mathrm {d} \alpha =0$.
Ceci est un moyen classique d'obtention de feuilletages, et permet de traduire l'information contenue dans $E$ qui est dans l'espace tangent, en une information directement dans $M$ donc plus « topologique ».

### Feuilletages dynamiques

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.