Contractibility of the sphere and Stiefel manifolds of a separable Hilbert space Why are the sphere $$S=\lbrace |x|=1\rbrace$$ and the Stieffel manifolds of orthonormal $n$-frames $$V_n=\lbrace (x_1,\dots,x_n)\in S^n\mid i\neq j\Rightarrow\langle x_i|x_j\rangle=0\rbrace$$ of a infinite dimensional separable Hilbert space $\mathscr{H}$ contractible? I've read a proof of this about a year ago, but I can't find it, and I don't remember the argument.
 A: Let $\mathscr H$ be an infinite dimensional Hilbert space. Let us write
$$\mathscr{V}_p=\{\text{all linearly independent }x_\bullet=(x_1,\dots,x_p)\in\mathscr{H}^p\}$$
and
$$\mathscr{V}_p^\perp=\{\text{all orthonormal }x_\bullet=(x_1,\dots,x_p)\in\mathscr{H}^p\}$$ The Gram-Schmidt orthonormalization process induces a retraction of $\mathscr{V}_p^\perp\hookrightarrow \mathscr{V}_p$. Affine interpolation between $x_\bullet$ and its Gram-Schmidtization $\widetilde{x_\bullet}=\mathrm{GS}(x_\bullet)$ produces for every $t\in[0,1]$ a linearly independent family $(1-t)x_\bullet+t\widetilde{x_\bullet}$. Thus, the inclusion $\mathscr{V}_p^\perp\hookrightarrow \mathscr{V}_p$ is a deformation retraction and it is enough to prove that $\mathscr{V}_p$ is contractible.

Let $(e_n)_{n \in \mathbb N}$ be an orthonormal family in $\mathscr{H}$. Define a linear isometry $T$ of $\mathscr H$ by setting
$$\begin{cases}
\forall n\in\mathbb N,&Te_n=e_{n+1}\\
\forall v\in V,& Tv=v
\end{cases}$$
where we put $V=\overline{\langle e_n\rangle}^\perp_{n\in\Bbb{N}}$.

Fact. Let $x_\bullet\in\mathscr{V}_p$ be free, $a,b\in \mathbb R$ with $a+b\neq0$, then $ax_\bullet +bT^px_\bullet$ is also free.

This follows immediately from the fact that $x$ and $T^p x$ are collinear iff $x\in V$ in which case $T^p x=x$.

We define a homotopy $H$ from $\mathrm{id}_{\mathscr{V}_p}$ to the constant map equal to $e_\bullet:=(e_1,\dots ,e_p)$.
$$
H:
\left\{
\begin{array}{ccc}
[0,2]\times \mathscr{V}_p & \longrightarrow & \mathscr{V}_p,\\
(t,x_\bullet) & \longmapsto &
\begin{cases}
0\leq t\leq 1:&
(1-t)x_\bullet+tT^px_\bullet\\
1\leq t\leq 2:&
(2-t)T^px_\bullet+(t-1)e_\bullet
\end{cases}
\end{array}
\right.$$
The fact quoted above means that $H$ is well-defined for $0\leq t\leq 1$. This map is still well-defined for $1 < t \leq 2$ since for $t>1$ the orthogonal projection of $(2-t)T^px_\bullet+(t-1)e_\bullet$ onto the span of $e_1,\dots,e_p$ is $(t-1)e_\bullet$ thus free.
Thus $\mathscr{V}_p$ is contractible and so is $\mathscr{V}_p^\perp$.
