Normed Vector Space is Reflexive iff Surjective Evaluation Linear Transformation

Theorem
Let $\struct {X, \norm \cdot_X}$ be a normed vector space.

Let $\struct {X^{\ast \ast}, \norm \cdot_{X^{\ast \ast} } }$ be the second normed dual of $\struct {X, \norm \cdot_X}$.

Let $J : X \to X^{\ast \ast}$ be the evaluation linear transformation.

Then $X$ is reflexive :


 * $J$ is surjective.

Proof
From the definition of a reflexive space, we have that $X$ is reflexive :


 * $J$ is an isometric isomorphism.

From Evaluation Linear Transformation on Normed Vector Space is Linear Isometry, we have:


 * $J$ is a linear isometry.

From Linear Isometry is Injective: Corollary, we then have:


 * $J$ is an isometric isomorphism $J$ is surjective.

That is:


 * $X$ is reflexive $J$ is surjective.