9Espaces préhilbertiens réels
Plan de cours
I Généralités . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
A Produit scalaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
B Norme euclidienne . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
II Orthogonalité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
A Vecteurs orthogonaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
B Familles orthogonales et orthonormales . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
C Orthogonal d’un sous-espace vectoriel . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
D Projection orthogonale et distance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
III Méthode des moindres carrés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
I – Généralités
Dans tout ce chapitre, Edésigne un R-espace vectoriel de dimension finie ou non.
A – Produit scalaire
Définition 9.1 : Produit scalaire
On appelle produit scalaire sur
E
toute forme bilinéaire symétrique définie positive, c’est-à-dire toute
application ϕ:E×E→Rtelle que :
•ϕest bilinéaire :
∀x1,x2,y∈E,∀λ∈R,ϕ(λx1+x2,y) = λϕ(x1,y) + ϕ(x2,y).
∀x,y1,y2∈E,∀λ∈R,ϕ(x,λy1+y2) = λϕ(x,y1) + ϕ(x,y2).
•ϕest symétrique :∀x,y∈E,ϕ(x,y) = ϕ(y,x).
•ϕest définie positive :∀x∈E,ϕ(x,x)¾0 et ϕ(x,x) = 0 si et seulement si x=0E.
On note généralement le produit scalaire (·|·),〈·|·〉 ou 〈·,·〉.
Il suffit de vérifier la linéarité à gauche et la symétrie pour justifier la bilinéarité.
Définition 9.2 : Espaces préhilbertiens réels
• On appelle espace préhilbertien réel tout R-espace vectoriel muni d’un produit scalaire.
Notation usuelle : (E,(·|·)).
• Un espace préhilbertien réel de dimension finie est appelé espace euclidien.
Voici quatre exemples fondamentaux d’espaces préhilbertiens réels, à connaître sur le bout des doigts.
Exemple 1 – Rnmuni du produit scalaire canonique
Le produit scalaire canonique est défini par :
∀x,y∈Rn(x|y) =
n
X
i=1
xiyien notant x= (x1,..., xn),y= ( y1,..., yn)
Si on pose X=
x1
.
.
.
xn
et Y=
y1
.
.
.
yn
, on a (x|y) = tX Y =XTY.
–1–