Ordre de multiplicité géométrique et algébrique des valeurs propres d'un endomorphisme inversible et de son inverse

Partie

Question

Soit un endomorphisme inversible d'un \mathbf K-espace vectoriel E de dimension finie n (\mathbf K étant \mathbb R ou \mathbb C) admettant une valeur propre notée \lambda.

Partie A

  1. Montrer que \lambda n'est pas nul et si V est un vecteur propre de f associé à la valeur propre \lambda, alors V est aussi un vecteur propre de f^{-1} associé à la valeur propre \lambda^{-1}.

  2. En déduire que le sous-espace propre de f associé à la valeur propre \lambda est égal au sous-espace propre de f^{-1} associé à la valeur propre \lambda^{-1}.

  3. Montrer que si f est diagonalisable alors f^{-1} est diagonalisable et si de plus la valeur propre \lambda de f a pour multiplicité r alors la valeur propre \lambda^{-1} de f^{-1} a la même multiplicité r.

Partie B

Dans cette partie, nous voulons montrer que, même si f n'est pas diagonalisable, lorsque \lambda est une valeur propre de f de multiplicité r, alors \lambda^{-1} est une valeur propre de f^{-1} de même multiplicité r.

Pour cela si Q est un polynôme de \mathbf K[X] défini par :

Q(X)=a_0+a_1X+\cdots+a_qX^q,

nous noterons \widetilde{Q} le polynôme de \mathbf K[X] défini par :

\widetilde{Q}(X)=a_0X^q+a_1X^{q-1}+\cdots+a_q.

  1. Montrer que si Q est un polynôme de \mathbf K[X] de degré q, pour tout élément x non nul de \mathbf K :

    \displaystyle{\widetilde{Q}(x)=x^qQ\left(\frac{1}{x}\right)}

  2. Montrer que pour tout élément x non nul de \mathbf K :

    \textrm{det }(f)P_{\textrm{car},f^{-1}}(x)=(-1)^n\widetilde{P}_{\textrm{car},f}(x).

    En déduire la relation suivante :

    \displaystyle{P_{\textrm{car},f^{-1}}(X)=\frac{(-1)^n}{\textrm{det}(f)}\widetilde{P}_{\textrm{car},f}(X)}.

  3. a. Montrer que si Q_1 et Q_2 sont deux polynômes de \mathbf K[X] :

    \widetilde{Q_1Q_2}=\widetilde{Q_1}\widetilde{Q_2}.

    b. En déduire que si \lambda est une valeur propre de f de multiplicité r, alors \lambda^{-1} est une valeur propre de f^{-1} de même multiplicité r.