定義
>>307の D を X による Lie微分(Lie derivative) と呼び、L_X と書く。