Familles génératrices
Question
Comment montrer qu'une famille de vecteurs engendre tout l'espace, et comment trouver une famille génératrice d'un sous-espace donné ?
L'essentiel
Définition 1 : Famille génératrice
Une famille est génératrice de si tout vecteur de est combinaison linéaire des , autrement dit si .
Méthode
Rédaction — Montrer qu'une famille engendre 𝕂ⁿ :
Raccourci efficace : il suffit de montrer que chaque vecteur de la base canonique est combinaison linéaire de ta famille. Comme engendre déjà , ta famille l'engendre alors aussi.
Rédaction — Trouver une famille génératrice d'un sous-espace F :
Quand est décrit par des paramètres :
- Écris le vecteur générique de en fonction des paramètres.
- Sépare-le en une somme, un terme par paramètre.
- Factorise chaque terme par son paramètre : les vecteurs qui restent forment une famille génératrice de .
Exemple :
Soient , , . Montrons qu'ils engendrent . On calcule
Chaque est combinaison linéaire des , donc engendre .
Exemple :
Soit . On décompose :
Donc : cette famille engendre .
Exercice 1 : Famille génératrice d'un sous-espace
On pose . Trouve une famille génératrice de .
Solution :(cliquer pour afficher)
On décompose le vecteur générique selon et :
Donc , et est une famille génératrice de .