 Solution

A Killing vector field $\xi$ generates a local one-parameter family of isometries of the metric tensor. Equivalently, its tensor Lie derivative of the metric vanishes:The latter is the Killing equation; the equivalence uses metric compatibility and the torsion-free connection.