CPGE Laayoune Lissane Eddine Essaidi Ali
– Soit Fun sous-espace vectoriel de Etel que F⊥
⊕F⊥=E. On appelle projection (resp. symétrie) orthogonale sur (resp.
par rapport à) Fla projection sur (resp. symétrie par rapport à) Fparallèlement à F⊥. On la note pF(resp. sF).
– Soit u∈ L(E). On dit que uest un projecteur orthogonal (resp. symétrie orthogonale) si u◦u=uet Imu⊥
⊕ker u=E
(resp. u◦u= idEet ker(u+ idE)⊥
⊕ker(u−idE) = E).
– Soit (F1, . . . , Fn)une famille orthogonale de sous-espaces vectoriels de Etels que F1
⊥
⊕ ··· ⊥
⊕Fn=E. On appelle
projecteurs orthogonaux associés (resp. symétries orthogonales associées) à la somme directe orthogonale F1
⊥
⊕ ··· ⊥
⊕
Fn=Eles applications p1, . . . , pn(resp. s1, . . . , sn) sur Edéfinies par :
∀x=x1+···+xn∈E, avec (x1,··· , xn)∈F1×···×Fn,∀i∈ {1, . . . , n}, pi(x) = xi(resp. si(x) = x−2pi(x) =
x−2xi=x1+··· +xi−1−xi+xi+1 +··· +xn).
Proposition 4.8 Soient Eun espace préhilbertien, Fun sous espace vectoriel de Ede dimension finie n∈N∗et (e1, . . . , en)
une BON de F. Alors :
–F⊥
⊕F⊥=E. Autrement dit, tout sous-espace vectoriel de Ede dimension finie admet un supplémentaire orthogonal.
–F⊥est de codimension finie et on a codimF⊥= dim F.
–F⊥⊥ =F.
Proposition 4.9 Soient Eun espace préhilbertien, Fun sous espace vectoriel de Ede dimension finie n∈N∗et (e1, . . . , en)
une BON de Falors ∀x∈E, pF(x) =
n
X
k=1
< ek, x > ek.
Proposition 4.10 Soient Eun espace préhilbertien, Fun sous espace vectoriel de Ede dimension finie n∈N∗,(e1, . . . , en)
une BON de Fet x∈E. Alors :
–d(x, F ) = kx−pF(x)k,pF(x)est le seul élément de Fqui vérifie cette égalité.
–kxk2=kpF(x)k2+d2(x, F ).
–L’inégalité de Bessel :
n
X
k=1 |< ek, x > |2≤ kxk2avec égalité ssi x∈F.
Définition 4.5 On appelle espace de Hilbert tout espace préhilbertien complet pour la norme euclidienne associée.
Définition 4.6 Soit Hun espace de Hilbert. Une famille (ei)i∈Id’éléments de Hest dite base hilbertienne (ou famille ortho-
normale totale ou famille orthonormale complète) de Hsi elle vérifie les deux conditions suivantes :
– La famille (ei)i∈Iest orthonormale : ∀i, j ∈I, < ei, ej>=δij .
– La famille (ei)i∈Iest totale (ou complète) : {ei/i ∈I}⊥={0}.
Proposition 4.11 Soient Hun espace de Hilbert, (en)n∈Nune famille orthonormale de Het (cn)une famille d’élémens de K
carrée sommable (i.e P|cn|2converge). Alors la série Pcnenest convergente.
Définition 4.7 Soient Hun espace de Hilbert, (en)n∈Nune base hilbertienne de Het x∈H.
– On appelle coefficient de Fourier d’ordre n∈Nde xle nombre < en, x >.
–X
n≥0
< en, x > ens’appelle la série de Fourier de x.
–∀n∈N,Sn(x) =
n
X
k=0
< ek, x > eks’appelle la somme partielle d’ordre nde la série de Fourier de x.
Proposition 4.12 Soient Hun espace de Hilbert et (en)n∈Nune base hilbertienne de H. Alors :
–∀x, y ∈H, x =y⇐⇒ xet yont les mêmes coefficients de Fourier (i.e ∀n∈N, < en, x >=< en, y >).
–∀x∈H, la série P< en, x > enconverge et on a x=
+∞
X
n=0
< en, x > en.
–∀x∈H,
+∞
X
n=0 |< en, x > |2=kxk2(Formule de Parseval).
–∀x, y ∈H, la série P< en, x > < en, y > est absolument convergente et on a < x, y >=
+∞
X
n=0
< en, x > < en, y >.
Proposition 4.13 Soit Eun espace euclidien. Pour tout a∈E, on pose fa:E→R
x7→ < a, x > .
L’application ϕ:E→E∗
a7→ fa
est un isomorphisme d’espaces vectoriels. On l’appelle l’isomorphisme canonique de Esur