## [Hypothèse du Continu](/fr/node/63252) Définition L'énoncé en théorie des ensembles selon lequel il n'existe pas de cardinal strictement compris entre la cardinalité des entiers ℵ0 et la cardinalité des réels 2^{ℵ0} (équivalemment que 2^{ℵ0} = ℵ1 dans la formulation conventionnelle), affirmant une taille particulière pour le continu. ## Principe Principe Fixer l'ordre des cardinalités infinies immédiatement au-dessus de l'infini dénombrable en niant l'existence de tailles intermédiaires entre ℵ0 et le continu, prescrivant ainsi un successeur cardinal minimal pour l'ensemble des parties des entiers sous l'hypothèse. ## Démonstration Démonstration Dans des modèles de la théorie des ensembles satisfaisant CH on peut affirmer que tout sous-ensemble non dénombrable de la droite réelle a la cardinalité du continu ; inversement, la forcing permet de construire des modèles où existent des cardinalités intermédiaires, illustrant l'indépendance de CH à l'égard de ZFC. ## Mauvaise application Mauvaise application Prendre CH pour un théorème de ZFC lors de la construction d'objets ou de preuves sans expliciter les axiomes, ou utiliser des conséquences de CH dans des arguments portant sur la topologie ou la mesure sans vérifier si le modèle considéré assume CH ou sa négation. ## Conséquence Conséquence Accepter CH ou sa négation modifie le panorama des constructions combinatoires et topologiques possibles (par exemple en affectant l'existence de certains espaces pathologiques, les invariants cardinaux du continu et des énoncés combinatoires), et de nombreuses questions naturelles restent indécidables dans ZFC seul. ## Inversion Inversion La négation de CH affirme l'existence d'au moins un cardinal strictement compris entre ℵ0 et 2^{ℵ0}, ouvrant la possibilité de nombreuses cardinalités intermédiaires et modifiant les conséquences en théorie des ensembles et en topologie découlant de la taille du continu. ## Limite Limite CH est un énoncé purement au niveau de ZFC sur l'arithmétique des cardinaux et ne tranche pas en soi des propriétés plus fines de régularité mesurables ou topologiques ; son statut est celui d'une indépendance vis‑à‑vis de ZFC, donc ni prouvable ni réfutable à partir des seuls axiomes de ZFC. ## Tension sémantique Tension sémantique La tension sémantique surgit entre CH et des hypothèses plus fortes comme l'Hypothèse Généralisée du Continu (GCH), et entre considérer les égalités cardinales comme canoniques ou comme dépendantes du modèle ; cette tension se manifeste en topologie, combinatoire et théorie des modèles. ## Synthèse Synthèse L'Hypothèse du Continu postule une taille minimale spécifique pour le continu en niant des cardinaux intermédiaires entre ℵ0 et 2^{ℵ0} ; son indépendance vis‑à‑vis de ZFC fait d'elle un axiome modulable dont l'acceptation ou le rejet engendre des univers de théorie des ensembles et de topologie différents mais cohérents.