Completeness of locally $k_\omega$-groups and related infinite-dimensional Lie groups
Group Theory
2017-03-08 v2
Abstract
Recall that a topological space is said to be a -space if it is the direct limit of an ascending sequence of compact Hausdorff topological spaces. If each point in a Hausdorff space has an open neighbourhood which is a -space, then is called locally . We show that a topological group is complete whenever the underlying topological space is locally . As a consequence, every infinite-dimensional Lie group modelled on a Silva space is complete.
Keywords
Cite
@article{arxiv.1612.09111,
title = {Completeness of locally $k_\omega$-groups and related infinite-dimensional Lie groups},
author = {Helge Glockner},
journal= {arXiv preprint arXiv:1612.09111},
year = {2017}
}
Comments
v2: 11 pages, major rewriting, cuts, and change of authorship as the former Theorem 1.1 turned out be a known result by D.C. Hunt and S.A. Morris from 1974