Soit \(E\) un espace vectoriel de dimension finie et \(u\in \mathcal L (E)\). On considère l’application \(\Phi_u\) qui à \(v\in \mathcal L (E)\) associe \(v\circ u\).

  1. Montrer que \(\Phi_u\in \mathcal L (\mathcal L (E))\).

  2. Montrer l’équivalence : (\(u\) est diagonalisable) \(\Leftrightarrow\) (\(\Phi_u\) est diagonalisable)

    1. en considérant les polynômes annulateurs de \(u\) et de \(\Phi_u\).

    2. en considérant les spectres et sous-espaces propres de \(u\) et de \(\Phi_u\).


Barre utilisateur

[ID: 3793] [Date de publication: 14 mars 2024 22:09] [Catégorie(s): Endomorphismes de composition ] [ Nombre commentaires: 1] [nombre d'éditeurs: 1 ] [Editeur(s): Emmanuel Vieillard-Baron ] [nombre d'auteurs: 1 ] [Auteur(s): Michel Quercia ]




Solution(s)

Solution(s)

\(v\mapsto v\circ u\), Centrale MP 2003
Par Michel Quercia le 14 mars 2024 22:09
    1. Pour \(p\in \mathbb{K}[X]\) on a \(P(\Phi_u) = v\mapsto v\circ P(u)\) donc \(u\) et \(\Phi_u\) ont mêmes polynômes annulateurs.

    2. \((\lambda \in \mathop{\rm sp}\nolimits(\Phi_u)) \Leftrightarrow (\exists v\neq 0\text{ tq }v\circ (u-\lambda \mathop{\rm id}\nolimits_E) = 0) \Leftrightarrow (u-\lambda \mathop{\rm id}\nolimits_E\) n’est pas surjectif\() \Leftrightarrow (\lambda \in \mathop{\rm sp}\nolimits(u))\). Ainsi \(\Phi_u\) et \(u\) ont même spectre. Si \(\lambda \in \mathop{\rm sp}\nolimits(u)\) et \(v\in \mathcal L (E)\) on a : \[(\Phi_u(v) = \lambda v) \Leftrightarrow (\mathop{\rm Im}\nolimits(u-\lambda \mathop{\rm id}\nolimits_E) \subset \mathop{\rm Ker}\nolimits v)\] donc \(\mathop{\rm Ker}\nolimits(\Phi_u-\lambda \mathop{\rm id}\nolimits_{\mathcal L (E)})\) est isomorphe à \(\mathcal L (H,E)\)\(H\) est un supplémentaire de \(\mathop{\rm Im}\nolimits(u-\lambda \mathop{\rm id}\nolimits_E)\). On en déduit : \(\dim(\mathop{\rm Ker}\nolimits(\Phi_u-\lambda \mathop{\rm id}\nolimits_{\mathcal L (E)})) = \dim(E)\dim(\mathop{\rm Ker}\nolimits(u-\lambda \mathop{\rm id}\nolimits_E)\).


Documents à télécharger

\(v\mapsto v\circ u\), Centrale MP 2003
Télécharger Télécharger avec les solutions et commentaires

L'exercice