L'anneau des endomorphismes
Dans toute cette leçon, désigne un -espace vectoriel.
Question
Sur , on dispose déjà d'une addition qui en fait un espace vectoriel. Mais on peut aussi composer deux endomorphismes, et la composée est encore un endomorphisme : voilà une seconde loi, une sorte de « multiplication ». Additionner et multiplier des objets, c'est exactement ce qu'on fait avec les entiers ou les matrices. Quelle structure algébrique obtient-on alors sur ? Et cette « multiplication » se comporte-t-elle comme celle des nombres — peut-on toujours échanger l'ordre des facteurs ?
L'anneau des endomorphismes
Proposition 1 : Structure d'anneau
est un anneau.
Démonstration :
On sait que est un groupe abélien, puisque est un -espace vectoriel. De plus, la composée de deux endomorphismes de est un endomorphisme de , donc est une loi de composition interne sur . Il reste à vérifier les trois points suivants.
-
Associativité. La composition des applications est toujours associative : .
-
Élément neutre. On a , et pour tout , .
-
Distributivité de sur . Soient et .
À droite (vrai pour toutes applications) :
À gauche (c'est ici qu'intervient la linéarité de ) :
D'où est un anneau.
Cet anneau a une particularité qui le distingue de ou : sa « multiplication » n'est pas commutative.
Test 1
Pour tous endomorphismes de , on a .
Exemple :
Sur le -espace vectoriel , la projection sur l'axe des abscisses et la rotation d'un quart de tour sont deux endomorphismes, et . Comment le vérifier ?
Exercice 1 : Deux endomorphismes qui ne commutent pas
On reprend et sur . Déterminer et , et conclure.
Solution :(cliquer pour afficher)
Soit . On a :
Ces deux applications sont distinctes : par exemple tandis que . Donc : les deux endomorphismes ne commutent pas.
Itérés d'un endomorphisme
Notation :
Soit et . On note l'itéré -ième de pour la composition, défini par :
Exemple :
Pour la dérivation , , l'itéré est la dérivation -ième : . Comme la dérivation fait chuter le degré de , que se passe-t-il si on itère sur les polynômes de degré au plus ?
Exercice 2 : Nilpotence de la dérivation
Soit . On considère la dérivation , . Montrer que , et que .
Solution :(cliquer pour afficher)
Soit ; on a . En dérivant fois un polynôme de degré au plus , on obtient le polynôme nul : . Ainsi :
donc .
En revanche , car . L'endomorphisme est donc nilpotent d'indice .
Le groupe linéaire
Parmi tous les endomorphismes, certains sont bijectifs : les automorphismes. Ce sont exactement les éléments inversibles de l'anneau . Quelle structure forment-ils ?
Proposition 2 : Groupe linéaire
L'ensemble des automorphismes de , muni de la loi de composition, est un groupe. On l'appelle le groupe linéaire de et on le note .
Démonstration :
Notons l'ensemble des automorphismes de .
- L'application est linéaire et bijective, donc ; c'est le neutre pour .
- Soient . La composée est linéaire, et bijective comme composée de deux bijections, donc : la loi est interne sur .
- La loi est associative.
- Soit . Alors est bijective et sa réciproque est linéaire (réciproque d'un isomorphisme), donc est un automorphisme : , avec .
D'où est un groupe.
Remarque :
- .
- Pour tout , .
- Si , alors pour tout , et on note .
Exercice 3 : Inverse de id − u lorsque u est nilpotent
Soit tel que pour un certain . Montrer que et que :
Solution :(cliquer pour afficher)
Posons . Comme commute avec chacun de ses itérés , l'endomorphisme commute avec . On calcule, en utilisant la distributivité dans l'anneau :
Or et , donc . Le même calcul (télescopage), en plaçant à gauche, donne .
Ainsi est inversible, d'inverse ; en particulier et :
Homothéties
Définition 1 : Homothétie
Soit . L'endomorphisme est appelé homothétie de rapport .
Remarque :
Si , alors et .
Exemple :
Sur , l'application est l'homothétie de rapport .
Exercice 4 : Caractérisation des homothéties
Soit tel que, pour tout , la famille soit liée. Montrer que est une homothétie.
Solution :(cliquer pour afficher)
Pour tout , la famille est liée avec , donc est colinéaire à : il existe tel que . Montrons que ne dépend pas de . Soient .
Si est liée, alors avec . On a d'une part , d'autre part . Donc , et comme , .
Si est libre, alors , donc . Or . Ainsi :
Comme est libre, et , d'où .
Dans tous les cas : il existe donc tel que pour tout . Comme , on a : est l'homothétie de rapport .