Lie derivative
所有李导数组成的向量空间对应于如下的李括号构成一个无限维李代数。