Soit F = { (x ; y ; z) ∈ ℝ³ : x + y − z = 0 }. Montrer que F est un sous-espace vectoriel de ℝ³, puis en donner une base et la dimension.
Voir la correction
Sous-espace. Le vecteur nul (0 ; 0 ; 0) vérifie 0 + 0 − 0 = 0, donc il appartient à F : F est non vide.
Soient u = (x₁ ; y₁ ; z₁) et v = (x₂ ; y₂ ; z₂) dans F, et λ, μ deux réels. Le vecteur λu + μv a pour coordonnées ( λx₁ + μx₂ ; λy₁ + μy₂ ; λz₁ + μz₂ ), et
( λx₁ + μx₂ ) + ( λy₁ + μy₂ ) − ( λz₁ + μz₂ ) = λ ( x₁ + y₁ − z₁ ) + μ ( x₂ + y₂ − z₂ ) = λ×0 + μ×0 = 0.
Donc λu + μv ∈ F : F est un sous-espace vectoriel de ℝ³.
Base. L’équation équivaut à z = x + y. Tout élément de F s’écrit donc
(x ; y ; x + y) = x (1 ; 0 ; 1) + y (0 ; 1 ; 1).
La famille { (1 ; 0 ; 1) ; (0 ; 1 ; 1) } est génératrice de F. Elle est libre car les deux vecteurs ne sont pas colinéaires (la première coordonnée de l’un est nulle, pas celle de l’autre).
C’est donc une base de F, et dim F = 2.