Infinite-dimensional Lie groups and their Lie algebras Lie groups mathematics