Exhiber une famille génératrice de $F$, puis en extraire une base pour en déduire la dimension.
Choisissez une approche :
En décomposant un vecteur générique de comme combinaison linéaire pour exhiber des générateurs
On paramètre les vecteurs de $F$ et on factorise par les paramètres pour identifier des générateurs, puis on vérifie leur indépendance pour obtenir une base.
En éliminant les vecteurs redondants par pivot de Gauss pour extraire une base
D'une famille génératrice donnée, on échelonne la matrice des vecteurs par pivot de Gauss et on retient les vecteurs correspondant aux colonnes pivots.