Past exam of the functional Analysis and Banach and C*-Algebras course of the University of Oxford / 2009 / A / 3 / iii / Solution

(iii) implies (ii): the preliminary bounds show ${\sup }_k\Vert P_{k}x\Vert <\infty$ for every $x$. Applying the Uniform boundedness principle to the bounded maps $P_k$ gives ${\sup }_k\Vert P_k\Vert <\infty$.

(iii) implies (iv): the normalization $\Vert x_n\Vert =1$ givesHence every coordinate functional is bounded.