リー微分
Here is the -valued function obtained by duality from pairing the one-form with the vector field , and is the Lie derivative of this function along . Similarly is the Lie derivative along of the -valued function .