Normed Vector Space is Reflexive iff Closed Unit Ball in Original Space is Mapped to Closed Unit Ball in Second Dual

Theorem
Let $X$ be a normed vector space.

Let $X^\ast$ be the normed dual of $X$.

Let $X^{\ast \ast}$ be the second norm dual.

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

Let $B_X^-$ be the closed unit ball of $X$.

Let $B_{X^{\ast \ast} }^-$ be the closed unit ball of $X^{\ast \ast}$.

Then $X$ is reflexive $\iota B_X^- = B_{X^{\ast \ast} }^-$.

Necessary Condition
Suppose that $X$ is reflexive.

Then $\iota : X \to X^{\ast \ast}$ is an isometric isomorphism.

So from Injective Linear Transformation between Normed Vector Spaces sends Closed Unit Ball to Closed Unit Ball iff Isometric Isomorphism, we have that $\iota B_X^- = B_{X^{\ast \ast} }^-$.

Sufficient Condition
Conversely suppose that $\iota B_X^- = B_{X^{\ast \ast} }^-$.

From Linear Isometry is Injective, $\iota$ is injective.

Then we see that $\iota : X \to X^{\ast \ast}$ is an injective linear transformation with:
 * $\iota B_X^- = B_{X^{\ast \ast} }^-$

It follows that $\iota$ is an isometric isomorphism from Injective Linear Transformation between Normed Vector Spaces sends Closed Unit Ball to Closed Unit Ball iff Isometric Isomorphism.