(2017 : 151 - Dimension d'un espace vectoriel (on se limitera au cas de la dimension finie). Rang. Exemples et applications.)
Dans cette leçon, il est important de présenter les résultats fondateurs de la théorie des espaces vectoriels de dimension finie en ayant une idée de leurs preuves. Ces théorèmes semblent simples car ils ont été très souvent pratiqués, mais leur preuve demande un soin particulier. Il est important de savoir justifier pourquoi un sous-espace vectoriel d’un espace vectoriel de dimension finie est aussi de dimension finie. Le pivot de Gauss
ainsi que les diverses notions et caractérisations du rang trouvent leur place dans cette leçon. Les applications sont nombreuses, on peut par exemple évoquer l’existence de polynômes annulateurs ou alors décomposer les isométries en produits de réflexions.
S’ils le désirent, les candidats peuvent déterminer des degrés d’extensions dans la théorie des corps ou s’intéresser aux nombres algébriques. Dans un autre registre, il est pertinent d’évoquer la méthode des moindre carrés dans cette leçon, par exemple en faisant ressortir la condition de rang maximal pour garantir l’unicité de la solution et s’orienter vers les techniques de décomposition en valeurs singulières pour le cas général. On peut alors naturellement explorer l’approximation d’une matrice par une suite de matrices de faible rang.