ATLAS Ouvrir dans l'atlas →

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

Exercice 32

Démonstration

Soit EE un espace de dimension finie.

1. Soit FF un sous-espace de EE. Montrer qu'il existe un espace E′E' et φ∈ℒ(E′,E)\varphi \in \mathcal{L}(E', E) tels que F=Im⁡φF = \operatorname{Im}\varphi.

2. Soit GG un sous-espace de EE. Montrer qu'il existe un espace E′′E'' et ψ∈ℒ(E,E′′)\psi \in \mathcal{L}(E, E'') tels que G=Ker ψG = \mathrm{Ker}\,\psi.

3. Soit FF et GG deux sous-espaces de EE. À quelle condition existe-t-il u∈ℒ(E)u \in \mathcal{L}(E) tel que F=Im⁡uF = \operatorname{Im} u et G=Ker uG = \mathrm{Ker}\, u ?

Corrigé

1. On prend E′=FE' = F et pour φ\varphi l'injection canonique x↦xx \mapsto x de FF dans EE.

2. Soit SS un supplémentaire de GG (théorème 6). On prend E′′=EE'' = E et pour ψ\psi le projecteur sur SS parallèlement à GG, dont le noyau est GG.

3. Le théorème du rang impose dim⁡F+dim⁡G=dim⁡E\dim F + \dim G = \dim E. Réciproquement, si cette condition est remplie, un supplémentaire SS de GG a la même dimension que FF ; soit θ:S→F\theta : S \to F un isomorphisme (théorème 11) et pp le projecteur sur SS parallèlement à GG. Alors u=θ∘pu = \theta \circ p a pour noyau Ker p=G\mathrm{Ker}\, p = G, puisque θ\theta est injectif, et pour image θ(S)=F\theta(S) = F. ∃ u∈ℒ(E), Im⁡u=F et Ker u=G  ⟺  dim⁡F+dim⁡G=dim⁡E\boxed{\exists\, u \in \mathcal{L}(E), \ \operatorname{Im} u = F \text{ et } \mathrm{Ker}\, u = G \iff \dim F + \dim G = \dim E}

Dans l'édifice

Thèmes

théorème du rang, dimension

Notions

rang, dimension

Ouvrir dans l'atlas interactif →