Éléments propres et polynômes annulateurs
Cours complet · mathématiques approfondies (ECG 2e année), chapitre 2 · prépa ECG, 2e année
Travailler ce chapitre sur Adloun Exercices corrigés de ce chapitre
Un endomorphisme d'un espace de dimension agit sur une infinité de vecteurs, et il les mélange. Sauf sur certaines directions, qu'il se contente de dilater : un vecteur porté par une telle direction reste porté par elle, seule sa longueur change. Ces directions sont les directions propres, et le facteur de dilatation est la valeur propre.
Ce chapitre les définit, montre comment les chercher — sans jamais recourir au déterminant, hors programme ici — et établit la propriété qui rend tout le chapitre 3 possible : des directions propres associées à des valeurs propres distinctes sont indépendantes.
Le déterminant et le polynôme caractéristique ne figurent pas au programme de l'option approfondie : le mot « déterminant » n'apparaît pas une seule fois dans les programmes des deux années. Une valeur propre se cherche donc par un polynôme annulateur, par lecture directe sur une matrice triangulaire, ou par l'étude du rang de . Ce chapitre installe le premier de ces trois outils.
2.1 Valeurs propres, vecteurs propres, sous-espaces propres
2.1.1 Définitions
Soit un espace vectoriel réel de dimension finie et un endomorphisme de . Un réel est une valeur propre de lorsqu'il existe un vecteur non nul tel que
Un tel vecteur est un vecteur propre de associé à , et l'ensemble
est le sous-espace propre associé à . L'ensemble des valeurs propres de est son spectre, noté .
Les mêmes définitions valent pour , en remplaçant par et par . Si est la matrice de dans une base , alors , et est vecteur propre de si et seulement si sa colonne dans est vecteur propre de pour la même valeur propre.
pour tout réel : l'admettre ferait de tout réel une valeur propre. D'où l'exigence . En revanche appartient toujours à , qui est un noyau, donc un sous-espace vectoriel.
Si est triangulaire, alors
Démonstration
est encore triangulaire, de coefficients diagonaux . Or une matrice triangulaire est inversible si et seulement si tous ses coefficients diagonaux sont non nuls. Donc est non inversible — c'est-à-dire est valeur propre — exactement lorsque coïncide avec l'un des .
2.1.2 Images des éléments propres par un polynôme
Pour , on pose
où désigne la composée ( fois).
Soit un vecteur propre de associé à , et un polynôme. Alors est vecteur propre de , associé à :
De même, entraîne .
Démonstration
Montrons d'abord par récurrence. C'est vrai pour . Et si , alors . Par linéarité,
2.2 Polynômes annulateurs
2.2.1 Définition et existence
Un polynôme est annulateur de (respectivement de ) lorsque (respectivement ).
Tout endomorphisme d'un espace vectoriel de dimension finie admet un polynôme annulateur non nul. Il en va de même pour toute matrice carrée.
Démonstration
Soit . L'espace des endomorphismes de est de dimension , puisqu'il s'identifie à . La famille
compte éléments dans un espace de dimension : elle est nécessairement liée. Il existe donc des réels non tous nuls tels que , c'est-à-dire avec non nul.
Le programme est net : « aucune autre connaissance sur les polynômes annulateurs ne figure au programme ». Il n'y a donc ni polynôme minimal, ni théorème de Cayley-Hamilton, ni décomposition des noyaux. En pratique, un polynôme annulateur est presque toujours donné par l'énoncé — ou se lit sur une relation du type .
2.2.2 Ce qu'un polynôme annulateur apprend
Si est un polynôme annulateur de , alors toute valeur propre de est racine de :
Démonstration
Soit et tel que . Par le théorème de transport, . Or , donc avec : nécessairement .
Une racine de n'a aucune raison d'être valeur propre. Pour , le polynôme est annulateur, et pourtant . Un polynôme annulateur fournit une liste de candidats, qu'il faut ensuite tester un par un.
- Homothétie : le polynôme est annulateur, donc . Et si , tout vecteur non nul est propre : .
- Projecteur : , donc est annulateur et .
- Symétrie : , donc est annulateur et .
2.3 Propriétés générales du spectre
Soit un endomorphisme d'un espace de dimension finie. Alors possède un nombre fini de valeurs propres, et ses sous-espaces propres sont en somme directe :
Soient des valeurs propres deux à deux distinctes de , et pour chaque une famille libre de . Alors la concaténation de ces familles est libre dans .
- Des vecteurs propres associés à des valeurs propres deux à deux distinctes forment une famille libre.
- Un endomorphisme d'un espace de dimension a au plus valeurs propres.
Démonstration
(2) À chaque valeur propre correspond au moins un vecteur propre, et ces vecteurs forment une famille libre par (1). Une famille libre d'un espace de dimension compte au plus vecteurs : il y a donc au plus valeurs propres.
Python : Chercher un spectre, et le vérifier
import numpy as np
# triangulaire
A = np.array([[2., 1., 0.], [0., -1., 3.], [0., 0., 5.]])
print(np.linalg.eigvals(A)) # [ 2. -1. 5.] <- la diagonale
P = np.array([[1., 0.], [0., 0.]]) # un projecteur : P @ P == P
print(np.allclose(P @ P, P)) # True
print(np.linalg.eigvals(P)) # [1. 0.]
Sur la triangulaire, la machine confirme ce que la diagonale annonçait. Sur le projecteur, c'est la relation qui a donné le spectre avant tout calcul : le polynôme annulateur est le chemin le plus court.