Calcul différentiel extérieur

En géométrie différentielle, le calcul différentiel extérieur désigne le calcul portant sur les formes différentielles ouverts de ou plus généralement sur des variétés différentielles. Cet article regroupe un ensemble de formules, portant sur le produit intérieur, le produit extérieur, la dérivée de Lie, … Les définitions de ces opérations sont données dans les articles correspondants et sont celles les plus usitées ; mais des modifications dans les définitions, parfois faites par certains auteurs, impliquent des changements de signe dans les formules suivantes.

Notations : On travaille des ouverts de ou plus généralement _sur des variétés différentielles (sans les nommer). X et Y sont des champs de vecteurs, et sont des formes différentielles pures, le degré de est noté k. et sont des applications , et des difféomorphismes et f est une fonction réelle.

Rappels. Le tiré en arrière (pull-back en anglais) ou image réciproque se définit pour les champs de tenseurs covariants, en particulier pour les formes différentielles, et pour toute application lisse. Le poussé en avant, ou image directe, nécessite d'avoir affaire à un difféomophisme.

Tiré en arrière et poussé en avant

modifier
  1.  
  2.  
  3.  
  4.  
  5.  
  6.  
  7.  

Lien avec le produit extérieur

modifier
  1.  
  2.  
  3.  

Multiplication par une fonction

modifier
  1.  
  2.  
  3.  
  4.  

Lien entre dérivée de Lie, crochets de Lie, produits intérieurs et dérivée extérieure

modifier
  1.  
  2.  
  3.  
  4.  
  5.