リー群
Infinite dimensional Lie group