ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 16 — Matrices · Matrices et applications linéaires

Exercice 28

Démonstration

Soit f∈ℒ(E)f \in \mathcal{L}(E), où dim⁡E=n⩾1\dim E = n \geqslant 1, tel que fn=0f^{n} = 0 et fn−1≠0f^{n - 1} \neq 0.

1. Soit x∈Ex \in E tel que fn−1(x)≠0f^{n - 1}(x) \neq 0. Montrer que ℬ=(x,f(x),…,fn−1(x))\mathcal{B} = \big(x, f(x), \dots, f^{n - 1}(x)\big) est une base de EE.

2. Écrire Matℬ(f)\mathrm{Mat}_{\mathcal{B}}(f), et en déduire le rang de ff.

3. Montrer que deux endomorphismes vérifiant ces hypothèses ont des matrices semblables.

Corrigé

1. Supposons ∑k=0n−1λkfk(x)=0\sum_{k = 0}^{n - 1}\lambda_{k}f^{k}(x) = 0, et que les λk\lambda_{k} ne soient pas tous nuls ; soit mm le plus petit indice tel que λm≠0\lambda_{m} \neq 0. En appliquant fn−1−mf^{n - 1 - m}, tous les termes d'indice k>mk > m deviennent fn−1−m+k(x)=0f^{n - 1 - m + k}(x) = 0, car n−1−m+k⩾nn - 1 - m + k \geqslant n, et il reste λmfn−1(x)=0\lambda_{m}f^{n - 1}(x) = 0, ce qui contredit fn−1(x)≠0f^{n - 1}(x) \neq 0. La famille est libre, de cardinal n=dim⁡En = \dim E : c'est une base.

2. L'image de chaque vecteur de ℬ\mathcal{B} est le suivant, et l'image du dernier est fn(x)=0f^{n}(x) = 0. Matℬ(f)=(010⋱⋱10)=∑k=1n−1Ek+1,k,rgf=n−1\boxed{\mathrm{Mat}_{\mathcal{B}}(f) = \begin{pmatrix} 0 & & & \\ 1 & 0 & & \\ & \ddots & \ddots & \\ & & 1 & 0 \end{pmatrix} = \sum_{k = 1}^{n - 1} E_{k + 1, k}, \qquad \mathrm{rg} f = n - 1}

3. Deux tels endomorphismes ont la même matrice ci-dessus, chacun dans une base convenable. Par le théorème 4, leurs matrices dans une base quelconque sont semblables à cette matrice, donc semblables entre elles.

Dans l'édifice

Thèmes

matrice d'une application linéaire, rang, matrices semblables

Notions

matrice, rang d'une matrice, matrices semblables

Ouvrir dans l'atlas interactif →