CPGE LYDEX-BENGUERIR. MP* 1&2 : 2020-2021 UNE PROPOSITION DE CORRIGE DU PBI-DS2 A-Quelque résultats généraux 1a P= uP = 0 ot BOD = yt on a v eat nilpotent didi noté 9 €2p=1,2p or 9 dim co Si 6 endomorphisme de E vérifiant 6 = d et v6 = by alors 6 laisse stable les espaces propres de d et 6p, = Adey,. Il sufft de prendte 6/2, = V¥ily,- Soit alors 5 eudomorphisme de E definit par : Siz= Su ot 2 € Ey, alors 6(2) = 3 Dizi: page 1 Scanné avec CamScannerCPGE LYDEX-BENGUERIR MP* 1&2; ‘On vérifie facilement que : 6 = det vb = ou. ‘5.5. det(5) = (det6)? = det(d) # 0 donc det(6) # 0 et par suite 5 est inversible. On a: v6-? = v(62)-! dy et done dy = yd-1, Ainsi v5"? = 4-2 et par suite (vd-2)" = (v)"(6-2)" = 0, D’oi v5? est nilpotent. 56 Sion note wy = 1v6-* et w= 5 buf Alors tt est nilpotent et on a we Ainsi wd? = 6? 4 dt ly Soit v= wé alors : Tetuy, md WHS neysn Yo srs-) rt a Ainsi v? = (w6)? = 1026? = Enfin il suffit de noter P O.X* on a bien P € Ry-[X], B-Réduction des matrices nilpotentes QB-1,] Soit y € Im(u), par definition, il existe x € E tel que y = u(2). Ainsi, u(y) = u(u(z)) € Im(u) dod Ie sous-espace Iin(u) est stable par w. Cette stabilité de Im(u) par u nous permet d'induire Yendomorphisme w sur Im(u), et on note » endomorphisine induit par w sur li(u), c'est-i-dire v :Im(u) —> Im(u) défink par v(y) Comme w? 2tltm(u) cet ‘u(y) si y € Im(u). , pour y € hn(u), toujours avec € E tel que y= u(z), on a w-H(y) = w-H(u(2)) = wP(z) = 0 done vil =O et vest nilpotent d'indice q < p—1 (par minimalité deg) Comme w-! 0, il existe par définition un vecteur « de E tel que w-1(2) 4 0, En posant y = u(z) € Im(u), vient v?-?(y) = uP-2(u(z)) = u?-1(x) # 0 done w?-? 4 0. On en déduit que q> p— 1. Au final Tendomorphisme v induit par u sur Im(w) est nilpotent indice p—1 [Q -B.2.] Cu(z) est, par construction, un sous-espace vectoriel de E en tant que sous-espace engendré par une famille de vecteurs. Soit y € Cy(2), par définition, il existe un entier m et des scalaires (Xg,..-, Am) € C*? tels que y= > \u"(z), Ainsi, par lingarité de u, u(y) roy st Eaten) = 3 Aut (2) € O4(2) co au prove que = (Cu(@) est stable par {k EN | wh(2) = 0}. Comme p € A car w? =0, A est une partie non vide de N et 0 ¢ A car u? = Idp La propriété fondamentale de N permet. de conclure que A admet un minimum, noté s(z) > 1. Par conséquent, il existe un entier s(z) > 1 tel que u*)(z) = 0 ot u%)=1(x) #0. Q B.3.] D'aprés la question précédente et Ja définition de s(x), pour tout entier k > s(x), on a ué(z) = 0. La famille (u*(2))yey engendre donc le méme sous-espace de E que la famille (r,u(z),...,w!"H(2)). On obtient page 2 Scanné avec CamScannercre E LYDEX-BENGUERIR ‘MP# 1&2 ; 2020-2021 Cu(z) = vect(uk(x) | k € N) = veot(r, (2), Me)-1( tz)-1 a i = vect (x, u(z),...,u%IH(z)) ot Be = (zyu(z)s-.,u%1(a)) est dé une famille _génératrice de C,(r). Comme en question 3, on peut. montrer que celle-ci est aussi libre, Recommengons s)-1 Solt (Ak)ocea(a)-1 € C%) telle que S> Axu*(2) = 0 (+). $i om avait (Ao,- A & éfinir Ventier iz = min({0 < k < s@)—1| Ak # 0) de sorte que Xo = --- = Ayo = Oe Ns # 0. En compet Taran (4) par WO" (on ep cara) =~ He 2 0 on ana dove, Dar Tinéarité dew, sel Hale So Acute I-FeHh (a) = u(0) = 0, ott S> Agu) = 0, Comme wt (e) = 0, i ne reste dans cette sonme que ,u*"*)-1(2) = 0, C'est impossible puisque 2s, #0 et uz) # 0. On conclut ce raisonnement par Vabsurde : Oge.--.Ayay-a) = (Os---s0)- Ains, By est aussi libre. Finalement, comme la matrice dans cette base de Yendomorphisine ulc,¢a) est facile A obtenir puisque u(u!(®)-1(2)) = w(x) = sAate)-a) # (Op-+-4 0), 08 pourrait By = (2,u(x),...,u%@-1(a)) est une base de Cy(2) et Mat, (uleu(o)) = 0 @BA.] Pour tout entier p € N*, définissons x, z » si w€ L(E) nilpotente d'indice p et E C-ev de dimension fini, 3¢ € N*, 3(z1y---53¢) € BY, E=@Qoulei). Initiaisation + pour p = 1, si w est un enlomorphisme nilpotent d'indice p = 1 d'un C-espace E, alors w est Tendomorphisme mul de E. En posant (= ditn{Z), on choisit une base queleonque (#1,....22) de E et, comme rect (zay-.-420) = ED veet(2i) = QD Cul). « Heédité : soit p > 1, supposons Hy vérife et montrons Hpy1. Prenons done un Ceespace vectoriel Bet u un Creed soe B npotens dindic p+ 1, Come p-+1 > 2, la question 27 nous apprend que Pendomorphisme ararenat nilpotent indice p dans le C-espace n(x). Lypothtse Hy seppliqe dw tfouritYexstence un ftir #31 et det vecteursyr,---.3¢ de Imu) tes que Im(u) = ED Co(w). Si1 > Aie-auf(zi) = 0. Les scalaires de cette combinaison ai at fi ‘ norct linéaire sont nls ear Imn(u) = EB) Cy(yi). Il ne reste done dans (2) que J A;a(zy)-a¥")"M(ai) + S> ee = Ot, ms it = page 4 Scanné avec CamScannerCPGE LYDEX. EX-BENGUERUR Mp 162 : 2020-2001 1 encore, , “ores In iberté de la famille B’ montre que tous ces sealares sont mus. En conclusion, F et G sont en somme ‘irecte, De plus, comme F = G)Cy(a1) et 9 = (€1y---s€n-r-ts dim(F + G) = dim(F) + dim(@) = (Scam (Cutz) tnor-t, Voit, comme dim (Cy(ai)) = dim (Co(yi)) +1 si 1 «++ > s(ry) 2 1. Alors ¢ = (s(21),.--9(tk)) = (a1,--+ +e) est” ‘une partition de n = (21) +--+ s(z4) et B = (Bzy,---,Bz,) (aprés rentumérotation) est une base de E telles que Mata (u) = diag(Jo(ey}1-+++ Ja(ag)) = Giag(Joys+ +++ Jay) (notée Ng). ot Pay Par définition, Jq = Y" Bisa. Si1 a re(dd) = 0 et ¥9 € [0-1], re(V2) = 0-5 Ce qui préctde justife, puisque J2-! = Ey. #0 et Jg = 0, que Ja est uilpotente Tindice a. (Q C.3.] Par hypothise, w est nilpotent d'indice p done Ny = Maty(u) ‘aussi nilpotente d'indice p. Par caleul par blocs, pour tout m € N, NZ liag(Joys--+4Jay) (voir question 32) est atu") = diag( JE... JI). Ainsi, Noi = diag(Jgh,...,J&!) = diag(®,...,0) =0) car si 1 <#< k, a; a1 donc J3} =0 puisque Ja, est nilpotente d'indice ay daprés la question précédente. De plus, car Jgi-1 0 d'apris la question 33. Tout ceci permet de conclure que ay est V'indice de nilpotence de Ny : [ar =P. QGa_] Soit un entier naturel j, comme Nz est diagonale par blocs, Nj = diag(Ji,,...,J4,) Vest aussi d’oit & ra(N3) = > re(J4,). Or, on a vu en question 33 que rg(J4,) = 0 si j > ay et rg(J2,) = a; — j si j < a4. On peut résumer ceci en 1g(Ja,) = max(0, a4 — j). Or, si j ¢ Aj, on a j > a donc rg(Ja,) = 0. On peut donc conclure que = Y reli) = YO max(0,ai - ) = YS (ai-9)- ign, ix, ix, z re(N3) = red, a page 6 Scanné avec CamScannerPGE LYDEX, BENGUERIR MP* 12 : 2020-2021 rd pour tout j € N*. On sait écédente [Q.C.5}] Avec une des bases B de le question 32, Mata(u) = Ny done Matg(w) = ‘au'alors, rg(w) = re(N2) done dy = rg(w-!) ~rg(u!) = rg( NE“) —ng(Nz2) ce qui domne, avec la question 4= D (a-G-»)- D@-s. icy i Comme Aj ¢ Aj-1 par définition, il vient 4 = DY @-G-)+Li-G-y)- Ve-sd = Y @-G-0)+¥ [e-G-0)-@-s)] De plus, if € Aj-1\Aj,onaa;=j—1done > (ai-(j-1)) = 0. Enfin, comme (ai-G-1)-(ai-3) =1, ieaya\Ay 4 ne reste donc dans l'expression ci-dessus de dj que ard(A,) est le nombre de blocs Ja, dont la taille a est supérieure ou égale A J. i, card(Ay). La question QGC.G.] Puisque tout bloc Ja, est de taille supérieure ou égale & 1 par construction : prévédente montre done que k= dy = rg(u!) ~ rg(u!) done, d’aprés la formule du rang. = ra(ldp) ~ re(a) = dim(E) ~ r8(u) = dim (Ker(u)). [Le nombre de blocs Ja, intervenant dans N, vaut done la dimension du noyau dew. Q GT] Si 1 <7 j mais pas GS FF 1. Ceci s'écrit de manitre eusembliste Ty = {hE PLAY | a = 5} = Ay \Asas 1; — dizi. Aisi, avec la question 36, naw?) — 2rg(u?) + re(u*"), Comme Ayer CAs, on obtient eard(T;) = card(As) ~ card(s) = re(u!) ~ (ra?) ~ re(w’**)) 4 = dys = role! On conclut, avec la formule du rang appliquée Aw! w et ws rg(w"}) — Qrg(w) + ra(w +) Je nombre de blocs J.,, de taille exactement égale & j vaut = 2dim (Ker(w)) — dim (Ker(w")) — dim (Ker(w)).. [@ C.8.] On sait avec la question 32 qu'il existe une base B de E telle que Mata(u) = Nz oit ¢ est une partition den. Supposons existence d'une base B de F et dune partition o/ = (04,...,04) de Ventier n telles que Matp-(u) = Nor. ‘ D'aprés la question 37, le nombre de blocs de Ja, (resp: Ja) intervenant dans N; (resp. No) vaut k = dim (Ker(u)) (resp. k! = dim (Ker(u))). Par conséquent, k = Wet les deux partitions 7 et a! out le méme nombre d’éléments # D'apris Ia question 34, a1 = af = p est ordre de nilpotence de t. ‘ Diaprés Ia question 38, si 1 n~ 1. One peut étre valeur propre d'ordre exnctement m— 1, car sinon A serait diagonalisable. 0 est done valeur propre de A dordre n, done A est nilpotente (d’aprés, par exemple, le th. de Cayley-Hamilton, ou les résultats du cours sur Ia trigonalisation des matrices & coefficients dans C). Si p est V'indice de nilpotence de A, on a p > 2 (car sinon A serait nulle), d’oi Ker € KerA?, d’ot KerA? = C" (car dim(KerA) =n = 1), soit A? = 0. Soit alors ey un vectour de C*, tel que er = A(en) soit une base de ImA (qui est de dimension 1), Alors en @ Ker et e1, qui est non mul, appartient & KerA puisque ImA C KerA puisque A? = 0; alors Cen est un supplémentaire de Ker, et, en choisissant une base de KerA de Ja forme (€:,..-;€n-1) (ce qui est possible daprés le th. de a base incompltte), la matrice de Vendomorphisme canoniquement associé & A dans la base (e1,..+,6n) est égale & Ar 'b) Des calculs simples donnent : D? — Dy = Ay et Di-Ar = Ar.Ds = 0. Les n=1 demiéres colonnes de Dj sont linéairement indépendantes (facile), et la premiére colonne est nulle, done rg(Dy) =n — 1. P.D.P, on obtient 0. ¢) Diaprés 7.2, il existe P inversible telle que A= P.A,.P™!, En posant directement, i Vaide de In question précédente : D? — D = A et A.D = D. 10..0 7 00.00 In —D étant semblable & Ly — Dy, avee Ip ~ Dy = froma: 00..04, rn — D) = ray — Di) = 2. Enfin, D' = D.(D + A) = D? + D.A= D?. 4) Ona: x(t) =xn,(t) = =P(1~ 9"? (n> 3 d'apres 'énoncé). En notant P() = 2 ona P(t) = =1(1 = 0"? et cD) = P('D) d'aprés la question 2., Done te(D) = P(D) = ~D.(In ~ DY"? = D.(D = In)-(Iy ~ DY". Or a D(D~I,) = D*—D = A, et A.(In—DY-§ = > (-1)*Ck_gA.D* = A (car A.D! Ave o(D) =" A ia Osik > 1). Done '(D) €) Si A est non diagonalisable de rang 1, ilen est de méme de ‘A, En appliquant le résultat ci-dessus, 4A, on en déduit que A est une comatrice 7?) D’apres tous les résultats des questions précédentes A My(C) est une comatrice si ct seulement si A est inversible, ou A est de rang 1, ou A est nulle. Scanné avec CamScanner \ *