(réponse envoyée par mail recopiée ici)
1) Il faut raisonner par double équivalence :
: Si la famille est libre, alors , donc sinon on n'aurait pas systématiquement l'implication.
: Si , , donc la famille est libre.
2) Non, ce sont tous les vecteurs de l'espace qui sont combinaison linéaire de la famille génératrice. Si la famille génératrice est libre (ce qui est possible), il est impossible que l'un d'entre eux soit combinaison linéaire des autres.
1) Il faut raisonner par double équivalence :
: Si la famille est libre, alors , donc sinon on n'aurait pas systématiquement l'implication.
: Si , , donc la famille est libre.
2) Non, ce sont tous les vecteurs de l'espace qui sont combinaison linéaire de la famille génératrice. Si la famille génératrice est libre (ce qui est possible), il est impossible que l'un d'entre eux soit combinaison linéaire des autres.