Dual Operator is Weak-* to Weak-* Continuous

Theorem
Let $\GF \in \set {\R, \C}$.

Let $X$ and $Y$ be normed vector spaces over $\GF$.

Let $T : X \to Y$ be a bounded linear transformation.

Let $\struct {X^\ast, \norm {\, \cdot \,}_{X^\ast} }$ and $\struct {Y^\ast, \norm {\, \cdot \,}_{Y^\ast} }$ be the normed duals of $X$ and $Y$ respectively.

Let $T^\ast : Y^\ast \to X^\ast$ be the dual operator of $T$.

Then $T^\ast$ is $\struct {w^\ast, w^\ast}$-continuous.

Proof
From Continuity in Initial Topology, it is enough to show that for each $\Phi \in \struct {X^\ast, w^\ast}^\ast$, we have:


 * $\Phi \circ T^\ast : \struct {Y^\ast, w^\ast} \to \GF$ is Continuous.

From Continuous Linear Functional in Weak-* Topology, we have $\Phi = x^\wedge$ for some $x \in X$, where $x^\wedge$ is the evaluation linear transformation evaluated at $x$.

For $f \in Y^\ast$, we have:

So we have:


 * $x^\wedge \circ T^\ast = \paren {T x}^\wedge$

with $T x \in Y$.

From Continuous Linear Functional in Weak-* Topology, $\paren {T x}^\ast : \struct {Y^\ast, w^\ast} \to \GF$ is continuous.

So $x^\wedge \circ T^\ast : \struct {Y^\ast, w^\ast} \to \GF$ is continuous for each $x \in X$.

So from Continuity in Initial Topology, $T^\ast$ is $\struct {w^\ast, w^\ast}$-continuous.