Pour adapter la définition du produit scalaire réel aux espaces vectoriels complexes, nous avons besoin de la notion de « semi-linéarité » : Dans l'espace , on définit le produit scalaire canonique : ...