ATLAS Ouvrir dans l'atlas →

Théorème 3Réduction des endomorphismes

Polynôme caractéristique

L'anneau K[X]{K[X]} est intègre (Anneau A[X], (iii)) ; son corps des fractions (Corps des fractions) est le corps des fractions rationnelles, noté K(X)K(X), dans lequel on identifie K[X]K[X] au sous-anneau des P/1P/1.

Toute l'algèbre linéaire de l'édifice est établie sur un corps commutatif quelconque ; elle s'applique donc au corps K(X)K(X), et en particulier le déterminant d'une matrice de ℳn(K(X)){\mathcal M_n}(K(X)) est défini et multiplicatif (Déterminant d'une matrice).

Le polynôme caractéristique d'une matrice A∈ℳn(K)A \in \mathcal M_n(K) est χA=det⁡(XIn−A),\chi_A = \det(X{I_n} - A), déterminant calculé dans le corps K(X)K(X) ; le point (i) montre qu'il appartient à K[X]K[X]. Celui de uu, noté χu\chi_u, est celui de sa matrice dans une base quelconque, ce que justifie (iii).

Un polynôme non nul PP est scindé sur KK s'il s'écrit c∏i=1d(X−αi)c\prod_{i=1}^d (X - \alpha_i) avec c,α1,…,αd∈Kc, \alpha_1, \dots, \alpha_d \in K et d=deg⁡Pd = \deg P. Si χu\chi_u est scindé, la multiplicité d'une valeur propre λ\lambda est sa multiplicité comme racine de χu\chi_u.

Énoncé

(i) Le déterminant d'une matrice M=(mij)M = (m_{ij}) à coefficients dans K[X]K[X] est la somme ∑σε(σ)∏jmσ(j) j\sum_\sigma \varepsilon(\sigma)\prod_j m_{\sigma(j)\,j}, calculée dans K[X]K[X]. Pour tout morphisme d'anneaux φ\varphi de K[X]K[X] dans un corps LL, on a φ(det⁡M)=det⁡φ(M)\varphi(\det M) = \det \varphi(M), où φ(M)\varphi(M) est la matrice des φ(mij)\varphi(m_{ij}).

(ii) χA\chi_A est unitaire de degré nn, et χA=Xn−(tr⁡A)Xn−1+⋯+(−1)ndet⁡A.\begin{aligned} \chi_A &= X^n - (\operatorname{tr} A)X^{n-1} + \cdots \\ &\quad + (-1)^n\det A. \end{aligned}

(iii) Deux matrices semblables ont le même polynôme caractéristique ; χu\chi_u ne dépend donc pas de la base.

(iv) Pour tout λ∈K\lambda \in K, χu(λ)=det⁡(λ id−u)\chi_u(\lambda) = \det(\lambda\,\mathrm{id} - u). Les valeurs propres de uu sont exactement les racines de χu\chi_u dans KK.

(v) Si P=c∏i=1d(X−αi)P = c\prod_{i=1}^d (X - \alpha_i) est scindé, tout diviseur unitaire de PP s'écrit ∏i∈J(X−αi)\prod_{i \in J}(X - \alpha_i) pour une partie JJ de {1,…,d}\{1, \dots, d\} ; il est scindé. Si P=∏i=1k(X−λi)miP = \prod_{i=1}^k (X - \lambda_i)^{m_i} avec des λi\lambda_i deux à deux distincts, mim_i est la multiplicité de la racine λi\lambda_i.

Démonstration

(i) La formule du déterminant (Déterminant d'une matrice) n'emploie que des sommes, des produits et les signes ±1\pm 1 ; appliquée à des éléments du sous-anneau K[X]K[X], elle donne un élément de K[X]K[X]. Un morphisme d'anneaux respecte les sommes et les produits, et envoie ±1\pm 1 sur ±1\pm 1 : il transforme la formule pour MM en la formule pour φ(M)\varphi(M).

(ii) Les coefficients de M=XIn−AM = XI_n - A sont mjj=X−ajjm_{jj} = X - a_{jj}, de degré 11, et mij=−aijm_{ij} = -a_{ij}, constants, pour i≠ji \neq j. Si σ≠id\sigma \neq \mathrm{id}, σ\sigma déplace au moins deux indices, puisqu'une permutation qui fixe n−1n - 1 éléments fixe aussi le dernier ; le produit ∏jmσ(j) j\prod_j m_{\sigma(j)\,j} a donc au plus n−2n - 2 facteurs de degré 11, et il est de degré au plus n−2n - 2.

Le terme de l'identité est ∏j(X−ajj)\prod_j (X - a_{jj}).

Par récurrence sur le nombre de facteurs, un produit ∏j⩽k(X−ajj)\prod_{j \leqslant k}(X - a_{jj}) s'écrit Xk−(∑j⩽kajj)Xk−1X^k - \big(\sum_{j \leqslant k} a_{jj}\big)X^{k-1} plus des termes de degré au plus k−2k - 2, puisque (Xk−sXk−1+R)(X−a)=Xk+1−(s+a)Xk+R1\begin{aligned} &(X^k - sX^{k-1} + R)(X - a) \\ &\quad = X^{k+1} - (s + a)X^k + R_1 \end{aligned} avec deg⁡R⩽k−2\deg R \leqslant k - 2 et deg⁡R1⩽k−1\deg R_1 \leqslant k - 1. D'où le coefficient dominant 11 et le coefficient −tr⁡A-\operatorname{tr} A de Xn−1X^{n-1}.

Le terme constant est la valeur en 00. Par (i), appliqué à l'évaluation en 00 (Évaluation, (i)), il vaut det⁡(−A)\det(-A), c'est-à-dire (−1)ndet⁡A(-1)^n\det A, chacune des nn colonnes étant multipliée par −1-1 et le déterminant étant nn-linéaire en les colonnes (Formes alternées, (ii)).

(iii) Pour SS inversible, XIn−S−1AS=S−1(XIn−A)SXI_n - S^{-1}AS = S^{-1}(XI_n - A)S dans ℳn(K(X))\mathcal M_n(K(X)), puisque S−1(XIn)S=XInS^{-1}(XI_n)S = XI_n. Le déterminant étant multiplicatif sur le corps K(X)K(X), avec det⁡S−1det⁡S=det⁡In=1\det S^{-1}\det S = \det I_n = 1, les deux polynômes caractéristiques sont égaux. Les matrices d'un même endomorphisme dans deux bases sont semblables (Trace, (iii)).

(iv) L'évaluation en λ\lambda est un morphisme d'anneaux de K[X]K[X] dans KK (Évaluation, (i)), qui envoie XIn−AXI_n - A sur λIn−A\lambda I_n - A, matrice de λ id−u\lambda\,\mathrm{id} - u.

Par (i) et Déterminant d'une matrice, (i), χu(λ)=det⁡(λ id−u)\chi_u(\lambda) = \det(\lambda\,\mathrm{id} - u), qui vaut (−1)ndet⁡(u−λ id)(-1)^n\det(u - \lambda\,\mathrm{id}) comme dans (ii). Il est nul si et seulement si λ\lambda est valeur propre (Valeurs propres, (i)).

(v) Chaque X−αiX - \alpha_i est irréductible et unitaire (Irréductibles, (iii)) : c⋅∏i(X−αi)c \cdot \prod_i (X - \alpha_i) est la factorisation de PP.

Si P=DD′P = DD' avec DD unitaire, les factorisations de DD et de D′D', mises bout à bout, en donnent une de PP ; par unicité (Irréductibles, (ii)), les facteurs irréductibles de DD sont certains des X−αiX - \alpha_i, chacun pris au plus autant de fois qu'il figure dans PP.

Pour la seconde assertion, P=(X−λi)miQP = (X - \lambda_i)^{m_i}Q avec Q=∏j≠i(X−λj)mjQ = \prod_{j \neq i}(X - \lambda_j)^{m_j}, et Q(λi)=∏j≠i(λi−λj)mjQ(\lambda_i) = \prod_{j \neq i}(\lambda_i - \lambda_j)^{m_j} n'est pas nul, KK étant intègre ; on conclut par Racines, (ii).

□
Remarque

Pourquoi passer par K(X)K(X) ? Le déterminant n'est construit dans l'édifice que sur un corps, et XIn−AXI_n - A est une matrice à coefficients dans l'anneau K[X]K[X], qui n'en est pas un. Le corps des fractions fournit un corps qui contient K[X]K[X] ; le point (i) assure que rien n'est perdu.

La voie qui paraît plus simple, définir χu\chi_u par la fonction λ↦det⁡(λ id−u)\lambda \mapsto \det(\lambda\,\mathrm{id} - u), ne convient pas sur un corps fini, où un polynôme n'est pas déterminé par sa fonction (Évaluation).

Sur ℤ/2ℤ{\mathbb Z/2\mathbb Z}, la matrice nulle de taille 33 et la matrice C=(000101011)C = \begin{pmatrix} 0 & 0 & 0 \\ 1 & 0 & 1 \\ 0 & 1 & 1 \end{pmatrix} ont pour polynômes caractéristiques X3X^3 et X3+X2+XX^3 + X^2 + X, distincts, qui prennent pourtant les mêmes valeurs, 0‾\overline 0 en 0‾\overline 0 et 1‾\overline 1 en 1‾\overline 1.

Remarque

Pour A=(2112)A = \begin{pmatrix} 2 & 1 \\ 1 & 2 \end{pmatrix}, on trouve χA=(X−2)2−1=X2−4X+3\chi_A = (X - 2)^2 - 1 = X^2 - 4X + 3 : le coefficient −4-4 est l'opposé de la trace, et 33 est le déterminant, comme le veut (ii). Ici χA\chi_A est égal au polynôme minimal ; le nœud Cayley-Hamilton montrera qu'il en est toujours un multiple.

Pour la rotation J=(0−110)J = \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}, χJ=X2+1\chi_J = X^2 + 1. Sur ℤ/3ℤ\mathbb Z/3\mathbb Z, il prend les valeurs 1‾\overline 1, 2‾\overline 2, 2‾\overline 2 : JJ n'a aucune valeur propre. Sur ℤ/5ℤ\mathbb Z/5\mathbb Z, X2+1=(X−2‾)(X−3‾)X^2 + 1 = (X - \overline 2)(X - \overline 3), et JJ en a deux.

Remarque

On rencontre aussi la convention det⁡(A−XIn)=(−1)nχA\det(A - XI_n) = (-1)^n\chi_A, qui a les mêmes racines. Celle qui est retenue ici rend χA\chi_A unitaire, ce qui permet de le comparer au polynôme minimal, unitaire lui aussi, sans se soucier d'un signe.

Ouvrir dans l'atlas interactif →