WikiPrépaLivrets

Soient A,BA, B et CC trois matrices de Mn(C)\mathcal{M}_{n}(\mathbb{C}) telles que AC=CBA C=C B. On suppose que AA et BB ont le même polynôme caractéristique, noté χA=χB\chi_A = \chi_B.

Montrer que pour toute matrice M∈Mn(C)M \in \mathcal{M}_{n}(\mathbb{C}), les matrices A−CMA-C M et B−MCB-M C possèdent le même polynôme caractéristique.

1.

Commencer par établir une relation entre (λI−A)−1C(\lambda I - A)^{-1}C et C(λI−B)−1C(\lambda I - B)^{-1} pour λ\lambda n'appartenant pas au spectre de AA.

2.

Utiliser l'identité det⁡(In−XY)=det⁡(In−YX)\det(I_n - XY) = \det(I_n - YX) valable pour toutes matrices X,Y∈Mn(C)X, Y \in \mathcal{M}_n(\mathbb{C}).

3.

Exprimer χA−CM(λ)\chi_{A-CM}(\lambda) en factorisant par (λI−A)(\lambda I - A) et utiliser la relation d'entrelacement.

4.

Conclure sur l'égalité des polynômes en utilisant un argument de continuité ou le fait qu'ils coïncident sur un ensemble infini.

Idées clés

•

Manipulation de la relation d'entrelacement AC=CBAC=CB.

•

Propriété de commutativité du déterminant : det⁡(I+XY)=det⁡(I+YX)\det(I+XY) = \det(I+YX).

•

Utilisation des compléments de Schur ou factorisation matricielle.

1. Étude pour λ\lambda hors du spectre.

Soit λ∈C\lambda \in \mathbb{C} tel que λ\lambda ne soit pas une valeur propre de AA. Puisque χA=χB\chi_A = \chi_B, λ\lambda n'est pas non plus une valeur propre de BB.

Ainsi, les matrices (λI−A)(\lambda I - A) et (λI−B)(\lambda I - B) sont inversibles.

Partons de la relation AC=CBAC = CB. On peut écrire :

(λI−A)C=λC−AC=λC−CB=C(λI−B)(\lambda I - A)C = \lambda C - AC = \lambda C - CB = C(\lambda I - B)

En multipliant à gauche par (λI−A)−1(\lambda I - A)^{-1} et à droite par (λI−B)−1(\lambda I - B)^{-1}, on obtient l'égalité fondamentale :

C(λI−B)−1=(λI−A)−1C\boxed{ C(\lambda I - B)^{-1} = (\lambda I - A)^{-1}C }

2. Expression du polynôme caractéristique de A−CMA-CM.

On cherche à calculer P1(λ)=det⁡(λI−(A−CM))=det⁡((λI−A)+CM)P_1(\lambda) = \det(\lambda I - (A - CM)) = \det((\lambda I - A) + CM).

En factorisant par la matrice inversible (λI−A)(\lambda I - A), on a :

P1(λ)=det⁡((λI−A)[I+(λI−A)−1CM])P_1(\lambda) = \det\left( (\lambda I - A) \left[ I + (\lambda I - A)^{-1}CM \right] \right)
P1(λ)=det⁡(λI−A)×det⁡(I+(λI−A)−1CM)P_1(\lambda) = \det(\lambda I - A) \times \det(I + (\lambda I - A)^{-1}CM)

3. Utilisation de la propriété du déterminant.

On utilise l'identité classique det⁡(I+XY)=det⁡(I+YX)\det(I+XY) = \det(I+YX). Ici, on pose X=(λI−A)−1CX = (\lambda I - A)^{-1}C et Y=MY = M. Il vient :

det⁡(I+(λI−A)−1CM)=det⁡(I+M(λI−A)−1C)\det(I + (\lambda I - A)^{-1}CM) = \det(I + M(\lambda I - A)^{-1}C)

En injectant la relation d'entrelacement établie à l'étape 1, on remplace (λI−A)−1C(\lambda I - A)^{-1}C par C(λI−B)−1C(\lambda I - B)^{-1} :

det⁡(I+M(λI−A)−1C)=det⁡(I+MC(λI−B)−1)\det(I + M(\lambda I - A)^{-1}C) = \det(I + MC(\lambda I - B)^{-1})

4. Expression du polynôme caractéristique de B−MCB-MC.

Appliquons à nouveau l'identité det⁡(I+UV)=det⁡(I+VU)\det(I+UV) = \det(I+VU) avec U=MCU=MC et V=(λI−B)−1V=(\lambda I - B)^{-1} :

det⁡(I+MC(λI−B)−1)=det⁡(I+(λI−B)−1MC)\det(I + MC(\lambda I - B)^{-1}) = \det(I + (\lambda I - B)^{-1}MC)

En revenant à l'expression globale et en utilisant χA(λ)=χB(λ)\chi_A(\lambda) = \chi_B(\lambda) : \begin{align*} P_1(\lambda) &= \chi_A(\lambda) \times \det(I + (\lambda I - B)^{-1}MC)
&= \det(\lambda I - B) \times \det(I + (\lambda I - B)^{-1}MC)
&= \det\left( (\lambda I - B) \left[ I + (\lambda I - B)^{-1}MC \right] \right)
&= \det(\lambda I - B + MC) \end{align*}

On reconnaît l'expression du polynôme caractéristique de B−MCB-MC :

χA−CM(λ)=χB−MC(λ)\boxed{ \chi_{A-CM}(\lambda) = \chi_{B-MC}(\lambda) }

5. Conclusion.

L'égalité χA−CM(λ)=χB−MC(λ)\chi_{A-CM}(\lambda) = \chi_{B-MC}(\lambda) est établie pour tout λ∈C∖Sp(A)\lambda \in \mathbb{C} \setminus Sp(A).

Comme Sp(A)Sp(A) est un ensemble fini, les deux polynômes coïncident sur un ensemble infini de points. Par rigidité des polynômes, on en déduit :

χA−CM=χB−MC\boxed{ \chi_{A-CM} = \chi_{B-MC} }

Une erreur fréquente consiste à vouloir utiliser la densité de GLn(C)GL_n(\mathbb{C}) sur la matrice CC. Cependant, si l'on remplace CC par une suite (Ck)(C_k) de matrices inversibles, rien ne garantit que la relation ACk=CkBAC_k = C_kB reste vraie pour kk assez grand, sauf si AA et BB sont semblables. L'argument de la variable λ\lambda est ici beaucoup plus robuste.