Un espace complet muni d'un produit scalaire (réel ou complexe) où le produit scalaire induit la norme et où orthogonalité, bases orthonormales, projections et méthodes spectrales sont bien définies.

Principe

Allier structure linéaire et produit scalaire qui mesure angles et longueurs pour que des idées géométriques (orthogonalité, projection) et des outils analytiques (développements de Fourier, théorème de représentation de Riesz) généralisent la géométrie euclidienne aux dimensions infinies.

Démonstration

L^2(Ω) avec ⟨f,g⟩ = ∫_Ω f ḡ est un espace de Hilbert canonique utilisé en mécanique quantique et en traitement du signal ; les suites ℓ^2 et les espaces euclidiens de dimension finie sont des exemples de base où des bases orthonormales permettent les identités de Parseval/Plancherel.

Mauvaise application

Supposer qu'un Banach quelconque est un Hilbert (c.-à-d. que sa norme provient d'un produit scalaire) conduit à un usage incorrect des projections orthogonales et des théorèmes spectraux ; confondre convergence faible et convergence en norme est une autre erreur fréquente.

Conséquence

L'identification correcte d'un espace de Hilbert permet d'utiliser la décomposition orthogonale, les théorèmes de projection, le théorème de représentation de Riesz pour les fonctionnelles linéaires, et la théorie spectrale pour opérateurs auto-adjoints — outils puissants en EDP, théorie quantique et approximation.

Inversion

L'inversion est un espace de Banach sans structure de produit scalaire : la complétude de la norme peut subsister mais des notions géométriques d'angle et d'orthogonalité peuvent faire défaut ou être incompatibles avec la norme.

Limite

S'applique uniquement lorsqu'un produit scalaire est spécifié et que l'espace est complet pour la norme induite ; exclut les espaces à produit scalaire incomplets, les espaces normés sans représentation par produit scalaire et les espaces où seules des topologies faibles sont considérées sans cadre produit scalaire.

Tension sémantique

Tension entre points de vue Hilbert et Banach : la géométrie de Hilbert admet orthogonalité et décomposition spectrale, tandis que les espaces de Banach autorisent des normes plus générales mais peuvent manquer de géométrie liée au produit scalaire ; certains résultats existent dans les deux cadres mais demandent des hypothèses différentes.

Synthèse

Un espace de Hilbert est un espace vectoriel complet muni d'un produit scalaire où l'intuition euclidienne (angles, orthogonalité, projections) s'étend à l'analyse en dimension infinie, permettant développements, représentation des fonctionnelles et méthodes spectrales lorsque la complétude et la compatibilité du produit scalaire sont réunies.