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

Partie

Question

Soit \(f\) 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\).