Differential geometry MOC

Killing field

Let be a [[Semi-Riemannian manifold|semi-Riemannian -manifold]]. A Killing field is a vector field which generates a flow which is an isometry. diff Equivalently, the Lie derivative of the metric tensor along vanishes

or the symmetrization of the covariant derivative by the Levi-Civita connexion vanishes

Proof of equivalence

proof

The space of all Killing fields form a Lie subalgebra of , with the corresponding Lie group being the isometries .

---

develop | en | sembr