3.1 Cartan-Weyl基下的实现