En théorie des ensembles, l'hypothèse du continu, due à Georg Cantor, affirme qu'il n'existe aucun ensemble dont le cardinal est strictement compris entre le cardinal de l'ensemble des entiers naturels et celui l'ensemble des nombres réels. Reformulé sous une autre forme : Tout (Le tout compris comme ensemble de ce qui existe est souvent interprété comme le monde ou...) ensemble (En théorie des ensembles, un ensemble désigne intuitivement une collection...) strictement plus grand (au sens (SENS (Strategies for Engineered Negligible Senescence) est un projet scientifique qui a pour but...) du cardinal) que l'ensemble des entiers naturels doit contenir une " copie " de l'ensemble des nombres réels. Les mathématiciens lui vouent une importance certaine, puisqu'elle est le premier problème des 23 problèmes de Hilbert (Lors du deuxième congrès international des mathématiciens tenu à Paris en 1900,...).
Cantor, en mettant en place la théorie axiomatique des ensembles (Il existe plusieurs versions formelles de la théorie des ensembles, mais quand on parle de...), définit les cardinaux des ensembles infinis, qu'il appela alors nombres transfinis, dans le but de comparer les différents infinis. Au fur (Fur est une petite île danoise dans le Limfjord. Fur compte environ 900 hab. . L'île...) et à mesure de la formation de sa théorie (Le mot théorie vient du mot grec theorein, qui signifie « contempler, observer,...), il en vint à comparer les cardinaux de , qui correspond au dénombrable, et de , qui correspond au continu. Ainsi, au travers de son hypothèse sur le continu, Cantor " hiérarchisa " ces différents transfinis, mais, il ne put démontrer son hypothèse. Et pour cause : cette hypothèse n'est pas démontrable dans la théorie des ensembles usuelle (Paul Cohen 1963). Elle n'est d'ailleurs pas non plus réfutable (Kurt Gödel 1938) : on dit qu'elle est indécidable, ou qu'elle est indépendante des axiomes de la théorie des ensembles usuelle.
On définit (aleph zéro) comme le cardinal de . Soit le cardinal de noté usuellement .
Soit le plus petit cardinal strictement supérieur à , l'hypothèse du continu déclare que . En d'autres termes, cela signifie qu'il n'existe pas d'ensemble infini dont le cardinal serait strictement compris entre le cardinal de et celui de . On passe donc du dénombrable (ou discret), au continu, en faisant un seul bond.
Deux ensembles S et T ont même cardinalité lorsqu'il existe une bijection (Une fonction f: X → Y est dite bijective ou est une bijection si pour tout y...) . Intuitivement, on peut associer chaque élément de S et de T de sorte chaque élément de S est associé à un unique élément de T et réciproquement.
Par exemple, les ensembles {avion, moto, sous-marin} et {air, terre (La Terre est la troisième planète du Système solaire par ordre de distance...), eau} ont même cardinalité. En fait, la nature des objets mis en jeu n'a aucune importance ; leur symbolique ne sert qu'à aider le lecteur à suivre le discours.
Avec des ensembles infinis, certaines analogies peuvent tromper. Naïvement, il semble y avoir plus de nombres rationnels que de nombres entiers : un rationnel est le quotient de deux entiers. Cependant, cette vision est erronée, car il est possible d'énumérer tous les rationnels en les indexant par les entiers naturels. L'ensemble des nombres rationnels, noté , est bijectable avec l'ensemble des nombres entiers, noté . Un tel ensemble est dit infini dénombrable.
L'ensemble des nombres réels, noté , est un exemple d'ensemble non-dénombrable : c'est un ensemble infini qui n'est pas bijectable avec . Cantor en a proposé une première preuve utilisant l'argument de la diagonale. Pour cette raison, est appelé le continuum.
L'hypothèse du continu affirme que tout sous-ensemble (En mathématiques, un ensemble A est un sous-ensemble ou une partie d’un ensemble B, ou...) du continuum est soit fini, soit infini dénombrable, soit a la même cardinalité que le continuum.
Kurt Gödel (Kurt Gödel (28 avril 1906 - 14 janvier 1978) est un mathématicien et...) a montré en 1938 que l'ajout de l'hypothèse du continu à la théorie des ensembles, défini par exemple par les axiomes de Zermelo-Fraenkel, ne changeait nullement la consistance de cette théorie, même si on l'augmente de l'axiome (Un axiome (du grec ancien αξιωμα/axioma,...) du choix.
Paul Cohen a montré en 1963 que l'hypothèse du continu n'était pas démontrable dans la théorie des ensembles basée sur les axiomes de Zermelo-Fraenkel. Elle est donc indépendante de la théorie des ensembles.
Commencée il y a une trentaine d'années, la recherche (La recherche scientifique désigne en premier lieu l’ensemble des actions entreprises en vue...) d'axiomes " naturels " à ajouter à la théorie de Zermelo-Fraenkel (axiomes de détermination, axiomes de grands cardinaux, etc.) va sans doute permettre, grâce aux travaux de Woodin, de résoudre prochainement l'hypothèse du continu... par la négative, ce que soupçonnait déjà Gödel.
Il n'y a pas de quoi être surpris de l'existence d'énoncés ne pouvant être démontrés ou infirmés à partir d'un système d'axiomes donné, c'est par exemple le cas du postulat d'Euclide (Euclide, en grec ancien Εὐκλείδης...) relativement à son système "axiomatique".
L'hypothèse du continu n'est pas sans rapport avec des énoncés d'analyse, ou de théorie de la mesure.
Historiquement, les mathématiciens en faveur d'une large classe d'ensembles rejettent l'hypothèse du continu, alors que ceux favorables au contraire à une ontologie ensembliste plus restreinte l'acceptent.
L'hypothèse généralisée du continu déclare qu'il n'existe pas d'ensemble dont le cardinal serait strictement compris entre et , α parcourant les ordinaux et étant le cardinal de l'ensemble des parties d'un ensemble de cardinal .
On aurait alors : il n'y aurait rien entre un cardinal et l'ensemble de ses parties, à bijection près. Cette hypothèse est aussi un indécidable d'après les travaux de Gödel et Cohen.