- Théorème de Frobénius
-
Théorème de Frobenius
En géométrie différentielle, le théorème de Frobenius est un théorème décrivant la structure de certaines formes différentielles possédant certaines propriétés.
Formulation
Dans sa version moderne, le théorème de Frobenius peut s'exprimer ainsi :
- Soient r formes linéaires linéairement indépendantes en un point p d'une variété différentielle, et soient des formes , A et B décrivant l'ensemble 1, ..., r, telles que
- ,
- d désignant la dérivée extérieure et le produit extérieur, alors il existe un voisinage ouvert de p dans lequel il existe des fonctions , hB telles que pour tout A :
- .
Conséquence fondamentale
Dans le cas d'une seule forme σ, le théorème de Frobenius stipule que
est équivalent à dire que σ est de la forme
- ,
c'est-à-dire que σ est proportionnelle à un gradient.
En termes de composantes, cette relation s'écrit :
- σ[a,bσc] = 0 équivalent à .
Cette dernière relation est abondamment utilisée en relativité générale, où elle permet d'exhiber que certains champs de vecteurs sont parallèles à un gradient, et peuvent définir un feuilletage de la région considérée, correspondant aux hypersurfaces où la fonction dont on prend le gradient (ici notée h) prend une valeur constante.
Généralisation
Une généralisation du théorème de Frobenius peut se faire à l'aide du théorème de Darboux.
- Portail des mathématiques
Catégories : Géométrie différentielle | Théorème de mathématiques - Soient r formes linéaires linéairement indépendantes en un point p d'une variété différentielle, et soient des formes , A et B décrivant l'ensemble 1, ..., r, telles que
Wikimedia Foundation. 2010.