Pour que le développement soit assez long, il faut déjà ne pas aller trop vite, et montrer l'un ou les deux détails suivants:
- les compacts en dimension finie sont les fermés bornés (et non dire que c'est immédiat parce que c'est isomorphe à $\mathbb{K}^n$ ou je ne sais quel autre revers de la main) (c'est un procédé d'extraction diagonale, c'est intéressant en soi)
- une application continue coercive en dimension finie atteint un minimum pour montrer que la distance à un sev est atteinte
Gourdon Analyse [3e édition] p50+56
Rekasator alternatif (test exhaustif cherchant la plus petite quantité sans prendre en compte la qualité) + tableur pour le suivi des leçons: https://sites.google.com/view/ospoam/accueil
Développement long. En fonction de la leçon tirée, je conseille de faire un choix sur les résultats que vous voudriez montrer devant le jury.
Également, pour que ce développement ait du sens, il est plutôt souhaitable d'aborder les notions de topologie dans l'ordre présenté par le livre en référence.
Je n'ai pas de source pour la preuve du lemme 1 dans mon pdf.
Recasages : 151, 203, 205, 206, 208.
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.