added banach-spaces tag
Banach-Mazur applied to a Hilbert space
The Banach-Mazur theorem says that every separable Banach space is isometric to a subspace of $C^0([0;1],R)$, the space of continuous real valued functions on the interval $[0;1]$, with the sup norm.
If we apply this to $\ell^2(R)$, then we see that $C^0([0;1],R)$ has a subspace which is a Hilbert space for the sup norm.
My question is can one write down explicitly such a subspace of $C^0([0;1],R)$?
I'm just curious, that's all.