Dual space (source code)

= Dual space
{wiki}

The dual space of a vector space $V$ over $F$ is $V^*=\operatorname{Hom}_F(V,F)$. If $V$ is finite-dimensional, then $\dim V^*=\dim V$.