実リー代数と複素リー代数の対応