Géométrie plane, systèmes, polynômes d’endomorphismes
par
Quelques mots sur les trois leçons vues avec moi les 14 et 15 février :
Isométries du plan ou de l’espace
Une remarque. Une propriété très utile des isométries est la décomposition suivante.
Théorème. Pour toute isométrie , il existe une unique isométrie et une unique translation de vecteur telles que :
- on a : ,
- l’isométrie possède un point fixe,
- le vecteur est stable par l’application linéaire associée à .
Remarques sur cet énoncé :
- les isométries et ont la même application linéaire associée ;
- par le principe de conjugaison, on a : , si bien qu’il est équivalent de demander que et commutent et que ;
- toute application affine peut s’écrire comme composée d’une application ayant un point fixe et d’une translation mais les contraintes supplémentaires la rendent unique et (donc) utile ;
- l’unicité n’est pas garantie pour une application affine quelconque , voici un exemple : et pour dans ; on peut prendre et mais aussi (qui fixe ) et ;
- compte tenu de ce qui précède, la propriété qui permet de prouver la décomposition du théorème est que l’espace propre possède un supplémentaire stable par ; lorsque est une isométrie, c’est parce que son orthogonal est stable par ;
- pour plus de détails, voir le livre de Michèle Audin, Géométrie, fin du paragraphe I.3 et proposition II.2.8.
Systèmes linéaires et algorithme de Gauss
Remarques sur le plan de la leçon « Systèmes »
- Il faut distinguer les parties purement algébriques et les parties numériques.
- Le comptage des opérations nécessaires pour pratiquer l’algorithme de Gauss n’est pas très difficile (cela revient, in fine, à calculer et ) mais sera, je n’en doute pas, fort apprécié en ces temps pro-algorithmiques.
- Les questions des erreurs d’arrondi et de conditionnement sont délicates à traiter mais les évoquer ne coûte pas grand-chose (voir référence ci-dessous).
- Le rapport du jury dit : « Cette leçon repose, fondamentalement, sur la notion de rang qui doit donc être évoquée sans tarder. On doit aussi mettre en valeur l’interprétation des systèmes d’équations linéaires en termes d’images réciproques par une application linéaire. La comparaison de différentes méthodes de résolution (y compris les méthodes du pivot) est également attendue. » Ce qui impose en particulier au plan d’évoquer au moins une autre méthode que le pivot.
L’idée « plus »
Le théorème suivant est relativement peu connu en France alors qu’il apparaît dès les premiers chapitres d’algèbre linéaire dans d’autres pays.
Théorème (fang sheng). Soit et deux matrices de même taille. Il est équivalent de dire :
- les noyaux de et sont égaux (i.e. les systèmes et sont équivalents) ;
- il existe une matrice inversible telle que ;
- les matrices et ont même forme échelonnée réduite.
Références pour cette leçon :
- Michelle Schatzman, Analyse numérique, :
- chap. 9, paragraphe 9.2 : calcul de la complexité de l’algorithme de Gauss ;
- juste après : exemple d’un système 2×2 mal conditionné, donnant lieu à des erreurs numériques importantes ;
- pas trop loin : méthodes itératives ;
- Cognet, Algèbre linéaire, chap. 4 : on y trouve l’engendrement de GL(n) par les transvections et les dilatations et celui de SL(n) par les transvections, puis des applications au centre de GL(n), au groupe dérivé de GL(n) et SL(n) et à la simplicité de PSL(n). Pour les applications, le Cours d’algèbre de Daniel Perrin est une bonne référence.
- Roudier, Algèbre linéaire, chapitre 8 : je ne sais déjà plus ce qu’il y a dedans !
- Pierre Gabriel, Matrices, géométrie, algèbre linéaire, partie A, chapitre 2 (début du livre) : présentation compacte de la forme échelonnée sous le nom d’algorithme Fang sheng (car la méthode apparaît sous ce nom dans Les neuf chapitres sur l’art mathématique, livre chinois du Ier siècle de notre ère).
- Goblot, Algèbre linéaire : quelque chose de semblable avec un plus : l’idée de l’appliquer, mutatis mutandis, à des matrices à coefficients entiers : chapitre 3, II et chapitre 8 pour les modules sur les anneaux principaux —et application aux groupes abéliens de type fini et aux modules sur les anneaux principaux. On trouvait ça aussi dans le Cours d’algèbre de Daniel Guin mais il semble dur à trouver ; voir ceci.
- Denis Serre, Les matrices, chap. 9 : méthodes itératives : d’autres méthodes que l’algorithme de Gauss pour résoudre un système.
Polynôme d’endomorphisme
Ajout du 7/3 : une preuve du lemme des noyaux.
On fixe un espace vectoriel de dimension finie sur un corps et un endomorphisme de . Voici quelques questions :
- Quelle est la dimension de l’espace vectoriel des polynômes en ?
- Soit un endomorphisme satisfaisant à .
- Calculer .
- Prouver qu’il existe un endomorphisme dont le carré est . Donner une expression d’un tel endomorphisme comme polynôme en .
- Mêmes questions en remplaçant le polynôme annulateur par .
- Donner un polynôme qui annule ue matrice de permutation. Quel est le polynôme minimal (resp. le polynôme caractéristique) d’une matrice de permutation ?
- On suppose qu’il existe un vecteur de tel que engendre . Prouver que tout endomorphisme qui commute à est un polynôme en [Variante : on suppose que est une matrice-compagnon d’un polynôme : prouver que toute matrice qui commute à est un polynôme en .]
Commentaires