Analysis on and representations of infinite-dimensional Lie groups Lie groups mathematics