ABSTRACT
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 (,: ,...,;;).
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 (,: ,...,;;).