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?



Why is a certain space of linear isometries paracompact
Certainly if $U$ is a finite-dimensional inner product space, then $\text{Isom}(V, U)$ is paracompact (being a closed subspace of $\text{Lin}(V, U) \cong U^n$). 


If $U$ has countably infinite dimension, then $U$ is a sequential colimit of finite-dimensional inner product subspaces $U\_n$ and inclusions between them, and 


$$\text{Isom}(V, U) \cong \text{colim}\_n \text{Isom}(V, U\_n)$$ 


since each isometry $V \to U$ must factor (for some $n$) as $V \to U\_n \hookrightarrow U$ for a uniquely determined isometry $V \to U\_n$. So $\text{Isom}(V, U)$ equipped with the colimit topology is a sequential colimit along closed embeddings of paracompact Hausdorff spaces. But such a colimit is again paracompact Hausdorff (see Proposition 4.2 [here](https://ncatlab.org/nlab/show/colimits+of+paracompact+Hausdorff+spaces)). 


