Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Why is a certiain space of linear isometries paracompact
Let $V$ be a finite dimensional real inner product space and $U$ a real inner product space of countable dimension. Why is the space of linear isometries from $V$ to $U$ paracompact?
