Double dual ($V^{\ast \ast }={\mathrm{Hom}}_F(V^{\ast },F)$)

The algebraic double dual of a vector space is the dual space of its algebraic dual. An element assigns a scalar linearly to each linear functional on the original space. The bidual evaluation map sends $v$ to the rule $\ell \mapsto \ell (v)$. It is a canonical linear isomorphism in finite dimension, unlike an identification of $V$ with $V^{\ast }$, which generally requires an additional choice. For spaces with topology, using the continuous dual space instead defines the topological bidual; that is a distinct construction in infinite dimension.