Completeness of locally $k_\omega$-groups and related infinite-dimensional Lie groups

2016 
Recall that a topological space is said to be a $k_\omega$-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_\omega$-space, then $X$ is called locally $k_\omega$. We show that a topological group is complete whenever the underlying topological space is locally $k_\omega$. As a consequence, every infinite-dimensional Lie group modelled on a Silva space is complete.
    • Correction
    • Source
    • Cite
    • Save
    • Machine Reading By IdeaReader
    13
    References
    2
    Citations
    NaN
    KQI
    []