68 Chapitre 5. Espaces euclidiens. Endomorphismes symétriques et orthogonaux.
Définition (espace préhilbertien)
Un espace préhilbertien est un R-espace vectoriel muni d’un produit scalaire.
Remarque 1. Si Eest un espace préhilbertien, tout sous-espace Fde Ehérite, par restriction, d’un
produit scalaire, donc est lui aussi un espace préhilbertien.
Dans toute la suite, Edésigne un espace préhilbertien (réel).
Définition (norme)
Soit Eun espace préhilbertien. La norme d’un vecteur xest le réel
||x|| =phx|xi.
Proposition
Pour tous vecteurs x, y ∈Eet tout réel λ, on a
–||λx|| =|λ|||x||
–||x|| >0, avec égalité si, et seulement si, x= 0
–||x+y||2=||x||2+||y||2+ 2hx|yi.
Remarque 2. En pratique, pour montrer qu’un vecteur est nul, on pourra chercher à montrer que sa
norme est nulle.
Théorème (inégalité de Cauchy-Schwarz)
Pour tous vecteurs x, y ∈E, on a
−||x||||y|| 6hx|yi6||x||||y||,
avec égalité à
– droite si, et seulement si, xet ysont colinéaires et de même sens (au sens large)
– gauche si, et seulement si, xet ysont colinéaires et de sens opposés (au sens large).
La locution «au sens large» indique que le vecteur nul doit être considéré comme étant à la fois de même
sens et de sens opposé à tout vecteur (en effet, le nombre 0 est à la fois positif et négatif).
Démonstration. Commençons par examiner le cas y= 0, ce qui équivaut à ||y|| = 0 : la double inégalité
est vérifiée. Ces deux inégalités sont même des égalités, et les vecteurs xet ysont bien colinéaires et de
même sens, ainsi que colinéaires et de sens opposés.
Supposons maintenant y6= 0. Considérons l’application
f:R−→ R+
t7−→ ||x+ty||2
.
Pour tout réel t, on a
f(t) = ||x||2+ 2thx|yi+t2||y||2
donc la fonction fest polynomiale de degré 2 (exactement car ||y||26= 0). Comme elle est de signe constant,
son discriminant est négatif ou nul, donc hx|yi2− ||x||2||y||260, ce qui est l’inégalité cherchée.
– Supposons maintenant que l’inégalité soit une égalité. Alors le discriminant est nul, donc la fonction f
admet une racine (double) λ. La propriété f(λ)=0s’écrit ||x+λy|| = 0, d’où l’on déduit que x=−λy :
les vecteurs sont colinéaires.
– Réciproquement, supposons que les vecteurs soient colinéaires. Notons tle réel tel que x=ty (ce qui
est possible car on sait que yest non nul). On a alors
||x||||y|| =||ty||||y|| =|t|||y||2et hx|yi=hty |yi=t||y||2,
donc
– si xet ysont de même sens (i.e. t>0), on a égalité à droite dans l’inégalité de Cauchy-Schwarz