Adloun

Compléments d'Algèbre Linéaire et Déterminants

Cours · mathématiques (PSI), chapitre 1 · CPGE PSI (2e année) · le début du chapitre, la suite sur Adloun

La valeur absolue du déterminant de deux vecteurs est l'aire du parallélogramme qu'ils forment.

1.1 Introduction et vue d'ensemble

L'algèbre linéaire en deuxième année de CPGE approfondit la géométrie vectorielle des endomorphismes et la structure des espaces de dimension finie. Ce chapitre introduit les concepts centraux de sous-espaces stables, d'endomorphismes induits, de projecteurs et symétries, ainsi que l'algèbre des polynômes d'endomorphismes et la notion de polynôme annulateur. En calcul matriciel, les techniques de réduction par blocs et le déterminant de Vandermonde fournissent les outils indispensables pour l'étude des systèmes linéaires complexes, la physique théorique et l'analyse spectrale.

1.2 Sous-espaces Stables et Endomorphismes Induits

1.2.1 Définition et Propriétés Fondamentales

Un sous-espace stable est un sous-espace dans lequel l'endomorphisme reste enfermé. L'intérêt est immédiat : on peut alors oublier le reste de l'espace et étudier sur seul, c'est-à-dire remplacer un problème de dimension par un problème de dimension . Toute la stratégie du chapitre suivant tient dans cette idée — trouver assez de sous-espaces stables pour découper en morceaux sur lesquels agit simplement.

Important

Stable ne signifie pas fixe : la condition n'impose pas que les vecteurs de soient invariants, seulement qu'ils ne sortent pas de . Une rotation du plan stabilise le plan tout entier sans y fixer un seul vecteur non nul.

Définition 1.1Sous-espace stable

Soit un -espace vectoriel et . Un sous-espace vectoriel de est dit stable par si :

Dans ce cas, l'application est un endomorphisme de , appelé l'endomorphisme induit par sur .

Proposition 1.2Stabilité des noyaux et des images des commutants

Soient deux endomorphismes qui commutent (). Alors :

  • et sont des sous-espaces stables par .
  • En particulier, pour tout polynôme , le sous-espace est stable par .
  • Tous les sous-espaces propres sont stables par .

Cette proposition est le moteur du chapitre entier, et il faut en retenir la forme générale plutôt que les trois cas : tout ce qui commute avec voit ses noyaux et ses images stabilisés par . Comme commute avec n'importe quel polynôme en lui-même, le point en découle sans effort — et c'est précisément ce point qui fait des polynômes en la source la plus commode de sous-espaces stables.

Démonstration
  1. Soit , alors . On a . Donc .
  2. Soit , il existe tel que . Alors .
  3. Comme commute avec et , les propriétés s'en déduisent immédiatement.

1.2.2 Traduction Matricielle par Blocs

La stabilité a une traduction matricielle exacte, et c'est sous cette forme qu'on l'utilise en calcul. Choisir une base dont les premiers vecteurs engendrent fait apparaître un bloc de zéros, et ce bloc est la stabilité.

◆Théorème 1.3Matrice d'un endomorphisme dans une base adaptée

Soit un -espace vectoriel de dimension finie , et un sous-espace vectoriel de dimension .

  • est stable par si et seulement si, dans toute base adaptée à , la matrice de est triangulaire supérieure par blocs :

  • De plus, on a les relations sur le déterminant, la trace et le polynôme caractéristique :

En particulier, le polynôme caractéristique de l'induit divise .

  • Si avec et stables par , la matrice de dans une base adaptée est diagonale par blocs :

Le point est celui qu'on emploie le plus : la trace, le déterminant et le polynôme caractéristique se factorisent le long de la décomposition. La divisibilité en est le corollaire pratique, et elle sert constamment à limiter les valeurs propres possibles d'un endomorphisme induit.

Le passage du point au point marque toute la difficulté de la réduction. Un seul sous-espace stable donne une matrice triangulaire par blocs, ce qui est facile à obtenir ; une décomposition en somme directe de sous-espaces tous stables donne une matrice diagonale par blocs, ce qui est rare. Rien ne garantit en effet qu'un supplémentaire d'un sous-espace stable soit lui-même stable ; c'est le chapitre de réduction qui donnera les conditions sous lesquelles il l'est.

Exercices du chapitre

La suite du cours · Tous les exercices du chapitre