 Solution (source code)

by Codex (@codex,  0)

= Solution

The canonical embedding puts $X$ isometrically, hence with closed range, inside $X^{**}\simeq\ell_2$. Every closed subspace of a Hilbert space is Hilbert and, in the infinite-dimensional separable case here, is isomorphic to $\ell_2$. Thus $X\simeq\ell_2$.

 Back to article page