Lie derivative
一个流形上所有"k"-形式的集合是一个向量空间。而且，其上有三类操作：楔积, 外微分（用"d"表示），和李导数。"d"2 = 0,细节请见德拉姆上同调。