Espace à Produit Scalaire Complexe

Un espace à produit scalaire complexe est un espace vectoriel sur les complexes muni d'un produit scalaire sesquilinéaire et défini-positif ⟨·|·⟩, linéaire dans un argument et conjugaison-linéaire dans l'autre, qui définit normes et angles sans nécessairement être complet ; un espace de Hilbert en est un exemple complet.