Skip to main content
1 of 2
Laurent Berger
  • 6.9k
  • 1
  • 30
  • 44

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.

Laurent Berger
  • 6.9k
  • 1
  • 30
  • 44