Lie-Ableitung
Sind formula_1 und formula_24 wieder zwei Vektorfelder, dann gilt für die Lie-Ableitung die Identität