Opinion.
On vous a probablement appris à l’école que 0,999… (répété à l’infini) est égal à 1. Pas approximativement. Pas « presque ». Exactement égal. La preuve est élégante, largement acceptée, et parfaitement circulaire. Elle nous dit quelque chose de vrai sur un système que nous avons inventé. Elle ne nous dit rien sur la réalité discrèteHypothèse selon laquelle l'espace, le temps et la matière existent en unités minimales indivisibles plutôt qu'en quantités continues infiniment divisibles. Soutenue par certaines interprétations de la physique quantique..
La preuve qui se prouve elle-même
Voici l’argument classique. Soit x = 0,999… Alors 10x = 9,999… On soustrait : 10x − x = 9. Donc 9x = 9, et x = 1. Propre. Satisfaisant. Et cela présuppose exactement ce que cela prétend démontrer.
L’opération « soit x = 0,999… » ne fonctionne que si l’on accepte qu’une décimale infinie est un objet cohérent doté d’une valeur définie. Cette acceptation n’est pas gratuite. Elle découle des axiomes de l’analyse réelleBranche des mathématiques qui définit rigoureusement les notions de limite, de continuité et de suites infinies à partir d'axiomes précis. Elle fournit le fondement formel du calcul infinitésimal., une branche des mathématiques construite au XIXe siècle précisément pour formaliser l’infini. Les nombres réels sont définis comme la complétion des rationnels, ce qui signifie que chaque suite convergente possède une limite, et que les limites sont définies comme des égalités. La preuve que 0,999… = 1 est valide parce que le système a été construit pour la rendre valide. Ce n’est pas une découverte sur l’univers. C’est une propriété d’une carte que nous avons dessinée.
Cartes et territoires : ce que signifie la distinction
La formule d’Alfred Korzybski, « la carte n’est pas le territoire », est l’une des idées les plus utiles en épistémologie, et l’une des plus ignorées dans l’enseignement des mathématiques. Une carte est un modèle. Elle simplifie, elle compresse, elle rend la navigation possible. Mais elle introduit aussi des artefacts : des éléments qui existent sur la carte mais pas dans le paysage qu’elle représente.
L’analyse réelle est une carte. Extraordinairement utile. Elle permet aux ingénieurs de construire des ponts, aux physiciens de calculer des orbites, et aux économistes de modéliser des marchés (avec des degrés de réussite variables). Mais la droite numérique qu’elle décrit, infiniment divisible, parfaitement continue, sans le moindre écart entre deux points quelconques, est un artefact du modèle. Savoir si la réalité discrète possède elle-même cette propriété est une question entièrement distincte. Et de plus en plus, la physique suggère que la réponse est non. La réalité discrète n’est pas une hypothèse marginale. C’est la direction que pointent les données.
Continu contre discret : rampes et escaliers
Pour les lecteurs qui n’ont pas rencontré cette distinction de manière formelle, c’est plus simple qu’il n’y paraît. Imaginez une rampe et un escalier, tous deux menant du rez-de-chaussée au premier étage. La rampe est continue : on peut s’arrêter à n’importe quel point, et il y a toujours un endroit entre deux endroits. L’escalier est discret : on est sur une marche ou sur une autre, et il n’y a rien entre les deux.
Imaginez maintenant que vous zoomez sur une photographie. À distance normale, elle paraît lisse, continue, comme une fenêtre ouverte sur le monde. Zoomez suffisamment et vous verrez des pixels : de minuscules carrés de couleur unique, avec des bords nets entre eux. La continuité n’a jamais été là. C’était un produit de votre distance par rapport aux données.
L’ensemble du cadre de l’analyse réelle, et par extension la majeure partie des mathématiques modernes, suppose la rampe. Il modélise l’espace, le temps et les quantités comme continus : infiniment divisibles, sans plus petite unité, sans pixel, sans plancher. La question est de savoir si la réalité est une rampe ou un escalier. Et la physique moderne ne cesse de trouver des marches.
La physique trouve les pixels
Commençons par la longueur de Planck : environ 1.616 × 10⁻³⁵ mètres. C’est l’échelle à laquelle nos meilleures théories de la gravité et de la mécanique quantique s’appliquent simultanément, et s’effondrent simultanément. En dessous de cette longueur, le concept de « distance » tel que nous le comprenons pourrait ne plus avoir de sens. Ce n’est pas simplement que nous ne pouvons pas mesurer plus petit. Les mathématiques de la gravité quantique suggèrent qu’il pourrait ne rien y avoir de plus petit à mesurer. L’espace lui-même pourrait être granulaire à cette échelle, comme un tissu dont on ne verrait la trame que sous le grossissement le plus extrême.
On sait déjà que l’énergie est discrète. L’intuition originale de Planck, celle qui a lancé la mécanique quantique en 1900, était que l’énergie n’est pas émise de manière continue mais par paquets (quanta). Ce n’était pas une commodité mathématique. C’était la seule hypothèse qui correspondait aux données expérimentales sur le rayonnement du corps noir. L’univers, au moins dans ce domaine, s’est révélé être un escalier.
La gravité quantique à boucles, l’une des principales candidates pour une théorie de la gravité quantique, va plus loin. Elle modélise l’espace-temps lui-même comme un réseau de nœuds et de liens discrets, et non comme un continuum lisse. Si ce cadre (ou quelque chose de similaire) est correct, alors l’espace continu et infiniment divisible que l’analyse réelle suppose n’existe pas au niveau le plus fondamental. La droite numérique est une carte d’un territoire qui n’est pas lisse. L’implication pour la réalité discrète est considérable : nos outils mathématiques les plus précis modélisent peut-être quelque chose qui n’existe pas.
Newton savait que la carte fuyait
Cette tension n’est pas nouvelle. Isaac Newton, dont le calcul infinitésimal a formalisé les mathématiques continues que nous utilisons encore, savait que ses modèles dérivaient. Sa mécanique orbitale prédisait les positions planétaires avec une précision impressionnante mais imparfaite. Les erreurs résiduelles s’accumulaient avec le temps. Newton attribuait les corrections nécessaires à l’intervention divine : Dieu, soutenait-il, ajustait périodiquement les planètes pour maintenir la stabilité du système solaire.
On a tendance à voir cela comme une anecdote religieuse pittoresque. C’est en réalité un aveu honnête que le modèle était une approximation. Laplace a ensuite éliminé le besoin de corrections divines grâce à sa théorie des perturbations, et le récit est devenu « Newton avait raison, il lui fallait juste de meilleures mathématiques ». Mais le point essentiel demeure : le modèle a toujours été une approximation de quelque chose de plus complexe. Nous avons bâti les mathématiques modernes sur les fondations de Newton et nous avons progressivement oublié que c’étaient des fondations, pas le socle rocheux. Comme le montrent les recherches sur le désaccord entre experts, les cadres dont nous héritons façonnent les conclusions que nous tirons, souvent de manière invisible.
Ce que la réalité discrète signifie pour les mathématiques
Si l’espace est fondamentalement discret, un ensemble de conséquences en découle. Une droite infiniment divisible ne correspond à rien dans le monde physique. Les limites, colonne vertébrale du calcul infinitésimal, sont des outils pour naviguer dans un modèle continu que la réalité discrète ne respecte pas à son niveau le plus profond. La convergence de 0,999… vers 1 est un théorème sur un espace mathématique qui pourrait n’avoir aucun équivalent physique. C’est vrai de la même manière que les règles des échecs sont vraies : intérieurement cohérentes, parfaitement autoritaires dans le cadre du jeu, et ne prétendant rien sur ce qui se trouve en dehors.
Cela ne rend pas l’analyse réelle inutile. Cela en fait une carte. Une carte extraordinairement bonne, qui a permis des siècles d’ingénierie, de physique et de technologie. Mais une carte dont la continuité est un trait de la cartographie, pas du terrain. Quand nous disons 0,999… = 1, nous énonçons quelque chose de vrai sur notre modèle des nombres. Savoir si l’univers contient quoi que ce soit qui se comporte comme 0,999… est une question à laquelle les mathématiques ne peuvent pas répondre, parce que les mathématiques ont construit le système dans lequel la question se résout par « oui ». Le concept de réalité discrète nous demande de tenir les deux vérités simultanément : la carte fonctionne, et la carte n’est pas le territoire.
Le cercle au bout de l’argument
Suivez ce fil jusqu’à sa conclusion. Si l’espace est discret à la plus petite échelle, alors il n’existe pas de courbe parfaite. Une courbe exige la continuité : une ligne ininterrompue, sans lacunes, sans marches, sans pixels. Dans une réalité discrète, toute courbe est une approximation, un polygone aux arêtes trop petites pour être vues, un escalier qui se fait passer pour une rampe.
Pi, le rapport de la circonférence d’un cercle à son diamètre, est défini en termes de cercle parfait. Si les cercles parfaits n’existent pas dans la réalité discrète (si chaque « cercle » physique est en fait un polygone à très nombreux côtés à l’échelle de Planck), alors pi n’est pas la mesure de quoi que ce soit de réel. C’est la mesure d’une idéalisation. Une propriété de la carte.
Le cercle est le fondement de la trigonométrie, qui est le fondement de la mécanique ondulatoire, qui est le fondement de la physique quantique, qui est le domaine nous indiquant que la réalité est discrète. Il y a une ironie plaisante là-dedans : les mathématiques des cercles nous ont conduits à découvrir que les cercles pourraient ne pas exister.
Nous avons construit des mathématiques continues pour modéliser un univers discret. Le modèle fonctionne brillamment aux échelles humaines, tout comme les pixels paraissent lisses vus de l’autre côté de la pièce. Mais la continuité a toujours été la nôtre, jamais celle de l’univers. La droite numérique est un beau dessin d’un lieu qui possède des bords que nous avons choisi d’effacer. Zéro virgule neuf périodique est égal à un, à l’intérieur du dessin. En dehors, la question ne s’applique pas.
Les cercles ne sont pas réels.
Sources
- Stanford Encyclopedia of Philosophy: Quantum Gravity. Panorama des arguments en faveur d’un espace-temps discret, y compris la gravité quantique à boucles et la granularité à l’échelle de Planck.
- Encyclopaedia Britannica: Planck Length. Article de référence sur l’échelle de Planck et son importance en tant que distance minimale significative potentielle.
- Wolfram MathWorld: Real Number. Définition technique des nombres réels comme complétion des rationnels, le fondement axiomatique discuté dans cet article.
