Es decir la aplicación anterior aplica puntos de la variedad en puntos que tiene una forma idéntica de métrica, dicho de otro modo, la métrica es "invariante" bajo la acción del grupo de isometrías asociado a un vector de Killing.