Un espace vectoriel muni d’un produit scalaire et complet pour la métrique induite par ce produit scalaire ; autrement dit un espace préhilbertien complet où le produit scalaire définit la norme et la topologie.

Principe

Le produit scalaire impose une géométrie (angles, orthogonalité, normes) et la complétude garantit que les suites de Cauchy convergent dans l’espace ; combinés, ces aspects autorisent les développements orthonormés et les projections.

Démonstration

Exemples : R^n avec le produit scalaire usuel, ℓ^2 (les suites sommables au carré) et L^2(μ) (fonctions de carré intégrable) avec le produit scalaire L^2 ; dans chacun de ces espaces, les suites de Cauchy par rapport à la norme induite convergent dans l’espace.

Mauvaise application

Qualifier d’espace de Hilbert un espace préhilbertien non complet, ou confondre un espace de Banach quelconque avec un espace de Hilbert alors que la norme ne provient pas d’un produit scalaire.

Conséquence

Les espaces de Hilbert admettent des bases orthonormées (éventuellement non dénombrables), le théorème de projection, le théorème de représentation de Riesz pour les formes linéaires continues et une théorie spectrale riche pour les opérateurs auto-adjoints bornés.

Inversion

Un espace de Banach sans structure de produit scalaire (ou dont la norme ne vient pas d’un produit scalaire) n’a pas l’orthogonalité géométrique ni l’identité du parallélogramme caractéristiques des espaces de Hilbert.

Limite

Exige un produit scalaire défini positif et la complétude ; les espaces de dimension finie sont toujours de Hilbert, tandis que des espaces préhilbertiens infinidimensionnels peuvent échouer à être complets et ne sont donc pas de Hilbert sans complétion.

Tension sémantique

Souvent opposé aux espaces de Banach (espaces normés complets) et aux préespaces de Hilbert ; la tension apparaît lorsque des propriétés (orthogonalité, projections) requièrent le produit scalaire plutôt qu’une simple norme.

Synthèse

Un espace de Hilbert unit l’algèbre linéaire et la complétude métrique via un produit scalaire : il constitue le cadre complet où s’expriment rigoureusement angles, décompositions orthogonales et analyses spectrales.