Solution

ID: past-exam-of-the-analysis-course-of-the-university-of-oxford/2010/a/2/c/solution

Put . Since , and . The nonzero square-summable sequence defines a continuous linear functional on by
The Cauchy-Schwarz inequality proves continuity. For every ,
Hence vanishes on the closed linear span , but . Therefore
More precisely, any vector in the orthogonal complement of satisfies the recurrence . Its roots are , one less than one and the other greater than one. Square summability eliminates the growing solution, so is exactly the span of . Thus is a closed hyperplane of codimension one. This is annihilator of a second-difference span in l2.

New to topics? Read the docs here!