Un de mes développements les plus difficiles, et de loin. Au delà de la difficulté technique de la preuve et du théorème, il y a la difficulté à en trouver une application au niveau de l'agreg (pour être tombée dessus en oral blanc, il ne faut pas sous-estimer cette partie là). J'ai ajouté dans le poly un exemple d'utilisation, mais celui-ci dépasse largement le cadre de l'agreg en invoquant les espaces de Sobolev. Développement à choisir en toute connaissance de cause donc. La contrepartie, ce sont ses excellents recasages (voir sur le poly, j'ai indiqué 6 leçons dans lesquelles je le trouve très adapté).
A mon avis, il convient d'éviter la version du Brézis qui est très obscure et suivre méthodiquement celle de Hirsch-Lacombe.
N.B. Je ne traite que le sens indirect à l'oral, et c'est déjà bien comme ça. Il faut quand même savoir faire l'autre sens, mais il est plus facile.
Attention, ce développement est utilisé dans des leçons de votre couplage. Voulez-vous quand même le supprimer de votre couplage ?
Notre livre est édité !
Après plus d'un an et demi d'écriture, notre livre voit enfin le jour !
Cet ouvrage a été relu par des agrégatifs comme vous pour en faire un outil le plus utile possible !
Cet ouvrage propose une liste de développements analysés finement, replacés dans un contexte global listant le plus exhaustivement possible les imbrications des résultats avec le reste du monde mathématique. Le lecteur trouvera dans cet ouvrage toute les techniques fondamentales de preuve ainsi que des entraînements complets et pédagogiques afin d’être préparé au mieux pour le concours de l’agrégation de mathématiques.