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 di↵´erentielles ; en physique, ils donnent le cadre
mod´elisant la m´ecanique quantique, etc...
D´efinition 2 Soit Eun Kespace 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 : 8(x, y, z)2E3,82K,(x+y, z)=(x, z)++(y, z);
–est hermitique :8(x, y)2E2,(y, x)=(x, y);
–est positive : 8x2E, (x, x)0;
–est d´efinie positive : 8x2E, (x, x)=0)x=0.
On dit alors que (E,)estunespace 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)2E2,|<x|y>|p<x|x>
p<y|y>.
– L’´egalit´e a lieu ssi xet ysont li´es.
– L’application x2E!p<x|x>2R+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 2K!(<x+y|x+y >2Kest elle un polynˆome en ?
– l’application 2R!<x+y|x+y >2? 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