Lie-Ableitung
Bezeichne formula_57 die Menge aller glatten Vektorfelder auf formula_6, dann ist die Lie-Ableitung auch eine formula_52-lineare Derivation auf formula_60, und es gilt: