Chap 22 : Espaces préhilbertiens

Chap 22 : Espaces préhilbertiens

E, F  ev, u L ( E, F )

Préliminaires : applications semi-linéaires

u est semi-linéaire lorsque : ( x, y)  E 2 , u( x  y)  u( x)  u( y) et (, x)   E , u( x)  u( x)

u et v semi-linéaires   u   v aussi ker u et Im u sont des sev

Les propriétés relatives aux bases se préservent (   ) : E de dim finie  dim ker u  dim Im u  dim E
Représentation matricielle : u : X AX v u:X B AX

I. Généralités
f :EE est une forme sequilinéaire (3 / 2  linéaire) lorsque :
x  E , f ( x, ) est linéaire y  E , f (, y ) est semi-linéaire
hermitienne si, de plus, ( x, y )  E  E , f ( y, x)  f ( x, y ) (f ( x, x)  )

f est hermitienne positive si, de plus, x  E , f ( x, x)  
définie positive si, de plus, x  E , f ( x, x)  *
 

Une forme hermitienne définie positive est alors un produit scalaire hermitien, on note  x | y  f ( x, y )
( E ,  |  ) est un espace préhilbertion complexe, on note x 2   x | x

f hermitienne  ( , x)   E , f ( x,  x) |  |2 f ( x, x)
 f ( x  y, x  y )  f ( x, x)  2Re( f ( x, y ))  f ( y, y )
n
psh canonique :  X | Y    xi yi
b
E n
|| E  C ([a, b], ),  f | g    f g
a
i 1

2
( )  {( xn ) n  /  | xn |2  },  X | Y    xn yn
n 0

I intervalle de , L2 ( I )  { f  C ( I , )/ | f |2 int. sur I }  f | g   f g

I

Cauchy-Schwarz : ( x, y)  E 2 , |  x | y | x 2
y 2
avec égalité ssi   , x   y

(I )
Utiliser   / ei  x | y |  x | y | pour les preuves (pb Re/Im...)

Dans le cas réel, CS est vrai même si  |  n'est pas définie

Minkowski : ( x, y)  E 2 , x  y 2  x 2  y 2 , avec égalité ssi   

, x  y  2
est une norme

Egalité de la médiane : (u, v)  E 2 , u  v 2  u  v 2  2( u 2  v 2 )

2 2 2 2

1
Identité de polarisation complexe :  x | y  ( x  y 2  x  y 2  i ( x  iy 2  x  iy 2 ))
2 2 2 2

4
Pythagore : (u, v)  E 2 , u | v  0  u  v 2  u 2  v PAS DE RECIPROQUE (on obtient Reu | v  0)
2 2 2
2

Fiches de maths - MP* - http://evarin.fr/ - 1

Chap 22 : Espaces préhilbertiens

E  E 
 est continue si E est muni de (C ° bilin : C /  ( x, y)  C x y )
( x, y )  x | y
2

E E '  LC ( E, )
j est une isométrie semi-linéaire, bij. si E est de dim finie
x  x | 

II. Orthogonalité
( E,  | ) espace préhilbertien complexe

x, y  E sont orthogonaux lorsque  x | y  0, on note x  y

A, B  E A  B  ( x, y )  A  B ,  x | y  0 A  { y  E | x  A,  x | y  0}

A est un sev A  B  B   A A  A et A    A

n
x1 ...xn 2 à 2 orthogonaux  x1  ...  xn   xi ( xi )iI  ( E \{0}) I 2 à 2   ( xi )iI est libre
2 2
2 2
i 1

Un espace préhilbertien complexe de dimension finie est un espace hermitien.

( xi )iI est orthonormée si i  j ,  xi | x j   0 et i  I , xi 1
2
2

Tout espace hermitien complexe E possède une BON, et pour tout sev de E , F  F   E

Procédé de Schmidt : (e)  (e1 ,..., en ) base de E. On dit que ( )  (1... n ) est une base de Schmidt
attachée à (e) lorsque ( ) est orthornormée et, k  1, n ,Vect (e1...ek )  Vect (1... k )
On obtient le même algorithme qu'en ev euclidien

( E ,  |  ) ev euclidien, (e) base de E : il existe une base de Schmidt ( ) attachée à (e) , et si ( ') est une autre
base de Schmidt attachée à (e), (u1...un ) {1,1}n tel que, i  1, n ,  i '  ui  i

( Fi )iI famille de sev de l'espace préhilbertien ( E,  | ).  Fi est orthogonale lorsque : i  j, Fi  Fj

iI

 
Une somme orthogonale est directe. On note  Fi , et si  Fi  E , les ( Fi )iI sont suppl. orthogonaux
iI iI

(I )
p  L ( E ) proj ( p p  p). ker p  Im p  x  E , p( x)  ( x  p( x)).

Dans ce cas, p est un projecteur orthogonal, et on a ker p  Im p  E , (ker p)  Im p et (Im p)  ker p

F sev de E. On a équiv entre :  F possède un supplémentaire orthogonal G

 F  F  E  (I )
p projecteur orthogonal d'image F (unique dans ce cas)

Si F  F   E , on a ( F  )  F car Im p  (ker p) FAUX en général

p
F sev de dim. finie de E , (e1...e p ) BON de F . Il existe un projecteur orthogonal de E sur F :  ( x)   ei | xei
i 1

 Si F sev de E de dim finie, F  F   E , F  est de codim finie

Rmq gen : Si G sev de E possède deux suppl. G ' et G ", (G ' de dim finie  G " aussi, de même dim.)

Fiches de maths - MP* - http://evarin.fr/ - 2

Chap 22 : Espaces préhilbertiens

F sev de E tq p proj orth de E sur F : x  E , d ( x, F )  x  p( x) 2

(atteinte en p( x) seulement)

f  C ([0,1], )  d ( f , [ X ])  0
p
En dim finie, si (e1...e p ) BON de F , d ( x, F ) 2  x  | ei | x |2
2

i 1

(I )
( E ,  |  ) préhilbertien réel, p  L ( E ) proj. p est orth  p est C  et p  1
(  Dvt,  Méth. variationnelle : p( y  tz )  y  tz ...0   y | z , idem  z ,  y | z  0)
2 2

III. Bessel, Parseval

( E,  | ) espace préhilbertien complexe de dim finie. (ek )k  E suite orthonormée de E

Bessel : x  E ,  | ek | x |2 CV de somme  x

2
2
k

x  E , on a équivalence entre :  ( p ( x)) p CV vers x  x Vect (ek ) k  x   |  x | ek  |2 (Parseval)
2

k 0

2 2
iii  i) x  x   p ( x)   p ( x) ii  i)   0, y Vect (e0 ...eN ) tq x  y   , x  y  d ( x,Vect (e1...e p )) pour p  N
2


Avec l'id. de polarisation : x, y Vect (en ) n ,  x | y   en | xen | y (extension de la dim finie)
n 0
p
Si Vect (en ) n  E , x  E , x  lim
p 
 e
k 0
k | x ek

( 2 ( ), 2
) est complet || E espace de Hilbert (=préhilbertien complet). Si E est séparable
(possède une partie den. dense), E possède (en ) n sys ON tq Vect (en ) n  E , et E  2
( )
1 1
(I )
E  C ([0,1], ),  f | g    fg K  C ([0,1]2 , ), on pose  : f (x  K ( x, y ) f ( y )dy )
0 0
n
Pour 1 ...n vp de  attachées à des vect. p. orth,  i 2   K 2  ( E ) est de dim finie
[0,1]2
i 1

Si K est symétrique, pour    , E  E ( ( f )( x)   K ( x, ) | f   Bessel, Fubini...)

Complément : Théorème de Riesz

/ / HP / /
( E ,  |  ) espace préhilbertien réel. C partie convexe complète non vide de E
x  E , ! y  C , x  y 2  d ( x, C ), et z  C ,  x  y | z  y  0
Notons y  p( x). Alors p est 1  lipschitzien

1) ( yn ), x  yn  d ( x, C ) : médiane  ( yn ) de Cauchy  y. x  y  x  (1  t ) y  tz  ...

2 2
2

 0  2 x  y | y  z  t y  z Unicité : médiane encore. 2)1   x  x ' | p( x)  p( x ')  p( x)  p( x ')  CS

2 2

F sev complet de ( E,  | )  F  F   E

Fiches de maths - MP* - http://evarin.fr/ - 3