HILBERT ESPACE DE

Carte mentale

Élargissez votre recherche dans Universalis

Généralités

Espaces préhilbertiens

On appelle espace vectoriel préhilbertien (complexe) un espace vectoriel sur le corps C des nombres complexes, muni d'une forme sesquilinéaire auto-adjointe dont la forme hermitienne associée est positive, c'est-à-dire d'une application de E × E dans C, notée (xy) ↦ (x|y), satisfaisant aux conditions suivantes :

– pour tout élément y de E, l'application ↦ (x|y) est linéaire ;

– pour tout couple (xy) d'éléments de E, (y|x) = (x|y) ;

– pour tout élément x de E, (x|x) ≥ 0.

Le scalaire (x|y) s'appelle produit hermitien des vecteurs x et y.

On dit que l'espace vectoriel E est préhilbertien séparé, ou hermitien, si la forme, hermitienne considérée est définie positive, c'est-à-dire si la relation (x) = 0 implique la relation x = 0.

Théorème 1. Pour tout couple (xy) d'éléments d'un espace préhilbertien E :

(inégalité de Schwarz).

Écartons le cas où l'un des deux vecteurs x et y est nul. Écrivons que, pour tout nombre réel α et pour tout nombre complexe β de module 1, le nombre réel :

ou encore :
par suite, le discriminant de ce trinôme du second degré en α est négatif ou nul pour tout nombre complexe β de module 1,

L'inégalité cherchée étant évidente lorsque (x|y) = 0, écartons ce cas. Nous obtenons alors l'inégalité de Schwarz en posant :

Lorsque l'espace vectoriel E est hermitien, on montre qu'il y a égalité dans l'inégalité de Schwarz si et seulement si les vecteurs x et y sont colinéaires.

Théorème 2. Soit E un espace vectoriel préhilbertien. L'application qui à tout vecteur x de E associe le nombre réel positif ∥x∥ = (x|x)1/2 est une semi-norme sur E, dite associée à la forme sesquilinéaire (xy) ↦ (x|y).

En effet, pour tout nombre complexe α, ∥αx∥ = |α| . ∥x∥. Pour tout couple (xy) de vecteurs de E :

D'autre part :
L'inégalité triangulaire :
découle des relations (1) et (2), de la relation Re(x|y) ≤ |(x|y)| et de l'inégalité de Schwarz.

La semi-norme précédente est une norme si et seulement si l'espace vectoriel E est hermitien. Le nombre réel positif ∥x∥ s'appelle alors norme hermitienne du vecteur x, et le nombre ∥x − y∥ distance her [...]


1  2  3  4  5
pour nos abonnés,
l’article se compose de 6 pages

Écrit par :

  • : ancien élève de l'École normale supérieure, agrégé de l'Université, professeur au lycée Buffon, Paris
  • : agrégé de l'Université, ancien élève de l'École normale supérieure, professeur de mathématiques spéciales

Classification

Autres références

«  HILBERT ESPACE DE  » est également traité dans :

ALGÈBRE

  • Écrit par 
  • Jean-Luc VERLEY
  •  • 7 218 mots

Dans le chapitre « Espaces vectoriels normés et espaces vectoriels topologiques »  : […] Un espace vectoriel normé sur le corps K des nombres réels ou des nombres complexes est un espace vectoriel E sur lequel est définie une fonction x  → ∥ x ∥, à valeurs réelles positives, possédant les propriétés suivantes, qui généralisent celle de la longueur d'un vecteur dans les espaces de dimension finie : a ) ∥ x ∥ = 0 si et seulement si x  = 0 ; b ) ∥ x  +  y ∥≤∥ x ∥ + ∥ y ∥, pour x , y que […] Lire la suite

ANALYSE MATHÉMATIQUE

  • Écrit par 
  • Jean DIEUDONNÉ
  •  • 8 744 mots

Dans le chapitre « Théorie spectrale et analyse fonctionnelle »  : […] On sait qu'un problème célèbre de mécanique consiste à déterminer les « petites oscillations » au voisinage d'une position d'équilibre d'un système formé d'un nombre fini de solides, donc « à un nombre fini de degrés de liberté » (ce qui signifie que l'état du système est entièrement connu par la donnée d'un nombre fini de paramètres réels q j (1 ≤  j  ≤  n ) qui varient en fonction du temps t ). […] Lire la suite

ERGODIQUE THÉORIE

  • Écrit par 
  • Antoine BRUNEL
  •  • 3 359 mots

Dans le chapitre « Les théorèmes de G. D. Birkhoff et de J. von Neumann »  : […] On va maintenant formaliser le problème ergodique. On se donne un espace compact Ω et une mesure de Radon positive m sur Ω (cf. intégration et mesure  ; on peut se placer dans des situations plus générales, mais on n'a pas jugé utile de le faire ici), qui est aussi une probabilité m (Ω) = 1 (cf.  calcul des probabilités ). On se donne aussi une transformation mesurable θ : Ω → Ω et on suppose que […] Lire la suite

GROUPES (mathématiques) - Représentation linéaire des groupes

  • Écrit par 
  • Everett DADE
  •  • 3 760 mots

Dans le chapitre « Les généralisations »  : […] La théorie classique, exposée ci-dessus, a été au fil des années généralisée de plusieurs façons. L'une d'elles consiste à remplacer le corps C des nombres complexes par un autre corps K. Si le corps K est de caractéristique zéro, ou p (l'entier p étant un nombre premier qui ne divise pas l'ordre fini |G| de G), la théorie des représentations linéaires de G sur les espaces vectoriels de dimension […] Lire la suite

HARMONIQUE ANALYSE

  • Écrit par 
  • René SPECTOR
  •  • 5 770 mots

Dans le chapitre « Transformation de Fourier-Plancherel dans L2 (R) »  : […] Les espaces L 1 ( R ) et L 2 ( R ) ne sont pas inclus l'un dans l'autre. Mais ils contiennent tous deux l'ensemble K( R ) des fonctions continues nulles hors d'un ensemble borné, et tout élément de L 1 ( R ) ou de L 2 ( R ) peut être approché, au sens de L 1 ou de L 2 selon le cas, par des éléments de K( R ). Si f appartient à K( R ), F f appartient à L 2 ( R ), et on a l'égalité : formellemen […] Lire la suite

HILBERT DAVID (1862-1943)

  • Écrit par 
  • Rüdiger INHETVEEN, 
  • Jean-Michel KANTOR, 
  • Christian THIEL
  •  • 14 855 mots
  •  • 1 média

Dans le chapitre « Analyse mathématique »  : […] À la fin du xix e  siècle, deux problèmes, d'origine physique, étaient au cœur des préoccupations des analystes : le problème de Dirichlet (cf. équations intégrales , chap. 1, et théorie du potentiel ) et l'étude des oscillations d'un corps élastique (cf. analyse mathématique , chap. 6), en liaison avec le développement de la fonction oscillatoire en série de fonctions des oscillations propres (c […] Lire la suite

NORMÉES ALGÈBRES

  • Écrit par 
  • Jean-Luc SAUVAGEOT, 
  • René SPECTOR
  •  • 4 735 mots

Dans le chapitre « Les C*-algèbres »  : […] Parmi les algèbres normées, on distingue celles dont les propriétés particulières permettent une analyse spectrale plus poussée. On appelle C*-algèbre une algèbre de Banach A vérifiant les deux propriétés suivantes : (I) elle est munie d'une involution , c'est-à-dire d'une application a → a * de A dans A telle que l'on ait, quels que soient a et b dans A et λ complexe : λ étant le nombre complex […] Lire la suite

NORMÉS ESPACES VECTORIELS

  • Écrit par 
  • Robert ROLLAND, 
  • Jean-Luc VERLEY
  •  • 6 094 mots

Dans le chapitre « La complémentation »  : […] Soit E ⊕ F une décomposition en somme directe algébrique de l'espace de Banach X. E et F étant munis des topologies induites par celle de X, et E ⊕ F de la topologie produit, nous dirons que E ⊕ F est une décomposition en somme directe topologique si l'application est un homéomorphisme. En utilisant le théorème de l'application ouverte, on montre que pour qu'une décomposition en somme directe E ⊕  […] Lire la suite

ORTHOGONAUX POLYNÔMES

  • Écrit par 
  • Jean-Louis OVAERT
  •  • 2 380 mots

Dans le chapitre « Équation intégrale de Fredholm »  : […] Soit E un ensemble muni d'une mesure positive μ et k une fonction de carré intégrable sur E × E. Pour toute fonction f de carré intégrable sur E et pour presque tout élément x de E, la fonction y  ↦  k  ( x ,  y )  f  ( y ) est intégrable sur E et la fonction g , définie presque partout par la formule : est de carré intégrable sur E. L'application U k , dite associée au noyau k , qui à tout élémen […] Lire la suite

RIESZ FRÉDÉRIC (1880-1956)

  • Écrit par 
  • Béla SZŐKEFALVI-NAGY
  •  • 1 514 mots

Dans le chapitre « Espaces fonctionnels »  : […] David Hilbert (cf. espace de hilbert ) avait montré que l'espace l 2 des suites numériques c  = ( c 1 , c 2 , ...) de carré sommable, muni de la norme : et de la distance : est un espace vectoriel métrique complet (c'est-à-dire vérifiant la condition de Cauchy pour la convergence). Frédéric Riesz et Ernst Fischer ont démontré, en 1907, indépendamment l'un de l'autre, que l'espace L 2 ([ a ,  b ]) […] Lire la suite

Voir aussi

Pour citer l’article

Lucien CHAMBADAL, Jean-Louis OVAERT, « HILBERT ESPACE DE », Encyclopædia Universalis [en ligne], consulté le 20 octobre 2020. URL : https://www.universalis.fr/encyclopedie/espace-de-hilbert/