ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 8 — Dimension finie · Rang et théorème du rang

Exercice 15

Calcul

Pour chacune des applications linéaires suivantes, déterminer le noyau, en déduire le rang par le théorème du rang, puis conclure quant à l'injectivité et à la surjectivité — le tout sans jamais calculer l'image.

1. u:ℝ3⟶ℝ2(x ;y ;z)⟼(x+y+z ; x−y)\begin{array}{r|ccl} u : & \mathbb{R}^{3} & \longrightarrow & \mathbb{R}^{2} \\ & (x\,;y\,;z) & \longmapsto & (x+y+z \,;\, x-y) \end{array}

2. u:ℝ2⟶ℝ3(x ;y)⟼(x−y ; x+y ; 2x)\begin{array}{r|ccl} u : & \mathbb{R}^{2} & \longrightarrow & \mathbb{R}^{3} \\ & (x\,;y) & \longmapsto & (x-y \,;\, x+y \,;\, 2x) \end{array}

3. u:ℝ4⟶ℝ2(x ;y ;z ;t)⟼(x+y ; z+t)\begin{array}{r|ccl} u : & \mathbb{R}^{4} & \longrightarrow & \mathbb{R}^{2} \\ & (x\,;y\,;z\,;t) & \longmapsto & (x+y \,;\, z+t) \end{array}

4. u:ℝ3⟶ℝ3(x ;y ;z)⟼(x−y ; y−z ; z−x)\begin{array}{r|ccl} u : & \mathbb{R}^{3} & \longrightarrow & \mathbb{R}^{3} \\ & (x\,;y\,;z) & \longmapsto & (x-y \,;\, y-z \,;\, z-x) \end{array}

5. D:ℝ3[X]⟶ℝ3[X]P⟼P′\begin{array}{r|ccl} D : & \mathbb{R}_{3}[X] & \longrightarrow & \mathbb{R}_{3}[X] \\ & P & \longmapsto & P' \end{array}

Corrigé

1. Le noyau est donné par x+y+z=0x+y+z=0 et x−y=0x-y=0, soit x=yx=y et z=−2xz=-2x : c'est Vect((1 ;1 ;−2))\mathrm{Vect}\big((1\,;1\,;-2)\big), de dimension 11. Le théorème du rang donne rg(u)=3−1=2\mathrm{rg}(u)=3-1=2. Or Im u\mathrm{Im}\, u est un sous-espace de ℝ2\mathbb{R}^{2}, lui aussi de dimension 22 : la proposition 2 donne Im u=ℝ2\mathrm{Im}\, u=\mathbb{R}^{2}. u est surjective, non injective.\boxed{u \text{ est surjective, non injective.}}

2. Le noyau est donné par x−y=0x-y=0 et x+y=0x+y=0, donc réduit au vecteur nul. Le théorème du rang donne rg(u)=2−0=2<3\mathrm{rg}(u)=2-0=2 < 3. u est injective, non surjective.\boxed{u \text{ est injective, non surjective.}}

3. Le noyau est donné par x=−yx=-y et z=−tz=-t, soit Vect((1 ;−1 ;0 ;0) ;(0 ;0 ;1 ;−1))\mathrm{Vect}\big((1\,;-1\,;0\,;0)\,;(0\,;0\,;1\,;-1)\big), de dimension 22. Le théorème du rang donne rg(u)=4−2=2=dim⁡ℝ2\mathrm{rg}(u)=4-2=2=\dim \mathbb{R}^{2}. u est surjective, non injective.\boxed{u \text{ est surjective, non injective.}}

4. Le noyau est donné par x=y=zx=y=z, soit Vect((1 ;1 ;1))\mathrm{Vect}\big((1\,;1\,;1)\big), de dimension 11. Le théorème du rang donne rg(u)=3−1=2<3\mathrm{rg}(u)=3-1=2 < 3. u n’est ni injective, ni surjective.\boxed{u \text{ n'est ni injective, ni surjective.}}

5. Le noyau de la dérivation est l'ensemble des polynômes constants, de dimension 11. Comme dim⁡ℝ3[X]=4\dim \mathbb{R}_{3}[X]=4, le théorème du rang donne rg(D)=4−1=3<4\mathrm{rg}(D)=4-1=3 < 4. D n’est ni injective, ni surjective.\boxed{D \text{ n'est ni injective, ni surjective.}}

Méthode : dans les cinq cas, l'image n'a jamais été calculée. Le noyau se détermine par un système linéaire, et le théorème du rang fournit ensuite la dimension de l'image ; la proposition 2 permet enfin de conclure à la surjectivité lorsque cette dimension égale celle de l'espace d'arrivée.

Dans l'édifice

Thèmes

rang, théorème du rang, espaces de polynômes

Notions

rang

Ouvrir dans l'atlas interactif →