リー代数
Let formula_2 be a real Lie algebra. It is called a complete Lie algebra if each map