Espace préhilbertien complexe/Produit scalaire
Définitions
Positivité
Produit scalaire
On notera que, en se restreignant à , la définition du produit scalaire devient : forme bilinéaire symétrique définie positive.
Espaces préhilbertiens complexes
Définition
On suppose désormais que E est un espace préhilbertien complexe, c'est-à-dire on suppose avoir muni E d'un produit scalaire.
Norme, distance
Propriétés
Modèle:Théorème Modèle:Démonstration déroulante
Modèle:Démonstration déroulante