The real Riesz representation theorem states that for every bounded linear functional on a real Hilbert space there is a unique such that
and .
If , take . Otherwise is a closed proper subspace, so the supplied orthogonal decomposition by a closed subspace gives a nonzero . Since , for every ,
Taking its inner product with yields
and therefore
Thus represents . If both and represent it, then for every ; taking proves uniqueness. Finally, Cauchy-Schwarz inequality gives , while evaluating at when gives the reverse inequality. Hence
If is invertible, the bounded inverse theorem makes bounded, and
Moreover is invertible with inverse , so the same argument shows that is bounded below.
Conversely, suppose
for some . The first bound makes injective. It also makes closed: if is Cauchy, then is Cauchy, and continuity gives its limit in the range. The second bound gives . By image-kernel orthogonality for an adjoint,
so the range is dense. Being both closed and dense, it equals . Thus is bijective, and the first lower bound gives . Therefore
For ,
The map defined by satisfies , so is a surjective isometry and hence a unitary operator.
If , then
For , this gives for every integer . When the positive tail is not square summable, when the negative tail is not square summable, and when neither tail is square summable unless . The case also forces every coordinate to vanish. Thus
The reverse triangle inequality gives, for every ,
Hence is bounded below whenever , so such do not belong to the approximate point spectrum.
Now let and define the unit vector
The equation fails only at the two endpoints, so
Therefore the bilateral shift operator has

Articles by others on the same topic (0)

There are currently no matching articles.