Lie-Ableitung
Die Lie-Ableitung formula_70 ist formula_52-linear in formula_1 und für festes formula_1 eine Derivation der Tensoralgebra, die mit der Kontraktion verträglich ist. Die Lie-Ableitung ist dadurch und durch ihre Werte auf Funktionen und Vektorfeldern bereits eindeutig charakterisiert.