外尔基是复半单李代数作为向量空间的一种特殊基底。复半单李代数外尔基必存在。