Pour les articles homonymes, voir Valeur et Propre.

Les notions de vecteur propre, de valeur propre, et de sous-espace propre s'appliquent à des endomorphismes (ou opérateurs linéaires), c'est-à-dire des applications linéaires d'un espace vectoriel dans lui-même. Elles sont intimement liées, et forment un pilier de la réduction des endomorphismes, partie de l'algèbre linéaire qui vise à décomposer de la manière la plus efficace possible l'espace en somme directe de sous-espaces stables.

Dans toute la suite, on considère un espace vectoriel ${\displaystyle E}$, sur un corps commutatif ${\displaystyle K}$. Les éléments de ${\displaystyle E}$ sont les vecteurs et ceux de ${\displaystyle K}$ sont les scalaires. En pratique, le corps ${\displaystyle K}$ est souvent le corps ${\displaystyle \mathbb {C} }$ des complexes et l'espace vectoriel est de dimension finie. On précisera dans chaque section, les restrictions éventuelles sur le corps ou la dimension. On notera ${\displaystyle u}$ un endomorphisme de ${\displaystyle E}$ et ${\displaystyle \mathrm {Id} }$ l'endomorphisme identité.

Les valeurs propres d'une matrice carrée ${\displaystyle A}$ de taille ${\displaystyle n}$ sont les valeurs propres de l'endomorphisme de ${\displaystyle K^{n}}$ de matrice ${\displaystyle A}$ dans la base canonique.

Si ${\displaystyle E}$ est de dimension finie ${\displaystyle n}$, les valeurs propres de ${\displaystyle u}$ (ou de sa matrice ${\displaystyle A}$ dans n'importe quelle base) :

• sont les racines de leur polynôme caractéristique commun, ${\displaystyle \det(XId-u)=\det(XI_{n}-A)}$ ;
• sont toutes les valeurs spectrales de ${\displaystyle u}$ (ou de ${\displaystyle A}$) : les éléments de leur spectre commun.

Exemples :

• si ${\displaystyle u=\mathrm {Id} }$ alors ${\displaystyle u}$ ne possède qu'une valeur propre : ${\displaystyle 1}$.
• si ${\displaystyle u}$ est défini sur ${\displaystyle \mathbb {R} ^{2}}$ par ${\displaystyle u(x_{1},x_{2})=(x_{1}+6x_{2},x_{1}+2x_{2})}$ alors ${\displaystyle u}$ possède deux valeurs propres :
  • ${\displaystyle 4}$ car ${\displaystyle u(2,1)=(8,4)=4(2,1)}$
  • ${\displaystyle -1}$ car ${\displaystyle u(-3,1)=(3,-1)=-1(-3,1)}$
  • pas d'autre valeur propre puisque la dimension est ${\displaystyle 2}$.

Les vecteurs propres (associés à une valeur propre ${\displaystyle \lambda }$) d'une matrice carrée ${\displaystyle A}$ de taille ${\displaystyle n}$ sont les vecteurs propres (associés à la valeur propre ${\displaystyle \lambda }$) de l'endomorphisme de ${\displaystyle K^{n}}$ représenté par ${\displaystyle A}$.

• Un vecteur propre ne peut pas être associé à deux valeurs propres différentes
• Une famille de ${\displaystyle k}$ vecteurs propres associés à ${\displaystyle k}$ valeurs propres différentes constitue une famille libre^[2].

• Le sous-espace propre associé à une valeur propre ${\displaystyle \lambda }$ est le noyau de ${\displaystyle u-\lambda \mathrm {Id} }$. C'est donc un sous-espace vectoriel.
• Par définition d'une valeur propre, un sous-espace propre n'est jamais réduit au vecteur nul.
• Pour une matrice carrée ${\displaystyle A}$ de taille ${\displaystyle n}$, on trouve le sous-espace propre associé à une valeur propre ${\displaystyle \lambda }$ en résolvant le système (homogène) de ${\displaystyle n}$ équations linéaires à ${\displaystyle n}$ inconnues dont l'écriture matricielle est ${\displaystyle (A-\lambda I_{n})v=0}$.
• Les espaces propres ${\displaystyle E_{i}}$ de valeurs propres ${\displaystyle \lambda _{i}}$ forment une somme directe de sous-espaces vectoriels stables par ${\displaystyle u}$^[3].
  C'est une conséquence du lemme des noyaux, appliqué aux polynômes ${\displaystyle X-\lambda _{i}}$, qui sont deux à deux premiers entre eux.
  Cette somme directe des ${\displaystyle E_{i}}$ est égale à ${\displaystyle E}$ si et seulement si l'endomorphisme est diagonalisable.
• Si deux endomorphismes ${\displaystyle u}$ et ${\displaystyle v}$ commutent, alors tout sous-espace propre de u est stable par v.

On suppose ici que ${\displaystyle E}$ est de dimension finie ${\displaystyle n}$.

On appelle « polynôme caractéristique » de l'endomorphisme ${\displaystyle u}$, le polynôme ${\displaystyle \det(X\mathrm {Id} -u)}$, et « polynôme caractéristique » d'une matrice carrée ${\displaystyle A}$ d'ordre ${\displaystyle n}$, le polynôme caractéristique de l'endomorphisme de ${\displaystyle K^{n}}$ canoniquement associé à ${\displaystyle A}$, c'est-à-dire le polynôme ${\displaystyle \det(XI_{n}-u)}$, où ${\displaystyle I_{n}}$ est la matrice identité ${\displaystyle n\times n}$. Ce polynôme est de degré ${\displaystyle n}$, donc a au plus ${\displaystyle n}$ racines^[4].

• Soit a : E → F un isomorphisme d'espaces vectoriels, c'est-à-dire une application linéaire bijective, alors u et aua⁻¹ ont même polynôme caractéristique et donc mêmes valeurs propres^[5].
  En effet, ${\displaystyle \det(\lambda {\rm {Id}}_{F}-aua^{-1})=\det(a(\lambda {\rm {Id}}_{E}-u)a^{-1})=\det(\lambda {\rm {Id}}_{E}-u).}$
• Le polynôme caractéristique de ${\displaystyle u}$ est donc égal à celui de sa matrice ${\displaystyle A}$ dans n'importe quelle base.
• Les racines du polynôme caractéristique de ${\displaystyle u}$ (ou de ${\displaystyle A}$) sont ses valeurs propres^[6].
  En effet, un endomorphisme est de déterminant nul si et seulement s'il est non injectif.
• Si ${\displaystyle K}$ est algébriquement clos, ou encore si ${\displaystyle K}$ est ${\displaystyle \mathbb {R} }$ le corps des nombres réels et ${\displaystyle n}$ est impaire, alors ${\displaystyle u}$ possède au moins une valeur propre.
  Dire qu'un corps est algébriquement clos, c'est dire que tout polynôme non constant admet au moins une racine. Cette racine est nécessairement une valeur propre, d'après le premier point ci-dessus. D'autre part, un polynôme réel de degré impair a toujours une racine réelle.

L'ordre de multiplicité algébrique d'une valeur propre ${\displaystyle \lambda }$ est l'ordre de multiplicité de la racine dans le polynôme caractéristique^[7]. C'est donc l'exposant de ${\displaystyle (X-\lambda )}$ dans le polynôme caractéristique.

• Dans un corps algébriquement clos :
  • Le déterminant est égal au produit des valeurs propres élevées à leur ordre de multiplicité algébrique ;
  • La trace est égale à la somme des valeurs propres multipliées par leur ordre de multiplicité algébrique.

On se place ici dans le cadre d'un espace vectoriel ${\displaystyle E}$ de dimension finie.

On appelle « polynôme minimal » de ${\displaystyle u}$ le polynôme unitaire de plus petit degré qui annule ${\displaystyle u}$^[8]. Le polynôme minimal donne une relation de dépendance linéaire sur les puissances ${\displaystyle u^{0},u^{1},u^{2},\dots }$, de l'endomorphisme, et réciproquement une telle relation de dépendance linéaire fournit un polynôme annulateur de ${\displaystyle u}$, le polynôme minimal en minimisant le degré et en prenant le coefficient 1 pour la plus grande puissance de ${\displaystyle u}$ qui intervient.

• Les racines du polynôme minimal sont les valeurs propres de ${\displaystyle u}$^[9].

Si le polynôme minimal se factorise ${\displaystyle M=(X-\lambda )Q}$, alors ${\displaystyle M(u)=(u-\lambda \mathrm {Id} )\circ Q(u)}$ est l'endomorphisme nul, alors que ${\displaystyle Q(u)}$ ne l'est pas (car le degré de ${\displaystyle Q}$ est trop bas). Par conséquent il existe des vecteurs non nuls dans l'image de ${\displaystyle Q(u)}$, qui sont des vecteurs propres pour ${\displaystyle \lambda }$.

• Plus généralement pour tout entier ${\displaystyle i\geq 1}$, le polynôme minimal est divisible par ${\displaystyle (X-\lambda )^{i}}$ si et seulement si le noyau de ${\displaystyle (u-\lambda \mathrm {Id} )^{i}}$ est strictement plus grand que celui de ${\displaystyle (u-\lambda \mathrm {Id} )^{i-1}}$. Par conséquent, la multiplicité ${\displaystyle m}$ de ${\displaystyle \lambda }$ comme racine du polynôme minimal est égale au plus petit exposant tel que le noyau de ${\displaystyle (u-\lambda \mathrm {Id} )^{m}}$ soit égal au sous-espace caractéristique associé à la valeur propre ${\displaystyle \lambda }$. On l’appelle multiplicité minimale de ${\displaystyle \lambda }$^{[réf. nécessaire]}.
• Soit a un automorphisme de ${\displaystyle E}$, alors ${\displaystyle u}$ et ${\displaystyle aua^{-1}}$ ont même polynôme minimal (et donc mêmes valeurs propres). Autrement dit le polynôme minimal est un invariant de similitude de l'endomorphisme^{[réf. nécessaire]}.
  En effet, ${\displaystyle P(aua^{-1})}$ est égal à ${\displaystyle aP(u)a^{-1}}$, pour tout polynôme ${\displaystyle P}$.
• Sur un corps algébriquement clos, le polynôme minimal (comme tout polynôme non nul) est scindé, et possède donc au moins une racine, qui est valeur propre de ${\displaystyle u}$ (exception : si la dimension de E est nulle, le polynôme minimal est 1, tout comme le polynôme caractéristique, et ${\displaystyle u}$ n'a pas de valeur propre).
• Le théorème de Cayley-Hamilton permet d'affirmer que le polynôme minimal divise le polynôme caractéristique.

On suppose que ${\displaystyle E}$ est de dimension finie et que ${\displaystyle K}$ est algébriquement clos.

Si ${\displaystyle \lambda }$ est une valeur propre de ${\displaystyle u}$, dont l'ordre de multiplicité est ${\displaystyle \alpha _{\lambda }}$, on appelle « sous-espace caractéristique » de ${\displaystyle u}$ associé à la valeur propre ${\displaystyle \lambda }$ le noyau de ${\displaystyle (u-\lambda \mathrm {Id} )^{\alpha _{\lambda }}}$. On notera ce sous-espace caractéristique ${\displaystyle E_{\lambda }}$.

• ${\displaystyle E_{\lambda }}$ est aussi le noyau de ${\displaystyle (u-\lambda \mathrm {Id} )^{\beta _{\lambda }}}$ où ${\displaystyle \beta _{\lambda }}$ est l'ordre de multiplicité de ${\displaystyle \lambda }$ dans le polynôme minimal.
• ${\displaystyle E_{\lambda }}$ est stable par ${\displaystyle u}$.
• ${\displaystyle \dim(E_{\lambda })=\alpha _{\lambda }}$.
• L'espace ${\displaystyle E}$ est somme directe de ses sous-espaces caractéristiques.
• la restriction de ${\displaystyle u}$ à ${\displaystyle E_{\lambda }}$ a pour polynôme minimal ${\displaystyle (X-\lambda )^{\beta _{\lambda }}}$.

On suppose que ${\displaystyle E}$ est de dimension finie. L'étude des valeurs propres permet de trouver une forme plus simple des endomorphismes, c'est ce qu'on appelle leur réduction.

L'endomorphisme est entièrement déterminé par ses vecteurs propres et ses valeurs propres associées s'il est diagonalisable, c'est-à-dire s'il existe une base de vecteurs propres. Des exemples numériques sont donnés dans l'article « Matrice diagonalisable ». Les critères suivants sont tous des conditions nécessaires et suffisantes pour qu'un endomorphisme d'un espace vectoriel de dimension finie soit diagonalisable :

• Il existe une base de vecteurs propres
• la somme des espaces propres est l'espace entier
• la somme des dimensions des espaces propres est égale à la dimension de l'espace entier
• le polynôme minimal est scindé sur ${\displaystyle K}$ et à racines simples. (Démonstration dans Polynôme d'endomorphisme.)
• tout sous-espace propre possède une dimension égale à la multiplicité algébrique de la valeur propre associée.
• toute représentation matricielle ${\displaystyle M}$ de ${\displaystyle u}$ est diagonalisable, c'est-à-dire peut s'écrire sous la forme ${\displaystyle M=PDP^{-1}}$avec ${\displaystyle P}$ et ${\displaystyle D}$ matrices respectivement inversible et diagonale.

À ces propriétés équivalentes s'ajoutent les implications suivantes :

• S'il existe ${\displaystyle \dim(E)}$ valeurs propres distinctes, alors ${\displaystyle u}$ est diagonalisable.
• Si ${\displaystyle u}$ est diagonalisable, alors son polynôme caractéristique est scindé.

Dans le cas où le corps est ${\displaystyle \mathbb {C} }$, cette propriété est presque partout vraie au sens de la mesure de Lebesgue. De plus, dans l'espace topologique des endomorphismes de ${\displaystyle E}$ , le sous-ensemble de ceux qui sont diagonalisables est alors dense.

Si le polynôme minimal de ${\displaystyle u}$ est scindé, alors ${\displaystyle u}$ peut s'écrire sous la forme ${\displaystyle u=d+n}$ avec ${\displaystyle d}$ diagonalisable et ${\displaystyle n}$ nilpotent tels que ${\displaystyle dn=nd}$. De plus, ${\displaystyle d}$ et ${\displaystyle n}$ sont des polynômes en ${\displaystyle u}$.

On suppose que ${\displaystyle K}$ est algébriquement clos.

La représentation de Jordan prouve qu'alors, tout endomorphisme ${\displaystyle u}$ de ${\displaystyle E}$ est trigonalisable. Elle démontre que la restriction de ${\displaystyle u}$ au sous-espace caractéristique associé à la valeur propre ${\displaystyle \lambda }$ possède une représentation formée de blocs de la forme

${\displaystyle J_{k}(\lambda )={\begin{pmatrix}\lambda &1&&&&\\&\lambda &1&&(0)&\\&&\ddots &\ddots &&\\&&&\ddots &\ddots &\\&(0)&&&\lambda &1\\&&&&&\lambda \\\end{pmatrix}}}$

appelés « blocs de Jordan » et que l'endomorphisme possède une représentation matricielle sous la forme

${\displaystyle {\begin{pmatrix}J_{k_{1}}(\lambda _{1})&&&&\\&J_{k_{2}}(\lambda _{2})&&&\\&&\ddots &&\\&&&\ddots &\\&&&&J_{k_{r}}(\lambda _{r})\\\end{pmatrix}}}$

où les scalaires ${\displaystyle \lambda _{i}}$ (non nécessairement distincts) sont les valeurs propres de ${\displaystyle u}$.

• Valeur propre, vecteur propre et espace propre
• Théorème de Gerschgorin
• Identité vecteur propre-valeur propre

• Serge Lang, Algèbre [détail des éditions]
• Haïm Brezis, Analyse fonctionnelle : théorie et applications [détail des éditions]
• Walter Rudin, Analyse fonctionnelle [détail des éditions]
• (en) Nelson Dunford et Jacob Schwartz, Linear Operators : Part I General Theory, Wiley-Interscience, 1988
• Roger Mansuy et Rached Mneimné, Algèbre linéaire : Réduction des endomorphismes, De Boeck, 2022 (ISBN 978-2-8073-3661-2)

v · m Algèbre linéaire générale
Vecteur Scalaire Combinaison linéaire Espace vectoriel Matrice
Famille de vecteurs	Famille génératrice Famille libre (indépendance linéaire) Base Théorème de la base incomplète Théorème de la dimension pour les espaces vectoriels Rang Colinéarité
Sous-espace	Sous-espace vectoriel Somme de Minkowski Somme directe Sous-espace supplémentaire Dimension Codimension Droite Plan Hyperplan
Morphisme et notions relatives	Application linéaire Noyau Conoyau Lemme des noyaux Pseudo-inverse Théorème de factorisation Théorème du rang Équation linéaire Système d'équations linéaires Élimination de Gauss-Jordan Forme linéaire Espace dual Orthogonalité Base duale Endomorphisme linéaire Valeur propre, vecteur propre et espace propre Projecteur Symétrie Matrice diagonalisable Diagonalisation Endomorphisme nilpotent
Dimension finie	Espace vectoriel de dimension finie Trace Déterminant Polynôme caractéristique Polynôme d'endomorphisme Théorème de Cayley-Hamilton Polynôme minimal d'un endomorphisme Invariants de similitude Réduction d'endomorphisme Réduction de Jordan Décomposition de Dunford Décomposition de Frobenius
Enrichissements de structure	Norme Produit scalaire Forme quadratique Espace vectoriel topologique Orientation Algèbre sur un corps Algèbre de Lie Complexe différentiel
Développements	Théorie des matrices Représentation de groupe Analyse fonctionnelle Algèbre multilinéaire Module sur un anneau

• Portail des mathématiques