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

  1. , on écrit
  2. On définit une matrice avec les lignes égales aux vecteurs
  3. On échelonne la matrice . Les lignes non-nulles forment une base de l’espace ligne. Les vecteurs de correspondants forment une base de
  4. 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