Chapter 25: Lie Derivative, Invariance and Killing Vector Fields
Let M be an n-dimensional C∞ differentiable manifold with local coordinates xj, j = 1, …, n. Real valued C∞ vector fields and real valued C∞ differential forms on M can be considered. The components of the vector field V are denoted by Vj∂/∂xj . This means