Los vectores de Killing se definen mediante la condición de que la derivada de Lie de la métrica en la dirección dada por un campo vectorial de Killing k es nula: