famille libre et famille generatice

[amal20]

bonjour
s'i vous plait comment on montre que toute surfamille d'une famille generatirice est generatrice et toute sous
famille d'une famille libre est libre
et merci d'avance
-----

[Seirios]

Bonjour,

Il suffit d'appliquer les définitions de familles libres ou génératrices. Qu'est-ce qui te pose problème ?

[amal20]

pour montrer que toute surfamille d'une famille generatice est generatrice on peut dire qu'il suffit de prendre les
LAMDAi = 0 pour les vecteurs qu'on ajoute

[Seirios]

Tout à fait.

[A voir en vidéo sur Futura]

[amal20]

est_ce que la meme chose pour la famille libre

[ericcc]

Si tu prends une "surfamille" probablement pas ! Vois tu pourquoi ?

[amal20]

nn sous famille d'une famille libre

[ericcc]

Alors oui ça marche bien...