ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 15 — Dimension finie et rang · Applications linéaires en dimension finie

Exercice 33

Démonstration

Soit EE un espace de dimension finie et u∈ℒ(E)u \in \mathcal{L}(E) non nul. Montrer que les assertions suivantes sont équivalentes :

1. u2=0u^{2} = 0 ;

2. il existe un projecteur pp de EE tel que p∘u=up \circ u = u et u∘p=0u \circ p = 0 ;

3. il existe un projecteur pp de EE tel que p∘u−u∘p=up \circ u - u \circ p = u.

Corrigé

▹\triangleright (i) ⇒\Rightarrow (ii). Si u2=0u^{2} = 0, alors Im⁡u⊂Ker u\operatorname{Im} u \subset \mathrm{Ker}\, u. Soit pp un projecteur d'image Im⁡u\operatorname{Im} u, par exemple le projecteur sur Im⁡u\operatorname{Im} u parallèlement à un supplémentaire. Comme pp fixe les vecteurs de son image, p∘u=up \circ u = u ; et u∘p=0u \circ p = 0, puisque Im⁡p=Im⁡u⊂Ker u\operatorname{Im} p = \operatorname{Im} u \subset \mathrm{Ker}\, u.

▹\triangleright (ii) ⇒\Rightarrow (iii). On a p∘u−u∘p=u−0=up \circ u - u \circ p = u - 0 = u.

▹\triangleright (iii) ⇒\Rightarrow (i). Composons pu−up=upu - up = u à gauche par pp : comme p2=pp^{2} = p, on obtient pu−pup=pupu - pup = pu, donc pup=0pup = 0. Composons-la à droite par pp : pup−up=uppup - up = up, donc up=0up = 0, puis pu=upu = u. Enfin u2=u∘(p∘u)=(u∘p)∘u=0.u^{2} = u \circ (p \circ u) = (u \circ p) \circ u = 0.

Dans l'édifice

Thèmes

théorème du rang, dimension, projecteurs et symétries

Notions

rang, dimension

Ouvrir dans l'atlas interactif →