Partie contenue dans une partie libre
Théorème : Sous-famille d'une famille libre

Soit un vectoriel. Toute partie contenue dans une partie libre est libre.

Preuve

Cette propriété et la propriété démontrée dans la partie précédente : " Toute partie contenant une partie liée est liée " ne sont en réalité que deux expressions différentes d'une même propriété ; en effet, il s'agit d'une implication et de sa contraposée.

Légende :
Apprendre
S'évaluer
S'exercer
Observer
Simuler
Réalisé avec Scenari (nouvelle fenêtre)