AnnalesÉcoles d'ingénieurs
Mines-Ponts PC 2020 — Maths 1
Le sujet démontre le théorème de Gerstenhaber (1958) : un sous-espace vectoriel de formé d'endomorphismes nilpotents et de dimension maximale est, dans une base convenable, formé de matrices triangulaires supérieures strictes. Il réunit des généralités sur le nilindice, la représentation des endomorphismes de rang 1 d'un espace euclidien par , un lemme sur les traces et un critère de vecteur propre commun, puis conclut par récurrence sur la dimension en projetant orthogonalement sur un hyperplan.
Le sujet, partie par partie
Introduction et Partie I — Généralités sur les endomorphismes nilpotents p. 2–3
Nilpotents, Jordan, Dunford · Trigonalisation · Espaces vectoriels et dimension · Calcul matriciel — endomorphisme nilpotent, nilindice, matrice triangulaire supérieure stricte, trace des puissances, famille libre de Jordan,
Partie II — Endomorphismes de rang 1 d'un espace euclidien p. 3–4
Dualité · Espaces préhilbertiens et euclidiens · Applications linéaires et rang · Calcul matriciel — théorème de représentation de Riesz, forme linéaire, endomorphisme de rang 1, trace, isomorphisme
Partie III — Deux lemmes p. 4–5
Nilpotents, Jordan, Dunford · Calcul matriciel · Polynômes d'endomorphismes · Espaces préhilbertiens et euclidiens · Polynômes — sous-espace nilpotent, nilindice générique, développement de , trace nulle, vecteur propre commun, orthogonal
Partie IV — Démonstration du théorème B p. 5–6
Nilpotents, Jordan, Dunford · Espaces vectoriels et dimension · Projection orthogonale et moindres carrés · Trigonalisation · Applications linéaires et rang · Dualité — théorème de Gerstenhaber, récurrence sur la dimension, théorème du rang, endomorphisme compressé, trigonalisation simultanée, matrice triangulaire supérieure stricte