实半单Lie代数的Cartan分解的存在性
실반단Lie대수적Cartan분해적존재성
On the Existence of Cartan Decomposation of Real Semisimple Lie Algebra