The real Riesz representation theorem states that for every bounded linear functional on a real Hilbert space there is a unique such thatand .
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 yieldsand thereforeThus 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, andMoreover is invertible with inverse , so the same argument shows that is bounded below.
Conversely, supposefor 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
If , thenFor , 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 vectorThe equation fails only at the two endpoints, soTherefore the bilateral shift operator has
Articles by others on the same topic
There are currently no matching articles.