title: Théorème de Frobenius (géométrie différentielle)
text: # Théorème de Frobenius (géométrie différentielle)
  
  Le théorème de Frobenius donne une condition nécessaire et suffisante d'intégrabilité locale d'un système d'équations aux dérivées partielles du premier ordre dont le membre de droite dépend des variables, des inconnues, mais ne dépend pas de dérivées partielles de ces inconnues : un tel système d'équations aux dérivées partielles est appelé un « système de Pfaff ». Les fonctions du second membre sont supposées seulement de classe $C^{1}$, ce qui rend impossible l'application du théorème de Cauchy-Kowalevski, qui suppose ces fonctions analytiques. Le théorème de Frobenius a des liens étroits avec le lemme de Poincaré pour les 1-formes, ce lemme indiquant alors sous quelle condition une 1-forme différentielle $\omega$ est localement exacte. Le théorème de Frobenius conduit à considérer les « variétés intégrales » de la géométrie différentielle et peut s'exprimer dans ce langage. Ces variétés intégrales conduisent à la notion de feuilletage. Le « théorème de Frobenius » a en réalité été établi par Feodor Deahna (en) en 1840, dans un article approfondissant les travaux de Johann Friedrich Pfaff et de Charles Gustave Jacob Jacobi sur les équations aux dérivées partielles du premier ordre (remontant quant à eux à 1815 et 1827 respectivement) et qui est passé inaperçu jusqu'à ce que Ferdinand Georg Frobenius l'exhume en 1875. Le théorème de Chow-Rashevskii (en) et celui de Hector Sussmann, datant de 1938-39 et 1973 $respectivement^,,$ étudient l'existence de variétés intégrales pour des « p-champs » singuliers ; ils sont, comme le théorème de Frobenius, très utilisés pour étudier la commandabilité des systèmes non linéaires (le lien entre cette question de commandabilité et le théorème de Frobenius a en premier lieu été noté par Robert Hermann (en) en 1963).
  
  ## Théorème de Frobenius : formulation « fonctionnelle »
  
  Soit U un ouvert de $\mathbb {R} ^{p}$, V un ouvert de $\mathbb {R} ^{n-p}$, et, pour tout k, $1\leq k\leq {n-p}$, une fonction $B^{k}:U\times V\rightarrow \mathbb {R} ^{p}$ de classe $C^{r}$ ($1\leq r\leq +\infty$). Considérons le système (F) d'équations aux dérivées partielles, ou « système de Pfaff »
  
         (F) : ${\frac {\partial v^{k}}{\partial x^{h}}}=B_{h}^{k}\left(x^{1},...,x^{p},v^{1},...,v^{n-p}\right)\quad \left(1\leq k\leq n-p,1\leq h\leq p\right).$
  
  Une variété intégrale de ce système, si elle existe, est une sous-variété de N de $U\times V$, de classe $C^{r}$, définie par la représentation paramétrique (RP) :
  
         (RP) : $x^{p+k}=v^{k}\left(x^{1},...,x^{p}\right)$
  
  sur laquelle s'annulent donc les 1-formes différentielles (ou « formes de Pfaff ») linéairement indépendantes
  
         $\omega ^{k}=dx^{p+k}-\sum \limits _{h=1}^{p}{\frac {\partial v^{k}}{\partial x^{h}}}dx^{h}$
  
  Résoudre le système de Pfaff (F) équivaut à déterminer une variété intégrale N de ce système, et (F) admet une solution si, et seulement si une telle variété intégrale existe.
  
  Théorème de Frobenius sous forme fonctionnelle — Les conditions suivantes sont équivalentes : (1) Pour tout point $(x_{0},v_{0})\in U\times V$ il existe un voisinage ouvert $S\subset U$ de $x_{0}$, un voisinage ouvert $T\subset V$ de $v_{0}$, et une unique fonction v de classe $C^{r}$, de S dans T, solution de (F) et telle que $v(x_{0})=v_{0}$. (2) Les fonctions $B^{k}$ vérifient dans $U\times V$ la « condition d'intégrabilité de Frobenius »
  
         ${\frac {\partial B_{h}^{k}}{\partial x^{l}}}+\sum _{j=1}^{n-p}{\frac {\partial B_{h}^{k}}{\partial v^{j}}}B_{l}^{j}={\frac {\partial B_{l}^{k}}{\partial x^{h}}}+\sum _{j=1}^{n-p}{\frac {\partial B_{l}^{k}}{\partial v^{j}}}B_{h}^{j}$
            $\left(1\leq k\leq n-p,1\leq l\leq p,1\leq h\leq p\right).$
  
  La condition est nécessaire, car s'il existe une telle fonction v, elle est nécessairement de classe $C^{r+1}$ (avec la convention que $+\infty +1=+\infty$). Alors, d'après le théorème de Schwarz, ${\frac {\partial ^{2}v^{k}}{\partial x^{h}\partial x^{l}}}={\frac {\partial ^{2}v^{k}}{\partial x^{l}\partial x^{h}}}$.
  
  Or, ${\frac {\partial ^{2}v^{k}}{\partial x^{h}\partial x^{l}}}={\frac {\partial B_{h}^{k}}{\partial x^{l}}}+\sum _{j=1}^{n-p}{\frac {\partial B_{h}^{k}}{\partial x^{j+p}}}{\frac {\partial v^{j}}{\partial x^{l}}}={\frac {\partial B_{h}^{k}}{\partial x^{l}}}+\sum _{j=1}^{n-p}{\frac {\partial B_{h}^{k}}{\partial x^{j+p}}}B_{l}^{j}$, et la condition de Frobenius en résulte.
  
  Réciproquement, la condition d'intégrabilité Frobenius équivaut à $d\omega ^{k}=0$ avec
  
         $\omega ^{k}\left(x^{1},...,x^{n}\right)=dx^{p+k}-\sum \limits _{h=1}^{p}B_{h}^{k}\left(x^{1},...,x^{n}\right)dx^{h}$.
  
  Le lemme de Poincaré implique alors l'existence de fonctions $f^{k}$, définies dans un voisinage ouvert contractile suffisamment petit W de $\left(x_{0},v_{0}\right)$, telles que $\omega ^{k}=df^{k}\left(1\leq k\leq n-p\right)$. La variété $N\cap W$ est donc définie par les équations
  
  (EI):: $f^{k}\left(x^{1},...,x^{p},x^{p+1},...,x^{n}\right)=f^{k}\left(x_{0}^{1},...,x_{0}^{p},v_{0}^{1},...,v_{0}^{n-p}\right).$
  
  Puisque les $df^{k}$ sont linéairement indépendantes, le théorème des fonctions implicites implique l'existence d'un voisinage $S\times T\subset W$ de $\left(x_{0},v_{0}\right)$ et de fonctions $v^{k}\left(1\leq k\leq n-p\right)$ de classe $C^{r}$, définies de manière unique, telles que les équations (EI) équivalent à (RP) dans $S\times T$ ; ces fonctions vérifient $v(x_{0})=v_{0}$.
  
  ### Remarque
  
  Il existe une généralisation de ce théorème au cas où $\mathbb {R} ^{p}$ et $\mathbb {R} ^{n-p}$ sont remplacés par des espaces de Banach.
  
  ## Crochets de Lie
  
  Désormais, $r=+\infty$ et toutes les variétés différentielles (qu'on appellera simplement variétés) sont de classe $C^{\infty }$. Soit M une variété de dimension n. On désigne par ${\mathcal {E}}_{0}\left(M\right)$ la $\mathbb {R}$-algèbre des fonctions indéfiniment dérivables sur la variété M et par ${\mathcal {T}}_{0}^{1}\left(M\right)$ le ${\mathcal {E}}_{0}\left(M\right)$-module des champs de vecteurs de classe $C^{\infty }$ sur M. Par définition, ${\mathcal {T}}_{0}^{1}\left(M\right)$ est l'ensemble des sections du fibré tangent $T\left(M\right)$.
  
  * Soit $f\in {\mathcal {E}}_{0}\left(M\right),X\in {\mathcal {T}}_{0}^{1}\left(M\right)$. La dérivée de Lie de f suivant le champ de vecteurs X est ${\mathcal {L}}_{X}.f=\left\langle df,X\right\rangle \in {\mathcal {E}}_{0}\left(M\right)$, où $df$ est la différentielle de f. L'opérateur ${\mathcal {L}}_{X}$ est une dérivation de l'algèbre ${\mathcal {E}}_{0}\left(M\right)$.
  * Étant donné $X,Y\in {\mathcal {T}}_{0}^{1}\left(M\right)$, il existe un élément de ${\mathcal {T}}_{0}^{1}\left(M\right)$, déterminé de manière unique et noté $\left[X,Y\right]$, appelé le crochet de Lie de X et de Y, tel que ${\mathcal {L}}_{\left[X,Y\right]}={\mathcal {L}}_{X}\circ {\mathcal {L}}_{Y}-{\mathcal {L}}_{Y}\circ {\mathcal {L}}_{X}$.
  * Le crochet de Lie est une application $\mathbb {R}$-bilinéaire antisymétrique de ${\mathcal {T}}_{0}^{1}\left(M\right)\times {\mathcal {T}}_{0}^{1}\left(M\right)$ dans ${\mathcal {T}}_{0}^{1}\left(M\right)$. Soit $c=\left(U,\xi ,n\right)$ une carte de M, $r=\left(\mathbf {s} _{i}\right)_{1\leq i\leq n}$ un repère de classe $C^{\infty }$ au-dessus de U et $X,Y\in {\mathcal {T}}_{0}^{1}\left(U\right)$ deux champs de vecteurs de coordonnées $X^{i},Y^{j}\in {\mathcal {E}}_{0}\left(U\right)$ dans ce repère. Les coordonnées $Z^{i}\in {\mathcal {E}}_{0}\left(U\right)$ de $Z=\left[X,Y\right]$ dans le repère r sont alors
  
         $Z^{i}=\sum \limits _{j=1}^{n}\left({\frac {\partial Y^{i}}{\partial \xi ^{j}}}X^{j}-{\frac {\partial X^{i}}{\partial \xi ^{j}}}Y^{j}\right)$.
  * Le crochet de Lie a la « propriété fonctorielle » suivante : soit M, N deux variétés, $\varphi :M\rightarrow N$ un difféomorphisme et $\varphi _{\ast }:T\left(M\right)\rightarrow T\left(N\right)$ son application linéaire tangente (ou, par abus de langage, sa « différentielle »). Alors, pour tous champs de vecteurs $X,Y\in {\mathcal {T}}_{0}^{1}\left(M\right)$, $\varphi _{\ast }\left(\left[X,Y\right]\right)=\left[\varphi _{\ast }\left(X\right),\varphi _{\ast }\left(Y\right)\right]$.
  * Soit ${\mathcal {E}}_{p}\left(M\right)=\Omega ^{p}\left(M\right)$ le ${\mathcal {E}}_{0}$-module des p-formes sur M et $d:{\mathcal {E}}_{p}\left(M\right)\rightarrow {\mathcal {E}}_{p+1}\left(M\right)$ la dérivée extérieure. Soit alors $\omega \in {\mathcal {E}}_{1}\left(M\right)$ et $X,Y\in {\mathcal {T}}_{0}^{1}\left(M\right)$. On a la formule de Maurer-Cartan
  
         $\left\langle d\omega ,X\wedge Y\right\rangle ={\mathcal {L}}_{X}.\left\langle \omega ,Y\right\rangle -{\mathcal {L}}_{Y}.\left\langle \omega ,X\right\rangle -\left\langle \omega ,\left[X,Y\right]\right\rangle$.
  * Soit $f_{1},f_{2}\in {\mathcal {E}}_{0}\left(M\right),X_{1},X_{2}\in {\mathcal {T}}_{0}^{1}\left(M\right)$. Alors
  
         $\left[f_{1}X_{1},f_{2}X_{2}\right]=f_{1}f_{2}\left[X_{1},X_{2}\right]+\left(f_{1}{\mathcal {L}}_{X_{1}}.f_{2}\right)X_{2}-\left(f_{2}{\mathcal {L}}_{X_{2}}.f_{1}\right)X_{1}.$
  
  On a donc le résultat suivant :
  
  Lemme — Si $\left[X_{1},X_{2}\right]=0$, alors quels que soient les champs de vecteurs $Y,Z$ appartenant au ${\mathcal {E}}_{0}\left(M\right)$-module $span\left\{X_{1},X_{2}\right\}$ engendré par $X_{1}$ et $X_{2}$, le crochet de Lie $\left[Y,Z\right]$ appartient à $span\left\{X_{1},X_{2}\right\}$.
  
  ### Exemple
  
  Considérons le cas élémentaire où $p=2,n=3$ et voyons comment le théorème de Frobenius dans sa forme fonctionnelle s'exprime dans le formalisme géométrique des crochets de Lie, en se ramenant à la situation où M est un ouvert de $\mathbb {R} ^{3}$. Posons $\Delta =span\left\{X_{1},X_{2}\right\}$ avec
  
         $X_{1}=\left(1,0,{\frac {\partial v}{\partial x^{1}}}\right)=\left(1,0,B_{1}\right)$,
         $X_{2}=\left(0,1,{\frac {\partial v}{\partial x^{2}}}\right)=\left(0,1,B_{2}\right)$.
  
  La condition d'intégrabilité de Frobenius s'écrit, avec $B_{h}^{1}=B_{h}=B_{h}\left(x_{1},x_{2},x_{3}\right)$,
  
         ${\frac {\partial B_{1}}{\partial x^{2}}}+{\frac {\partial B_{1}}{\partial x^{3}}}B_{2}={\frac {\partial B_{2}}{\partial x^{1}}}+{\frac {\partial B_{2}}{\partial x^{3}}}B_{1}$,
  
  qui équivaut à $\left[X_{1},X_{2}\right]=0$. En conséquence, la condition d'intégrabilité de Frobenius entraîne, d'après le lemme ci-dessus, que pour tous champs de vecteurs $Y,Z\in \Delta$,on a $\left[Y,Z\right]\in \Delta$. Comme on va le voir plus loin, on peut exprimer ceci en disant que le « 2-champ » $\Delta$ est « involutif ».
  
  ## Redressement des champs de repères
  
  Le théorème de redressement des champs de repères généralise le théorème de redressement des champs de vecteurs.
  
  Théorème de redressement des champs de repères — Soit M une variété de dimension n, $x_{0}$ un point de M et $X_{1},...,X_{p}$ des champs de vecteurs sur M tels que $X_{1}\left(x_{0}\right),...,X_{p}\left(x_{0}\right)$ sont linéairement indépendants. Les conditions suivantes sont équivalentes : (1) Les crochets de Lie $\left[X_{i},X_{j}\right]$ sont tous nuls $(i,j=1,...,p)$. (2) Il existe une carte $\left(U,\varphi ,n\right)$ centrée sur $x_{0}$ telle que $\varphi _{\ast }\left(X_{i}\left\vert _{U}\right.\right)={\frac {\partial }{\partial x^{i}}}.$
  
  (La question étant locale, on peut supposer que $M=U$ est un ouvert de $\mathbb {R} ^{n}$. La condition est nécessaire, car la fonctorialité du crochet de Lie implique $\varphi _{\ast }\left(\left[X_{i},X_{j}\right]\right)=\left[\varphi _{\ast }\left(X_{i}\right),\varphi _{\ast }\left(X_{j}\right)\right]=\left[{\frac {\partial }{\partial x^{i}}},{\frac {\partial }{\partial x^{i}}}\right]=0$. On montre qu'elle est suffisante grâce à la théorie des équations différentielles.)
  
  ## Théorème de Frobenius : formulation géométrique
  
  Commençons par quelques définitions.
  
  (1) Un p-champ (ou une p-direction, ou une distribution d'éléments de contact de dimension p, ou un sous-fibré de dimension p du fibré tangent $T\left(M\right)$) de classe $C^{\infty }$ est une application $\Delta :M\ni x\mapsto \Delta _{x}$ où $\Delta _{x}$ est un sous-espace de dimension p de l'espace tangent $T_{x}\left(M\right)$ à M au point x, vérifiant la condition suivante : pour tout $x\in M$, il existe un voisinage ouvert U de x dans M et des champs de vecteurs $X_{1},...,X_{p}\in {\mathcal {T}}_{0}^{1}\left(M\right)$ tels que $X_{1}(y),...,X_{p}(y)$ forment une base de $\Delta _{y}$ pour tout $y\in U$ (on écrit alors $\Delta _{y}=span\left\{X_{1}(y),...,X_{p}(y)\right\}$ et $\Delta =span\left\{X_{1},...,X_{p}\right\}$, cette dernière écriture signifiant que $\Delta$ est le ${\mathcal {E}}_{0}\left(U\right)$-module engendré par $X_{1},...,X_{p}$). Dans ce qui suit, « p-champ » signifie « p-champ de classe $C^{\infty }$ ».
  
  (2) Une sous-variété N de M est appelée une variété intégrale du p-champ $\Delta$ si pour tout $x\in M$, et en désignant par $\iota :N\rightarrow M$ l'inclusion, $\iota _{\ast }\left(T_{x}\left(N\right)\right)=\Delta _{x}$ (autrement dit, l'espace tangent $T_{x}\left(N\right)$ s'identifie au sous-espace $\Delta _{x}\subset T_{x}\left(M\right)$). Cette variété intégrale est dite maximale si toute variété intégrale qui la contient coïncide avec elle (elle est alors de dimension p). La notion d'intégrabilité est locale et invariante par difféomorphisme.
  
  (3) Le p-champ $\Delta$ est dit complètement intégrable s'il admet une variété intégrale. Il est dit involutif si $\left[X_{1},X_{2}\right]\in \Delta$ pour tous $X_{1},X_{2}\in \Delta$.
  
  (4) Pour tout $x\in M$, soit $\Delta _{x}^{0}$ le polaire de $\Delta _{x}$, c'est-à-dire le sous-espace de l'espace cotangent $T_{x}^{\ast }\left(M\right)$ orthogonal à $\Delta _{x}$, et $\omega ^{j}\left(x\right)$ une base de $\Delta _{x}^{0}$. L'application $\Delta ^{0}:x\mapsto \Delta _{x}^{0}$, si elle est de classe $C^{\infty }$ (notion que l'on définit en « dualisant » celle de p-champ de classe $C^{\infty }$), est une codistribution, à savoir un ${\mathcal {E}}_{0}\left(M\right)$-module, ayant pour base $n-p$ 1-formes (ou formes de Pfaff) $\omega ^{j}\left(1\leq j\leq n-p\right)$. Ces formes de Pfaff s'annulent sur N, à savoir que pour tout champ de vecteurs $X\in {\mathcal {T}}_{0}^{1}\left(N\right)$, $\left\langle \omega ^{j},X\right\rangle =0\left(1\leq j\leq n-p\right)$. On dit encore que le système de Pfaff
  
  (P)::$\omega ^{j}=0\left(1\leq j\leq n-p\right)$
  
  où les $\omega ^{j}$ sont linéairement indépendantes, est associé au p-champ $\Delta$ et définit la variété intégrale N.
  
  (5) Soit $\Omega ^{q}\left(M\right)$ l'espace vectoriel des formes de degré q sur M et $\Omega \left(M\right)$ l'algèbre graduée définie par
  
         $\Omega \left(M\right)=\bigoplus \limits _{q=0}^{+\infty }\Omega ^{q}\left(M\right)$.
  
  On désigne par ${\mathfrak {O}}\left(\Delta \right)$ l'idéal gradué de $\Omega \left(M\right)$ constitué par les formes $\omega$ vérifiant la condition suivante : pour toute q-forme $\omega \in {\mathfrak {O}}\left(\Delta \right)$ et tous champs de vecteurs $X_{1},...,X_{q}\in \Delta$,
  
         $\left\langle \omega ,X_{1}\wedge ...\wedge X_{q}\right\rangle =0$.
  
  Enfin, on désigne par $d\left({\mathfrak {O}}\left(\Delta \right)\right)$ le $\mathbb {R}$-espace vectoriel constitué des $d\omega \left(\omega \in {\mathfrak {O}}\left(\Delta \right)\right)$.
  
  Théorème de Frobenius sous forme géométrique — Soit $\Delta$ un p-champ sur une variété M et (P) le système de Pfaff associé. Les conditions suivantes sont équivalentes :
  
      (i) $\Delta$ est complètement intégrable.
      (ii) $\Delta$ est involutif.
      (iii) $d\left({\mathfrak {O}}\left(\Delta \right)\right)\subset {\mathfrak {O}}\left(\Delta \right)$.
      (iv) Pour tout $x\in M$, il existe un voisinage ouvert W de x et des 1-formes $\alpha _{k}^{j}$ de classe $C^{\infty }$ définies dans W telles que, dans cet ouvert,
         $d\omega ^{j}=\sum \limits _{k=1}^{n-p}\omega ^{k}\wedge \alpha _{k}^{j}\quad \left(1\leq j\leq n-p\right)$
      (v) Pour tout $x\in M$, il existe un voisinage ouvert W de x et des fonctions $f_{k}^{j},g^{k}\in {\mathcal {E}}_{0}\left(W\right)$ $\left(j,k\in \left\{1,...,n-p\right\}\right)$ telles que, dans W,
         $\omega ^{j}=\sum \limits _{k}f_{k}^{j}dg^{k}$.
  
  (i) ⇒ (ii) par le théorème de Frobenius sous forme fonctionnelle et le lemme.
  
  (ii) ⇒ (i) : Supposons $\left[Y,Z\right]$ pour tous $X,Y\in \Delta$. Supposons de plus, sans perte de généralité (la condition (i) étant locale), que M soit un ouvert de $\mathbb {R} ^{n}$ et que $\Delta _{0}$ soit engendré par les p premiers vecteurs $\mathbf {e} _{i}={\frac {\partial }{\partial x^{i}}}\left(0\right)$ de la base canonique de $\mathbb {R} ^{n}$. Soit $\pi :\mathbb {R} ^{n}\rightarrow \mathbb {R} ^{p}$ la projection canonique. L'application $\pi _{\ast }\left\vert _{\Delta _{x}}\right.$ est un isomorphisme de $\Delta _{x}$ sur $T_{x}\left(\mathbb {R} ^{p}\right)\cong \mathbb {R} ^{p}$ pour tout x dans un voisinage de 0 dans M (voisinage qu'on peut de nouveau supposer égal à M). On peut donc trouver dans M des champs de vecteurs $X_{1},...,X_{p}$ tels que $X_{1}\left(x\right),...,X_{p}\left(x\right)\in \Delta _{x}$ et $\pi _{\ast }\left(X_{i}\right)={\frac {\partial }{\partial x^{i}}}\left(1\leq i\leq p\right)$. Par conséquent, par fonctorialité du crochet de Lie,
  
         $\pi _{\ast }\left(\left[X_{i},X_{j}\right]_{x}\right)=\left[\mathbf {e} _{i},\mathbf {e} _{j}\right]_{\pi \left(x\right)}=0$.
  
  Puisque par hypothèse, $\left[X_{i},X_{j}\right]\in \Delta$, ceci entraîne $\left[X_{i},X_{j}\right]=0$. Par conséquent, d'après le théorème de redressement des champs de repère, il existe un ouvert $U\subset M$, qu'on supposera de nouveau égal à M, et un difféomorphisme $\varphi :M\rightarrow N$, avec $N=\varphi (M)\subset \mathbb {R} ^{n}$, tel que la dérivée $D\varphi$ envoie $X_{i}$ sur ${\frac {\partial }{\partial x^{i}}}\left(1\leq i\leq p\right)$. La variété N est intégrale, puisque définie par les relations $x^{i}=C^{te}\left(p+1\leq i\leq n\right)$, et la variété M, qui lui est difféomorphe, est intégrale elle aussi. Par suite, $\Delta$ est complètement intégrable.
  
  (i) ⇔ (iii) : On n'a à considérer que des 1-formes, pour lesquelles la formule de Maurer-Cartan s'applique. Soit $\omega \in {\mathfrak {O}}\left(\Delta \right)$ et $X,Y\in \Delta$. On a $\left\langle d\omega ,X\wedge Y\right\rangle =0$ si, et seulement si $\left\langle \omega ,\left[X,Y\right]\right\rangle =0$, c'est-à-dire $\left[X,Y\right]\in \Delta$.
  
  (iii) ⇔ (iv) : Les produits extérieurs $\omega ^{i}\wedge dx^{h}$, $\omega ^{i}\wedge \omega ^{k}$, $dx^{l}\wedge dx^{h}$, $\left(1\leq j\leq k\leq n-p,1\leq l<h\leq p\right)$ forment une base du ${\mathcal {E}}_{0}\left(W\right)$-module des 2-formes différentielles sur W. On peut donc écrire pour $1\leq j\leq n-p$
  
         $d\omega ^{j}=\sum \limits _{k,h}C_{kh}^{j}\omega ^{k}\wedge dx^{h}+\sum \limits _{i,k}D_{ik}^{j}\omega ^{i}\wedge \omega ^{k}+\sum \limits _{h,l}E_{hl}^{j}dx^{l}\wedge dx^{h}$
  
  où les coefficients appartiennent à ${\mathcal {E}}_{0}\left(W\right)$. Donc, (iii) est vérifié si, et seulement si les $E_{hl}$ sont tous nuls, ce qui équivaut à (iv).
  
  (i) ⇒ (v) : Supposons (i) vérifié ; on sait qu'il existe une carte $\left(U,\xi ,n\right)$ de M pour laquelle la sous-variété intégrale N est telle que $N\cap U$ ait pour coordonnées locales $\xi ^{p+1}=...=\xi ^{n}=0$. Les 1-formes $d\xi ^{p+1},...,d\xi ^{n}$ constituent donc une base du ${\mathcal {E}}_{0}\left(U\right)$-module $\Delta ^{0}$. Par suite, les 1-formes $\omega ^{j}\left(1\leq j\leq n-p\right)$ se mettent sous la forme indiquée dans (v) avec $g^{k}=\xi ^{p+k}$.
  
  (v) ⇒ (iii) : Soit $\omega \in {\mathfrak {O}}\left(\Delta \right)$ et supposons (v) vérifié où les 1-formes $dg^{k}$ sont linéairement indépendantes (ce que l'on peut supposer sans perte de généralité). Soit alors des champs de vecteurs $X_{i}\in \Delta$. Il vient
  
         $\left\langle d\omega ^{j},X_{i}\wedge X_{l}\right\rangle =\sum \limits _{k}\left\langle df_{k}^{j},X_{i}\right\rangle \left\langle dg^{k},X_{l}\right\rangle =0$
  
  car $\left\langle dg^{k},X_{l}\right\rangle =0$. Ceci prouve (iii).
  
  ### Remarques
  
  * L'équivalence (i) ⇔ (ii) de la formulation géométrique du théorème de Frobenius s'étend à la dimension infinie en raisonnant avec des variétés banachiques. En revanche, elle ne s'étend pas au cas des variétés de Fréchet.
  * Dans le cas où $p=n-1$, l'équivalence (iv) $\Leftrightarrow$ (v) se particularise comme suit : étant donné une 1-forme $\omega$ et un ouvert W suffisamment petit, il existe dans W une 1-forme $\alpha$ telle que, dans cet ouvert, $d\omega =\omega \wedge \alpha$ si, et seulement s'il existe des fonctions $f,g\in {\mathcal {E}}_{0}\left(W\right)$ telles que, dans W, $\omega =f.dg$.
  * Dans le cas analytique, le théorème de Cartan-Kähler (en) est un théorème d'existence d'une variété intégrale pour un système différentiel ; ce théorème est une généralisation du théorème de Frobenius.
  