1 Quest ce quun nombre ?

Nous avons vu tout au long de ce cours divers outils de mathmatiques trs utiliss en
physique. Ces outils concernaient la manipulation des fonctions dans le but trs alimen-
taire de rsoudre des quations issue de la physique. Les fonctions elles mmes taient
dfinies comme des botes noires transformant un nombre en un autre. Nous nous sommes
jamais demand ce quest un nombre, nous avons pris cela comme une donne dont la
signification est priori connue.
Nous allons dans ce chapitre revenir un peu sur ce concept et voir la construction des
nombres rels. Nous verrons galement que ce nest pas la seule faon de construire un
ensemble complet de nombre, et dautres ensembles qui dfient notre intuition de proche
et de loin sont galement constructible. Ce chapitre na pas dautre but que dveiller
la curiosit du lecteur.
Le plan gnral que lon va suivre est de dabord construire les nombres entiers, en-
suite les nombres rationnels. Nous munirons alors notre ensemble dune topologie et
construirons soit lensemble des nombres rels, soit celui des nombres p-adiques. Munir
un ensemble dune topologie est un terme pour effrayer ltudiant. En langage profane,
cela veut simplement dire que lon va dfinir les distances, la notion dtre proche. La
topologie habituelle que lon dfinie, et laquelle nous sommes habitus depuis notre
tendre enfance nous dit par exemple que 4.3 et plus proche de 4.2 que 5. Tant que nous
construisons lensemble des nombres rationnels, nous navons pas besoin de ce concept,
celui davant et aprs nous suffira.

1.1 Les entiers naturels N.

Dedekind, grand mathmaticien de la fin du dix-neuvime sicle disait : Dieu inventa
les nombres entiers ; tous le reste est invention humaine. La construction moderne des
nombres entiers est due Peano et ses cinq principes. De faon intuitif, on peut dire
que cest le plus simple ensemble ou chaque lment (except le premier quon appelle 0)
possde un lment juste avant et un lment juste aprs, et cela de faon non-cyclique.
Bon, bien sr, comme nous sommes en train de faire des mathmatiques, nous devons
dfinir exactement ce que ces termes veulent dire. Voil les axiomes de Peano.
1. 0 N 1
2. Chaque nombre naturel x possde un autre lment x0 = s(x) N appel son
successeur (voil pour le juste aprs).

1. Grand dbat philosophique pour savoir si il faut commencer par 0 ou par 1. Cette question na pas
de sens tant que lon a pas dfini lopration addition et son lment neutre. Tout ce que lon veut ici
est de dfinir un premier lment.

1
 1 Quest ce quun nombre ?

3. 0 nest le successeur daucun nombre (cela nous enlve le danger des cycles).
4. Si s(x) = s(y) alors x = y (cela nous enlve le problme de plusieurs nombre ayant
le mme successeur).
5. Axiome dinduction. Soit Q une proprit telle que
Q est valable pour 0
Si Q est valable pour x, alors Q est valable pour s(x)
Alors Q est valable pour tous les nombres entiers (cela entre autre nous enlve le
problme davoir plusieurs premier lment)
Nous avons insist sur cette construction pour souligner que tout ce dont on a besoin
cette tape est le concept davant et daprs.
Comme nous ne voulons pas crire un texte trs rigoureux, nous allons aller un peu
plus vite partir de l. On peut commencer par donner des noms aux divers lments.
Par exemple, le successeur de 0 sera appel un (et not 1), le successeur de 1 deux (2)
et ainsi de suite. On peut donc noter N = {0, 1, 2, ...}. Ensuite, nous allons munir notre
ensemble de lopration +. Cest une application qui deux nombres entiers associe un
troisime, et cela en gnralisant le concept de successeur : x+0 = x et x+s(y) = s(x+y)
. Par exemple, et x + 1 = s(x) 2 . Lopration + a bien sr toutes les bonnes proprits
dassociativit, commutativit, etc. dont nous sommes habitu (exercices : les dmontrer).
Nous laissons au lecteur le soin den donner une dfinition rigoureuse.
Tant que nous y sommes, nous pouvons galement dfinir lopration (multiplication)
comme une autre application qui a chaque deux nombres entiers associe un troisime :
x 0 = 0 ; x s(y) = x y + x. Bien sr, cest la multiplication habituelle et on aurait
t plus claire si on avait not x (y + 1) = x y + x. Par exemple, x 1 = x.
Enfin, a ne mange pas de pain de dfinir rigoureusement les relations de comparaison
< et >, nouveau en suivant la piste des successeurs.
Nous suggrons au lecteur de faire ces constructions en dtails et de faon rigoureuse,
cest un exercice trs intressant.
Nous disposons donc maintenant dun ensemble N, muni des deux oprations + et .
En langage chique, nous dirrions que (N, +, ) est un anneau commutatif.

1.2 Les ensembles Z et Q.

A partir de l, nous allons commencer largir notre ensemble N .
Dabord, nous pouvons dfinir lopration soustraction comme linverse de laddi-
tion : si x y = z alors cest que y + z = x (exercice : donner une dfinition rigoureuse
de la soustraction). Mais cela nous pose un problme. N est ferm pour laddition, cest
dire que laddition de nimporte quel deux nombres est encore dans N. Cela est loin
dtre le cas pour la soustraction. Il suffit dexaminer 0 1 : si 0 1 = z N, alors
z + 1 = 0, ce qui contredit violemment un des axiomes de Peano. Qu cela ne tienne :
nous allons dfinir un ensemble Z qui contient N et qui est ferm pour la soustraction,
Z = {..., 2, 1, 0, 1, 2, ...} .

2. Notez comment loperation +1 devient alors le synonyme de lopration successeur.

2
 1 Quest ce quun nombre ?

Nous pouvons galement dfinir lopration de division /comme linverse de la multi-

plication : si x/y = z alors cest que x = yz. Le mme problme se pose : en gnral, pour
un couple quelconque, x/y na pas de sens dans N ou Z . A nouveau, on peut agrandir
notre ensemble et dfinir lensemble des nombres rationnels Q qui est ferm pour lop-
ration de division. Notez que nous avons pas vraiment dfinit comment on agrandit nos
ensembles, cela alourdirait trop ce texte 3 .
Lensemble Q est trs riche. Concrtement les humains nen sortent jamais pour faire
leurs calculs. Le trait principal de cet ensemble est quentre nimporte quel deux nombres
rationnels, on peut en trouver dautres. Ceci dit, comme le lecteur le sait, lensemble Q
reste dnombrable, et mme sil est ferm pour la division, il nest pas algbriquement
ferm. Par cela nous voulons dire que les racines de tous les polynmes ( de coefficients
entiers ) ne se trouvent pas dans Q. Par exemple, il est trivial de montrer que la racine
de x2 2 = 0 (qui reprsente lhypotnuse dun triangle rectangle de cot unit) nest
pas rationnelle.
Il suffit de suivre la mme dmarche et construire lensemble des nombre
p algbrique A,

la fermeture algbrique de Q, et qui contient tous ces nombres du genre 2 + 3 + 17 253.
A ton puis tous les nombres ou existe til des nombres non-algbriques quon appelle
transcendants ? Est ce que par exemple, le primtre dun cercle de diamtre unit ,
ou le nombre e sont algbriques ? La rponse ces questions nest venu qu la fin du
dix-neuvime sicle.

1.3 Un peu de topologie.

Nous navons pas encore introduit le concept de distance entre deux nombres. La
distance entre deux nombres est une application qui prend deux nombres en entre et
produit un nombre en sortie. On peut la dfinir sur nimporte quel corps k 4 5 (dont
par exemple le corps des rationnels). Nous demandons cette application davoir un
minimum de proprits : Pour tous a, b, c k,
1. d(a, b) 0 et d(a, b) = 0 si et seulement si a = b.
2. d(a, b) = d(b, a).
3. d(a, b) d(a, c) + d(b, c) (lingalit du triangle).
Ce nest pas beaucoup demander, mais partir du moment o nous disposons dune
mtrique, nous pouvons faire une quantit phnomnale de choses. Essentiellement, cest

3. Voyons rapidement la construction des rationnels. Considrons lensemble A = N N, cest dire

lensemble de toutes les pairs (x, y) o x et y sont des entiers naturels. Nous dfinissons une relation
dquivalence (x, y) = (x0 , y 0 ) si xy 0 = x0 y . Nous dfinissons lopration +dans A par (a, b) + (c, d) =
(ad + bc, bd) et lopration par (a, b) (c, d) = (ac, bd). Lensemble A partitionn par la relation
dquivalence ci-dessus et muni des deux oprations + et peut tre identifi au corps des rationnels
Q. Un exercice intressant serait de suivre les mmes lignes pour construire les entiers relatifs partir
des entiers naturels.
4. Rappelons quun corps est un ensemble, muni des deux oprations + et et ferm vis vis delles.
5. Bien sr, pour dfinir une norme, nous navons pas ncessairement besoin dun corps. Nous avons
vu ds le dbut de ce livre comment en dfinir une pour lespace vectoriel des fonctions de carr sommable.

3
 1 Quest ce quun nombre ?

ltape o lon passe de lalgbre lanalyse, o on peut commencer dfinir le concept

de continu, de la convergence des suites, ...
Un concept troitement li la notion de distance est celle de la valeur absolue. Suppo-
sons que nous disposons dune valeur absolue sur un corps k avec les proprits suivantes :
p1 : |a| = 0 ssi a = 0.
p2 : |ab| = |a||b|
p3 : |a + b| |a| + |b|
alors nous pouvons facilement dfinir la distance entre deux lments par d(a, b) = |ab|.
Nous laissons au lecteur le soin de dmontrer cela. Lexemple usuel de la valeur absolue
sur Q est |x| = x si x 0 et x sinon. Bien sr, ce nest pas la seule valeur absolue
possible, nous en verrons des exemples plus bas.
Comme nous lavons dit, ds que nous disposons dune distance, nous pouvons dfinir
la convergence des suites. Nous disons que la suite an converge vers la limite a si tous les
lments de la suite, partir dun certain N sont aussi proche de la limite que nous le
souhaitons. Dans lensemble Q, nous crirons par exemple que a est la limite de an si
pour tout  Q, nous pouvons trouver N tel que si n > N alors d(a, an ) < .
Un des problmes de cette dfinition de la convergence est que pour savoir si une suite
converge, nous devons connatre lavance sa limite ! Le grand Cauchy a trouv comment
y remdier : une suite converge si la distance entre deux lments quelconques converge
vers zro au del dun certain N : si pour tout  Q, nous pouvons trouver N tel que si
n, m > N alors d(am , an ) <  alors la suite est convergente.
Cela nous pose un nouveau problme : la limite dune suite dans un corps k na au-
cune raison dappartenir au mme corps. Mais nous pouvons continuer notre procdure
denrichissement et considrer un ensemble qui contient et le corps k et toutes les limites
de toutes les suites convergentes. Nous verrons ci-dessous deux exemples de fermeture
topologique de lensemble Q : lensemble des nombres rels et lensemble des nombres
padiques.

1.4 Lensemble des nombres rels.

Munissons nous de la valeur absolue usuelle, et la distance ( la mtrique) qui en dcoule.
Et considrons les suites convergentes dans Q. Il est vident que beaucoup (vraiment
beaucoup) de ces suites nont pas leurs limites dans Q.

n
P
Exemple 1. Le nombre 1/e, dfini comme la limite de n=0 (1) /n! nest pas un
nombre rationnel. Pour voir cela supposons quil lest et ecrivons le comme p/q. Nous
dcomposons la srie en une somme jusquau terme q et le reste :
q
p X
= (1)n /n! + Rq
q
n=0

Comme nous avons affaire une srie alternative convergente, le reste est plus petit que
le dernier terme : |Rq | < 1/q!. Multiplions maintenant les deux cots par q!. Nous avons

4
 1 Quest ce quun nombre ?

gauche un entier, et droite un entier plus un terme plus petit que lunit. Le cot
droit nest donc pas un entier naturel. Notre hypothse de rationnalit de 1/e est donc
fausse.
Nous dfinissons lensemble des nombres rel R comme un ensemble qui contient len-
semble Q et les limites de toutes les suites convergentes dans Q au sens de Cauchy. Les
oprations + et se gnralisent aisement par continuit. Par exemple,pour a, b R,
(mais pas ncessairement rationnel) a + b = lim(an + bn ) o an et bn sont des suites dans
Q convergeant vers a et b.
Nous pouvons pousser un ouf de soulagement, nous sommes au bout de notre chemin
( part peut-tre une extension triviale C). Mais est ce que ctait vraiment la peine de
faire tout ce parcours ? Est ce que lensemble R est vraiment plus riche que lensemble des
nombres algbriques ? La rponse est videment oui, mais elle est loin dtre vidente.
Jusqu presque la fin du dix-neuvime sicle, la rponse cette question ntait pas
connue. On a pu dmontrer cette poque avec peine que les nombre e et ne sont pas
algbriques, cest dire que nous ne pouvons pas trouver un polynme de coefficients
entiers dont une des racines soit un de ces nombres. Mais combien y avait il de ces
nombres transcendants ? trs peu, beaucoup ? La rponse, un coup de matre, est venu
de Greg Cantor : les nombres algbriques forment une minorit ngligeable compare aux
nombres rels. Cette dmonstration a provoqu beaucoup de dbats furieux lpoque,
puisque Cantor ne construisait pas un seul nombre transcendant. Sa dmonstration se
fait en deux tapes trs simples : (i) les nombres algbriques sont dnombrables ; (ii) les
nombres rels ne sont pas dnombrable. Voyons cela de plus prs.

1.4.1 Les nombres algbriques sont dnombrables.

Comme nous lavons dit, les nombres algbriques comprennent les racines de tous les
polynmes. Les nombres rationnels sont videment des nombres algbriques, puisque p/q
est solution de lquation px q = 0.
Considrons maintenant un polynme coefficient entier du genre a0 + a1 x + ... +
an xn (an 6= 0). Nous appellerons hauteur de ce polynme le nombre H = n 1 + |a0 | +
|a1 | + ...|an |. Il existe un seul polynme de hauteur 1 : x. Pour H = 2, nous avons les
polynmes suivants : x2 ; x 1. Pour H = 3, x3 ; 2x2 ; x2 x ; x2 1 ; 2x 1 ; x 2
et ainsi de suite. Le fait intressant est que le nombre de racines de tous les polynmes
dune hauteur H est finie ( Combien y en a t il au plus ?). Nous pouvons donc ranger
les nombres algbriques de faon suivante : On prend dabord toutes les racines associes
la hauteur 1, et on les range dans lordre croissant, en liminant les doublons. On
prend ensuite toutes les racines associes H = 2, on les ranges dans lordre croissant en
liminant les doublons et on continu le procd pour H = 3, H = 4,... Cela nous donne
par A = {0 ; 1, 1 ; 2, 1/2, 1/2, 2 ; ...} et il nest pas difficile de voir que nous avons
ainsi une procdure pour dnombrer les nombres algbriques !

5
 1 Quest ce quun nombre ?

1.4.2 Les nombres rels ne sont pas dnombrables.

Supposons que nous avons russi dnombrer tous les nombres rel entre 0 et 1. Nous
les listons dans lordre croissant en utilisant leur reprsentation dcimale :

r0 = 0.a00 a01 a02 ...

r1 = 0.a10 a11 a12 ...
r2 = 0.a20 a21 a22 ...
...

Soit maintenant le chiffre r construit partir des dcimaux diagonaux : r = 0.a00 a11 a22 ...
et construisons un nombre r0 partir de r en changeant chacun des dcimaux de r dune
faon quelconque. Il est alors facile de voir que r0 ne peut pas tre dans la liste ci-dessus !
(Exercice : le dmontrer).

1.4.3 Au del des nombres rels : les hyper-rels.

Si on voulait donner une image de nos nombres, les rationnels seraient des points isols
dans un espace et les rels rempliraient le vide quil y a entre. Peut on encore inventer
des nombres qui se mettraient entre les nombres rels ? Avant le dix-neuvime sicle, les
mathmaticiens avaient lhabitude de manipuler ce genre de nombres quils appelaient
des infiniment petits. Ces nombres cependant provoquaient pas mal de contradictions et
ont t vite chasss du monde. Dans les annes 1960, Abraham Robinson russi de les
rintroduire de faon rigoureuse par une mthode pas trop loin de ce que nous avons vu
pour la construction des nombres rels. Un infiniment petit est par exemple un nombre 
tel que 0 <  < 1/n quelque soit n N. Dans lensemble des nombres hyper-rel, chaque
rel classique est entour dun nuage de nombre distance infiniment petit.
Concrtement, lintroduction de ces nombres napporte pas de nouvelles mthodes et
nous ne dvelopperons pas ce concept plus ici. Nous suggrons au lecteur intress de se
diriger vers des livres plus spcialiss sur ces nombres et lanalyse non-standard.

1.5 Les nombres padiques.

Nous allons voir dans cette section des nombres tranges, trs diffrents de ce que nous
connaissions jusque l. La notion de proche et de loin est compltement dissocie de la
notion davant et aprs, contrairement la distance usuelle que nous avons utilise pour
construire R partir de Q. Il existe dautres valeurs absolues, et la topologie quelles
dfinissent est radicalement diffrente. Rappelons que la valeur absolue doit avoir les
trois proprits mentionnes la section 1.3. Si la valeur absolue a en plus la proprit
suivante :
p4 : |x + y| max{|x|, |y|}
nous lappelons non-archimdienne. Notons que la proprit 4 implique la proprit 3,
puisque max{|x|, |y|} |x| + |y|.

6
 1 Quest ce quun nombre ?

Commenons par les nombres entiers. Donnons nous un nombre premier p. Nimporte
quel entier n peut scrire de faon unique sous la forme

n = pvp (n) n0

o p . n0 ( p ne divise pas n0 ). Par exemple, si nous avons choisi le nombre premier 5,

nous avons

2 = 50 2
5 = 51 1
6 = 50 6
150 = 52 6

et nous avons donc v5 (2) = v5 (6) = 0 ; v5 (5) = 1 ; v5 (150) = 2. vp (n) est appel la
valuation padique du nombre n, et dsigne la multiplicit du facteur premier p pour
former le nombre n. Par convention, vp (0) = : on peut diviser 0 par p ; le rsultat
tant 0, on peut encore multiplier 0 par p et cela peut continuer infiniment.
On peut tendre de faon vidente la valuation padique aux nombres rationnels :
vp (a/b) = vp (a) vp (b)
Et ce nest pas difficile de voir que
1. vp (xy) = vp (x) + vp (y)
2. vp (x + y) min{vp (x), vp (y)}
Si lon compare les proprits de vp une valeur absolue, nous voyons que vp agit un
peu comme un logarithme. Nous pouvons donc dfinir la valeur absolue padique dun
nombre x par
|x|p = pvp (x)
et pour revenir lexemple des nombres prcdents, |2|5 = |6|5 = 1 ; |5|5 = |10|5 = 1/5 ;
|150|5 = 1/25. En utilisant notre convention, nous avons en plus |0|5 = 0.
Nous devons remarquer plusieurs chose ce niveau : (i) la valeur absolue padique
dun nombre est infrieure ou gale 1 ; (ii) plus un nombre est divisible par p, plus
sa valeur absolue est proche de 0. Nous laissons au lecteur le soin de dmontrer que
cette valeur absolue en est vraiment une, et quen plus, elle est non archimdienne. Nous
pouvons en plus dmontrer que si x 6= y, alors |x + y|p = max{|x|p , |yp |}.
Super, nous disposons dune valeur absolue sur Q, nous pouvons donc dfinir une
distance : d(x, y) = |x y|p . Par exemple, pour la distance 5-adique, d(5, 6) = 1 ;
d(5, 10) = 1/5 ; d(5, 30) = 1/125. Notons que cette mtrique a la proprit suivante :
d(x, y) max{d(x, z), d(y, z)}x, y, z Q. Cette ingalit est appel lingalit ultram-
trique.
Notons combien cette distance est diffrente de la distance habituelle. Prenons par
exemple trois points quelconques mais distinct x, y, z. Alors deux des distances sont
gales ! Ceci dcoule du fait que (x y) + (y z) = (x z). Si |x y| 6= |y z|, alors
|x z| est gale au plus grand dentre eux.

7
 1 Quest ce quun nombre ?

Comme nous disposons dune distance, nous pouvons dfinir les suites et leur conver-
gences, et fermer Q pour obtenir lensemble Qp . Nous pouvons dvelopper lanalyse exac-
tement comme nous avons fait avec les nombres rels, dfinir les fonctions, leurs drives
et intgrales, ... Nous ne dveloppons pas plus cela ici, notons simplement quelques faits
inhabituels de ces ensembles :
Pour quune suite an converge, il suffit que |an+1 an | 0 (cest beaucoup plus
simple que le critre
P de Cauchy).
Pour que la srie an converge, il suffit que |an |p 0
Si un point appartient une boule (ouverte ou ferme), il en est le centre,
...