Produit intérieur - Définition

En géométrie différentielle, le produit intérieur est une opération élémentaire sur les formes différentielles, que l'on construit à partir d'un champ de vecteur. Plus précisément, si X est un champ de vecteur sur une variété différentielle M, alors

est l'opérateur défini par

.

C'est une antidérivation de l'algèbre extérieure, i.e, si α est une p-forme et β une forme de degré quelconque :

.