Développement : Dunford et l'exponentielle de matrice

Détails/Enoncé :

Preuve courte de Dunford et application à l'exponentielle de matrice !

Recasages pour l'année 2025 :

Autres années :

Versions :

  • Auteur :
  • Remarque :
    La preuve de Dunford courte est dans le Gourdon
    Pour l'application, je crois qu'elle se trouve dans le NH2G2 ou dans le Gourdon (à vérifier).
  • Référence :
  • Fichier :
  • Auteur :
  • Remarque :
    Je conseille d'avoir précisé dans le plan tout ce qui est question de codiagonalisation (ce qui rends la démonstration plus souple).
    Je déconseille aussi de mettre ce dev dans la leçon sur les exponentielles de matrices, sans une bonne raison (car en tant que tel, le gros de la preuve est Dunford ...). J'ajoute à la fin une petite remarque sur la décomposition de Dunford de l'exponentielle de matrice, si par hasard vous souhaitez vraiment mettre ce dev dans cette leçon.
  • Fichier :
  • Auteur :
  • Remarque :
    D'après moi pour les leçons : 153, 154, 155, 157

    Attention, dans tous mes plans mon énoncé du lemme de décomposition des noyaux inclut le fait que les projecteurs sont des polynômes en l'endomorphisme, ce qui rend la commutativité triviale, mais laisse le temps de faire proprement l'application.

    Je n'ai pas de référence pour l'application.

    NB : tous mes développements sont généralement très détaillés car j'ai besoin de bien comprendre toutes les étapes. En l'état ils sont donc généralement trop longs pour tenir en 15 mins, et les parties "faciles" ne sont donc pas à mentionner ou juste à l'oral.
    J'écris assez mal également, toutes mes excuses.
  • Fichier :
  • Auteur :
  • Remarque :
    Je le mets dans 150, 151, 154, 155, 156. Je pense qu'il est important d'être super nickel quand on fait ce dev comme si on faisait un cours.

    Je le fais avec des projecteurs.
  • Référence :
  • Fichier :

Références utilisées dans les versions de ce développement :

Algèbre , Gourdon (utilisée dans 337 versions au total)
Mathématiques pour l'agrégation: Algèbre et géométrie, Jean Etienne Rombaldi (utilisée dans 510 versions au total)
Algèbre et probabilités, Gourdon (utilisée dans 80 versions au total)
Algèbre linéaire réduction des endomorphismes, R. Mansuy, R. Mneimné (utilisée dans 57 versions au total)