Pro-Lie groups which are infinite-dimensional Lie groups
英文摘要:
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 compatible with a smooth manifold structure for which the group operations are smooth if and only if $G$ is locally contractible. We also characterize the corresponding pro-Lie algebras in various ways. Furthermore, we characterize those pro-Lie groups which are locally exponential, that is, they are Lie groups with a smooth exponential function which maps a zero neighborhood in the Lie algebra diffeomorphically onto an open identity neighborhood of the group.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。