1e Démo 

:
Partie contenant une partie liée

Propriété

Toute partie contenant une partie liée est liée.

Preuve

Soient A = {V1,V2,..., Vp}

Une partie liée et A' = {VI,….. , vp,…. ,vn} une partie

Contenant A.

A inclus dans A’

Il existe donc des scalaires Al , A2, ... , Ap ,non tous nuls, tels que

AlV1 + À2V2 + A2+...+-ÀpVp = 0

Si l'on pose Àp+l= Àp+2 =…Ap+n=0

, on peut écrire l'égalité

Il existe donc une combinaison linéaire nulle, des vecteurs VI, v2, , Vp, ,
Vn , à coefficients non tous nuls (un des Xi avec i compris entre 1 et p
est non nul) et par conséquent A' est une partie liée.
2e démo :

On part du fait que si famille est libre => sous famille est libre

La contraposée est :

Famille liée => Sur famille est liée

3e démo (Cours sup bio de Gaudin)

Soit T fammille liée.

Soit T’ surfamille de T

Si T’ était libre T qui est une sous famille serait libre (voir démo sous famille d’une famille libre)

Hors T est liée

Cqfd
Toute famille de vecteurs de E contenant une famille liée de E est elle-même une famille liée de E.

La deuxième est évidente avec le premier critère, puisqu’un des vecteurs de la petite famille est
combinaison linéaire des autres, donc des vecteurs de la grande famille