EXERCISES

From the Lie derivative definition, find again the expression (6-14') of LxOJ in the particular case ofa one-form OJ, dx' :

LxOJ = (Xk0kOJ, +OJkO,Xk)dx'.

Answer. Let us consider the diffeomorphism " : (Xl , ..• ,x") H (,: ,...,;;).