実リー代数の定義、複素化、実形式