Compléter une famille libre en une base
Exercice d'entraînement · niveau 2 · mathématiques appliquées (ECG 1re année), chapitre 7 — L'espace des n-uplets réels, sous-espaces vectoriels et applications linéaires · Familles, bases et rang
Énoncé
Dans , on pose et . Montrer que est libre, puis que est une base de pour mais pas pour .
Corrigé
La famille est libre. Si , alors , d'où et en lisant la première et la troisième coordonnée. Aucune relation non triviale : la famille est libre.
Avec . Cherchons tels que :
La première ligne donne , la deuxième , la troisième . La famille est donc libre. Elle compte vecteurs dans , qui est de dimension : d'après le résultat admis du cours, une famille libre de vecteurs dans un espace de dimension est une base. C'est donc une base de .
Avec . On observe que . La relation est une relation de dépendance à coefficients non tous nuls : la famille est liée, donc ce n'est pas une base. Elle engendre d'ailleurs seulement le plan , de dimension .
Le point délicat. Le second n'était pas au hasard : il appartient déjà à . Compléter une famille libre en une base, c'est précisément choisir un vecteur hors de l'espace qu'elle engendre — le vérifier est le seul travail réel de l'exercice.
Les autres exercices de ce chapitre Le cours du chapitre
Un blocage sur cet exercice ? Le tuteur d'Adloun guide par questions, sans donner la réponse.