Lie derivative
Für "echte" Differentialformen kann die Lie-Ableitung bezüglich eines Vektorfeldes formula_1 durch