How can we construct an example of isometric linear operator $T: H \rightarrow H$ which is not unitary but maps the Hilbert space $H$ onto a proper closed subspace of $H.$
My attempt I found this proof here Prob. 9, Sec. 3.10 in Kreyszig's functional analysis book: The image of ann isometric non-unitary operator on a Hilbert space
But in the given link answer there is no example .
My Question is that how can we take an example that satisfied the given above statement