1.2 Normes dans les espaces pr´e-hilbertiens
Les espaces pr´ehilbertiens sont les espaces munis d’un produit scalaire r´eel ou complexe, norm´es
par N2(x) =< x|x >1/2.
L’in´egalit´e triangulaire est alors une cons´equence de l’in´egalit´e de Cauchy-Schwarz.
Ils interviendront, pour ce qui est de notre programme, en g´eom´etrie, en alg`ebre lin´eaire (diago-
nalisation des matrices sym´etriques...), pour l’´etude des s´eries de Fourier... Ils jouent par ailleurs
un rˆole fondamental dans l’´etude des ´equations diff´erentielles ; en physique, ils donnent le cadre
mod´elisant la m´ecanique quantique, etc...
D´efinition 2 Soit Eun K−espace vectoriel (K=Rou C).On appelle produit scalaire (r´eel ou
complexe) sur E, une application :
φ:E×E→K
telle que :
–φest lin´eaire `a gauche : ∀(x, y, z)∈E3,∀λ∈K, φ(x+λy, z) = φ(x, z)++λφ(y, z);
–φest hermitique :∀(x, y)∈E2, φ(y, x) = φ(x, y);
–φest positive : ∀x∈E, φ(x, x)≥0;
–φest d´efinie positive : ∀x∈E, φ(x, x)=0⇒x= 0.
On dit alors que (E, φ) est un espace pr´ehilbertien (r´eel ou complexe) ; lorsque Eest de dimen-
sion finie on parle d’espace euclidien pour le cas r´eel, d’espace hermitien pour le cas complexe.
On aura remarqu´e que si K=R,on retrouve la d´efinition usuelle du produit scalaire r´eel : forme
bilin´eaire, sym´etrique et d´efinie positive.
Th´eor`eme 1 Si Eest un espace pr´ehilbertien de produit scalaire φ(x, y)=(x|y),alors :
– Pour tout (x, y)∈E2,|< x|y > | ≤ p< x|x >p< y|y >.
– L’´egalit´e a lieu ssi xet ysont li´es.
– L’application x∈E→p< x|x > ∈R+est une norme sur E; on dit qu’elle d´erive du produit
scalaire (on note souvent ||x||2=p< x|x >).
Questions pr´ealables
– l’application λ∈K→(< x +λy|x+λy >∈Kest elle un polynˆome en λ?
– l’application λ∈R→< x +λy|x+λy >∈? est elle un polynˆome en λ?
– Exprimer < λx|y >, < x|λy >, < x|eiθy > ...
D´emonstration
1. Remarquons que l’in´egalit´e est ´evidente si ypar exemple est nul.
2. Supposons alors y6= 0 et consid´erons le polynˆome de la variable r´eelle
F(λ) =< x +λy |x+λy >=λ2< y |y > +2 λRe(< x|y >)+ < x|x>.
C’est un polynˆome du second degr´e (le coefficient de λ2est strictement positif) qui est positif
sur R.Nous avons donc
∆=4Re2(< x|y >)−4< y|y > < x|x >≤0
soit
|Re < x|y > | ≤ p< x|x >p< y|y >.
5