Killing vector field (isometry)

X is Killing iff Lie-derivative L_X g = 0; equivalently nabla_(mu X_nu) = 0; generates infinitesimal isometries of Riemannian manifold; n(n+1)/2 for max-symmetric spaces (Sn, Hn, Rn).