Killing vector field (source code)

= Killing vector field
{c}
{wiki}

A Killing vector field $K$ generates a local one-parameter family of isometries. Equivalently,
$$
\mathcal L_Kg=0
\qquad\Longleftrightarrow\qquad
\nabla_{(\mu}K_{\nu)}=0.
$$