Past exam of the mathematics course of the University of Cambridge / 2024 / iii / Paper 309 / 2 / a

For any vector field $Y$, apply the Leibniz rule to the scalar $\omega (Y)$:Using ${\mathcal{L}}_{V}Y=[V,Y]$ and expanding the Lie bracket in a coordinate chart leavesThe connection terms cancel because the Levi-Civita connection is torsion-free. Applying this formula to each slot of the metric tensor and using metric compatibility givesEquivalently, one may prove both identities at a point in normal coordinates; since both sides are tensors, the result then holds in every coordinate system.