Lie derivative
李导数和外导数密切相关，因此和埃里·嘉当的微分流形理论相关。