Solutions des exercices
Ex. 9Ex. 9
Aet Btelles que A2=Aet B2=Bsont, dans la base canonique @de Kn, des matrices de projecteurs pet q.
Il existe des bases 8et 9de Kndans lesquelles les matrices de pet qsont respectivement :
Jr=Ir0
0 0 et Jr′=Ir′0
0 0
ou` ret r′sont les rangs de pet q, c’est-a` -dire ceux de Aet B.
On en de´ duit que si Aet Bont meˆ me rang, elles sont semblables a` une meˆ me matrice Jr, donc elles sont semblables.
La re´ ciproque est bien connue, inde´ pendante du fait que l’on ait affaire a` des matrices de projection.
Ex. 18Ex. 18
Notons que 1<p<net 1<q<n. On comple` te les familles libres X1,. . . , Xqet Y1,. . . , Ypen des bases
X1,. . . , Xnet Y1,. . . , Ynde }n,1(K).
Soit Aet Bles e´ le´ ments de GLn(K)dont les colonnes sont les Xjpour Aet les Yipour B.
On notant E1,. . . , Enla base canonique de }n,1(K), on a Yi=BEiet Xj=AEj, d’ou` YitXj=BEitEjtA,
c’est-a` -dire YitXj=BEi j tAou` les Ei j sont les matrices de la base canonique de }n(K).
Comme Aet Bsont inversibles, w:M°BMtAest un automorphisme de }n(K). Les images par wde la base
canonique de }n(K)en constituent une base.
Extraite d’une famille libre, la famille YitXj(i,j)∈[[ 1,p ]] ×[[ 1,q ]] est libre.
Ex. 23Ex. 23
Soit fet gles endomorphismes de E=Kncanoniquement associe´ s a` Aet B.
fe´ tant dans GL(E), on a f+g∈GL(E)si et seulement si (f+g)◦f−1∈GL(E), c’est-a` -dire si et seulement si
g◦f−1+ IdE∈GL(E).
Avec A∈GLn(K), on a rg BA−1= rg B= 1, donc le noyau de g◦f−1est de dimension n−1.
On comple` te une base de Ker g◦f−1en une base @=e1,. . . , en−1, ende E.
Dans @, la matrice de g◦f−1est de la forme C=
0. . . 0l1
.
.
..
.
..
.
.
0. . . 0ln
et on a Tr BA−1= Tr C=ln.
La matrice triangulaire C+Inest inversible si et seulement si 1 + ln≠0, donc A+Best inversible si et seulement si
ln≠−1, c’est-a` -dire Tr BA−1≠−1.
Ex. 26Ex. 26
1) En de´ composant u=a+ib et v=c+id en parties re´ elles et imaginaires, on a M(u, v) = a+ib c −id
−c−id a −ib .
M(u, v) = aI +bJ +cK +dL, avec I=1 0
0 1 , J =i0
0−i, K =0 1
−1 0 , L =0−i
−i0,
donc #= VectR(I, J, K, L), et dimR#= 4, puisque I, J, K, L sont inde´ pendantes.
2) E
´tudions le produit dans #en formant la table de multiplication du sous-ensemble {J, K, L}:
×րJ K L
J−I−L K
K L −I−J
L−K J −I
1