Définition d’un Espace Vectoriel
Règle de calcul d’un Ev
Définition CL
Définition Sev
Définition Vect(X)
Définition d’une somme d’un sev
Définition somme directe
Caractérisation des sommes directes
Définition d’un supplémentaire
Caractérisation des sous espaces supplémentaires
Définition famille libre
Définition d’un degré échelonnées pour une famille de polynômes