Réduction des endomorphismes et théorème de Cayley-Hamilton
Une matrice contient nombres qui dépendent tous de la base choisie. Existe-t-il une base où il n'en reste que — les valeurs propres — et si oui, comment savoir à l'avance si cette base existe ?
Le problème naît de la mécanique : Euler cherche en 1765 les axes principaux d'inertie d'un solide, directions selon lesquelles la rotation est stable. Lagrange et Laplace rencontrent la même question dans l'étude des petites oscillations et de la stabilité du système solaire, où les valeurs propres décident de la bornitude des perturbations. Cauchy démontre en 1829 que les matrices symétriques réelles ont un spectre réel. Cayley énonce son théorème en 1858 en le vérifiant à la main pour les tailles et , en jugeant inutile de traiter le cas général ; Frobenius en donne la première démonstration complète en 1878.
Pourquoi définir le polynôme caractéristique par plutôt que par ? Les deux ne diffèrent que d'un signe , mais la première convention rend le polynôme UNITAIRE, ce qui permet d'écrire proprement la division euclidienne et de comparer au polynôme minimal. Une convention de signe n'est jamais neutre : elle est choisie pour que les énoncés ultérieurs soient les plus simples possibles.
Images Mentales & Modèles d'Intuition (3)
Une transformation linéaire déforme un ballon de baudruche. Les vecteurs propres sont les directions qui restent alignées avec elles-mêmes après déformation, seule leur longueur changeant.
Ce qu'elle capture :
L'image suggère que de telles directions existent toujours. Faux : une rotation du plan d'angle non plat n'en a aucune sur , puisqu'elle tourne toutes les directions. L'existence de vecteurs propres n'est nullement garantie, et dépend du corps de base.
Le lemme des noyaux est un tri postal : un polynôme annulateur factorisé en morceaux premiers entre eux trie automatiquement l'espace en boîtes, une par facteur.
Ce qu'elle capture :
Le tri n'a lieu que si les facteurs sont premiers entre eux DEUX À DEUX. Avec , il n'y a qu'une boîte et aucune information : la nilpotence ne se décompose pas.
Le polynôme minimal est la relation la plus économique que la matrice satisfait ; le polynôme caractéristique en est une, plus grosse, souvent redondante.
Ce qu'elle capture :
L'image suggère que le minimal serait « plus petit » en tout sens. Ils ont pourtant les mêmes RACINES — les valeurs propres — et ne diffèrent que par les multiplicités. Deux matrices peuvent partager les deux polynômes sans être semblables dès la dimension .
Les Pièges Conceptuels Classiques
Correction :
Correction :
Correction :
Correction :
Glossaire des Notations Mathématiques
spectre de u
ensemble des valeurs propres DANS le corps considéré : il dépend du corps, contrairement au polynôme caractéristique
polynôme minimal
la relation algébrique la plus économique vérifiée par $u$ ; divise tout annulateur
multiplicités algébrique et géométrique
on a toujours $1 \le d_\lambda \le m_\lambda$ ; l'égalité pour tout $\lambda$ caractérise la diagonalisabilité