•Peut-il y avoir ´egalit´e ? Cela signifie que le discriminant est nul, donc que le
trinˆome a une racine double λ0, soit Q(λ0) = 0. Cela entraˆıne que y=−λ0x: les
deux vecteurs sont colin´eaires.
Norme, in´egalit´e de Minkowski, distance
L’application x→ kxkest une norme, c’est-`a-dire
a) kx+yk ≤ kxk+kyk(in´egalit´e triangulaire)
b) kλxk=|λ|kxk(homog´en´eit´e)
c) kxk= 0 ⇐⇒ x= 0
Seule la propri´et´e a) m´erite une d´emonstration. Il suffit de montrer l’in´egalit´e
kx+yk2≤(kxk+kyk)2. En d´eveloppant et en r´eduisant, on obtient 2hx, yi ≤
2kxkkykqui vient justement de Cauchy-Schwarz.
L’ in´egalit´e triangulaire s’appelle l’ in´egalit´e de Minkowski.
•La fonction d(x, y) = kx−ykest une distance sur Hqui est donc un espace
m´etrique (cf. topologie). Il y a donc des boules ouvertes, des boules ferm´ees, des
ensembles ouverts, etc..
•Une suite xnconverge vers xsi la distance kxn−xktend vers 0.
•Une suite xnest une suite de Cauchy si la distance kxn−xmktend vers 0 quand
net mtendent vers l’ infini.
•Un espace m´etrique est complet si les suites de Cauchy sont convergentes.
1 D´efinition : Un espace de Hilbert r´eel Hest un espace vectoriel r´eel muni d’un
produit scalaire, et complet pour la norme kxk=phx, xi.
2o. Cas complexe.
Soit maintenant Hun espace vectoriel complexe. On appelle produit scalaire sur
Hune application qui `a tout couple de vecteurs (x, y)associe un nombre complexe,
g´en´eralement not´e hx, yitel que pour tous x, y ∈H
a) hx, yi=hy, xi(sym´etrie hermitienne)
b) hλx +µx0, yi=λhx, yi+µhx0, yipour λ, µ ∈|
C(lin´earit´e en x)
c) hx, xi ∈ IR+(positivit´e)
d) hx, xi= 0 ⇐⇒ x= 0 (positivit´e sticte).
2