Chap 26 : Opérateurs en espace euclidien

Chap 26 : Opérateurs en espace euclidien

E eve de dim finie n  1
(e1 ...en ) BON de E , u  L ( E ), A  (ai , j )  [u ]( e )  (i, j ), ai , j  ei | u (e j )
n
tr A   ei | u (ei ) det A  [u (e1 )...u (en )] si (e) directe
i 1

I. Adjonction
u  L (E) !v  L ( E) tq : ( x, y)  E 2 , u( x) | y   x | v( y) , v est l'adjoint de u , noté u *

u  L ( E ), (e) BON de E. v  L ( E ), v  u*  [v]( e)  t [u]( e)

symétrique si u*  u
u  L ( E ) est auto-adjoint  , cela se retrouve dans les matrices en BON
antisymétrique si u*  u

tr u*  tr u , det u*  det u , u*  u , rg u*  rg u u ( x)  u ( x) | u ( x)   x | u * u ( x)

2
||
u u * est un anti-isomorphisme d'algèbre involutif : (u v)*  v * u *

n(n  1) n(n  1)
( E )  {u  L ( E ) / u*  u} et ( E )  {u  L ( E ) / u*  u} sont des sev de L ( E ) , de dim et
2 2

u u* u u*
u   L (E)  ( E)  ( E)
2 2

En dim finie u  L ( E) ker u*  (Im u) , et Im u*  (ker u) 

F sev de E F stable par u  F  stable par u *

II. Projecteurs et endomorphismes orthogonaux

p  L (E) p proj orth  p 2  p et p*  p A mat de proj orth  A2  A et t A  A

1
u  L ( E ) tq u  1 up  p 
( Id E  ...  u p1 )   proj  sur ker(u  Id E ) p/r Im(u  Id E )
p

E eve de dim n  1, u  L ( E ) u  ( E )  u * u  Id E ( u u*  Id E  u inv et u 1  u*)

 2( )  2( )
 est une isométrie linéaire en espace préhilbertien non bijective
( xn )n (0, x1 , x2 ...)

III. Endomorphismes symétriques

u  ( E)  (e) BON, [u]( e) est symétrique  (e) BON, [u]( e) est symétrique

Si  et  sont deux vp réelles de u  ( E) différentes, E  ker(u   Id E )  E  ker(u   Id E )

Théorème spectral : u  L ( E) u*  u  Il existe une BON de vp de u

Rec dim 2 :  A ... dim  3:  sev stable de dim 1 ou 2+ 

Fiches de maths - MP* - http://evarin.fr/ - 1
Chap 26 : Opérateurs en espace euclidien

u  ( E)  E somme directe orth. des espa. propres de u ker u 2  ker u, F sev stable  u\ F diag...

A  Mn ( ) A symétrique  A orthogonalement semblable à une matrice diagonale

2
1 i   0 0  t
FAUX sur Mn ( ) :     (sur , A*  A)
 i 1  0 0 
PS can. de Mn ( ) :  A | B   ai j bi j  tr( t AB) a i, j
2
  2
i, j i, j 
Spec A

A  Mn ( )  t AA et A t A orth. semblables

Compléments
u  L ( E ). u*  u  x  E , u ( x) | x  0, et dans ce cas, BON (e) de E
A 
 1


 0 ak 
tq [u ]( e )  



avec Ak     rg u est pair
 ak 0 
Ak
 
 0 

u  L ( E) est normal lorsque u * u  u u * (ce n'est pas un ev)

u symétrique, antisymétrique, orthogonal...  u normal

 
 1 
 

r
 a bi 
u  L ( E ) normal  (e) BON de E tq [u ]( e )  


 , Ai   i  (u  v  w (sym/asym)+sev stables)
 bi ai 
A1
 
 
 As 


t
AA  A t A, A4  A5  A2  A (DDN sur X 4 ( X  1), autoadjoint  A proj sur ker A  I p/r ker A)

IV. Positivité
( E,  |  )  eve de dim finie n  1

u  ( E) est positif lorsque, pour tout x  E , u( x) | x  0

u  ( E) u : ( x, y) u( x) | y est bilinéaire symétrique. u positif  u symétrique positive

On a alors l'inégalité de Schwarz : ( x, y )  E 2 , u ( x) | y 2  u ( x) | xu ( y ) | y

 u ( x) | x  0  u ( x)  0 u sym pos  ker u  {x  E /  x | u ( x)  0}

u  ( E ) est défini positif si : x  E \{0}, u ( x) | x  0 u est alors un produit scalaire

 
On note : ( E )  {u  ( E ) / u positif} ( E )  {u  ( E ) / u défini positif}

A n ( ) A positive  f A positive dans n

can  X  n
, t XAX  0
A définie positive  f A définie positive dans n
can  X  n
, t XAX  0


( E ) et 
( E ) sont des cônes convexes :  ,   2
, (u, v)  S  2 , u   v  

 ,   * 2
 , (u, v)  S  2 , u   v  

 
(I )
 1  xi x j

1
  est symétrique définie positive   ( x0  ...  t n xn )2 dt 
 1  i  j i , j  i, j 1  i  j
0

Fiches de maths - MP* - http://evarin.fr/ - 2
Chap 26 : Opérateurs en espace euclidien

u  L ( E )  u * u est sym. pos. et rg u * u  rg u u*  rg u (u * u( x) | x  u( x) ,ker ...)

(I ) 2

Identités fondamentales : u  ( E ) de spectre (réel) (1 ...n ), (ei ) BON de E tq u (ei )  i ei

n n n
x   xi ei , u ( x) | x   i xi2 u ( x)   i2 xi2
2

i 1 i 1 i 1

u  S ( E) u positif    Spec(u),   0 u défini positif    Spec(u),   0


A, B  n ( )  0  tr AB  tr A tr B (matrices orthogonales, permutation dans trace)
Note : la trace permet des permutations circulaires
( HI )
A 
n ( ), !B  
n ( ), B 2  A (red. en BON diag>0, i , uni:[ A, B]  0, esp. propres stables)
Décomposition polaire : A  GLn ( ), !(O, S )  On ( )  Sn , A  OS (S  racine def de t AA)

u  L (E) u  sup u ( x) 2  sup | u( x) | y | (CS, y  u ( x) / u( x) ...)

x 1 x 1, y 1

u  (E) u  sup | u ( x) | x | max |  |  (u) rayon spectral de u

x 1 Spec ( u )

u  L ( E )  u   (u * u) u  u*

u 
( E ) max u ( x) | x  max   max u ( x) minu ( x) | x  min   min u ( x) (diag en BON)
x 1 Spec ( u ) x 1 x 1 Spec ( u ) x 1

vrai pour ( E ) vrai pour ( E )

Min-max/Courans-Fisher : u  ( E ) de spectre 1  ...  n p  1, n , Fp  {sev de E de dim p}

p  1, n ,  p  min max u ( x) | x (double ineg, identités, F  vect (e p ...en )...)
FFp xS (0,1) F

u  L ( E ), u  1 et | det u | 1  u  ( E ) ( u u *  1,   Spec(u u*), 0    1,    1, u u * sym)

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