Espace de Hilbert

Un article de Wikipédia, l'encyclopédie libre.

Un espace de Hilbert est un espace de Banach (donc complet) dont la norme $\| \cdot\|$ découle d'un produit scalaire ou hermitien $\langle \cdot,\cdot \rangle$ par la formule $\| x\| = \sqrt{\langle x,x \rangle}$ . C'est la généralisation en dimension quelconque d'un espace euclidien ou hermitien.

[modifier] Théorème de M. Fréchet - J. von Neumann - P. Jordan

Un espace de Banach (respectivement espace vectoriel normé) est un espace de Hilbert (respectivement espace préhilbertien) ssi sa norme vérifie l'égalité

$\| x + y\|^2 + \| x - y\|^2 = 2 ( \| x\|^2 + \| y\|^2)$ ,

qui signifie que la somme des carrés de côtés d'un parallélogramme est égale à la somme des carrés des diagonales.

Dans le cas réel le produit scalaire est défini par

$\langle x,y \rangle =\frac{1}{4}(\| x + y\|^2 -\| x - y\|^2)$ .

Dans le cas complexe le produit hermitien est défini par

$\langle x,y \rangle = \langle x,y \rangle_1+ i \langle x,iy \rangle_1$ ,

où $\langle x,y \rangle_1=\frac{1}{4}(\| x + y\|^2 -\| x - y\|^2)$ et $i$ est le nombre complexe $0 + 1 i$ .

Dans un espace de Hilbert de dimension infinie, le concept habituel de base est remplacé par celui de base de Hilbert qui permet, non plus de décrire un vecteur par ses coordonnées, mais de l'approcher par une suite infinie de vecteurs ayant chacun des coordonnées finies. On est donc au confluent de l'algèbre linéaire et de la topologie. C'est dans le cadre des espaces de Hilbert qu'est développée la théorie de la formulation variationnelle, utilisée dans de nombreux domaines de la physique.

En mécanique quantique, l'état d'un système est représenté par un vecteur dans un espace de Hilbert.

[modifier] Exemples d'espaces de Hilbert

$\mathbb{R}^n$ muni du produit scalaire usuel.
$L 2 ([a, b])$ muni de $\langle f,g \rangle = \int_a^b f(x)g(x) dx$ .
$l 2$ , espace des suites $(u_n)_{n\in N}$ de nombres complexes telles que

$\sum_{n=0}^\infty\vert u_n\vert^2<+\infty$ , le produit scalaire de deux suites $u$ et $v$ étant par définition la somme de la série $\sum_{n=0}^\infty u_n\overline{v}_n$