Lie derivative
リー微分が持つ性質は多い。"K" を実数または複素数全体の成す体とし、"K"("M") を多様体 "M" 上の "K"-値関数全体の成す多元環とするとリー微分