[Math] $V$ is isomorphic to $V^{\ast\ast}$, the double dual space of $V$.

linear algebra

Prove that for any vector space $V$ the map sending $v$ in $V$ to (evaluation at $v$) $E_v$ in $V^{**}$ such that $E_v(\phi) = \phi(v)$ for $\phi$ in $V^*$ , is injective. Derive from this that if $\dim V < \infty$, its double dual $V^{**}$ is naturally isomorphic to $V$.

Here $V^*$ is the dual space of $V$.

Best Answer

Denote the evaluation map at $v$ by $\bar{v}$. Then the map $\tau v=\bar{v}$ from $V\to V^{\ast\ast}$ is indeed an injective linear transformation. Linearity is easy. Now suppose $v\in\ker(\tau)$. Then $$ \begin{align*} \tau v=0 &\implies \bar{v}=0\\ &\implies \bar{v}(f)=0\quad\forall f\in V^\ast\\ &\implies f(v)=0\quad\forall f\in V^\ast\\ &\implies v=0 \end{align*} $$ since $v\in V$ is zero iff $f(v)=0$ for all linear functionals on $V$. Thus $\ker(\tau)=\{0\}$, so $\tau$ is injective.

To see it is an isomorphism, it is useful to recall the fact that $$ \dim(V)\leq\dim(V^\ast) $$ with equality holding iff $V$ is finite dimensional, so applying this twice you find $$ \dim(V)=\dim(V^\ast)=\dim(V^{\ast\ast}) $$ so $\tau$ is an injective transformation between vector spaces of equal dimension, hence and isomorphism by rank-nullity.