Bonjour,
Pour montrer que c'est un sous-espace, c'est correct. On peut faire plus rapidement en montrant que pour tout
dans F et pour tout scalaire
, on a
(la stabilité interne et externe en un seul coup, cela ne complexifie en général pas les calculs et on ne fait le travail qu'une seule fois au lieu de deux.
Pou la base, on peut faire plus simple, beaucoup plus simple : étant donné qu'on a ici une simple relation du genre
: cela donne trois coordonnées (x, y, z) variables, unies dans une égalité : si on "fixe" deux coordonnées, la troisième est forcément fixées. Ainsi, si le coefficient c est non nul on divise tout par c puis on écrit z=f(x,y). Il n'y a plus qu'à fixer x=0, y=1 d'une part, et x=1, y=0 d'autre part, et on voit qu'on obtient un système générateur de F puisque tous les vecteurs sont combinaisons linéaires de (0,1,f(0,1)) et (1,0,f(1,0)), et libre car on ne peut pas multiplier (0,1,z) par un lambda pour trouver (1,0,z') compte tenu des zéros.
Il n'y a que 10 types de personne au monde : ceux qui comprennent le binaire et ceux qui ne le comprennent pas.