ATLAS Ouvrir dans l'atlas →

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

Exercice 43

Démonstration

Soit uu l'endomorphisme de ℝ3\mathbb{R}^{3} défini par u(x,y,z)=(−2 x+z, 2 y+z, x+y)u(x, y, z) = (-\sqrt{2}\,x + z,\ \sqrt{2}\,y + z,\ x + y).

1. Donner une base de Ker u\mathrm{Ker}\, u, de Ker (u−2 id)\mathrm{Ker}\,(u - 2\,\mathrm{id}) et de Ker (u+2 id)\mathrm{Ker}\,(u + 2\,\mathrm{id}).

2. En déduire que ℝ3=Ker u⊕Ker (u−2 id)⊕Ker (u+2 id)\mathbb{R}^{3} = \mathrm{Ker}\, u \oplus \mathrm{Ker}\,(u - 2\,\mathrm{id}) \oplus \mathrm{Ker}\,(u + 2\,\mathrm{id}).

3. Montrer que F=Ker (u−2 id)⊕Ker (u+2 id)F = \mathrm{Ker}\,(u - 2\,\mathrm{id}) \oplus \mathrm{Ker}\,(u + 2\,\mathrm{id}) est stable par uu, et que uu induit un automorphisme de FF.

Corrigé

1. On résout u(v)=λvu(v) = \lambda v pour λ=0\lambda = 0, 22, −2-2. Les calculs, que l'on vérifie en appliquant uu, donnent Ker u=ℝ(1,−1,2),Ker (u−2 id)=ℝ(2−2,2+2,2),Ker (u+2 id)=ℝ(2+2,2−2,−2)\boxed{\begin{array}{l} \mathrm{Ker}\, u = \mathbb{R}\big(1, -1, \sqrt{2}\big), \qquad \mathrm{Ker}\,(u - 2\,\mathrm{id}) = \mathbb{R}\big(2 - \sqrt{2}, 2 + \sqrt{2}, 2\big), \\[1mm] \mathrm{Ker}\,(u + 2\,\mathrm{id}) = \mathbb{R}\big(2 + \sqrt{2}, 2 - \sqrt{2}, -2\big) \end{array}} Par exemple, u(2−2,2+2,2)=(4−22,4+22,4)u(2 - \sqrt{2}, 2 + \sqrt{2}, 2) = (4 - 2\sqrt{2}, 4 + 2\sqrt{2}, 4), qui est bien le double du vecteur.

2. Notons v0v_{0}, v2v_{2}, v−2v_{-2} ces trois vecteurs. La résolution de av0+bv2+cv−2=wav_{0} + bv_{2} + cv_{-2} = w par la méthode du pivot donne une solution unique pour tout ww : (v0,v2,v−2)(v_{0}, v_{2}, v_{-2}) est une base de ℝ3\mathbb{R}^{3}, et la deuxième remarque suivant la proposition 14 du cours donne la somme directe. ℝ3=Ker u⊕Ker (u−2 id)⊕Ker (u+2 id)\boxed{\mathbb{R}^{3} = \mathrm{Ker}\, u \oplus \mathrm{Ker}\,(u - 2\,\mathrm{id}) \oplus \mathrm{Ker}\,(u + 2\,\mathrm{id})}

3. Si y+z∈Fy + z \in F avec u(y)=2yu(y) = 2y et u(z)=−2zu(z) = -2z, alors u(y+z)=2y−2z∈Fu(y + z) = 2y - 2z \in F. L'application y+z↦12y−12zy + z \mapsto \frac{1}{2}y - \frac{1}{2}z est la réciproque de la restriction de uu à FF. u∣F∈GL(F),(u∣F)−1(y+z)=y−z2\boxed{u_{|F} \in \mathrm{GL}(F), \qquad (u_{|F})^{-1}(y + z) = \frac{y - z}{2}}

Ouvrir dans l'atlas interactif →