Adloun

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.