Espace vectoriel

[copinedeneo]

je voudrais juste une précision

si je montre qu'un ensemble F est engendré par une famille génératrice libre, est ce que cela suffit à montrer que F est un sev, où dois je absolument montrer la stabilité par l'addition et par la multiplication ?

merci

[Imod]

Il n'y a rien à vérifier et il n'est même pas nécessaire que la partie génératrice soit libre .

Imod

[copinedeneo]

c'est bon ça !