Vous êtes sur la page 1sur 78

Les Nombres Surrels, e ou comment deux anciens tudiants dcouvrirent e e les mathmatiques pures et vcurent heureux e e Une romance

mathmatique de D. E. Knuth e
Traduction : Daniel E. Loeb et Hl`ne Loeb1 e e Auteur : Donald E. Knuth2 Original c 1974 - Addison Wesley Publishing Company Traduction c March 2, 1997- Loeb

1 2

Universit de Bordeaux I, URA CNRS 1304 e Stanford University

Ce livre a t mis en page grce ` L TEX. La couverture et les illustrations ee a a A sont due a Jill C. Knuth. `

Contents

La Pierre

A : Bill, est-ce que tu penses que tu tes trouv ? e B : Quoi ? A : Je veux dire... nous voil` au n fond de locan indien, a des lieues de a e ` toute civilisation. Ca fait maintenant des mois quon est parti pour viter e dtre pris par le syst`me, pour nous trouver. Je me demande seulement e e si tu penses quon a russi. e B : A vrai dire, Alice, moi aussi je me suis pos la question. Ces derniers mois e avec toi ont vraiment t super. On est compl`tement libre, on se conna ee e t vraiment. On nest plus des machines mais vraiment des personnes. . . Mais. . . ces temps-ci, jai le sentiment bizarre que certaines choses que lon voulait fuir me manquent. Tu comprends, jai cette envie irrsistible e de lire un livre, nimporte quel livre, mme un bouquin de cours, mme de e e maths ! Ca a lair idiot, mais je suis l` ` ne rien faire et jaurais tellement aa aim avoir des mots-croiss. e e A : Non. . . pas des mots-croiss quand-mme ! Cest ce que tes parents font e e tout le temps ! Mais, je comprends ce que tu veux dire, on a besoin de faire travailler nos mninges. Ca me rappelle la n des vacances quand on e tait gosses. Chaque anne en juin, on comptait les jours pour nir lanne, e e e mais dbut septembre, on tait bien content de retourner en classe. e e B : Bien s r, quand on vit damour et deau fra u che comme nous, les jours ne sont pas si pnibles. Mais je crois que le truc le plus important que jai e dcouvert ici, cest que cette vie l` ne me sut pas. Jai besoin de me e a casser la tte sur quelque chose de pas trop simple. e A : Je suis vraiment dsole dtre trop simple pour toi. Tu ne veux pas aller e e e faire un tour sur la plage ? On trouvera peut-tre des galets ou quelque e chose pour fabriquer un jeu. B : (se levant) Bonne ide. Mais dabord, jai bien envie de piquer un petit e sprint dans leau. A : (courant vers leau) Moi aussi ! Je parie que tu ne me rattrapes pas ! ` B : (apercevant un gros rocher noir a moiti enterr dans le e e sable) Eh ! Cest quoi ca ? A : Je ne sais pas. Je nai jamais rien vu de pareil. Regarde, il y a des grati derri`re. e 3

B : Voyons, tu peux maider a le dterrer ? Ca ressemble ` une pi`ce de muse. ` e a e e Ouille ! Cest lourd ! Les inscriptions doivent tre en arabe ancien. . . Non, e attends je crois que cest de lhbreu. Tournons le de ce ct. e o e A : De lhbreu, tu es s r ? e u B : Jai fait beaucoup dhbreu quand jtais jeune. Et je peux presque come e prendre. A : Je sais quil ny a jamais vraiment eu de fouilles par ici. On a peut-tre e dcouvert une autre Pierre de Rosette. Quest-ce quil y a crit, tu are e rives ` lire ? a B : Attends un peu. . . Ici en haut a droite, cest l` que ca commence. Au ` a commencement, tout ntait que vide et. . . e A : Ouahhh. . . On dirait le premier livre de Mo dans la Bible. Na t-il pas se err en Arabie pendant quarante ans avec son peuple avant darriver en e Isral ? Tu crois que. . . e B : Non ! Apr`s a change compl`tement. Ramenons la pierre au camp, je e c e dois pouvoir arriver a la traduire. . . ` A : Bill, cest gnial. Cest juste ce quil te fallait ! e B : Oui, jai bien dit que javais besoin de lire quelque chose, mais cest pas vraiment a a que je pensais. Il me tarde de my mettre. Il y a des trucs `c bizarres et je narrive pas a comprendre si cest une histoire. . . ` Ca parle de nombres. . . A : Il me semble que la pierre est casse en bas. Elle devait tre plus longue. e e B : Tant mieux ! Sinon on naurait jamais pu la porter. Bien sr, je parie que u c a deviendra intressant ` partir de lendroit o` elle est cass. e a u e A : On y est. Je vais chercher des dattes et des fruits pour d ner, pendant que tu traduis. Dommage, mais les langues cest pas mon truc. Sinon, jessaierais de taider. . . . . . . . . . . .

B : Cest bon, Alice, jy suis. Il y a quelque passages dont je ne suis pas s r, u quelque lettres que je ne connais pas, peut-tre danciennes conjugaisons, e mais dans lensemble je pense avoir compris, mme si a ne veut rien dire e c pour moi. Littralement a donne. . . e c 4

Au commencement, tout ntait que vide et chaos. Et J. H. W. e H. Conway cra les nombres. Conway dit Quil y ait deux r`gles e e qui engendrent tous les nombres, petits et grands. Cela sera la premi`re r`gle : Tout nombre est issu de deux e e ensembles de nombres dj` existants, tel quaucun membre de ea lensemble de gauche nest suprieur ou gal ` un membre quele e a conque de lensemble de droite. Cela sera la deuxi`me r`gle : Un nombre est infrieur ou gal e e e e ` un autre nombre si et seulement si, aucun membre de lensemble a de gauche du premier nombre nest suprieur ou gal au second e e nombre, et aucun membre de lensemble de droite du second nombre nest infrieur ou gal au premier nombre. Et Conway regarda e e les deux r`gles quil avait crs et considra que ctait tr`s bien. e ee e e e Et le premier nombre fut cr ` partir du vide ` gauche et ee a a ` droite. Conway appela ce nombre Zro et dit que ce soit a e un signe qui spare les nombres positifs des nombres ngatifs. e e Conway prouva que zro est infrieur ou gal ` zro et il considra e e e a e e que ctait bien. Et il fut un soir et un matin et vint le jour zro. e e Et le jour suivant, deux autres nombres furent crs, un avec ee zro comme ensemble de gauche, et un avec zro comme ensemble e e de droite. Et Conway appela le premier Un et le second Moins Un. Et il prouva que Moins Un est infrieur mais pas gal ` Zro, e e a e et que Zro est infrieur mais pas gal ` Un. Et il fut un soir. . . e e e a Cest l` que cest cass. a e A : Tu es sr que cest bien ca ? u B : Plus ou moins. Jai un peu arrang lensemble. e A : Mais Conway . . . ce nest pas un nom hbreu. Cest une farce ou quoi ? e B : Non, je tassure. Bien s r en hbreu ancien il ny a pas de voyelles, donc le u e vrai nom doit tre Keenawu ou quelque chose comme a. Ca a peut-tre e c e a ` voir avec les Khans ? Comme il y a tr`s peu de noms franais avec un e c w, jai juste pris un nom anglais. Regarde, cest l` que cest crit sur la a e Pierre. Les lettres J. H. W. H. viennent peut-tre de Jehovah. e A : Tu dis quil ny a pas de voyelles ! Alors, cest vrai. . . Mais dapr`s toi, e quest-ce que a veut dire ? c B : Je nen ai aucune ide. . . Ces deux foutues r`gles sur les nombres. Peute e tre est-ce une ancienne technique darithmtique, inutilise depuis que la e e e roue a t invente. Ca pourrait tre intressant de voir tout a de pr`s ee e e e c e demain. Le soleil va bientt se coucher, on devrait manger et aller dormir. o 5

A : Ok, mais relis la moi encore une fois. Jai envie dy rchir. La premi`re e e e fois je ne te croyais pas du tout. B : (montrant du doigt) Au commencement. . .

Les Symboles

A : Apr`s tout, je pense que ta Pierre de Conway veut dire quelque chose, Bill. e Jy ai rchi cette nuit. e e B : Moi aussi, mais je me suis endormi avant de trouver quoi que ce soit. Alors ? A : En fait, ce nest pas si compliqu. Le probl`me, cest que tout est exprim e e e en mots. On peut dire la mme chose en symboles et alors tout devient e plus clair. B : Tu veux dire que vas utiliser les maths modernes pour dchirer cette vieille e Pierre ? A : Ca me fait horreur, mais cest vrai. La premi`re r`gle dit que tout nombre e e x est en fait une paire densembles, appels ensemble de gauche xG et e ensemble de droite xD : x = (xG , xD ). B : Attends une seconde. Tu nes pas oblige de dessiner dans le sable, je crois e que jai encore de quoi crire dans mon sac. Une seconde. . . voil`. e a A: x = (xG , xD ). xG et xD ne sont pas seulement des nombres, ce sont des ensembles de nombres, et chacun de ces nombres est lui-mme une paire densembles, e et ainsi de suite. B : Stop ! Je ne comprends rien a ta notation. Je ne comprends plus ce qui est ` un ensemble, et ce qui est un nombre. A : Daccord, je vais utiliser des majuscules pour les ensembles de nombres et des minuscules pour les nombres. La premi`re r`gle de Conway dit que : e e (1) x = (XG , XD ) o` u XG XD

Cela signie que si xG est un nombre quelconque de XG et xD un nombre quelconque de XD , ils doivent satisfaire xG xD . Cela signie que xG nest pas suprieur ou gal a xD . e e ` B : (se grattant la tte) Je crois que tu vas encore trop vite pour moi. e Tu as dj` tout compris, mais moi je dbarque tout juste. Si un nombre ea e est une paire densembles de nombres, lesquels sont eux-mmes des paires e densembles de nombres, et ainsi de suite, comment est ce que tout cela se passe au dmarrage ? e 7

A : Bonne question ! Cest ce qui fait la beaut de la chose dans le schma de e e ea Conway. Chaque lment de XG et XD doit dj` exister. Or le premier ee jour de la cration, il ny avait aucun nombre pour travailler, donc au e dpart XG et XD ne sont autres que lensemble vide ! e B : Je naurais jamais pens vivre jusquau jour o` lensemble vide servirait e u a ` quelque chose. On arrive vraiment a crer quelque chose a partir de ` e ` e rien ? Mais est-ce que XG XD si XG et XD sont tous les deux gaux a ` lensemble vide ? Comment quelque chose peut-il tre dirent de luie e mme ? e Ah, si, si. Je crois que je comprends. Ca marche puisque a signie quaucun c lment de lensemble vide nest suprieur ou gal a un lment quelconque ee e e ` ee de lensemble vide. Cest justement vrai parce quil ny a aucun lment ee dans lensemble vide. A : Donc, ca se passe bien au dpart, et on obtient le nombre appel zro. Si e e e on utilise le symbole pour lensemble vide, on peut crire e 0 = (, ). B : Incroyable ! A : Maintenant, le second jour, on peut utiliser 0 dans lensemble de gauche ou lensemble de droite. Conway obtient donc deux nouveaux nombres : 1 = (, {0}) et 1 = ({0}, ).

B : Voyons voir, est ce-que a marche ? Pour que 1 soit un nombre, il faut c quaucun lment de lensemble vide ne soit suprieur ou gal a zro. Et ee e e ` e pour 1, il faut que 0 ne soit pas suprieur ou gal a un lment quelconque e e ` ee de lensemble vide. Ca alors, cet ensemble vide, cest quelque chose ! Je crois que jcrirai un jour le livre des Proprits de lensemble vide. e ee A : Tu ne nirais jamais. Si XG ou XD est vide, la condition XG XD est vraie quelque soit le contenu de lautre ensemble. Cela signie quen fait une innit de nombres e vont tre crs. e ee B : Bon, mais quest-ce que tu fais de la deuxi`me r`gle de Conway. e e A : Cest elle qui permet de dire si XG XD , quand les deux ensembles ne sont pas vides. Cest la r`gle qui dnit la relation infrieur ou gal. Ca e e e e peut scrire : e (2) xy signie que 8 XG y et x YD .

B : Attends une seconde, tu vas beaucoup trop vite pour moi. Regarde, XG est un ensemble de nombres et y est un nombre, cest a dire, une paire ` densemble de nombres. Quest-ce que tu veux dire quand tu cris XG y e ? A : Je veux dire que chaque lment de XG satisfait xG y. En dautres ee e e ` termes, aucun lment de XG nest suprieur ou gal a y. ee B : Ah, je vois, et la r`gle (2) dit aussi que x nest pas suprieur ou gal a un e e e ` lment quelconque de YD . Est-ce que cela colle avec le texte. . . ? ee A : La version de la Pierre est lg`rement dirente, mais x y doit vouloir e e e dire la mme chose que y x. e B : Oui, tu as raison. Eh, attends une seconde, regarde ces gravures sur le ct o e :

Ce sont les symboles que je ne pouvais pas dchirer hier, et ta notation e rend tout limpide comme du cristal ! Ces deux points sparent lensemble e de gauche de lensemble de droite. Tu dois tre sur la bonne piste. e A : Ouahh ! Des signes gaux et tout ! Ce sculpteur de lage de pierre a d e u pour dire 1. Je prf`re presque sa notation ` la mienne. ee a utiliser B : Je pense quon a sous-estim les hommes prhistoriques. Ils devaient avoir e e des vies compliques et besoin de gymnastique mentale juste comme nous e au moins quand ils ntaient pas obligs de se battre pour se nourrir et e e pour se protger. On simplie trop lhistoire quand on y pense. e A : Oui, mais sinon comment pourrait-on ltudier ? e B : Peut-tre. . . e A : Maintenant voil` la partie du texte que je ne comprends pas. Le premier a jour de la cration, Conway dmontre que 0 0. Pourquoi, sembte-t-il e e e a e ` dmontrer que quelque chose est infrieur ou gal a lui-mme, puisque e e ` e cest forcment gal a lui-mme. Et ensuite, le second jour, il dmontre que e e ` e e 1 nest pas gal a 0 ! Nest-ce pas vident, sans dmonstration, puisque e ` e e 1 est un autre nombre ? B : Hmmm. Je ne sais pas pour toi, mais moi jai bien envie daller nager. A : Bonne ide. Ces vagues mont lair super, et puis jai perdu lhabitude de e me concentrer autant. Allons-y !

10

Les Dmonstrations e

B : Jai pens ` quelque chose quand on se promenait tout a lheure. Peut tre ea ` e que ma traduction nest pas correcte. A : Non ? Mais, elle doit ltre ! On a dj` vri trop de choses. . . e ea e e B : Je sais, mais maintenant que jy pense, je ne suis pas vraiment sr du mot u que jai traduit pas gal a. Peut-tre quil a un sens plus faible, seme ` e blable a ou similaire `. A ce moment l`, la deuxi`me r`gle de Conway ` a a e e devient : Un nombre est infrieur ou similaire ` un autre nombre si et e a seulement si. . . Ensuite, il dmontre que zro est infrieur ou similaire ` e e e a zro, moins un est infrieur mais pas similaire ` zro, et ainsi de suite. e e a e A : Oui, ca doit tre ca. Il utilise ce mot dans un sens technique abstrait qui e doit tre dni par des r`gles. Alors, bien sr, il doit dmontrer que 0 est e e e u e infrieur ou similaire ` 0, de mani`re ` vrier que, par sa dnition, un e a e a e e nombre est similaire ` lui-mme. a e B : Et maintenant est-ce que ca marche ? Dapr`s la r`gle (2) il doit montrer e e quaucun lment de lensemble vide nest suprieur ou similaire ` zro, et ee e a e que 0 nest ni suprieur ni similaire a un lment quelconque de lensemble e ` ee vide. Daccord, ca marche. Lensemble vide triomphe une fois de plus. . . A : Le plus intressant, cest la mani`re dont il dmontre que 1 nest pas e e e similaire ` zro. Le seul moyen que je voie est de dmontrer que 0 nest ni a e e infrieur ni similaire a 1. La r`gle (2) nous dit si un nombre est infrieur e ` e e ou similaire a un autre nombre. Et si x nest pas infrieur ou similaire ` ` e a y, il nest pas infrieur ` y, et il nest pas similaire a y. e a ` B : Je vois, nous voulons montrer que 0 1 est faux. Cest la r`gle (2) avec e x = 0 et YD = {0}. Donc, 0 1 si et seulement si 0 0. Mais, 0 0, on le sait dj`. Donc, 0 1. Il a raison. ea A : Je me demande si Conway a aussi compar 1 et 1. Je suppose quil la fait e mme si on nen parle pas du tout sur la Pierre. Si les r`gles sont bonnes, e e on devrait pouvoir montrer que 1 est infrieur ` 1. e a B : Voyons voir : 1 cest (, {0}), et 1 cest ({0}, ). Donc, une fois encore, grce ` lensemble vide, la r`gle (2) donne 1 1. Dun autre ct 1 1 a a e o e revient ` dire 0 1 et 1 0 dapr`s la r`gle (2). Et on sait que ces deux a e e propositions sont fausses. Donc, 1 1 et on doit avoir alors 1 < 1. Les r`gles de Conway semblent marcher. e A : Oui, mais pour linstant on a utilis lensemble vide dans presque tous les e arguments, donc les vritables implications des r`gles ne sont pas encore e e claires. Est-ce que tu as remarqu que presque tout ce que nous avons e dmontr jusqu` prsent peut tre rsum ainsi : e e a e e e e 11

Si X et Y sont des ensembles quelconques de nombres, alors x = (, X) et y = (Y, ) sont des nombres et x y. B : Cest super la faon dont tu peux prouver une innit de choses en gnralisant c e e e le schma que jai utilis une ou deux fois. Cest bien ca labstraction ou la e e gnralisation ou quelque chose ? Mais peux-tu montrer que x est strictee e ment infrieur ` y ? Ctait vrai dans tous les cas simples et je parie que e a e cest vrai en gnral. e e A : Ouais. . . En fait non, pas quand X et Y sont tous les deux vides, car cela voudrait dire que 0 0. Mais sinon ca semble intressant. Prenons le cas e o` X est lensemble vide et Y est non vide. Est-il vrai que 0 est infrieur u e a ` (Y, ) ? B : Si cest vrai, alors on peut appeler (Y, ) un nombre positif. Cest ce que Conway doit vouloir dire en sparant par zro les nombres positifs des e e nombres ngatifs. e A : Oui, mais regarde. Dapr`s la r`gle (2), (Y, ) 0 si et seulement si aucun e e membre de Y nest suprieur ou similaire ` zro. Donc, si Y est lensemble e a e {1} par exemple, alors (Y, ) 0. Tu voudrais que les nombres positifs soient 0 ? Dommage que je naie pas pari avec toi. e B : Hmm. Tu dis que (Y, ) va tre positif seulement quand Y contient un e nombre qui est zro, ou suprieur ` zro. Tu dois avoir raison je suppose. e e a e Maintenant au moins, on comprend tout ce qui est crit sur la Pierre. e A : Tout jusqu` lendroit o` elle est casse. a u e B : Tu veut dire. . . A : Je me demande ce qui sest pass le troisi`me jour. e e B : Oui, on devrait pouvoir le deviner maintenant quon conna les r`gles. Ca t e pourrait tre marrant de travailler sur le troisi`me jour, apr`s le djeuner. e e e e A : Tu devrais aller pcher maintenant. On na presque plus de viande sche. e e e Je vais voir si jarrive a trouver des noix de coco. `

12

Les Mauvais Nombres

B : Jai travaill sur le probl`me du Troisi`me Jour. Jai bien peur que cela e e e ne soit tr`s compliqu. A force de crer de plus en plus de nombres, le e e e nombre densembles possibles augmente de faon vertigineuse. Je parie c quau septi`me jour, Conway avait besoin de se reposer. e A : Oui. Moi aussi, jy ai travaill. Jarrive ` dix-sept nombres le Troisi`me e a e Jour. B : Dix-sept ? Jen ai trouv dix-neuf, il doit ten manquer deux. Voil` ma liste e a :

A : Je vois que tu utilises la notation de la Pierre. Mais pourquoi est-ce tu ? Il a dj` t cr le premier jour. e a e e ee comptes B : Il faut comparer les nouveaux nombres aux anciens pour savoir o` ils se u placent. A : Je nai compt que les nouveaux nombres dans ma liste des dix-sept. Donc en e fait, il doit y en avoir vingt dirents ` la n du Troisi`me Jour. Regarde, e a e tu as oubli e

dans ta liste. B : (clignant des yeux) En eet. Hmm. . . vingt fois vingt, cela fait quatre cent cas possibles quil va falloir examiner par la r`gle (2). Cest beaucoup e de travail, pas tr`s marrant dailleurs. Mais, on est oblig dy passer, sinon e e je ne pourrais pas avoir lesprit tranquille. A : Peut-tre y a-t-il un moyen de simplier le travail. e B : Ce serait bien. . . Bon, jai dj` un rsultat : 1 est infrieur ` ({1}, ). Dabord jai d ea e e a u dmontrer que 0 ({1}, ). e A : Moi, jai utilis une autre mthode. La r`gle (2) dit que nous devons tester e e e e a chaque lment de XG pour voir sil nest pas suprieur ou similaire ` y, ee mais tous ces tests ne doivent pas tre ncessaires. Si un lment quele e ee ee e conque de XG est y alors le plus grand lment de XG devrait tre y. De mme, on na besoin de comparer x quau plus petit lment de YD . e ee 13

B : Oui, tu dois avoir raison. . . Je peux montrer que 1 est infrieur ` ({0, 1}, ) de la mme faon que jai e a e c montr quil est infrieur ` ({1}, ). Le 0 supplmentaire dans XG na e e a e pas lair de changer grand chose. A : Si jai raison, cela nous conomisera beaucoup de travail, car chaque nombre e (XG , XD ) se comporte dans toutes les relations exactement comme si e e ee XG tait remplac par son plus grand lment et XD par son plus petit. On ee naura besoin de considrer aucun nombre o` XG ou XD ont deux lments e u ou plus. Donc, dans la liste des vingt nombres, on peut en liminer dix ! e B : Doucement ! Comment montre-t-on une chose pareille ? A : Ce quil nous faut, cest une r`gle du type e (T1) Si x y et y z, alors x z.

A priori, ce nest pas vident, mme si cest cohrent avec tout ce que lon e e e sait dj`. ea B : Il faut a tout prix que cela soit vrai, si lon veut que les nombres de Conway ` soient plausibles. On pourrait ladmettre et avancer, mais ce serait quand mme bien de montrer une fois pour toutes que cest vrai, en utilisant e simplement les r`gles de Conway. e A : Oui, et comme a, on rsoudrait le probl`me du Troisi`me Jour sans se c e e e fatiguer davantage. Voyons, comment peut-on la dmontrer. . . e B : Quelle plaie, ces mouches ! Juste au moment o` jessaye de me concentrer. u Alice, est-ce que tu pourrais . . . Non, nalement, je prf`re aller faire un ee tour. . . . . . . . . . . .

Alors, ca marche ? A : Non, je tourne en rond. Entre et , je mlange tout. Tout est exprim e e de faon ngative. Les choses paraissent incroyablement compliques. c e e B : Peut-tre que (T1) nest pas vraie. e A : Mais cela doit tre vrai. Eurka ! On va essayer de montrer que cest e e faux, et quand on chouera, la raison mme de notre chec constituera la e e e dmonstration. e B : Bonne ide, cest toujours plus facile de montrer que quelque chose est faux, e plutt que cest vrai. o 14

A : On suppose que lon a trois nombres x, y, et z vriant e xy et y z, mais x z.

Quest-ce que la r`gle (2) donne a propos de mauvais nombres comme e ` ceux-ci ? B : Elle dit que et et et XG x YG y

y, YD , z, ZD

On a aussi x z; quest-ce que cela signie ? A : Cela signie quune des deux conditions nest pas satisfaite. Soit il y a un nombre xG de XG tel que xG z, soit il y a un nombre zD de ZD tel que e e x ZD . Avec tous ces rsultats sur x, y, et z, on doit pouvoir dmontrer quelque chose ! e e a B : Bon, puisque xG est dans XG , il ne peut pas tre suprieur ou similaire ` e y. Disons quil est infrieur ` y. On a y z, donc xG doit tre. . . Non, e a dsol, je ne peux pas utiliser des proprits de nombres que je nai pas e e ee dmontres. e e Dun autre ct, on sait que y z et z xG et y xG . On a donc trois o e mauvais nombres de plus, ce qui nous donne encore plus de rsultats. Ca e a lair horriblement compliqu ! e A : Bill, tu y es ! B : Oui ? A : Si (x, y, z) sont trois mauvais nombres, il y a deux cas possibles. Premier cas, il existe un xG z. Alors,(y, z, xG ) sont trois mauvais nombres de plus. Deuxi`me cas, il existe un zD x. Alors, (zD , x, y) sont trois mauvais e nombres de plus. B : Tu es s r que tu ne tournes pas en rond ? Il y a de plus en plus de mauvais u nombres. A : Non, dans chaque cas les nouveaux nombres sont plus simples que ceux de dpart, et lun dentre eux existait dj`. On ne peut pas continuer e ea indniment a trouver des ensembles de mauvais nombres qui existaient e ` dj`. Donc en fait, il ne peut pas du tout y avoir de mauvais ensembles. ea 15

B : (radieux) Ouahh ! Tu dis en fait : Chaque nombre x a t cr un jour e e ee j(x). Sil y a trois mauvais nombres (x, y, z) pour lesquels la somme des jours de cration j(x) + j(y) + j(z) = n, alors lun des deux cas sapplique e et donne trois mauvais nombres dont la somme des jours est infrieure a e ` n. Ceux-l` produisent a leur tour un ensemble dont la somme est encore a ` plus petite, et ainsi de suite. Mais on ne peut plus continuer car il ny a pas trois nombres dont la somme des jours est infrieure a trois. e ` A : Exact, tout ca sexprime bien en utilisant la somme des jours de cration. e Sil ny a pas trois mauvais nombres (x, y, z) dont la somme des jours est infrieure a n, les deux cas montrent quil ny en a pas dont la somme des e ` jours vaut n. Cest en fait une dmonstration par rcurrence sur la somme e e des jours. B : Toi et ton jargon ! Cest lide qui compte. e A : Cest vrai, mais il faut donner un nom ` lide pour pouvoir lutiliser plus a e facilement la prochaine fois. B : Oui, il y aura sans doute une prochaine fois. . . Daccord, je suppose que je nai plus aucune raison de refuser si catgoriquement le jargon des Maths e Modernes . Je le sais et tu le sais, on vient juste de dmontrer la relation e de transitivit. e A : (soupirant) Pas mal pour des mathmaticiens amateurs ! e B : Cest toi qui a tout fait. Je proclame ici que la relation de transitivit (T1) e sera connue depuis ce jour comme le thor`me dAlice. e e A : Arrte un peu. . . Je suis s re que Conway la dcouverte il y a longtemps. e u e B : Cela ne change rien au fait que tu laies trouve. Je parie que tous les grands e mathmaticiens ont commenc par redcouvrir tout un tas de rsultats e e e e bien connus. A : P, descends un peu de ton nuage ! Le principal cest de samuser.

16

Le Progr`s e

B : Je viens de penser a un truc. Serait-il possible davoir deux nombres qui ` nont aucun rapport entre eux ? Je veux dire tels que : xy et yx

comme si lun des deux tait hors datteinte ou dans une autre dimension e ou quelque chose comme ca. Ca ne devrait pas arriver, mais comment pourrait-on le prouver ? A : Je suppose quon pourrait essayer la mme technique que tout ` lheure. e a Si x et y sont deux mauvais nombres (qui ne vrient pas ton hypoth`se), e e a alors on a soit un des xG y, soit x ` un des yG . B : Hmmmm, suppose que y xG . Alors, si xG x, on aurait y x par notre loi de transitivit, et nous avons suppos que y x. Donc, xG x. e e e Dans lautre cas, yD x, et on montrerait de mme que y yD . A : Cest pas bte du tout ! Tout ce quil nous reste a faire maintenant pour e ` montrer que deux tels nombres ne peuvent exister, cest de prouver un rsultat que je souponnais depuis longtemps. Tout nombre x doit tre e c e compris entre les lments de ses ensembles de gauche et de droite, XG et ee a XD . Cest ` dire : (T2) XG x et x XD .

B : Ca ne doit pas tre dicile ` montrer. Quest-ce que xG x veut dire ? e a A : Soit il existe un nombre xGG dans XGG tel que xGG x, soit il existe un e e nombre xD dans XD tel que xG xD . Mais dapr`s la r`gle (1), le second cas ne peut pas tre vri. e e e B : Je savais que nous utiliserions la r`gle (1) tt ou tard. Mais que pouvonse o nous faire avec xGG ? Je naime pas les doubles indices. ee A : Et bien, xGG est un lment de lensemble de gauche de xG . Comme xG a e t cr avant x, on peut au moins supposer que xGG xG par rcurrence. e e ee B : Continue. A : Voyons, xGG xG , donc xGGG xG et . . . B : (linterrompant) Je ne veux pas voir ca ! Tes indices vont de pire en pire. A : Merci pour ton aide prcieuse. . . e B : Mais regarde, je taide, je te dis de virer ces indices dlirants ! e 17

A : Mais je. . . Bon, tu as raison, excuse moi de mtre embarqu dans une e e e voie aussi stupide. On a x xGG et xGG xG , donc la loi de transitivit nous dit que x xG . On ne doit probablement plus avoir besoin dindices multiples. B : Oui, ca marche !. . . On ne peut pas avoir x xG parce que cela voudrait ee dire que XG xG , ce qui est impossible, puisque xG est un des lments de XG . A : Bien vu ! Mais comment sais-tu que xG xG ? B : Quoi ? Tu veux dire quon a fait tout cela sans mme avoir prouv quun e e nombre est similaire ` lui-mme ? Incroyable. . . La preuve doit tre facile. a e e A : Peut-tre que tu la vois, mais je ne crois pas que ce soit vident. De toutes e e faons essayons de prouver que c (T3) x x.

veut dire que XG x et x XR . a B : Ca ressemble curieusement ` (T2). Mais ouh l` l`, nous revoici au mme a a a e point, a essayer de montrer que x xG est impossible. ` A : Cette fois-ci, cest bon, Bill ! Ton raisonnement montre que x xG ime plique xG xG , ce qui est impossible par rcurrence. B : Super, ca veut dire que (T3) est vrai donc tout sarrange. Nous avons dj` ea e prouv la partie XG x de (T2), et lautre partie doit sen dduire par le e mme raisonnement en changeant partout gauche et droite. e e A : Et comme nous lavons dit, (T2) sut pour prouver que tous les nombres sont comparables. En dautres mots, (T4) Si x y, alors y x.

B : Ok. Maintenant nous navons plus besoin de nous embter a dire les choses e ` de faon indirecte, puisque x y signie exactement que x est plus c petit que y. A : Je vois. Cest la meme chose que x est plus petit ou similaire ` y mais a nest pas similaire ` y. On peut maintenant crire a e x<y a ` place de x y. Les r`gles de dpart (1) et (2) ont bien meilleur allure. Je e e me demande pourquoi Conway na pas dni les choses de cette mani`re. e e Peut-tre parce quune troisi`me r`gle serait ncessaire pour dnir ce que e e e e e plus petit que veut dire, et il voulait limiter le nombre de lois. 18

B : Je me demande sil est possible davoir deux nombres dirents qui sont e similaires. Je veux dire : peut-on avoir a la fois x y et x y quand XG ` nest pas le mme ensemble que YG ? e A : Bien s r ! Nous avons vu quelque chose comme a avant le repas. Rappelleu c toi : nous avons trouv que 0 y et y 0 quand y = ({1}, ). Et je e crois que ({0, 1}, ) sest avr tre similaire ` ({1}, ). e ee a B : Tu as raison ! Quand x y et x y, je devine que x et y sont eectivement gaux pour toutes utilisations pratiques. Car la loi de transitivit nous e e dit que x z si et seulement si y z. Ils sont interchangeables. A : Autre chose. Nous avons deux lois de transitivit supplmentaires, je veux e e dire : (T5) (T6) Si x < y et y z, alors x < z. Si x y et y < z, alors x < z.

B : Tr`s joli ! En fait, ces deux lois dcoulent directement de (T1) si on cone e sid`re que x < y est quivalent a x y. Il ny a pas besoin dutiliser e e ` (T2), (T3), ou (T4) pour prouver (T5) ou (T6). A : Tu sais, quand on regarde tout ce que lon a dj` prouv, cest vraiment ea e chouette. Cest tonnant que tant de choses dcoulent des deux r`gles de e e e Conway. B : Alice, cest un nouveau visage que je te dcouvre aujourdhui. Tu viens de e dtruire la lgende qui veut que les femmes soient incapables de faire des e e maths. A : Eh bien merci, galant chevalier ! B : Tu sais, a peut para c tre idiot, mais travailler avec toi sur des trucs si cratifs me rend tout excit ! Les gens pensent que trop de travail ine e tellectuel tue le dsir physique, mais vraiment voil` longtemps que je ne e a mtais pas aussi bien senti. e A : A vrai dire, moi non plus ! B : Regarde ce coucher de soleil. Il me fait penser au poster que nous avons achet. Et regarde la mer. e A : (courant) Allons-y !

19

20

Le Troisi`me Jour e

B : Bon dieu ! Je nai jamais aussi bien dormi de ma vie ! A : Moi non plus ! Cest si bon de se rveiller et de se sentir en forme sans e avoir besoin de caf pour tenir le coup. e B : O` en tions nous rest hier, avant de perdre la tte et de tout oublier des u e e e maths. A : (souriant) Je crois que nous venions juste de prouver que les nombres de Conway sont des gentils petits nombres qui font ce quon attend eux. On peut les crire les uns ` ct des autres, du plus petit au plus grand, e a o e chaque nombre tant plus grand que ceux qui se trouvent a sa gauche, et e ` plus petit que ceux qui se trouvent a sa droite. ` B : Et nous avons rellement prouv a ? e ec A : Ouaip ! Et de toutes faons, les nombres dirents peuvent tre ordonns c e e e dapr`s la loi (T4). Chaque nouveau nombre cr doit trouver sa place e ee parmi ceux qui existent dj`. ea B : Il devrait nous tre facile maintenant de dcouvrir ce qui arriva le Troisi`me e e e Jour. Il ne doit plus rester grand chose des 20 20 comparaisons. Nos thor`mes (T2) et (T3) montrent que e e

< < < < < <

Donc, sept des nombres sont dj` placs et il ne nous reste plus qu` faire ea e a pareil pour les autres. Tu sais, maintenant que ca devient plus facile, cest bien plus marrant quun mot crois. e
se trouve quelque part A : Nous savons aussi par exemple que et . Comparons le a llment central zro. ` ee e entre

B : Hmmm. Cest ` la fois 0 et 0, donc ce doit tre similaire ` zro dapr`s a e a e e la r`gle (3). Comme jai dit hier, cest eectivement gal a zro. Donc, on e e ` e peut tout aussi bien loublier. Ca en fait huit de faits ! Plus que douze. . . 21

A : Essayons de nous dbarrasser des dix cas pour lesquels XG ou YD ont plus e dun lment, comme jai essay de le faire hier matin. Jai eu une ide ee e e pendant la nuit, qui devrait marcher. Supposons que x = (XG , XD ) est un nombre, et prenons deux autres ensembles YG et YD , pour lesquels on a: YG < x < YD alors je pense quil est vrai que x est similaire ` z en posant : a z = (YG XG , YD XD ). En dautres mots, agrandir les ensembles XG et XD en ajoutant des nombres ` gauche ou a droite selon le cas, ne change pas vraiment x. a ` B : Voyons voir, cela semble possible. On peut dj` dire que z est un nombre ea dapr`s la r`gle (1). Il sera donc cr tt ou tard. e e ee o A : Pour montrer que z x nous pouvons prouver que : YG XG < x et z < XD .

Cest facile maintenant puisque nous savons que YG < x, XG < x, et dapr`s la r`gle (T3), z < XD YD . e e B : En utilisant le mme raisonnement, en changeant la droite et la gauche, e e on montre que x z. Tu as raison, cest vrai : (T7) Si YG < x < YD , alors x (YG XG , YD XD ).

(Jcrirai x z qui signie que x est similaire ` z, cest ` dire x z et e a a z x.) A : Ceci prouve juste ce que nous voulons. Par exemple,

et ainsi de suite. B : Donc, il ne nous reste plus que deux cas :


et

A : En fait, (T7) sapplique a ces deux cas. Il sut de prendre x = 0. ` B : Subtil ! On ma trise maintenant parfaitement le Troisi`me Jour. Seuls les e sept nombres que nous avions tout ` lheure sont vraiment dirents. a e 22

A : Je me demande si la mme chose pourrait marcher pour les jours suivants. e Supposons que les dirents nombres obtenus ` la n de n jours soient : e a x1 < x2 < < xm . Alors, peut-tre que les seuls nouveaux nombres crs le (n + 1)`me jour e ee e sont : (, {x1 }), ({x1 }, {x2 }), . . . , ({xm1 }, {xm }), ({xm }, ). B : Alice, tu es merveilleuse ! Si nous pouvons prouver ceci, on pourra rsoudre e le probl`me pour nimporte quel jour, dun seul coup, et jusqu` linni ! e a Tu vas plus loin que le Crateur lui-mme ! e e A : Peut-tre ne nous pourrons pas le prouver. e B : Essayons quand mme quelques cas particuliers. Par exemple, prenons le e e a nombre ({xi1 }, {xi+1 }), il devrait tre similaire ` un de ceux dont tu parlais tout a lheure. ` a A : Bien s r ! Il est similaire a xi ` cause de la loi (T7). Regarde ! Chaque u ` ee lment de XiG est xi1 , et chaque lment de XiD est xi+1 . Cepenee dant, dapr`s (T7) nous avons e xi ({xi1 } XiG , XiD {xi+1 }) et encore dapr`s (T7), e ({xi1 }, {xi+1 }) (XiG {xi1 }, {xi+1 } XiD ). Par la loi de transitivit, e xi ({xi1 }, {xi+1 }). B : (secouant la tete) Incroyable, Holmes ! A : Elmentaire mon cher Watson. On nutilise ici que la dduction. e e B : Tes indices ne sont pas super, mais pour cette fois, je ferme les yeux. Que ferais-tu avec le nombre ({xi1 }, {xj+1 }) si i < j ? A : (haussant les paules) Je craignais que tu me le demande. Je ne sais e pas... B : La mme dmonstration marcherait parfaitement sil y avait un nombre x e e ee pour lequel chaque lment de XG est xi1 et chaque lment de XD ee est xj+1 . 23

A : Oui, tu as raison, je navais pas pens ` a . Mais tous les lments e a c ee xi , xi+1 , . . . , xj qui se trouvent entre eux devraient intervenir. B : Je le suppose aussi. . . Ca y est ! Jai trouv ! Supposons que x soit lun des e e e ee lments xi , xi+1 , xi+2 , . . . , xj qui a t cr en premier. Alors, XG et XD ee ne peuvent contenir aucun des autres nombres. Donc, ({xi1 }, {xj+1 }) x. A : Permets moi de tembrasser pour avoir trouv a ! ec . . . . . . . . . . . . . . . . . . . . . .

B : (souriant) Pourtant, le probl`me nest pas compl`tement rsolu. Nous e e e devons considrer les nombres tels que (, {xj+1 }) et ({xi1 }, ). Mais e e e ee dans le premier cas cest, des nombres x1 , x2 , . . . , xj , celui qui a t cr en premier, et dans le second cas, cest, des nombres xi , xi+1 , . . . , xm , celui qui a t cr en premier. e e ee A : Et si le nombre cr en premier ntait pas unique ? Je veux dire si parmi ee e e e ee les xi , xi+1 , xi+2 , . . . , xj plusieurs nombres avaient t crs en premier ? B : Oooops. . . Non, cest bon, ca ne peut pas arriver, parce que la preuve est toujours valable. Et cela montrerait que les deux nombres sont similaires lun a lautre ce qui est impossible. ` A : Superbe ! Tu viens de rsoudre dun coup tous les probl`mes du jour a e e ` venir. B : Avec ton aide. Voyons voir, le Quatri`me Jour il y aura huit nouveaux e nombres. Le cinqui`me il y en aura seize de plus, etc. e e e e e ee A : Apr`s le ni`me jour, exactement 2n 1 dirents nombres auront t crs. e B : Tu sais, je ne crois pas que ce mec, l`, ce Conway, tait si intelligent que ca. a e Je veux dire, il aurait pu nous donner des r`gles beaucoup plus simple avec e les mmes eets. Il ny a pas besoin de parler densembles et de nombres, e tout ca ne tient pas debout. Il aurait pu simplement nous dire que les nouveaux nombres sont crs entre deux nombres adjacents qui existent ee dj`, ou bien aux extrmits. ea e e

C : Attendez darriver aux ensembles innis.


A : Quest-ce que ctait ? Tu as entendu ? e B : Je crains que la saison des pluies narrive bientt. . . o

24

La Dcouverte e

A : Bon, nous avons rsolu tous les probl`mes que posait cette Pierre, mais je e e ne peux mempcher de penser que quelque chose manque encore. e B : Quest ce que tu veux dire ? A : Bon, comme nous le savons, le Troisi`me Jour, quatre nouveaux nombres e ont t crs. Mais nous ne savons pas comment Conway les a appels. e e ee e B : Et bien, un des nombres tait plus grand que 1, donc je suppose quil la e appel le nombre 2. Et un autre entre 0 et 1, quil a peut-tre appel e e e 1 2 . A : Ce nest pas le probl`me. Ce qui me tracasse vraiment, cest de savoir e pourquoi ce sont des nombres. Pour tre des nombres, ils devraient pouvoir e tre additionns, soustraits, etc. . . e e B : (froncant les sourcils) Je vois. Tu penses que sur le morceau man quant de la Pierre, Conway a donn des lois supplmentaires qui rendraient e e ces nombres numriques. En fait, tout ce que nous avons maintenant cest e un tas dobjets ordonns proprement, bien en ligne, mais nous ne pouvons e rien faire avec. A : Je ne pense pas tre capable de deviner ces lois, en supposant bien sr, e u quelles existent. B : On est donc coinc. A moins de trouver la partie manquante. Et je ne me e souviens pas de lendroit o` nous avons trouv la premi`re bloc. u e e A : Moi je me souviens. Jai pris soin de bien noter lendroit o` on la trouv, u e pour le cas o` on dciderait dy retourner. u e B : Quest-ce que je deviendrais, sans toi ? ! Allons-y ! A : Eh ! Attends ! Tu ne penses pas quon devrait dabord manger un morceau. B : Tu as raison. Ce myst`re me passionne ` tel point que jen oublie ma faim. e a Nous creuserons apr`s. e . . . . . . . . . . .

A : (creusant) Dis Bill, jai peur quon ne soit oblig de sarrter l`. La roche e e a sous le sable est trop dure. Il nous faudrait dautres outils. B : Ouaip ! On ny arrivera pas en continuant a creuser le sol avec un couteau. ` Oh ! Voil` la pluie en plus. Tu veux quon retourne au campement ? a 25

A : Regarde ! Il y a une grotte au bas de la falaise ! Nous pourrons nous y abriter de lorage. Ouah ! Quel dluge ! e . . . . . . . . . . .

B : Ce quil fait sombre ici ! Aie ! Je me suis cogn lorteil ! e A : Bill ! On la trouv ! Tu tes cogn contre le deuxi`me bloc de la Pierre ! e e e B : (tressaillant) Bon sang, tu as raison ! Cest un miracle ! Mais mon orteil ne partage peut-tre pas totalement ma joie. e A : Essaie de la lire, Bill. Cest bien elle ? Cest ce que nous cherchions, hein ? B : Il fait trop sombre pour y voir quelque chose. Aide-moi a la sortir dehors. ` La pluie va enlever toute cette boue colle dessus. Oh, je distingue les mots e Conway et nombre. Ca doit tre ce que nous cherchons. e A : Super, on est sauv ! On va pouvoir ltudier en dtail. e e e B : On a ce quil faut dsormais. Mais je crois que je vais retourner dans la e grotte. La pluie sarrtera sans doute bientt. e o A : (le suivant) Allons-y, ou on nira tous les deux noys. e . . . . . . . . . . .

B : Je me demande pourquoi les maths, qui sont si pnibles en classe, sont si e intressantes maintenant ! Tu-te rappelles ce vieux schnok de Professeur e Landau ? Je dtestais vraiment ses cours : thor`me, dmonstration, lemme, e e e e remarque, thor`me, dmonstration, . . . , quelle prise de tte ! e e e e A : Oui, je me souviens que je mendormais tout le temps. Mais peut-tre que e nos magniques dcouvertes seraient tout aussi pnibles, non ? e e B : Cest vrai. Jai moi-mme cette envie folle de prsenter nos rsultats ` une e e e a classe remplie dl`ves : thor`me, dmonstration, lemme, remarque, . . . ee e e e Et ce serait si nickel que personne ne pourrait un instant deviner comment nous les avons trouvs, et tout le monde serait drlement impressionn ! e o e A : Ou ennuy. e B : Oui, plutt. Jimagine que cest en cherchant quon parvient a la beaut o ` e et pas en coutant. e A : Mais par essence, cest beau. Et jaime presque autant tcouter me racone tant ta derni`re dcouverte que de dcouvrir moi-mme quelque chose. e e e e Quelle est la dirence ? e 26

B : Mais si je suis capable maintenant dapprcier vraiment ce que tu as trouv, e e cest parce que jai moi-mme pass du temps ` me creuser les mninges e e a e sur le probl`me. e A : Avant, ca paraissait ennuyant parce que nous ne nous sentions pas con cerns du tout. On nous disait dassimiler ce que quelquun dautre avait e trouv, et au bout du compte, on ny trouvait aucun intrt. e e e B : Dsormais, chaque fois que je lirai un bouquin de math, jessaierai de e dcouvrir comment les choses sencha e nent avant de regarder la solution. Et mme si je narrive pas ` dmontrer le rsultat, je crois que je pourrais e a e e au moins apprcier la beaut de la dmonstration. e e e A : Je crois que nous devrions aussi essayer de deviner les thor`mes, ou du e e moins dcouvrir pourquoi et comment dmontrer de tels thor`mes. On e e e e devrait se mettre ` la place du type qui a dcouvert le rsultat. La partie a e e crative est vraiment plus intressante que la partie dductive. Au lieu de e e e se concentrer pour trouver les bonnes rponses aux questions, on devrait e apprendre a formuler les bonnes questions. ` B : Je crois que tu tiens l` quelque chose dimportant. Jaimerais voir les profs a nous donner des probl`mes comme : Trouver une proprit intressante e ee e de x pluto que Dmontrer x. t e A : Exact. Mais les profs sont si conservateurs, quils auraient peur derayer les tr`s bons et tr`s conciencieux l`ves qui font tous les devoirs bien e e ee mcaniquement, avec obissance. En plus, ils ne voudraient pas le boulot e e supplmentaire consistant a noter les rponses ` des questions qui ntaient e ` e a e pas poses. On a pris lhabitude de remettre tout ce qui fait appel ` la e a crativit, ` la n des tudes. Pendant dix-sept ans ou plus, un l`ve est e e a e ee une bte ` concours, puis brusquement apr`s quil ait pass susamment e a e e dtapes, on lui demande de crer quelque chose doriginal. e e B : Cest vrai. Je doute quil y ait beaucoup doriginaux qui tiennent jusque l`. a A : Oh, je ne sais pas. Peut-tre sont ils assez originaux pour trouver le moyen e dapprcier le syst`me. Comme celui de rentrer compl`tement dans le e e e probl`me, comme nous le disions. Ca devrait rendre les cours traditionnels e supportables, et peut-tre mme amusant. e e B : Tu as toujours t optimiste. Jai peur que tu ne voies les choses trop ee en rose. Regarde, la pluie sest arrte. On na qu` tra ee a ner cette Pierre jusquau campement et voir ce quil y a crit dessus. e

27

28

LAddition

A : Les deux blocs sembo tent parfaitement. On dirait que nous avons maintenant tout le message. Quest-ce que a dit ? c B : Cette partie est un peu plus dure ` comprendre, il y a quelque mots oba scurs, mais a donne a peu pr`s ceci : c ` e . . . jour. Et Conway dit Que les nombres sadditionnent entre eux selon la r`gle suivante : lensemble de gauche de la somme de e deux nombres comprendra les somme de chaque nombre et des parties de gauche de lautre nombre, et de la mme mani`re, lensemble e e de droite se construira grce aux parties de droite. Conway montra a que tout nombre plus zro est inchang et il considra que laddition e e e tait bien. Il y eut un soir et un matin, puis vint le troisi`me jour. e e Puis Conway dit Que le ngatif dun nombre ait pour enseme bles les ngatifs de ses ensembles opposs. Que la soustraction soit e e laddition du ngatif. Et il en fut ainsi. Conway prouva que la e soustraction opposait laddition et ctait tr`s bien. Et il fut un soir e e et un matin et vint le quatri`me jour. e Et Conway dit aux nombres Croissez et multipliez. Quune partie dun nombre soit multiplie par un autre nombre, que le e rsultat soit ajout au produit du premier nombre par un lment e e ee du second, et que le produit des parties en soit soustrait. Ceci pourra tre fait de toutes les faons possibles, donnant une partie e c de gauche du produit quand les lments sont de mme sorte, et ee e de droite quand les lments sont de direntes sortes. Conway ee e montra que tout nombre multipli par un reste inchang. Et il fut e e un soir et un matin et vint le cinqui`me jour. e Allluia ! Quand les nombres furent crs au bout dun nombre e ee inni de jours, lunivers lui-mme apparut. Et il y fut un jour et un e matin et vint le jour . Et Conway regarda toutes les lois quil avait cres pour les ee nombres et vit que ctait tr`s tr`s bien. Et il leur ordonna des e e e signes, des sries, des quotients, des carrs. e e Alors, ils stal`rent jusqu` un nombre inni infrieur a linnit. e e a e e Et linnit des jours engendra une innit dinnits. e e e Cest tout. A : Quelle n trange ! Et que signie le jour Aleph ? e B : Aleph est une lettre hbra e que et on dirait quelle se tient seule sur ses jambes, regarde . Ca semble reprsenter linni. Je lavoue cest du chara e bia. Ca ne va pas tre facile a comprendre. e ` 29

A : Peux-tu tout retranscrire pendant que je prpare le d e ner ? Cest trop long pour que je retienne tout, et je ne sais pas la lire. . . B : Ok, ca maidera moi aussi a mclaircir les ides. ` e e . . . . . . . . . . .

A : Cest curieux que les quatre nombres crs le Troisi`me Jour ne soient pas ee e mentionns. Je me demande encore comment Conway les a appels. e e B : Si nous appliquons les r`gles daddition, de multiplication et de soustrace tion, nous pourrons peut-tre trouver ce que sont ces nombres. e A : Ouais, seulement si nous arrivons dabord a pouvons dcouvrir quelles sont ` e ces r`gles. Voyons si nous pouvons reprsenter symboliquement la r`gle de e e e laddition pour voir ce quelle veut dire. . . Je suppose que de mme sorte e doit signier que les lments de gauche vont avec les lments de gauche, ee ee et ceux de droite avec ceux de droite. Que penses tu de ceci : (3) x + y = ((XG + y) (YG + x), (YD + x) (XD + y)) .

B : Je trouve ca horrible. Quest ce ta r`gle veut dire ? e A : Pour avoir lensemble de gauche de x + y, tu prends tous les nombres de u u la forme xG + y o` xG est dans XG , et tous les nombres yG + x o` yG est dans YG . Lensemble de droite se dduit des lments de droite de la e ee mme mani`re. e e e B : Je vois, une partie de gauche de x est un lment de XG . Ta dnition ee symbolique semble en accord avec le texte. A : Et cette dnition a un sens puisque chaque xG + y et x + yG doit en e principe tre plus petit que x + y. e B : Ok. Essayons la pour voir comment ca marche. Je vois que tu las appele e la r`gle (3). e A : Voyons. Apr`s le Troisi`me Jour, nous savons quil y a sept nombres e e dirents que nous pouvons appeler : 0, 1, 1, a, b, c, et d. e B : Non, je pense que nous pouvons utiliser la symtrie droite-gauche et les e appeler : a < 1 < b < 0 < b < 1 < a o` u a = 1 = 0 = b =


= 30

= a = = b =1

A : Excellent ! Tu dois avoir raison puisque la loi suivante de Conway est (4) x = (XD , XG ).

B : Cest donc a ! Bon, nous pouvons maintenant commencer ` additionner c a ces nombres. Selon la r`gle (3), quest-ce que 1+1 ? e A : Occupe toi de a. Moi, je cherche ce que vaut 1 + a. c B : Daccord. Je trouve ({0 + 1, 0 + 1}, ). Et 0 + 1 est ({0 + 0}, ), 0+0 est (, ) = 0. Donc tout marche bien, on a : 1 + 1 = ({1}, ) = a. Comme nous le pensions, a doit tre 2. e A : Flicitations. Tu viens de trouver la plus longue dmonstration au monde e e que 1 + 1 = 2. B : Tu as dj` rencontr une dmonstration plus courte ? ea e e A : Pas vraiment. Regarde, tes calculs maident aussi. Je trouve 1 + 2 = ({2}, ), nombre qui nest cr que le Quatri`me Jour. ee e B : Je sugg`re de lappeler 3. e A : Bravo. Alors, la r`gle (3) marche bien ! Vrions que b est bien e e calculant b + b. . .
1 2

en

B : Hmm, cest bizarre, on trouve ({b}, {b + 1}) qui na pas encore t cr. e e ee A : Et b + 1 est ({b, 1}, {2}) qui est similaire ` ({1}, {2}) cr le Quatri`me a ee e Jour. Donc, b + b appara le Cinqui`me Jour. t e B : Ne me dis pas que b + b est gal a un autre nombre dont on ne conna pas e ` t le nom ! A : On est coinc ? e B : Nous avons labor une thorie qui nous permet de calculer tous les nome e e bres crs, donc nous devons pouvoir le faire. Faisons un rcapitulatif des ee e quatre premiers jours. A : Oh Bill, cest trop compliqu. e B : Non, regarde, cest un tableau tout simple. Jour Jour Jour Jour . . . 1 2 3 4
0 1 2 3 (b+1) c b d d b c b+1 1 2 3

31

A : Oh, je vois, donc b + b est ({b}, {b + 1}) qui est form de nombres non e adjacents. . . Et notre thorie nous dit que de tous les nombres situs e e entre b et b + 1 le Cinqui`me Jour, ({b}, {b + 1}) est celui qui fut cr en e ee premier. B : (rayonnant) Et cest 1, car 1 appara avant c. t A : Donc, b est nalement 1 , bien quon ait eu besoin de deux jours pour 2 trouver sa valeur. Cest incroyable ce quon peut prouver ` partir de ces a quelques r`gles. Elles sont si troitement lies, cest ` devenir fou. e e e a B : Je parie que d vaut 1 , et c 2 . 3 3 A : Le soleil va se coucher. Allons dormir Bill, nous avons tout notre temps et je suis vraiment lessive. e B : (marmonnant) d + c = . Ok, daccord. Bonne nuit.

32

La Rponse e

A : Tu es dj` rveill ? ea e e B : Quelle nuit, bon sang ! Je nai pas arrt de me tourner et de me retourner ee en rchissant ` toutes sortes de trucs. Jai rv que je dmontrais des e e a e e e tas de choses et que je faisais des dductions logiques, mais quand je me e suis rveill, je me suis aperu que ca ne tenait pas du tout debout. e e c A : Peut-tre que toutes ces mathmatiques ne sont pas bonnes pour nous e e apr`s tout. On tait si heureux hier. . . e e B : (linterrompant) Ouais, hier on planait, mais aujourdhui ca tourne au vinaigre. Je ne peux pas mempcher dy penser. Je ne pourrai pas me e reposer tant quon naura pas trouv dautres rsultats. Ou est le crayon e e ? A : Bill, tu as besoin dun bon petit djeuner. Il y a des abricots et des gues e par l`. a B : Daccord, mais je dois me remettre au travail. A : En fait, je suis moi aussi curieux de savoir ce quil en est, mais promets moi une chose. B : Quoi ? A : Nous travaillerons seulement sur laddition et la soustraction aujourdhui. Pas la multiplication ! Nous ne jetterons mme pas un coup dil sur e lautre partie de la tablette. B : Daccord. Je serais mme davis de repousser ltude de la multiplication e e a ` jamais. Ca a lair si compliqu. e A : (lembrassant) Daccord, maintenant calme toi. B : (stirant) Je ne sais pas ce que jai fait pour te mriter, Alice. e e A : Cest mieux. La nuit derni`re, je rchissais ` la mani`re dont tu as rsolu e e e a e e le probl`me de lensemble des nombres hier matin. Je pense quil y a un e principe important que nous devons dier en thor`me. Cest que : e e e (T8) Soit y un nombre. Si x est le premier nombre cr tel ee que YG < x et x < YD , alors x y. B : Hmm, je pense que cest bien ce que nous avons dmontr. Voyons si nous e e pouvons retrouver la dmonstration, grce au nouveau symbolisme. Si je e a me rappelle bien, nous avons construit le nombre z = (YG XG , XD YD ). 33

Nous avions alors x z par (T7). Dun autre ct, aucun lment xG de o e ee e e ee e XG ne satisfait YG < xG puisque xG a t cr avant x. Par consquent a e chaque xG est ` un des yG par (T4). Donc, XG < y et de mme y < XD . Donc, y z par (T7). Cest facile maintenant de faire la dmonstration e puisque nous avons tous les lments pour travailler. ee A : Ce qui est bien avec le thor`me (T8), cest quil rend les calculs de la nuit e e derni`re bien plus simples. Quand on a calcul b + b = ({b}, {b + 1}) , on e e aurait pu voir tout de suite que 1 est le premier nombre cr situ entre ee e {b} et {b + 1}. B : Attends, je vais essayer dappliquer ca ` c + c. Cest le premier nombre a cr entre b + c et 1 + c. Ben, a doit tre b + 1, cest a dire 1 1 . Donc, c ee c e 2 vaut 3 . 4 Cest marrant, jaurais jur que ctait 2 . e e 3 A : Et d vaut 1 . 4 B : Oui. A : Je pense que le procd gnral appara plus clairement maintenant. Au e e e e t bout de quatre jours les nombres non ngatifs sont : e 3 1 1 3 0, , , , 1, , 2, 3. 4 2 4 2 Et au bout de 5 jours, ils seront sans doute. . . B : (linterrompant) 5 3 7 5 1 1 3 1 5 3 7 0, , , , , , , , 1, , , , 2, , 3, 4. 8 4 8 2 8 4 8 4 2 4 2 A : Exact. Peux tu le montrer ? B : ... Oui, mais pas aussi facilement que je ne le pensais. Par exemple, pour 3 montrer que f = ({ 2 }, {2}) vaut 7 , je calcule f + f . Cest le premier 4 nombre cr entre 3 et 4, et je dois anticiper de quelques jours, pour ee e trouver 7 . Je suis convaincu que nous avons le bon mod`le, mais ce serait 2 bien den avoir la preuve. e A : Le Quatri`me Jour, on a calcul 3 en sachant que ctait 1 + 1 , et non en e e 2 2 e calculant 3 + 3 . Peut-tre que cest ca lastuce : ajouter 1. 4 4 B : Voyons voir. Dapr`s la dnition (3), on a e e 1 + x = ((1 + XG ) {x}, 1 + XD ) 34

en supposant que 0 + x = x. En fait, on peut dire que. . . , mais bien sr, u pour les nombres positifs on peut toujours choisir XG tel que 1 + XG poss`de un lment x, donc ca se simplie en : e ee 1 + x (1 + XG , 1 + XD ) dans ce cas. A : Cest a, Bill ! Regarde les derniers huit nombres du Cinqui`me Jour, ils c e sont juste plus grand dune unit que les huit nombres non ngatifs du e e Quatri`me Jour. e B : Ca marche parfaitement. Maintenant, il nous reste ` montrer que notre a mod`le marche bien pour les nombres entre 0 et 1. . . , mais a peut toujours e c se faire en calculant x + x, qui est infrieur ` 2. e a A : Oui. Je suis s re maintenant que nous avons le bon mod`le. u e B : Quel soulagement dun coup ! Je ne sens mme pas besoin de formaliser e la dmonstration. Je sais que cest juste. e A : Je me demande si notre r`gle des 1 + x nest pas le cas particulier dune e r`gle plus gnrale telle que : e e e y + x (y + XG , y + XD ). Ca serait bien plus simple que la r`gle si complique de Conway. e e B : Il semble logique de penser quajouter y ne fait que tout dcaler de y e units. Euh, non. Prends x = 1, ca voudrait dire que y + 1 ({y}, ) ce e qui est faux quand y = 1 . 2 A : Dsole. En fait ta r`gle des 1 + x ne marche pas non plus pour x = 0. e e e B : Cest vrai, je ne lai montre que quand x est positif. e A : Je pense que nous devrions regarder la r`gle (3) de laddition de plus pr`s e e pour voir ce que lon peut en tirer de plus. Tout ce que nous avons, ce sont les noms des nombres. Ces noms sont corrects si les nombres de Conway se comportent comme les nombres habituels, mais nous ne savons pas si les r`gles de Conway et les r`gles usuelles sont les mmes. En plus, je trouve e e e c a rigolo de dduire tout un tas de nouveaux machins juste ` partir de ces e a quelques r`gles de base. e B : Voyons. Dabord, laddition est visiblement commutative, cest a dire : ` (T9) x + y = y + x. 35

A : Ouaip. Maintenant, tachons de montrer ce que prtendait Conway, cest a e ` dire : (T10) B : La r`gle donne e x + 0 = (XG + 0, XD + 0). Ce quil faut faire, cest encore une fois une rcurrence sur le jour de e e ` e cration. On suppose que XG + 0 est gal a XG , et que XD + 0 est gal e e e ee a ` XD , puisque tous ces nombres ont t crs avant x. CQFD ! A : Mais, na-t-on pas montr que x + 0 x et non = x ? e B : Toi, tu cherches la petite bte, non ? Si tu veux, je peux modier (T10), e c a ne change pas grand chose. Mais en fait la dmonstration dit que x + 0 e et x ont les mmes ensembles, non ? e A : Tu as raison, excuse moi. B : Ca fait dix thor`mes, on continue tant quon est chaud ? e e x + 0 = x.

36

10

Les Thor`mes e e

A : Et la loi dassociativit ? e (T11) (x + y) + z = x + (y + z).

B : Je doute quon sen serve. Ca nintervient pas dans les calculs. Mais ca ne nous ferait pas de mal dessayer. Mes profs de math ont toujours dit que ctait quelque chose de bien. Alors, allons-y pour lassociativit. Peux tu e e me trouver la dnition ? e A : (x + y) + z = (((XG + y) + z) ((YG + x) + z) (ZG + (x + y)), ((XD + y) + z) ((YD + x) + z) (ZD + (x + y))) x + (y + z) = ((XG + (y + z)) ((YG + z) + x) ((ZG + y) + x), (XD + (y + z)) ((YD + z) + x) ((ZD + y) + x)) . B : Tu es vraiment forte pour toutes ces formules bestiales. Mais comment prouver que ces deux choses monstrueuses sont gales. e A : Ca nest pas si dur. Il sut de faire une dmonstration pas rcurrence e e sur les sommes des jours, comme auparavant. Regarde (XG + y) + z = e XG +(y+z) car la somme des jours de cration de (xG , y, z) est strictement infrieure a celle de (x, y, z), et on raisonne par rcurrence. Pour les cinq e ` e autres ensembles, on fait de mme en utilisant la commutativit. e e B : Flicitations ! Encore une fois cest ce quil fallait dmontrer. Et en plus e e on a bien = et pas . A : Le signe minqui`te un peu Bill. On a montr quon pouvait substituer e e des lments identiques pour < et , mais on doit aussi le vrier pour ee e laddition. Cest a dire : ` (T12) Si x y, alors x + z y + z.

B : Je suppose que cest vrai, sinon on ne serait pas autoriss ` faire les e a simplications quon a eectues pour les nombres. Tant qu` faire une e a dmonstration, autant la faire correctement. e A : En fait, on peut essayer de montrer un rsultat plus fort qui est : e (T13) Si x y, alors x + z y + z

car a prouverait tout de suite (T12). c 37

B : Je vois. Parce que x y si et seulement si x y et y x. De plus, (T13) me semble un rsultat tr`s utile. Est-ce quon ne pourrait pas prouver e e quelque chose dencore plus fort : Si x y et w z, alors x + w y + z ? A : Oh, ca dcoule de (T13) puisque e x + w y + w = w + y z + y = y + z. B : Cest vrai, (T13) est meilleur parce que plus simple. Eh bien, ma ch`re e experte en formules, a quoi (T13) est il quivalent ? ` e A : On sait que XG < y et x < YD . On doit montrer que XG + z < y + z, ZG + x < y + z, x + z < YD + z, et x + z < ZD + y. B : Une autre preuve par rcurrence ? Ca devient vraiment trop facile ! e A : Pas si facile que a mon vieux ! Je crains que la rcurrence ne nous donne c e que XG +z y+z, etc. . . Il se pourrait que xG < y mais que xG +z y+z. B : Oui, cest intressant. Nous avons besoin de la rciproque. e e (T14) Si x + z y + z, alors x y.

A : Gnial ! La rciproque est quivalente a ceci : Supposons que XG + z < e e e ` y + z, ZG + x < y + z, x + z < YD + z, et x + z < ZD + y, prouver que XG < y et x < YD . B : Hmm. La rciproque doit pouvoir se dmontrer par rcurrence si ce nest e e e e que nous pourrions avoir, disons xG + z < y + z et en mme temps xG y. Ce genre de cas devrait pouvoir se rsoudre par (T13), mais. . . e A : Mais on a besoin de (T13) pour montrer (T14), et de (T14) pour montrer (T13). Et de (T13) pour montrer (T12). B : On tourne en rond. A : Ah, mais on peut sen sortir. Il sut de montrer les deux ensembles ! On peut montrer le rsultat (T13) et (T14) par rcurrence sur la somme e e des jours de cration de (x, y, z). e B : (radieux) Alice, tu es gniale ! Belle, sduisante, et gniale ! e e e A : Allons, allons, nous avons encore beaucoup a faire. On devrait montrer ` que : (T15) x x 0. 38

B : Cest quoi ce signe moins ? Nous navons jamais exprim la r`gle de e e soustraction de Conway. A : (5) x y = x + (y).

B : Tu as utilis le signe dans (T15). . . Oui, cest clair que x + (x) ne sera e identiquement gal a 0, cest ` dire, avec des ensembles vide ` droite et a e ` a a ` gauche, que si x est gal a 0. e ` A : Les r`gles (3), (4), et (5) montrent que (T15) est quivalent a e e ` ((XG + (x)) ((XD ) + x), (XD + (x)) ((XG ) + x)) 0. B : Hmm, a semble dicile. Comment montre-t-on que quelque chose est 0. c Dapr`s (T8), y 0 si et seulement si YG < 0 et 0 < YD puisque 0 est le e tout premier nombre cr. ee A : La mme conclusion dcoule de la r`gle (2). On a y 0 si et seulement si e e e YG < 0, et y 0 si et seulement si 0 < YD . Donc, nous devons montrer que xG + (x) < 0 et (xD ) + x < 0 et xD + (x) > 0 et (xG ) + x > 0 pour tous les xG de XG et les xD de XD . B : Hmm. Peut-on supposer que xG + (xG ) 0 et xD + (xD ) 0 ? A : Oui, puisquon peut montrer (T15) par rcurrence. e e B : Alors, jai trouv ! Si xG + (x) tait 0, alors (X)D + xG serait > 0 e par dnition. Mais (xG ) + xG nest pas > 0. En conclusion, xG + (x) e doit tre < 0 et la mme technique sapplique aux autres cas. e e A : Bravo ! Ca prouve (T15). B : Quoi dautre ? A : Que penses-tu de a : c (T16) B : Ssss. . . Trivial. A : Il y a bien le thor`me de Conway. e e (T17) (x + y) y x. (x) = x.

B : Cest quivalent a quoi ? e ` 39

A : Cest sacrment compliqu. . . On ne pourrait pas prouver les choses sans e e avoir a toujours revenir aux dnitions ? ` e B : Ah ! Ca coule de source : (x + y) y = = = = (x + y) + (y) x + (y + (y)) x + (y y) x+0 x dapr`s e dapr`s e dapr`s e dapr`s e dapr`s e (5) (T11) (5) (T12) et (T15) (T10).

On a trouv un tas de rsultats utiles. Mme la loi dassociativit nous a e e e e servi. Merci de lavoir propose, contre mon gr. e e A : Bon, on a probablement puis toutes les possibilits de laddition, de la e e e ngation, et de la soustraction. Il y a encore quelques trucs quon pourrait e dmontrer, par exemple : e (T18) (T19) (x + y) = (x) + (y). Si x y, alors y x.

Mais je ne crois pas quelles contiennent des ides nouvelles. Donc, il ny e a plus grand intrt ` les dmontrer avant den avoir besoin. e e a e B : Dix-neuf thor`mes ` partir de quelques lois. e e a A : Maintenant, rappelle-toi ta promesse. Cet apr`s-midi, on laisse tomber e les maths sans mme lire le reste de la Pierre. Je ne veux pas que cette e horrible multiplication tempche encore de dormir. e B : On a fait du bon travail aujourdhui. Tous les probl`mes sont rsolus. e e Regarde la mare montante. Le dernier a leau prpare la boue. e ` e

40

11

La dclaration e

A : Vraiment, tu as cuisin un d e ner super. ` e B : (sallongeant a cot delle) Cest surtout grce au poisson frais que a tu as attrap. e A quoi penses-tu en ce moment ? A : (rougissant) A vrai dire, et bien je me demandais ce qui se passerait si jtais enceinte. e B : Tu veux dire quon est tout pr`s du croissant fertile et que. . . e A : Tr`s marrant. Et apr`s tout ce travail pour montrer que 1+1=2 nous allons e e dcouvrir que 1+1=3. e B : Tu as gagn, jarrte mes vannes stupides. Mais si tu y penses, les r`gles e e e de Conway sur les nombres, cest juste comme la copulation, lensemble de gauche rencontre lensemble de droite et . . . A : Tu ne penses qu` une chose, ou plutt deux choses. Mais srieusement, a o e que ferions nous si jtais vraiment enceinte ? e B : Et bien, je pense quil faudrait rentrer a la maison tout de suite, on na ` presque plus dargent et il commence ` faire un sale temps. a Dans tous les cas, je veux vraiment tpouser, que tu sois enceinte ou pas. e Si tu es daccord, bien s r. u A : Bien s r, je suis daccord. Je ressens tout ` fait la mme chose. Ce voyage u a e a prouv que nous sommes prts ` rester ensemble. e e a Je me demande. . . Quand nos enfants grandiront, nous leur apprendrons notre thorie des nombres ? e B : Non, ce serait beaucoup plus marrant pour eux de la dcouvrir par euxe mme. e A : Mais les gens ne peuvent pas tout dcouvrir par eux-mme, il faut quil y e e ait un juste milieu. B : Le processus de lapprentissage nest il pas en fait celui dune dcouverte e par soi-mme ? Est-ce que les professeurs nencouragent pas leurs l`ves ` e ee a rchir par eux-mme ? e e e A : Dans un sens oui. Ouh l` l`. . . on devient philosophe. a a B : Jen reviens pas de me sentir si bien quand je me mets ` ces mathmatiques a e folles. Ca me rend tout excit alors quavant je les dtestais. e e 41

A : Moi aussi ca me fait ipper. A mon avis, cest beaucoup mieux que la came ! Le cerveau est naturellement en tat de stimulation. e B : Aussi, cest pas mal du ct aphrodisiaque. o e A : (contemplant les etoiles) Ce qui est bien avec les mathmatiques e pures, cest que tout ce quon a dmontr aujourdhui ne servira jamais a e e ` rien, donc personne ne pourra jamais lutiliser pour faire des bombes ou des trucs comme a. c B : Ouais. Mais on ne peut pas non plus rester enfermer dans notre tour divoire. Il y a beaucoup de probl`mes dans le monde, et de bonnes maths e peuvent aider a les rsoudre. Tu sais, a fait longtemps quon sest coups ` e c e des journaux, on a oubli tous les probl`mes. e e A : Oui, je me sens parfois un peu coupable ` ce sujet. . . a Peut-tre que le bon type de mathmatiques pourrait permettre de rsoudre e e e certains de ces probl`mes, mais jai peur que a ne soit aussi mal utilis. e c e B : Cest le paradoxe et le dilemme. On ne peut rien faire sans outils, mais les outils peuvent tre utiliss pour de mauvaises choses comme pour les e e bonnes. Si on arrte de crer des choses parce quelles peuvent tre dane e e gereuses dans de mauvaises mains, alors on arrte aussi de faire des choses e utiles. A : Bon, je taccorde que les mathmatiques pures ne sont pas la solution a e ` tout. Mais vas tu les abolir dun seul coup parce quelles ne rsolvent pas e les probl`mes du monde. e B : Non, non, tu ne me comprends pas. Ces quelques jours mont montr e que les mathmatiques pures sont belles. Cest une forme dart comme la e posie, la peinture, ou la musique, et ca mexcite. Notre curiosit naturelle e e doit tre satisfaite. Ca nous dtruirait si on ne pouvait pas samuser de e e temps en temps, mme au milieu de ladversit. e e A : Bill, jaime tellement discuter avec toi comme a. c B : Moi aussi. Je me sens si pr`s de toi, et si calme. e

42

12

Le Dsastre e

B : Tu es dj` rveille ! ea e e A : Je me suis rveille il y a environ une heure, et jai ralis quil y a un gros e e e e trou bant dans ce que nous pensions avoir prouv hier. e e B : Pas possible ! A : Jen ai bien peur. Nous avons oubli de montrer que x + y est un nombre. e B : Tu rigoles ? Bien s r que cest un nombre, cest la somme de deux nombres. u Oh. . . je vois, il nous faut montrer que la r`gle (1) est satisfaite. e A : Oui, la dnition de laddition nest lgitime que si nous prouvons que e e XG +y < XD +y et XG +y < YD +x et YG +x < XD +y et YG +x < YD +x. B : Cela doit dcouler de (T13) et (T14), mais. . . je vois ce que tu veux dire, e nous avons montr (T13) et (T14) en supposant que la somme de deux e nombres est un nombre. Mais comment as-tu pu penser ` ce probl`me ? a e A : En fait, cest intressant. Je me demandais ce qui se passerait si on dnissait e e laddition de la faon suivante : c x y = (XG YG , XD YD ). Je lappelle au dpart car je ne suis pas s r de retomber sur +. Mais e u cest assez facile de montrer que est une opration commutative et e associative, et je voulais voir ce que cette opration donnait. e B : Je vois. La somme de x et y est comprise entre XG + YG et XD + YD , donc cette dnition pourrait tre plus simple que celle de Conway. e e A : Mais jai t vite due, quand jai dcouvert que ee ec e 0x=0 pour tout x. B : Aie ! Peut-tre que est la multiplication. e A : Puis, jai montr que 1 x = 1 pour tout x > 0, et 2 x = 2 pour tout e x > 1, et 3 x = 3 pour tout x > 2 et . . . B : Je vois. Pour tous les entiers positifs m et n, m n est le minimum de m et n. Cest commutatif et associatif. Donc, ton opration est vraiment e intressante. Bon. e A : Oui, on a bloqu. e
1 2

1 2

1 2.

Mais quand jai essay ( 1 ) e 2

1 2

jai t soudain ee

43

B : Tu veux dire. . . Je vois : ( 1 ) 1 = ({(1) 0}, {0 1}) qui est ({0}, {0}). 2 2 A : Et ce nest pas un nombre. Ca ne colle pas avec la r`gle (1). e B : Donc, ta dnition de nest pas lgitime. e e A : Je ralise maintenant que tu ne peux pas juste crer des dnitions arbie e e trairement. Elles doivent tre en cohrence avec les autres r`gles. Un autre e e e probl`me de , par exemple, cest que ({1}, ) 0, mais ({1}, ) 1 e 0 1. B : Bon, est limine, mais je pense quand mme que lon peut arranger la e e e vritable dnition de +. e e A : Je ne sais pas, je tai dit tout ce que je sais, si ce nest sur les pseudonombres. B : Pseudo-nombres ? u e A : Supposons que lon forme (XG , XD ) o` XG nest pas ncessairement < e e e e XD . Alors, la r`gle (2) peut toujours tre utilise pour dnir la relation entre ces pseudo-nombres. B : Je vois. . . par exemple ({1}, {0}) se trouve tre infrieur ` 2. e e a A : Exactement. Je viens juste de remarquer que notre dmonstration de la e transitivit (T1) nutilisait pas la partie de la r`gle (1). Donc, elle marche e e aussi pour les pseudo-nombres. B : Oui, je me souviens avoir dit que jusqu` (T2), on nutilisait pas compl`tement a e la r`gle (1). Ca me semble loin tout a. e c A : Attends-toi a un choc. Le pseudo-nombre ({1}, {0}) nest ni 0 ni 0 ! ` B : Quoi ! A : Oui. Je pense pouvoir prouver que ({1}, {0}) est ` un nombre y si et a seulement si y > 1, et ` un nombre x si et seulement si x < 0. Il nest a pas du tout en relation avec un nombre quelconque entre 0 et 1. B : Ou est le crayon ? Je veux vrier ca. . . Je pense que tu as raison. Cest e super, on prouve des relations entre des quantits qui nexistent mme e e pas. A : En quoi les pseudo-nombres existent-ils moins que les nombres de Conway ? Ce que tu veux dire, cest que nous prouvons des choses sur des quantits e qui sont purement conceptuelles, sans support dans le monde rel, comme e e e e e aide a la comprhension. Souviens toi que 1 tait au dpart considr ` e e e comme un nombre imaginaire, et 2 ntait mme pas rationnel. 44

B : La r`gle de Conway pour additionner des nombres normaux nous donne e aussi un moyen dadditionner des pseudo-nombres. Je me demande o` cela u nous m`ne. e Si x = ({1}, {0}), alors 1 + x est . . . ({2}, {1}). A : Et x + x est ({1 + x}, {x}) un pseudo-nombre du second ordre. Pseudopseudo-nombre ? B : Les mathmatiques pures sont vraiment une ouverture pour lesprit. As-tu e remarqu que ({1}, {0}) nest mme pas ` lui-mme ? e e a e e A : Voyons, x x signie que XG < x < XD , donc cela pourrait tre vrai seulement si XG < XD . Non, attends, on ne peut pas utiliser < ` la place de pour les a pseudo-nombres, puisque (T4) nest pas vraie de faon gnrale. Il faut c e e revenir a la r`gle gnrale (2), qui dit que x x si et seulement si XG x ` e e e a e et x XD . Donc, ({1}, {0}) est ` lui-mme. B : Touch ! Je suis content de mtre tromp, puisque tout x doit tre similaire e e e e a ` lui-mme, mme quand cest un pseudo-nombre. e e A : Peut-tre y a-t-il un pseudo-nombre plus compliqu qui nest pas infrieur e e e ou similaire a lui-mme. Cest dicile ` imaginer car les ensembles XG et ` e a XD peuvent aussi contenir des pseudo-nombres. B : Revenons ` notre dmonstration de (T3), et voyons si elle tient toujours. a e A : Bonne ide. . . Eh, la mme dmonstration marche pour tous les pseudoe e e nombres. x est toujours similaire ` x. a B : Cest super, mais jai peur que cela nous am`ne loin de notre probl`me e e principal, a savoir, si + est oui ou non correctement dnie. ` e A : Et bien, nos preuves que x+y = y+x, x+0 = x et aussi la loi dassociativit e marchent pour les pseudo-nombres aussi bien que pour les nombres. Si les thor`mes des ingalits (T13) et (T14) marchent aussi pour les pseudoe e e e nombres, alors + sera correctement dnie. e B : Je vois, cest splendide. Pour linstant on a tabli (T1), (T3), (T5), (T6), e (T9), (T10), et (T11) pour tous les pseudo-nombres. Regardons (T13) maintenant. A : Mais, jai peur que. . . Oh, Bill ! Nous avons t trop na hier, en acceptant ee fs cette dmonstration sur la somme des jours pour (T13) et (T14), ctait e e trop beau pour tre vrai. e B : Quest-ce que tu veux dire ? 45

A : Nous prouvions que ZG + x < y + z par rcurrence, non ? Pour cela, il faut e e deux tapes, dabord ZG ZG + y et puis ZG + y < z + y. La rcurrence e nous donne correctement la premi`re partie, mais la seconde partie met e e ` en jeu (zG , z, y) qui peut avoir une somme des jours suprieure a (x, y, z). B : Alors, on sest plant ! Conway aurait honte de nous ! e A : Heureusement quon na pas vu a hier, ca aurait gch notre journe. c a e e B : Je suppose quil faut tout reprendre. Mais dabord, allons quand mme e prendre le petit djeuner. . . e

46

13

Le Sauvetage

A : Nous avons saut le djeuner, Bill. e e B : (marchant nerveusement) Vraiment ? Ce probl`me stupide me rend e fou. A : De toute mani`re, a ne sert ` rien de continuer a contempler cette feuille. e c a ` Nous avons besoin dune pause. Peut-tre que si nous mangions quelque e chose. . . B : Ce dont nous avons vraiment besoin, cest dune ide nouvelle. Donne moi e une ide, Alice. e ` A : (commencant a manger) Bon, quand on tournait en rond lautre fois, comment en sommes nous sortis ? Ctait surtout en utilisant la rcurrence. e e Cest ` dire que la dmonstration dans un cas, dpendait de celle dun cas a e e prcdent, qui dpendait elle mme dun cas prcdent, ainsi de suite, la e e e e e e cha devant au bout du compte se terminer. ne B : Comme notre dmonstration sur la somme des jours. e A : Exactement. Lautre mani`re de se sortir du cercle, ctait de prouver plus e e que ncessaire. Pour que la rcurrence puisse continuer, il fallait prouver e e plusieurs choses simultanment. e B : Cest ce que tu as fait en combinant (T13) et (T14). Ok, Alice, juste apr`s e manger, jcrirai tranquillement tout le schma, tout ce que nous voulons e e dmontrer, et peut-tre plus. Et jessaierai de montrer tout par rcurrence e e e du mme coup. Le rouleau compresseur est en marche. Si a ne marche e c pas, rien ne marchera. A : Ca semble ardu, mais cest probablement la meilleure mthode. Tiens, e prends des gteaux. a . . . . . . . . . . .

B : Allez. On y va. Nous voulons montrer trois choses sur les nombres, et elles semblent toutes dpendre lune de lautre. e I : x + y est un nombre. II : Si x y, alors x + z y + z. III : Si x + z y + z, alors x y. Maintenant, si je ne me trompe pas, la preuve de I(x, y) dcoulera nae turellement si on montre dabord : 47

I(xG , y), I(x, yG ), I(xD , y), III(xD , xG , y) II(y, yD , x) III(x, xG , y), III(y, yG , x), II(x, xD , y) III(yD , yG , x).

I(x, yD )

Par exemple, nous devons entre autres montrer que XG + y < YD + x. En dautre mots, pour tout xG de XG et yD et YD , il faut tout dabord montrer que xG + y < yD + x. Mais (T3) et la contrapose de III(x, xG , y) e montrent que xG + y < x + y, et II(y, yD , x) montre que y + x yD + x. (T5) nous donne ensuite xG + y < yD + x. Daccord ? A : Ca se prsente bien, mais je ne comprends pas pourquoi tu as inclu les e e quatre premi`res : I(xG , y), I(x, yG ), I(xD , y), I(x, yD ). Mme si xG + y e ntait pas un nombre, ca ne serait pas un probl`me. Tout ce que nous e e e e voulons savoir, cest que xG et y sont eux-mme des nombres. Apr`s tout, < et sont dnis pour les pseudo-nombres, et les r`gles de transitivit e e e marchent aussi. B : Non, la r`gle (1) dit que les lments de lensemble de gauche (tel que e ee e e xG + y) doivent tre des nombres. De toute mani`re, ce nest pas vraiment important parce que si nous prouvons I(x, y), nous pouvons admettre e e I(xG , y) sans probl`me. La rcurrence sen charge. A : Cest compliqu, mais continue, a sannonce bien. e c B : Ca doit marcher ou nous sommes foutus. Bon, la dmonstration de II(x, y, z), e cest ` dire (T13), sensuivra si nous montrons : a III(y, xG , z) II(x, y, zG ), III(yD , x, z) II(x, y, zD ), III(z, zG , y) III(zD , z, x)

Cest bizarre, ici on na pas besoin de I(x, y) . Comment se fait-il que nous pensions avoir besoin de montrer que la somme de deux nombres est un nombres, avant de montrer (T13) ? A : Ctait avant de savoir quoi que ce soit sur les pseudo-nombres. Cest e marrant comme une ide xe peut devenir un barrage. Tu te souviens ? e Ctait la premi`re raison pour laquelle nous pensions que ce serait dicile e e de montrer que x + y est un nombre parce que nous pensions que (T13) en dpendait. Apr`s avoir appris que les pseudo-nombres respectaient la e e transitivit, nous avons oubli de reconsidrer notre source dennuis. e e e B : Alors, cette mthode du grand schma nous m`ne quand mme quelque e e e e part. Au moins, elle nous aide ` rorganiser nos ides. Maintenant, la plus a e e 48

grande partie du chemin est faite. La dmonstration de III(x,y,z) dpend e e de : II(y, xG , z) II(yD , x, z) A : Encore une fois, on na pas besoin de I(x, y). Donc, on peut montrer (T13) et (T14) sans se proccuper du fait que x + y est un nombre. e B : Je vois, et plus tard x+y sav`rera tre un nombre, grce ` (T13) et (T14). e e a a Super ! A : Maintenant II et III dpendent lune de lautre, donc on peut les combiner e en une seule proposition, comme avant. B : Tout juste. Voyons, si IV(x, y, z) reprsente les deux propositions come bines : II(x, y, z) et III(x, y, z), mes listes montrent que IV(x, y, z) dpend e e de : IV(y, xG , z), IV(yD , x, z), IV(x, y, zG ), IV(x, y, zD ), IV(z, zG , y) IV(zD , z, x).

Je pense que cette nouvelle notation est une bonne chose, comme I(x, y) et le reste. Les proprits deviennent en eet plus claires. Maintenant, tout ee ce quil nous reste ` faire, cest de trouver un moyen de construire une a hypoth`se de rcurrence qui aille de ces six trucs ` IV(x,y,z). e e a A : Mais. . . a ne marche pas. Regarde IV(x, y, z) dpend de IV(z, zG , y) qui c e e dpend de IV(yD , y, z) qui dpend encore de IV(z, zG, y). On est dans e un cercle vicieux. Cest le mme probl`me stupide que jai remarqu la e e e premi`re fois, et maintenant on sait quil est critique. e B : (trpignant) On non ! Bon, je vais encore essayer une derni`re chose e e avant dabandonner. Refaisons le chemin en essayant de montrer une version plus gnrale de (T13). e e V : Si x x et y y , alors x + y x + y . Cest ce que nous utilisons vraiment dans nos dmonstrations, et pas les e deux tapes avec (T13). De plus, cest symtrique. Ca pourra tre utile. e e e A : Nous aurons aussi besoin de la rciproque, gnralisant (T14). e e e B : Je pense que ce dont nous avons besoin, cest de : VI : Si x + y x + y et y y , alors x x . A : Ta notation avec les primes et tout, a fait tr`s pro. c e 49

B : (se concentrant) Merci. Maintenant, la dmonstration de V(x,x,y,y) e dpend de : e VI(xG , x , y, y ) VI(yG , y , x, x ) VI(x, xD , y, y ) VI(y, yD , x, x ). H, cest en fait plus facile que tout a lheure. La symtrie aide. Finalement, e ` e pour montrer VI(x, x , y, y ), il faut. . . ce suspense me tue, je narrive plus a rchir. . . e e V(x, xG , y, y ) V(xD , x, y, y ). A : (bondissant) Regarde, une rcurrence sur la somme des jours applique e e a ` la combinaison de V et VI permet de nir ! B : (lenlacant) On a gagn ! e A : Bill, je peux dicilement y croire, mais notre dmonstration de ces deux e propositions marche en fait pour tous les pseudo-nombres x, x , y, et y ! B : Alice, ca a demand beaucoup de travail, mais cest la plus belle chose que e jaie jamais vue. A : Oui, on a dpens beaucoup dnergie sur ce quon avait en fait suppos e e e e vident, hier. e Je me demande si Conway lui-mme avait une faon plus simple de dmontrer e c e ces lois. Peut-tre que oui, mais mme dans ce cas jaime notre dmonstration e e e parce quelle nous apprend beaucoup sur les techniques de dmonstrations. e B : Aujourdhui, on devait en fait tudier la multiplication. e A : Il vaut mieux ne pas commencer maintenant, ou nous perdrions encore le sommeil. On peut passer le reste de lapr`s-midi ` montrer que x est un e a nombre lorsque x est un nombre. B : Bonne ide, a doit tre facile maintenant. Je me demande si on peut e c e prouver quelque chose sur la faon dont la ngation agit sur les pseudoc e nombres.

50

14

LUnivers

B : (stirant) Bonjour, mon amour. Tu as rchi cette nuit ` dautres e e e a possibles erreurs dans nos raisonnements ? A : Non, non. . . et toi ? B : Tu sais que je ne cherche jamais les erreurs. Mais quelque chose me tracasse cependant : en fait, nous sommes censs avoir des r`gles pour crer tous e e e les nombres possibles, et cependant 1 nest jamais apparu. Rappelle toi, 3 je croyais quil apparaissait le Quatri`me Jour, mais en fait ctait pas e e e ` lui, ctait 1 . Je me suis dit que 1 tait un peu lent a venir, mais quil e 4 3 arriverait tt ou tard. Mais ce qui mennuie, cest que nous avons tudi o e e t tous les nombres, et que 1 nappara toujours pas. 3 A : Tous les nombres quon a cres ont une reprsentation nie dans le syst`me e e e binaire. Par exemple : 3 5 = 2 + 1 + 1 + 1 = 11, 101 en binaire. Et 8 2 8 rciproquement, tous les nombres qui ont une reprsentation nie en bie e 5 e e ee e naire doivent tre cres tt ou tard. 3 8 a t cr le huiti`me jour, tu vois. e e o B : Les nombres binaires sont utiliss sur les ordinateurs. Peut-tre que Cone e way voulait crer un monde pour les ordinateurs. . . e Et quelle est la reprsentation binaire de e A : Jen sais rien, mais il doit en avoir une ! B : Oh, je men souviens, tu fais une sorte de longue division, mais en base 2 au lieu de la base 10. Voyons voir. . . jobtiens : 1 = 0, 0101010101 3 etc. jusqu` linni. Ca ne se termine pas. Voila pourquoi il nest pas cr. a ee A : Jusqu` linni. . . Ca me rappelle la derni`re partie de linscription sur a e la Pierre. Que crois tu quelle veuille dire quand elle parle du jour ? B : Ca ressemble ` un louange mtaphysique ou religieux ` lgard du syst`me a e a e e des nombres. Cest typique des textes anciens. Dun autre ct, a semble o e c trange que Conway ait continu ` tre l`, et ` crer, apr`s un nombre e ea e a a e e inni de jours. Jusqu` la n des temps, dit la Pierre, mais le temps ne a sest pas encore arrt. ee A : Tes en forme aujourdhui, mon grand. B : Apr`s un nombre inni de jours, je suppose que Conway regarda tous les e nombres binaires quil avait cres, et. . . Argh ! Il ne sest pas arrt l`, e ee a bon sang ! 51
1 3

A : Mais oui ! Je ny avais jamais song, mais la Pierre nous dit quil a encore e continu. Et bien sr, il a obtenu dautre nombres, car pour la premi`re e u e fois il a pu choisir des ensembles innis pour XG et XD ! B : Peut-tre le temps ne suit il pas vraiment un cours rgulier. Peut tre que e e e pour nous, les jours semblent tous de la mme longueur, mais que pour e Conway, ils sont de plus en plus courts, sur lchelle cleste du temps. e e Ainsi, le premier jour dura un jour cleste, mais le second jour terrestre e dura un demi jour cleste, et le suivant un quart de jour, etc. . . Ce qui e fait quapr`s un total de deux jours clestes, Bingo ! Une innit de jours e e e terrestres taient passs, et Conway fut prt ` continuer. e e e a A : Je ny ai jamais pens, mais cest fort possible. Dans un sens, on est e dsormais exactement dans la position de Conway apr`s une innit de e e e jours terrestres, car nous connaissons rellement tout ce qui sest pass, e e jusquau jour . B : (en gesticulant) Encore une gloire des mathmatiques : notre esprit e ni peut comprendre linni. A : Du moins linni dnombrable. e B : Mais les nombres rels sont non dnombrables, et nous pouvons aussi les e e comprendre. A : Je suppose que cest vrai, puisque tout nombre rel a juste une criture e e dcimale innie. e B : Ou une criture binaire. e A : Eh ! Je sais ce qui sest pass le jour : tous les nombres rels ont t e e ee crs ! ee B : (dont les yeux giclent des orbites) Dieu ! Je crois que tu as raison ! A : Cest s r, nous obtenons u
1 3

en prenant XG tel que :

XG = {0, 01; 0, 0101; 0, 010101; 0, 01010101; } en notation binaire, soit : XG = 1 5 21 85 ; ; ; ; , 4 16 64 256


1 3

et XD contiendrait des nombres qui se rapprochent de plus en plus de en lui tant suprieurs, par exemple : e e XD = {0, 1; 0, 011; 0, 01011; 0, 0101011; 0, 010101011; }. 52

B : Et un nombre tel que est cr de la mme faon. Je ne connais pas la ee e c reprsentation binaire de , mais disons que cest : e = 11,00100
01101 00011 00110 10001 00001 10000 11111 10110 10101 00110 00100 11000 11001 10011 01000 10010 10010 01111 10011 00011 10100 11011 00010 01110 01101 11100 11000 11100 011. . . 00010 10001 00000 00000 10010 00100 01000 10010 01000 00100 00101 10111 01110 00101 10100 10100 00000 00001 11011 01010 01100 00110 00010 11101 01010 00100 11100 00101 01001 00001

On obtient G en sarrtant a chaque 1 : e ` G = {11, 001; 11, 001001; 11, 00100100001; }. e ` Et D en sarrtant a chaque 0 et en ajoutant 1 D = {11, 1; 11, 01; 11, 0011; 11, 00101; }. A : Il y a encore de nombreux autres ensembles qui peuvent tre utiliss pour e e e G et D . En fait une innit. Mais ils produisent tous des nombres semblables ` , car cest le premier nombre cr entre G et D . a ee B : (la serrant tendrement dans ses bras) Donc, cest a que la Pierre c de Conway voulait dire quand elle dit que lunivers a t cr le jour : e e ee les nombres rels sont lunivers. e Tu as dj` entendu parl de la thorie du Big Bang en cosmologie ? Et ea e e bien, cest ca le jour : Bang ! A : (ne lcoutant pas) Bill, il y a un autre nombre qui a aussi t cr e e e ee le jour , un nombre qui nest pas dans le syst`me des nombres rels. e e e a Prenons XD vide et XG = {1, 2, 3, . . .}. Ce nombre est suprieur ` tous les autres nombres ! B : Linnilillimit ! e A : Je crois que je le noterai par la lettre Grecque car jai toujours aim e cette lettre. Moins linni a t aussi cr, soit . ee ee B : Le jour tait un jour de dur boulot ! e A : Et maintenant, le jour suivant. B : Quoi ! Tu veux dire que le jour nest pas le dernier ! A : Oh non ! Pourquoi Conway se serait-il arrt la ? Jai comme le sentiment ee quil venait a peine de commencer. Le processus na pas de n, car on peut ` e a ee toujours prendre XD vide, et pour XG lensemble des nombres dj` crs. 53

B : Mais il ny a pas grand chose dautre a faire apr`s le jour , puisque ` e les nombres rels sont si denses. La partie non-innie de lunivers est e dsormais cre puisquil ny a plus de place pour mettre des nombres e ee entre deux nombres rels adjacents. e A : Non, Bill. Cest ce que moi je croyais aussi, jusqu` ce que tu le dises toia mme. Je suppose que cela prouve simplement que jaime te contredire. e Voil`, on na qu` prendre XG = {0}, et XD = 1, 1 , 1 , 1 , . . . . Cest a a 2 3 4 un nombre plus grand que zro et plus petit que tous les rels positifs ! e e Appelons le . B : (dfaillant) Ulp.. Ok, ca va. Mais l` cest vraiment trop ! Il doit bien y e a avoir une limite. Ce qui me surprend le plus, cest que ton nombre a t cre le jour et ee e non le jour dapr`s. Tu aurais pu prendre XD = 1, 1 , 1 , 1 , . . . . Il y a e 2 4 8 encore des tas de nombres dingues crs le mme jour comme : ee e 1 1 1 {1} , 1 , 1 , 1 , . . . 2 4 8 qui est juste un cheveu au-dessus de 1. Et je suppose que pour tout nombre, il doit y avoir un nombre juste plus grand. . . Comme . . . Non, ca ne peut pas coller. . . A : Celui qui est juste au dessus de nappara que le lendemain du jour t . Seuls les nombres qui se terminent en binaire ont un voisin inniment proche le jour . B : Le jour suivant le jour , nous aurons aussi un nombre juste entre 0 et . Et tu penses que Conway ne fait que commencer ?. . . A : Ce qui est super, Bill, cest quon na pas seulement les nombres rels, et e linni, et tous les proches voisins. On a aussi des r`gles pour nous dire e lequel des deux nombres est le plus grand, et des lois pour les additionner et les soustraire. B : Cest juste ! Nous avons prouv toutes ces r`gles, en pensant quon les e e connaissait dj`. . . ctait juste un jeu de driver des lois de Conway toutes ea e e les vieilles proprits de larithmtique. Mais maintenant, nous voyons que ee e nos preuves sappliquent aussi a une innit de cas inconnus ! Les nombres ` e ne sont limits que par notre imagination, et notre conscience stend a e e ` linni, et. . . A : Tu sais, tout ceci est un peu comme une exprience religieuse pour moi. Je e commence ` avoir une meilleure apprhension de Dieu. Il est partout. . . a e B : Mme entre les nombre rels ? e e 54

A : Ta gueule ! Je suis srieux ! e

55

56

15

LInni

B : Jai fait quelque calculs avec linni. Ainsi, la r`gle (3) nous donne immdiatement e e : + 1 = ({, 2, 3, 4, . . .}, ) qui se simplie en : + 1 ({}, ). A : Il a t cr le lendemain du jour . e e ee B : Ouaip, et : A : Et 1 ? B : 1 ? Je nai jamais song ` soustraire quelque chose de linni, parce ea quun nombre qui est infrieur ` linni est suppos tre ni. Utilisons les e a ee lois que nous connaissons pour voir ce qui se passe. . . Regarde a : c 1 = ({0, 1, 2, 3, . . .}, {}). Bien s r ! Cest le premier nombre cr qui est plus grand que tous les u ee entiers, et cependant plus petit que . A : Donc, cest a dont parlait la Pierre, quand elle parlait dun nombre inni c plus petit que linni. Bon, jai autre chose pour toi : Quest ce que + ? B : Cest facile : + ( + G , + D ) . + 2 ({ + 1}, ).

e Ceci a t cr le. . . (2)i`me jour ! Ainsi que + et . e e ee A : Oho ! Alors, il doit y avoir aussi un nombre 2. Cest ` dire + . a B : Ouaip ! + = ({ + 1, + 2, + 3, . . .}, ).

Je suppose quon peut lappeler 2 bien que nous nayons pas encore de multiplication. On pourra certainement prouver plus tard que : (x + y)z xz + yz. Soit que 2z = (1 + 1)z 1z + 1z = z + z. A : Juste, et : 3 = ({2 + 1, 2 + 2, 2 + 3, . . .}, )

qui sera cr le jour 3, etc. ee 57

B : Nous ne savons encore rien de la multiplication, mais je parie que fois savrera tre : e e 2 ({, 2, 3, . . .}, ). A : Cr le jour 2 . Imagine seulement ce que Conway peut faire aux petits ee nombres pendant ce temps. B : Tu sais, Alice, ca me rappelle un concours quon faisait a lcole quand ` e jtais gosse. Chaque fois, on essayait de savoir qui connaissait le nombre e le plus grand. Un jour, un de mes copains a dclar que son p`re lui avait e e e dit que linni tait le plus grand des nombres. Mais jen ai alors trouv e e un plus grand en disant linni plus un. Le jour suivant, on se disputait a ` coups dinni plus inni, et bientt linni fois linni. o A : Et quarriva-t-il ? B : En bien, quand on sest mis ` rpter linni fois linni fois linni fois a e e linni . . . autant quon pouvait sans respirer, on a plus ou moins abandonn le concours. e A : Mais il y a encore plein de nombres a trouver. Regarde : ` , 2 , 3 , 4 , . . . , .

Et nous ne sommes quau dbut. e B : Tu veux dire quil y a , , et la limite de cette suite, etc. . . Pourquoi nai je jamais song ` a tant gosse ? eac e A : Cest une perspective compl`tement dirent. . . , mais je crains que nos e e preuves ne soient plus trop correctes dsormais. e B : Quoi ? Encore ? On les a dj` tablies correctement. eae Oh, oh, je vois ce que tu veux dire. . . la somme des jours. A : Oui, on ne peut plus travailler par rcurrence sur la somme des jours car e elle devient innie. B : Peut-tre que nos thor`mes ne marchent mme pas dans le cas inni. . . e e e e Cest s r, ca serait chouette, si a marchait. Je veux dire, quel pied de u c prouver des trucs concernant des nombres auxquels on naurait jamais song. e A : Nous navons pas vraiment de probl`mes pour nos calculs sur les nombres e innis. Laisse moi rchir un moment. e e . . . . . 58 . . . . . .

Cest bon. Je crois que nalement a marche au poil. On na pas besoin c de la somme des jours. B : Comment fais-tu ? A : Eh bien, rappelle toi comment nous avons song la premi`re fois ` la e e a rcurrence avec les mauvais nombres. Ce que nous voulons montrer, e cest que si un thor`me ne marche pas pour x, alors il ne marche pas non e e ee e plus pour un lment xG de XG ou pour un lment xD de XD . De mme, ee pour un xGG ou xGD ou xDG ou xDD , et ainsi de suite. Mais il faut que ce vide, procd soit ni. Si on peut atteindre le cas de lensemble XGGG e e G et pour lequel le thor`me marche forcment, alors on en dduit que x ne e e e e peut tre un contre exemple. e B : (sifflant) Je vois ! Par exemple, pour prouver (T10), soit x + 0 = x, on a xG + 0 = xG pour tout xG de XG . Si on ne peut pas supposer ca, alors e ` il existe un xGG de XGG tel que xGG + 0 nest pas gal a xGG . Ou alors il existe un xGD tel que xGD + 0 = xGD . Donc, un contre exemple implique une suite innie danctres qui sont aussi des contre exemples. e A : Tout ce que nous reste ` montrer, cest quil nexiste pas de squence a e danctres innie : e x1 , x2 , x3 , . . . , xi , . . . telle que xi+1 XiG XiD . B : Cest une bonne mthode. e A : Aussi, cest vrai, car tout nombre (en fait tout pseudo-nombre) est cr ee a ` partir de ceux dj` crs. Donc, chaque fois quon cr un nombre, on e a ee ee peut montrer quil nexiste pas de cha innie danctres qui commence ne e e ea avec x1 = x, parce quon a montr dj` avant quil ne pourrait y avoir de cha danctres pour tout x2 de XG ou de XD . ne e B : Cest logique, et cest beau. . . Mais il me semble que tu prouves la validit e de la rcurrence par la rcurrence. e e A : Je crois que tu as raison. Ceci doit tre en fait en quelque sorte un axiome. e Il formalise la notion intuitive de cr prcdemment sur laquelle nous ee e e sommes passs rapidement pour la loi (1). Oui, cest ca, la loi (1) aura des e bases solides si nous la formulons ainsi. B : Ce que tu dis ne couvre que le cas dune seule variable. Notre dmonstration e sur la somme des nombres a t utilise pour deux, trois, mme quatre ee e e variables, o` la rcurrence pour (x, y, z) relie des choses comme (y, z, xG ) u e etc. 59

A : Exactement. Mais dans tous les cas la rcurrence revient ` une permutation e a des variables, avec au moins une delles qui gagne un indice G ou D en plus. La rcurrence ` trois variables revient a dire quil ne peut y avoir de e a ` cha innie danctres, comme par exemple : ne e (x, y, z) (y, z, xG ) (zD , y, xG ) En eet, ca voudrait dire quau moins une des trois variables poss`de une e cha danctres innie, ce qui est contraire a la r`gle (1). ne e ` e B : (lenlacant et lembrassant partout) Alice, je taime mon amour ! Je tidoltre. a A : (rigolant) Et comment taimerais-je ? Voyons : Un peu, beaucoup, ` a la folie, , 2 , , , . . . . B : Il me semble que nous avons tudi la construction de linni avec suspicion e e et ruse. Bien que je ne remarque rien de faux dans ta dmonstration, je e reste sur mes gardes. A : Je pense que la dirence est entre la preuve et le calcul. Il ny a pas de e dirence essentielle entre des deux pour les ensembles nis, quand nous e parlions de nombres crs avant le jour . Mais maintenant, il y a une ee distinction relle ` faire entre la preuve et la capacit de faire les calculs. e a e On sait que les squences innies danctres ne peuvent pas exister, mais e e elles peuvent tre arbitrairement grandes, mme quand elle commencent e e par le mme nombre. Par exemple, e , n, n 1, n 2, . . . , 2, 1, 0 est une squence danctres pour , pour tout n. e e B : Cest juste. Je rchissais justement aux squences danctres de 2 . Elles e e e e sont toutes nies bien sr, mais peuvent tre si longues, leur nitude nest u e mme pas vidente. e e A : Cette nitude illimite signie que nous pouvons faire des preuves vale ables, par exemple, que 2 + , mais que nous ne pouvons pas ncessairement calculer + en un nombre ni dtapes. Seul Dieu peut e e nir les calculs. Nous pouvons nir les preuves. e B : Voyons, + = ( + G , + D ), donc. . . Ok, je vois, il y a une innit de ramications de calcul, mais elles se terminent toutes apr`s un nombre e ni dtapes. e A : Le truc bien quand on utilise cette sorte de rcurrence, cest quon peut e lutiliser sans jamais avoir besoin de prouver le cas initial sparment. e e Quand jai appris la rcurrence, on devait toujours prouver P (1) en pree mier, ou quelque chose comme a. En fait, on a pu viter ca. c e 60

B : Tu sais, je crois que je comprend pour la premi`re fois la vraie signication e de la rcurrence. Et jai du mal a admettre le fait que tout notre thorie e ` e tient debout, de linni a linnitsimal, aussi bien que pour les nombres ` e binaires nis. A : A part peut-tre (T8), qui parle du premier nombre cr avec telle proe ee prit. On doit dnir ce que a veut dire dsormais. . . Je suppose quon ee e c e pourrait attribuer a chaque jour un nombre, comme par exemple le plus ` grand nombre cr ce jour l`, et ordonner les jours de cette faon. . . ee a c B : Je te suis. Jai remarqu que le nombre qui semble tre le plus grand e e nombre cr en jour j est celui pour lequel XD est vide et XG est lensemble ee des nombres dj` existants. ea A : Peut-tre ceci explique-t-il pourquoi il y a un jour , un jour ( + 1), mais e pas un jour ( 1). B : Ouais, je suppose. Mais tout a est trop profond pour moi. Je voudrais c bien matteler a la multiplication, pas toi ? `

61

62

16

La Multiplication

A : Voyons cette feuille o` tu as crit la r`gle de Conway pour la multiplication. u e e Il doit y avoir un moyen de lexprimer en symboles. Hmm, nous savons dj` ce quil veut par parties de mme type. ea e B : Alice, cest trop compliqu. Essayons dinventer notre propre r`gle pour la e e multiplication, plutt que de dchirer ce vieux message. Pourquoi ne pas o e faire comme lui pour laddition. La quantit xy doit tre comprise entre e e e XG y xYG et XD y xYD . Ca doit tre vrai au moins si on exclue les nombres ngatifs. e A : Mais cette dnition serait identique a celle de laddition, donc le produit e ` xy serait la mme chose que la somme x + y. e B : Je vois. Tu as raison. Daccord, je veux bien regarder la solution de Conway. Voyons voir cette feuille. A : Ne ten fais pas, cest la meilleure attitude ` avoir. Souviens toi de ce quon a disait ? Il faut toujours commencer par essayer quelque chose. B : Cette leon l` au moins, on la retenue. c a A : Tout ce que jarrive a voir, cest que Conway choisit lensemble de gauche ` de xy comme tant tous les nombres de la forme : e

xG y + xyG xG yG ou xD y + xyD xD yD . (6) Et lensemble de droite contient tous les nombres de la forme : xG y + xyD xG yD ou xD y + xyG xD yG . Tu vois, lensemble de gauche comprend les mme types et lensemble e de droite les types opposs de parties. Quest-ce que tu penses de cette e dnition ? e B : Fais moi voir, ca a lair bizarre. Voyons xy doit tre suprieur ` sa partie e e a de gauche. Avons-nous xy > xG y + xyG xG yG ? Cest comme. . . Oui, ca doit tre : e (x xG )(y yG ) > 0. 63

A : On y est. Le produit de nombres positifs doit tre positif ! Les trois autres e conditions qui disent que xy doit tre compris entre ses ensembles de e gauche et de droite disent avant tout que : (xD x)(yD y) > (x xG )(yD y) > (xD x)(y yG ) > 0 0 0.

Bon, cette dnition est plausible, mme si nous navons rien prouv. e e e B : Avant daller plus loin en essayant de dmontrer les principales proprits e ee de la multiplication, je veux vrier quelque cas simples juste pour voir. e Voyons. . . (T20) (T21) (T22) Ctait tr`s facile. e e A : Bien, zro fois linni donne zro. Un autre rsultat simple, cest que : e e e (T23) (xy) = (x)y.
1 2x 1 2 XG

xy = yx. 0y = 0. 1y = y.

B : Juste. Regarde, celui l` est marrant : a (T24) x 1 XD , x 1 XG 1 XD . 2 2 2

A : H, je me suis toujours demande ce que la moiti de linni valait. e e e B : La moiti de linni !. . . Juste une seconde. e 1 ({1, 2, 3, 4, . . .}, { 1, 2, 3, 4, . . .}). 2 Cest intressant de montrer que e super !
1 2

+ 1 . . . Ouais ! En voil` un a 2

1. Notre nombre innitsimal se trouve tre la rciproque de linni. e e e A : Pendant que tu planchais l`-dessus, je regardais la multiplication en gnral. a e e Ca a lair assez bizarre pour les pseudo-nombres. Jai trouv un pseudo e nombre p pour lequel ({1}, )p nest pas similaire ` ({0, 1}, )p, mme si a e ({1}, ) et ({0, 1}, ) sont tous les deux similaire ` 2. Malgr cette dia e cult, jai appliqu ta mthode du Grand Tableau, et je pense quil est e e e possible de montrer que : (T25) (T26) x(y + z) xy + xz, et x(yz) (xy)z 64

pour des pseudo-nombres quelconques, et (T27) Si x > x et y > y , alors (x x )(y y ) > 0

pour des pseudo-nombres quelconques. Il sensuit que xy est un nombre quand x et y sont des nombres. B : On peut utiliser le thor`me (T 27) pour montrer que : e e (T28) Si x y, alors xz yz.

pour tout nombre. Donc, tous les calculs que nous avons fait sont parfaitement rigoureux. Je pense quavec ca, on a fait le tour de tout ce quil y a sur la Pierre. Except la vague rfrence aux sries, quotients, et racines. e ee e A : Hmm. . . Et la division ? Je parie que si x est compris entre 0 et 1, a doit c tre possible de montrer que : e 1 1 1+x x x2 , x x2 + x3 x4 , , .

x, x x2 + x3 , x x2 + x3 x4 + x5 , . . .

e Pour le moins, cest comme a que lon a obtenu 1 pour x = 1 . Peut-tre c 3 2 que lon pourra montrer que tout nombre non nul a un inverse, en utilisant cette mthode. e B : Alice ! Vise moi un peu ca ! {1, 2, 3, 4, . . .} , , , , ,... 1 2 3 4 1 1 1 1 , , , ,... { , 2 , 3 , 4 , . . .} , 1 2 3 4

A : (tombant dans ses bras) Bill ! Chacune de ces dcouvertes nous cone duit de plus en plus loin ! B : (regardant le coucher du soleil) Il y a pourtant une innit de e choses ` faire. . . et seulement un temps limit. . . a e

. Fin

65

Le lecteur a sans doute devin quil ne sagit pas dune histoire vraie. e Pourtant, J. H. W. H. Conway existe vraimentcest le professeur John Horton Conway de Princeton University aux Etats-Unis. Le vrai Conway a tabli de nombreux rsultats remarquables ` propos de ces nombres e e a extraordinaux, qui sajoutent ` ceux mentionns ici. Par exemple, tout a e polynme de degr impair ` coecients quelconques parmi les nombres o e a surrels, a au moins une racine. De plus, tout pseudo-nombre p correspond e a ` une position dans un jeu ` deux joueurs Gauche et Droite. Les a quatre relations : p > 0, p < 0, p 0, p 0, (o` p 0 signie que p et 0 ne sont pas en relation) correspondent respecu tivement aux situations suivantes : Gauche gagne, Le second joueur gagne, Droite gagne, Le premier joueur gagne,

ceci a partir de la position p. Voir son livre incroyable On Numbers and ` Games publi chez Academic Press en 1976. La thorie nen est encore qu` e e a ses dbuts, et le lecteur pourra se prendre dintrt pour les nombreuses e ee questions inexplores : Que peut-on dire des logarithmes ? de la continuit e e ? des proprits de la multiplication des pseudo-nombres ? de la rsolution ee e des quations Diophantine gnralises ? e e e e

66

Sommaire des R`gles et des Thor`mes e e e


R`gles e
(1) x = (XG , XD ) (2) x y o` u XG XD . XG y et x YD .

signie que

(3) x + y = ((XG + y) (YG + x), (YD + x) (XD + y)) . (4) x = (XD , XG ). (5) x y = x + (y). (6) xy = z o` u ZG = {xG y + xyG xG yG , xD y + xyD xD yD } et ZD = {xG y + xyD xG yD , xD y + xyG xD yG }.

Thor`mes e e
(T1) (Thor`me dAlice) Si x y et y z, alors x z. e e (T2) Soit x un nombre. XG x et x XD . (T3) x x. (T4) Soient x et y des nombres. Si x y, alors y x. (T5) Si x < y et y z, alors x < z. (T6) Si x y et y < z, alors x < z. (T7) Soit x un nombre. Si YG < x < YD , alors x (YG XG , YD XD ). (T8) Soit y un nombre. Si x est le premier nombre cr tel que : YG < x et ee x < YD , alors x y. (T9) x + y = y + x. (T10) x + 0 = x. 67

(T11) (x + y) + z = x + (y + z). (T12) Si x y, alors x + z y + z. (T13) Si x y, alors x + z y + z. (T14) Si x + z y + z, alors x y. (T15) x x 0. (T16) (x) = x. (T17) (x + y) y x. (T18) (x + y) = (x) + (y). (T19) Si x y, alors y x. (T20) xy = yx. (T21) 0y = 0. (T22) 1y = y. (T23) (xy) = (x)y. (T24)
1 2x

1 2 XG

x 1 XD , x 1 XG 1 XD . 2 2 2

(T25) x(y + z) xy + xz. (T26) x(yz) (xy)z. (T27) Si x > x et y > y , alors (x x )(y y ) > 0. (T28) Si x y, alors xz yz.

68

Epilogue
Alfrd Rnyi, mathmaticien hongrois, composa trois dialogues mathmatiques e e e e particuli`rement riches qui furent publis en 1967 par Holden-Day ` San Frane e a cisco. Son premier dialogue, qui se tient dans la Gr`ce antique vers 440 ans avant e J.C., met en sc`ne Socrate, et dcrit magniquement la nature des mathmatiques. e e e Le deuxi`me qui a lieu en 212 ans avant J.C., prsente une superbe rexion e e e dArchim`de sur les applications des mathmatiques. Le troisi`me dialogue de e e e Rnyi porte sur les mathmatiques et la science. Galile nous y parle depuis lan e e e 1600. Jai crit Surreal Numbers ` la faon dun dialogue mathmatique se tene a c e ant dans les annes 70, en mettant laccent sur la nature des explorations e mathmatiques. Je lai crit avant tout en mamusant et jesp`re que mes lecteurs e e e y trouveront galement du plaisir. Je dois cependant admettre que javais aussi e une ide srieuse derri`re la tte. Je voulais en eet construire des lments cae e e e ee pables de combler une des lacunes les plus graves de notre syst`me dducation e e actuel, ` savoir le manque dentra a nement a la recherche. Les tudiants nont ` e quasiment jamais loccasion de voir comment les mathmatiques sont inventes, e e ceci jusqu` leur troisi`me cycle dtudes. a e e Jai pens quon ne pouvait pas enseigner la crativit avec un manuel de e e e cours, et quun anti-manuel comme ce roman serait utile. Je me suis eorc e dcrire quelque chose de totalement oppos ` Grundlagen der Analysis de Lane ea dau. Jai voulu montrer comment lon peut sortir les mathmatiques de la classe e et les amener dans la vie. Jai voulu pousser le lecteur a mettre la main ` la ` a pte en explorant lui-mme des ides mathmatiques abstraites. a e e e La meilleure faon de transmettre les techniques de la recherche mathmatique c e est probablement de dvelopper un exemple prcis. La rcente approche de Cone e e way des nombres surrels mest apparue demble comme la voie idale pour e e e illustrer les aspects importants de la recherche mathmatique. Cest en eet e une thorie riche, pratiquement autonome, mais troitement lie ` lalg`bre et e e e a e lanalyse, et qui est encore peu explore. e En dautres mots, mon but principal nest pas denseigner la thorie de e Conway, mais plutt comment lon peut arriver a dvelopper une telle thorie. o ` e e Alors que les deux personnages du livre explorent peu a peu et construisent le ` syst`me des nombres de Conway, jai pris soin de noter aussi bien leurs faux e dparts et frustrations que leurs bonnes ides. e e Jai voulu peindre un portrait aussi d`le que possible des principes impore tants, des joies, des passions, de la philosophie des mathmatiques. Jai donc e crit lhistoire en faisant moi-mme de la recherche (en nutilisant dautre sources e e 69

que le vague souvenir dune conversation lors dun djeuner avec John Conway e presque un an auparavant). Ce livre est destin aux tudiants en mathmatiques e e e du niveau DEUG ou licence . Il peut probablement tre utilis dans le cadre e e dun cursus mathmatique classique soit : e 1. en complment dinformation dans un module dIntroduction aux Mathmatiques e e Abstraites ou de Logique Mathmatique, ou e 2. comme manuel de cours principal dans un sminaire de premier cycle e destin ` dvelopper lautonomie de travail des tudiants. ea e e Les livres utiliss en classes sont gnralement complts par des exercices. e e e ee Au risque de dtruire la puret de lapproche romanesque, jai runi quelques e e e suggestions de probl`mes supplmentaires. Dans le cadre dun sminaire, ces e e e exercices devront tre proposs au dbut de lheure, et susciter des discussions e e e de classe, au lieu de donner lieu ` des devoirs ` la maison. a a

Exercices
1. Apr`s le chapitre 3. En quoi consiste lAbstraction ? La Gnralisation e e e ? 2. Apr`s le chapitre 5. Soit g une fonction des nombres vers les nombres e croissants (tel que x y g(x) g(y)). Dterminez e f (x) = (f (XG ) {g(x)}, f (xD )) . Montrez que f (x) f (y) si et seulement si x y. Dans le cas o` g(x) u est identiquement nulle, valuez f (x) pour le plus de nombres possible. e [Remarque : Apr`s le chapitre 12, cet exercice reste valable en remplaant e c nombres par pseudo-nombres.] 3. Apr`s le chapitre 5. Soient x et y des nombres dont les ensembles de gauche e et de droite sont similaires, sans tre identiques. Formellement, soient : e fG : XG YG , gG : YG XG , et fD : XD YD , gD : YD XG

des fonctions telles que fG (xG ) xG , fD (xD xD , gG (yG ) yG et c gD (yD yD . Montrez que x y. (Alice et Bill ne se sont pas aperu que ce lemme est important lors de certaines de leurs recherches, ils lont admis sans dmonstration.) Le lemme reste valable pour les pseudo-nombres. e 70

4. Apr`s le chapitre 6. Quand nous dveloppons la thorie des nombres de e e e Conway a partir des quelques axiomes de dpart, est-il possible dutiliser ` e les proprits que nous connaissons dj` des nombres dans les dmonstrations ee ea e ? (Lutilisation, par exemple, dindices i 1 et j + 1 . . . ) [Attention : Ceci conduira sans doute a une discussion mta-mathmatique auquel ` e e linstructeur devra tre prpar.] e e e 5. Apr`s le chapitre 9. Trouvez une dmonstration rigoureuse du schma e e e gnral au bout de n jours. [Ceci est tr`s formateur en mati`re de choix e e e e de notation. Les tudiants devront seorcer de trouver une notation qui e rende la dmonstration rigoureuse, la plus comprhensible possible (au e e sens o` cette notation co u ncide avec le raisonnement intuitif dAlice et Bill).] 6. Apr`s le chapitre 9. Peut-on crire une formule simple donnant le jour o` e e u un nombre binaire donn a t cr ? e e e ee 7. Apr`s le chapitre 10. Montrez que x y x y. e 8. Apr`s le chapitre 12. Calculez la valeur de x y pour autant de x et y que e vous le pouvez. 9. Apr`s le chapitre 12. Modiez les r`gles (1) et (2) en remplaant par < e e c a ` chacun des trois endroits o` cela appara Ajouter la nouvelle r`gle : u t. e (2) x<y si et seulement si x y et y x.

Dveloppez ` nouveau la thorie des nombres de Conway en utilisant ces e a e dnitions. [Ceci permet une bonne rvision des premiers chapitres. Il faut e e changer les arguments dans plusieurs endroits. Le point le plus dlicat est e de montrer que x x pour tous les nombres. Il existe une dmonstration e assez courte, pas facile ` dcouvrir, mais que je prf`re ne pas rvler ici. a e ee e e On encouragera les tudiants ` dcouvrir que la nouvelle relation < nest e a e pas identique ` celle de Conway en ce qui concerne les pseudo-nombres a (mme si cela revient au mme pour tous les nombres). Avec ces nouvelles e e dnitions, x x nest pas toujours vraie. Pour x = ({({0}, {0})}, ), on e a x 0 dans le syst`me de Conway et x 1 dans le nouveau syst`me e e ! Les dnitions de Conway entra e nent des proprits plus classiques. La ee nouvelle relation est cependant tr`s instructive.] e 10. Apr`s le chapitre 13. Montrez comment contourner le cercle vicieux e dAlice et Bill en liminant III(z, zG , y) et III(zD , z, x) des conditions e ncessaires ` la dmonstration de II(x, y, z). Montrez, en dautres mots, e a e directement que pour tout zG lon ne peut pas avoir z + y zG + y. 11. Apr`s le chapitre 14. Dterminez les voisins immdiats de chaque nome e e bre rel les quelques jours qui suivent le jour . e 71

12. Apr`s le chapitre 15. Construisez les plus grands nombres innis que vous e pouvez. Mme question pour les plus petits innitsimaux positifs. e e 13. Apr`s le chapitre 15. Sut-il de restreindre XG et XD aux ensembles e dnombrables pour trouver tous les nombres surrels ? [Cette question e e est dicile. Elle donnera probablement lieu a une discussion intressante. ` e Linstructeur devra se prparer ` plonger dans les nombres ordinaux.] e a 14. Presque nimporte quand. On dnit lopration par e e x y = (XG YG , XD YD ) . [La classe devra dcouvrir quil ne sagit pas de min(x, y) ! On pourra e explorer beaucoup dautres oprations, par exemple lorsque x y est dni e e par (XG YG , XD YD ) ou ((XG y) (x YG ), XG YD ) etc.] 15. Apr`s le chapitre 16. Si X est lensemble de tous les nombres, montrez que e (X, ) nest similaire a aucun nombre. [La thorie des ensembles contient ` e des paradoxes si on ny prend pas garde. Au sens strict, la classe de tous les nombres nest pas un ensemble. cf : le paradoxe de lensemble de tous les ensembles.] 16. Apr`s le chapitre 16. On dit que x est un entier gnralis si et seulement e e e e si x ({x 1}, {x + 1}). Montrez que laddition, la soustraction, et la multiplication dentiers gnraliss e e e donne encore un entier gnralis. Les entiers gnraliss comprennent les e e e e e e nombres classiques n, mais aussi les nombres n, , etc. . . [Cet exercice 2 est d a Simon Norton.] u` 17. Apr`s le chapitre 16. On dit que x est un nombre rel si et seulement sil e e existe un entier n (non gnralis) tel que n < x < n et dautre part e e e x 1 1 1 1 x 1, x , x , . . . , x + 1, x + , x + , . . . 2 4 2 4 .

Montrez que laddition, la soustraction, et la multiplication de nombres rels donnent encore un nombre rel. Montrez que les nombres rels (noue e e vellement dnis) sont isomorphes aux nombres rels dnis de faon plus e e e c classique. [Cet exercice et ceux qui suivent sont suggrs par John Cone e way.] 72

18. Apr`s le chapitre 16. Modiez la r`gle (1) de la faon suivante. (XG , XD e e c est un nombre si et seulement si XG XD (comme prcdemment) et de e e plus : XG a un plus grand lment (ou est vide) ee XD a un plus petit lment ee . (ou est vide)

Montrer que lon cre tr`s prcisment les nombres rels (ni plus, ni moins) e e e e e par cette mthode. e 19. Apr`s le chapitre 16. Trouvez un pseudo-nombre p tel que p+p ({0}, {0}). e [Cest tonnamment dicile et cela conduit a des sous-probl`mes intressants.] e ` e e 20. Apr`s le chapitre 15 ou 16. Le pseudo-nombre ({0}, {({0}, {0})}) est > 0 e et < x pour tous les nombres positifs x. Cest vraiment un innitsimal e ! ({0}, {({0}, {1})}) est encore plus petit. De plus, tout pseudo-nombre p > 0 est > ({0}, {({0}, {x})}) pour un nombre x susamment grand. 21. Apr`s le chapitre 16. On dnit pour tout nombre x : e e x = {0} n xG xG XG , n = 1, 2, 3, . . . , 1 xD xD XD , n = 1, 2, 3, . . . 2n Montrez que wx wy wx+y . 22. Apr`s le chapitre 16. Explorer les proprits des pseudo-nombres symtriques e ee e S dnis par e (PG , PD ) S si et seulement si PG = PD < S, .

en dautres mots, les lments de S ont des ensembles de gauche et de ee droite identiques, tous les lments de ces ensembles, etc. . . Montrer que ee laddition, la soustraction, et la multiplication de pseudo-nombres symtriques e donne encore un pseudo-nombre symtrique. Explorer plus avant les proe prits de S. (Combien, par exemple, dlments non similaires de S sont ee ee crs chaque jour ? Leur arithmtique prsente-t-elle un intrt ?) [Ce ee e e e e probl`me ouvert est probablement le plus intressant de toute cette liste e e car il cache une thorie particuli`rement riche.] e e Jenverrai des indices pour les exercices 9, 19, et 22 a tous les professeurs qui ` en feront la demande en mcrivant a lUniversit de Stanford.1 Je souhaite maine ` e tenant clore cet pilogue par quelques suggestions aux professeurs qui dirigeront e
1 NDT

: Vous pouvez galement crire au traducteur ` lUniversit de Bordeaux. e e a e

73

un sminaire bas sur ce livre. (Pour tous les autres, arrtez sil vous pla de e e e t lire, et fermez ce livre immdiatement.2 ) e Cher professeur : Beaucoup de sujets de discussion sont implicites dans lhistoire. Les premiers chapitres ne prennent pas beaucoup de temps. Mais tr`s vite, vous ne pourrez plus couvrir un chapitre dans lheure. Ce peut tre e e une bonne ide de parcourir dans un premier temps lensemble du livre tr`s rapie e dement. Ce sont en eet les dveloppements de la n qui donnent leur intrt e e e au dbut. e Il sera bon, par ailleurs, de demander frquemment aux tudiants de dise e tiller les principes importants, et le modus operandi des personnages. Pourquoi abordent-ils le probl`me de telle ou telle faon et quels sont les avantages ou e c inconvnients de leurs approches. En quoi la sagesse dAlice di`re-t-elle de e e celle de Bill ? (Leurs personnalits sont tr`s direntes.) Les tudiants devront e e e e tudier de pr`s certaines dmonstrations dont les dtails sont souvent laisss e e e e e a ` limagination du lecteur. Cest la seule mani`re de vraiment apprendre la e thorie du livre. Au mieux, les tudiants devront aronter les probl`mes euxe e e mmes avant de poursuivre la lecture. Les points de suspension . . . signient e gnralement que les personnages sont en train de rchir (ou dcrire), et le e e e e e lecteur devra en faire de mme. e Il serait bon, ` mon avis, lors de discussions en classes sur ce type dexercice, a de limiter le nombre dinterventions par personne. Cela empcherait les persone nes loquaces de dominer et donc de ruiner la discussion. Tout le monde peut ainsi participer.3 Une autre recommandation est de terminer le sminaire par un devoir a la e ` maison portant sur trois ou quatre semaines dans lequel ltudiant devra explorer e dans une composition dune dizaine de pages un sujet non explicitement trait e dans le livre. Les exercices ouverts de la liste ci-dessus illustrent quelques sujets possibles. Les tudiants pourront se grouper par deux pour leurs recherches. e Il sera bon, par ailleurs de prciser aux tudiants que leurs notes dpendront e e e non seulement du contenu mathmatique, mais aussi de leur style dexpression e franaise, selon un rapport de 5050. On attirera leur attention sur le fait quun c essai de n de trimestre ne ressemble en rien ` un devoir a la maison rgulier. Ce a ` e dernier est une succession de faits en forme de tableau, sans explications, que le correcteur doit admettre comme dmonstration. Le premier est compl`tement e e rdig ` la faon des bouquins de maths. Une autre faon dhabituer les tudiants e ea c c e a e ` rdiger est de leurs demander de prparer ` tour de rle, des rsums des e a o e e dveloppements faits en cours. Ce syst`me permet ` tous les autres tudiants e e a e
: Sauter plutt ` la note du traducteur, page suivante. o a : Il sera nanmoins bon de partager la classe an de permettre aux l`ves les plus e ee timides de sexprimer.
3 NDT 2 NDT

74

de garder une trace des discussions de classe sans tre obligs de prendre des e e notes eux-mmesce qui, bien s r, les distrait. e u Les deux faiblesses, a mon sens, dans lenseignement actuel des mathmatiques ` e sont le manque dentra nement a la rexion cratrice et le manque de pratique ` e e dans la rdaction technique. Jesp`re que ce petit livre saura contribuer a pallier e e ` a ` ces deux lacunes. Donald E. Knuth Department of Computer Science Stanford University Stanford, California USA 94305-2140 mai 1974

75

Note du Traducteur
Surreal Numbers a t traduit en espagnol, allemand, tch`que, hongrois, et ee e japonais.4 Je remercie lauteur Donald E. Knuth pour son autorisation et encouragement ` traduire Surreal Numbers en franais; celle-ci a t utilise pour a c ee e lUniversit Mathmatique que jai organis durant lt 1991 ` Toulouse, France e e e ee a (Ecole Nationale Suprieure de lAronautique et de lEspace). Lambiance de e e cette colonie de vacances mathmatiques pour lycens est tout ` fait celle dAlice e e a et Bill. Le programme est une initiation au monde de la recherche mathmatique e (complt par une bonne dose dclats de rire et de soleil). Pour tout renseigneee e ment concernant le programme de cette anne, crivez moi. e e Je remercie galement les Editions du Choix qui mont encourag ` dife e a fuser cette traduction ` la communaut mathmatique francophone, et Addisona e e Wesley pour lautorisation de publier cette traduction. Depuis la publication de Surreal Numbers en 1974, ltude des nombres e surrels a continu dtre tr`s active. Conway a publi sa thorie dans On Nume e e e e e bers and Games, Academic Press (1976) Londres & New York. Ce travail et tout particuli`rement ses applications ` la thorie combinatoire des jeux a t e a e ee complt par Conway et ses coauteurs Elwyn R. Berlekamp, et Richard K. Guy ee par le chef duvre en deux volumes : Winning Ways for your mathematical plays, Academic Press (1982) Londres. Les auteurs le disent eux-mme : e Vous tes conduits aux fronti`res de la recherche en thorie come e e binatoire des jeux, . . . et les nombreux probl`mes non rsolus stime e ulent de nouvelles dcouvertes. e Plus rcemment, Harry Gonshor a publi An Introduction to the Theory of e e Surreal Numbers, London Mathematical Lecture Note Series 110, Cambridge University Press (1986) Cambridge. Cest une bonne synth`se de ltat de lart. e e Il est ` remarquer que la dnition de Gonshor est radicalement dirente de a e e celle de Conway. Gonshor consid`re un nombre surrel comme la donne dun e e e ordinal et dune fonction des ordinaux infrieurs a vers lensemble {+, }. e ` Si on pense ` + et en terms de rouge et bleu on peut alors reprsenter ces a e fonctions par des tiges dans le jeu Hackenbush. (cf. On Numbers and Games et Winning Ways). Cest ainsi que lon montre lquivalence des dnitions de e e Conway et Gonshor. Je recommande vivement aux professeurs souhaitant introduire leurs classes aux mthodes de Knuth, les deux livres de George Poly` : Comment poser et e a rsoudre un probl`me : Mathmatiques, Physiques, Jeux, Philosophie, (Dunod, e e e 1965, Paris) traduit de langlais, par C. Mesnage, How to Solve It (Princeton University Press), et La Dcouverte des Mathmatiques, (Dunod, 1967, Paris). e e Daniel E. Loeb
4 Certains

extraits ont t publis en hbreu dans Math Magazine. e e e e

76

Laboratoire Bordelais de Recherche en Informatique Universit de Bordeaux I e 33405 Talence FRANCE avril 1993

77