Lie derivative
Ist formula_1 ein Vektorfeld, so ist die Lie-Ableitung einer differenzierbaren Funktion formula_2 die Anwendung von formula_1 auf formula_2: