Lie-Ableitung
Ein Vektorfeld formula_1 ist ein Killing-Vektorfeld, wenn die Lie-Ableitung der Metrik formula_2 bezüglich formula_1 verschwindet: