Droite numérique : où placer l’infiniment petit ?

Intervenant 10:00

Bienvenue dans le podcast du magazine Tangente. On vous a toujours affirmé que 0,999 avec une infinité de 9 derrière la virgule, c'était strictement, rigoureusement égal à 1. Si je vous disais qu'en chaussant les bonnes lunettes mathématiques, c'est

Intervenant 20:19

faux.

Intervenant 10:21

C'est ce que nous allons découvrir aujourd'hui. Nous plongeons dans un texte fascinant qui s'intitule « Géométrie ou nombre ? La droite numérique ». Et notre mission pour cette discussion, c'est de comprendre comment un geste aussi basique que compter sur ses doigts a en fait poussé les mathématiciens à On va voir comment ils ont fini par explorer des mondes microscopiques et macroscopiques aussi, qui sont totalement invisibles. Et tout cela, grâce à une alliée un peu inattendue, la géométrie.

Intervenant 20:56

Oui, la géométrie. Et pour bien saisir ce basculement, qui est quand même assez vertigineux, il faut vraiment repartir de la base. Les briques fondatrices, ce sont les nombres entiers naturels.

Intervenant 11:07

Le 1, le 2, le 3 ?

Intervenant 21:09

Voilà, c'est ça. 0, 1, 2, 3. Depuis l'aube de l'humanité, on va dire, ils servent à dénombrer des objets physiques. Des moutons, des pommes… Ouais, des choses tangibles quoi. Exactement. Il y a le mathématicien allemand Leopold Kronecker qui disait, au XIXe siècle, je cite de mémoire, « Dieu a créé les entiers, les hommes ont fait le reste ».

Intervenant 11:29

Oh, c'est beau ça. Mais du coup, ça sous-entend que l'entier naturel est une donnée brute, genre naturelle de l'univers, mais que tout ce qui vient après, c'est juste un immense bricolage humain, pour se sortir d'un pétrin intellectuel.

Intervenant 21:43

C'est ben, c'est exactement ça. Un bricolage extrêmement ingénieux, attention. Mais oui, réfléchissez-y deux secondes. Tant qu'on additionne ou qu'on multiplie des entiers, on reste bien sagement dans notre famille des entiers.

Intervenant 11:56

Bah oui, 2 plus 3 ça fait 5, c'est rassurant.

Intervenant 21:59

Voilà, 5 c'est un entier, tout va bien. Mais le besoin de faire les opérations averses, c'est ça qui a tout cassé.

Intervenant 12:05

Oui, parce que retirer 3 moutons à un troupeau qui n'en compte que 2, physiquement on est face à un mur, c'est pas possible.

Intervenant 22:13

C'est impossible. L'opération 2-3 n'a absolument aucun sens si on s'en tient aux entiers naturels. Donc, il a fallu inventer un concept assez radical.

Intervenant 12:21

Le zéro.

Intervenant 22:22

Le zéro, oui. Et les nombres négatifs. Ce qui nous donne ce qu'on appelle les entiers relatifs.

Intervenant 12:27

D'accord.

Intervenant 22:28

Mais très vite, un autre mur se dresse. Avec la division, cette fois.

Intervenant 12:32

Ah oui, le partage ?

Intervenant 22:33

C'est ça. Si on veut partager une seule unité en deux parts égales, on est bloqué. On n'a pas de nombre pour ça dans les entiers. Donc, pour s'affranchir de cette nouvelle entrave, l'homme a conceptualisé les nombres fractionnaires.

Intervenant 12:47

Les rationnels.

Intervenant 22:48

Les fameuses fractions, ouais.

Intervenant 12:49

Donc si je résume, les rationnels regroupent les entiers et toutes les fractions possibles, qu'elles soient positives, nulles, négatives.

Intervenant 22:58

Tout à fait.

Intervenant 12:58

Ça donne des nombres à virgule qui s'arrêtent, genre 1,5 ou bien qui se répètent à l'infini comme 0,3333 et ainsi de suite.

Intervenant 23:08

C'est exactement ça. Et avec ces rationnels, on a vraiment l'impression d'avoir forgé l'outil ultime. Ouais,

Intervenant 13:13

on se dit qu'on peut tout faire, quoi.

Intervenant 23:15

Totalement. En apparence, ils sont parfaits. Ils obéissent à toutes nos règles familières de l'algèbre. Ils forment d'ailleurs ce qu'on appelle en mathématiques un corps commutatif totalement ordonné.

Intervenant 13:26

Oulah, attendez. On s'arrête une seconde sur corps commutatif totalement ordonné.

Intervenant 23:31

Oui, pardon.

Intervenant 13:31

En langage de mortel, ça veut juste dire qu'on peut faire nos quatre opérations de base dans tous les sens, sans jamais faire exploser la machine. C'est bien ça, hein ?

Intervenant 23:42

C'est l'idée. Oui, c'est une structure qui est parfaitement huilée, fluide, où chaque nombre a sa place exacte. Et le truc amusant, c'est qu'en essayant de visualiser cette perfection, c'est la géométrie qui vient jeter un énorme pavé dans la mare.

Intervenant 13:55

Ah d'accord ! Alors passons à la représentation géométrique, la fameuse droite numérique qu'on connaît tous. On trace une ligne, on met une flèche pour donner une direction, en général de gauche à droite, et on marque un point de départ, l'origine, le zéro.

Intervenant 24:11

Ensuite, on définit une unité de mesure. On va l'appeler U, par exemple.

Intervenant 14:15

D'accord.

Intervenant 24:16

Et on se déplace d'une unité vers la droite. On marque le point 1. Encore une unité, c'est le 2. On va vers la gauche, on a le moins 1, le moins 2.

Intervenant 14:26

Très clair. Et donc, entre ces entiers, on peut commencer à placer nos fractions ?

Intervenant 24:30

Voilà. Pour placer un demi, on coupe notre segment unité en deux.

Intervenant 14:34

Logique.

Intervenant 24:34

Pour un tiers, en trois, etc. L'ordre géométrique coïncide à la perfection avec l'ordre algébrique. Vous voyez, le plus petit nombre est toujours à gauche.

Intervenant 14:43

C'est très visuel. Et vous savez, avant de préparer cette exploration, j'imaginais cette ligne un peu comme un gâteau. Un gâteau qu'on coupe en parts infinies. Mais en lisant nos sources pour aujourd'hui, j'ai plutôt pensé à une sorte de filet d'épuisette. On tisse les fils, qui sont nos fractions, de plus en plus

Intervenant 25:05

serrés.

Intervenant 15:07

Et à tel point qu'à l'œil nu, on se dit que ce filet géométrique est totalement opaque, qu'il est plein à craquer.

Intervenant 25:14

Mais c'est l'intuition que tout le monde a. Parce que les nombres rationnels, on dit qu'ils sont denses. C'est-à-dire qu'on peut toujours, toujours trouver une fraction entre deux autres fractions. Même si elles sont ultra proches. Exactement. Vous prenez un millionième et deux millionième, il y a encore une infinité de fractions entre les deux. Donc on a l'impression que la droite est saturée. Sauf que, pour reprendre votre analogie de l'épuisette, l'eau continue de passer au travers du filet.

Intervenant 15:40

Et c'est ça qui a fait buguer mon cerveau en fait. S'il y a une fraction littéralement partout, tissée à l'infini, comment est-ce qu'il peut y avoir des trous physiques sur cette ligne ?

Intervenant 25:49

Bah oui, c'est contre-intuitif. Et cette faille, elle a été découverte par les géomètres grecs de l'Antiquité. Et honnêtement, ça a provoqué une véritable crise existentielle chez eux.

Intervenant 15:57

Ah ouais ? Genre un drame mathématique ?

Intervenant 26:00

Un drame absolu. Prenez un carré. Un carré dont le côté mesure exactement notre unité de base, donc 1.

Intervenant 16:07

Ok, j'ai mon carré de 1 sur 1.

Intervenant 26:08

Tracer sa diagonale.

Intervenant 16:10

D'accord.

Intervenant 26:11

Si on applique le bon vieux théorème de Pythagore, qu'on apprend tous au collège.

Intervenant 16:14

A carré plus B carré égale C carré.

Intervenant 26:18

Voilà. La longueur de cette diagonale, au carré, c'est égal à 1 au carré, plus 1 au carré.

Intervenant 16:24

Ce qui fait 2.

Intervenant 26:25

Donc la longueur physique de cette diagonale, c'est la racine carrée de 2.

Intervenant 16:29

Ok, je vous suis. Et donc si je prends un compas que je pointe sur mon origine zéro et que je reporte la mesure de cette diagonale, sur ma droite numérique, je pose une vraie marque, un point réel, tangible.

Intervenant 26:41

Et c'est là que le piège se referme. Les Grecs ont démontré, de manière totalement irréfutable, que cette longueur, racine carrée de 2, ne peut s'écrire sous la forme d'aucune fraction. Ce point existe physiquement, votre compas l'a tracé, mais il passe à travers les mailles de votre filet de rationnel.

Intervenant 16:59

Non mais je veux qu'on s'arrête là-dessus parce que c'est dingue. Pourquoi est-on si sûr que ce point précis ne correspond à aucune fraction, même super complexe ? Il suffirait peut-être de chercher plus loin avec, je sais pas moi, un numérateur et un dénominateur gigantesques.

Intervenant 27:16

C'est ce qu'on pourrait croire. Mais on peut faire la démonstration ensemble. Vous allez voir, c'est d'une logique redoutable.

Intervenant 17:21

Allez-y, je suis prête.

Intervenant 27:22

On va faire un raisonnement par l'absurde. Supposons que racine de 2 puisse s'écrire comme une fraction. On va l'appeler petit a divisé par petit b.

Intervenant 17:30

D'accord, a sur b.

Intervenant 27:31

Et on part du principe qu'on la simplifie au maximum. Vous savez, comme quand on réduit une fraction à l'école. Donc a et b n'ont plus aucun diviseur commun.

Intervenant 17:39

Entendu. La fraction est totalement irréductible. C'est notre point de départ.

Intervenant 27:43

Parfait. Maintenant, si on met cette petite équation au carré. Juste pour se débarrasser de la racine.

Intervenant 17:48

Ouais, la racine de 2 au carré, ça fait 2.

Intervenant 27:50

Et de l'autre côté, on obtient a² divisé par b².

Intervenant 17:54

Donc 2 égale a² sur b².

Intervenant 27:57

Ce qui se traduit, si on passe le b² de l'autre côté, par a² est égal à 2 multiplié par b².

Intervenant 18:03

Ok. Donc a² est un multiple de 2. Ça veut dire que c'est forcément un nombre pair.

Intervenant 28:09

Exact ! Or, en mathématiques, seul le carré d'un nombre pair peut donner un résultat pair. Ça, c'est une règle absolue.

Intervenant 18:16

Ah ouais ?

Intervenant 28:17

Cela signifie que notre numérateur A est obligatoirement un nombre pair, lui aussi.

Intervenant 18:22

Je vois que vous suivez. Oui,

Intervenant 28:23

oui, je suis.

Intervenant 18:24

Et du coup, si A est pair, il peut s'écrire sous la forme de 2 multiplié par un autre nombre, n'importe lequel.

Intervenant 28:30

C'est ça. Et là, c'est le coup de grâce. Si on remplace ce a par ce deux fois quelque chose dans notre équation de départ, les calculs nous montrent très rapidement que b² doit lui aussi être un multiple de

Intervenant 18:42

2.

Intervenant 28:43

Et donc que le dénominateur b est paire lui aussi.

Intervenant 18:47

Mais attendez, si A est paire et que B est paire, ça veut dire qu'on peut diviser les deux par deux ?

Intervenant 28:53

Exactement.

Intervenant 18:54

On peut encore simplifier la fraction. Sauf qu'on avait posé comme règle absolue qu'elle était déjà simplifiée au maximum.

Intervenant 29:00

Voilà, le serpent se mord la queue. C'est une contradiction totale.

Intervenant 19:04

C'est fou. L'hypothèse de départ est fausse, tout simplement.

Intervenant 29:08

Racine de 2 ne peut pas être une fraction, c'est ce qu'on appelle une longueur incommensurable, un nombre irrationnel.

Intervenant 19:14

D'accord.

Intervenant 29:15

Et contrairement aux fractions, si on l'écrit avec une virgule, ces décimales ne s'arrêtent jamais et surtout elles ne forment jamais un motif qui se répète.

Intervenant 19:23

C'est le chaos à l'infini

Intervenant 29:25

quoi. Le chaos absolu.

Intervenant 19:26

Et des trous comme celui-ci, des irrationnels, il y en a une infinité sur notre droite, c'est ça ?

Intervenant 29:31

Il y en a même beaucoup plus que des rationnels, paradoxalement. Pour vraiment remplir la ligne géométrique, pour boucher chaque trou du filet, il a fallu marier les rationnels, nos fractions, et ces fameux irrationnels. Et ensemble, ils forment ce qu'on appelle les nombres réels.

Intervenant 19:46

Ok, donc à ce stade, on pousse un soupir de soulagement. La droite numérique réelle est née, chaque point correspond à un nombre réel, et chaque nombre réel a sa place exacte sur la droite. Le système est algébriquement complet.

Intervenant 29:58

C'est ça. On a bouché tous les trous, la droite est enfin continue, lisse, parfaite.

Intervenant 110:04

Fin de l'histoire, rentrons chez nous. Sauf que ça m'a mené à une question qui me retourne la tête depuis que j'ai lu nos sources pour l'émission.

Intervenant 210:11

Allez-y, je suis curieux.

Intervenant 110:13

On est d'accord que la ligne est pleine. Alors quel est le tout premier nombre réel, strictement positif, qui vient juste après le zéro ?

Intervenant 210:23

Poser cette question à un mathématicien classique et sa réponse va beaucoup vous frustrer.

Intervenant 110:27

Pourquoi ?

Intervenant 210:28

Parce que, dans l'ensemble des réels, ce nombre n'existe pas.

Intervenant 110:31

Comment ça, il n'existe pas ? Sur une ligne continue, si je pars de zéro et que j'avance, il doit bien y avoir un point de départ juste après le zéro.

Intervenant 210:38

Eh bien non, et la géométrie est implacable là-dessus. On va faire encore une fois appel au raisonnement par l'absurde.

Intervenant 110:44

Ah, on l'aime bien celui-là aujourd'hui.

Intervenant 210:45

Il est très utile. Imaginez que vous ayez trouvé ce nombre magique. On va l'appeler petit a. C'est un réel. Il est plus grand que zéro. Et vous m'affirmez, mordicus, que c'est le plus petit de tous.

Intervenant 110:57

Très bien, j'ai mon petit a, il est minuscule.

Intervenant 210:59

Sauf que a est un nombre réel, j'ai donc tout à fait le droit, mathématiquement, de le diviser par deux.

Intervenant 111:06

Ah oui, et on obtient a divisé par deux, qui est toujours strictement positif, mais qui est forcément plus petit que a.

Intervenant 211:15

Vous voyez l'absurdité du truc ? Ouais. On a un nombre a, qui est censé être le plus petit possible, mais on trouve immédiatement a sur 2, qui est encore plus petit. Ça prouve de façon définitive qu'il n'y a aucun premier nombre réel après le zéro.

Intervenant 111:29

Parce qu'on peut diviser à l'infini ?

Intervenant 211:31

Exactement. On s'approche de zéro sans jamais l'atteindre. Avec un premier pas. C'est vertigineux.

Intervenant 111:36

Mais en fait, c'est un problème majeur, ça. Parce que si on se plonge dans l'histoire, certains génies des mathématiques avaient désespérément besoin de ce premier pas pour faire leurs calculs. Je pense notamment à Gottfried Wilhelm Leibniz au XVIIe siècle.

Intervenant 211:51

Absolument. Leibniz, c'est un des pionniers du calcul infinitésimal. Et pour construire ces théories, il avait littéralement besoin de manipuler des quantités qui sont plus grandes que zéro, mais plus petites que n'importe quel nombre réel positif mesurable. C'est ce qu'il

Intervenant 112:05

appelait les infiniment petits.

Intervenant 212:07

Oui. Mais à son époque, balancer ça sans preuve géométrique solide, c'était vu mais comme de la magie noire par ses pairs.

Intervenant 112:14

J'imagine, les mathématiciens stricts devaient crier au scandale face à ces quantités fantômes qui apparaissaient et disparaissaient un peu selon les besoins des calculs de la MNIS.

Intervenant 212:24

C'était ça. Ça manquait cruellement de fondations rigoureuses. La MNIS y fonctionnait beaucoup à l'intuition. Ils savaient que ça marchait, mais ils ne pouvaient pas le prouver formellement avec la droite classique.

Intervenant 112:34

Et donc, il aura fallu attendre très longtemps, les années 1960, pour que ce concept soit totalement validé. Grâce au mathématicien canadien Abraham Robinson.

Intervenant 212:43

Oui, Robinson a fait un travail extraordinaire.

Intervenant 112:46

Mais comment il a fait ? Comment Robinson a-t-il pu justifier l'existence d'un nombre plus petit que tous les autres alors qu'on vient juste de prouver ensemble que c'était impossible dans les réels ? Comment on crée de nouvelles règles sans tricher ?

Intervenant 212:58

C'est là qu'intervient une machinerie logique très, très sophistiquée. Ce qu'on appelle l'ultra-filtre. C'est l'outil qui va donner naissance à l'analyse non standard.

Intervenant 113:08

Oula, ne me laissez pas sur la touche avec votre ultrafiltre, j'ai besoin d'une image là.

Intervenant 213:12

D'accord, d'accord.

Intervenant 113:13

Comment ça fonctionne concrètement ce trucage ?

Intervenant 213:15

Imaginez l'ultrafiltre comme un système électoral infini, ou une sorte de tamis législatif ultra-sélectif. Pour créer ce nouvel univers de nombres, Robinson prend des suites infinies de nombres réels. Des listes infinies de nombres. Ok. Voilà. Et l'ultrafiltre va regarder ces listes et agir comme un juge. Il va voter pour décider quelles propriétés de nos bons vieux nombres réels vont être transférées à ces nouveaux nombres exotiques qu'il est en train de créer.

Intervenant 113:41

D'accord.

Intervenant 213:41

Et le tamis est conçu de telle sorte que seules les propriétés qui sont vraies pour une majorité absolue et infinie de cas passent le filtre.

Intervenant 113:48

Wow ! Donc si je comprends bien, c'est un mécanisme logique ultra puissant qui permet de forger de nouveaux nombres, nos fameuses infiniment petits, tout en garantissant, via ce système de vote, qu'ils ne vont pas briser les règles d'algèbre qu'on connaît déjà.

Intervenant 214:03

Vous avez tout compris, c'est exactement ça. Et paf, les nombres hyper réels étaient nés.

Intervenant 114:09

Les hyper réels, j'adore le nom.

Intervenant 214:11

C'est un ensemble fascinant. Il contient tous nos nombres réels classiques, mais il intègre de manière mathématiquement irréprochable les infiniment petits de Leibniz. On peut faire des opérations avec eux. L'opposé d'un infiniment petit positif, ça devient un infiniment petit négatif.

Intervenant 114:27

On peut les additionner à des nombres normaux.

Intervenant 214:29

Oui, oui. Ils forment eux aussi ce fameux corps commutatif totalement ordonné dont on parlait tout à l'heure.

Intervenant 114:35

Mais c'est génial. Et c'est là, je crois, qu'on arrive à ma partie préférée de cette plongée. La revanche, un peu, de l'intuition sur la rigidité académique.

Intervenant 214:45

À l'histoire du 0,999.

Intervenant 114:47

Oui, l'histoire du 0,999 avec une infinité de 9. Tous les profs de maths assènent à leurs élèves que c'est strictement égal à 1. Et vous savez quoi ? Dans le monde des réels, c'est vrai.

Intervenant 214:58

C'est vrai. La preuve classique est implacable.

Intervenant 115:01

Mais l'instinct de l'élève, de tout le monde en fait, c'est de protester et de dire, bah non, c'est un cheveu plus petit que un. Il y a un truc qui cloche.

Intervenant 215:09

Eh bien, grâce aux hyper réels, cet élève rebelle a trouvé son avocat. C'est Albert Harold Lightstone, qui était d'ailleurs un élève d'Abraham Robinson, qui a étudié ce cas précis avec les nouveaux outils de l'analyse non standard.

Intervenant 115:21

Et qu'est-ce qu'il a trouvé ?

Intervenant 215:22

Il a pu démontrer que si l'on écrit 0,999 avec un nombre infiniment grand de décimales, et bien la différence entre le chiffre 1 et ce fameux 0,9 à l'infini, ce n'est pas zéro.

Intervenant 115:36

C'est un infiniment petit ?

Intervenant 215:38

Précisément. 1-0,999 à l'infini, ça donne un infiniment petit positif. Donc, dans ce nouvel univers mathématique des hyperréels, c'est bel et bien un tout petit peu plus petit que 1.

Intervenant 115:52

Mais c'est un renversement de perspective assez réjouissant, je trouve.

Intervenant 215:55

Oui, c'est une belle victoire pour l'intuition.

Intervenant 115:58

D'accord. Mais là, mon cerveau me ramène quand même à notre droite géométrique du début.

Intervenant 216:04

Ouais, la droite physique.

Intervenant 116:05

Oui, parce que si les nombres réels remplissaient déjà notre filet géométrique à 100%, enfin s'ils saturaient la ligne pour boucher absolument tous les trous qu'avaient laissés les fractions, où est-ce qu'on garde tous ces nouveaux nombres hyper réels ? Il n'y a physiquement plus de place.

Intervenant 216:19

Si on regarde la droite à l'œil nu, ou avec la géométrie classique de Pythagore, vous avez totalement raison. Les points de la droite physique coïncident avec les réels, point barre.

Intervenant 116:29

C'est complet.

Intervenant 216:30

Les hyperréels, ils sont physiquement invisibles. Et pour les débusquer, la source que nous analysons aujourd'hui propose une expérience de pensée magnifique. Il faut utiliser une loupe.

Intervenant 116:40

Une loupe ?

Intervenant 216:41

Une loupe infiniment puissante.

Intervenant 116:43

Ok. Alors, si je prends cette loupe et que je la pointe sur notre origine, le zéro, qu'est-ce qui se passe ?

Intervenant 216:49

Sans la loupe, le zéro, c'est un point solitaire, solide. Mais avec la loupe, vous zoomez à l'infini. Et soudainement, ce point unique révèle tout un essaim, une galaxie grouillante de nombres invisibles. Ce sont tous les infiniments petits qui gravitent autour de

Intervenant 117:06

zéro.

Intervenant 217:07

On appelle ça le halo de zéro. Et visuellement, ça ressemble à de minuscules antennes qui s'étendent un tout petit peu à droite pour les infiniments petits positifs et un tout petit peu à gauche pour les négatifs.

Intervenant 117:18

Vous savez, pour bien me représenter ça pendant mes lectures, j'ai pensé à Google

Intervenant 217:21

Maps.

Intervenant 117:22

Quand vous regardez la carte de la France sur votre téléphone, une ville comme Paris, c'est juste un minuscule pixel rouge,

Intervenant 217:27

un point unique. Tout à fait.

Intervenant 117:28

Ça, c'est notre nombre réel. Mais si vous commencez à pincer l'écran, vous zoomez, vous zoomez et soudain, à l'intérieur de ce pixel unique, vous découvrez des arrondissements entiers, un réseau super complexe de ruelles, des impasses qui étaient totalement invisibles à l'échelle supérieure.

Intervenant 217:45

C'est une métaphore excellente.

Intervenant 117:47

Le halo de l'infiniment petit, c'est un peu cette métropole microscopique qui est planquée à l'intérieur de ce qui semble être un simple point indivisible.

Intervenant 217:55

C'est exactement ça. Et la beauté de la théorie, c'est que ce phénomène cartographique, il s'applique partout.

Intervenant 118:01

Ah oui, oui.

Intervenant 218:01

Vous déplacez votre loupe sur n'importe quel nombre réel R de la droite, disons le nombre 5. Vous zoomez sur le 5 et vous trouverez toujours son halo de nombre hyper réel infiniment proche de lui. Ce qu'on appelle mathématiquement les nombres R plus epsilon et R moins epsilon.

Intervenant 118:17

Donc, on a cette loupe pour explorer le microscopique, mais l'auteur suggère qu'on peut aussi regarder dans l'autre sens, n'est-ce pas ?

Intervenant 218:25

Oui. Là, on range la loupe et on sort des jumelles.

Intervenant 118:28

Des jumelles infiniment puissantes.

Intervenant 218:31

Et on se tourne vers les confins de notre axe orienté. Si on scrute l'horizon tout au bout, vers la droite, on finit par distinguer des hypers réels infiniment grands.

Intervenant 118:41

Des nombres géants.

Intervenant 218:42

Des nombres titanesques qui sont, mathématiquement parlant, égaux à 1 divisé par un infiniment petit.

Intervenant 118:47

Et la même chose se produit à l'autre bout, j'imagine, tout à gauche de l'axe, avec les infiniment grands négatifs.

Intervenant 218:53

Exactement.

Intervenant 118:54

En fait, ça donne une vision presque poétique de la droite numérique. Ce n'est plus du tout un simple fil continu et ennuyeux.

Intervenant 219:00

Non, plus du tout.

Intervenant 119:01

C'est une structure où chaque point abrite un nuage de probabilités infimes et qui est encadré par des infinis totalement insaisissables aux deux extrémités.

Intervenant 219:11

C'est très bien résumé. Et si on prend un peu de recul sur cette discussion, cela nous donne vraiment une leçon cruciale sur l'essence même des mathématiques.

Intervenant 119:21

C'est-à-dire ?

Intervenant 219:22

Eh bien, elles ne sont pas un bloc de granit immuable, dicté par des lois divines définitives. C'est un langage extraordinairement vivant. Quand les hommes ont besoin de nouveaux outils pour explorer l'inconnu, comme Leibniz avec son calcul, les mathématiques finissent toujours par créer leurs propres extensions. Le

Intervenant 119:38

cadre s'élargit ?

Intervenant 219:39

Le cadre s'élargit, oui. Le paradoxe d'hier devient la norme d'aujourd'hui.

Intervenant 119:44

Et ce que je trouve vraiment réjouissant dans tout ça, c'est que ce plus haut degré de rigueur académique et logique avec les ultrafiltres et tout, ça nous donne parfois les moyens de valider nos intuitions les plus spontanées. Comme c'était l'air qui refuse de croire que 0,999 c'est 1. Oui ! Sous l'objectif de la bonne loupe hyper réelle, il a raison. Ce n'est pas tout à fait 1.

Intervenant 220:03

C'est la magie de l'analyse non standard. Le conflit se dissipe toujours lorsqu'on accepte de changer d'échelle et de cadre de référence.

Intervenant 120:10

C'est fascinant. Mais écoutez, cela nous amène doucement vers la fin de cette exploration. Cependant, je ne peux pas vous laisser partir, ni nos auditeurs d'ailleurs, sans partager une dernière réflexion qui me hante depuis qu'on a ouvert cette boîte de Pandore des Allôs.

Intervenant 220:23

Je vous écoute, je sens que ça va être profond.

Intervenant 120:25

On vient de voir que notre droite numérique classite, qui nous semblait solide, continue et totalement pleine à l'œil nu, elle cache en réalité une infrastructure microscopique insoupcionnée, un foisonnement de nombres invisibles confinés dans les moindres espaces. Or, les physiciens utilisent précisément cette géométrie continue pour décrire notre monde, notre espace-temps. Alors on peut se poser la question. Et si l'espace physique dans lequel nous évoluons, la trame même de l'univers que l'on croit continue et lisse, cachait une architecture similaire fractale ? Et si notre réalité physique n'attendait qu'un microscope conceptuel encore plus puissant pour nous révéler de tout nouveaux mondes fractales, dissimulés dans le moindre point de notre espace ?

Intervenant 221:06

Voilà une interrogation vertigineuse. Vous effleurez là les limites mêmes de la physique théorique.

Intervenant 121:11

C'est pour ça qu'on aime les maths, ça repousse les limites. Une limite qu'on vous laissera méditer tranquillement pour aujourd'hui. Merci à tous d'avoir suivi cette plongée au cœur de la droite numérique. À très bientôt pour une nouvelle discussion fascinante.