Algèbre · 2e année
Prérequis (rédigés en 1re année, à relire et non répétés ici). Sommes directes, dimension, noyau et image, théorème du rang, projecteurs (fiche « Espaces vectoriels », § Sommes, § Dimension, § Noyau et image, § Rang, § Projecteurs) ; définition de , polynôme annulateur, nilpotence (§ Polynômes d'un endomorphisme) ; matrice d'un endomorphisme, changement de base, matrices semblables, trace, matrices par blocs (fiche « Matrices et applications linéaires », § Matrice d'une application, § Changement de base, § Semblables, § Trace, § Blocs) ; déterminant d'un endomorphisme, développement, déterminant triangulaire par blocs (fiche « Déterminants », § Endomorphisme, § Développement, § Blocs) ; Bézout et lemme de Gauss dans , racines et multiplicité, polynômes scindés, Lagrange, polynôme évalué en une matrice (fiche « Polynômes », § Arithmétique, § Racines, § Scindés, § Lagrange, § Polynôme en une matrice) ; binôme de Newton et matrices nilpotentes (Calcul matriciel § Puissances) ; idéaux de (Structures algébriques § Idéaux).
Dans toute la fiche, désigne ou , désigne un espace sur de dimension finie , et . Tout ce qui est dit pour vaut pour (on lit comme l'endomorphisme de canoniquement associé), et réciproquement en passant par la matrice de dans une base.
Sous-espace stable. On dit que , sous-espace de , est stable par lorsque . On note alors l'endomorphisme induit : , . Si a pour base complétée en une base de , la matrice de dans est triangulaire par blocs avec la matrice de . Si avec chaque stable, la matrice dans une base adaptée est diagonale par blocs.
Valeur propre, vecteur propre. est valeur propre de s'il existe , , tel que ; un tel est un vecteur propre associé. L'ensemble des valeurs propres est le spectre (parfois , ou quand le corps compte). Pour , on pose et pour c'est le sous-espace propre associé à (il contient et tous les vecteurs propres associés).
En dimension finie, les équivalences suivantes sont à connaître par cœur : En particulier n'est pas inversible.
Somme directe des sous-espaces propres. Hypothèses : valeurs propres de deux à deux distinctes. Conclusion : la somme est directe. En particulier des vecteurs propres pris pour des valeurs propres deux à deux différentes forment une famille libre, et a au plus valeurs propres.
Lien avec les polynômes. Si , alors pour tout . Conséquences :
Exemples à savoir refaire. Sur , la dérivation a pour spectre , avec (dimension infinie : le spectre peut être infini). Sur , la dérivation n'a que la valeur propre . Un projecteur a pour spectre ; une symétrie a pour spectre .
Définition. Pour , . C'est un polynôme unitaire de degré : Le polynôme caractéristique ne change pas quand on remplace par une matrice semblable () ; on définit donc pour matrice de dans n'importe quelle base. Certains cours prennent : mêmes racines, il suffit de lire la convention de l'énoncé.
Polynôme caractéristique d'un endomorphisme induit. Si est stable par , alors divise (déterminant triangulaire par blocs).
Dimension d'un sous-espace propre. Hypothèses : , d'ordre de multiplicité . Conclusion : . Preuve : est stable et y induit , donc divise . Conséquence : pour une valeur propre simple, .
La définition de , les règles , la commutativité de et l'existence d'un polynôme annulateur non nul en dimension finie sont acquises en 1re année (Espaces vectoriels § 11, Polynômes § 10). Ce qui est nouveau en MP2 :
Définition. L'idéal est engendré par un unique polynôme unitaire : c'est le polynôme minimal de , noté (on trouve aussi ou ). Ainsi C'est l'annulateur unitaire non nul de plus petit degré. Pour une matrice, ; deux matrices semblables ont le même polynôme minimal.
Comment trouver . Partir d'un annulateur connu (souvent , grâce à Cayley-Hamilton §8) ; en est un diviseur unitaire qui contient chaque valeur propre au moins une fois. On teste les candidats par degré croissant. Exemple : laisse deux candidats, et ; on calcule .
Théorème (décomposition des noyaux). Hypothèses : deux à deux premiers entre eux, , . Conclusion : . De plus, les projecteurs associés à cette somme directe (restreints à ) sont des polynômes en .
Preuve pour deux facteurs (le cas général se fait par récurrence sur ). Bézout : , donc . Pour , on pose et : alors , et de même . Si , la même identité donne .
Cas le plus utilisé. Si avec (facteurs premiers entre eux deux à deux), alors et chaque est stable par . Dans une base adaptée, est représenté par une matrice diagonale par blocs.
Points de rédaction exigés. Citer le théorème par son nom ; vérifier explicitement que les facteurs sont premiers entre eux (racines distinctes, ou relation de Bézout écrite) ; préciser le polynôme annulateur utilisé. Le jury 2025 cite cette hypothèse parmi celles qui sont le plus souvent oubliées.
Définition. est diagonalisable lorsque possède une base dont tous les vecteurs sont propres pour ; dans une telle base, est représenté par une matrice diagonale. est diagonalisable si elle est semblable à une matrice diagonale : , les colonnes de étant des vecteurs propres et les coefficients de les valeurs propres associées, dans le même ordre.
Théorème (caractérisations). Les propositions suivantes sont équivalentes :
( est le lemme des noyaux appliqué à ; : annule sur chaque vecteur d'une base propre.)
Condition suffisante (pas nécessaire). Hypothèse : est scindé à racines simples (soit valeurs propres distinctes). Conclusion : est diagonalisable, et chaque sous-espace propre est une droite. La réciproque est fausse : est diagonalisable et .
Conséquences utiles.
Diagonaliser une matrice en pratique.
Définition. est trigonalisable s'il existe une base où sa matrice est triangulaire supérieure ; pour une matrice , cela veut dire avec triangulaire supérieure. La diagonale de porte alors les valeurs propres, chacune répétée selon sa multiplicité.
Théorème. est trigonalisable est scindé sur . Preuve du sens réciproque : récurrence sur ; on prend un vecteur propre , on complète en une base, la matrice est avec scindé (il divise ), et on applique l'hypothèse de récurrence à .
Conséquences.
Trigonaliser en pratique (taille 3). Avec , , et : prendre , non nuls, puis chercher tel que (système compatible, voir §9). Dans la base : Avec et , prendre , puis (qui est dans ) et compléter. Les énoncés indiquent souvent la forme de attendue : la suivre.
Théorème. Hypothèse : (resp. ). Conclusion : (resp. ). Autrement dit divise , et .
Idée de preuve : dans , trigonaliser , de diagonale ; on montre par récurrence que annule les premiers vecteurs de base ; pour , . Une matrice réelle se traite dans ( est le même).
Piège classique. « » est faux : on ne remplace pas par une matrice à l'intérieur d'un déterminant, et est une matrice, pas un nombre.
Conséquences.
Sous-espaces caractéristiques. On suppose scindé, distincts. Le sous-espace caractéristique associé à est Conclusions (Cayley-Hamilton puis lemme des noyaux) :
Dans une base adaptée, a une matrice diagonale par blocs, le bloc étant avec nilpotente (et on peut la prendre triangulaire supérieure stricte). C'est la forme réduite la plus fine au programme.
Décomposition de Dunford. Hypothèse : scindé sur (toujours vrai si ). Conclusion : s'écrit d'une seule façon sous la forme Les deux termes et s'expriment comme polynômes en .
Construction : si est le projecteur sur parallèlement à (un polynôme en d'après le lemme des noyaux), on pose et . Sur , coïncide avec , donc . Unicité (schéma) : si est une autre décomposition, et commutent avec , donc avec et (polynômes en ) ; est à la fois diagonalisable (réduction simultanée) et nilpotent (binôme), donc nul.
Attention. La commutation fait partie de la définition : n'est pas la décomposition de Dunford (les deux matrices ne commutent pas) ; cette matrice est diagonalisable, donc et .
Selon les années, Dunford est démontré en cours ou dans le sujet (concours 2025, partie III) : il faut savoir refaire la construction par les projecteurs, pas seulement citer le nom.
Le cadre général (existence et unicité, exponentielle de matrice) est vu au 2e semestre dans le chapitre « Équations différentielles linéaires ». Dès maintenant, la réduction permet de résoudre : si , on pose ; alors .
Spectre racines de ; ; si est scindé à racines simples, est diagonalisable ; si , est inversible et ; trace avec parmi les racines de (d'où si ).
Matrice diagonalisable de petite taille : diagonalisation ou Lagrange. Annulateur de degré connu : division euclidienne. Matrice ou non diagonalisable : binôme / Dunford, ou division par avec dérivée en la racine double.