Espace préhilbertien réel/Post-notions

On peut étendre la notion d'espace préhilbertien au corps des nombres complexes : on aboutit alors à un espace préhilbertien complexe.