Théorème : Soit E un K-espace vectoriel, L=(x1,...,xp) une famille libre de E et G=(y1,...,yq) une famille génératrice de E. Alors on peut compléter L avec certains éléments de G pour former une base de E.
Autrement dit, il existe des entiers i1,...,ir tels que (x1,...,xp, yi1,...,yiq) soit une base de E.
ma question est : comment on choisi les éléments(yi1,...,yiq) de G qu'on doit ajouter à la famille libre L pour construire une base ?
Merci d'avance.