Past exam of the mathematics course of the University of Cambridge / 2019 / ii / Paper 3 / 21H (Linear Analysis)

Write $B$ for the open unit ball. Because $T$ is a linear map, the hypothesis scales toFix $y\in B$. Choose numbers $r$ and $\theta$ such thatthen $r/(1-\theta )<1$.

Set $z_0=y$. Inductively, if $\Vert z_{j-1}\Vert <r{\theta }^{j-1}$, the scaled density statement lets us chooseand we put $z_j=z_{j-1}-T{x}_j$. The geometric series givesBecause $X$ is a Banach space, $x={\sum }_{j\ge 1}{x}_j$ exists and lies in $B$. Since $T$ is a bounded linear operator, it is continuous, whileTherefore $Tx=y$. As $y\in B$ was arbitrary,This is the dense open-unit-ball image criterion.

Suppose for contradiction that the vector space of univariate polynomials $P$ were complete in the given norm. For $n\ge 0$, letEach $P_n$ is finite-dimensional and therefore closed by the fact that a finite-dimensional subspace is closed. It is a proper linear subspace of $P$, so it has empty interior: if a linear subspace contained any open ball, translation and scalar multiplication would make it contain every vector. Hence every $P_n$ is a nowhere dense set.

But every polynomial has finite degree, soThis writes the supposed complete metric space $P$ as a countable union of nowhere-dense closed subsets, contradicting the Baire category theorem. Thus no norm can make $P$ complete. Equivalently, this is the countable-basis obstruction that a Banach space has uncountable Hamel dimension.

For each $n\ge 0$, defineEvery $f^{(n)}$ is an entire function, hence continuous, so $E_n$ is closed. The hypothesis saysThe complex plane is a complete metric space. The Baire category theorem therefore implies that some $E_N$ has nonempty interior. Thus $f^{(N)}$ vanishes on an open set, and the identity theorem giveson all of $\mathbb{C}$. If $N=0$, then $f=0$; otherwise the power series of $f$ has no term of degree $N$ or higher. Hence $f$ is a polynomial of degree at most $N-1$. This is the pointwise vanishing derivative criterion for a polynomial.

Let $x,y\in {\ell }^2$ satisfy $\Vert x{\Vert }_2=\Vert y{\Vert }_2=1$. The parallelogram law givesIf $\Vert x-y{\Vert }_2\ge \epsilon$, thenand thereforeThis depends only on $\epsilon$, so the l2 sequence space is a uniformly convex Banach space, as asserted by the uniform convexity of l2.