Cantor Georg

En 1874, Georg Cantor s'intéresse à une question déroutante : comment comparer la taille de deux ensembles infinis ? Compter leurs éléments un à un ne peut jamais s'achever. Son idée consiste à chercher une correspondance qui associe exactement un élément de chaque ensemble à un élément de l'autre. Cette manière de comparer les infinis ouvre la voie aux cardinalités et aux ordinaux transfinis. Elle place Cantor au fondement de la théorie des ensembles.

Georg Cantor (1845–1918) est un mathématicien né à Saint-Pétersbourg et installé en Allemagne avec sa famille en 1866. Il y étudie sous la direction de Kronecker et Weierstrass. Ses recherches ont contribué à donner un langage mathématique précis à l'infini.

En 1872, Cantor propose de définir un nombre réel comme la limite d'une suite de Cauchy de nombres rationnels. Une telle suite est formée de rationnels qui finissent par devenir aussi proches entre eux qu'on le souhaite. En 1874, il introduit la cardinalité d'un ensemble infini, c'est-à-dire une notion permettant d'en comparer la taille. Il développe ensuite les ordinaux transfinis, qui décrivent les types d'ordre des ensembles bien ordonnés, et leur arithmétique. Ces travaux, combattus par Kronecker, fondent la théorie des ensembles et influencent les fondements des mathématiques et de la logique.

Cantor travaille aussi sur l'hypothèse du continu. Elle affirme qu'aucun ensemble n'a une cardinalité strictement comprise entre celle des entiers naturels et celle des nombres réels. La source rattache à Paul Cohen, en 1963, le résultat selon lequel cette hypothèse est indépendante des axiomes de ZFC : si ZFC est cohérent, ni elle ni sa négation ne peuvent y être démontrées.

On rencontre Georg Cantor dans l'histoire des mathématiques du XIX^e siècle, entre Saint-Pétersbourg et l'Allemagne. Plusieurs marqueurs permettent de le situer : les années 1845–1918, les noms de Kronecker et Weierstrass, puis les dates 1872 et 1874. Les expressions « suite de Cauchy », « cardinalité », « ordinaux transfinis » et « hypothèse du continu » signalent ses principaux terrains de recherche. Cette trace historique porte une idée centrale : l'infini peut devenir un objet de comparaison et de calcul.

Pour situer l'œuvre de Cantor, il faut lire chaque date avec le résultat précis auquel la source l'associe. Premièrement, 1872 concerne une définition des nombres réels par les limites de suites de Cauchy rationnelles. Deuxièmement, 1874 marque l'introduction de la cardinalité des ensembles infinis. Troisièmement, 1884 correspond à sa première crise dépressive. Enfin, 1963 renvoie à Paul Cohen et à l'indépendance de l'hypothèse du continu par rapport à ZFC, sous l'hypothèse que ce système est cohérent.

La frise rend cet ordre visible. Un regard rapide pourrait attribuer 1963 à Cantor, mort en 1918. Le bon réflexe consiste à distinguer la date du travail de Cantor sur l'hypothèse et celle du résultat attribué à Cohen.

Pour reconstruire le parcours intellectuel présenté par la source, quatre repères sont donnés : 1872, 1874, 1884 et 1963. Ils ne décrivent pas tous le même type d'événement et ne concernent pas tous directement Cantor.

1. Associer 1872 à la proposition de définir les nombres réels au moyen de suites de Cauchy de nombres rationnels.

2. Associer 1874 à l'introduction de la cardinalité d'un ensemble infini, puis relier ce jalon au développement des ordinaux transfinis.

3. Séparer 1884 des résultats mathématiques : cette année marque la première crise dépressive mentionnée dans la source.

4. Placer 1963 après la vie de Cantor. Cette date est associée à Paul Cohen et à l'indépendance de l'hypothèse du continu par rapport à ZFC, si ce système est cohérent, non à une publication de Cantor.

Le contrôle est immédiat : 1872 précède 1874 de deux ans, tandis que 1963 est postérieur à 1918. La chronologie sépare ainsi les apports de Cantor, sa biographie et un prolongement ultérieur.

Pour comparer des ensembles infinis, l'héritage de Cantor conduit à chercher leur cardinalité. Le critère pertinent n'est pas la longueur d'une liste inachevable, mais la possibilité d'associer les éléments sans oubli ni doublon.

Pour ordonner une histoire des idées, on rattache chaque date au bon résultat. Cette méthode évite de confondre les travaux de Cantor sur l'hypothèse du continu avec le résultat attribué à Cohen en 1963.

Pour étudier les fondements des mathématiques, on relie ses travaux sur les ensembles, les cardinaux et les ordinaux. Si la question porte seulement sur la construction des réels, le repère de 1872 est plus précis.

Cardinal et ordinal. La cardinalité compare la taille d'ensembles, tandis que les ordinaux transfinis décrivent les types d'ordre des ensembles bien ordonnés. Demander « combien d'éléments ? » oriente vers le cardinal ; comme première intuition, demander « à quelle place ? » peut orienter vers l'ordinal.

Travail de Cantor et résultat de Cohen. Cantor travaille sur l'hypothèse du continu ; la source associe à Paul Cohen, en 1963, le résultat selon lequel elle est indépendante de ZFC, sous réserve de cohérence de ZFC. La date postérieure à 1918 tranche l'attribution.

Une biographie n'est pas une démonstration. Les dates et les attributions situent les idées, mais elles ne prouvent ni les propriétés des cardinalités ni l'indécidabilité. Pour établir un résultat, il faut revenir à son énoncé et à ses hypothèses.

Infini ne signifie pas taille unique. La notion de cardinalité sert précisément à comparer les ensembles infinis. Le symptôme du piège est une phrase qui traite tous les infinis comme interchangeables ; il faut alors préciser quels ensembles sont comparés.

1963 n'est pas un jalon de la vie de Cantor. Cantor meurt en 1918. Si une chronologie place le résultat de Cohen dans sa biographie personnelle, il faut séparer la vie du mathématicien de la postérité de ses questions.

Une proposition indépendante n'est pas simplement une question encore sans réponse. Dans un système formel donné, cela signifie que ni la proposition ni sa négation ne peuvent y être démontrées, sous l'hypothèse que ce système est cohérent. C'est le statut de l'hypothèse du continu par rapport à ZFC.

Hypothèse du continu : pour approfondir la question qui compare le cardinal des entiers naturels à celui des nombres réels.

infini : pour replacer les cardinalités et les ordinaux transfinis dans une vue d'ensemble de l'infini mathématique.

Georg Cantor : passer du fini à l'infini : pour prolonger le portrait par un article consacré au passage du fini à l'infini.