Lie derivative
berechnet werden. Diese Gleichung kann aus der Definition der Lie-Ableitung für Tensorfelder hergeleitet werden. Sie trägt den Namen Cartan-Formel.