Soit une matrice de . On s'intéresse à l'ensemble constitué des matrices qui sont à la fois semblables à et qui commutent avec :
Déterminer la condition nécessaire et suffisante sur pour que l'ensemble soit fini.
On rappellera que toute matrice de est trigonalisable.
Distinguer trois cas selon la structure de réduction de : le cas où est une matrice scalaire, le cas où est diagonalisable avec des valeurs propres distinctes, et le cas où n'est pas diagonalisable.
Pour chaque cas, exprimer explicitement le commutant de et identifier les matrices de ce commutant qui possèdent le même polynôme caractéristique et le même polynôme minimal que .
Caractérisation du commutant en dimension 2.
Utilisation de la réduction (forme diagonale ou triangulaire augmentée).
Lien entre similitude et invariants (spectre et diagonalisabilité).
Résolution.
Soit . Puisque le corps de base est , le polynôme caractéristique de est scindé. est donc semblable à une matrice de l'un des trois types suivants.
Cas 1 : est une matrice scalaire.
Supposons qu'il existe tel que .
Dans ce cas, toute matrice semblable à est égale à elle-même car :
Ainsi, l'ensemble des matrices semblables à est le singleton .
Comme commute évidemment avec elle-même, on a :
Dans ce cas, est fini (de cardinal 1).
Cas 2 : est diagonalisable avec deux valeurs propres distinctes.
Supposons que avec . Il existe telle que avec .
Une matrice commute avec si et seulement si commute avec . Or, une matrice commute avec une matrice diagonale à éléments diagonaux distincts si et seulement si elle est elle-même diagonale. On en déduit que :
Soit . est semblable à si et seulement si elles ont le même spectre (en tenant compte des multiplicités) et sont toutes deux diagonalisables. Ici, est déjà diagonalisable. Son spectre est . On a donc si et seulement si .
Ceci offre deux possibilités pour le couple : ou . On obtient :
Dans ce cas, est fini (de cardinal 2).
Cas 3 : n'est pas diagonalisable.
Puisque n'est pas diagonalisable mais possède un polynôme caractéristique scindé sur , elle admet une valeur propre unique de multiplicité 2. Il existe telle que avec .
Calculons le commutant de . Une matrice commute avec si et seulement si :
Ce qui impose et . Ainsi :
Soit , de la forme . est semblable à si et seulement si elles ont le même polynôme caractéristique et si n'est pas diagonalisable. Le polynôme caractéristique de est . On doit donc avoir . Ensuite, est diagonalisable si et seulement si , ce qui équivaut à . Par conséquent, si et seulement si et . L'ensemble est donc :
Comme est un ensemble infini, est infini dans ce cas.
Synthèse.
L'ensemble est fini si et seulement si on se trouve dans le cas 1 ou le cas 2.
Ne pas oublier le cas où est diagonalisable avec une valeur propre double (matrice scalaire). Dans ce cas, ne contient qu'un seul élément, contrairement au cas des valeurs propres distinctes où il en contient deux.