Is there a normed space which is isometric to a proper subspace of itself?

Top