On va donc poser Rcomme ´etant l’ensemble des suites a:N→Z, avec a(i)∈ {0,...,9},
pour i≥1, et ane stationne pas en 9. Formellement, en notant F(N,Z) l’ensemble des fonctions
de Ndans Z, on pose :
D´efinition 0.1.1. D´efinition de l’ensemble R.
R={a∈ F(N,Z), a(i)∈ {0,...,9}si i ≥1, et ∀n∈N,∃m≥n, a(m)<9}.
On pensera donc qu’une telle suite acorrespond au r´eel a(0), a(1).....a(n)......
On va introduire des lois + et ∗sur cet ensemble, qui correspondent aux op´erations qu’on
a l’habitude de faire sur les r´eels. Ceci se fera en de nombreuses ´etapes. Tout d’abord, on va
formaliser la multiplication et l’addition des r´eels dont le d´eveloppement d´ecimal est fini, et
qu’on a l’habitude de pratiquer au quotidien.
Pour additionner des nombres dont le d´eveloppement est fini, on pose :
5,777891
+ 3,555
9,332891
en faisant des retenues successives.
Avec notre convention pour les nombres n´egatifs, on a aussi
5,777891
+ -3,555
3,332891
.
Remarquons qu’un r´eel aqui admet comme d´eveloppement a0, a1. . . ans’´ecrit comme la
somme des 0
|{z}
position 0
,0. . . 0ai
|{z}
position i
. Le point clef de la retenue est le suivant :
Si xet ysont dans {0,...,9}, et que la division euclidienne de x+ypar 10 s’´ecrit x+y=
10q+r, avec q= 0 ou q= 1, et r∈ {0,...,9}qui vaut x+ysi q= 0, et x+y−10 si q= 1, on
a
0
|{z}
position 0
,0. . . 0x
|{z}
position i
+ 0
|{z}
position 0
,0. . . 0y
|{z}
position i
= 0
|{z}
position 0
,0. . . 0q r
|{z}
position i
pour i≥1.
Formalisons cette premi`ere observation. On commence par d´efinir proprement l’ensemble
des r´eels dont le d´eveloppement est fini.
D´efinition 0.1.2. D´efinition de l’ensemble Z(10).
On note Z(10), l’ensemble des suites finies qui appartiennent `a R, c’est `a dire les ´el´ements a
de R, tels quil existe ndans N, qui v´erifie a(k)=0d`es que k≥n.
Si uappartient `a Z(10), on note nule plus petit entier ntel que u(k) soit nul pour k > n,
en particulier u= 0 ⇔nu=−1.
On note ˆunla suite de Z(10), obtenue `a partir de uen rempla¸cant u(n) par 0.
Pour kdans N, on note δkla suite (0,...,0,1
|{z}
position k
,0, . . . ) de Z(10).
Si xappartient `a Z, et yest dans {0,...,9}, on note xδ0la suite (x,0,0, . . . ), et yδk
la suite (0,...,0,y
|{z}
position k
,0, . . . ) pour k≥1, on appelle temporairement ces r´eels des r´eels
“´el´ementaires”. On remarque que yδkest simplement une notation pour l’instant, on constatera
juste apr`es avoir d´efini l’addition sur Z(10), que yδkest bien ´egal `a yfois la somme de δk, quand
4