Espace préhilbertien
Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche à compléter concernant les mathématiques, vous pouvez partager vos connaissances en le modifiant. |
Un espace préhilbertien est un espace vectoriel sur ou sur muni d'une norme associée à un produit scalaire.
- Lorsqu'il est complet, on l'appelle espace hilbertien.
- Lorsqu'il est réel et de dimension finie, on l'appelle espace euclidien.
- Lorsqu'il est complexe et de dimension finie, on l'appelle espace hermitien.
Sommaire |
[modifier] Exemples
- L'ensemble des fonctions réelles définies et continues de [a,b] dans muni du produit scalaire :
forme un espace préhilbertien.
[modifier] Les propriétés des espaces préhilbertiens
Un certain nombre de propriétés sont partagées par tous les espaces préhilbertiens, qu'ils soient réels ou complexes, de dimension finie ou non. Mais certaines propriétés sont propres à la dimension finie, d'autres au caractère réel du corps de base. Le but de ce paragraphe est de trier ces propriétés selon leur catégorie. Le lecteur est censé posséder les connaissances contenues dans l'article produit scalaire.
[modifier] Propriétés communes
Les propriétés ne faisant pas appel au caractère réel ou complexe du corps de base ou à la dimension finie ou non de l'espace sont les suivantes.
- Le fait d'être un espace vectoriel normé, au moyen de la norme euclidienne .
- L'inégalité de Cauchy-Schwarz :
- L'inégalité de Minkowski dite aussi inégalité triangulaire :
- Le théorème de Pythagore : si x et y sont orthogonaux, alors
- L'identité du parallélogramme :
- Le fait qu'un sous-espace vectoriel et son orthogonal soient en somme directe.
[modifier] Propriétés propres au cas réel
- La réciproque du théorème de Pythagore : si , alors x et y sont orthogonaux. Dans le cas complexe, on a seulement (où désigne la partie réelle), et non (x | y) = 0.
[modifier] Propriétés vraies en dimension finie
- Le fait qu'un sous-espace vectoriel et son orthogonal soient supplémentaires. En dimension infinie, bien qu'étant en somme directe, la somme d'un sous-espace et de son orthogonal peut ne pas redonner l'espace total.
- Le fait que l'orthogonal de l'orthogonal d'un sous-espace soit égal à ce sous-espace. En dimension infinie, le second peut être strictement inclus dans le premier.
- Le fait que toute forme linéaire fpuisse être définie à partir du produit scalaire : il existe y tel que . Cette propriété est essentielle pour pouvoir définir l'adjoint d'un endomorphisme. En dimension infinie, une forme linéaire sur un espace préhilbertien peut ne pas pouvoir être définie d'une telle façon.
- Le fait d'être un espace normé complet (ou espace de Banach). Un espace préhilbertien de dimension infinie peut ne pas être complet.
En dimension infinie, les espaces de Hilbert sont des espaces préhilbertiens particuliers comblant les lacunes des espaces préhilbertiens. Leurs propriétés sont très proches des espaces euclidiens de dimension finie.
Portail des mathématiques – Accédez aux articles de Wikipédia concernant les mathématiques. |