MP
Propri´et´es 2 Soit (E, < , >)un espace pr´ehilbertien r´eel de norme euclidienne associ´ee k k,∀(~x, ~y)∈E2on a :
1. |< ~x, ~y >|6k~x k.k~y kavec ´egalit´e si et seulement si (~x, ~y)est un syst`eme li´e. (in´egalit´e de Cauchy Schwarz)
2. k~x k= sup
k~zk61|< ~x, ~z > |
3. k~x +~y k2+k~x −~y k2= 2(k~x k2+k~y k2)(identit´e du parall´elogramme)
4. ∀~z ∈E, k~x −~z k2+k~y −~z k2= 2 k~x +~y
2−~z k2+1
2k~x −~y k2(formule de la m´ediane)
5. k~x +~y k2=k~x k2+k~y k2+2 < ~x, ~y >
6. < ~x, ~y >=1
2(k~x +~y k2− k ~x k2− k ~y k2)(identit´e de polarisation)
7. < ~x, ~y >=1
4(k~x +~y k2− k ~x −~y k2)(deuxi`eme identit´e de polarisation)
Les propri´et´es 6. et 7. indiquent que si une norme d’un espace vectoriel norm´e est euclidienne alors il n’existe qu’un
seul produit scalaire associ´e.
Exemple 2
1. Soit nun entier naturel non-nul et E=Rn, on pose pour ~x = (x1, . . . , xn)∈E,N2(~x) = v
u
u
t
n
X
k=1 |xk|2,(E, N2)
est un espace vectoriel norm´e euclidien, le produit scalaire est d´efini par :
si ~x = (x1, . . . , xn), ~y = (y1, . . . , yn),< ~x, ~y >=
n
X
k=1
xkyk
2. Soit E=C([a, b],R)le Respace vectoriel des fonctions num´eriques continues sur un intervalle [a, b]`a valeurs
dans R, on pose pour f∈E,N2(f) = Zb
a|f(t)|2dt!
1
2
,(E, N2)est un espace pr´ehilbertien r´eel, le produit
scalaire est d´efini par : si (f, g)∈E2,< f, g >=Zb
a
f(t)g(t)dt
3. Soit E=C2π(R,R)le Respace vectoriel des fonctions num´eriques continues sur R`a valeurs dans Ret 2π-
p´eriodique, on pose pour f∈E,N2(f) = 1
2πZπ
−π|f(t)|2dt
1
2
,(E, N2)est un espace pr´ehilbertien r´eel, le
produit scalaire est d´efini par : si (f, g)∈E2,< f, g >=1
2πZπ
−π
f(t)g(t)dt
4. Soit E=`2(R)avec `2(R) = {(un)n∈N∈ S(R),X
n>0|un|2converge}, on pose pour U∈E, U = (un)n∈N,
N2(U) = +∞
X
k=0 |uk|2!
1
2
,(E, N2)est un espace pr´ehilbertien r´eel, le produit scalaire est d´efini par :
si (U, V )∈E2, U = (un)n∈N, V = (vn)n∈N,< U, V >=
+∞
X
k=0
ukvk
1.2.6 Espaces pr´ehilbertiens complexes
D´efinition 10 (forme sesquilin´eaire)
Soit Eun Cespace vectoriel, < , > est une forme sesquilin´eaire sur Esi
1. < , > est une application de E×Edans C
2. < , > est lin´eaire `a droite et semi-lin´eaire `a gauche, c’est `a dire : ∀(~x, ~y)∈E2,∀(λ, ~z1, ~z2)∈C×E×E:
a) < ~x, ~z1+~z2>=< ~x, ~z1>+< ~x, ~z2>et < ~x, λ~z1>=λ < ~x, ~z1>(< , > est lin´eaire `a droite).
b) < ~z1+~z2, ~y >=< ~z1, ~y > +< ~z2, ~y > et < λ~z1, ~y >=¯
λ < ~z1, ~y > (< , > est semi-lin´eaire `a gauche).
Si de plus ∀(~x, ~y)∈E2, < ~y, ~x > =< ~x, ~y > (sym´etrie hermitienne),
on dit que < , > est une forme sesquilin´eaire hermitienne sur E
LGT Baimbridge 4 C.Susset