Soit f : ℝ³ → ℝ³ définie par f(x, y, z) = (x + y, y + z, x + z).
1) Déterminer Im(f)
2) Calculer le rang de f
3) f est-elle surjective?
✅ Solution détaillée
1) Détermination de Im(f):
Méthode: Calculer les images de la base canonique
Base canonique de ℝ³: {e₁ = (1,0,0), e₂ = (0,1,0), e₃ = (0,0,1)}
f(e₁) = f(1,0,0) = (1, 0, 1)
f(e₂) = f(0,1,0) = (1, 1, 0)
f(e₃) = f(0,0,1) = (0, 1, 1)
Donc: Im(f) = Vect{(1,0,1), (1,1,0), (0,1,1)}
Étape 2: Vérifier si la famille est libre
λ₁(1,0,1) + λ₂(1,1,0) + λ₃(0,1,1) = (0,0,0)
⟹ (λ₁ + λ₂, λ₂ + λ₃, λ₁ + λ₃) = (0,0,0)
Système:
λ₁ + λ₂ = 0 ... (1)
λ₂ + λ₃ = 0 ... (2)
λ₁ + λ₃ = 0 ... (3)
De (1): λ₂ = -λ₁
De (2): λ₃ = -λ₂ = λ₁
Dans (3): λ₁ + λ₁ = 0 ⟹ λ₁ = 0
Donc λ₁ = λ₂ = λ₃ = 0 ✓
La famille est libre et génératrice de Im(f).
Conclusion:
Im(f) = Vect{(1,0,1), (1,1,0), (0,1,1)}
Base de Im(f): {(1,0,1), (1,1,0), (0,1,1)}
2) Rang de f:
rg(f) = dim Im(f) = 3
3) Surjectivité:
Im(f) = ℝ³ (car dim Im(f) = 3 = dim ℝ³)
f est surjective ✓
Vérification par le théorème du rang:
dim Ker(f) + rg(f) = dim ℝ³
dim Ker(f) + 3 = 3
⟹ dim Ker(f) = 0
⟹ Ker(f) = {0}
Donc f est aussi injective, donc bijective.