Topologie

Queffelec

Utilisée dans les 7 développements suivants :

Connexité valeurs d'adhérence suite dans un compact
Théorème de compacité du calcul propositionnel
Théorème du point fixe de Picard
Théorème de Runge (version faible)
Lemme de Zabrejko et applications
Théorème de Niemytzki-Tychonoff (aka théorème de Bing)
Théorème de la limite simple de Baire

Utilisée dans les 5 leçons suivantes :

205 (2024) Espaces complets. Exemples et applications.
203 (2024) Utilisation de la notion de compacité.
28 (2022) Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.
204 (2024) Connexité. Exemples d'applications.
267 (2023) Exemples d’utilisation de courbes en dimension 2 ou supérieure.

Utilisée dans les 11 versions de développements suivants :

  • Développement :
  • Remarque :
    La principale difficulté de ce développement est d'en retenir les étapes. À part ça, il est plutôt simple en termes de difficulté.

    Le recasage en 245 (fonctions holomorphes) est possible (comme je l'ai mis, même si j'ai d'autres développements plus intéressants dessus), mais il faut le motiver : c'est la version faible du théorème, la version forte portant sur des fonctions holomorphes.
    Je ne l'ai pas recasé en 243 (séries entières), et je ne le conseille pas : de mon point de vue, il y a tellement plus de développements intéressants pour cette leçon que recaser Runge faible dedans pourrait être (vraiment) mal vu de la part du jury. Mais à voir.

    Attention aux coquilles.
  • Référence :
  • Fichier :

Utilisée dans les 16 versions de leçons suivantes :