Past exam of the mathematics course of the University of Cambridge / 2020 / ii / Paper 1 / 22I (Linear Analysis)

The continuous dual space of a real normed vector space $X$ iswith the operator normTwo normed spaces are isometrically isomorphic when there is a bijective linear map between them that preserves norms.

For $y=(y_j)\in {\ell }^{\infty }$, defineThe series is absolutely convergent andso ${\Phi }_y\in ({\ell }^1{)}^{\ast }$ and $\Vert {\Phi }_y\Vert \le \Vert y{\Vert }_{\infty }$. For every $\epsilon >0$, choose $j$ with $|y_j|>\Vert y{\Vert }_{\infty }-\epsilon$ and test on $\mathrm{sgn}(y_j)e_j$. This gives the reverse inequality, hence

Conversely, given $\Phi \in ({\ell }^1{)}^{\ast }$, set $y_j=\Phi (e_j)$. Then $|y_j|\le \Vert \Phi \Vert$, so $y\in {\ell }^{\infty }$. For $x\in {\ell }^1$, its finite partial sums converge to $x$ in norm; continuity of $\Phi$ therefore givesThe representing sequence is unique, and the construction is linear and norm preserving. Thus the duality of l1 and l infinity proves

Write $h(t)=t/(1+t)$ for $t\ge 0$. Every summand in $d$ is nonnegative and at most $2^{-m}$, so the series converges. Symmetry is immediate. If $d(x,y)=0$, then ${\varphi }_m(x-y)=0$ for every $m$. For arbitrary $\varphi \in ({\ell }^p{)}^{\ast }$, choose a sequence of ${\varphi }_m$ converging to $\varphi$ in operator norm. Since $x-y$ is fixed, $\varphi (x-y)=0$. The continuous dual space separates points, so $x=y$.

The function $h$ is increasing and subadditive:Combining this with the triangle inequality for each $|{\varphi }_m(x-y)|$ and summing proves the triangle inequality for $d$. Hence $d$ is a metric on $B$.

Suppose first that $x^{(n)}$ converges weakly to $x$, meaning thatFor each fixed $m$, the $m$th summand of $d(x^{(n)},x)$ tends to zero. A finite-head and geometric-tail estimate, using that every summand is bounded by $2^{-m}$, then gives $d(x^{(n)},x)\to 0$.

Conversely, if $d(x^{(n)},x)\to 0$, each nonnegative summand tends to zero, and thereforefor every $m$. Given $\varphi \in ({\ell }^p{)}^{\ast }$ and $\epsilon >0$, choose $m$ with $\Vert \varphi -{\varphi }_m\Vert <\epsilon$. Since $x^{(n)},x\in B$,Taking the limit superior and then letting $\epsilon \downarrow 0$ proves weak convergence. ThusThe same approximation argument for neighbourhoods shows that $d$ induces the weak topology on $B$, as in the metrization of the weak topology on a bounded set.

If $q$ is conjugate to $p$, the given duality of sequence spaces applied twice givesso ${\ell }^p$ is a reflexive Banach space. Its closed unit ball is weakly compact by the weak compactness characterization of reflexivity. Since $d$ induces that topology on $B$,

Let $x^{(n)}=e_n$, the $n$th standard unit vector, and let $x=0$. Under the identification $({\ell }^p{)}^{\ast }={\ell }^q$, a functional represented by $y=(y_j)\in {\ell }^q$ satisfiesThus the standard unit vectors are weakly null in lp, butfor every $n$. Hence weak convergence does not imply norm convergence.