In this paper Martin Schottenloher notices that the unitary group $U(H)$ of a separable Hilbert space $H$ is metrizable in the strong operator topology. As a corollary (see R.Engelking, 5.1.3), it is paracompact (when $H$ is separable). I wonder

if $U(H)$ is paracompact for an arbitrary (not necessarily separable) Hilbert space $H$ in the strong operator topology.

P.S. This continues the discussions here, here, here and here, but I must say that I don't even understand why $U(H)$ is not locally compact in the infinite dimensional case.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.