Killing Vector Fields

Let M be a smooth manifold and g be a metric tensor field. Then V is called a Killing vector field with respect to g if L_Vg = 0 where L_V(˙) denotes the Lie derivative. If V and W are Killing vector fields of g, then the commutator [V,W] is also a Killing vector field…