Lie derivative
Der Vektorraum formula_49 aller glatten Funktionen formula_50 ist bezüglich der punktweisen Multiplikation eine Algebra. Die Lie-Ableitung bezüglich eines Vektorfeldes formula_1 ist dann eine formula_52-lineare Derivation formula_53, d. h., sie hat die Eigenschaften