ExerciceMaths Sup – MPSI, chapitre 17 — Groupe symétrique et déterminants · Déterminant d'un endomorphisme, d'une matrice carrée
Exercice 28
1. Calculer le déterminant de l'endomorphisme de dans chacun des cas suivants :
2. Soit l'ensemble des fonctions , où parcourt . Montrer que est un espace vectoriel de dimension finie, que la dérivation est un endomorphisme de , et calculer .
Corrigé
1. Dans chaque cas, est linéaire et ne fait pas monter le degré ; on écrit sa matrice dans la base canonique , et l'on utilise la proposition 9 (ii) : est le déterminant de cette matrice.
(a) On a : la matrice est triangulaire supérieure, de coefficients diagonaux tous égaux à .
(b) La formule du binôme donne , de degré : la matrice est triangulaire supérieure à diagonale nulle. On peut aussi remarquer que , de sorte que n'est pas injectif (théorème 5 (iii)).
(c) On a et, pour , . La matrice a une première ligne formée de , des coefficients diagonaux , et des zéros partout ailleurs : elle est triangulaire supérieure.
2. L'application , de dans l'espace des fonctions de dans , est linéaire. Elle est injective : si pour tout réel , le polynôme a une infinité de racines, donc il est nul (chapitre 13). Son image est donc un sous-espace vectoriel de dimension , de base avec .
Pour , on a , donc : la dérivation , linéaire, est un endomorphisme de , et , où est l'endomorphisme du cas (a). La matrice de dans la base est donc celle de dans la base . À retenir. Un isomorphisme qui transporte un endomorphisme sur un autre transporte aussi sa matrice, donc son déterminant. Comme , la dérivation est bijective sur : toute fonction a une unique primitive de la même forme, ce que l'exercice 23 du chapitre 16 avait obtenu en inversant la matrice.