欧几里得空间
2. 如果选李括号为向量的叉乘，欧几里得空间formula_20是一个李代数。