
arXiv: 1612.09111
Recall that a topological space is said to be a $k_��$-space if it is the direct limit of an ascending sequence of compact Hausdorff topological spaces. If each point in a Hausdorff space $X$ has an open neighbourhood which is a $k_��$-space, then $X$ is called locally $k_��$. We show that a topological group is complete whenever the underlying topological space is locally $k_��$. As a consequence, every infinite-dimensional Lie group modelled on a Silva space is complete.
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
Groups of diffeomorphisms and homeomorphisms as manifolds, Infinite-dimensional Lie groups and their Lie algebras: general properties, hemicompact space, Spaces defined by inductive or projective limits (LB, LF, etc.), Group Theory (math.GR), compactly generated space, 22E65 (primary), 22A05, 46A13, 46M40, 58D05 (secondary), (DFS)-space, Inductive and projective limits in functional analysis, Structure of general topological groups, direct limit, completeness, FOS: Mathematics, Silva space, Mathematics - Group Theory, infinite-dimensional Lie group
Groups of diffeomorphisms and homeomorphisms as manifolds, Infinite-dimensional Lie groups and their Lie algebras: general properties, hemicompact space, Spaces defined by inductive or projective limits (LB, LF, etc.), Group Theory (math.GR), compactly generated space, 22E65 (primary), 22A05, 46A13, 46M40, 58D05 (secondary), (DFS)-space, Inductive and projective limits in functional analysis, Structure of general topological groups, direct limit, completeness, FOS: Mathematics, Silva space, Mathematics - Group Theory, infinite-dimensional Lie group
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 1 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
