Dado un campo vectorial de Killing diferenciable entonces puede definirse un grupo uniparamétrico local de isometrías sobre la variedad de Riemann a partir de las curvas integrales asociadas a ese campo vectorial.