Utilisée dans les 34 versions de développements suivants :
Théorème de Chevalley-Warning
Théorème de Chevalley-Warning
-
Développement :
-
Référence :
-
Fichier :
Loi de réciprocité quadratique
-
Développement :
-
Remarque :
Mis à jour le 26.04.17
-
Référence :
-
Fichier :
Surjectivité de l'exponentielle matricielle
-
Développement :
-
Remarque :
Mis à jour le 17.05.17
-
Référence :
-
Fichier :
Théorème de Chevalley-Warning
-
Développement :
-
Références :
-
Fichier :
Surjectivité de l'exponentielle matricielle
-
Développement :
-
Référence :
-
Fichier :
Base de Burnside
-
Développement :
-
Référence :
-
Fichier :
Base de Burnside
-
Développement :
-
Référence :
-
Fichier :
Théorème de Chevalley-Warning + EGZ
-
Développement :
-
Références :
-
Fichier :
Surjectivité de l'exponentielle matricielle
-
Développement :
-
Référence :
-
Fichier :
Générateurs de Gl_n(K) et Sl_n(K) et application à la connexité
-
Développement :
-
Remarque :
D'après moi pour les leçons : 108 et 162, peut-être plus utile pour la 162 car je ne trouve pas qu'il soit facile de trouver des développements pour celle-ci.
Les références pour chacune des démonstrations sont dans le document, mais il y a une coquille pour Gl_n(C), c'est l'application de R x ]0, 1[ -> C telle que t -> $\Psi_a$(t) qui est injective (pas [0,1] fermé !).
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.
-
Références :
-
Fichier :
Surjectivité de l'exponentielle matricielle
-
Développement :
-
Remarque :
D'après moi pour les leçons : 156, 204, 214 et 215.
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.
-
Référence :
-
Fichier :
Des groupes bien mélangés par leurs automorphismes
-
Développement :
-
Remarque :
page 9 à 12
-
Référence :
Surjectivité de l'exponentielle matricielle
-
Développement :
-
Remarque :
Développement consistant d'un seul théorème utilisant le théorème d'inversion locale.
Selon moi, se recase seulement pour les leçons : 156, 204, 214 et 215.
Résultats bonus:
1. Théorème des fonctions implicites
2. Théorème d'inversion locale
Développement n°9 sur 28.
Pour une version de rekasator qui marche aller sur: https://docs.google.com/document/d/1vnBvwVGapXvQC4cU5CHUJWo04E4eezzDSjSIDRekaPE
-
Référence :
-
Fichier :
Surjectivité de l'exponentielle matricielle
-
Développement :
-
Référence :
-
Fichier :
Théorème de Chevalley-Warning + EGZ
Surjectivité de l'exponentielle matricielle
-
Développement :
-
Référence :
-
Fichier :
Sous-groupe de Frattini d'un p-groupe
Volume et déterminant de Cayley-Menger
-
Développement :
-
Remarque :
problème 13 (pp.73-79)
-
Référence :
Surjectivité de l'exponentielle matricielle
-
Développement :
-
Référence :
-
Fichier :
Théorème de Chevalley-Warning
-
Développement :
-
Remarque :
Recasages : 120,123,144,121,126,190
Je suis tombée dessus à l'oral, le jury a bien aimé. La démo entière n'est pas faisable en 15mn, mais il faut être prêt.e à savoir très rapidement expliquer "avec les mains" la généralisation du théorème à n quelconque (par récurrence), j'ai un peu regretté de ne pas m'y être plus préparée parce qu'au final il me restait un peu de temps à la fin du dev.
Lien direct vers le fichier : https://file.notion.so/f/s/5e8351a9-8a78-464b-a8a0-499be1342432/Theoremes_de_Chevalley_Warning_et_dErdos-Ginsburg-Ziv.pdf?id=1315ddfe-ea66-435e-92a5-4db8a9d87f67&table=block&spaceId=687bfd0e-1fc2-4484-9a48-571d8d7ee864&expirationTimestamp=1689883200000&signature=B9Wr_zaYvD-uRm5GytniEpQSoSs5WsZI8-F0Y23jI5E&downloadName=Théorèmes+de+Chevalley+Warning+et+d%27Erdös-Ginsburg-Ziv.pdf
Vous trouverez toutes mes ressources pour l'agrégation à cette adresse : https://www.notion.so/delbep/Agr-gation-c834c3492ca94b68b157e683e615536b?pvs=4
-
Référence :
-
Fichier :
Image de l'exponentielle matricielle
-
Développement :
-
Remarque :
Utiliser l'inversion locale et les techniques de groupes topologiques c'est plutôt stylé ! Et en plus ça rentre dans connexité, que demander de plus ?
ERRATUM : Dans ma première version jointe ici, j'ai écrit une ÉNORME bêtise : $\mathbb{C}[A]^{\times}$ est connexe par arcs, mais pas parce que c'est l'intersection de deux connexes par arcs !! On montre en fait qu'il est connexe par arcs de la même manière que $\mathrm{GL}_n(\mathbb{C})$ grâce au fait que $\mathbb{C}[A]^{\times} = \mathbb{C}[A] \cap \mathrm{GL}_n(\mathbb{C})$.
-
Référence :
-
Fichier :
Surjectivité de l'exponentielle matricielle
-
Développement :
-
Remarque :
Développement sympa, pas très compliqué, mais qui nécessite un peu de travail quand même pour ne pas s'embrouiller.
Je le prends pour les leçons 150, 155, 204 et 214.
On trouvera la preuve aux alentours de la page 53 (qui est la correction du problème 9 partie II page 49).
-
Référence :
-
Fichier :
Présentation du groupe symétrique
-
Développement :
-
Référence :
Formule d'inversion de Fourier dans S(Rd) ou L(Rd)
Surjectivité de l'exponentielle matricielle
-
Développement :
-
Remarque :
*Mes développements n’ont pas été pensés pour être partagés au départ, vous excuserez mon écriture et mes notations un peu brouillonnes. Soyez vigilants sur les coquilles/erreurs possibles et critiques sur ce que vous lisez. N’hésitez pas à me contacter pour des clarifications.
*La plupart de mes dévs contiennent un plan et un rappel des énoncés, pour être au clair sur ce qu’on a à disposition et ce qu’on veut faire.
*Les recasages inscrits sur le document sont les numéros de 2023/2024.
-
Référence :
-
Fichier :
Loi de réciprocité quadratique (par les sommes de Gauss)
-
Développement :
-
Référence :
-
Fichier :
Surjectivité de l'exponentielle matricielle
-
Développement :
-
Références :
-
Fichier :
Théorème de Chevalley-Warning + EGZ
-
Développement :
-
Référence :
-
Fichier :
Théorème d'Hadamard Levy
-
Développement :
-
Remarque :
On utilise le flot d'un ODE pour la démonstration. Attention, de mon point de vue les refs ne sont pas vraiment optimales, cela demande donc un petit peu de travail pour bien adapter la preuve. De plus je ne connais qu'une application de ce résultat, donnée dans le document.
Le lien pour le document:
https://perso.eleves.ens-rennes.fr/people/thomas.courant/Agr%C3%A9gation.html
-
Références :
-
Fichier :
Surjectivité de l'exponentielle matricielle
Utilisée dans les 15 versions de leçons suivantes :
142 : Algèbre des polynômes à plusieurs indéterminées. Applications.
-
Leçon :
-
Références :
-
Fichier :
204 : Connexité. Exemples et applications.
-
Leçon :
-
Remarque :
Mis à jour le 25.05.17
-
Références :
-
Fichier :
153 : Polynômes d’endomorphisme en dimension finie. Réduction d’un endomorphisme en dimension finie. Applications.
-
Leçon :
-
Références :
-
Fichier :
153 : Polynômes d'endomorphisme en dimension finie. Réduction d'un endomorphisme en dimension finie. Applications.
156 : Exponentielle de matrices. Applications.
-
Leçon :
-
Remarque :
Plan très fortement inspiré du plan de M. Cacitti-Holland: http://perso.eleves.ens-rennes.fr/~dcaci409/Agregation.html#lecons
Références en fin de plan avec les notations:
[Rom] Mathématiques pour l'agrégation: Algèbre et géométrie : Jean Etienne Rombaldi
[Zad] Un max de maths : Zavidovique
[H2G2] Histoires hédonistes de groupes et géométries, Tome 1 : Caldero, Germoni
[Ber] Analyse pour l'agrégation de mathématiques, 40 développements : Julien Bernis et Laurent Bernis
[Isen] L'oral à l'agrégation de mathématiques - Une sélection de développements : Isenmann
-
Références :
-
Fichier :
204 : Connexité. Exemples et applications.
-
Leçon :
-
Remarque :
Plan très fortement inspiré du plan de M. Cacitti-Holland: http://perso.eleves.ens-rennes.fr/~dcaci409/Agregation.html#lecons
Références en fin de plan avec les notations:
[Has] Topologie générale et espaces normés : Hage Hassan
[Rou] Petit guide de calcul différentiel : Rouvière
[Tau] Analyse complexe pour la Licence 3 : Tauvel
[Zad] Un max de maths : Zavidovique
[ZQ] Analyse pour l'agrégation : Queffelec, Zuily
-
Références :
-
Fichier :
214 : Théorème d’inversion locale, théorème des fonctions implicites. Exemples et applications en analyse et en géométrie.
-
Leçon :
-
Remarque :
Plan très fortement inspiré du plan de M. Cacitti-Holland: http://perso.eleves.ens-rennes.fr/~dcaci409/Agregation.html#lecons
Références en fin de plan avec les notations:
[ElAm] Calcul Différentiel : El Amrani (pas référencé dans agregmaths)
[Zad] Un max de maths : Zavidovique
[ZQ] Analyse pour l'agrégation : Queffelec, Zuily
-
Références :
-
Fichier :
204 : Connexité. Exemples et applications.
-
Leçon :
-
Références :
-
Histoires hédonistes de groupes et géométries, Tome 1, Caldero, Germoni
-
Oraux X-ENS Algèbre 3
, Francinou, Gianella, Nicolas
-
Oraux X-ENS Analyse 1
, Francinou, Gianella, Nicolas
-
Oraux X-ENS Analyse 3, Francinou, Gianella, Nicolas
-
Analyse
, Gourdon
-
Les contre-exemples en mathématiques
, Hauchecorne
-
Groupes de Lie classiques, Mneimné, Testard
-
Cours d'analyse
, Pommelet
-
Topologie
, Queffelec
-
Analyse réelle et complexe
, Rudin
-
Un max de maths
, Zavidovique
-
Fichier :
204 : Connexité. Exemples et applications.
-
Leçon :
-
Références :
-
Topologie générale et espaces normés
, Hage Hassan
-
Oraux X-ENS Algèbre 2
, Francinou, Gianella, Nicolas
-
131 Développements pour l’oral, D. Lesesvre, P. Montagnon, P. Le Barbenchon, T. Pierron
-
Topologie
, Queffelec
-
Analyse complexe pour la Licence 3, Tauvel
-
Un max de maths
, Zavidovique
-
Fichier :
214 : Théorème d’inversion locale, théorème des fonctions implicites. Exemples et applications en analyse et en géométrie.
151 : Dimension d’un espace vectoriel (on se limitera au cas de la dimension finie). Rang. Exemples et applications.
-
Leçon :
-
Remarque :
C'est la version que j'ai présentée en oral blanc. J'ai mis les références utilisées (entre crochets) à chaque paragraphe. Quelques remarques :
-Il y a des choses de la partie I qui se placent mieux dans la partie II (tout ce qui concerne les applications linéaires : théorème du rang, équivalences bijectivité ssi surjuectivité ssi injectivité, etc);
-Si on a le temps, la place et l'envie, on peut aussi parler de dualité;
-L'algorithme de Berlekamp se place bien dans la sous-partie extension de corps - corps finis.
-
Références :
-
Fichier :
155 : Exponentielle de matrices. Applications.
150 : Polynômes d'endomorphisme en dimension finie. Réduction d'un endomorphisme en dimension finie. Applications.
155 : Exponentielle de matrices. Applications.
204 : Connexité. Exemples d'applications.