ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 16 — Matrices · Matrices carrées

Exercice 13

Démonstration

1. Soit AA, B∈ℳn(𝕂)B \in \mathcal{M}_{n}(\mathbb{K}) nilpotentes et qui commutent. Montrer que ABAB et A+BA + B sont nilpotentes.

2. Montrer par un exemple que le résultat tombe en défaut si AA et BB ne commutent pas.

3. Soit AA nilpotente, avec As=0A^{s} = 0. Montrer que In−AI_{n} - A est inversible et donner son inverse. Quel calcul sur les nombres réels reconnaît-on ?

Corrigé

1. Soit As=0A^{s} = 0 et Bt=0B^{t} = 0. Comme AA et BB commutent, (AB)s=AsBs=0(AB)^{s} = A^{s}B^{s} = 0, et la formule du binôme s'applique : (A+B)s+t−1=∑k=0s+t−1(s+t−1k)AkBs+t−1−k.(A + B)^{s + t - 1} = \sum_{k = 0}^{s + t - 1}\binom{s + t - 1}{k}A^{k}B^{s + t - 1 - k}. Dans chaque terme, ou bien k⩾sk \geqslant s et Ak=0A^{k} = 0, ou bien k⩽s−1k \leqslant s - 1 et s+t−1−k⩾ts + t - 1 - k \geqslant t, donc Bs+t−1−k=0B^{s + t - 1 - k} = 0. La somme est nulle.

2. Les matrices A=E12A = E_{12} et B=E21B = E_{21} de ℳ2(𝕂)\mathcal{M}_{2}(\mathbb{K}) sont nilpotentes, mais AB=E11AB = E_{11} vérifie (AB)k=E11≠0(AB)^{k} = E_{11} \neq 0, et (A+B)2=E11+E22=I2(A + B)^{2} = E_{11} + E_{22} = I_{2} : ni le produit ni la somme ne sont nilpotents.

3. La somme télescopique donne (In−A)(In+A+⋯+As−1)=In−As=In(I_{n} - A)(I_{n} + A + \cdots + A^{s - 1}) = I_{n} - A^{s} = I_{n}. (In−A)−1=∑k=0s−1Ak\boxed{(I_{n} - A)^{-1} = \sum_{k = 0}^{s - 1} A^{k}} On reconnaît la somme géométrique 1+x+⋯+xs−1=1−xs1−x1 + x + \cdots + x^{s - 1} = \frac{1 - x^{s}}{1 - x} ; ici, le terme xsx^{s} disparaît, et la série géométrique « s'arrête d'elle-même ». L'exercice 10 en est un cas particulier.

Dans l'édifice

Thèmes

matrices carrées, matrices inversibles, matrices nilpotentes, commutant

Notions

matrice, matrice inversible, groupe linéaire

Ouvrir dans l'atlas interactif →