リー微分
For a linear connection formula_101, the Lie derivative along formula_9 is