CONTINU HYPOTHÈSE DU

Carte mentale

Élargissez votre recherche dans Universalis

Les fragments Hk

En considérant des ensembles de taille de plus en plus grande, on obtient une suite naturelle de fragments. On notera H0 le fragment constitué des ensembles héréditairement finis, c'est-à-dire finis et dont les éléments, les éléments des éléments, etc., sont finis. De même, on notera H1 le fragment des ensembles héréditairement dénombrables ou héréditairement finis, puis Hk celui des ensembles héréditairement de cardinal moindre que ℵk, le k-ième cardinal infini de Cantor.

Rappelons que le cardinal d'un ensemble est le nombre de ses éléments : dans le cas des ensembles finis, c'est un nombre entier naturel ; dans le cas des ensembles infinis, Cantor a construit des objets jouant le même rôle, appelés nombres transfinis, et organisés en une chaîne croissante ; le plus petit des nombres transfinis, noté ℵ0 (lu « aleph zéro »), correspond à l'ensemble des nombres entiers naturels ℕ ; puis, correspondant à des ensembles de plus en plus grands, viennent ℵ1, ℵ2, et ainsi de suite. Le problème du continu est de savoir si la cardinalité de l'ensemble des nombres réels est ℵ1, c'est-à-dire si c'est le premier nombre transfini après ℵ0.

Il se trouve qu'en un sens précis l'arithmétique des nombres entiers naturels, autrement dit la structure (ℕ, +, ×), est équivalente à H0, et, par conséquent, ZFC est une solution pour H0.

Dans une large mesure, l'étude du fragment H1, notamment la recherche de solutions, a été la tâche principale de la théorie des ensembles jusqu'à la démonstration du théorème de Martin et Steel en 1985. La conclusion est l'existence d'une solution canonique, à savoir le système obtenu en ajoutant à ZFC l'axiome de détermination projective DP : avec ZFC+DP, on retrouve pour H1 la situation obtenue avec ZFC pour H0, à savoir complétude empirique et invariance par forcing.


1  2  3  4  5
pour nos abonnés,
l’article se compose de 4 pages


Écrit par :

  • : professeur à l'université de Caen et à l'Institut universitaire de France

Classification


Autres références

«  CONTINU HYPOTHÈSE DU  » est également traité dans :

CANTOR GEORG (1845-1918)

  • Écrit par 
  • Hourya BENIS-SINACEUR
  •  • 2 887 mots
  •  • 1 média

Dans le chapitre « L’invention du transfini »  : […] Dans une suite de mémoires publiés de 1878 et à 1891, Cantor généralise à l’infiniment grand la notion de nombre entier fini et construit une arithmétique dont les règles spécifiques diffèrent partiellement de celles des nombres finis. Le premier acte en est l’affirmation fondamentale qu’il y a « après le fini, un transfini […], c’est-à-dire une échelle illimitée de modes déterminés qui par nature […] Lire la suite☛ http://www.universalis.fr/encyclopedie/georg-cantor/#i_32233

COHEN PAUL JOSEPH (1934-2007)

  • Écrit par 
  • Gabriel SABBAGH
  •  • 154 mots

Mathématicien et logicien américain, Paul Joseph Cohen est né le 2 avril 1934 à Long Branch (New Jersey) et mort le 23 mars 2007 à Stanford (Californie). En 1963, Cohen a découvert une nouvelle construction de modèles, appelée forcing, qui joue désormais un rôle fondamental dans la théorie des ensembles et dans la théorie des modèles ; et il a construit des modèles de la théorie des ensembles (sup […] Lire la suite☛ http://www.universalis.fr/encyclopedie/paul-joseph-cohen/#i_32233

CONTINU & DISCRET

  • Écrit par 
  • Jean-Michel SALANSKIS
  •  • 7 679 mots

Dans le chapitre « Continu et théorie des fondements »  : […] Du double aspect du mystère du continu et du discret, la logique et la théorie des ensembles, en première approche, ne retiennent que celui qui est lié au problème de l'infini en général : le problème du continu y est envisagé comme problème du « nombre transfini » associé à l'objet de l'analyse réelle. On se contentera ici de mentionner le théorème de Lowenheim-Skolem et le résultat de Cohen au s […] Lire la suite☛ http://www.universalis.fr/encyclopedie/continu-et-discret/#i_32233

GÖDEL KURT (1906-1978)

  • Écrit par 
  • Daniel ANDLER
  •  • 2 293 mots

Dans le chapitre « L'œuvre »  : […] Les travaux de Gödel ont été exposés et situés dans leur contexte mathématique et épistémologique (cf. logique mathématique , hilbert , fondements des mathématiques et problèmes de hilbert ). Aussi nous contenterons-nous ici d'un bref aperçu. Le premier grand résultat est celui de la complétud […] Lire la suite☛ http://www.universalis.fr/encyclopedie/kurt-godel/#i_32233

HILBERT DAVID (1862-1943)

  • Écrit par 
  • Rüdiger INHETVEEN, 
  • Jean-Michel KANTOR, 
  • Christian THIEL
  •  • 14 855 mots
  •  • 1 média

Dans le chapitre « Problème 1 : hypothèse du continu »  : […] Cantor ayant démontré que le cardinal de l'ensemble des réels R excède celui de l'ensemble des entiers N , la question se pose de savoir si entre ℵ 0 (cardinal de N ) et 2 0 (cardinal de R , dont on voit facilement qu'il égale celui de l'ensemble des parties de N ) il existe un cardinal intermédiaire. Autrement dit, est-il possible qu'un sous-ensemble infini de R ne […] Lire la suite☛ http://www.universalis.fr/encyclopedie/david-hilbert/#i_32233

INFINI, mathématiques

  • Écrit par 
  • Jean Toussaint DESANTI
  •  • 10 364 mots

Dans le chapitre « La puissance d'un ensemble »  : […] La définition du concept de puissance n'offre pas de difficultés pour qui dispose du concept d'application biunivoque. On dira que deux ensembles (et, à l'origine, Cantor raisonne dans le domaine de l'analyse, c'est-à-dire sur des ensembles de points) ont même puissance s'il est possible de définir, des éléments de l'un vers les éléments de l'autre, une application biunivoque. Le concept de puiss […] Lire la suite☛ http://www.universalis.fr/encyclopedie/infini-mathematiques/#i_32233

RÉELS NOMBRES

  • Écrit par 
  • Jean DHOMBRES
  •  • 15 297 mots

Dans le chapitre « Rôle des nombres réels »  : […] Dans la vie quotidienne, l'ensemble R des nombres réels est le modèle auquel se rapporte toute mesure : une mesure par rapport à une unité de mesure choisie se traduit par un nombre réel. Du point de vue mathématique, l'intérêt de l'ensemble des nombres réels est sa richesse, par profusion de structures imbriquées. Depuis la fin du xix e  siècle, […] Lire la suite☛ http://www.universalis.fr/encyclopedie/nombres-reels/#i_32233

Voir aussi

Pour citer l’article

Patrick DEHORNOY, « CONTINU HYPOTHÈSE DU », Encyclopædia Universalis [en ligne], consulté le 19 octobre 2019. URL : http://www.universalis.fr/encyclopedie/hypothese-du-continu/