Méthode pour trouver une base à partir d'un système de générateurs
Soient un -espace vectoriel avec et a la base . On a également une partie finie et . Pour trouver une base de et la compléter en base de , on
- , on écrit
- On définit une matrice avec les lignes égales aux vecteurs
- On échelonne la matrice . Les lignes non-nulles forment une base de l’espace ligne. Les vecteurs de correspondants forment une base de
- On remplace les lignes nulles par des lignes non-nulles afin d’avoir pivots. Les vecteurs de associées aux lignes de cette nouvelle matrice forment une base de