Chapitre 21 : Espaces vectoriels de dim finie

Dans ce chapitre, nous approfondissons l’étude des espaces vectoriels en nous plaçant dans le cadre fondamental des espaces de dimension finie. Nous introduisons la notion de dimension et montrons l’existence de bases, ainsi que les théorèmes permettant d’extraire une base d’une famille génératrice ou de compléter une famille libre en une base. Ces résultats constituent des outils essentiels pour décrire et manipuler efficacement les espaces vectoriels.

Le chapitre est également consacré à l’étude des liens entre dimension, liberté et génération. Nous établissons les caractérisations fondamentales des bases dans un espace vectoriel de dimension finie et apprenons à calculer la dimension de nombreux espaces classiques. Une attention particulière est portée à l’utilisation de l’algorithme de Gauss pour déterminer des bases, des dimensions et des rangs.

Enfin, nous étudions les relations entre dimension et sous-espaces vectoriels, notamment les notions de supplémentaire, de somme directe et de rang. Le chapitre aboutit à des résultats structurants tels que la formule de Grassmann et fournit les outils nécessaires pour analyser la position relative des sous-espaces d’un espace vectoriel de dimension finie.

Cours : Télécharger

TD : Télécharger