ATLAS Ouvrir dans l'atlas →

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

Exercice 26

Démonstration

Soit f:(x,y,z,t)↦(x−z,y−t)f : (x, y, z, t) \mapsto (x - z, y - t), de 𝕂4\mathbb{K}^{4} dans 𝕂2\mathbb{K}^{2}.

1. Montrer que ff est linéaire, et donner une base et la dimension de Ker f\mathrm{Ker}\, f.

2. En déduire que ff est surjective.

3. Soit G={(x,y,z,t)∈𝕂4∣y=z=0}G = \{(x, y, z, t) \in \mathbb{K}^{4} \mid y = z = 0\}. Montrer que GG est un sous-espace de 𝕂4\mathbb{K}^{4}, dont on précisera la dimension, et que Ker f\mathrm{Ker}\, f et GG sont supplémentaires.

Corrigé

1. Les deux coordonnées de ff sont des combinaisons linéaires de xx, yy, zz, tt : ff est linéaire. On a f(x,y,z,t)=0f(x, y, z, t) = 0 si et seulement si x=zx = z et y=ty = t, soit (x,y,x,y)=x(1,0,1,0)+y(0,1,0,1)(x, y, x, y) = x(1, 0, 1, 0) + y(0, 1, 0, 1). Ker f=Vect((1,0,1,0),(0,1,0,1)),dim⁡Ker f=2\boxed{\mathrm{Ker}\, f = \mathrm{Vect}\big((1, 0, 1, 0), (0, 1, 0, 1)\big), \qquad \dim\mathrm{Ker}\, f = 2}

2. Par le théorème du rang, rgf=4−2=2=dim⁡𝕂2\mathrm{rg} f = 4 - 2 = 2 = \dim\mathbb{K}^{2}, donc Im⁡f=𝕂2\operatorname{Im} f = \mathbb{K}^{2} (théorème 5) : ff est surjective, sans qu'on ait eu à résoudre l'équation f(x)=bf(x) = b.

3. L'ensemble GG est défini par deux équations linéaires, donc est un sous-espace ; G=Vect(e1,e4)G = \mathrm{Vect}(e_{1}, e_{4}) est de dimension 22. Si (x,0,0,t)∈Ker f(x, 0, 0, t) \in \mathrm{Ker}\, f, alors x=z=0x = z = 0 et t=y=0t = y = 0 : G∩Ker f={0}G \cap \mathrm{Ker}\, f = \{0\}, et les dimensions ont pour somme 44. 𝕂4=Ker f⊕G\boxed{\mathbb{K}^{4} = \mathrm{Ker}\, f \oplus G}

Ouvrir dans l'atlas interactif →