\begin{definition}[Definition:Dual Vector Space]
Let $V$ be a vector space.
Let $\phi: V \to \R$ be a linear mapping.
The set of all $\phi$ is called a '''dual space (of $V$)''' and is denoted by $V^*$.
\end{definition}