De Venn à Cantor : trois repères sur les ensembles

Intervenant 10:00

Bonjour à toutes et à tous et bienvenue dans cette nouvelle exploration. C'est le podcast du magazine Tangente. On est vraiment ravis de lancer cette discussion aujourd'hui.

Intervenant 20:09

Oui, bonjour à tous. C'est un sacré programme qui nous attend aujourd'hui.

Intervenant 10:13

Complètement. En fait, on se penche sur un article fascinant, les règles de l'infini. Et le but de notre plongée du jour, c'est vraiment de montrer que manipuler des ensembles mathématiques, ce n'est pas du tout un terrain de jeu où on fait ce qu'on veut.

Intervenant 20:24

Ah ça non ! C'est régi par une rigueur implacable, avec des règles très strictes qui nous mènent parfois face à des murs invisibles.

Intervenant 10:31

Ou même des gouffres inattendues. Et d'ailleurs, cette fameuse rigueur, elle commence avec les fondations les plus basiques qui soient, la logique classique. L'article utilise une image super quotidienne pour ça, le parapluie.

Intervenant 20:43

Oui, l'exemple du parapluie est parfait. C'est ce qu'on appelle en logique le modus ponens. Grosso modo, la règle dit que s'il pleut, la règle exige de sortir le parapluie. Donc si on voit la pluie tomber, paf, on sait qu'il faut le sortir.

Intervenant 10:57

C'est ça. Et à l'inverse, il y a le modus tollens. Donc, si on n'a pas de parapluie ouvert dans la rue, c'est qu'il ne pleut pas.

Intervenant 21:04

Exactement. Et ce qui est assez fou, c'est que toute la théorie des ensembles, même les démonstrations les plus complexes de 100 pages, reposent là-dessus.

Intervenant 11:12

Attends, tu veux dire que peu importe la complexité d'un théorème, au fond, c'est juste une immense chaîne de « s'il pleut, je prends mon parapluie ».

Intervenant 21:19

C'est exactement ça, oui.

Intervenant 11:20

Ce ne sont que des combinaisons mécaniques de ces briques de base.

Intervenant 21:23

C'est ce qu'on appelle la syntaxe formelle. L'intuition n'a pas vraiment le droit de citer ici.

Intervenant 11:28

D'accord, ce sont uniquement ces déductions strictes qui valident le cheminement. Mais du coup, si la logique est une cage aussi sévère, qu'est-ce qui se passe quand on essaie de dessiner ces concepts ? Je pense au fameux diagramme de Venn.

Intervenant 21:41

Ah, le fameux casse-tête des ellipses. Les mathématiciens ont cherché pendant des décennies à dessiner un diagramme de Venn pour quatre ensembles en utilisant des ellipses avec une symétrie parfaite.

Intervenant 11:51

Une symétrie parfaite, donc invariable si on tourne le dessin sur lui-même, c'est ça ?

Intervenant 21:56

C'est ça, oui. Pour un, deux ou trois ensembles, la construction géométrique fonctionne. Mais pour quatre ensembles, c'est formellement impossible.

Intervenant 12:04

Mais pourquoi ? C'est juste… On manque de place sur la feuille pour croiser toutes les lignes proprement ?

Intervenant 22:09

Ben non, pas du tout. C'est l'arithmétique pure qui vient bloquer la géométrie. Dans les années 60, David Anderson a prouvé un truc dingue.

Intervenant 12:17

Ah ouais, quoi ?

Intervenant 22:18

Pour avoir cette symétrie parfaite avec quatre ensembles, on doit obligatoirement créer très exactement six zones d'intersection entre deux ensembles. Le problème, c'est que dans une symétrie par rotation, le nombre total d'ensemble doit diviser ce nombre de zones. Or, quatre ne divise pas six.

Intervenant 12:37

Ah ouais. Donc une simple règle de division vient littéralement interdire à un dessin d'exister.

Intervenant 22:42

Le coup prêt à net, oui. Et la communauté a mis près de 40 ans pour démêler le reste du problème. C'est seulement en 2003 qu'une équipe a prouvé que ces dessins symétriques sont réalisables uniquement si le nombre d'ensemble est un nombre premier. Un nombre premier, carrément. Eh oui. Donc avec 5, 7 ou 11 ensembles, la règle te laisse faire. Mais avec 4, elle te bloque.

Intervenant 13:02

C'est le vertige. Ces lois invisibles qui bloquent des petits dessins finis, c'est déjà fou. Mais du coup, que se passe-t-il quand on applique cette même rigidité à des ensembles qui ne s'arrêtent jamais ? À l'infini, quoi.

Intervenant 23:15

Alors là, on entre directement sur le territoire de Georges Cantor dans les années 1870. Il s'est posé une question redoutable. Est-ce qu'il existe des infinis avec des tailles différentes ?

Intervenant 13:27

Attends, pause. Un infini, par définition, ça ne s'arrête jamais. Comment un truc qui ne s'arrête pas peut être plus grand qu'un autre truc qui ne s'arrête pas non plus ? Ça défile la logique.

Intervenant 23:37

C'est totalement contre-intuitif. C'est la beauté de la chose. Cantor a prouvé dès 1874 que l'infini des nombres réels, donc tous les nombres à virgule imaginables, est fondamentalement plus vaste que l'infini des nombres entiers, comme 1, 2 ou 3.

Intervenant 13:52

D'accord, mais comment on peut vraiment visualiser cette différence sans se faire des nœuds au cerveau avec des maths trop techniques, quoi ?

Intervenant 23:59

Eh bien, Cantor lui-même a trouvé une méthode brillante de simplicité, 18 ans plus tard, qu'on appelle la diagonale. Imagine une liste infinie qui contiendrait absolument tous les nombres à virgule entre 0 et 1.

Intervenant 14:12

Ok, on a notre liste, on a tout listé dedans.

Intervenant 24:15

Maintenant, on va fabriquer un tout nouveau nombre. On prend le premier chiffre après la virgule du premier nombre de notre liste et on le change.

Intervenant 14:22

Ok, je te suis.

Intervenant 24:23

Ensuite, on prend le deuxième chiffre du deuxième nombre et on le change aussi. Et on continue comme ça en descendant le long de la diagonale.

Intervenant 14:30

Ah, mais du coup, le nombre qu'on est en train de créer de toutes pièces, il sera forcément différent du premier nombre.

Intervenant 24:35

Et différent du deuxième, exactement. Puisqu'on a pris soin de modifier un chiffre spécifique de chaque nombre existant, cette nouvelle création ne pouvait absolument pas être dans la liste initiale, même si on l'a supposé infinie et complète.

Intervenant 14:49

Le mécanisme est implacable. On trouve toujours des éléments en dehors de la liste.

Intervenant 24:55

C'est ça. Et ça prouve que l'ensemble des parties d'un groupe a toujours un cardinal, une taille strictement supérieure à l'ensemble de base. C'est le théorème de Cantor.

Intervenant 15:03

C'est fascinant. Notre intuition nous chuchote que l'infini, c'est juste une seule grande boîte sans fond. Mais les règles mathématiques nous forcent à voir qu'il y a des boîtes infinies qui sont beaucoup trop grandes pour y entrer. Des règles inflexibles qui guident l'esprit vers des découvertes totalement hallucinantes.

Intervenant 25:20

De l'impossibilité de dessiner quatre malheureuses ellipses symétriques jusqu'à la mesure des abîmes de Cantor, la structure dicte la réalité.

Intervenant 15:29

On part d'un simple parapluie pour finir par jongler avec des tailles d'infini. Ce qui laisse quand même une sacrée réflexion en suspens. Si ce théorème démontre qu'on peut toujours construire un infini plus grand que le précédent en prenant l'ensemble de ses parties, est-ce qu'il y a une

Intervenant 25:45

fin ?

Intervenant 15:47

Ou est-ce qu'il existe une hiérarchie sans limite d'infinis de plus en plus vertigineux, sans qu'aucun infini absolu ne puisse jamais être atteint ? Voilà de quoi bien méditer à la suite de cette exploration.