Vector space/Bidual/Natural mapping/Fact

Natürliche mapping ins Bidual

Let ${}K$ be a field, and let ${}V$ be a ${}K$ -vector space.

Then there exists a natural

\Psi \colon V\longrightarrow {({V}^{*})}^{*},v\longmapsto {\left(f\mapsto f(v)\right)}.

If ${}V$ has finite dimension, then ${}\Psi$ is an