Let \( V \) be an inner product space . The canonical map from \( V \) into its dual \( V^* \) is the map

\[ \Phi : v \mapsto \langle \cdot, v \rangle. \]

It is injective , antilinear, and isometric .

Remarks