Lie bracket
这里formula_27表示光滑向量场的李括号，其性质本质上定义了"M"上流形结构。