+This is called a sesquilinear form.
+If $K=\mathbb{R}$, conjugate symmetry reduces to symmetry and the sesquilinear form gets a bilinear form.
+
+The inner product $(\cdot,\cdot)$ provides a mapping
+\begin{equation}
+V\rightarrow V^{\dagger}:\vec{v}\mapsto \varphi_{\vec{v}}
+\quad
+\text{ defined by }
+\quad
+\varphi_{\vec{v}}(\vec{u})=(\vec{v},\vec{u}) \text{ .}
+\end{equation}
+Since the inner product is linear in the first argument, the same is true for the defined mapping.
+\begin{equation}
+\lambda(\vec{u}+\vec{v}) \mapsto
+\varphi_{\lambda(\vec{u}+\vec{v})}=
+\lambda\varphi_{\vec{u}}+\lambda\varphi_{\vec{v}}\\
+\end{equation}
+If the inner product is nondegenerate, i.e.\ $\forall\vec{u}\, (\vec{v},\vec{u})=0 \Leftrightarrow \vec{v}=0$, as it applies for the scalar product for instance, the mapping is injective.
+Since the dimension of $V$ and $V^{\dagger}$ is equal, it is additionally surjective.
+Then, $V$ is isomorphic to $V^{\dagger}$.
+Vector $\vec{v}^{\dagger}\equiv \varphi_{\vec{v}}\in V^{\dagger}$ is said to be the dual vector of $\vec{v}\in V$.
+