26/07/2010
Endomorphismes remarquables d’un espace euclidien
Agrégation : leçon 126 en Maths Générales
E désigne un espace vectoriel de dimension fini muni d'un produit scalaire et de la norme associée.
I. Endomorphismes normaux
RappelSoit
Soit
Proposition 1 ([M]p357-358)


Définition 2
Proposition 3 ([G]p254)
Théorème 4 ([C]p159)
Et
Lemme 5 ([C]p157)
Si
endomorphisme normal, et si
sous espace de
stable par
alors
stable par
.
II. Endomorphismes symétriques
Définition 6


Exemple :
Si
Remarque :
Si
Proposition 7 ([G]p240)
Définition 8
On note
On note
Exemple :
Proposition 9 ([M]p359)
Soit
tel que =%3Cf(x),y%3E)
est un isomorphisme d'espaces vectoriels de
vers
l'ensemble des formes bilinéaires symétriques.
Théorème 10 ([G]p240)
Si
alors il existe une base orthonormée
de
, formée de vecteurs propres pour
.
Si
orthogonale telle que :
soit diagonale
Si
Corollaire 11 ([G]p241)
Si
,
alors il existe
telle que
soit diagonale
Application :
Si
Remarque :
On pourrait aussi réduire les endomorphismes antisymétriques par le Théorème 4.
III. Endomorphismes orthogonaux
Définition 12




On note
Remarque :



Exemples :



Proposition 13 ([G]p252-253)
Remarque :
Si
On note
On définit de même
Proposition 14
Proposition 15 ([G]p252-253)
Si
il existe
une base orthonormée telle que
Avec in%20mathbb{N}^3/quad%20p+q+2s=n)
&-sin(theta_i)/sin(theta_i)&cos(theta_i)%20end{pmatrix})

Remarque :
Application :
IV. Le groupe orthogonal
Théorème 16 ([MT]p18-19) - Décomposition polaire
Soit
est un homéomorphisme.
Application ([A]p138-140) :



Corollaire 17
Proposition 18 ([C]p?) - Décomposition d'Iwasawa
Si
alors il existe un unique couple
avec
orthogonale et
triangulaire supérieure à coefficients diagonaux positifs tel que: 
Proposition 19 ([B]2.7.5 et 8.2.5.2)
Soit
un sous groupe compact de
, il existe une structure euclidienne
-invariante sur 
Définition 18
Si
Si
Proposition 20 ([P]p142)



Proposition 21 ([P]p143)
Corollaire 22
Proposition 23 ([P]p143)
Pour
est engendré par les renversements.
Application ([P]p148) :
Proposition 24 (([P]p150))
Soit
.
Alors pour
et
est simple.
Alors pour
Proposition 25 ([P]p152)
Tout automorphisme de
est intérieur.
Remarque [P] :





Proposition 26 ([MT]p125-127)


Bibliographie
[A]: M.Alessandri "Thèmes de géométrie"[C]: M.Cognet "Algèbre bilinéaire"
[G]: X.Gourdon "Algèbre"
[MT]: R.Mneimné, F.Testard "Groupes de Lie Classiques"
[M]: D.Monasse "Cours MP-MP*"
[P]: D.Perrin "Cours d'algèbre"
SOURCE : http://www.ilemaths.net/maths-agreg-endomorphismes-espace...
11:32 | Lien permanent | Commentaires (0) | |
del.icio.us |
|
Digg |
Facebook
Les commentaires sont fermés.