next up previous contents
Next: Formule de Cartan. Up: Formes différentielles. Previous: Dérivée de Lie.

Dérivée de Lie de formes différentielles.

 

  prop1870

La deuxième égalité est évidente, car tex2html_wrap_inline5273 commute avec le produit tensoriel et le produit extérieur est un produit tensoriel antisymétrisé. La première propriété se montre en utilisant l'unicité de d. Il suffit de voir que tex2html_wrap_inline5373 vérifie les propriétés du théorème 27. Si f est une fonction tex2html_wrap_inline3651 , on a:

eqnarray1887

donc tex2html_wrap_inline5379 soit tex2html_wrap_inline5381 et:

displaymath5366

De la proposition on déduit immédiatement le:

  cor1927



Bernard Parisse
Tue Mar 25 10:25:51 MET 1997