Famille génératrice

En algèbre linéaire, une famille génératrice est une famille de vecteurs d'un espace vectoriel dont les combinaisons linéaires permettent de construire tous les autres vecteurs de l'espace.

Soit un corps K, et soit E un espace vectoriel sur K. Une famille finie $(e_{1},e_{2},\ldots ,e_{n})$ d'éléments de E (vecteurs) est dite génératrice de E si :

$\forall x\in E,\ \exists (\lambda _{1},\lambda _{2},\ldots ,\lambda _{n})\in K^{n},\ x=\sum _{k=1}^{n}\lambda _{k}e_{k}$.

Une famille infinie $(e_{i})_{i\in I}$ est dite génératrice si, pour tout vecteur v de E, il existe une famille de scalaires $(\lambda _{i})_{i\in I}$ à support fini, telle que $v=\sum _{i\in I}\lambda _{i}e_{i}$. En bref, la famille est génératrice de E si tous les vecteurs de l'espace E s'expriment comme combinaisons linéaires des vecteurs de la famille $(e_{i})_{i\in I}$.

Si en plus la famille est libre, alors c'est une base de E.

Le sous-espace vectoriel engendré par une famille $(f_{i})_{i\in I}$ est le plus petit sous-espace vectoriel F de E contenant tous les vecteurs de la famille. La famille $(f_{i})_{i\in I}$ est une famille génératrice de F. On peut noter $F=\mathrm {Vect} (f_{i})_{i\in I}$.