Produit intérieur
De Wikipedia, l'encyclopédie encyclopedia
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 vecteurs.
Cet article est une ébauche concernant la géométrie.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Plus précisément, si est un champ de vecteurs sur une variété différentielle et si désigne l'ensemble des formes différentielles de degré sur alors le produit intérieur par est l'opérateur
défini par : pour tous champs de vecteurs sur ,
C'est une antidérivation de l'algèbre extérieure, i.e., si α est une p-forme et β une forme de degré quelconque :