Donde formula_8 representa la derivada covariante y formula_9 la derivada de Lie según uno de esos vectores de Killing.