Lie-Ableitung
Weiter oben wurde die Lie-Ableitung bezüglich eines Vektorfeldes formula_1 für Funktionen über formula_6 definiert: