Adloun

É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.

AttentionComment on cherche une valeur propre en ECG

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

Définition 2.1Éléments propres d'un endomorphisme

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é .

Définition 2.2Éléments propres d'une matrice

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.

AttentionLe vecteur nul n'est jamais 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.

◆Théorème 2.3Valeurs propres d'une matrice triangulaire

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

Définition 2.4Polynôme d'un endomorphisme

Pour , on pose

où désigne la composée ( fois).

◆Théorème 2.5Le transport des éléments propres

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

Définition 2.6Polynôme annulateur

Un polynôme est annulateur de (respectivement de ) lorsque (respectivement ).

◆Théorème 2.7Existence

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.

iRemarqueCe que le programme n'attend pas

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

◆Théorème 2.8Les valeurs propres sont parmi les racines

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 .

AttentionL'inclusion est stricte en général

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.

Exemple 2.9Trois classiques
  • 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

◆Théorème 2.10Somme directe des sous-espaces propres

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 :

◆Théorème 2.11Concaténation de familles propres

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 .

↳Corollaire 2.12Deux conséquences à retenir
  • 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.

Continuer sur Adloun : animation, QCM, fiches, exercices