リー微分
Higher rank objects pick up additional terms when the Lie derivative is taken. For example, the Lie derivative of a type tensor is