Développement : Théorème de compacité du calcul propositionnel

Détails/Enoncé :

On commence par démontrer qu'un produit dénombrable de métriques compacts est un métrique compact, puis on démontre le théorème de compacité du calcul propositionnel. Enfin on donne une application au pavage du plan.
Le développement est trop long pour tenir en entier en 15 min : en maths, l'application au pavage n'est pas faite, et en info la compacité du produit de compact est admis.

Recasages pour l'année 2024 :

Versions :

  • Auteur :
  • Remarque :
    Le Queffelec pour la première partie, le reste je n'ai pas de source…
  • Référence :
  • Auteur :
  • Remarque :
    Pour Tykhonoff dénombrable, on pourra voir chez Queffélec.
    Le PDF ci-joint, dû à Benjamin Dadoun (que je remercie !), donne la preuve du théorème de compacité et deux applications classiques.
  • Fichier :

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

Topologie , Queffelec (utilisée dans 28 versions au total)
131 Développements pour l’oral, D. Lesesvre, P. Montagnon, P. Le Barbenchon, T. Pierron (utilisée dans 56 versions au total)