Pro-Lie groups which are infinite-dimensional Lie groups

K. H. Hofmann, K. -H. Neeb

A pro-Lie group is a projective limit of a family of finite-dimensional Lie groups. In this note we show that a pro-Lie group $G$ is a Lie group in the sense that its topology is c…