ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 14 — Espaces vectoriels et applications linéaires · Applications linéaires

Exercice 38

DémonstrationCalcul

1. Soit f:(x,y,z)↦(x−y+z,2x+y+2z)f : (x, y, z) \mapsto (x - y + z, 2x + y + 2z). Montrer que f∈ℒ(ℝ3,ℝ2)f \in \mathcal{L}(\mathbb{R}^{3}, \mathbb{R}^{2}), déterminer une base de Ker f\mathrm{Ker}\, f et l'image de ff. L'application ff est-elle injective ? surjective ?

2. Soit a∈ℝa \in \mathbb{R} et g:(x,y,z)↦(2y+z,x+z,−x+y+az)g : (x, y, z) \mapsto (2y + z, x + z, -x + y + az). Montrer que g∈ℒ(ℝ3)g \in \mathcal{L}(\mathbb{R}^{3}), et déterminer les valeurs de aa pour lesquelles gg est un automorphisme. Pour a=1a = 1, calculer g−1g^{-1}. Lorsque gg n'est pas bijective, donner une base de son noyau et une famille génératrice de son image.

Corrigé

1. Le système x−y+z=2x+y+2z=0x - y + z = 2x + y + 2z = 0 donne, par somme, 3x+3z=03x + 3z = 0, puis y=0y = 0 : Ker f=ℝ(−1,0,1)\mathrm{Ker}\, f = \mathbb{R}(-1, 0, 1). Les images (1,2)(1, 2) et (−1,1)(-1, 1) de e1e_{1} et e2e_{2} ne sont pas colinéaires : on résout a(1,2)+b(−1,1)=(p,q)a(1, 2) + b(-1, 1) = (p, q) par a=p+q3a = \frac{p + q}{3}, b=q−2p3b = \frac{q - 2p}{3}, donc elles engendrent ℝ2\mathbb{R}^{2}. Ker f=ℝ(−1,0,1), Im⁡f=ℝ2: f est surjective, non injective.\boxed{\mathrm{Ker}\, f = \mathbb{R}(-1, 0, 1), \ \operatorname{Im} f = \mathbb{R}^{2} : \ f \text{ est surjective, non injective.}}

2. La linéarité est immédiate. Résolvons g(x,y,z)=(p,q,r)g(x, y, z) = (p, q, r). La deuxième équation donne x=q−zx = q - z, la première y=p−z2y = \frac{p - z}{2}, et la troisième devient −(q−z)+p−z2+az=r,soit(a+12)z=r+q−p2.-(q - z) + \frac{p - z}{2} + az = r, \qquad\text{soit}\qquad \Big(a + \frac{1}{2}\Big)z = r + q - \frac{p}{2}. Si a≠−12a \neq -\frac{1}{2}, la solution est unique : gg est bijective. Pour a=1a = 1, on obtient z=−p+2q+2r3z = \frac{-p + 2q + 2r}{3}, puis xx et yy. g∈GL(ℝ3)  ⟺  a≠−12,a=1: g−1(p,q,r)=13(p+q−2r, 2p−q−r, −p+2q+2r)\boxed{g \in \mathrm{GL}(\mathbb{R}^{3}) \iff a \neq -\frac{1}{2}, \qquad a = 1 : \ g^{-1}(p, q, r) = \frac{1}{3}\big(p + q - 2r,\ 2p - q - r,\ -p + 2q + 2r\big)} Pour a=−12a = -\frac{1}{2}, le noyau s'obtient avec p=q=r=0p = q = r = 0 et zz libre : x=−zx = -z, y=−z2y = -\frac{z}{2}. L'image est engendrée par g(e1)=(0,1,−1)g(e_{1}) = (0, 1, -1) et g(e2)=(2,0,1)g(e_{2}) = (2, 0, 1), puisque g(e3)=(1,1,−12)g(e_{3}) = (1, 1, -\frac{1}{2}) est égal à g(e1)+12g(e2)g(e_{1}) + \frac{1}{2}g(e_{2}) ; c'est le plan d'équation p−2q−2r=0p - 2q - 2r = 0, d'après la condition de compatibilité. a=−12: Ker g=ℝ(2,1,−2),Im⁡g=Vect((0,1,−1),(2,0,1))={p−2q−2r=0}\boxed{a = -\tfrac{1}{2} : \ \mathrm{Ker}\, g = \mathbb{R}(2, 1, -2), \quad \operatorname{Im} g = \mathrm{Vect}\big((0, 1, -1), (2, 0, 1)\big) = \{p - 2q - 2r = 0\}}

Dans l'édifice

Thèmes

applications linéaires, familles génératrices, bases, noyau et image, isomorphismes

Notions

application linéaire, famille génératrice, base (algèbre linéaire), noyau, groupe linéaire

Ouvrir dans l'atlas interactif →