Un ensemble, plusieurs espaces : que changent les règles ?

Intervenant 10:00

Bienvenue dans le podcast du magazine Tangente. Je suis vraiment ravi aujourd'hui de commencer cette nouvelle exploration parce qu'on va faire un truc un peu fou en fait. On va prendre notre conception la plus intime et la plus intuitive de ce qu'est l'espace et on va littéralement la pulvériser.

Intervenant 20:17

C'est un beau programme, d'accord, mais c'est vrai que c'est nécessaire.

Intervenant 10:20

Oui, parce que bon, habituellement, quand on parle d'un espace, on a cette image mentale très rassurante. On pense à une pièce en trois dimensions avec un haut, un bas, une gauche, une droite.

Intervenant 20:30

Tout à fait.

Intervenant 10:31

Ou alors on pense à la dimension 2, genre une simple feuille de papier sur laquelle on trace des petits triangles. C'est notre environnement de tous les jours.

Intervenant 20:37

Voilà, c'est le cadre physique, celui où la jaune matrice classique fonctionne parfaitement avec des règles bien droites. C'est super confortable. Sauf que d'un point de vue purement mathématique, c'est extrêmement restrictif.

Intervenant 10:50

Ok, décortiquons un peu tout ça. L'article « Des environnements pour le mathématicien » nous montre que l'espace moderne, c'est pas du tout un lieu. Enfin, si ce n'est pas un endroit physique où on peut se promener, qu'est-ce que c'est concrètement ?

Intervenant 21:06

Il faut voir ça comme une boîte à outils, un environnement de travail très abstrait. Au départ, on a juste un ensemble brut, une collection d'objets.

Intervenant 11:14

Des nombres, par exemple ?

Intervenant 21:15

Oui, des nombres, mais ça peut aussi être des vecteurs, des probabilités ou même des fonctions complexes. Le problème, c'est qu'un ensemble nu, sans aucune règle, il ne sert à rien. Le mathématicien doit donc l'équiper d'une structure.

Intervenant 11:26

En fait, j'aime bien imaginer ça comme, tu vois, la création d'un moteur de jeu vidéo.

Intervenant 21:31

Ah oui, c'est une bonne analogie.

Intervenant 11:33

Jean, au lieu de coder le comportement de chaque objet un par un, le développeur définit les lois fondamentales. Comment la gravité marche, les collisions, et ensuite n'importe quel objet qu'on balance dans ce moteur devra obéir à ces mêmes lois.

Intervenant 21:46

C'est exactement ça. Ce qui est fascinant ici, c'est vraiment cette volonté d'universalité. En fixant une structure comme ça, un raisonnement devient universel. Si un théorème marche dans ce moteur de jeu, il marchera pour n'importe quel objet qu'on y insère. C'est un gain de puissance conceptuel pharaméneux.

Intervenant 12:03

C'est clair. Mais attends, avant de faire des théorèmes de folie, il y a un problème de base. Si on jette notre géométrie classique et notre fameuse règle graduée, comment on sait que deux choses sont proches ?

Intervenant 22:15

Sans distance, tu veux dire ?

Intervenant 12:15

Oui, voilà. Sans distance, le concept de proximité a l'air complètement absurde. C'est là que la topologie entre en jeu, non ?

Intervenant 22:24

Absolument. La topologie contourne le besoin de mesurer avec une règle. Elle utilise le concept d'ouvert. Imagine ça comme une petite bulle, un voisinage qui entoure un élément.

Intervenant 12:37

D'accord, une bulle.

Intervenant 22:38

On dit qu'une suite de nombres converge vers une limite si, pour n'importe quelle petite bulle qu'on dessine autour de cette limite, tous les éléments de la suite finissent par tomber et rester coincés dans cette bulle.

Intervenant 12:49

Donc si je prends la suite des inverses des nombres entiers, tu sais, un, un demi, un tiers, un quart, intuitivement, on voit bien que ça se rapproche de zéro.

Intervenant 22:58

Oui, ça c'est avec notre ligne des nombres habituelle, ce qu'on appelle la topologie usuelle. Ça s'agglutine près

Intervenant 13:05

du zéro. Mais c'est là que ça devient vraiment intéressant. L'article explique qu'on peut garder ces mêmes nombres, mais changer complètement les règles du jeu. Tout à

Intervenant 23:14

fait. Changer la topologie, c'est redéfinir ce qu'est une bulle. Prenons la topologie discrète, par exemple. Dans ce monde-là, la règle dit que chaque point individuel est à lui seul une bulle totalement fermée et isolée.

Intervenant 13:28

Attends donc, le zéro, c'est une bulle à lui tout seul ?

Intervenant 23:31

Exactement. Le zéro est scellé.

Intervenant 13:34

Donc un sur mille ou un sur un million, ce n'est pas zéro. Donc ils ne rentreront jamais dans cette bulle.

Intervenant 23:39

Voilà.