Forçage et Indépendance

Le forçage est une technique permettant d'étendre un modèle de la théorie des ensembles en y adjoignant un objet générique soigneusement choisi, et c'est la méthode principale pour prouver que des énoncés sont indépendants des axiomes standards.

Definition

Le forçage est une méthode qui, à partir d'un modèle de la théorie des ensembles et d'un ordre partiel en son sein, construit un modèle plus grand contenant un filtre générique ; en contrôlant l'ordre partiel, on s'arrange pour que des énoncés prescrits soient vrais ou faux dans l'extension, prouvant ainsi leur cohérence ou leur indépendance.

Scope

Ce sujet couvre la méthode du forçage, les ordres partiels et les filtres génériques, la relation de forçage et la construction d'extensions génériques, la préservation des cardinaux via les conditions de chaîne, et les résultats canoniques d'indépendance pour l'hypothèse du continu et l'axiome du choix, ainsi que l'univers constructible complémentaire de Goedel.

Core questions

• Comment l'adjonction d'un filtre générique produit-elle un nouveau modèle de la théorie des ensembles ?
• Comment la vérité dans l'extension générique est-elle contrôlée par la relation de forçage au sein du modèle de base ?
• Quelles propriétés combinatoires du poset de forçage préservent les cardinaux et les cofinalités ?
• Comment le forçage et l'univers constructible établissent-ils ensemble l'indépendance de l'hypothèse du continu ?

Key theories

Extensions génériques et le théorème de forçage

Étant donné un filtre générique sur un ordre partiel, tout énoncé vrai dans l'extension résultante est forcé par une certaine condition, et cette relation de forçage est définissable dans le modèle de base, permettant ainsi d'analyser l'extension de l'intérieur.

Univers constructible et cohérence de HC

Le modèle interne d'ensembles constructibles de Goedel satisfait l'axiome du choix et l'hypothèse généralisée du continu, montrant que ceux-ci sont cohérents avec les autres axiomes.

Indépendance de l'hypothèse du continu

Cohen a utilisé le forçage pour ajouter de nombreux réels à un modèle de sorte que l'hypothèse du continu échoue, ce qui, combiné au résultat de Goedel, montre que l'hypothèse est indépendante de ZFC.

Clinical relevance

Le forçage est l'outil central de la théorie des ensembles contemporaine : il est utilisé pour prouver l'indépendance d'un large éventail d'énoncés en analyse, en topologie et en algèbre, et pour calibrer la force des principes combinatoires, révélant quelles questions mathématiques les axiomes standards ne peuvent pas résoudre.

History

Goedel a introduit l'univers constructible en 1938 pour prouver la cohérence de l'hypothèse du continu et de l'axiome du choix. En 1963, Cohen a inventé le forçage pour prouver leur indépendance, travail pour lequel il a reçu la Médaille Fields ; Scott, Solovay et d'autres ont reformulé le forçage via des modèles à valeurs booléennes et l'ont développé pour en faire l'appareil standard du domaine.

Key figures

• Paul Cohen
• Kurt Goedel
• Dana Scott
• Robert Solovay

Seminal works

• kunen2011
• cohen1963
• godel1940

Frequently asked questions

Qu'est-ce qu'un filtre générique intuitivement ?

C'est un objet idéalisé choisi pour satisfaire toutes les exigences définissables dans le modèle de base, de sorte qu'il est suffisamment générique pour éviter d'être capturé par une définition unique. Son adjonction produit une extension contrôlée de l'univers des ensembles.

Le forçage modifie-t-il la vérité des axiomes de la théorie des ensembles ?

Non. Une extension générique d'un modèle de ZFC est à nouveau un modèle de ZFC ; le forçage ne modifie que la valeur de vérité des énoncés laissés indéterminés par les axiomes, comme l'hypothèse du continu, ce qui en fait précisément un outil pour les preuves d'indépendance.