Lie bracket
1. 如果我们定义李括号等于formula_19，则每个向量空间自然成为一个平凡的交换李代数。