Theorem

Soient un -espace vectoriel de dimension finie et un sous-espace de , alors

  • Le sous-espace vectoriel est de dimension finie
  • La dimension satisfait
  • Si , alors on a

04.9 Rang-ligne, rang-colonne d’une matrice