Famille génératrice : définition (MPSI)

Une famille $(x_i)_{i\in I}$ de vecteurs de $E$ est génératrice de $E$ si $\mathrm{Vect}(x_i)_{i\in I}=E$, c'est-à-dire si tout vecteur de $E$ est combinaison linéaire des $x_i$.