The Unitary Group In Its Strong Topology
arXiv:1309.5891
Abstract
The unitary group on an infinite dimensional complex Hilbert space in its strong topology is a topological group and has some further nice properties, e.g. it is metrizable and contractible if is separable. As an application Hilbert bundles are classified by homotopy.
8 pages