Bonjour, j'ai du mal à comprendre le point 2) ci-dessous :
"Soit {v_1, ..., v_n} un ensemble fini d'un K-espace vectoriel E. Alors :
1) L'ensemble des combinaisons linéaires des vecteurs {v_1, ..., v_n} est un sous-espace vectoriel de E.
2) C'est le plus petit sous-espace vectoriel de E (au sens de l'inclusion) contenant les vecteurs v_1, ..., v_n."
Je suis ok avec la démonstration du point 1), mais même si je "sens" le 2), je ne parviens pas à le démontrer. Je suis gêné par l'expression "le plus petit sous espace vectoriel (au sens de l'inclusion)". Je lis une remarque qui ne m'éclaire pas beaucoup "Dire que vect{v_1, ..., v_n} est le plus petit sev de E contenant les vecteurs v_1, ..., v_n signifie que si F est un sev de E contenant aussi les vecteurs v_1, ..., v_n alors vect{v_1, ..., v_n} C F".
J'aimerais démontrer ce point 2) "proprement".
-----