Killing vector field

A Killing vector field $K$ generates a local one-parameter family of isometries. Equivalently,

If $U$ is the tangent to an affinely parametrized geodesic and $K$ is a Killing vector, then $g(K,U)$ is constant along the geodesic.