Explorer les Livres électroniques
Catégories
Explorer les Livres audio
Catégories
Explorer les Magazines
Catégories
Explorer les Documents
Catégories
Enoncs
Matrices antisymtriques
Exercice 1 [ 00374 ] [correction]
Un endomorphisme f dune espace vectoriel euclidien est dit antisymtrique si
f ? = f .
a) Soit f L(E). Montrer que f est antisymtrique si, et seulement si,
x E, (f (x) | x) = 0
On suppose dsormais que E est un espace vectoriel euclidien orient de
dimension 3.
b) Soit u E. Montrer que f : x 7 u x est un endomorphisme antisymtrique
de E.
c) Inversement, soit f un endomorphisme antisymtrique de E. Etablir quil existe
un unique vecteur u E tel que f (x) = u x pour tout x E.
En tudiant t XAX,
tablir que iR.
Corrections
Corrections
Exercice 1 : [nonc]
a) Si f est antisymtrie (f (x) | x) = (x | f ? (x)) = (x | f (x)) donc (f (x) | x) = 0
pour tout x E.
Inversement, si pour tout x E, (f (x) | x) = 0 alors pour tout x, y E,
(f (x + y) | x + y) = 0 et en dveloppant et simplifiant on obtient
(f (x) | y) + (f (y) | x) = 0 do (f (x) | y) = (x | f (y)) et donc f ? = f .
b) f est bien un endomorphisme et (f (x) | x) = (u x | x) = 0.
c) Soit (i, j, k) une base orthonorme directe de E. Compte tenu
de son
0
a b
antisymtrie, la matrice de f dans cette base est de la forme a 0 c .
b c 0
Pour
u
=
x.i
+
y.j
+
z.k,
la
matrice
de
x
7
u
x
dans
la
base
(i,
j, k) est
0 z y
z
0 x . Par galit de reprsentations matricielles, on peut conclure
y x
0
lexistence et lunicit dun vecteur u E tel que f (x) = u x pour tout x E.
En loccurrence u = c.i + b.j a.k.
Dautre part
t
XAX = t (AX) X = t XX
On en dduit = 0 sachant X 6= 0.
Par suite le dterminant de A est positif ou nul.
Exercice 4 : [nonc]
a) Si est valeur propre de u de vecteur propre x 6= 0 alors la relation
2
(u(x) | x) = 0 donne kxk = 0 qui entrane = 0.
Seule 0 peut tre valeur propre de u. Par suite un endomorphisme antisymtrique
est diagonalisable si, et seulement si, il est nul.
b) Lgalit (u(x + y) | x + y) = 0 avec (u(x) | x) = (u(y) | y) = 0 donne le rsultat.
Soient B = (e1 , . . . , en ) une base orthonorme de E et A = (ai,j ) la matrice de u
dans B. On sait que
ai,j = (ei | u(ej ))
donc par la relation prcdente ai,j = aj,i et la matrice A est antisymtrique.
c) Dune part
t
XAX = t XX
Dautre part
t
t AX
= t AXX = t XX
XAX
= t X
Exercice 3 : [nonc]
Soit A une matrice antisymtrique relle.
Le dterminant de A est le produit des valeurs propres complexes de A comptes
avec multiplicit. Puisque la matrice A est relle, ses valeurs propres complexes
non relles sont deux deux conjugues et forment donc un produit positif. Il
reste tudier les valeurs propres relles de A.
Soient une valeur propre relle de A et X est une colonne propre associe.
Dune part
t
XAX = t XX
=
XX
n
X
|xi | > 0
i=1
car X 6= 0.
= et donc iR.
On en dduit
Exercice 5 : [nonc]
a) Introduisons une base de E et M et A les matrices de et f dans cette base.
La matrice M est symtrique et inversible car non dgnre.
Lhypothse x, y E, (f (x), y) = (x, f (y)) donnet (AX)M Y = t XM AY
pour toutes colonnes X, Y et donc t AM = M A soit encore t (M A) = M A. La
matrice M A est antisymtrique donc de rang pair (culture. . . ) et puisque M est
inversible A est de rang pair.
b) Soit f L(Mn (R)) dfini par f (M ) = AM M A.
Le commutant de A est le noyau de f et sa codimension est le rang de f .
Considrons : (M, N ) tr(M N ). est une forme bilinaire symtrique, non
dgnre car (M, N ) = 0 pour tout N entrane M = 0.
Pour tout M, N Mn (R), on vrifie aisment (f (M ), N ) = (M, f (N )) et on
conclut.
Corrections
Exercice 6 : [nonc]
Remarquons pour commencer que, puisque A est antisymtrique, pour toute
colonne X, on a (AX | X) = 0. En effet
(AX | X) = t X t AX = t XAX = (X | AX) = (AX | X).
Etablissons maintenant la proprit en raisonnant par rcurrence sur n > 1.
Pour n = 1, une matrice antisymtrique est nulle et la proprit
estvrifie.
0 a
Pour n = 2, une matrice antisymtrique est de la forme
et la
a 0
proprit est vrifie.
Supposons la proprit tablie jusquau rang n > 2.
Considrons A Mn+1 (R)
Si la matrice A est nulle alors le rsultat est obtenu.
Si la matrice A nest pas nulle alors A2 non plus.