Différentielle Extérieure

Natural & Formal Sciences Dictionary
Opérateur différentiel linéaire d qui envoie les k-formes sur les (k+1)-formes sur une variété lisse, est anticommutatif gradué pour le produit extérieur et vérifie d ∘ d = 0.