Un espace vectoriel complet sur les réels ou complexes muni d'un produit scalaire dont la norme induite rend l'espace complet pour les suites de Cauchy ; il admet orthogonalité, projections et opérateurs unitaires.

Principe

Le produit scalaire ⟨·,·⟩ induit une norme ‖v‖=√⟨v,v⟩ et la complétude (toute suite de Cauchy converge) garantit l'existence de limites pour les suites définies par des développements orthogonaux, laissant appliquer des techniques analytiques et spectrales.

Démonstration

L^2(Ω), l'espace des fonctions de carré intégrable sur un domaine Ω avec produit scalaire ⟨f,g⟩=∫_Ω f* g dx, est un espace de Hilbert ; des bases orthonormées permettent d'exprimer les éléments comme séries convergentes et définissent des projections orthogonales sur des sous‑espaces fermés.

Mauvaise application

Traiter un pré‑espace de Hilbert (un espace à produit scalaire non complet) comme complet conduit à des conclusions erronées sur la convergence et l'existence de limites—par exemple, les suites à support fini sont denses mais pas complètes tant qu'on n'a pas pris la complétion.

Conséquence

La structure d'espace de Hilbert permet des résultats tels que l'existence de projections orthogonales sur des sous‑espaces fermés, le développement en bases orthonormées et la définition correcte des opérateurs adjoints et unitaires pertinents en théorie quantique et analyse fonctionnelle.

Inversion

Un espace de Banach peut être complet pour une norme mais dépourvu de produit scalaire ; l'absence de produit scalaire supprime les notions canoniques d'orthogonalité et de projection par minimisation du produit scalaire.

Limite

Exige un produit scalaire défini positif et la complétude métrique ; exclut les espaces à produit scalaire indéfini (espaces de Krein), les espaces à produit scalaire non complets et les structures purement algébriques sans topologie.

Tension sémantique

Les espaces euclidiens de dimension finie sont des espaces de Hilbert avec complétion triviale, mais les espaces de Hilbert de dimension infinie introduisent des subtilités (bases, séparabilité, opérateurs compacts) absentes de l'algèbre linéaire finie.

Synthèse

Un espace de Hilbert est un espace à produit scalaire complet dont la géométrie des angles et des longueurs, conjuguée à la complétude, permet des décompositions orthogonales, des opérateurs de projection et l'outillage analytique de la théorie spectrale et des opérateurs unitaires.