Past exam of the mathematics course of the University of Cambridge / 2012 / iii / Paper 56 / 4 / a / i / 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.