Past exam of the functional analysis course of the University of Oxford / 2011 / 3 / iv / Solution

Assume first that $\Vert P_n\Vert \le M$ for all $n$. Given $x\in X$ and $ϵ>0$, choose a finite linear combination $y$ of the $x_i$ with $\Vert x-y\Vert <ϵ/(M+1)$. For all sufficiently large $n$, $P_{n}y=y$. ThereforeThus $P_{n}x\to x$, and the formula in part (iii) yields the norm-convergent expansionThis proves the stated existence of coefficients.

Conversely, suppose every $x$ has some norm-convergent expansion $x={\sum }_i{\alpha }_i{x}_i$. Applying the continuous functional $x_j^{\ast }$ to its partial sums and passing to the limit gives ${\alpha }_j=x_j^{\ast }(x)$. Hence those partial sums are precisely $P_{n}x$, so $P_{n}x\to x$ for every $x$. In particular ${\sup }_n\Vert P_{n}x\Vert <\infty$ for each fixed $x$. The Uniform boundedness principle, using completeness of $X$, now givesThis proves the reverse implication. The coefficients are automatically unique, so the equivalence is the uniform partial-sum criterion for a Schauder basis for the given minimal total sequence. Its projection bound is the basis constant.