Base hilbertienne

Base hilbertienne

Base de Hilbert

Une base de Hilbert ou encore base hilbertienne est une généralisation aux espaces de Hilbert de la notion classique de base orthonormée en algèbre linéaire, pour les espaces euclidiens (ou hermitiens dans le cas complexe) de dimension finie.

Comme dans le cas des bases habituelles, il s'agit de pouvoir décomposer n'importe quel vecteur de l'espace en somme de vecteurs colinéaires à ceux de la famille choisie. Cependant dans le cas d'une base de Hilbert, on ne peut pas (généralement) écrire une égalité entre le vecteur décomposé et une combinaison linéaire finie des vecteurs de la base : on doit généralement se contenter d'une série dont les termes sont colinéaires aux vecteurs de la base, et convergeant vers le vecteur à décomposer (la notion de convergence d'une série a ici un sens car un espace de Hilbert est en particulier un espace vectoriel normé). remarque: en théorie des hypergraphes, une base de hilbert est une chose très différente.

Sommaire

Définition

Soit H un espace préhilbertien sur un corps K égal aux nombres réels ou complexes et F une famille (ei) de vecteurs de Hi est élément d'un ensemble I.

Définition —  On dit que F est une base de Hilbert de H si et seulement si :

 \forall (i,j)\in I^2\quad i\ne j \Rightarrow \langle e_i \mid e_j\rangle = 0
 \forall i\in I\quad \langle e_i \mid e_i\rangle = \Vert e_i \Vert^2 = 1

  • La famille est de plus génératrice au sens suivant :
 \forall x\in H,\ \exists (\lambda_i)_{i\in I}\quad\text{tel que}\quad \sum_{i\in I} \lambda_i\cdot e_i = x

La sommabilité de la famille (\lambda_i\cdot e_i )_{i \in I} ( de somme x ) est celle associée à la norme du produit scalaire de H.

Dans le cas où H est de dimension finie, cette définition coïncide avec celle de base orthonormale. Dans le cas d'un espace de dimension infinie, le terme de base orthonormale indique très généralement une base de Hilbert[1].

Approche intuitive

Décomposition d'une fonction créneau sur la base de Hilbert des polynômes trigonométriques. Seuls les dix premiers vecteurs de la base sont utilisés, proposant ainsi une approximation.
Avec 50 termes, la décomposition de la fonction créneau sur la base de Hilbert devient plus précise.

Depuis le XVIIIe siècle, les mathématiciens ont tenté de résoudre certaines questions à l'aide de séries de fonctions. Leonhard Euler (1707 - 1783) étudie le problème de la détermination de la somme des inverses des carrés d'entiers[2]. Une série de polynômes trigonométriques permet de résoudre cette épineuse question ouverte depuis presque un siècle[3]. Joseph Fourier (1768 - 1830) utilise une approche similaire pour étudier l'équation de la chaleur[4].

Le XXe siècle voit une formalisation à la fois moderne générale et géométrique de l'approche. David Hilbert (1862 - 1943) considère les fonctions utilisées comme des éléments d'un espace vectoriel de dimension infinie[5]. Il est équipé du produit scalaire suivant, permettant de bénéficier des techniques de la géométrie euclidienne :

 \langle f, g\rangle = \int f(x)g(x) dx

Un espace euclidien dispose de bases orthonormales, une généralisation du théorème de Pythagore permet simplement de calculer les coordonnées d'un vecteur dans une telle base (ei). Si x est un vecteur, alors :

x=\sum \langle x,e_i\rangle \cdot e_i

Il est tentant de vouloir généraliser ce résultat sur un espace de dimension infinie. Si l'espace fonctionnel dispose de bonnes propriétés une telle approche est possible. C'est le cas, si l'espace est séparable, c'est-à-dire s'il existe une famille dénombrable dense, c'est-à-dire qui permet d'approcher aussi précisément que souhaité tout vecteur. Cette situation est analogue à celles des nombres réels. À une distance arbitrairement petite de tout réel se trouve un nombre rationnel. Le théorème de Stone-Weierstrass montre que tel est le cas sur de très nombreux espaces fonctionnels.

David Hilbert s'est intéressé à une autre propriété : la complétude. À l'image de la situation pour les nombres réels, toute suite de Cauchy converge dans un tel espace. La difficulté réside alors dans la signification à donner à une série contenant à priori un ensemble de terme qui n'a plus aucune raison d'être dénombrable si l'hypothèse de la séparabilité n'est plus remplie. Deux remarques permettent de résoudre cette question. Le cardinal de l'ensemble des termes non nuls est toujours dénombrable. De plus, la convergence de la série est absolue, garantissant ainsi que l'ordre dans lequel les éléments sont pris n'a aucune conséquence sur la limite de la série.

Propriétés

Existence

L'existence d'une base hilbertienne n'est pas garantie par les axiomes d'un espace préhilbertien. Il faut ajouter au moins une hypothèse, pour la démontrer.

Théorème —  Si H est complet ou séparable, alors il existe une base hilbertienne.

Les techniques utilisés en dimension finie deviennent inadaptées pour établir les démonstrations. Cependant le théorème de projection sur un convexe fermé reste vrai pour un ensemble convexe complet. Ce théorème est essentiel à l'analyse des structures hilbertiennes et remplace avantageusement celui de Hahn-Banach. En contre partie, son domaine de validité est plus restreint, ce théorème ne s'applique que sur les préhilbertiens disposant de la bonne hypothèse de complétude, alors que celui de Hahn-Banach est valable pour tout les Banach :


Inégalité de Bessel et coefficient de Fourier

Article détaillé : Inégalité de Bessel.

Une première majoration joue un rôle important pour établir les propriétés d'une base de Hilbert. Elle porte le nom d'inégalité de Bessel.

Inégalité de Bessel —  Soit E un sous-espace vectoriel fermé de H, (fi) avec i un élément de l'ensemble I une base de Hilbert de E et x un élément de H. Alors la série suivante est absolument convergente et majorée par le carré de la norme de x.

\sum_{i\in I} |\langle x,f_i\rangle |^2 \le \|x\|^2

L'égalité n'a lieu que si x est élément de E et la série ne contient qu'un ensemble dénombrable de termes non nuls.

Le cas d'égalité est toujours vérifié si E est égal à H, elle prend le nom d'égalité de Parseval. Elle est une généralisation du théorème de Pythagore, utilisée dans le cadre des séries de Fourier.

La démonstration de l'inégalité de Bessel contient la propriété suivante :

Proposition 1 — Une famille orthonormale de H est une base de Hilbert si et seulement si le sous-espace vectoriel qu'elle engendre est dense dans H.

Ainsi une base de Hilbert de H n'est pas une base au sens algébrique du terme, mais une base orthonormale d'un sous-espace D dont l'adhérence est égal à H et qui permet d'approcher tous les éléments.

L'égalité de Parseval permet de déterminer une expression d'un élément x dans une base (ei) de H :

Théorème et définition —  Le coefficient de x dans la base (ei) est égal à <x, ei> et l'égalité suivante est vérifiée :

x= \sum_{i\in I} \langle x,e_i\rangle \cdot e_i

La série associée est absolument convergente et ne contient au plus qu'un ensemble dénombrable de termes non nuls. Les coefficient de x sont appelés coefficients de Fourier.

La proposition suivante assure de l'unicité des coefficients :

Proposition 2 —  Il n'existe qu'une unique famille de coefficients permettant d'exprimer un vecteur dans une base de Hilbert.

Ainsi, à l'image de la situation pour une base au sens algébrique, il existe une et une unique manière d'exprimer un vecteur dans une base de Hilbert.

Toutes les démonstrations se trouvent dans l'article associé.

Exemple

Article détaillé : Série de Fourier.

L'exemple classique de base de Hilbert (et même l'origine du concept) est l'ensemble des fonctions trigonométriques cos (nx) et sin (nx), pour l'espace de Hilbert L2([0,2π]) (voir les espaces Lp). Cette famille est un exemple de base de Hilbert qui n'est pas une base au sens algébrique, car les fonctions cos(nx) et sin(nx) ne forment pas une famille génératrice de L2([0,2π]). Plus précisément, c'est une base du sous-espace des polynômes trigonométriques.

Le fait que cette famille soit génératrice de l'espace entier est connu sous le nom de Théorème de Riesz-Fischer.

Notes et références

Notes

  1. par exemple voir S. Lang Analyse réelle InterEditions Paris 1977 p 150 (ISBN 2729600595)
  2. Leonard Euler Démonstration de la somme de cette suite 1 + 1/4 + 1/9 + 1/16 + 1/25 + 1/36 + etc Journal lit. d'Allemagne, de Suisse et du Nord 2 p 115-127 1743
  3. Pour plus de détails voir : Euler’s Solution of the Basel Problem – The Longer Story par E. Sandifer de l'Université de New-York
  4. Joseph Fourier Théorie analytique de la chaleur, Firmin Didot Père et Fils (Paris-1822). Réédition Jacques Gabay 1988 (ISBN 2-87647-046-2)
  5. I. Kaplansky David Hilbert Encyclopædia Britannica 2008 en ligne

Liens externes

Références

  • S. Lang Real and Functional Analysis Springer Berlin 2007 (ISBN 3540940014)
  • W. Rudin Functional Analysis McGraw-Hill Science 1991 (ISBN 0070542368)
  • Haïm Brezis, Analyse fonctionnelle : théorie et applications [détail des éditions]
  • J. P. Aubin Analyse fonctionnelle appliquée Puf 1987 (ISBN 02463822)
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Base de Hilbert ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Base hilbertienne de Wikipédia en français (auteurs)

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

  • Base De Hilbert — David Hilbert en 1912 Une base de Hilbert ou encore base hilbertienne est une généralisation aux espaces de Hilbert de la notion classique de base orthonormée en algèbre linéaire, pour les espaces euclidiens (ou hermitiens …   Wikipédia en Français

  • Base de hilbert — David Hilbert en 1912 Une base de Hilbert ou encore base hilbertienne est une généralisation aux espaces de Hilbert de la notion classique de base orthonormée en algèbre linéaire, pour les espaces euclidiens (ou hermitiens …   Wikipédia en Français

  • Base de Hilbert — David Hilbert en 1912 Une base de Hilbert (du nom de David Hilbert), ou encore base hilbertienne, est une généralisation aux espaces de Hilbert de la notion classique de base orthonormée en algèbre linéaire, pour les espaces euclidiens (ou… …   Wikipédia en Français

  • Base orthonormale — Pour les articles homonymes, voir BON. En géométrie vectorielle, une base orthonormale, ou base orthonormée, (BON) d un espace euclidien ou hermitien est une base de cet espace vectoriel constituée de vecteurs de norme 1 et orthogonaux deux à… …   Wikipédia en Français

  • Base propre — Valeur propre, vecteur propre et espace propre Fig. 1. Cette application linéaire déforme la statue de David. Les vecteurs bleus ont pour images les vecteurs verts. Ils gardent la même direction, ce sont des vecteurs propres. La valeur propre… …   Wikipédia en Français

  • HILBERT (ESPACE DE) — La théorie des espaces hilbertiens trouve son origine dans celle des développements de fonctions arbitraires en séries de fonctions orthogonales, lesquelles apparaissent le plus souvent comme fonctions propres de certains opérateurs différentiels …   Encyclopédie Universelle

  • ORTHOGONAUX (POLYNÔMES) — C’est à travers l’étude de certains problèmes d’analyse fonctionnelle (équations intégrales, séries de Fourier, problème de Sturm Liouville et, plus généralement, problèmes aux limites dans les équations aux dérivées partielles) qu’est apparue la …   Encyclopédie Universelle

  • SPECTRALE (THÉORIE) — L’objet de la théorie spectrale est d’obtenir, pour certains endomorphismes d’un espace hilbertien, des formes réduites analogues aux formes canoniques de Jordan pour les endomorphismes d’un espace vectoriel de dimension finie et aux formes… …   Encyclopédie Universelle

  • Théorème de Mercer — En mathématiques et plus précisément en analyse fonctionnelle, le théorème de Mercer est une représentation d une fonction symétrique de type positif par le carré d une série convergente de produits de fonctions. Ce théorème est l un des… …   Wikipédia en Français

  • Endomorphisme normal — Un endomorphisme normal est un opérateur d un espace de Hilbert qui commute avec son adjoint. Sommaire 1 Définition 2 Exemples 3 Propriétés 4 Article connexe …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”