Lie derivative
将上述想法应用到由向量场 "M" 定义的微分同胚单参数群，对参数求导，得到了任意丛上的李导数概念。