Soit l'espace vectoriel des polynômes à coefficients réels de degré au plus .
Pour tout polynôme , on définit comme le reste de la division euclidienne de par le polynôme .
Pour la question 1, utiliser la linéarité du reste et vérifier que le degré du reste est compatible avec l'espace d'arrivée. On pourra remarquer que .
Pour le noyau, traduire la condition par une relation de divisibilité faisant intervenir .
Pour le spectre, on pourra écrire la matrice de dans la base canonique ou chercher les racines du polynôme caractéristique.
Pour la diagonalisabilité, vérifier si le polynôme caractéristique est scindé sur .
Relation entre reste et divisibilité :
Simplification du calcul :
Critère de diagonalisabilité : un endomorphisme d'un -espace vectoriel est diagonalisable s'il possède un polynôme annulateur scindé à racines simples sur .
1. Nature de l'application
Soit . Par définition de la division euclidienne par (de degré 4), le reste est un polynôme de degré strictement inférieur à 4.
L'application est donc bien à valeurs dans . La linéarité découle des propriétés du reste de la division euclidienne :
Pour tous et , . En passant au reste modulo , on obtient par unicité .
2. Éléments caractéristiques de
Remarquons d'abord que . On en déduit :
Le reste de la division de par est donc le même que celui de par .
Noyau : divise . Comme , la condition devient :
Puisque , est un multiple de .
Image : Par le théorème du rang, . D'après la simplification , on voit que divise toujours . L'image est donc incluse dans le sous-espace des polynômes de s'annulant en 1. Ce sous-espace étant de dimension 3, on a :
Spectre : Calculons les images de la base canonique :
La matrice de dans est :
Le polynôme caractéristique est . En développant par rapport à la première ligne :
Les racines de sont telles que ou . Les solutions dans sont et , soit . Le spectre sur est donc :
3. Diagonalisabilité
L'endomorphisme est défini sur un -espace vectoriel. Son polynôme caractéristique est :
Le discriminant du facteur de degré 2 est .
Par conséquent :
Attention à ne pas oublier de vérifier si les racines du polynôme caractéristique sont réelles. Sur , cet endomorphisme possèderait 4 valeurs propres distinctes et serait donc diagonalisable. Mais ici, l'espace de référence est .