Famille génératrice

Pour les articles homonymes, voir Génératrice.

Cet article court présente un sujet plus développé dans : sous-espace vectoriel engendré.

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 $F = ( f_1 , f_2 , \ldots, f_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 f_k$.

Une famille infinie $(f_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 f_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 $(f_i)_{i\in I}$.

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

Le sous-espace vectoriel engendré engendré F par une famille $(f_i)_{i\in I}$ est le plus petit sous-espace vectoriel 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}$.

Voir aussi