+\begin{definition}
+The dual space $V^{\dagger}$ of vector space $V$ over field $K$ is defined as the set of all linear maps from the vector space $V$ into its field $K$
+\begin{equation}
+\varphi:V\rightarrow K \text{ .}
+\end{equation}
+These type of linear maps are termed linear functionals.
+The dual space $V^{\dagger}$ becomes a vector space over $K$ itself by the following additional definitions
+\begin{eqnarray}
+(\varphi+\psi)(\vec{v}) & = & \varphi(\vec{v})+\psi(\vec{v}) \\
+(\lambda\varphi)(\vec{v}) & = & \lambda\varphi(\vec{v})
+\end{eqnarray}
+for all $\vec{v}\in V$, $\varphi,\psi\in V^{\dagger}$ and $\lambda\in K$.
+
+The map $V^{\dagger}\times V \rightarrow K: [\varphi,\vec{v}]=\varphi(\vec{v})$ is termed dual pairing of a functional $\varphi\in V^{\dagger}$ and an elemnt $\vec{v}\in V$.
+\end{definition}
+