Past exam of the mathematics course of the University of Cambridge / 2022 / iii / Paper 106 / 3 / a / Solution

The weak topology $\sigma (X,X^{\ast })$ is the coarsest topology on $X$ for which every bounded linear functional in $X^{\ast }$ is continuous. Thus every $f\in X^{\ast }$ is weakly continuous. Conversely, if a linear functional $f$ is weakly continuous at zero, some basic weak neighbourhood gives $f_1,\dots ,f_n\in X^{\ast }$ and $\epsilon >0$ such thatIt follows that ${\bigcap }_j\ker f_j\subseteq \ker f$, and elementary linear algebra then gives $f\in \mathrm{span}\{f_1,\dots ,f_n\}\subseteq X^{\ast }$.

To prove Mazur theorem, let $K$ be norm-closed and convex and let $x\notin K$. The Hahn-Banach separation theorem strictly separates $x$ from $K$ by some member of $X^{\ast }$. The corresponding open half-space is weakly open, contains $x$, and misses $K$. Thus $K$ is weakly closed.

If $X$ is reflexive, the Banach-Alaoglu theorem makes $B_{X^{\ast \ast }}$ weak-star compact, and the canonical identification transports this to weak compactness of $B_X$. Conversely, if $B_X$ is weakly compact, then $J(B_X)$ is weak-star compact and hence weak-star closed in $B_{X^{\ast \ast }}$. Goldstine theorem says it is weak-star dense there, so it equals $B_{X^{\ast \ast }}$ and $X$ is reflexive.

When $X$ is reflexive, weak and weak-star topologies coincide on $X^{\ast }$, so Banach–Alaoglu makes $B_{X^{\ast }}$ weakly compact and $X^{\ast }$ is reflexive. If $Y\subseteq X$ is closed, then $B_Y$ is a weakly closed subset of $B_X$, hence weakly compact. The quotient map sends a suitable weakly compact ball of $X$ onto the unit ball of $X/Y$, which is therefore weakly compact. Thus $Y$ and $X/Y$ are reflexive as well.