ATLAS Ouvrir dans l'atlas →

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

Exercice 29

Démonstration

Soit n=dim⁡En = \dim E. Un drapeau complet de EE est une suite de sous-espaces {0}=F0⊂F1⊂⋯⊂Fn=E\{0\} = F_{0} \subset F_{1} \subset \cdots \subset F_{n} = E telle que dim⁡Fi=i\dim F_{i} = i pour tout ii. Un endomorphisme uu stabilise ce drapeau si u(Fi)⊂Fiu(F_{i}) \subset F_{i} pour tout ii.

1. Montrer que uu stabilise un drapeau complet si et seulement s'il existe une base de EE dans laquelle sa matrice est triangulaire supérieure.

2. Soit A∈ℳn(𝕂)A \in \mathcal{M}_{n}(\mathbb{K}) triangulaire supérieure à diagonale nulle. Montrer que uA(Fi)⊂Fi−1u_{A}(F_{i}) \subset F_{i - 1} pour un drapeau que l'on précisera, et en déduire que An=0A^{n} = 0.

Corrigé

1. Supposons que uu stabilise le drapeau (Fi)(F_{i}). Par le théorème de la base incomplète (chapitre 15), on construit une base (e1,…,en)(e_{1}, \dots, e_{n}) telle que Fi=Vect(e1,…,ei)F_{i} = \mathrm{Vect}(e_{1}, \dots, e_{i}) pour tout ii, en complétant à chaque étape une base de Fi−1F_{i - 1} par un vecteur de Fi∖Fi−1F_{i} \setminus F_{i - 1}. Alors u(ej)∈Fju(e_{j}) \in F_{j} est combinaison de e1,…,eje_{1}, \dots, e_{j} : la jj-ième colonne de la matrice n'a de coefficients non nuls que sur les lignes 11 à jj, et la matrice est triangulaire supérieure. Réciproquement, si la matrice dans une base (e1,…,en)(e_{1}, \dots, e_{n}) est triangulaire supérieure, les sous-espaces Fi=Vect(e1,…,ei)F_{i} = \mathrm{Vect}(e_{1}, \dots, e_{i}) forment un drapeau complet stable par uu.

2. On prend le drapeau Fi=Vect(e1,…,ei)F_{i} = \mathrm{Vect}(e_{1}, \dots, e_{i}) associé à la base canonique. Comme AA est triangulaire à diagonale nulle, Aej=∑i<jaijei∈Fj−1Ae_{j} = \sum_{i < j} a_{ij}e_{i} \in F_{j - 1}, donc uA(Fi)⊂Fi−1u_{A}(F_{i}) \subset F_{i - 1}. Par récurrence, uAk(E)⊂Fn−ku_{A}^{k}(E) \subset F_{n - k}, et en particulier uAn(E)⊂F0={0}u_{A}^{n}(E) \subset F_{0} = \{0\}. A triangulaire supeˊrieure aˋ diagonale nulle  ⟹  An=0\boxed{A \text{ triangulaire supérieure à diagonale nulle} \implies A^{n} = 0} À retenir. Chaque application de AA fait descendre d'un cran dans le drapeau : au bout de nn crans, il ne reste rien. C'est la version géométrique du calcul Nd=0N^{d} = 0 de l'exercice 10.

Dans l'édifice

Thèmes

matrice d'une application linéaire, matrices diagonales, matrices triangulaires, puissances de matrices, suites récurrentes linéaires

Notions

matrice, matrice diagonale, matrice triangulaire supérieure

Ouvrir dans l'atlas interactif →