Vous êtes sur la page 1sur 159

., .

COLLECTIO,N DE MONOGRAPHIES SUR LA .THORiE DES FONCTIONS


PUBLIE SOUS LA DIRECTION DE M. MILE BOREL
LES
NOMBRES INACCESSIBLES
PAR

mile BOREL
DIRECTEUR JIONOAIRI< DE L'COLE NORMALE SUPRIEURE
MEMBRE DE L'INSTITUT BT DU BUREAU DES LONGITUDES
AVEC UNE NOTE DB
M. Daniel DUGU
Professeur la F ~ u l t des Sienees de Caen
PARIS
GAUTHIER-VILLARS, IMPH.IMEUR-DITEUR
LIBRAIRE DU BU1\EA U DES LONGITUDES, DE L'COLE POLYTECHNIQUE
5, Quai des Grands-A uguslins, 55
1952
lE
55, PARJS
PUBLIE SOUS LA DIRECTION DE M. MILE BOREL
lits et de .leurs
BoREL. Fascicule
MINEUR
de la
BOI\IlL.
da
Maurice
RISSER,
TOME I. - pri11cipes de la Thorie des Probabilits,
et formules du Calcul des Probabilits,
BOREL, Ren LAGRANGE; 1947 .................... .
z. Erreurs et moindres carrs, par Robert DELTHEn:.; 1930 .......... .
3 Recherches thoriques modernes sur la Thorie des Probabilits, pal'
Maurice FRCHET :
PREMIER LIVRE.!
avec une Note
!950.
variables alatoires,
mise jour,
mile
600 fr.
300 &.
SECOND LIVRE : Mthode des fonctions arbitraires. Thorie des vne-
ments en chane dans le cas d'un nombre fini d'tats
4 Les de la Statistique par R. RxssER et
NARD .... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
de la Thorie des Probabilits
et IUIX sciences physiques.
r. et la. Thorie des fonctions, par mile BoREL,
rdig par p. DUBREIL; I 92 6 ...................... : . . . . . . . . . . . . 300 fr.
z. Probabl.Hts gomtriques, par Robert DELTHEIL; . . . . . . . . . . 300 b:.
3 Mcanique statistique par mile BoREL,
PERRIN; 1925 ............................
Applications de la Thorie des Propabilits par
CHARLIER; I93I ....................... " ...................... .
.5 Mcanique statistique quantique, par Francis PERRIN.. (En
ToME III. - Les de la Thorie des Probabilits
aux sciem:es et aux sciences
1. Assurances sur la vie. Calcul des primes, par Henri GALBRUN. (En
2. Assurances su:r la vie. Calcul des rserves, par Hen:ri GALBRUN;
3 Applh::ations de la statistique . la dmographie et . la
R. RISSER ..... '.....................................
4 mathmatique de l'assurance-invalidit et de l'assurance-nuptialit .
. Dfinitions et relations fondamentales, pa.r Henri GALBRuN; X933 .IHJO &.
5 Thorie mathmatique de l'assurance-invalidit et de l'assurance-nuptialit,
Calcul des et des rserves, Henri GALBRUN; 1933 . . . . . 500 fr.
6. Thorie mathmatique de l'assurancemaladi.e; par Henri GALBRUN; I934
600 fr
ToME IV. - Applications diverses et
t. au tir, par J. HAAG; rg:z6: ...................... ; ... 400 fr.
:z. aux de hasard, par mile BoREL, par Jean Vxi.LE;
1938 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 450 fr.
3 Valeur pratique et philosophie des Probabilits, par mile
Une Coilectm ik Monmrra,b/!i,es sur les P-robabilits, dirige par M. mile BOR>:L,
par fascicules, o sont les nouvelles, au fur et mesure du d1relc,oo,e
ment de la science des Prc,balbilits.
li
s
I'UllLlI! SOl.IS IJlllli!CTION
BOREL
Membre de Pinstitut
Volumes in-8 se vendant
au Collge de France,
des
par
Jonctions entires de genre infini, par OrTo
xgw.
mthodes de
et leUrS
Sorbonne en igx3-Ig,4, par MAXIME
GASTON '9'7
Leons sur thorie des
des ensembles, applications
4 dition; xg5o.
Leons sur les Jonctions entires, par MILE BOREL. 2
de GEORGES 1921.
the(> rie
BoREL.
avec une Note
sur les par BoREL, avec la collaboration de
M. 2;:) ;
sur les termes positifs,
recueillies et rdiges par RoBERT
. Lecons sur les
EMILE BoREL, et ZoRETTl
Leons sur les jonctions de relles et les avelo0!0'JJe
professes l'Ecole Normale
par. FRCHET, vec des Notes par PAUL
2' dition, revue et conige avec le concours de A.
Lecons sur la .theorie de la Gn>'""u"'"'"
MrLE BoREL, recueillies
sur les
par BoREL, par G. '9'7
Mthodes et problmes de la thorie des
complexe,
'922.
problmes des et des par (T.),
Profem;etl.l' l'Ecole
Leons sur les
mier ordre nrofessiles
Note de
du pre-
avec une
par
Leons sur les des analytiques, professes l'Univer-
sit de Budapest, PAUL DIENESi
abstraits et leur thorie consideree comme Jnboduction
m'.nP.ralA. par MAURICE FRCHET. (Rimpression.)
m'''"''wru automorphes. Fonctions automorphes den variables.
G. GIRAUD, Docteur s Sciences,
de France; 191 o.
et ses applications aux problmes
par M. GuNTHER,
au
c.
sries
, par HENRI LEBESGUE,
si tus et la Gomtrie
sur
(suite)
Leo,{s sur les ensembles analytiques, par Lusm; xg3o.
Sries de Fourier et Classes de
fesses l'Institut des
Ferrand, par S. MANDELB!IOJTi
Leons sur les sries de polynomes une variable
MoNTEL; xgxo.
pxofesses
par HENRI
die France
n'"''.<.< zmL )
Leons pro-
de Clermont-
par PAUL
sur les
catwns, par P.
foJwt<ion:s analytiques et
Leons sur les
bonne, par PAuL
de HENRI CARTAN;
par J. BARBOTTE. en7HJrt:ssWI't.
professes la Sor-
avec une Note
Le thorme de Picard-Borel et la thorie des fonctions mromorphes, par
ROLF NEVANLINNA, Professeur l'Universit cie Helsingfors; xg2g.
Leons sur les series d'interpolation, par N.-E. NiiRLUND, Professeur
versit de Copenhague, rdiges par REN LAGRANGE;
Leons sur les lineaires aux diffrences
:rdiges par REN 1929.
par N.,E. NiiRLUNDJ
Les systmes d'equations linaires une
Rmsz; Igx3,
d'inconnues, par FRDRIC
Leons sur les nombres transfinis, par W. SmRPINSKI
1
Professeur I'Uni-
''ersit cie Varsovie. Nouve:iu. tirage; 1951.
topologiques de la thorie
la et l'Universit de
analy-
SToLow,
l'Universit de Cernauti; rg38.
la et les
et JosEPH
des
permutables, par Vno VoLTERRA,
aux equations dif!ren-
son application aux,series
n PARTIE : Metrique et topologie d'ensembles parfaits et de fonctions;
xg4rr.
HI continue par ses nombres drivs
si!Jconds extrmes finis;
IV PARTIE: Les totalisations, Solution du problme de Fourier.
1" Fascicule : Les totalisations; rg4g.
2' Fascicule : et Tables gnrales; rgq.g.
Sur les sries de base de polynomes
l'Universit de et C.
de Liverpool;
Leons sur le par L ZorTTI, Matre de Conf-
rences
. S
DU AUTEUR
Librairie FLIX
Le Hasard.
L'Espace et le
et PRESSES UNIVERSITAIRES
L'Aviation (en collaboration avec Paul PAINLEV et Charles
Les Probabilits et la Vie.
Probabilit certitude.
Ubrairiie ARMAND COUN
Cours lmentaire de Mathmatiques
.mtrie,
Librairie FLAMMARION
L'volution de la Mcanique.
GALLIMARD
Le Jeu, la Chance et les Thories .scientifiques modernes,
Les Paradoxes l'Infini.
Librairie
'-'"'v"n" sur la Thorie des .Fonctions.
Leons sur les Fonctions entires.
Leons sur les Sries divergentes.
Leons sur les Sries termes positifs.
Leons sur les Fonctions mromorphes.
Leons sur les Fonctions de variables relles.
Leons sur la Thorie de la croissance.
Introduction gomtrique quelques Thories physiques.
Leons sur les Fonctions monognes.
Problmes et Mthodes de Thories. des fonctions.
Go-
Trait du Calcul des Probabilits et de ses applications (avec divers
collaborateurs, 4 volumes en 18 fascicules).
Thorie mathmatique du bridge (en collaboration avec Andr CHRON).
Librairie ALBllN MICHEL
Principes d'Algbre et d'Analyse.
La Gmt:rie et les (en collaboration avec Robe1t
DELTHEIL ).
La Mcanique et la Gravitation universelle.
n.Jc><e"u"" et Gomtrie du second degr.
lments de la Thorie des Ensembles.
lments de la Thorie des Probabilits.
L'Imaginaire et le Rel en mathmatiques et en physique.
Librairie VUIBERT
Introduction l'tude de la Thorie des nombres et de
suprieure (en collaboration avec Jules D!lACH), J8g5 (puis).
COLLECTION DE MONOGRAPHIES SUH LA THORIE DES
PUIILIE SOUS LA lHIIEC1'10N IlE M, MILE liOIIEI.
LES_
N
cc
PAil
BOREL l,
DIRECTEUR IIONORAlRlJl: DE L'COLE NORMALE
l\:\IBRE DE I.'iNSTKTUT ET DU BUREAU J)ES LONGITUDES
AVEC UNE N01'E DE
M. Daniel DUGU
Professeur la Facult des Se iences de Caen
PARIS
B
. GAUTHR-VILLARS, IMPRIMEUR-DITEUR
LIIHIAIRE !Hl ll!HIEAU IlES LONGITUDES, llE.L'COLE POLYTECHNIQUE
55, des Grandis-Augustins, 55
1952
CopyA"ight by Gauthier-Villars, xg5r.
Tous droits die traductoll, de et d'adaptatio11
rservs pour tous pays.
p
CE
,priori
temps, l'espace, ou l'nergie,
on avait associ des ents absolues et
avec
et en
de' ces
x
travaux
sance et
Mai
BOHEL.
LE
R I c I
LES NOMBRES INACCESSIBLES.
1. suite des nombres entiers. ~ La dfinition de la suite
illimite des nombres entiers a t la premire occasion o les math-
maticiens ont rencontr l'infini. Cet infini non ralis se prsente
sous la forme d'un nombre variable peut dpasser tout nombre
donn d'avance.
Si, en effet, par un procd quelconque, . nous dfinissons un
nombre entier dtermin et si nous dsignons cet entier par n,
il est clair que nous pouvons dfinir sans difficult un entier sup-
rieur n ce sera, par exemple, n + I, ou bien 2n, ou xo n,
OU IO",
Lo,rsque nous disons qu'un nous a permis de dfin1r
un entier dtermin, nous entendons par l que nous avons nonc
des rgles claires et prcises telles que tout mathmaticien sait
est l'entier que nous avons dfini et que deux mathmaticiens
diffrents savent que, parlent de cet il a pas
entre eux de malentendu, c'est--dire qu'ils sont certains que
nombre dsign par la lettre n est le mme pour l'un et p.our l'autre.
Par suite, les nombres par n + I, 2n, etc., sont
les mmes.
Dans certains cas, la d'un nombre entier d'crire
ce nombre dans un systme de numration dtermin, par exemple
. BOREL.
2 CHAPITRE L
dcimal; dans cas, les mathmaticiens font
notations cmnme la notation
des nombres trs qu'il serait pratiquement
le dcimal, simplement parce
un par nous posons
nous savons que le nombre n, crit dans le dcimal, exigerait
d'un milliard de ; si l'on crivait rooo chiffres sur une
il faudrait plus d'un million de pages pour supposer
que l'on ait eu le de calculer tous. les tel nombre
pourra tre dit relativement signifiant
ICI par dure de let v1:e humaine.
en ro chiffres par il faudrait
de Iooo pour crire un milliard de et par suite
sicles pour effectuer le ayant chacun
un milliard
Il est en
des nombres
par la relation
le nombre rn donn
aussi faire a pp el certaines proprits arithmtiques
simples des nombres et n' et m' les nombres premiers dont
les rangs sont n et m lorsque tous les nombres sont rangs
par ord-re de croissante.
Ces nombres n' et m tre regards cornille bien dfinis
en ce sens que mathmaticiens, s'ils en entre eux,
sont certains qu'ils parlent des mmes nombres; il
d'ailleurs pas comme absolument impossible que les
la science de dmontrer certaines ces
nombres; ils doivent tre regards comme relativement
inaccessibles des milliers de hmaines, par
au systme dcimaL
L'emploi de
des nombres bien
nons, par
al=Io1o;
permet de d finir fort
et de
ILES NOMBRES RELATIVEMENT INACCESSIBILES.
prendre l'indice n gal Llt, auquel cas an sera
pouvons soit le nombre entier b, soit
de rang b, soit le nombre entier form. par les
dcimaux d'un nombre tel que n. De
relativement non seulement
par b.
le nombre
sont
mals
l'on concevoir dans notre
dont les dimensions sont minuscules par rapport de tels
nombres (en comme units les plus dimensions
imaginables).
Nous laissons ici de ct la discussion des
faire ceux qui croiraient que l'univers est
ment infini (1 ).
Si nanmoins, nous pensons avoir le droit, en temps que math-,
de considrer des nombres tels que ceux que nous venons
de dfinir, nous devrons admettre que nous pouvons dfinir
ment des nombres plus tels que b + I ou 2b.
2. Les entiers relativement accessibles. - Il rsulte de ce
qui prcde que, pour celui qui fait abstraction des contingences
humaines et contingences cosmiques, les entiers relati-
vement tre dfinis par des procds
analogues ceux dont nous avons donn quelques exemples, sont
extraordinairement nombreux. Si cependant nous assignons, avec
les astronomes, une dure finie l'humanit dans le et dans
l'avenir, le nombre total des hommes sera fin:i et chacun,
au cours de sa vie, ne pourra dfinir qu'un nombre
fini de nombres entiers. Rien n'empchera, bien entendu, un homme
qui connatrait tous les textes par les hommes qui l'ont
prcd ont dfini des entiers, de dfinir un entier bien grand,
gal par exemple la somme ou au produit des dj dfinis;
mais les artifices de ce genre tant forcment en nombr limit
pour chaque homme dont la est elle-mme limite, nous pourrons
videmment atteindre des nombres vertigineusement grands, mms
qui resteront par rapport ce qui serait l'infini s1
nous pouvwns le concevmr.
(
1
) Voir ce sujet mon livre Probabilit et certitude (Presses
et le livre de Paul CounRc : de l'Univers
4
CHAPITRE 1.
Nous devons admettre que,
finie qui ne sera pas
s'il ne nous est pas
de fixer la home uucouHo. dans la suite illimite
des par fini de tous les
cette borne existe cependant et les
inaccessibles.
cec1
qui n'est pas le cas; cette borne ne
fin de l'humanit et, au cours des
pu utiliser, chacun un nombre de
pour franchir une borne atteinte; ce
hommes
qui la
de franchir
par
la connaissions, ce
connue qu'aprs la
nombre des de ce genre est ncessairement fini; car
celui qui se contenterait de dire : j'ajoute une unit au grand
nombre obtenu et, ainsi de ne dfinit pas
sur il serait en avec tout autre
mathmaticien; c'est seulement en en limitant les
oprations effectues que l'on dfinit un nombre et c'est. pour cela
que le nombre des nombres dfinis est limit.
conclusion est qu'il existe des entiers inaccessibles, c'est-
-dire qui ne seront jamais atteints par aucun mms
par leur dfinition nous ne les connaissons et il nous
est impossible d'indiquer la limite partir laquelle les entiers sont
inaccessibles, puisque cette limite est eUe-mme
Nous devons considrer cette inaccessibilit comme
puisqu'eUe de nos sur la dure de l'univers et
sur l'activit des
Toute limite que l'on prtendrait fixer serait immdiatement
par des nombres extraordinairement plus grands, qu'il
de quelques mots pour d finir; mais l'on restel'ait am si
toujouts en de la borne thorique que nous avons
3. Les enseinbles dnoinbrables. - La notion d'ensemble
dnombrable se rattache directement la notion de la suite illimite
des entiers
et les lments d'un une correspondance
d'un d n o m ~
LES NOMBRES RELATIVEMENT INACCESSIBLES. 5
; on dit que ]'ensemble dnomc
connaissant le nombre n,
on calculer avec la valeur de Un. Il Se faire
que ce calcul ne soit pas ais en raison
mms nous n'insisterons pas sur cette difficult
ne pas sur le nombre
mme de calculateurs
nmnbre Un.
Les les plus sont
des nombres rationnels et l'ensemble des nombres dcimaux; si
l'on se borne aux nombres entre o et I. l'ensemble des
nombres dcimaux sera dfini par la rgle quy prcisent
les suivantes :
n = :254 X 9 + 7
Pour les nombres rationnels, la rgle est dj
en raison du fait que deux fractions peuvent tre
leurs termes soient gaux; si donc on crit les fractions
entre 0 et I de la suivante :
I 2 I 3 I 2 3
4
1 5 I
2'
3'
3'
-,
cc'
5
cc'
5' 5'
6'
_,
... '
4
" "
7
c'est--dire dans l'ordre croissant des dnominateurs
puis des numraters le rang de la fraction - sera
7
r = 1'(2) + )l(3) + 9(4)+ 1'(5) + 9(G)
en dsignant le nombre des nombres premiers avec n
et infrieurs n parmi lesquels I et n-I).
Le calcul effectif sommes telles que r serait ncessaire l' obten-
tion de la formule gnrale qui donnerait le r::.ng d'une fraction
donne. Le calculer la fraction
dont le rang serait un milliard, ainsi que le de calculer
le rang d'une fraction dont les deux termes sont des nombres
de 5 chiffres ne sont pas des problmes
mais leur hien que
longs et n en serait de mme ( ~
par un nombre d'une centaine
6 CHAPITRE L
chiffres; le nombre doit tre comn1e
inaccessible.
Nous avons comm.e exemple l'un des
dn:om.brables; les complications sont bien
l'on passe seule1nent aux nmnbres
algbriques. Un nombre
coefficients
ax
2
+ b.x + c = o,
n tant un entier positif, b et c des entiers
simples des ensembles
ds que
nombres

on doit supposer que le nombre entier b
2
- est n'est.
range,r en ordreles nombres quadratiques,
les plus sera de considrer la somme
a+[b[+[c[=
et de classer par ordre de grandeur ceux des nombres qui
une mme valeur de l'entier m; en donnant m
successivement des valeurs entires croissantes de 3, on
obtiendra bien tous les nombres qm se trouveront
rangs dans un ainsi tre numrots
au moyen des entiers successifs. le problme de savoir
nombre aura un numro dtermin, ou inversement, ne parat pas
d'tre rsolu autrement que par une et pnible
numration de tous les cas possibles.
Dans le cas pour un ensemble dnombrable nous
supposons rsolu le problme de numrotage, nous pourrons regarder
les lments de cet ensemble comme connus lorsque leur numro
est connu et chaque pourra tre considr comme accessible
dans le cas son. numro est lui-mme un entier acces-
sible.
En fait, l'intrt port
dnombrables est bien moins
nombres entiers. On a calcul
carres des tables
approximation) un certain
Mais les nombres
mathmaticiens aux divers ensembles
que
des tables assez
portent aux
des racines
font conn:a'tre (avec une certaine
nombre de nombres
ont t vraiment considrs
des sicles sont, en fait, trs peu
nombreux; on n'a crit et rsolu qu'un nombre trs
LIES NOMBRES llELATIVEMENT INACCESSIBLES.
7
est encore vrai
au second.
ils
comme les
nombre rationnel est dcimale finie
est une nombre
Dans un cas connue dans l'autre, la ne pas
nombre commencer
arbitraire
Il serait
seulement
soit les nombres rationnels,
le nombre des lments
les Lorsque ce nombre d'l1nents est connu, il convien-
drait, dans le cas des fractions de limiter la somme de
ces lments; comme cette dernire limitation entrane videmment
celle du nombre des c'est eUe seule que l'on sera amen
considrer.
Prcisons pour les fractions
fixons le nombre de 3 ; si l'on suppose
d'abord y a 2 chiffres irrguliel'S, on aura les fractions telles
la suivante
( 1)
o le nombre pourra tre par un nOinhre
de 2 et le 6 par un
Si l'on, suppose un seul chiffre
enfin, il
tels que
(3)
a
o,
o,
347
autre chiffre quelconque (1).
on aura les nombres tels que
on aura les nombres
Il est videmment facile des rgles
les nombres de l'une des formes (x), (3); nous n'insis-
terons pas sur les dtails. Observons cependant l'tude
(
1
) Nous laissons au lecteur le soin d'tudier dtails, tels que
o,q,6666 ... ou 0,7777 ... , ou 0,12999 ... ceux-ci se ramnent des cas o le nombte
des chiffres est infriem 3.
8 CHAPITRE 1.
des difficults liminer certains et
rendrait ainsi assez difficile leur dnombrement.
les fractions continues fixons 4 le total des
chiffres priodiques et non
bilits suivantes :
I' I'
2,
I' I'
2,
3,
I' I' 1' I'
I'
~ 0 0
3,
"' "'
"'
I' I'
::>,
r' I'
,,
~ ,
2, ~ ) . '
I'
2,
... ;
... '
I'
?:,
I'
2, ... ,
2,
I' I'
2,
I'
I'
2,
I' I'
2,
I'
3,
I'
3,
l'
0
I'
3,
I'
3
"' '
Les dveloppements suivants
2,
I' . '.'
2, 2, 2, ....
1'
r,
I'
. . . '
3,
0
"'
3
'
~ 0
I'
')
~ ,
)
.. , j
correspondent aux totaux 2 ou 3 infrieurs 4.
I'
... ;
l'
... :
3
'
. .. :
I'
En remplaant le total 4 par les totaux 5, 6, 7,
on obtiendra tous les nombres quadratiques entre o et I ;
la suite
I, I, 2, I, 2,
correspond le nombre
X=----
I+----
I+----
2+----
q. ue l'on trouve aisment gal . ~ -
v3
1
I+---
2+.
:ici encore, un certain nombre de difficults de dtail sur
. [esquelles nous n'insisterons pas malais un
Nous avons cependant tenu
rle on peut faire la
on reprsente
tude
plus large du
un nmnbre ; nous
des divers
terme.
cet exemple, pour montrer
des moyens par
plus loin sur cette
au sens le
!LES NOMBRES RllLATIVEMllN'f INACCESSIBLES.
!J
4. Les divers d'un :m.:m.e ense:m.ble. Nous
avons pour certains ensembles divers modes de
numrotage. Il est clair que, si l'on a obtenu pour un ensemble
donn un mode de numrotage, il est ais d'en obtenir une
infinit d'autres. Ceci revient dire, en effet, que l'on peut ranger
la suite indfinie des nombres entiers de bien manires
rentes, nombre entier un nmnro dtermin, et inver-
sement.
Parmi les qm se l'un des plus
consiste choisir une fonction croissante o , entire
lorsque n est entier et permuter n, avec cp (n), sauf dans le cas
o n est gal cp moins que m n'ait t lui-mme except.
Prenons, par cp(n) = n
2
; on permutera 2 avec 4, 3 avec g,
5 avec 25,6 avec 36,7 avec 4g, 8 avec IO avec IOo, II avec 121, etc.
et l'on obtiendra
I, 4, \), 2, 25, 49, 64, 3, 100, I:!I, 144,
169, rg6, 225, 256, 289,
On voit que 256 figure entre 225 et car 16 n'a pas t permut
avec 4, lequel avait t permut avec 2; r6 figurera donc la 256
8
place, tandis que le carr de 256 conservera son rang; de mme 6 56r
sera permut avec Sr et le carr de 6 56r conservera sa place.
On aura un changement plus important en prenant pour ]a
fonction cp (n) une fonction croissant rapidement que
par exemple n! On obtiendrait . ainsi la suite :
1'
')
~ , 6
'
120, 3, 5o4o,
23!, 4, 25!, 26!,
... ,
dans laquelle le chiffre 5 occupe le I 20
8
rang, le chiffre 7 le etc.
On. voit que de petits nombres sont rejets fort loin, tandis que
des nombres relativement grands viennent se placer dans les premiers
rangs. Il serait d'ailleurs ais d'accentuer ces phnomnes en prenant
des fonctions cp croissance de plus en ; on obtient
aisment de telles fonctions par l'itration; s1, par on
pose
on pourra crire
= 91 [ tp 1 ( n)] = [ n ~ ] !
10 CHAPITRE 1.
et ensuite
On pourra
dement que
la mthode
considrer la fonction
'{in qui crot plus r a p i ~
fonctions '{!k C'est ce que l'on
On trouve alors
'l'2(2) == 2,
93(3)=720!,
'jl"(4) = !)!]!
la factorielle d'un nombre
plus d'un
serait a
s ~ crive sous urle forme assez
Comme ces rsultats non seulement aux nombres
mais toute suite dnombrable, il est naturel de se demander
si la distinction que nous avons dans une teHe suite, entre
les termes accessibles et ceux qui ne le sont pas est une
ou artificielle. Cette en artificielle,
si elle tait la merci d'une modification de numrotage analogue
celles que nous avons
allons voir qu'il n'en est rien et que, malgr les apparences,
la notion de termes inaccessibles est de toutes les
modifications peuvent tre
de rflchir sur l'infini se rend compte de ce fait par
intuition que les termes inaccessibles sont tellement
que les autres qu'il ne peut y avoir de place au
que pour un nombre infime d'entre eux, mais il n'est
de prciser un peu cet intuitif.
5. Les fonctions caractristiques
fonctions '{!
l'importance du changement dans
qui rsuhe d'une correspondance univoque et
entiers n et m, correspondance teHe tout n
nombreux
de la srie
pas inutile
- Nous
permettent
numrotage
entre les
un m, et
deux n correspondant deux m
LES NOMBRES REILIIT!VIEMEN'f INACCESSIBLES.
Il
Considrons les valeurs I, 2, ... , n; il leur c o r r e s ~
pond n valeurs distinctes de que nous pouvons dsigner par mv
m
2
, , mn; nous dsignerons par le plus grand de ces n nombres
on a videmment rp ( n) > n,. car si cp ( n) tait gal n, on en
conclurait que les n nombres 1nv ... , m, concideraient avec les
nombres K, 2, ... , n dans un ordre diffrent, et si cela se
pour une infinit de valeurs n, la transformation
considre reviendrait une simple permutation l'intrieur de
groupes successifs de termes; ce cas banal tre laiss de
ct (
1
).
D'autre part nous par
valeurs des nombres nm qui respecti-
vement r, 2, ... , m. Dans les exemples que nous avons donns
plus haut, a se trouve que les fonctions rp et y., sont gales,
dans le premier cas ou dans le second cas n! ou ml; mais
il est ais de former des exemples pour lesquels cette galit ne se
produit pas; par exemple :
n .. .... . 2 3 ~ 5 6 7 8 9 10 II 12
rn ...... .
:1. 2 9 3 !6 5 25 6 36 7 49
La connaissance des fonctions cp ( n) et Y., ( m) permet de fixer
une limite aux modifications effectues lorsque l'on considre des
valeurs de m et de n qui augmentent indfiniment.
On peut affirmer, par la dfinition mme de ces fonctions que si
l'on a pour tous les points certain ensemble
n<N
on peut .en conclure pour les points correspondants
m < qo(N)
et, de mme, s1
on en conclut
n<
Ces rsultats peuvent tre exprims par l'nonc suivant les
(
1
) Des ont t tudies dans ma Note : Sur le
ment de l'ordre des termes d'une srie reproduite dans mes
JV!thodes et Problmes de Thorie des
I2 CHAPITRE 1.
restent aux
santes,
et Il nous montrer que les fonctions cp et ne
pas modifier sensiblement la notion n est
les mthodes par
de fonctions crls-
se heurte au thorme
de Paul du Bois Reymond.
6. L'chelle des croissantes. - Nous avons
dj comment, en combinant l'itration avec le diagonal
on peut former des fonctions croissance de en rapide.
Si l'on suppose, en effet, crites sur une srie de lignes, les valeurs
d'une infinit de fonctions croissant de plus en
plus pour les valeurs successives de la par
exemple :

'
3'
'

[)2,
6', 72, ;

3'1 4'1
53
6\

;
---'
' ' '
j
'
24, 3+
'
4",
5fr, 6
'
..
;
25,
35
'
4"
'
5\
65
'
75, ;
.. .. ,
il est clair que la fonction dfinie par la diagonale 3
3
, 4
4
,
c'est--dire la fonction nn crot rapidement que les fonc-
tions n
2
, n
3
, , qui sont dfinies par les lignes successives.
Comme il est de recommencer l'itration avec la fonc-
tion obtenue par le pms d'appliquer de nouveau
le procd de nouveau on arrive rapi-
dement obtenir des fonctions dont la de croissance dpasse
notre imagination.
Il est de remarquer qu'il y a un paralllisme
entre ces mthodes qm s'appliquent aux fonctions croissantes et
les on des nombres entiers de
grands. En on des entiers plus en plus
que l'on calcule la valeur d'une certaine fonction
la variable la d'un entier dfini. D'ailleurs,
ds que la des fonctions devient trs cette rapidit
de la croissance importe plus que la valeur de par
ILES NOMBRES RELATiVEMENT INACCESSIBLES.
considrons
si nous posons
les itres de la fonction
N = '{l1( = n",
et enfin
on voit facilement que tP ( woo) de la valeur des
fonctions cp
1
( cp
2
( . , cp
100
( pour des valeurs de n qm
comporteraient des milliards de chiffres.
Nous avons dfini les nombres relativement
ceux qui avoir t ou qui pourront tre
dfinis par des hommes, avant que disparaisse l'humanit et une
limitation nous est apparue, du fait que le nombre des hommes
est ainsi que le nombre des de chacun d'eux.
donc admettre que les fonctions cp ( N) et ~ ( M) du para-
graphe prcdent, telles qu'elles tre dfinies d'une manire
complique que nous l'imaginer, sont nanmoins
infiniment moins croissantes fonctions qui interviennent
dans la dfinition des nombres inaccessibles. C'est prcisment ce
que nous voulions tablir : si que soit la croissance de ces
fonctions, elle est insignifiante par rapport la notion de nombre
inaccessible, de sorte que la transformation est sans
influence sur cette notion.
On peut ces rsultats en utilisant le thorme
de Paul du Bois Ce thorme s'obtient par l'application
de la mthode diagonale, il semble hien que Paul du Bo:is
Reymond a t ainsi l'inventeur.
Le thorme de Paul du Bois
l'on donne une infinit dnombrable de
il est de construire une fonction
en ce que, si
croissantes cpn (x),
'f (x) croissant
dement que chacune des cpn ). Pour dmontrer ce thorme,
on commence par tablir que si l'on a une infinit de fonctions
croissantes cpn (x), on peut construire une infinit de fonctions
croissantes (x) telles que pour toute valeur de x, (x) soit
cpn et que, pour toute valeur de x, (x) soit
r4 CHAPITRE L - l.llS NOMBRES RELATIVEM.ilNT INACCESSIBLES.
suprieur ~ ~ ~ quel que soit x. La fonction Hn) ~ ~ ~ (n) satisfait
aux conditions de l'nonc puisque, d'une certaine valeur de n,
eUe est suprieure l'une quelconque des fonctions cpn (x).
On voit que, si l'on a un ensemble dnombrable et si l'on recom-
mence son numrotage une infinit dnombrable de on dfinira
ainsi une infinit . dnombrable de fonctions croissantes et l'on
pourra construire la fonction ~ ( x ) de Paul du Bois Reymond,
. croissance plus rapide. Cette fonction ~ et toutes ses itres
rentreront dans la catgorie des fonctions qui interviennent dans
la dfinition des nombres accessibles et, par suite, quelle que soit
la ra p:idit de la croissance de elle est ngligeable par ra ppo:rt
aux: nombres inaccessibles, resteront inaccessibles dans tous
les numrotages considrs (
1
).
sommes ainsi amene a reconnatre une proprit d'inva-
riance absolue la notion d'inaccessibilit relative. tient simple-
ment ce que nous n'avons jamais utilis l'infini ralis, mais seule-
ment le fini et que les constructions les plus compliques, si elles
n'utilisent que le fini, resteront toujours aussi loin de l'infini.
Nous nous rendrons au Chapitre IV, de l'importance de
ce rsultat.
(
1
) Bien entendu, si l'on recommence le numrotage umdnfinit dnombrable
de fois, il est permis, dans le numrotage de rang n de donner le rang n , u
1
et
le rang 1 !ln; si le nombre n est inaccessible, ceci semble contredire notre'
conclusion; mais on doit observer que, en ce cas, le numrotage de rang n est
lui-mme inaccessible.
LES NOMBRES ABSOLUMENT INACCESSIBLES.
7. Les incon::u:nensurables. - Ce sont les Grecs qui
ont dcouvert les nombres en dmontrant que
la racine carre de 2 ne pas tre gale au de deux
nombres entiers. On a depuis prcis que tout nombre incommen-
surable peut tre dfini par la division en deux classes de
des sous la condition que tout nombre de la
premire classe est infrieur tout nombre de la seconde. dans
ces conditions, il a pas dans la premire classe nombre .
grand que tous les autres, ni dans la seconde classe nombre
petit que tous les le nombre incommensurable est
dfini comme tant le seul nombre suprieur tous les
de classe et infrieur tout nombre de la seconde.
Dans certains cas, la division en deux classes des nombres ration-
nels est aise, car il est de un critrium simple
de savoir quelle classe appartient un nombre donn.
Si nous nous cmnpns
entre o et I, on dfinira
un nombre E dans la
q
ou dans la seconde classe suivant
que l'expression
est positive ou ngative.
On peut appliquer la mme mthode un nombre
quelconque, toute racine d'une algbrique
de degr coefficients entiers. n est, en effet
par une transformation d'tre ramen au cas l'quation
algbrique a une racine et une seule comprise entre o et r. Dans
ces conditions, un nombre E sera
q
dans l'une des deux classes
16 CHAPITRE Il.
suivant que la valeur
f ( ~ ) est positive ou
t
dsi-
gnant un polynome entiers.
La mme mthode s'applique certaines quations transcendantes;
par exemple l'quation
cos x- sin = o
r.
a comme seule racine comprise entre o et 1 le nombre - s1 donc
4'
on pose
la valeur de f
q
sera positive ou ngative suivant que E sera
q
infrieur ou suprieur ~
leur simplicit apparente, dfinitions prcdentes .sont
gnraliser, en ce sens qu'il parat difficile une
mthode gnrale pour sparer en deux classes l'ensemble des nombres
rationnels compris entre o et I, si l'on impose la condition que tout
nombre de la premire classe est infrieur tout nombre de la
seconde. En fait, on ne peut arriver remplir cette condition essen-
tielle que si l'on connat dj une autre dfinition du nombre irra-
tionnel que l'on se propose de dfinir. La question se prsenterait
sous une forme encore complique si l'on se proposait de donner
les numros entiers des nombres rationnels de la premire classe.
dans un procd de numrotage dtermin. On aboutirait ainsi
en effet diviser en deux classes l'ensemble des entiers, mais les
proprits que devrait avoir une telle apparaissent comme
extrmement compliques.
n est cependant facile de dfinir tout nombre compris entre 0
et x, rationnel ou irrationnel, en :indiquant une division en deux
classes de l'ensemble des entiers, cette division pouvant tre choisie
arbitrairement. Tout nombre compris entre o et I peut s'crire, en
effet, dans le systme de numration binaire, sous la forme
X= o, IOOIOII!Ol .
et il de ranger d ~ n s une classe les rangs des chiffres x et dans
l'autre classe les rangs chiffres zro. Au nombre donn corres-
pond donc une division dtermine (sauf dans le cas des nombres
gaux au quotient d'un entier par une puissance de 2, car ces
LiES NOMBRES ABSOLUMENT INACCESSIIILES.
I7
nmnbres
en
s'crire de deux manires diffrentes. On a,
0, l 00 Il = 0, I 0010 I 1 1 ! l " " . ,
le 1nembre se par une infinit de o et le second.
par une infinit I.
Nous verrons, au quelles sont les difficults que
la dfinition complte priori de suites d'entiers
telles que celles que nous venons d'envisager, titre d'exemples,
exemples qui auraient tre multiplis. En fait, ce sont les nombres
incommensurables qui dfinissent gnralement les suites d'entiers
et non pas ces suites qui dfinissent les nombres incommensuc
rables; nous tudierons d'ailleurs ce dernier cas aprs avoir tudi
le
8. La dfinition directe des nombres incommensurables. -
Nous avons dj donn des exemples de nombres incommensurables
qui sont dfinis directement au moyen d'un nombre fini de nombres
entiers. Tel est le cas des nombres algbriques.
Les mathmaticiens ont, d'autre part, dfini depuis longtemps des.
fonctions transcendantes simples; les plus connues sont log x,
sinx, cos x; on peut citer aussi les fonctions elliptiques; lorsque l'on
adopte les notations de Weierstrass celles-ci dpendent de deux
nombres arbitraires, les invariants g
2
et g
3
; il est clair que nous
devons nous borner au cas o ces invariants sont des nombres
accessibles dj dfinis, par exemple des nombres rationnels ou
algbriques.
n est vident que les valeurs que prennent ces fonctions simples
lorsque la variable est un nombre accessible sont eUes-mmes des
nombres accessibles. Tel sera donc le cas pour e", log a, cos a,
s1na, p g
2
, etc.
On peut aisment gnraliser ces rsultats en considrant une
quation diffrentielle algbrique coefficients entiers et en se
donnant comi:ne conditions initiales des nombres accessibles; la
valeur de l'intgrale pour une valeur access,ible de la variable est
elle-mme accessible.
Tous les nombres accessibles que l'on dfinira ainsi sont en nombre
fini, si l'on n'utilise que les entiers relativement accessibles, eux-
1 ~ ~ BOlREL.
18 CHAPITRE Il.
mmes en nombre fini. Mais il est en
difficult, mme si eUe est insoluble,
difficile. Nous sommes amsr
accessible l'infinit dnombrable des
que nous venons dfinir au moyen
utilisant un nombre d'entiers
en infinit dnombrable.
procds que nous avons dcrits et de
ceux pourront tre imagins par futurs mathmaticiens
ce que nous avons dit des entiers : le nombre de ces procds est,
en fait, fini et nous pouvons tout au le considrer comme
si ne fixons aucune lintite suprieure la
de l'espce humaine et au nombre total des hommes venir. Comme
chacun de ces procds ne utiliser effectivement qu'un nombre
limit d'entiers (ou de nombres accessibles prcdemment dfinis),
le nombre total des nombres ainsi accessibles sera dnombrable,
c'est--dire ne reprsentera qu'une partie infime de l'ensemble des
nombres incommensurables qui resteront inaccessibles.
Il nous reste maintenant examiner les procds de dfinition
indirecte des nombres incommensurables, en utilisant les proprits
arithmtiques . des prcdemment dfinis.
9. Les procds de dfinition indirecte. - Nous avons cart
comme irralisable la dfinition d'un nombre incommensurable
&u d'une suite dnombrable de nombres entiers, une telle
suite dnombrable ne pouvant tre elle-mme dfinie d'une manire
gnrale. n est cependant des suites dnombrables d'entiers que nous
devons considrer comme dfinies; ce sont les suites peuvent
un nombre incomm.ensurable nous savons
dfinir. Nous avons indiqu quelques-unes des suites d'entiers
pouvant tre ainsi rattaches un nombre incommensurable donn;
on peut en indiquer une infinit dnombrable d'autres.
Signalons-en une particulirement simple et dont l'tude appro-
fondie est intressante. sait que tout nombre a entre o
et I peut tre crit s,ous forme d'une fraction continue dont les
quotients incomplets sont des entiers non nuls : a
11
a
2
, , an, ...
On
LES NOMBRES INACCESSIBLES.
19
I
0 . = ~ - - - -
1
On pourrait rattacher au
Mais cette suite est en
nombre rx la suite a
1
, , an, ... ,
entiers pouvant y figurer une
de poser
fort complique, certains nombres
infinit de fois; il est plus simple
b1= a1,
hz= at+ az,
b:1 = ai+ a2 + a:1,
b.,= a1+ az+ a3+ a,,
La.suite b
11
, est alors une suite croissante d'entiers;
toute suite croissante dtermine sans ambigut les an et le nombre rx.
On peut mme que tout ensemble dnombrable d'entiers,
pouvant tre, s'il est bien connu, tre mis sous la forme d'une suite
croissante, peut ainsi tre rattach d'une manire univoque et
rciproque au nombre incommensurable rx.
Mais nous savons d'autre part qu'il y a bien des manires de
dfinir un nombre incommensurable au moyen de la suite croissante
donne b
1
, b
2
, , bn, ....
On peut, par exemple, crire les entiers bn dans le systme dcimal,
ce qui donne une suite telle que la suivante
et convenir que cette suite dfinit la fraction dcimale illimite
obtenue en crivant aprs la virgule tous ces nombres
j:l = o,7 I2 23 5o Sg 3245 3246 35oo ....
Bien entendu, le nombre ~ peut tre obtenu au moyen de plusieurs
suites croissantes diffrentes, par exemple, par
712, 235o, I8g32, ... ,
maxs cec1 ne gne en rien nos conclusions.
20
d'autre
infinit
b,,
CHAPITRE Il.
... , bn, ...
'.''
et chacune de ces suites pourra, par des divers,
de dfinir une infinit de nombres incommensurables.
Signalons enfin qu'il y a une infinit de procds
former de nouveBes suites lorsqu'on en connat une,
bi+I, b2-1-2, b3+3,
Chacun des nouveaux nombres
pourra donner lieu d'autres
de nouveaux
dfinis au moyen d'une
avec lesquelles on formera
Si nous qualifions d'indirecte la formation nombre ~ , on pourra
dfinir des nombres dont la formation sera doublement indirecte,
indirecte, etc., et mme une infinit dnombrable de
fois indirecte.
de ces nombres formation indirecte ont t considrs
par divers mathmaticiens titre d'exemple, en vue de dmontrer
certains faits particuliers. Mais il ne pas qu'une thorie
gnrale de ces nombres soit prs d'tre difie et que l'on obtienne
prochainement un rsultat permettant d'incorporer ces nombres
dans une thorie mathmatique.
Il semble bien, en que nous soyons compltement incapables
de dmontrer aucune proprit du nombre ~ ' se rattachant une
proprit du nombre ()( au moyen duquel nous dfini. C'est
seulement si l'on arrivait . un tel rsultat que l'on aurait le droit
de considrer [?> .comme tant un vritable tre mathmatique.
Un tel tr() doit, en effet, pour tre intressant aux yeux des math-
avoir au moins deux proprits (en y comprenant ceBe
au moyen de laquelle il a t
Ce qui nous intresse, c'est que des de
nition est videmment dnombrable (nous aurions mme
le droit de dire fini, 1nais nous viter toute possibilit
et que par suite l'ensemble des non1bres accessibles
par ces mthodes est lui-mme dnombrable.
!LES NOMBRES ABSO!LUMEN'f INACCESS!B!LES.
1 O. Les nom.bres absolum.ent Notre conclusion
est que, parn:l les nombres incommensurables compris entre o
et I, ceux qui sont accessibles un ensemble
l'ensemble de ceux qui sont inaccessibles est un ensemble
rable dont la mesure est l'unit; ces nombres absolument
inaccessibles doivent donc tre comme infiniment
que les nombres accessibles et mme que les nombres
relativement
nombres absolument
qm de nT'<>o>o<>re.
les difficults qui sont une de l'inaccessibilit, c'est-
-dire du fait qu'aucun de ces nombres ne tre dfini avec
prcision, de que des mathmaticiens qui en pa:rlent
soient assurs qu'ils parlent d'un mme et unique nombre. C'est
ce critre positif faut rvenir lorsque l'on
un tre Bien il n'est pas interdit
d'tudier des classes d'tres mathmatiques, par exemple les fonc-
tions continues d'une variable r eUe et d'tudier les proprits
communes cette classe de fonctions. Mais cette tude perdrait
certainement la plus de son intrt si l'on ne connaissait
pas des fonctions particulires bien dfinies auxquelles on peut
les rsultats obtenus pour les fonctions de la classe.
Nous montrerons loin que le calcul des peut tre
utilis pour l'tude des dont les lments
individuels restent inaccessibles. Les applications du calcul des
sont domines par la choix, directement
lie la notion de probabilit. C'est ainsi que nous serons conduit
exammer certains de l'axiome du choix de Zermelo.
11. du -Je pas l'intention
d'tudier d'une manire livre l'axiome
choix de Zermelo sur lequel nous reviendrons au paragraphe 44.
n bien plus tendu pour
et tudier toutes les qui ont t dduites de cet
notamment par l'ecole polonaise. Nous
M. par.u dans cette CoHection et la Collection
Fundamenta
22 CHAPITRE Il. - LES NOMBIU:S ABSOLUMENT INACCESS!llLIES.
Il nous suffira de que l'axiome du choix de Zermelo conduit
admettre qu'un lment disting':l peut tre cho:is:i dans tous les
sous-ensembles du continu, c'est--dire en dans l'ensemble
des nombres absolument inaccessibles. On est donc conduit admettre
que l'on a le droit de dsigner par a un nombre inaccessible et
d'affirmer que ce nombre a est bien distinct de. tous les
autres nombres :inaccessibles; en somme, que tout se passe comme
s'il tait accessilo le.
Admettre un tel axiome n'est pas plus draisonnable que de
dsigner par i un nombre dont le carr est gal - I, que
l'on a constat qu'il n'existe pas de tel nombre parmi les nombres
connus. Les imaginaires ainsi crs par un acte de volont des
mathmaticiens se sont rvls une source fconde de thories
mathmatiques, qui ont conduit de nombreux rsultats nouveaux
dans le domaine des relles. L'axiome de Zermelo conduit
galement dfinir des nombres qui avaient, juste titre, t consi-
drs comme indfinissables; on aurait pu les appeler imaginaires,
si ce terme n'avait pas dj une autre signification. Une branche
nouvelle de la science se trouve ainsi cre, savoir l'ensemble des
thormes qui peuvent tre obtenus en partant de r axiome de
Zermelo. J'ai propos (
1
) de donner le nom de mathmatiques eucli-
diennes aux mathmatiquesdans lesquelles on n'admet pas l'axiome
de Zermelo; les relations entre les mathmatiques de Zermelo et
les mathmatiques euclidiennes seront intressantes tudier et,
mon avis, il serait particulirement intressant d'examiner s:i les
mathmatiques de Zermelo peuvent conduire des rsultats intres-
sant les mathmatiques euclidiennes, mais difficiles dmontrer
directement, comme cela a t le cas pour les :imaginaires (
2
). C'est,
mon avis, ce qui dcidera dans l'avenir de la vritable valeur math-
matique de l'axiome de Zermelo.
(
1
) C. R. Sc., t. rg5o, p. rg8g.
(
2
} Par exemple, le d'algbre d'aprs rel
est le produit de polynomes rels elu premier et elu second est mse a
;;,m,,,,ty.,,,. pal' l'emploi des et bien plus malais dmontx'elt' direc-
tement. n n'aurait pas t, a absurde de supposer que cette dmonstra-
tion directe serait impossible ~ comme l'ont t ,iusquci les dmons-
des. thormes de Fermat et de Goldbach.
DU CONllNU.
12. euclidien. - C'est la Gomtrie a conduit les
mathmaticiens dfinir les nombres incommensurables et avoir
une conception intuitive du par exemple de l'ensemble des
nombres compris entre o et r. gomtrique n'a pas
cess de nous tre utile, bien que certains rsultats singuliers de la
thorie des ensembles aient parfois paru la contredire
n n'est donc pas inutile de rappeler brivement les
essentielles de l'espace euclidien, c'est- -dire de l'espace qu'ont
seul connu et exclusivement utilis les gomtres depuis l'poque
dbut du xxx
8
sicle.
Les deux caractres essentiels de cet espace consistent en ce
l'on y dfinir trs simplement l'galit et la similitude des
figures.
Tout l'galit. D'aprs Euclide, deux sont gales
lorsqu'elles sont superposables. Ge serait une tautologie de dire
que deux figures sont lorsqu'elles
s'agirait alors de la mme figure. Mais, pour que figures super-
posables deviennent deux figures il faut dplacer l'une
d'elles et l'axiome euclidien de l'espace consiste en ce qu'un tel
dplacement est sans la grandeur et la forme de la
figure.
Cette de la possibilit du dplacement dans l'espace
est la gnralisation d'observations usuelles de la vie quotidienne,
observations que nous utilisons constamment et sans
n ~ t r e vie serait impossible. Parmi ces les plus imm-
(
1
) Je fais notamment 1e1 allusion l'existnee des ensembles de msure
nulle partout denses.
CHAPITRE Ill.
sont celles qui sont relatives notre propre corps, qui se
dforme videmment quand nous marchons, mais qui peut reprendre
ensuite la mme attitude, de sorte que nous avons la certitude que
le dplacement ne l'a pas chang, que nous sommes la mme personne.
Cettwobservation s'tend vite un grand nombre familiers,
meubles ou outils.
Le travail d'abstraction du gomtre le conduit une double
gnralisation de ces observations. D'une si nous y regardons
de nous devrons constater dplacement quelconque
amne une modification, en gnral trs faible et non mesurable,
mais cependant existante. Nous savons, en effet, que les corps
solides sont soumis la pesanteur et que celle-ci peut modifier
leur forme; cette modification est trs apparente si une longue
barre de fer est appuye sur deux supports ses extrmits; on
constate un lger Hchissement au milieu de la barre; nous avons le
devoir de supposer que des modifications mais trop
faibles pour mesures, doivent se produire dans tous les objets
pesants, lorsqu'on modifie leur position par rapport au champ de
Ia pesanteur.
Nous savons aussi que la constante de la gravitation varie avec
la latitude; eUe est plus forte l'quateur qu'au ple; elle varie donc
trs lgrement si nous dplaons un corps en le rapprochant de
l'quateur, d'o une dformation extraordinairement petite, mais
que le mathmaticien ne doit pas ngliger. nous plaons,
bien entendu, dans l'tat d'esprit du mathmaticien qui
ignore la Physique moderne et mme. les thories molculaires.
Le gomtre doit donc gnraliser par abstraction les rsultats
observs en regardant comme ngligeables les dformations
m.ement petites et en considrant que le dplacement laisse rigou-
reusement invariables les figures gomtriques.
D'autre part, nous n'observons que des dplacements finis. Mme
si, depuis Copernic, nous savons que la Terre se dplace, un tel
dplacement est limite quelques millions ou milliards de kilomtres;
la gnralisation de la Gomtrie euclidienne consiste ne
pas fixer de limite suprieure la dimension du dplacement;
l'espace euclidien est regard comme infini et l'invariance des
dplaces mme si la valeur
cement (l'unit tant, par le l'anne
L'HOMOGNIT DU CONTINU.
chiffre dans
de ceux que nous avons u1acces-
sibles.
On sait que les dimensions
sont des nombres relativement
tre aisment
nullement ceux
de se
13. La si:militude dans
une imagination assez
euclidien s'tendant l'infini
montr les et l'existence d'un
groupe de dplacements laissant les figures invariantes ne suffit pas
pour caractriser l'espace euclidien; a faut y l'indmontrable
postulatum d'Euclide, relatif aux parallles, postulatum auquel
on donner de nombreuses formes entre elles.
La de ces comme je l'ai indiqu il y a longtemps,
est l'existence de figures semblables (
1
). On fait ainsi appel une
simple et que l'on se contente de gnraliser
et de prciser par comme on l'a fait pour les dpla-
ceinents.
Depuis que l'homme des cavernes a su tracer des dessins
sentant des animaux, l'humanit sait que deux dessins peuvent,
des chelles diffrentes, reprsenter le mme Cette notion
:intuitive tient videmment au fait qu'un mme nous apparat
comme plus grand ou plus petit suivant que nous nous approchons
ou nous en loignons, mais conserve cependant, en gros, la mme
forme.
On est conduit ainsi naturellement la dfinition gnrale des
On peut dire que les de ces figures se
deux deux, de telle manire que trois
quelconques et leurs correspondants forment deux triangles sem-
cet!X-ci tant dfinis connne ayant les angles et
cts proportionnels.
Dans la pratique usuelle, des ont un rapport
de similitude assez de cartes
(
1
) Gomtrie lmentaire Colin, traduit notamment en allemand,
russe,
CHAPITRE IlL
lesquelles se
en raison de la sphric:it de la
d'ailleurs des
Mais rien ne pouvait empcher
les de la dans
un domaine abstrait bien
et d'admettre que le
tendu que celui de notre
de similitude 1Jeut la valeur
des "'-"u'""''''-'0, ou tre aussi petit que l'inverse
dans comme
de rattacher
l'espace ralit physique
Les recherches cosmogoniques la
la relativit, celle des quanta et des modles de l'atome, ont montr
combien cette euclidienne de l'espace est insuffisante;
mais elle conserve toute sa valeur abstraite.
14. L'ho:m.ognit l'espace. - On peut rsumer les deux
essentieBes de euclidien en que c e l ~ i - c i
est homogne et n'admet aucune unit de longueur privilgie;
les ne ni du choisi comme
de longueur, ce qui revient que l'on
arbitrairement l'origine et l'extrmit du vecteur unit.
euclidien quivaut alors l'espace cartsien dfini par trois axes
de coordonnes rectangulaires et une unit de longueur. L'homo-
gnit de l'espace entrane en particulier l'homognit du continu
une c'est--dire des abscisses dfinies sur une droite.
C'est cette homognit qm nous intresse au point de vue de la
dfinition des
point de vue la translation et la similitude
au remplacement de x par x+ a ou par ax; l'ensemble des
deux transformations la transformation linaire qm
x par ax b, Au point de vue qui nous intresse
il y a lieu d'examiner le cas o l'un au moins des deux
a et b est La transformation
considre fait alors
certains nombres
inaccessibles soit parce
soit parce qu'ils sont
corres
L'HOMOGNIT DU CONTINU.
Nous nous bornerons, comme nous l'avons
la considration des nombres rels et positifs
ils sont reprsents sur un de que nous situons dans
eudidien; l'ensemble des nombres que nous tudions par-
donc l'homognit de ct espace.
Nous adopter, pour notre expos, la numration
utcu1.ucu"; notre Chapitre V sera consacr l'tude des divers autres
de numration.
nous divisons le segment o-I en IO
immdiatement que, pour les intrieurs
segments, premier chiffre dcimal qui suit la
gaux, on voit
chacun de ces
et a une des valeurs o, I, 2, ... , g lorsque r on successi-
les segments depuis o jusqu' l'extrmit L
Il en est de mme S divise le segment 0-I en lOO, XOOO,
IO ooo parties gales; on obtient ainsi des segments sur chacun
desquels 2, 3 ou 4 des chiffres dcimaux qui suivent la virgule sont
dtermins.
En vertu de l'homognit du continu, les divers segments gaux
que l'on obtient en divisant, par en IO ooo parties
sont et,. en un certain sens, Nous pouvons,
.d'autre part, en multipliant par w ooo les dimensions du S
dont les extrmits sont deux points d'abscisse 14 5,
amener ce segment en concidence avec le segment o-I; il sera donc
possible d'tudier la subdivision du S comme on l'a fait
pour le o-r et. de rpter cette opration aussi souvent
le voudra; on vitera a:insi d'tre oblig de considrer des
trop l'intrieur desquels il ne paratrait pas
de figurer des divisions. sommes ainsi. prpar
du dans le continu.
15. Le choix dans le continu. - Lorsque les thoriciens des
probabilits en arrivent dfinir les probabilits relatives la
tion d'un un segment de droite, ils observent gnralement
que cette dfinition est, a arbitraire, et que l'on peut btir
une de la en choisissant une fonction quel-
conque f (x), assujettie simplement la condition
et de vrifier la condition
d:x: = l
CHAPITRE Ill.
en supposant le segment donn de
aussitt que le cas o la "1-tYn,lr,,..
culirement intressant et que la
justement tre de normale. Cette remarque
qui ont rflchi du continu; si. le segment o-I est
en ces segments doivent tre
comme et par suite la
d'eux soit choisi doit tre la
Ceci revient dire que la pour que le
qui suit la virgule soit l'un des nombres o, I, 2, .. , 9 est la
mme pour chacun d'eux et par suite un dixime;
le est dtermin, on faire un raisonnement
puis pour le troisime et ainsi de suite.
""'"u'""" a constamment la mme
d'tre choisi que l'un des autres
et la valeur commune de ces probabilits est donc certainement
gale un dixime.
L'tude des nombres inaccessibles compl's entre o et I quivaut
l'tude d'un problme de probabilits dnombrables, dans
lequel le nombre des est en infinit chacune
des un choix entre dix ventualits dont les
sont gales, leur valeur commune tant un dixime.
se reprsenter une infinit dnombrable de tirages au
sort, effectus par exemple au moyen de roues analogues celles
que l'on pour certaines loteries,
donner l'un des dix chiffres avec des
Le problme est un des problmes les plus de
probabilits qui a t tud! sous le nom de problme
des les du calcul
Le rsultat bien connu sous
le nombre des
niment la cas dtermin, que l'on
favorable, a la probabilit de ce cas.
Dans le qui nous occupe, si l'on
comme cas favorable la chiffre 7, la
nombres nous apprend que la de ce cas aura pour

10
le nombre des augmentera indfiniment,
JL'HOMOGNJllT DU CONTINU.
La a d'ailleurs de
la loi forte des grands
n1ais ce n'est pas ICJ
Un fait important est
po un a
conscutifs
nombre donn de
un nombre quelconque de chiffres
supposer conscutifs. La
dont le est fix forment
w-". Tel est, en le cas pour
ces n conscutifs soient tous des zros. Comme il y a une
infinit dnombrable de groupes de n chiffres l'vne-
ment c'est--dire le fait que l'un des groupes concidera
avec un nombre quelconque donn se produira une infinit
de fois : la chacun des groupes possibles de n
au1a pour limite IO-n lorsque le nombre des groupes tudis aug-
mentera indfiniment.
J'ai propos de donner le nmn de nombres normaux par rapport
au de numration dcimale aux nombres dcimaux illimits
tels que les groupes d'un nombre quelconque n de chiffres
cu tifs satisfassent la condition que nous venons d'noncer : leur
frquence est effectivement celle qui l'sulte du calcul des pro-
babilits et de la loi des grands nombres (
1
). Nous au
Chapitre des divers systmes de numration, sm la
n o m b r ~ s normaux et absolu1nent nor1naux.
au systme dcimaL Nous pouvons
ce prcde nombre au hasard
1 est un inaccessible normaL
La question de savoir si les nombres incommensurables accessibles
qui nous sont connus sont ou non norniaux est une des passion-
nantes de l'Arithmtique; m.ais eUe fort loin d'tre
car on n'aperoit pas par pourrait tre attaque.
Tout ce que l'on peut s1 considre n nombre
tel que rr, ou e, ou entre ces nombres
et le ro, base donc comme
(
1
) On dans certains cas, tous les groupes de n eons-
cutifs et, dans d'autr'es cas, seulement ceux de ces groupes tels que le I'ang du
dernier chiffre est un de n; mais cette distinction n'a, en I'alit,
aucune importance.
3o CHAPITRE Il!.
peu vraisemblable que le dcimal de tels
une singularit, comme ce serait le cas si le 7 tait
plus frquent le chiffre o. Mais ce raisonnement n'est pas une
dmonstration et, d'autre part, il ne pas des nombres
tels que ou puisque 2 et 5 sont des de IO et
les chiffres dcimaux connus de ces nombres semblent bien satisfaire,
eux la loi du hasard.
Nous reviendrons sur cette question au Chapitre V.
16. La mesure et la L'tude de la pro"
pour qu'un point choisi entre o et E satisfasse
conditions, c'est--dire appartienne un ensemble E dfini par ces
se rattache directement la dfinition et au calcul de
la mesure de l'ensemble E. Je n'exposerai pas, ici la thorie gnrale
de la n1.esure des ensembles, thorie laqueUe sont consacrs, en
tout ou en partie, plusieurs volumes de cette collection de monoc
graphies. Je m,e contenterai de rappeler que, par dfinition, la mesure
d'un intervalle est gale sa longueur; si cet intervalle appartient
au domaine fondamental o- x, cette mesure est bien gale la pro ba-
bilit pour qu'un point choisi au hasard dans ce domaine appartienne
l'inter':'alle. La dfinition constructive de la mesure, qui correspond
aux ensembles Lebesgue a nomms mesurables B, consiste
condrer des ensembles forms d'un' nombre fini ou d'une infinit
dnombrable d'intervalles sans partie commune; leur mesure
est gale la somme mesures de tous ces intervalles. D'autre
part, si l'on a dfini mesure de deux ensembles E
1
et E
2
tels que
tout point de E
2
appartienne /:1 Ev la mesure de l'ensemble E
1
- E
2
des points de Ev qui n'appartiennent pas . E
2
, est gale la
diffrence mesures de E
1
et de Les deux oprations que nous
venons d'utiliser : somme d'une infinit dnombrable sans partie
commune et diffrence de deux ensembles dont le premier contient
tous les points du second, ces deux pourront tre rptes
un nombre fini ou une infinit dnombrable de fois.
Nous allons donner un exemple qui nous permettra d'introduire
la notion trs importante d'ensemble de mesure
intressantes au point de vue de
dienne dans le cas o au lieu d'un seul dplacement, on est
en considrer une infinit dnombrable.
L'HOMOGNIT DU CONTINU. 3.1
les fractions dcimales
celles dans ne pas
pomr que le chiffre 5 ne soit l'un des n
la est
]Jn=
10
)
Il..
Cette Pn tend vers zro lorsque n :indfini-
ment; la pour que ne un chiffre 5 est nulle.
On retrouve aisment ce rsultat en construisant les intervalles
successifs se trouver le x pour que le chiffre 5 figure,
soit au rang la virgule, soit au second rang, soit au
troisime et ainsi de suite indfiniment.
Si le chiffre 5 figure au prem1er rang la le point
0,06 0,36 0,46 0,56 0.16 O,Bo
1 Iii Il ISI
0 0,05 0,35 ll.45 0,5 0,6 0,65 0,75
Il 1 i
O,BSO,!!!i
:Fig. I.
est compris entre o,5 et nous couvnrons de
hachures l'intervalle correspondant I ). Si le chiffre 5 n'a pas
au rang, ce chiffre sera l'un des 9 autres
chiffres : o, I, 2, 3, 4, 6, 7, 8, 9 et, pour que 5 au rang,
le non1bre x devra tre compris dans l'un 9 intervalles
o,o5, o,I5, o,x6; o,25, o,35, o-,36;- o,45, o,4G;
o, o,GG; o,75, o, o, o,86; o o,g6
que nous avons auss1 couverts de hachures.
observera ensuite que si les 2 chiffres a prs la
ne sont n:i l'un ni l'autre des il y a pour chacun d'eux 9
soit pour l'ensemble des deux; de ces possi-
tels que o,o7, ou un intervalle
ou
un millime et qui devraient
continuant de la mme
couvrir de hachures des
. l 9

10 100
etc. dont chacun a pour longueur
aussi tre couverts de en
les chiffres on arnvera
dont la longueur totale sera
+ + ... + ---r- ,
CHAPITRE Ill.
srie dont la somme, comme on le
On retrouve ainsi le rsultat
aisment est gale l'unit.
la (ou la
mesure) est gale x pour l'ensemble E des dans le dve-
loppement dcimal desquels figure chiffre 5 et par suite gale
pour l'ensemble
pas. Ce dernier
que la mesure de
o pour l'ensemble
des nombres dans lesquels le chiffre
ensemble sera dit de mesure nulle, tandis
l'ensemble E est gale l'unit.
Les intervalles qui forment E ont une totale L, gale
I. Il est donc possible de les de manire recouvrir un
intervalle donn o-I; au point de vue cet intervalle doit
donc tre regard comme gal l'ensemble E, bien que la structure
de celui-ci soit bien diffrente.
Cet ensemble E se compose d'intervalles I, dont on peut dire
sont denses dans o- I, ce qui veut dire que,
toute portion, si petite soit-elle, de l'intervalle o-I, ou bien appartient
l'un de ces intervalles, ou bien comprend son intrieur une
infinit de ces intervalles. Mais, d'autre part, deux quelconques de
ces intervalles I sont entirement extrieurs l'un l'autre et ne
peuvent pas tre juxtaposs; ils sont spars par une infinit de
points n'appartenant pas E. Nous avons vu que les deux extr-
mits de l'un des intervalles I sont des nombres dcimaux tels que
les suivants :
o,
les 7 chiffres suivant la virgule dans cet exemple ne tre
des chiffres 5. On constate que l'extrmit gauche de l'intervalle
se termine par un 5 et l'extrmit droite par un 6. Mais on peut
crire aussi l'extrmit gauche sans utiliser le chiffre 5, car on a
On peut donc admettre que les extrmits des intervalles for-
mant E appartiennent l'une et l'autre l'ensemble complmentaire
et il est ais de voir que tout point limite l'ensemble de ces extr-
mits complmentaire ~ e t
ment, que tout point l'ensemble
est un point limite de ces ensemble complmentaire
que nous dsignerons par CE est donc un ensemble parfait, car
les points de l'ensemble E, tant tous intrieurs certains inter-
!L'HOMOGNIT DU CONTINU. 33
vaHes, sans concider avec les extrmits, ne peuvent pas tre des
points limites, ni des extrmits de ces intervalles, ni de points
extrieurs ces intervalles.
L'ensemble CE a la puissance du conti mt; ii est trs facile
d'tablir une correspondance univ?que et entre les
de CE et les de l'intervalle o-L Un point CE a en
effet pour abscisse une fraction dcimale inimite (ou limite)
o,
dans laqueHe ne figure pas le chiffre 5, mais qui n'est assujettie
aucune autre condition; si ce dveloppement nous diminuons
d'une unit les chiffres suprieurs 5, nous obtenons
( b) o,
et si nous supposons ce nombre (b) crit dans le systme de num-
ration de base g, ce sera un nombre quelconque entre o
et I. A tout nombre crit ainsi dans le systme de base g, on
fera en effet correspondre le nombre (a) crit dans le systme de
base IO et obtenu en ajoutant une unit aux chiffres de (b) gaux
ou suprieurs 5.
Dans le langage de Ia thorie des ensembles, on dit, d'aprs
George Cantor, que l'ensemble CE a, comme l'ensemble des points
compris exitre o et I, la puissance du continu, mais ces ensembles
ne sont pas gaux au sens euclidien, que l'on puisse concevoir
que l'un d'eux est obtenu en dplaant sous les points de l'autre
point (a) tant amen en concidence avec le point (b)]. On sait,
en depuis longtemps, qu'une telle correspondance univoque
et rciproque peut tre tablie, dans le plan euclidien entre les
points de deux segments ingaux; il suffit d'utiliser la transformation
homothtique
Y=2X.
On peut mme, par la transformation
I
y=-
x
faire cQrrespondre l'ensemble des points compris sur le seg-
ment o- I, l'ensemble des points situs sur la droite illimite I -oo,
li. BOREL.
CHAPITRE lll.
infinit dnombrables de segments
A Cantor en a ajout
un en montrant que l'ensemble des
intrieurs un carr (ou un etc.) a mme pmssance que
l'ensemble des d'un segment de droite.
donc de distinguer la notion de de
euclidienne. Celle-ci tient compte, non seulement
que l'on appeler au sens cantoren le nombre cardinal des
points, mais de la localisation ces points dans l'espace.
Il nous :reste expliquer, du de vue le rsultat
en apparence d'aprs lequel l'ensemble E des points
comportant le chiffre 5 se compose d'intervalles au moyen desquels
on peut reconstituer le segment o-I entier, bien que l'ensemble E
ne recouvre pas tout ce segment, laissant dans CE un ensemble
ayant la puissance du continu.
Nous devons donc admettre que cet ensemble CE, du fait qu'il
est de mesure nulle doit tre regard comme ngligeable au point
de vue de ses dimensions, comme l'est le sur la droite,
ou comme l'est la droite dans le plan : lorsque l'on dfinit l'aire
d'un triangle ou d'un polygone, on ne tient pas des droites
qui les limitent; celles-ci })eu vent et doivent tre, suivant les circons-
tances, considres volont comme extrieures ou intrieures
l'aire; si l'on n'admettait pas ce point, on serait conduit
difficults inextricables lorsque l'on juxtaposerait deux
pour former un triangle unique dont est la somme des
Il en est de mme pour les extrmits de deux ou plusieurs
que l'on juxtapose. Le point gomtrique en tant
que borne ou mais sa longueur est nulle. n doit donc tre
nglig dans toutes les questions de probabilit et de mesure concer-
nm1t 1e il en est de mme pour les ensembles
dnombrables et mme non lorsque
sont de mesure nulle.
rsultat lequel l'ensemble E quivaut l'intervalle
entier o-I et tre amen concider avec cet intervalle au
moyen d'une infinit dnombrable dplacements ne do:it donc
pas considr en outre,
que l' enseinble
L'HOMOGNIT DU CONTINU. 35
dont les mesures forment la srie que nous avons
dsigne L et qui a pour somme l'unit. En raison de la conver"
gence de cette srie, on affirmer que, quel que soit le
donn e, il sera possible de trouver un fini de termes de
la srie dont la somme sera suprieure Il est donc
au moyen d'un nombre de dplacements euclidiens,
au moyen d'intervalles appartenant E un intervaBe
E quelque petit que soit le nombre donn e. Telle est la raison
pour laquelle il est possible d'affirmer l'galit euclidienne de E
et de l'intervalle o-L
17. La n1esure des non1bres inaccessibles. - Nous nous
bornerons l'exemplt! que nous. venons de donner, car nous pensons
que les dtails dans lesquels nous sommes entrs permettront
nos lecteurs d'tudier d'une manire approfondie d'autres cas, en
utilisant au besoin Ouvrages sur la thorie des ensembles et
de la mesure. Signalons, en. particulier, comme exemples que nous
suggrons ,nos lecteurs d'tudier l'ensemble nombres dcimaux
dans lesquels le chi;ffre 5 ne figure qu'un nombre limit de fois,
puis l'ensemble de ceux pour lesquels la frquence du chiffre5, lorsque
le nombre des chiffres considrs augmente indfiniment tend
vers -une limite diffrente de __1_, gale par exemple - ou !_,
10 . p 9
et enfin le cas cette frquence du 5 ne tend vers aucune
limite mais oscille entre deux limites d'indtermination a et b,
Dans tous ces cas on pourra dmontrer que l'ensemble dfini est
de mesure bien que cet ensemble soit partout dense, c'est-
-dire a comme ensemble driv l'ensemble de tous les points compris
entre o et r.
Je aussi en l'intrt de la classification des
ensembles de mesure nulle, laquelle je renvoie mes
de la thorie des
Revenons maintenant l'exemple donn dans le paragraphe
prcdent. avons dfini un ensemble de mesure gale l'unit E
et l'ensemble complmentaire CE dont la mesure est nulle. Il est
vident que l'ensemble E se compose en majeure de nombres
absolument inaccessibles, car ce sont les nombres qui. constituent
l'essentiel de tout intervalle, les nombres accessibles devant tre
36 CHAPITRE Ill. - L'm:iMOGNJIT DU CON'li'INJU.
regards con'lme en nombre fini ou tout au
brable.
en infinit dnom-
Ma:is nous avons vu que les nombres de CE tre repr-
sents sous la forme c'est--dire univoquement
aux nombres entre o et x, crits dans le systme de num-
ration base g. On pourra donc dire aussi que l'essentiel de CE
est form de inaccessibles; on peut d' aiBeurs que
l'on obtiendrait les nombres de CE en effectuant des tirages au
sort dans une urne o ne figureraient que les chiffres o, I, 2, 3,
4, 6, '], 8, g. On conclurait aisment de l que les nombres de CE
ne rentrent pas dans la catgorie des nombres accessibles,
mais de ceux qui le deviennent, comme nous le verrons au Cha-
par l'utilisation simultane de divers systmes de numration,
ce terme tant compris dans son sens le plus large.
Toutes les thories qui se rattachent la mesure des ensembles
peuvent donc tre considres comme une contribution la thorie
des nombres inaccessibles; si nous ne pouvons tudier individuelle-
ment aucun de ces nombres nous pouvons tudier des problmes
de probabilit qui sont relatifs, soit l'ensemble de ces nombres,
soit certains sous-ensembles. La rponse certaines questions
se trouve tre ains un coefficient de probabilit. Une telle rponse
peut avoir souvent un grand intrt dans bien des questions scienti-
fiques.
DU DNOMBRABLE.
18. Les .dans lle dnombrable. - Dans le Chapitre
prcdent, nous avons tudi un de probabilit, celui
du choix dans le continu, que l'on peut rattacher la thorie des
probabilits dnombrables, puisqu'il d'une infinit dnombrable
de problmes simples de probabilit, chacun d'eux concernant le
choix, avec des probabilits gales, entre les IO chiffres o, r, 2, 3,
4, 5, 6, 7, 8, g. Ces problmes sont de ceux que l'on appelle dans Ja
thorie des probabilits dnombrables, problmes de premire
catgorie, tandis que le nom de problmes de seconde catgorie
est rserv ceux dans lequel le nombre des choix possibles est en
infinit dnombrable, les probabilits correspondant chacun de
ces choix formant une srie convergente dont la somme est gale

Certains autelj.rs se sont demand s:i cette dernire condition
tait indispensable; il en est mme qui ont object qu'il a pas
de raison pour admettre a ' que les lments d'un ensemble
dnombrable ont ncessairement des probabilits diffrentes,
Essayons de comprendre ce point de vue qui, je dois le dire de
suite, ne me parat pas acceptable.
Ceux qui. le soutiennent font le raisonnement suivant : une infinit
dnombrable est la limite de l'ensemble form par n objets, lorsqu.e n
augmente indfiniment. S'il d'objets corres-
pondront par suite des gales, la probabilit de chacun
d'eux est _I_, la somme de ces n
n
tant ainsi gale l'unit.
Si nous supposons maintenant que n augmente indfiniment, nous
aurons la limite une zro; la somme de ces
38 CHAPITRE IV.
sera gale au de leur va.leur commune
par leur nombre et se prsentera donc sous la forme
oxoo
que les mathmaticiens considrent comme un d'indter-
mination. Mais il est ais ici de lever l'indtermination,
nous considrons un cas qui est le cas limite de n nombres dont
la commune est La
n
donc la limite du produit
1
n x n,
produit dont la valeur est constamment
limite est donc aussi l'unit.
du produit considr est
l'unit; sa valeur
Cette conclusion n'est pas contredite par le fait que la somme d'une
srie tend souvent vers zro lorsque tous les termes de la srie
tendent vers zro, bien que le nombre de ces termes soit infini;
tel est notamment le cas pour les sries uniformment convergentes;
mais tel n'est pas le cas pour la dont les n premiers tern1es
seraient gaux , tandis que les termes suivants seraient nuls.
Tels sont les raisonnements que j'ai essay d'exposer avec impar-
tialit, bien qu'ils ne m'aient pas con':aincu. Je m'empresse cependant
de dire que je ne crois pas devoir regarder comme
ils sont, dans une certaine mesure, et cohrents; la raison
pour laquelle je ne les admets pas est surtout d'ordre
je ne pense pas qu'on pu jusqu'ici indiquer des cas dans lesquels
cette dfinition de la probabilit dans le dnombrable ait pu conduire
des utilisables pour la solution d'un problme math-
matique. J'essayerai de montrer pour quelle raison il me semble
qu'il en sera toujours de c'est--dire que cette dfinition
qui n'est pas logiquement absurde, restera strile et inutilisable.
19. de des - Acceptons, pour
un instant, le principe de l'galit des probabilits pour les
divers lments d'un ensemble dnombrable. Ces divers lments
par dfinition, numrots au de la suite naturelle
des nombres nous. pouvons nous borner au cas o l'ensemble
L'HTROGNIT DU DNOMHlRAI!LE.
3g
se confond avec cette n donc de savon
si nous pouvons dfinir ou mme concevoir un mode de choix dans
cette suite natulle des nombres mode de choix tant
tel que deux entiers
valeur commune de
que puisque la
l'unit.
ne dans aucun cas
Mais si une la somme d'un nombre
fini de teHes probabilits sera encore gale que so:it ce
nombre fini. Ainsi, la sera zro pour que l'on choisisse
un nombre infrieur au nombre a w
1 0
, ou bien au nombre b
gal Ioa, ou au nombre c wb, etc.; que nous devons
entendre par etc. que notre raisonnement est valable pour tous les
nombres accessibles; si A est un tel on devra regarder
comme certain que le nombre entier choisi au hasard sera
rieur puisque la probabilit pour qu'il infrieur A est
gale zro.
Ainsi, les seuls
sment les nombres
sommes pas en tat
loigns de nous.
qui pourraient tre choisis seraient
inaccessibles, c'est- -dire ceux que nous ne
de dfinir avec prcision, tellement :ils sont
L'objection prend peut tre encore plus de force l'on
son attention sur le mcanisme du choix, c'est--dire sur le moyen
que l'on pourrait employer pour dfinir, au moyen du hasard,
un nombre entier arbitraire et cependnt certainen1ent fini, Il
sembler singulier qu'un tel choix apparaisse comme plus difficile
qu'un choix dans le choix pour la mthode du
au sort des chiffres dcimaux successifs donne des rsultats satis-
faisants. On pourrait se demander par un dtour singulier mais
acceptable, il ne serait pas possible de faire dpendre
l'entier n que l'on choisir au hasrd d'un nombre incommen-
surable IX choisi lui-mme au hasard entre o et L En fait, il est
possible au moyen d'un nombre incommensurable IX de dfinir
une infinit ; .encme choisir parmi eux, c'est--dire
une pour dfinir un entier unique. Laissons
de ct l'instant les difficults dans
la pratique, du choix du nombre 01:; nous pour un
de nous placer au de vue de ceux qm, admettant au sens le
4o CHAIPI'l'RE IV.
plus large l'aximne de Zermelo, supposent, non seulement que le
nom.bre oc peut tre considr comme mais que nous pouvons
raisonner, soit sur son dveloppement dcimal, soit sur son dveloppe-
ment en fraction continue, comme si ces :inimits
pouvaient nous tre entirement connus et que nous sachions par
si un nombre donn figure, soit un nombre donn de
soit une infinit de fois, parmi les quotients incomplets de la fraction
continue.
On alors, tre dsignant par an le de ces
quotients incomplets, de dfinir un entier gal au plus grand de
ceux des quotients incomplets qui figurent une infinit de fois.
comme on sait que, sauf si oc appartient un ensemble de
mesure nulle, tous les entiers figurent une infinit de fois parmi
les quotients incomplets, notre dfinition conduirait presque toujours
dfinir un entier infini, c'est--dire serait inoprante.
D'une manire plus gnrale, on pourrait dfinir une certaine
fonction du quotient incomplet an et de l'entier n que nous
dsignerons par cp (an, et, d'autre part, une fonction <f (n) de n
et considrons les valeurs de n pour lesquelles on a
(x)
Si ces valeurs de n sont en nombre limit, on .pourra convenir de
choisir la plus grande ou la plus petite d'entre elles et de faire
correspondre au nombre oc la valeur d'une certaine fonction./ (an, .
tandis que si les valeurs de n sont en nombre illimit, on . devra
recourir d'autres fonctions cp et <f jusqu' ce que l'on se trouve
dans le premier cas.
Mais si l'on dsigne par pn la probabilit pour que la relation (1)
soit vrifie lorsque oc est choisi au hasard, on sait, d'aprs les
thories des probabilits dnombrables, que l'on doit distinguer
deux cas, suivant que la srie des pn est convergente ou divergente.
Dans le premier cas, ou cas de convergence, la }Jrobabilit pour que
l'ingalit (r) soit vrifie une infinit de fois est nulle, tandis que
dans le second cas, ou cas divergence, cette probabilit est gale
l'unit. II n'y a pas d'autre alternative, puisque toute srie est
forcment, soit convergente, soit
Si l'on se trouve dans le cas de divergence, l'ingalit (r) sera
vrifie, en gnral pour une infinit de valeurs de n, de sorte que
L'HTROGNIT DU DNOMBRABLE.
la seule jlossibilit que nous ayons est de choisir,
de ces valeurs, soit une valeur de rang par
les valeurs tant ranges par ordre croissant. un cas
comme dans l'autre, il est vident que la probabilit sera extraordi-
nairement faible pour que la valeur ainsi choisie, ou mme la valeur
correspondante de f soit un nombre trs grand, c'est--dire
que les nombres inaccessibles auront une probabilit grande
que ceBe des nombres accessibles.
S:i, au on se trouve dans le cas de convergence, il est
clair que les valeurs en nombre limit pour lesquelles la relation ( 1)
est vrifie seront des nombres accessibles et la conclusion prc-
dente sera vrifie a
On sait, en effet, que dans le cas de convergence, les probabilits
pour que le cas favorable se reproduise un nombre limit m fois est
un nombre fini pm, la srie 2: Pm tant convergente et ayant pour
somme l'unit; la probabilit de dfinir ainsi un nombre m dcrot
donc ncessairement avec m. Au contraire, dans le cas de divergence,
les Pm sont toujours nuls et l'on ne peut donc, ainsi dfinir un
nombre m.
En dfinitive, tous les moyens imaginables, y compris ceux dont
la ralisation pratique apparat comme impossible, donneront des
valeurs finies pour les petits nombres entiers, lesquels seront par
suite probables que les nombres entiers plus grands, ou bien
donneront des valeurs nulles de la pour toutes l.es valeurs
entires de n, mais dans ce cas-l, il y aura une probabilit gale
l'unit pour que l'on dfinisse une valeur infinie de n, c'est--d:ire
pour ne corresponde au nombre a aucune valeur finie de n.
Il serait possible, bien entendu, de compliquer encore les mthodes
que nous avons esquisses, mais on se rend compte assez aisment,
si l'on veut bien y rflchir, que, en vertu de la lo:i fondamentale des
probabilits dnombrables, on sera conduit toujours la mme
conclusion; ou bien la probabilit de tous les n sera nuHe et celle
l'infini sera l'unit, ou bien la probabilit de l'infini sera nulle
et les probabilits pn des n formeront une srie dont
la somme sera gale K.
20. La mthode - Certains esprits ne seront
peut-tre pas entirement satisfaits par l'argumentation prcdente
CHAPI'rRE IV.
et le droit d'utiliser la mthode
probabilits dans le dnombrable. On
en effet que, du moment est dans le domaine
toute exprience est :inexcutable; on com1ne on l'a
fait souvent dans la dfinition des probabilits continues,
une dfinition arbitraire, sous la seule rserve ne conduira
pas une contradiction.
n est donc d'une d'attribuer chacune des
lits en infinit dnombrable une la somme
de ces probabilits formant une srie convergente
0
la somme
est l'unit, ou, de dcider que les probabilits des
ventualits sont sans du fait que leur
valeur ommune ne peut tre en ce cas que zro. Nous avons
indiqu que r on faire cette dernire
les nombres accessibles ne seront ]amais puisque les nombres
:inaccessibles sont infiniment nombreux.
par contre, qu'avec la premire mthode, les nombres
ne seront choisis, leur probabilit totale tant infiniment
petite quelle que soit la srie convergente donne
D'autre part, cette mthode axiomatique le grave inconv-
nient de ne donner aucun moyen pratique pour faire effectivement
un choix entre les divers lments d'un ensemble dnombrable.
Nous allons donc examiner maintenant les mthodes par lesquelles
on peut effectivement, au moyen de tirages au sort simples,
effectuer un entre les entiers, la probabilit dcrois-
sant gnralement lorsque la valeur de l'entier mals
sans cependant devenir jamais rigoureusement nulle.
21. Le choix effectif entre les entiers. - La mthode qui nous
nous la simple pour effectuer ce choix consiste utiliser
le premier quotient du en fraction continue
d'un nombre arbitraire com1)ris entre o et L Il n'est d'ailleurs
nullement ncessaire connatre n:i d'utiliser la thorie des
fractions continues; il suffit de faire la convention l'entier
choisi est k si l'on a
I I
k+I<a<x
L'HTROGNIT DU DNOMBRABLE.
43
Les pour que l'entier k soit
ment
1'
2, 3, 4, . ".,
sont donc
1 I I
_,
-,
31.'
1.2 2.3
-,
4.5
... '
n(nxi)'
... '
oL!J.
leur somme est gale l'unit.
Pour choisir au le nombre , iJ
chiffres probabilit pour
par
on voit aisment que l'on a
a == 0, I 53 m p
6 < I,
71X > I,
au sort
tant x
le nombre . est donc
I 1
entre -
6
et - et le nombre choisi sera 6.
. 7
C'est seulement dans le cas o les premiers chiffres sortis seront
tous des zros que l'on obtiendra des nombres levs; si l'on a,
par
on aura visiblement
de sorte que le
pour le dterminer avec
'= o,ooooo17 ....
5oo OOOIX < I,
I ooo ooo > r,
chiffres dcimaux; il suffira gnralement
au sort d'autres
nombre de chiffres
non nuls trs au des zros.
La mthode du choix qui vient d'tre indique gnrale-
ment inacceptable, car les des nombres
1'
')
~ ,
~
:>,
4
sont
I I
_,
6'
_,
0 q e'
2 120
c'est- -dire extrmement entre Nous avons c e p e n ~
CHAP!'l'RE IV.
dant tenu l'indiquer car, en la comme de
on obtenir aisment d'autres mthodes conduisant des
bilits plus acceptables.
Nous allons donc fixer un nombre assez par
un miBion, et admettre que les probabilits des nombres infrieurs
ou gaux un devront tre toutes gales entre eUes; il en
sera de mme pour les tranches successives d'un million de chiffres.
Nous attribuerons alors ces tranches successives les
que nous attribues aux entiers successifs; sorte que si
le tirage au sort sur le nombre rx nous conduit choisir le nombre 3,
nous admettrons que le nombre n doit tre compris entre 2 ooo ooo
et 3 ooo ooo et sa valeur sera alors dtermine par le tirage a sort
de chiffres effectu comme dans une loterie comportant un
million de
On effectuera donc deux tirages au sort; d'abord, pour dterminer
le nombre , il faudra un nombre de tirages plus ou moins
lev suivant qu'il sortira au dbut un nombre plus ou moins grand
de zros; ce nombre devra tre aussi assez lev, si les chiffres sortis
les premiers dterminent une fraction simple; par exemple
1
g = 0
1
IIIIIII ....
Si donc les premiers tirages donnent tous le chiffre r, il faudra
continuer jusqu' ce qu'un nouveau tirage, donne soit le chiffre o;
soit le chiffre 2 ou un chiffre suprieur 2; dans le premier
cas g est infrieur r, tandis que dans le second cas goc est sup-
rieur I. Le nombre des tirages effectuer ne peut donc tre fix
l'avance, mais la probabilit est nulle pour que ce nombre soit
infini, c'est--dire pour que l'on soit oblig de continuer indfini-
ment, sans tre fix. La probabilit pour que les n premiers
chiffres soient gaux n chiffres donns (soient tous des I, dans
l'exemple prcdent) est en effet -
1
-; elle dcrot trs rapidement
Ion
lorsque n augmente.
Le premier tirage, tant effectu, connatre le plus petit
nombre de millions qui est suprieur ou gal au nombre cherch;
celui-ci sera alors ltermin par s1x tirages, comme nous l'avons
dit.
Il est clair que la mthode que nous venons d'indiquer
L'HTROGNIT DU DNOMBRABLE.
est donne titre d'exemple et tre de bien des
manires.
Par exemple, on pourrait convenir que si le
au 2, au lieu de considrer une seconde tranche d'un million
de nombres comme nous l'avons on une tranche
de 999 n:tillions de nombres, savoir les nombres
entre I million et I milliard et l'on choisira le nombre en effectuant
d'abord un tirage entre les dix chiffres o g, puis un second
analogue, puis un troisime tirage, mais, dans le cas o les deux
premiers tirages auraient donn tous deux le chiffre on exclura
le du troisime tirage, qui ne comprendra que les chiffres
de I 9; enfin, six autres tirages comporteront les dix chiffres;
on obtiendra bien ainsi un nombre compris entre I ooo ooo
et 999999999, mme que six tirages donnaient un nombre
compris entre ooo ooo et 999 999 On peut ds lors faire plusiems
conventions diffrentes. La plus simple consiste admettre le
nombre o parmi les entiers; il a alors une probabilit gale celles
de x, 2, 3, ....
Une autre convention, qui est celle des loteries comportant un
million de billets, consiste admettre que ooo ooo quivaut
I ooo ooo; de mme, pour les nombres de 79 chiffres r ooo ooo
quivaut r ooo ooo ooo.
Enfin, on pourrait augmenter purement et simplement d'une
unit le rsultat final, sorte que les nombres de . 0 999 999
deviennent les nombres de I r ooo ooo et les nombres de r ooo ooo
999 999 999 deviennent de I ooo oor r ooo ooo ooo.
Plus gnralement, nous conviendrons que si le nombre n est
dsign par le tirage au sort effectu sur oc, nous devons si n est
suprieur I avoir un nombre dont le nombre des chiffres est compris
entre 3n et 3 (n + I ). On pourrait d'ailleurs tout aussi bien prendre
un nombre de chiffres compris entre 6 ( n-r ) et 6 n, cette rgle
valant aussi pour n = I, si l'on crit
6:(n-I)<c=:;;:6n,
c dsignant le nombre de chiffres.
Quelle que soit la rgle adopte, il est vident que les probabilits
chaque nombr<?. individuel dcroissent rapidement lorsque le
nombre des chiffres augmente, puisque nous admettons que les
46
CH!IIPI1'liU! IV.
nombres ayant le mme nombre de chiffres ont des
ces nombres de mme nombre de chiffres deviennent
en lorsque le nombre des chiffres.
22. Cas des entiers inaccessibles. - Il rsulte de ce qui.
que lorsque le nombre des chiffres devient extrmement
ce qui est le cas des nombres les
individuelles de chaque nombre deviennent tellement faibles qu'elles
rentrent dans Ia catgorie des universellement ngli-
geables. H en est de mme ainsi pour l'ensemble des nombres inac-
avec les conventions que nous avons au para-
prcdent. On peut juger que c'est l tomber dans un excs
contraire celui qui annuler les probabilits pour tous
les nombres accessibles et serait peut-tre bon de chercher un
moyen terme entre ces deux extrmes.
Voici ce queT on peut proposer
de moiti les . probabilits proposes
dont la somme tait gale l'unit
cet ordre d'ides; diminuons
au paragraphe prcdent et
pour l'ensemble des entiers;
cette somme
d'attribuer la
deviendra donc gale ~ et
2
probabilit .I_ l'ensemble des
2
l'on pourra convenir
nombres inaccessibles,
sans qu'il y ait lieu de rpartir cette probabilit entre l'ensemble
de ces nombres que, par hypothse, nous ne distinguons pas les
uns autres. Bien entendu, ces nombres inaccessibles sont telle-
ment que l'on peut admettre que, si l'on pouvait rpartir
entre eux cette probabilit globale de ~ , la probabilit individuelle
de chacun serait plus petite que la individueHe
de tout nombre accessible.
Nous admettons, pour abrger, que nous ngligeons la probabilit
totale que les conventions du prcdent attribuaient
aux nombres inaccessibles; ceux qui verraient l une difficult
trouveront aisment le moyen de la tourner.
Nous devrons donc, avant toute procder un tirage au
sort entre deux ventualits de mme probabilit; nous
par ou face et convenir qu' pile correspond
un nombre accessible que nous dterminerons en procdant comme
nous l'avons indiqu au prcdent. Par face
JI.!HTROGNIT DU DNOM!lRABILE.
correspond un nombre inaccessible nous ne devons pas chercher
dterminer; nous devrons nous contenter de qu'il est inac-
cessible.
Bien la convention que nous venons est
arbitraire et l'on la - des nombres
2
inaccessibles par une probabilit plus ou
Si l'on cette deuxime alternative, et
o,ggg la probabilit globale des nombres
celle des nombres accessibles tant gale en tout o,ooi, on se
rapproche du de vue de ceux qui que toutes les
probabilits des divers entiers soient gales entre eUes et par suite
nulles. Mais il y a cependant une diffrence entre
les deux points de vue, en ce sens que le point de vue que nous
avons cart, rduisant zro la probabilit globale d'un nombre
quelconque de nombres accessibles, supprime toute possibilit
d'avoir jamais un de ces nombres, ce qui est absurde,
Au contraire, Sl nous rduisons
la probabilit des nombres
-,
iOO
dans certains problmes,
cela revient dire
que nous admettons que, dans ces les nombres inacces-
sibles jouent un rle particulirement important, mais les nombres
accessibles ne sont pas exclus .et auront ainsi, eux aussi, un certain
rle jou er.
23. avons, dans ce Chapitre, non pas rsolu, mais tudi
le problme du choix dans le Contrairement ce que
l'on aurait pu penser, ce que le problm.e
du choix dans le continu, en ce sens qu'il ne se prsente aucune
dfinition simple et naturelle, qui s'impose de prfrence toute
autre,
Nous avons donc indiqu,
solutions entre lesquelles on
non une mas plusieurs
choisir, moins .que l'on ne .,...,.."+''""
en. imaginer d'autres.
d'un point . de vue thorique, le
dnombrable est compliqu que le
est au contraire simple au point vue
du choix dans le
le continu, il
En effet, lorsque a choisi une solution dtermine, on se
trouve conduit effectuer un certain nombre de tirages au sort. On
CHAPITRE IV. - L'HITROGNIT DU DNOMBRABLE.
ne peut pas dire, d'une manire absolue, que ce nombre de tirages
au sort est fini, car on ne peut pas en indiquer de limite suprieure.
Mais on peut affirmer que ce nombre est gnralement petit,
-dire que la probabilit pour qu'il soit infrieur un entier donn A
tend trs rapidement vers l'unit lorsque A augmente indfiniment.
On ne rencontrerait l'infini que dans l'hypothse o l'on
une globale l'ensemble des nombres inaccessibles,
on voulait faire un choix effectif entre ces nombres; on retrouverait
des difficults analogues celles qu'il y a dfinir effectivement
un nombre :inaccessible du continu. Nous aHons voir d'ailleurs,
dans le prochain Chapitre, consacr aux divers systmes de num-
ration, que l'on peut, bien des points de vue, qualifier d'inacces-
sibles des nombres entiers qu'il est . possible de dfinir
avec prcision, c'est--dire d'crire effectivment sur quelques
lignes d'un tel que celui-ci.
CHAPITRE V.
LES DIVERS SYST.YIES DE NUMRATION.
24. La nmnration dchnale. - Avant d'tudier les divers
systmes de numration, c'est--dire les conventions diverses au
moyen desquelles on peut reprsenter, sous une forme
simple, so.it des nombres entiers, so:it des nombres fractionnaires
ou irrationnels, :il ne sera pas inutile d'tudier d'abord la num-
ration dcimale, qui nous est la plus familire.
Sous sa forme actuelle, cette numration parat avoir t invente
par les Arabes; mais on peut observer que la numration romaine,
que nous utilisons parfois pour les nombres infrieurs . 2 ooo est
aussi, en ralit, une numration dcimale, car le nombre IO et ses
puissances IOO et I ooo, y jouent un rle particulier.
Il est inutile derappeler combien la numration dcimale simplifie
l'criture des nombres usuels et leur calcul, par rapport au procd
primitif consisterait reprsenter un nombre entier en traant
autant de traits verticaux que ce nombre contient d'units. Ce pro-
cd s'avrerait rapidement inutilisable; tracer des centaines ou
milliers de traits verticaux exigerait beaucoup de place et la
comparaison de deux nombres ainsi crits serait longue et pnible
pour celui qui ne saurait pas no.mmer nombres autrement qu'en
donnant un nom ,diffrent chacun d'eux.
Mais je voudrais au contraire sur le fait que l'emploi de
la numration dcimale (numration crite ou numration parle),
s'il est extrmement prcieux pour les relativement petits
que nous utilisons ne fait que reculer la
ds qu'il s'agit de nombres assez grands; il s'avre alors aussi prati-
quement inutilisable que le procd primitif consistant tracer
des btons.
BOREL.
5o C!f!APITIRE V.
Ce fait est ds qu'il d'un
; si l'on considre comme humainement
btons, il sera tout aussi impossible c'est--dire
un nombre dcimal suprieur xo".
Mais nous alkms voir qu'il se des
se propose d'tudier et de dfinir mme les nombres dcimaux d'un
nombre relativement restreint chiffres, par exemple nombres
de roo chiffres.
Il est facile d'crire un nombre de roo soit en tirant au
sort les chiffres, soit en les choisissant au hasard, par une sorte de
tirage au sort mental. Un tel nombre occuperait peu prs deux
lignes d'un Ouvrage tel que celui-ci; on pourrait ainsi en crire
environ 20 sur chaque page et IO ooo, soit 10
4
dans un volume
de 5oo pages.
Le nombre total nombres dont le nombre de chiffres ne dpasse
pas I oo est ro
100
; SI un volume de 5oo pages en renferme w
4
, il
faudra ro
96
volumes pour. les contenir tous. Une bibliothque trs
importante, un grand btiment, peut comporter un million
de volumes; il faudra donc telles bibliothques pour loger
w
96
volumes.
Si l'on admet qu'il y a un milliard d'hommes adultes sur notre
plante et que chacun d'eux pourrait possder une telle grande
bibliothque, il faudrait plantes telles que pour
tous les nombres de 100 chiffres; un calcul simple montre qu'il n'est
pas possible de loger un aussi grand nombre de plantes dans notre
Univers, si l'on attribue celui-ci des dimensions atteignant des
milliards d'annes lumire.
Nous pouvons conclure qu'il est absolument impossible aux
hommes, l'espce humaine vivrait-elle encore des milli.ards d'annes,
de connatre tous les nombres de roo chiffres; on ne pourra crire
qu'une fraction extrmement faible de leur nombre total.
Comment procdera-t-on pour connatre des nombres de
100 chiffres ? La mthode des tirages au sort, que nous avons
fournit des nombres dont on ne connat aucune proprit.
pourra e s s a y ~ r de dcomposer un tel nombre en facteurs premiers
et cela sera relativement facile si tous ses sont
atteignent 5, 6 ou '7 on devra faire usage
LES DIVERS SYSTMES DE NUMRATION.
tables de nombres premiers jusqu' roooo ooo qui ont t. calcules
et 'au moyen de calculs assez longs et pnibles tre
simplifis par machines calculer appropries) on pourra obtenir
ces facteurs premiers; mais si le donn est ou
possde deux facteurs premiers au moins plus de 7 on
ne voit aucun moyen, dans l'tat actuel de nos de
savoir s'il est premir ou de connatre ses facteurs
A forte raison sera-t-il impossible de savoir si le nombre
de roo chiffres que l'on a crit est ou non la somme de trois cubes,
ou de le dcomposer en la somme de carrs ou, s'il est
en la somme de nombres premiers.
B serait il est vrai, par des calculs longs, mais excutables,
dfinir un nombre de roo. chiffres satisfaisant une condition
donne par exemple gal la somme de trois
ou de nombres donns, etc. Mais il
serait alm's gnralement impossible de connatre aucune proprit
ce nombre, outre celle qui servi le dfinir. Il parat
d'autre part, bien difficile, dans l'tat actuel de nos connaissances
de un nombre de roo chiffres qui soit certainement un nombre
premier.
En gnralisant une mthode connue par laquelle on dmontre
que la suite des nmnbres premiers est illimite, ii est de former
des nombres qui ne sont pas divisibles par un certain nombre de
nombres premiers; tel sera le cas pour le nombre
2.3. II. r3. rg.2g.3r. .61 .67.71 + 6.7.I7.23.4r.43.47.5I .53.5g,
n'est divisible par aucun des 2I nombres premiers qui figurent
dans l'un des deux produits, car ceux qui divisent le premier ne
pas diviser le second, et rciproquement. Le plus petit des
divisurs premiers de ce nombre est donc suprieur ou
On forl1lerait ainsi aisment des nombres de IOO chiffres dont le
premier serait gal ou suprieur un nombre
chiffres. La probabilit pour qu'un te] nombre ne
soit assez voisine de l'unit.
Nous avons pris pour exemple les nombres de roo chiffres de
manire couper court toutes les objections; mais nos lecteurs
se sont certainement rendu que l'on et doit regarder
comme inaccessibles les nombres dont le nombre de chiffres est bien
fiOUlS
humainement
CHAPITRE V.
atteint ou dpasse simplement r8 ou 20; il n'est pas
d'crire tous ces nombres et
la trs grande majorit d'entre eux nous resteront toujours inconnus;
si nous en crivons quelques-uns, ce qui nous en ~ u . u ~ ' " ' a " " ' u "
les au hasard, nous n'en connatrons aucune proprit.
Il est donc logique, partir de ce nombre de chiffres, d'attribuer
aux nombres inaccessibles une globale, comme nous
l'avons la fin du Chapitre prcdent.
Pour en terminer avec la numration dcimale, il reste dire
quelques mots de la numration parle, c'est--dire des mots par
lesquels on nonce un nombre d'un certain nombre de chiffres.
Dans la langue usuelle, cette numration ne dpasse gure le milliard,
les termes dpassant la puissance de IO n'tant 'gure usits.
Ces termes ont d'ailleurs des sens diffrents dans les diverses
langues europennes; en franais l'usage est considrer le mot
billion comme quivalent le trillion est ensuite gal .
mille billions, le quatrillon mille trillions et ainsi de suite. Les
dictionnaires franais ne mentionnent pas de termes dpassant le
quintiHion ou tout au plus le sextiUion : mais ces termes peuvent
tre drivs des nombres successifs : au de dcillion on pourra
(au lieu de onzillion) dire dcimillion, puis dcibillion, dcitrillion,
puis vingtiHion, trentillion, etc. D'aprs cette convention cinquan-
tisextillion quivaudrait ro
3
!
5
llt-
1
1. Dans d'autres pays, notamment
en Allemagne, le billion est un miH:ion de millions, le trillion un
million de millions, etc., de sorte que le cinquantisextillion quivaut
xo56><
6
. On voit que la numration parle, outre la base 10, utilise
comme bases secondaires les bases I ooo et. I ooo ooo.
Avec ces conventions, la numration parle permet d'aller trs
loin; mais ce trs loin est peu de chose par rapport l'infini et, pour
atteindre les nombres peuvent tre dfinis par des itrations
successiVes 1), il faudrait faire de. nouveUes conventions,
afin d'viter des rptitions dont le nombre serait si grand qu'on
ne pourrait l'imaginer. On se rendrait com.pte ainsi, par l'impossi-
bilit pratique de les :qommer, quel point certains nombres sont
inaccessibles.
25. Les nu:m.rations si:l:nples. - On peut donner le nom de
numrations simples aux numrations analogues la numration
LES DIVEIRS SYSTMES DE
n'en que par la
tre un nombre entier quelconque
joue le mme rle q u ~ ro dans
n faudra un nombre chiffres la base;
53
la base est infrieure ro, on utilise naturellement les premiers
chiffres de la numration dcimale; si la base w, il faudra
des chiffres nouveaux, dsigner par exemple par a et b
les chiffres gaux IO ou II dans le systme duodcimaL Si la
base est un nombre lev, le sera de dsigJt1er
chiffre nouveau par le nombre dcimal qui lui est gal, que l'on
pourra entre parenthses; on a ainsi une" combinaison deux
systmes. Cette manire procder d'ailleurs dans le cas
o la base une puissance de IO; l'criture est alors exactement
la mme que dans le systme dcimal. Nous consacrerons le para-
graphe suivant l'tude des numrations que l'on peut appeler
alphabtiques et dans lesquelles les chiffres utiliss ne sont
autres que les lettres d'un certfiin alphabet. Bornons"nous, pour
l'instant aux systmes simples dans lesquels la hase est un nombre
relativement petit.
Le plus simple de ces systmes est le systme binaire qui n'utilise
que les chiffres o et L Signalons, en passant, que ce systme est
utilis, concuremment avec le systme dcimal pour les cotations
boursires dans les pays anglo-saxons; un titre sera cot, par
exemple 25 doUars, r8 centimes de dollar e t ~ , ou
3
6
En Angleterre,
q I .
on utilise un systme plus complexe, puisque la livre vaut 20 shillings
et chaque shilling vaut 12 pence.
Pour en revenir au binaire, on doit naturellement consi-
drer que les deux alternatives o et I sont galement probables,
la probabilit de chacune d'eUes tant par suite ; Une fraction
comprise entre o et r se prsente ainsi comme pouvant reprsenter
une infinit dnombrable de de pile ou face ou d'un
analogue, tel que le rouge ou le noir la roulettt (si l'on convient de
.ngliger le c'est"-dire de considrer comme nuls les coups
o il sort). Depuis l'origine de l'humanit, d'innombrables hommes
ont pile ou face ou la roulette, ou bien d'autres jeux pour
lesquels il y a un gagnant et un perdant. Si l'on admet que l'on
CHAPITRE V.
pu fixer chacune des le :rsultat qui correspond o
et celui qui I et que l'on ait pu classer toutes les
l'ordre chronologique de premier coup, on pourra
l'ensemble de tous les :rsultats crit
systme binaire, nombr sera entre o et x, si
l'oi1 crit tout d'abord un o suivi d'une Bien entendu, le
nombre des parties tant fini, ce nombre sera limit, mais il
ajoutera chaque jour de nouveaux chiffres si les hommes continuent
On conclure de l qu'un seul nombre compris entre o
et I, si on le suppose crit dans le binaire, reprsenter
l'ensemble de t o u t e ~ : ) les parties qui ont t et seront joues
aussi longtemps qu'il y aura des hommes sur la plante.
Ce pourra tre considr comme choisi au hasard, puisque
ses chiffres successifs se trouvent tre tirs au au cours precise-
ment de toutes les parties que nous avons considres. On doit
exclure comme impossible le cas o,' . partir d'un cel'tain rang,
ce nombre au hasard ne comporterait que des zro
ou que chiffres un, c'est--dire se :rduirait au quotient d'un
entier par une puissance 2. Ceci revient dire n'est pas
si une partie de ou face, ou de rouge et noir s'engage
entre deux joueurs, que le mme joueur gagne toujours. Cette
remarque permet d'claircir notamment la question du paradoxe de
Saint-Ptersbourg et de la martingale de Saint-Ptersbourg. (
1
).
Pour dfinir un nombre choisi au hasard entre o et I, on peut
utiliser l'une quelconque des numrations simples, comme nous
l'avons fait pour les numrations dcimales. On peut se demander
si ces manires de sont quivalentes. Autrement dit,
imaginons que nous procdons un au sort entre chiffres o, I,
2, ... , 9 pour dfinir un nombre dcimal entre o et I;
bien entendu, nous ne pourrons pas effectuer rellement une :infinit
de tirages, mais nous pouvons imaginer que nous en effectuons. un
nombre trs un nombre fix d'avance (ce qui
est la dfinition de l'infini). Nous pouvons ensuite, par des calculs
assez mais excutables si le nombre de chiffres
n'est pas grand, transcrire dans le systme de base 9 le nombre
nous avons ainsi dfini dans le de base IO; nous obtenons
(
1
) Voir mes lments de la thorie des
LES DIVERS SYSTMES DE 55
dans le systme de base g, un nombre dans les chiffres
qui suivent la sont choisis les 9 chiffres o, I, 2, .. , 8.
On poser la question de savoir s'il est possble, en partant des
donnes qui de calculer la pour que le chiffre
a un rang dtermin aprs la le rang,
soit un chiffre par exemple le est trs
simple : cette probabilit est un c'est--dire est la mme
pour les g
en effet, nous considrons tous les nombres crits le
systme de base g et si nous notre attention sur les pre-
miers chiffres qui suivent la ceux ces . nombres pour
le 34e sera un chiffre 7 dfiniront intervalles dont
chacun aura pour longueur de sorte que la longueur totale
de ees intervalles sera n neuvime.
lorsque no11s tirons au sort les chiffres dans le systme
la probabilit pour qu'un tel tirage nous conduise un point ""m'""'
l'intrieur d'un nombre fini d'intervalles est proportionnelle
la longueur totale de ces intervalles; il y a donc une probabilit
gale un neuvime pour que le point obtenu se trouve dans l'un
des intervalles pour lesquels son 34e chiffre est un chiffre 7
On peut conclure de ce qu prcde que les nombres normaux
par rappm;t une base telle que 10 sont gnralement normaux
toute autre base. Nous pourrions mme dire qu'ils
. si ces nombres normaux taient effectivement
des tirages au sort indfinis excuts parmi les obtenus par
chiffres. procder autrement : partir d'un nombre oc
base g et qui ne serait pas car il
n'utiliserait pas l'un des chiffres, par exemple chiffre 5, les autres
chiffres tant choisis au hasard. Il parat extrmement
bien que la dmonstration en apparaisse comme 'assez complique
que ce nombre , crit dans le systme de hase w, aurait les appa-
rences d'un nombre normal, en ce sens que les frquences des
Io chiffres, et aussi d'un groupement quelconque de chiffres cons-
cutifs seraient elles, c'est--dire gales

pour un
chiffre et w-n pour un groupement de n chiffres conscutifs.
Nous reviendrons sur ce sujet lorsque nous tudierons la numration
'"''""'"' qui est la simple numrations complexes.
56 CHAPITRE V.
26. numrations - Une classe de num-
rations . simples particulirement intressante est celle des num-
rations alphabtiques, dont on peut des dfinitions assez
diverses; nous nous contenterons d'exposer la simple.
Considrons les 26 lettres de l'alphabet franais; un livre imprim
en franais ou en autres langues (anglais, italien, espagnol,
sudois, etc.) renferme un .grand nombre de fois ces lettres, parfois
d'accents ou d'autres signes que nous ngligerons. n ren-
ferme en outre des signes de ponctuation, apostrophes, parenthses
tirets, que nous ngligeons galement. Quant aux lettres majus-
cules ou italiques, nous les considrerons comme quivalentes aux
lettres minuscules ordinaires. Enfin, s'il y a dans le texte des chiffres
arabes, ou des lettres d'alphabets trangers (grec, russe, etc.), nous
ls ngligerons, c'est--dire les considrerons comme inexistantes.
Les chiffres romains pouuont tre comme des lettres. Sous
rserve de quelques difficults sur lesquelles nous reviendrons tout
l'heure, une page d'un livre franais (ou anglais, etc.) se prsente
ainsi comme la suite d'un certain nombre des 26 lettres a, b, c, ... , x,
y, z. On peut donc considrer cette page comme un nombre crit
dans le systme de numration de base 26, a correspondant au
chiffre o, b au chiffre r, z au chiffre 25.
Un volume d'un certain nombre de pourra de mme tre
regard comme un seul nombre; il sera cependant ncessaire de
prciser un certain nombre de conventions, c'est--dire de
si l'on tient compte du titre, du faux-titre et des indications diverses
qui figurent souvent dans les pages de titres ou la fin du volume.
pourra convenir de ngliger les titres courants qui figurent
gnralement en haut des pages. D'autre s'il y a des notes
au bas des pages, on pourra convenir ngliger les appels de notes
(que ceux-ci soient figurs par chiffres ou par lettres) et
d'insrer chaque note dans le texte au lieu o elle est appele.
tablir les conventions qui prcdent est chose et facile
si l'on ne considre qu'un seul volume; il en' serait autrement si
l'on voulait, pour dfinir un nombre trs grand, classer les uns
les autres tm1s les volumes d'une grande bibliothque.
n en effet, se pour certains d'entre eux des
difficults particulires, l e s q u e l l e ~ il faudrait bien indiquer
une solution ou une autre, faute de quoi la manquerait
l.ES DIVIEilS SYSTMES DE NUMRA 'riON.
de precisiOn. Si cependant on nglige ces ~ " " " ' ' u et aussi la diffi-
cult :relle de classer dans un ordre millions de volumes
d'une grande bibliothque, on voit que, s'il y a, en moyenne, un
million de lettres par volume pages de 2 ooo lettres), on obtient
ainsi un nombre dans le systme alphabtique, " ' ' r n ' " ' " " " ~ "
milliards de caractres, nombre dont on dire qu'il a t
par le travail patient de tous ceux qui ont crit ces volumes et les
ont composs pour l'impression.
Si nous nous bornons un seul nous savons que l'dition
que nous avons entre les mains a gnralement t imprime de
nombreux exemplaires, dont plusieurs subsistent, si la publication
n'est pas trop ancienne. Ces volumes sont donc en gnral identiques,
les fautes d'impression gnralement invitables tant les mmes
pour chacun d'eux. On devra, bien entendu, s'abstenir de corriger
ces fautes car, pour certaines d'entre elles, on risquerait de soulever
des difficults qu'il faudi'ait trancher. Les volumes de la mme
dition dfinissent ainsi sans ambigut un mme nombre pouvant
comporter environ un million de chiffres (dansle systme de base 26).
Est-il besoin de dire qu'un tel nombre ne prsente aucun intrt
pour le mathmaticien, qui sera toujours incapable d'en dmontrer
la moindre proprit ? Mais personne n'aurait jamais song crire
dans le systme dcimal un nombre aussi grand et nous aurions
beaucoup de peine concevoir combien est grande la varit de
nombres aussi levs.
L'exemple du volume crit en franais parle bien
notre imagination, car nous savons queUe complexit et quelle
richesse il y a dans une seule page d'un livre. La varit possible
nous apparat comme d'une richesse inoue, si nous songeons que,
dans les millions de volumes d'une bibliothque, comportant des
miHiards de lignes, il n'y a pas deux lignes identiques, sauf dans le
cas o l'on fait une citation.
Pour celui connatrait toutes les proprits des nombres,
il est probable que deux nombres de 5o chiffres apparatraient
comme- ayant chacun une personnalit propre, tout comme deux
lignes diffrentes en langue franaise.
Les nombres qui jouent en analyse un rle important, tels que e
ou rr, dont les chiffres dcimaux nous apparaissent comme une
masse confuse d'o ne se dgage aucune loi, devraient apparatre,
58
celui qm saurait
et aussi
en est hien ainsi avec
mais
la loi
du nombre 1r.
CHAPITRE V.
con1me aussx
clbre sonnet; nous verrons
de numration
inca pahles de
la numration des
27. nm:nrations hases. - On sait, que, pour
certains usages particuliers, on utilise traditionnellement, en mme
que la hase d'autres hases qui sont souvent des
de I 2. Par exemple, si l'on value temps en
heures, secondes et de les bases succes-
sives utilises sont les suivantes :
... , Jo, IO, Io, 24, 5o, 6o, 10, 10,
deux sries de bases IO inimites dans les deux sens se trouvant
aux heures du jour, aux
6o secondes de la minute. On pourra
par 3 bases qui ''""''"'"n
6o minutes de l'heure, aux
ainsi crire, par exemple
2o4o I3 heures 52 minutes 34 sec,7362
sous la forme
(52)no(34)no
les indices indiquant les diverses bases de numration utilises et
les nombres entre parenthses figurant, dans le systme dcimal
un chiffre unique par :rapport la hase ou n en est, de
en pour la monnaie et les units usuelles poids et
de longueurs. L'utilisation de la base I 2 a de faciliter les
divisions par 3; mais cet est loin de compenser les compli-
qui rsultent de l'abandon systme C'est seule-
n1ent pour la division que la base 24 reste univel'sellement
admise pour de qui
saient diviser le
ce qm
angles, la
go
du quart de cercle en 100 au
a eu un certain succs; mais il faut reconnatre que la
DIVERS SYSTMES DE NUMIIRATION. 5g
en
division du jour en
n ne semble pas
de numration utilisant plusieurs bases diffrentes une
:infinit de fois. Un tel ne pourrait tre pratiquement
d'une manire que si l'alternance des bases est et,
en ce cas, on peut considrer le systme comme quivalent au
systme dont la base serait le produit des bases envisages.
Par exemple un systme admettant les bases successives suivantes :
.. _., 10
7
2, 12, 10, 2, 12, 10, 2
7
12
7
quivaut un systme de 24o, condition toutefois que l'on
si la doit tre place entre IO et 2 ou entre 2 et I 2
ou entre I 2 et IO. Si nous nous plaons dans ce dernier cas, nous
aurons, par exemple
II9 = 4r (u),
r43 = 5r (Ir),
de sorte que l'on pourrait crire
( I (base 24o ),
au lieu d'crire
4r (II), 5r (n) (bases ro, 2, I2 ).
Nous allons tudier deux exemples particuliers de numrations
une infinit de ; la dfinition la plus gnrale de telles num-
rations serait aussi complique que la dfinition du nombre incom-
mensurable le gnral, ce qui revient dire que ces numrations
sont gnralement inaccessibles.
28. La nm:nration factorielle. - On a donne le nom de num-
ration factorielle la numration, utilise seulement por
les nombres compris entre o et E, d ~ n s laquelle les bases
sont les nombres entiers partir de 2, dans leur mdre naturel.
Un nombre crit dans la numration factorielle se prsente
sous la forme
6o CHAPI'fRE V,
les entiers a
1
, a
2
, , , an, , . , tant tout au
c'estc-dire que l'on a
. . ~ . . . '
U n ~
Si l'on a d'un certain rang,
an== n,
on observera que l'on a
leur
(n+I) n+k r
(n+r)! + ( +r)! + ... + (n+k+r)! + ... =li!'
n suffit, en effet, d'observer que l'on a
n n+I
(n+r)!
n r
~ - - ~ ~ = '
(n+r)! (n+r)!
de sorte que l'on obtient un nombre positif aussi petit que l'on veut
en retranchant successivement du second membre les termes du
premier membre,
On. voit ainsi que si l'on dsigne pour abrger le nombre x par
on aura, s:i an-I n'est pas gal n- I :
+2)(n+3) ... =o, a;a2, ... ,(a11 - 1 +r).
On obtient donc un nombre rationnel dans le cas o l'on a, partir
d'un certain rang, an = n. Si, au contraire, pour une infinit de
valeurs de n, an est infrieur n, le nombre est irrationnel.
On sait que, dans le systme de numration de base w,
ceux qui sont gaux une fraction limite, c'est--dire
au quotient d'un entier par une puissance de w, tre
reprsents, soit par un nombre limit de soit par une
infinit de chiffres, dont un nombre limit seulement diffre du
g. On a, en effet :
LES DIVERS SYSTMES DE NUMRATION.
Les nombres rationnels non dcimaux sont reprsents
unique par une fraction dcimaJe priodique
n en est de mme pour tous les
dont la base diffre de w.
ou mixte.
de numration
Dans le cas de la numration factorielle, la rgle est la mme pour
tous les nombres rationnels; d'eux peut tre
de manires diffrentes, soit par un dveloppement limit,
soit par un dveloppement illimit dans lequel un nombre limit
seulement des an diffre de n. Cela tient ce que le produit n!
des n premires bases devient, lorsque n est assez grand, divisible
par tout nombre entier donn d'avance.
La numration factorielle a donc cet qu'elle partage
avec les dveloppements u:nita:ires normaux et les fractions continues,
que nous tudierons dans les paragraphes suivants, de distinguer
d'une manire simple les nombres rationnels et les nombres irra-
tion'nels, les premiers admettant deux reprsentations, l'une finie
et l'autre infinie d'un caractre trs particulier, tandis que les nombres
irrationnels n'admetent qu'une seule reprsentation, qu:i est infinie.
Au contraire, dans les numrations simples telles que la num-
ration dcimale; certains nombres rationnels seulement admettent
deux reprsentations, l'une finie et l'autre infinie, tandis que
autres nombres rationnels admettent une reprsentation unique
infinie priodique;
Il est naturel de se demaqder quelle est la nature des nombres.
dont la reprsentation factorielle est priodique. Il est ais de voir
que ce sont des combinaisons linaires de nombres de la forme e
00
,
&) tant une racine n
1
eme de l'unit; ces nombres ne paraissent pas
particulirement intressants. On sait par contre que le nombre e
a un dveloppement particulirement simple en numration fac-
torielle, puisque tous les an sont gaux l'unit; d'ailleurs
sans doute cette circonstance qui a suggr l'ide de la numration
factorielle, de mme qu'elle a suggr l'ide des dveloppements
unitaires normaux, dont nous parlerons prochain paragraphe.
Dans la nmnration factorielle, le nombre an, nime chiffre aprs
la virgule peut avoir les valeurs o, I, 2, ... , n, c'estc-dire n + I, valeurs
diffrentes et l'on voit immdiatement que ces valeurs sont
ment probables, si la probabilit est dfinie comme nous l'avons
fait prcdemment.
CHAPITRE V.
La probabilit pour que an soit un
donc gale zro si n < k et

si n:::::, k. La srie
n +I
I . I I
k+I + k.+-2 + ... + k+h + ...
k est
tant divergente, il y a une probabilit
entier donn k figure une infinit de fois
l'unit pour que tout
parmi les an. On
observer que, si k et h sont de on a sensiblement
I I
k+I + k+2 + ... +
+
Cette somme sera donc gale l'unit si l'on a
k+h = ek.
Il y aura donc, en moyenne, un des an gal . un entier donn
infrieur k si n est compris entre k et dans un
intervalle gal ( e I) k; parmi les nombres entiers de cet inter-
valle, on doit en avoir en moyenne un gal chacun des k entiers
infrieurs k et par suite ( e 2) k gaux l'un des (e- I) k entiers
compris entre k et ek.
On peut conclure de l que, si l'on considre deux entiers
quelconques k et h, le second pouvant tre de beaucoup suprieur
au premier, le de leurs parmi les n premiers an
tend vers l'unit lorsque n augmente indfiniment. On pourrait
donc penser que le dveloppement factoriel fournit un
que nous avons vainement cherch pour attribuer des
gales tous les mais il faut observer qu'il ne s'agit que de
probabilits asymptotiques, c'est--dire valables seulement pour
des valeurs d'autant plus grandes que les entiers considrs sont
eux.,mmes plus de sorte que les entiers qui ne sont pas
inaccessibles figureront seuls parmi les a qui ne sont pas eux-mmes
inaccessibles. la frquence relative tout entier k tendra
vers zro lorsque l'on de plus en lointains,
mais tendra vers de plus en plus ; il y aura en moyenne
un an gal .un nombre donn k lorsque n tant suprieur k est
compris entre a et ae, de sorte aura b nombres en moyenne
k pour n compris entre ct et aei'.
LES DIVERS SYSTMES DE NUMRATION. 63
Si nous posons
aeb::= c,
nous aurons
b =loge- a.
Si l'on a gal k, n soit ou
nous aurons pour le nombre total k, lorsque n est
infrieur c, la valeur moyenne
b=logc-
La densit moyenne des nombres k, sera, par dfinition le
de b par c; cette densit d est donc
lo()"c -logk
d= " .
c
Lorsque le nombre c devient trs grand par rapport k, cette valeur
diffre trs peu du nombre d'indpendant de k donn la formule
d'=
c
de sorte que toutes les densits tendent vers zro lorsque c c"''"u''"u
indfiniment et tendent ainsi devenir ; mais, si. l'on donne
la valeur de c, on devra utiliser la formule qui donne d et non cene
donne d' ds que k ne sera pas par rapport c et
l' oi1 aura la densit zro lorsque k dpasse c.
On a la formule de Stirling
n tendant vers zro n On en
obtenue par les n premiers termes
mnt factoriel OU, Sl l'On rmaUo
chiffres qui suivent le de de
( e_r
tandis qu'elle est l'ordre de de
CHAPliTIIE If.
dans le systme dcimal ou le systme de base a. L'approximation
est donc mei.Ueure dans le systme factoriel ds que n dpasse ea,
c'est--dire dpasse 27 lorsqu'il systme dcimaL
donc seulement l'on dsire obtenir une prcision
que la numration factorielle ,devient prfrable une numration
simple.
29. Les dveloppements unitaires normaux. - Nous avons
vu que, dans la numration factorielle, le nombre e est reprsent.
par une infinit de nombres successifs tous gaux l'unit. U est
naturel de se demander si l'on peut substituer la suite croissante r,
2, ... , n, . . . qui dfinit la numration factorielle une autre suite
croissante ou tout au moins non dcroissante de nombres entiers
telle qu'un nombre irratiomiel a donn d'avance entre o et I soit
reprsent par un dveloppement unitaire, c'est--dire dont tous
les chiffres sont gaux l'unit. n est remarquable qu'au moyen
de conventions simples et prcises, il soit possible de dfinir d'une
manire univoque un tel dveloppement, que nous appellerons
normal.
tant donn le nombre compris entJ:'e o et r, il existe gnrale-
ment plusieurs bases a
1
, telles que si l'on crit le nombre d a n ~ le
systme de base al," le premier chiffre qui suit la virgule est le chiffre I.
La petite de ces bases a
1
est donne par la doubJe ingalit
(I)
On remarquera d'ailleurs que si est irrationnel, l'ingalit ne
se transformer en galit. Si l'on pose
on aura, d'aprs (1')
(3)
0 < 1'! < 0(.
Nous procderons maintenant sur rv comme nous l'avons fait sur ,
c'est--dire que nous chercherons le nombre entier a
2
tel que
l'on ait
LES DIVERS SYSTMES DE NUMRATION. 65
l'ingalit on aura
(5) a 2 ~ a h
( 6) a2 r,- I = r2 <
On sur r
2
comtne nous l'avons fait sur r
1
du moment que tous les nombres r
1
,
r
2
, sont irrationnels comme IX. On obtiendra ainsi une suite de
nombres dcroissants
a > r 1 > r 2 > r:1 > ... > r, > ...
auxquels des entiers croissants ou tout au moms
non dcroissants
Le nombre IX sera alors reprsent par le
normal :
I l I
0<=-+--+---+ ... + + ....
a1 a1a2 a 1a2a:J a1a2 .. . a 71
unitaire
On observera que si, partir d'un certain rang, les an sont tous
gaux entre eux, on a
(7)
I I I I
- +-;; +--;; +. 0 .= ---
a-n a;z a ; ~ an-I
Nous avons suppos que les a, taient gaux entre eux partir
du rang n, ce qui revient dire que a,_1 est infrieur an et donc
au plus gal a,- I; nous avons, d'autre part
de sorte que la valeur de oc est gale au fini
(8)
dans lequel an- I est ou gal a,_1 , Le nombre est
donc rationnel; en ce cas Ja seconde des ingalits ( I) se transforme
en galit un certain stade des oprations. Le nombre rationnel
comme dans la numration factorielle, tre reprsent par
deux dveloppements, l'un fini, l'autre infini, tandis que tout nombre
. BOREL. 5
66 CHAPI'FRE V.
01: admet un unitaire normal
condition que nous avons de l)OlH' a
1
la
des bases pour le premier chiffre est l'unit
de mme.
donne une suite illimite
qui ne sont pas tous
par suite sont tels que an
avec n, si l'on pose
(g)
I I
a=-+--+---+ ... + + ...
a1 at a?. a1a2a:_'> a1a2 ... ah
la suite
dfinit un nombre 01: dont le dveloppement unitaire
(II)
en effet, (g) et de ( w), la double
(2) et ; on a, en effet,
1 I I
r 1 = -1--- + --- +.
a2 a2a3
et, d'a prs les ingalits. ( I o), chaque terme de la srie ( 1 I) est infrieur
ou au plus gal au terme de mme rang de la srie Il ne pourrait
y avoir toujours entre les termes correspondants que si
toutes les ingalits ( ro) se transformaient en galits, cas que nous
avons exclu en adnwttant que a11 augmente indfiniment avec n.
On voit que le dveloppement unitaire normal a une dfinition
, en quelque sorte rciproque de la numration factorielle; dans
les facteurs des dnominateurs sont donns;
ce sont les nombres entiers dans leur ordre naturel, mais chaque
numrateur peut prendre n valeurs si son rang est n- I.
Au . dans le dveloppement unitaire normal, tous les
numrateurs tant gaux l'unit, c'est au choix des facteurs
au dnominateur que 1' on peut obtenir tous les
nombres 01:. Il est intressant de lorsque l'on connat
les n-r premiers facteurs a
2
, , an_
1
, quelle est la i
bilit pour que le facteur suivant a", que l'on sait devoir
au moins Ctn-v prenne une valeur entil'e donne.
LES DIVERS SYSTMES DE NUMRATION.
l'on donne a
1
, a
2
, , an. . . on a
I I I
... + +rn,
a1 a1a2 ara2 ... an-1
le reste rn satisfaisant
(l)
Si l'on a (
1
)
(2)
la valeur de an est la petite valeur que an
est si l'on pose k = an_
1
+ h, h pourra varier de zro l'infini
et la probabilit pour que h une valeur entire donne sera
quotient des deux intervalles (2) et (1) pour rn, c'est--dire, en
mant le facteur commun qui est l'inverse du a
1
, a
2
, . ,

au de
an-t+h-I an-t+ h
par
ce en
On vrifie aisment que l'on a
nous avons
on en conclut
Po+ p 1 + P2 + ... + p 1t + ... = 1,
an = an-t+ h,
ctn-1 = 1 + t
a, r + t + h
1.1.::::::::::: an-1 == x-+ t
Nous allons calculer la valeur moyenne
moyenne M est, par dfinition gale au
p.; cette valeur
de chacune des
(
1
) Le nombre ex tant irrationnel, ces ingalits ne peuvent pas se trans-
former en galits.
6il C.HAI'l'fRE V.
valeurs
t loo I + t +
(t+h)(t+h+I)
0
I+t
h=O
On a facilement
i'd = _t_
t+ l
t + ~ t
--+--
t+I t+2
+3 t J t+h+I
t +
2
+.
0
o + t + h og t + h + 0 0 0 0
I
t+h-
les termes non crits tant On en conclut
1 = --- + ---0 + .. o + . +o.. = I
u [I I o I J
( t + 1 )2 ( t + 2 )" ( t + h )
2
car, notre hypothse que t est assez grand, on a sensiblement
dh
,---c;-:--c = -
+ h)
2
t
La moyenne arithmtique M des valeurs de log l"" tant I, la
moyenne gomtrique des valeurs de p. est gale e. Lorsque
l'on donne an-v la valeur moyenne gomtrique de an est donc ean_
1
,
de sorte que, n est suffisamment grand, la moyenne gom-
trique des valeurs de an crot proportionneHement e".
Bien entendu, il est ais de dfinir des nombres ex; pour lesquels an
crot, soit plus rapidement que e", soit au contraire beau-
coup moins rapidement. On peut en effet construire a des
nombres ex; en prenant, par exemple, pour an le petit entier
satisfaisant l'ingalit
ou, au contraire, le plus grand entier satisfaisant
0 an< log logn
en convenant cependant que an sera pris au moins
ce dernier cas, on constatera que des valeurs
en plus nombreuses des an seront
LES DIVERS SYSTIMIES DIE NUMRATION.
crotra
tionneL
avec n, de sorte que le nombre rx est bien
n y a intrt, comparer, au point. de
d'un nombre rx par des nombres
ments unitaires normaux avec les
continues dont allons parler; mais nous n'insisterons pas sur
ce est en dehors du sujet de ce livre.
30. Les fractions continues. - des fractions continues
est trs lointaine, car on peut la trouver dans les lments de l'Arith-
mtique, o l'on comment on peut calculer le plus grand
commun diviseur de deux nombres donns, en divisant le plus
grand par le puis elui-ci par le reste de la
division, puis ce premier reste par le reste de la seconde division et
ainsi de suite jusqu' ce que l'on obtienne un reste nul; le dernier
diviseur, qu:i d'aiHeurs. tre gal l'unit est le p. g. c. d.
cherch.
Si l'on effectue la mme opration sur deux nombres le
quotient est irrationnel, en arrtant toutefois chaque division ds
que l'on a obtenu le chiffre des units de la valeur entire du quotient,
la srie des oprations peut se prolonger indfiniment et conduit
ainsi une fraction continue les quotients des divisions succes-
sives sont dits les quotients Comme nous l'avons dit,
on commence par diviser le plus grand des nombres donns par
le plus at:; la fraction continue reprsente le quotient de 0!:

On a en effet
on en conclut
et ensuite
r,
a,+-
- a
sorte que l'on crire
CHAI'ITI V.
I

re
-j--o
- r,
En continuant indfiniment, on obtient la fraction continue que
r on parfois par l'criture abrge
(2)
les an tant tous
On a1ns1
comme un
a

C(
= ( a 1 , a:J, ... , a 70 )
des entiers positifs.
considrer l'algorithme des fractions continues
de numration qui permet d'crire
tout
bien
Si
entendu, prendre
le nombre a est
entre o et I sous la forme (2); on pourra,
= x, rx. tant alors entre o et r.
rationnel, la fraction continue est limite
on peut observer que, SI an est suprieur un, on a
a?., ... ,
tandis que sx an = I, on a
de sorte que tout nombre rationnel peut tre reprsent de deux
manires par une fraction continue limite, tandis que la repr-
sentation d'un nombre irrationnel rx en fraction continue illimite
est unique.
On appelle rduites d'une fraction continue la fraction rationnelle
irrductible que l'on obtient en rduisant la suite ( I) ses n premiers
termes; on pose donc
(3)
et l'on dmontre aisment les formules
( 4.)
{
Pn+li= anPn +
= Cln + Qn-t;
(5)
Pn-1 Qn- Pn =(-
LES DIVERS SYSTMES DE NUMRATION.
de sorte que les formules (4) dfinissent bien ls rduites comme
des fractions Ces rduites sont
et par excs de la fraction continue. On a
( 5')
Il est facile de calculer la Pli pour que le
a
1
un nombre donn Ir.; on a
(6)
Pk= k(k+I)
Mais le mme devient plus difficile ds que !'on
considre a
2
et, plus forte raison an. Les probabilits poul' que an
ait une valeur entire donne k dpendent, en effet, non seulement
de k des quotients :incomplets av a
2
, , a,_
1
, ou, plus
sment de la valeur des deux rduites, des
quatre nombres Pn_
2
, Qn_
2
, Qn_
1
. On peut dmontrer
que, quelles que soient ces valeurs, la
k est
(;)
a
a tant un nombre compris entre I et 2 (1), mais dpend des
quatre nombres prcits. On peut aussi se proposer de calculer la
valeu:r globale moyenne de la probabilit pour l'ensemble des valeurs
possibles de a
15
a
2
, , an_
1
; chacune de ces valeurs figurant
sa propre probabilit. La p1;obabilit . ]Jk est videmment
encore par la formule (7) la valeur de la constante a tant
comprise entre les diverses valeurs qu'elle peut prendre et tant
par suite comprise entre I et 2.
On conclut aisment l que la q1, pour que l'un des
quotients incomplets an soit suprieur k, a pour valeur
ici un peu les rsultats
aucune influence sur les consquences que nous tirerons. Pour
sion voir mes lments de la thorie des ensembles, Note L
CHAPITRE V.
La srie des qk tant on peut en conclure que si l'on
considre comme vnement favorable le cas o le quotient
incomplet an est n, ce cas favorable se
gnral, une c'est--dire y a une
nulle pour qu'il ne qu'un nombre fini de fois.
Nous n'insisterons pas sur les rsultats intressants que l'on
peut dduire du rsultat prcdent, renvoyant au livre qui vient
d'tre cit.
Nous avons vu que la thorie des unitaires fait
correspondre tout nombre incommensurable compris entre o
et r une suite illimite d'entiers non dcroissants; la thorie des
fractions continues fait correspondre Ill: une suite illimite d'entiers
quelconques; on pourrait croire que cette deuxime suite est plus
gnrale que la premire; il est a:is de les ramener l'une
l'autre; si an est le terme gnral de la suite des entiers non dcrois-
il suffit de poser
et la suite des bn est une suite d'entiers qui tre absolu-
ment quelconques; on pourra rciproquement
la valeur de a
1
tant choisie arbitrairement suprieure ou gale 2.
H revient donc exactement au mme, au point de vue de la
ralit, de donner une suite d'entiers non dcroissants ou de donner
une suite d'entiers arbitraires. Il y aura cependant gnralement,
dans les divercses manires que l'on peut adopter pour dfinir les
suites de ces dpux des diffrences entre les probabilits
'pour que le nombre occupant un certain rang ait une valeur donne.
31. Les alternes. - Nous voudrions en termtnant
un mot des systmes de numration fort gnraux qui sont suggrs
par la formule bien connue
~ I I I I
-=1--+---+--., ..
~ 3 5 7 9
Le second me1nbre de cette formule est une sene alterne, dont
termes sont alternativement positifs et ngatifs, srie qui n'est
LES DIVERS SYSTMES DE NUMIRA'f!ON.
pas car la srie des valeurs absolues de
ses termes est divergente.
Il est clair que, si l'on admet que les + et
succder dans un ordre sans avmr
une srie dont les termes sont en aux
termes de la srie ( I) peut a voir une valeur
si on le dsire entre o et 1. Si l'on veut, par que la somme
de cette srie soit on le premier terme 1, des tern1es
soustractifs que l'on ait
I I
r-
3
-
5
<o,5.
n suffira d'un terme pour obtenir
I I I

3 5 7 '
et d'un seul terme pour avmr
I I 1 I
l- - - - + - - -- < 0 "
3 5 7 9 '
On aura de mme
1 I I I I
I - ,_ - + - - - + - "> 0 'i
3 c) 7 9 ][] /
1 II 1 III
I - o- - - + - - - + - - -o- -- -:c < 0 5
3 5 7 9 II 1)
1
et l'on pourra continuer ainsi indfinim.ent l'approximation devenant
meilleure mesure que le nombre des termes augmente, puisque ces
tenues tendent vers
n est clair que l'on aurait pu prendre pour de dpart la
srie
1 I I I I
log2 = I- ;:- +"--;; + z--;: +.
2 ' J 'l' CJ "
et toute autre srie satisfaisant la double condition que la srie
des valeurs absolues des termes et que ces termes tendent
vers zro.
Lorsque l'on a la srie base, tout nombre IX entre o
et I n'tant pas essentielle) se trouve dfini par
la suite inimite des signes + et I qui se succdent suivant un
74
CHAPITRE V. - LES DIVERS SYSTMES DE NUMRATION.
ordre Si cet ordre est vraiment trs irr-
calculer un nombre de signes. Si, au
contraire, l'ordre
on pourra souvent
suit une loi sin;.ple et est
la srie; on a, par
II III I 7t I
I+ '----- +-- +---- -1-- = +-
2 3 l 5 G 7 8 4. 2
qu'un nombre peut tre dve-
o a
1
est un entier I et a
2
, a
3
des entiers crms-
sants
ti ons
an1s1 que par les condi-
->a,
a,
I I
---<a,
a 1 a2
1 I 1
---+->a,
at a 2 a:1
On constatera que ct
2
est au moins gal 2 et que an+l est sup-
neur au de an, sorte que les ct croissent trs
assurant une trs la
l 1 I I
C( =--- +-- -- -f- ....
aL a2 a3 an
LES DFINITIONS
32. Les dfinitions Nous avons
prcdent, un certain nombre de
choisis parmi les simples et les on
peut videmm.ent en imaginer beaucoup la
dfinition fort gnrale d'aprs laquelle un de numration
est un procd de dfinir un nombre :incommensurable oc
au moyen d'une suite illimite de nombres entiers satisfaisant
ventuellement certaines conditions (
1
).
avons vu d'autre part que, si l'on veut que le nombre oc
soit choisi (( au hasard ll entre o et I, on pourra que les
nombres qui le dfinissent sont tirs au sort dans des conditions
dtermines, conditions qui sont trs simples dans le cas du systme
numration dcimal ou binaire et plus dans le cas des
fractions continues.
Mais une telle dfinition par un tirage au sort est purement
c'est- -dire n'est pas excutable; on peut
d ~ s problmes intressants de
probabilits sur les nombres oc satisfaisant certaines conditions
appartenant certains ensembles bien dfinis). A la
par tirage au sort s'oppose le calcul successif et prcis
des entiers correspondant un nombre oc lorsque ce nombre est
bien dfini par certaines conditions analytiques; c'est ainsi que Fon
a calcul centaines de chiffres dcimaux de certains
(
1
) Nous laissons ici de ct
. reprsenter des nombres entiers;
intressant.
cwMcHvu des systmes de numration
des nombres irrationnels nous
CHAPI'fRE V!.
nombres tels que e, 11:, ; nous reviendrons plus loin sur
l'intrt de ces calculs et sur leur insuffisance.
On enfin dfinir un nombre (J( en faisant choix certain
systme de numration et en donnant un moyen de connatre les
nombres qui correspondent (J( dans ce systme. C'est ce que nous
appellerons une dfinition arithmtique de (J(, Cette dfinition sera
dite primitive si elle ne repose pas sur la connaissance d'un autre
nombre incommensurable oc. Nous examinerons d'abord les dfini-
tions primitives, en indiquant quelques-unes des
Par exemple, dans le systme dcimal, on pourrait convemr
d'crire la virgule les nombres entiers successifs dans un
ordre naturel
1)( = 0, I 2 3 4 5 6 7 8 9 I0 lI I 2 I 3 I 4 I 5 I 6 I 7 18 19 20 ...
ou bien seulement les nombres pairs
f> = o, 2 4 G 8 I o r 2 r 4 1 G r8 20 22 24 26 28 3o ..
ou bien seulement les nombres
'( = o, 1 2 3 5 7 l l I3 17 19 23 29 31 37 ....
On se convaincra aisment que les nombres (J(, ~ ' y sont des nombres
normaux, en ce sens que frquence de chacun des chiffres dcimaux
l
' ' l ' I
est a meme et ega e a
10

Dans le systme des fractions continues, on pourra dfinir les
quotients incomplets successifs par une formule simple, par exemple
ou
Dans le cas de la numration factorielle, an devant tre infrieur
n on pourra, par exemple, le prendre gal ~ ou ~ suivant
2 2
que n est ou impair. Dans le cas des dveloppements unitaires
normaux, on pourra prendre aussi an gal si n est pair et n ~
1
si n est impair; les valeurs de an ne sont ainsi jamais dcroissantes.
Il est inutile de multiplier ces exemples que l'on pourrait varier
de bien des manires; mais, ce qui est difficile, c'est de donner des
exemples vraiment intressants, c'est--dire de dfinir ainsi des
nombres dont on puisse dmontrer des proprits autres que celles
LES DFINITIONS ARITHMTIQUES.
77
qui sont nonces dans leur dfinition. On ne connat qu'un petit
nombre de ces celles qui sont relatives aux fractions
dcimales reprsentent un nombre tandis
que les fractions continues priodiques nombres
quadratiques, racines d'une quation du
entiers. On connat, d'autre part, des
des nombres tels que e ou n, par exemple
de e- 2 dans le de numration
de ~ que nous avons au Chapitre prcdent. De tels dve-
loppements, qui font connatre une relation entre des n ~ m b r e s
dfinis simplement par des analytiques et des sries
numriques dfinies aussi d'une manire simple, sont de la
importance, car ils constituent une brche dans la forteresse
presque inaccessible que constitue le problme des relations entre
les nombres dfinis par l'analyse et les dfinitions arithmtiques
primitives (
1
). Nous allons tudier maintenant les dfinitions arithm-
tiques secondaires, lesquelles prennent comme point de dpart l'une
des suites illimites d'entiers que l'on peut thoriquement calculer
au moyen d'n nom'bre incommensurable dj connu.
33. Les dfinitions arithintiques secondaires. - Partons,
par exemple, du nombre TC, qui est un des nombres incommensurables
dont on a calcul le plus grand nombre de dcimales exactes (
2
).
Chacun connat les premiers de ces chiffres dcimaux
rc = 3,r4r5g26535 ....
Ce dveloppement dcimal tant suppos connu, on peut en dduire,
par des procds divers, de nombreuses suites illimites de nombres
entiers; en voici quelques exemples
(r)
I'
4,
I'
5, g, 2, 6, 5.
0
"'
5, ... ,
(2)
I'
l 4, r4r, r4r5, r4r5g, r4r5g2, ... ,
(3)
l'
4r, 2653, 0 .,
(4) r4, r5, 92, 65, 35,
(
1
) On peut citer aussi des dveloppements simples en fraction continue,
dj signals par Euler et dont !a valeur en fonction de e ou de re.
(
2
) Grce l'utilisation des machines calculer' modernes, ce nombre, qui
avait rcemment atteint 8oo, dpasse dj 2000 et ne tardera pas augmenter.
CHAPITRE VL
ces Au moyen de chacune
de bien des manires de nouveaux
ces nombres auront une dfinition
drive du nombre rr:.
il est facile de
no1nbres incoUllllensurables;
car elle
Les mthodes fort diverses que l'on utiliser sont nom-
breuses pour que l'on puisse songer les numrer; forte
raison est-il de les Il est intressant
titre certaines fonctions arithm-
dont la dfinition et les sont naturellement
nous pour celles utilisent exclusi-
Nous supposerons, en vement la numration dcill1ale.
les fonctions dfinies sont c'est- -dire
tout nombre dci1nal IX un seul nombre ~ et
outre, que
~ , le seul nombre IX. que les
dcimaux limits font exception cette
du fait que chacun d'eux s ecrire de deux
en se soit par une infinit de chiffres
zro, soit par une infinit de chiffres g.
Nous sommes ainsi amens dfinir une des IO chiffres
de o g, permutation que nous pouvons preciSer en crivant les
IO chiffres sur deux dans un ordre diffrent, comme ceci :
0 ~ 3 4 5 6 7 8 9
9 8 0
chiffre correspondant celui est crit au-dessus de lui.
Dans l'exemple que nous avons choisi, le chiffre 8 se correspond
luicmme, tandis que autres chiffres subissent une
circulaire, de sorte que l'on aussi utiliser l'criture suivante :
(8)
De la mme manire, l'criture ci-aprs
dfinira la
\
0 2
.,
4
5 6
7
8
9
:)
(P)
( 5
4
3 8 6
7
0 2
9
LES DFINITIONS AIUTHMT!QUilS.
79
On sait
dfinies est
nombre des

qm peuvent ams1 tre
10! = 3 628 8oo.
Tel est le nombre total des nombres dcimaux
peut associer un nombre tel que rr:- 3 (en y
Par la (P) fera
le nombre
o,

On voit d'ailleurs aisment que 3 628 8oo nombres obtenus
tre 2 par 2 de manire que la somme des nombres
d'un groupe soit gale l'unit. cette relation est loin
d'tre la seule qui relie entre eux les 3 628 8oo nombres associs.
H est ais, en effet, de voir que ces nombres peuvent tre obtenus
simplement au moyen de ro nombres que nous
ces 10 nombres tant eux-mmes lis par. une relation
linaire.
Nous dirons nombre dcimal inimit est unitaire si
ses chiffres sont gaux zro ou I (
1
).
de tout nombre dcimal illimit oc, dduire 10 nombres
dcimaux unitaires. a
0
, av a
2
, ,
vante : le nombre an s'obtient en
a
8
, a
9
, par la rgle simple sui-
dans le chiffre n
par 1 et les autres par o.
Par exemple, de
(A)
on dduira
"- 3 = o, r4r5g26535 ...
a 1 = o, IOIOOOOOOO ... ,
a"= o,OOOIOOOIOI ..
n est vident que l'on a, dans tous les cas
(r)
si 10 nombres dcimaux unitaires
(1) Nous avons util\s le mme mot dans la dfinition des
unitaires no l'maux; on ne peut confondre ces
avec les nombres unitaires;
8o CHAPITRE VI.
la relation ( 1), ces dix nombres dfinissent sans
dcimal illimit ex. n y a cela une seule
l'on aurait soit
I
a 0 = at = a2 = ... = as = ag = -- = o, o 1 II !II ...
. go
pour les des an par une
un nombre
soit une mm
de w. en on crit les uns au-dessous des autres les
ro nombres a
0
, a
1
, , a
9
pour les il ne pourra y avoir
report dans une colonne, que si les chiffres de cette colonne
sont tous les dix gaux l'unit; si ceci ne se pas pour toutes
les nous devrons admettre que la colonne de rang n,
par ne pas de ; on en conclut que, dans
chacune des colonnes prcdentes, il doit y avoir un chiffre x
et un sinon la somme ne donner le chiffre I et l'on voit
de mme qu'il en est ainsi pour les colonnes qui suivent la nilme,
moins que la partie dcimale du de .tous les a, par w"
ne soit
' 1
a-
go
Si l'on a IO nombres dcimaux unitaires satisfaisant la rela-
tion ( r) (et ne rentrant pas dans le cas signal),
ces w nombres dcimaux permettent de faire correspondre toute
telle que (P) un nombre dcimal, tous ces
tant associs; le nombre dcimal correspondant (P) sera
Les 3 628 Soo nombres tels que ex sont donc lis par 3 628 791 rela-
tions linaires, parmi lesquelles nous en avons I 8 I 4
qui que l'on former autant de de
deux nombres dont la somme l'unit. Les autres rela-
tions ne sont pas difficiles mais nous omettrons 'ici les
calculs qui permettent de les crire.
Signalons cependant que l'on dfinir d'une manire simple
et symtrique Io nombres ()(s'exprimant au moyen des an; on posera,
par exemple
x 0 = a 1 + 2a2+ 3a3+ ... + ga0,

(k=r,2, ... ,
On pourra, calculer les au moyen des x,, et la
relation (x) entre les ak donnera une relation linaire entre les Xk.
LiES DIFINITIONS
81
D'autre tout (ou x) donn pat une :relation telle que (3)
s'exprimer aisment en fonction linaire des Xfi.
On des x,, d'autres nombres
pas
ceux que l'on obtient en
et 7 par des zros. n est le nombre ~ ainsi obtenu ne
permet pas de remonter dont on l'a
un chiffre zro de ~ peut l'un des chiffres o, 4, 5 ou 7
Le nombre ~ s'exprime linairement d'une man:ire
(3) et l'on pourrait calculer les Xk en fonction linaire
de g nombres ~ convenablement tels que le
dterminant des coefficients dans les relations (.3) et la
relation ( I) soit diffrent de zro.
Signalons enfin le cas o l'on dduit du nombre donn (A) deux
nombres tels que la connaissance de l'ensemble de ces deux nombres
permet de reconstituer (A); par l'un de ces nombres sera
obtenu en prenant les chiffres de rang et l'autre en prenant
les chiffres de rang pair; au nombre (A) ainsi les deux
nombres y et z dfinis par les relations
~ y = o, Ig63 ... ,
{ .z = o,45255 .. ..
(B)
La correspondance ams1 tablie entre (A) et (B) er3t univoque et
continue si (A) pas gal une fraction dcimale limite; en
effet si l'on a
A=o,325=o,
il lui les deux groupes de nombres
y,= o,
et
.Y2= o, ... = o
Z2=o,2gggg ... =o,3;
d'o l'on conclut aisment que toute fraction dcimale donne
un de discontinuit, soit pour y, soit pour z.
On obtient des rsultats particulirement simples au sujet de ces
points de lorsqu'on dfinit la courbe de Peano, ou
JL BOREL.
CHAPITI
courbe points d'un en utilisant
Nous nous contenterons de ces indications brves sur les dfi-
nitions arithmtiques
trs grand nombre de
tre varies d'un
p.eu de rflexio"n
pour se quelque riche que soit cette varit
elle ne permet pas de rellement fini, ni virtuellement le
dnombrable. reste donc tJ:s en de la puissance du
qui est celle des nombres inaccessibles. On est ainsi nouveau
ramen au de vue que nous avons au Chapitre III;
le continu se compose essentiellement de nombres inaccessibles et
l'tude de ces nombres ne tre faite que par les du
calcul des probabilits. C'est en tenant compte de cette remarque
que nous . allons tudier quelques du continu
uno""'uc ; nous apprendrons ainsi classer ces par ce qm
transformations suivant
point de vue euclidien.
la manire dont elles se au
34. Les transformations euclidiennes et
Une premire classe particuliren:wnt des transforma-
tions du continu cm'?prencl celles de ces transformations qui sont
euclidiennes, c'est- -dire qui conservent les proprits essentielles
de l'galit euclidienne et les transforma ti ons que l'on
appeler pseudo-euclidiennes, qui conservent ces proprits seulement
lorsqu'on les applique un lment infiniment petit.
Les transformations euclidiennes proprement dites sont les dpla-
cements, conservant par dfinition l'galit des f1gures l'homo-
thtie, qui modifie toutes les dirnensions suivant un mme rapport
et qui conserve par consquent les rapports des longueurs et ne
modifie pas les probabilits respectives des groupem.ents.
Les transformations peuvent tre dfinies
par des fonctions continues quelconques pourvues de
s'il s'agit de domaines une dimension et par des fonctions continues
le jacobien n'est pas nul, s'il de domaines plusieurs
dimensions. De telles transformations deviennent en linaires
(
1
) Voir mes EAmtem:s de la thorie des ensembles, Note IV.
LES DFINITIONS ARITHMTIQUES, 83
par aux et au1s1 les
par un
Nous
souvent
coefficient localement constant.
n'insistons pas sur ces faits bien
est celui -ci : les
dfinies au
fait moms
de teHe manire que les
de
de droite et un carr)
lments
un certain point de vue, d'eucli-
pour
que en a donn
n est vident, en que si l'on donne les 2n prenuers chiffres
dcimaux du nombre
ce est compris dans un intervalle dont la est
tandis que les deux nombres
=o,
dimensions -
1
- le noint
ron' Y
dont les coordonnes rectangulaires sont x et y est ainsi rintrieur
d'un carr dont l'aire est -
1
-
Io:::n
Un calcul pourrait tre fait en remplaant le nombre
2n par un nombre 2n + I.
On conclut de l que la probabilit pour z de se trouver l'int-
neur d'un intervalle le domaine fondmnental qui est le
o-I est la mme que la pour le x, y de se
trouver dans une certaine cet intervaHe,
cette aire tant intrieure au carr fondamental ct gal
l'unit. Nous sommes videmment trs loigns ici des
d'Euclide, pour il ne peut y avoir de n'lesure commune entre
une 3_ une dimension et une aire deux dimensions. Mais
il n'est pas interdit par Euclide de comparer les rapports de deux
longueurs au de deux aires et de constater que
sont gaux. C'est en ce sens qu'il peut tre permis de
Peano-euclidienne.
84
CH!IPI'fRE VI,
H va soi que tout ceci. s'tend aisment aux espaces 3 ou
mme n dimensions.
On peut observer que l'on obtient tous les d'un carr OABC
de ct unit par l'addition vectorielle de tous les vecteurs
et ON dont l'origine est 0 et dont les extrmits sont deux
quelconques M et N des segments OA et OC de longueur unit.
n est ainsi permis de dire que l'espace deux dimensions s'obtient
par l'addition vectorielle de deux espaces une dimension. Nous
allons voir c01mnent cec! se pour certains ensembles de
2.
mesure nulle dont la dimension peut tre regarde comme gale
une fraction infrieure l'unit.
35. Les transformations sous-euclidiennes. - Considrons un
nombre a crit dans le systme binaire, qui ne comporte que les
chiffres o et I.
( l) a = 0, 11001001 Il lOO ....
On obtient videmment tous les points du segment fondamental o-x
en admettant que les chiffres qui suivent la virgule sont tirs au
sort de toutes les manires possibles, chacun d'eux ayant ainsi des
chances gales d'tre gal o ou I.
Mais nous pouvons galement considrer l'galit ( I) comme
dfinissant un nombre dans le systme de numration dcimal,
nombre que nous appeHerons ~ et que nous ferons correspondre
a.. Si l'on a
I l
2.\ + 210 + .... ,
on aura
0
! 1 III l
IJ = JO + -102 + JOO + 10,; + 109 -1- 1010 + ...
LES DFINITIONS ARITHMTIQUES.
les exposants de IO les mmes les
peuvent tre une suite quelconque d'entiers
de 2,
croissants.
85
On voit aisment que les nombres ~ un ensemble E
de mesure nulle; mais on peut prciser que la dmension de
car H faut additionner vectorieHement neuf ensembles
I
est -,
9
E pour obtenir un de dimension unit, form de tous les
points compris entre o et L II est clair, en effet, que si l'on aucu>cnyum:o
seulement huit ensembles identiques l'ensemble des ~ , la somme
s e r a ~ un nombre dcimal illimit comportant seulement les chiffres o,
I, 2, ... , 8, l'exclusion du chiffre g, de ces nombres
tant de mesure nuHe. Mais si l'on additionne 9 nombres tels que ~ '
on peut les choisir d'une infinit de manires, de manire obtenir
une fraction dcimale illimite absolument quelconque, c'est--dire
tout compris entre o et I.
Nous ne dvelopperons pas ici h1 thorie gnrale de la rarfaction
des ensembles de mesure nulle, thorie assez complexe en raison des
natures diverses de ces ensembles (
1
).
Nous nous contenterons d'observer qu'il est ais de dfinir des
ensembles de dimension zro, tels que la somme vectorielle d'un
nombre quelconque d'entre-eux n'est jamais de dimension un et
est par suite de dimension zro. Un tel ensemble peut tre dduit
de l'ensemble des nombres dcimaux illimits
par la rgie suivante; le nime chiffre dcimal de rx est le chiffre dcimal
de rang w" y, les autres chiffres dcimaux de y tant nuls; on a
axns1
4 6 3 I 7
1 = '.iCJiti +
10
tuo +
10
tooo +
10
toooo +
10
toooooo +
U est vident que la somme d'un nombre quelconque A de
nombres y comporte, partir d'un certain rang, des chiffres zro
bien plus frquents que les autres chiffres et est par suite de mesure
nulle. On pourra convenir de dire qu'un tel ensemble de mesure
(
1
) Lespremiers lments de cette thorie ont t exposs mes lments
de la thorie des ensembles. Mais la n'est pas puise et justifierait des
recherches nouvelles.
86 CHAPITRE Vi. e-. LES DFINITIONS ARI'll'HMT!QUES.
nulle est de rarfaction nulle. Mais cette convention est
ment prcise, car on sera amen diviser en une infinit de
les ensembles de rarfaction nulle, sans que d'ailleurs il soit
en raison du thorme de Paul du
sur les modes de croissance.
Les transformations conduisent ainsi d'un ensemble une
dimension des ensembles dont la dimension est fractionnaire ou
nulle peuvent tre appeles la Gomtrie
sc borne considrer une, deux ou trois dimensions.
que, si dans l'espace deux on considre
l'ensemble des points dont les coordonnes x et y
l'une et l'autre un ensemble E de mesure nulle et de
9
tel que le nombre dfini par la formule la somme vectorielle
de de ces ensembles E donnera le carr tout entier,
un ensemble de dimension de sorte que l'on l)eut dire que la
dimension de l'ensemble E est Il est ainsi possible de dfinir des
9
ayant une mme dimension ma1s dont les
uns sont dfinis dans l'espace une dimension et les dans un
espace deux ou trois dimensions.
PITRE
LA NOTION DE PUISSANCE.
36. La Cantor. ~ La dfinition de
la puissance est une des pices matresses de la thorie gnrale
difie par Cantor. On sait que deux ensembles ont mme
puissance lorsqu'on peut tablir entre leurs lments une corres-
pondance univoque et rciproque ou, si l'on prfre, biuniv;oque.
La puissance la moins leve est celle du dnombrable. Par l'appli-
cation la mthode dite diagonale, on dfinir une de
pmssances plus en plus grandes et Cantor a dfini galement des
puissances de plus en plus grandes dans sa thorie des nombres
transfinis et des nombres alephs, mais ces deux modes de dfinition
ne sont pas aiss comparer; nous nous bornerons au
nous parat le moins obscur.
On sait que la mthode diagonale consiste montrer que si c
est un lment arbitraire d'un ensemble de puissance quelconque,
l'ensemble des fonctions f (c) qui prennent, pour chaque valeur de c,
la valeur o ou la valeur r, a une puissance suprieure celle de
l'ensemble c. Si en effet un ensemble de fonctions f (x) a mme
puissance que l'ensemble des c, on peut faire correspondre
une fonction et une seul de l'ensemble des f que l'on
par fe Il suffit alors de dfinir la fonction. cp (x) par la condition
q;(c);F
pour tre certain que la fonction cp diffre de toutes les fonc-
/c (x); l'ensemble de ces fonctions ne donc tre, comme
on l'a admis, de toutes les fonctions possibles f(c).
En appliquant cette mthode de Cantor la puissance du d n o m ~
brable, on obtient la puissance du puis la puissance de
88
CHAPITRE Vil.
l'ensemble des fonctions d'une variable suite.
On voit ainsi combien est riche la notion ; on
dire que c'est la proprit la des ensembles
mais il n'en est pas de mme pour les ensembles concrets, tels que les
ensembles . que nous avons considrs (points d'une
que tous les ensembles mesure nulle
que au Chapitre ont la du
continu et en est de mme pour les continus un nombre
et mme une infinit dnombrable de dimensions.
Mais tous ces sont extrmement diffrents entre eux
au point de vue euclidien, bien soient identiques au point de
vue de la puissance. Il y a entre le point de vue euclidien et le
point de vue une qui vaut la d'tre
tudie d'une manire approfondie.
37. La puissance .du dnombrable. - Il y a
a constat et clairci le apparent consistant en ce qu'un
ensemble dnombrable a mme puissance de ses
tel .est le cas pour l'ensemble des nombres entiers et l'ensemble
des nombres ou l'ensemble des carrs des entiers, ou l'ensemble
des puissances successives de Io. Les ensembles que nous venons
de citer apparaissent, lorsqu'on suppose crite la suite indfinie
des entiers, comme de en rarfis; mais, comme ils se
prolongept indfiniment, il est vident que leurs puissances sont
On peut chercher ce apparent une premire expli-
cation en faisant appel la notion de nomb:re inaccessible. Si nous
admettiqns, pour simplifier, que nous connaissons la limite exacte
partir de les entiers sont inaccessibles et si nous ne tenions
que des entie infrieurs cette limite il est vident que
le nombre des nombres pairs infrieurs A est ~ , le nombre des
2
carrs d'entiers infrieurs A est l'ordre de et le nombre des
puissances de IO infrieures . A de l'ordre de log A.
Mais notre hypothse est vraiment trop arbitraire; il est dai:r
que certains nombres trs grands, d'un millier de
sont beaucoup plus facilement accessibles que d'autres
ILA NOTION DE PUISSANCE.
nombres du mme nombre de chiffres; il est plus d'crire I
que d'crire I ooo aucun lien entre eux. Malgr cette
il ne parait pas d'claircir le du
dnombrable au moyen de la notion de nombre
semble cependant est plus simple et clair de faire
la probabilit, tout en observant que,
l'avons vu, la dfinition de la
lments ensemble sur la
notion de nombre inaccessible. Mais cette notion n'intervient ici
que sous sa forme la plus gnrale, sans qu'il soit besoin de prciser
sous une forme quelconque les limites de l'inaccessibilit; si lc;IgJll(lS
en effet que l'on suppose ces limites, il est vident que les nombres
restant inaccessibles seront infiniment nombreux par rapport aux
nombres accessibles, ceux-ci sont forcment en nombre
fini. n est impossible d'attribuer probabilits gales tous
les lments d'un ensemble dnombrable, sous peine d'aboutir
cette consquence absurde que tout choix devrait se porter ncessai-
rement sur un nomb1'e :inaccessible.
On est ainsi conduit attribuer, comme nous l'avons indiqu,
une probabilit finie chaque lment, l'ensemble de ces proba-
bilits ayant pour somme l'unit, ce qui implique qu'eUes tendent
vers zro lorsque le rang augmente. indfiniment (
1
).
La seule objection que l'on puisse faire contre cette distribution
des probabilits, c'est l'impossibilit o nous nous trouvons de la
prciser; les conventions possibles sont infiniment nombreuses et
peuvent tre choisies avec beaucoup d'arbitraire. Mais il se passe
ici un phnomne analogue celui que Poincar a mis en vidence
lorsqu'il tudie le rle que joue l'introduction d'une fonction arbi-
traire dans bien des problmes de probabilits continues. Sous des
conditions fort larges, le rsultat final ne dpend pas du choix de
la fonction
Si donc on substitue la notion de probabilit celle de puissance
tout paradoxe ; la probabilit totale de choisir un entier,
totale gale sera gale la somme des proba-
(
1
) Je ne reviens pas sur ce qui a t dit plus haut de l'attribution d'une
probabilit globale aux nombres l'examen de cette hypothse
ne m,odifierait pas nos conclusions
CHAPITRE VIL
le choix se
et ces deux
n01nbre ou sur un
seront l'une et l'autre
extrmement voisines
-.
2
On pourrait essayer de se placer un point de vue et
tenter une gomtrique simple d'un
ensemble dnombrable. Prenant, par exemple, comn1.e le
fondamental o-I, on IJeut sur ce segment, soit les
rationnels I simplement, les fractions
limites. Dans un cas comme dans l'autre, on obtient
un ensemble dnombrable partout dense sur le segment et dont la
distribution possd certains caractres d'homognit. Dans chacun
des cas que nous venons de citer, si l'on fait subir au systme une
translation le point 0 sur un point de l'ensemble, on
coi1state que chaque point de l'ensemble vient concider avec un
autre point de l'ensemble, condition bien de ramener
sur le segment. fondamental, au moyen d'une translation
l'unit, les points qui en seraient sortis.
Choisissons, pour bien prciser, l'ensem,ble points rationnels,
offre l'avantage de permettre la du segment
mental en un nombre quelconque de parties gales, les points de
division tant tous des points de Il est d'aprs
ce .qui prcde, que si le segment o-x est divis en un certain nombre
parties gales, chacune de ces parties peut tre amene en conci-
dence avec une par le moy-en translation, les points
rationnels venant tous en concidence avec tous les rationnels.
L'ensemble donn se trouve ainsi en n ensembles qui sont
gaux au sens euclidien, puisqu'ils peuvent concider par une trans-
lation. Si la probabilit totale de choisir un point rationnel est pose,
par dfinition, comme gale l'unit, la probabilit de choisir ce
point dans l'un des n ensembles partiels sera gale !_ et la
, n
bilit de le choisir dans m de ces e n s e m b l e ~ partiels sera gale ~
n
On toutefois faire une
qui limitent les segments, si l'on veut admettre que les
correspondantes ne sont pas ncessairement nulles. Il faudra alms
convenir que l'on les rationnels le I,
mais non le point zro et, l'on divise en n admettre
LA NOTION DE PUISSANCE. gr
que chaque de est sa
gauche et non celui est sa droite
comme la droite du point
Considrons maintenant un longueur 01:, dont
tre des nombres irrationnels; on pourra
ce segment comm.e la somme d'une infinit dnom-
brable de segments juxtaposs extrmits rationnelles et l'on en
conclura que la pour qu'un
PQ est gale la longueur de
mental tant prise pour
Tout cela parat fort cohrent. On est
il est pour rationnel
isol, puisqu'il tre enferm dans un intervalle PQ aussi petit
que l'on veut, mais on obtient des probabilits finies, quoique
trs petites, pour l'ensemble des nombres rationnels groups dans un_
intervalle quelconque
Mais voici que surgit une difficult insurmontable. pouvons
entourer chaque point d'un segment dont il est le milieu
et dont la longueur est un nombre petit ep,IJ Choisis-
sons ces nombres ep,q de manire que l'on ait
!: == s,
la srie double du premier membre tant convergente et sa somme e
tant un nombre infrieur l'unit. La probabilit totale d'obtenir
un des points rationnels intrieurs l'ensemble des intervalles Zp,q
sera gale z, infrieure l'unit, ce qui est absurde
puisque tous les E sont intrieurs cet ensemble, certains
q .
eux y figurant mme plusieurs fois.
Il est intressant d'tudier de prs le mcanisme par lequel a t
obtenu ce rsultat. Chacun des intervalles qui entourent les points
tels a une longueur Ep,'f qui rapidement extrmement
petite en vertu de la relation ( I); on en conclut facilement que les
nombres rationnels, autres que E,
q
E ont des termes
q
dans l'intervalle
et q' trs par rapport
\)2 CHAP!'fRE VIl,
pet q. Mais ces p' ne en ralit aucun rle dans notre
q'
dmonstration; nous avons fait tat du seul fait que l'intervalle
son intrieur le f!_, c'est- -dire que nous ne tenons
q
parmi les rationnels que
de celui dont les termes p et q sont les moins levs.
D'autre lorsque nous considrions des intervalles juxtaposs,
en nombre fini, renfermant leur intrieur tous les nombres ration-
nels, si nous ces intervalles un un nous obtenions des
nombres rationnels en infinit dnombrable, mais nous avions
l'impression que ces nombres taient de plus en nombreux
et nous avions la limite, tous les nombres :rationnels.
Il en est tout autrement dans le cas des intervalles Ip,q : si nous.
ne tenons pour chacun
au moyen d'un nombre fini de
que du nombre E, nous
q
un nombre fini de
nombres rationnels E et ce nombre reste fini aussi longtemps que le
q
nombre des reste fini; c'est seulement en passant la limite
et considrant une infinit dnomb1'able d'intervalles Ip,q que nous
obtenons tous les nombres rationnels E
q
Remarquons enfin que la dmonstration ne fait intervenir en
rien la grandeur des intervalles Ip,q, c'est--dire des nombres ep,q;
ils peuvent tre pris aussi que l'on veut et cependant :ils
renferment leur intrieur tous les points E, qui sont denses sur
. q
toute la droite, ce veut dire que tout point la droite est la
limite d'une de points!!.. L'imagination a de la peine
q
comprendre que des intervalles tels que tout point E est intrieur
q
l'un ne recouvrent pas toute la droite. Et la raison,
par des dmonstrations rigoureuses (
1
), nous conduit
admettre qu'il n'est pas possible de recouvrir entirement le segment
unit au moyen d'une infinit de dont la longueur totale
est infrieure un.
(
1
) J'ai donn pour la fois cette dmonstration dans ma Thse de
doctomt (I8g4.). On la t:rouvera dans mes Lemis sur la thorie des fonctions.
LA DE PUISSANCE. g3
nous c'est qu'il n'est
une infinit dnombrable de
que les rationnels, partout denses, sur une
mesure euclidienne, en se basant sur la division du segment unit
en un nombre fini de segments Il que
se trouve ainsi conduit
longueur donne, une valeur propor-
de ce segment. nous venons de voir
que l'on par la considration des segments de
totale , une absurde, puisque tout nombre E
q
est intrieur l'un des Ip,q
Nous arrivons donc la conclusion que, malgr les apparences,
deux intervalles gaux . extrmits rationnelles ne doivent pas
tre considrs comme ayant des gales, au point de
vue des nombres rationnels qui leur sont intrieurs. Ces ensembles
gaux sont cependant superposables par une translation rationnelle,
qui par suite amne tous les rationnels des deux segments
concider deux deux, d'o il semblerait que l'on peut conclure
des probabilits pour qu'un point rationnel appartienne
l'un et l'autre des deux segments.
On comprendra mieux le paradoxe, si au lieu de l'ensemble des
nombres rationnels, de nature malgr tout assez complique, on
l'ensemble des nombres dcimaux, qui est plus simple
et avec lequel nous sommes plus familiariss.
Supposons donc que l'on place sur le segment o-I un milliard
de points de dont le premier a pour abscisse un demi-
milliardime, les abscisses croissant ensuite d'un milliardime, de
sorte que chaque point dont l'abscisse est un nombre entier de
miUiardimes se trouve tre le milieu l'un des intervalles que
nous avons dfinis.
Mais, parmi les points dont l'abscisse est un nombre entier
milliardimes, il est naturel de connne remarquables
ceux dont les abscisses sont un nombre entier de diximes, de cen-
times, de millimes, etc. Si nous considrons ceux dont l'abscisse
est un nombreentier demillimes, leurnombre est I ooo et l'tndue
totale des :intervalles milliardimes correspondants est un millio-
nime, On a ainsi enferm tous les miHimes dans des inter-
CHAP!1'RE VIl.
v aH es
la somme totale est un millionime; on pourra
d'une manire analogue en remplaant un par son
carr et mille galement par son carr; on trouvera a:Iors une tendue
totale au carr d'un et ainsi de suite; on retrouve
ainsi la dmontrat:ion nous avons faite pour les E
q
est donc la diffrence entre les deux intervalles
u,
o,I34oooooo5 et o,
C'est que le premier de ces intervalles renferme son intrieur le
tandis que tous les intrieurs au second intervaHe
comportent au moins neuf tant o,I
Il est donc naturel de le premier intervalle comme plus
pas de prciser
exactement ces
Nous retrouvons ainsi, pour la des points rationnels
ou dcimaux d'un segment le point de vue nous avait conduit
l'tude des probabilits dans un ensemble abstrait,
tel que la suite naturelle des entiers. On aboutit des contradictions
si l'on veut attribuer tous les lments de l'ensembl!J, des
bilits gales et par suite nulles, il faut donc leur attribuer des
probabilits formant une srie convergente dont la somme est gale
l'unit (
1
), Une faut pas s'arrter . l'objection laquelle
il est impossible de prciser la valeur exacte de ces probabilits.
Il se produit, en effet, comme nous l'avons dit, un phnom.ne
analogue celui sur lequel Poincar a attir l'attention dans le cas
des probabilits continues; il est possible d'y introduire, dans bien
problmes, une fonction arbitraire assujettie seulement de
larges conditions de continuit et la solution des problmes est
indpendante du choix de cette fonction arbitraire.
De mme, dans le cas des dnmnbrables, ressentie!
est que les probabilits dcroissent mesure que les lments de
l'ensemble deviennent de moins en moins accessibles, de manire
que ces probabilits soient extrmement petites pour les lments
inaccessibles.
(
1
) Nous omettons ici, pour
relativement aux nombres inaccessibles
que nous avons sig11ale
la
Pour les nomb1'es
! '
-a
2
LA NOTION DE PUISSANCE. g5
on pourra, par attribuer
au IO
puis la totale l'ensemble des nombres dcimaux de r r
't
20 la totale i l'ensemble des nombres
de 21 3o ainsi de suite. Dans chacune des catgories
ainsi dfinies,
des lments, ou
attribuer des chacun
bien les fractionner suivant une loi analogue.
ayant attribu l'ensemble des nombres de I IO
2
attribuer _!_ l'ensemble des nombres de I chiffre,
20
_!_ l'ensemble des nombres de 2
20
galement_!_ aux nombres de 10
20
et ainsi de suite
Signalons enfin, pour terminer, qu'il y avmr un certain
intrt, pour valuer la probabilit totale relative un intervalle,
de distinguer dans cet intervalle le point unique pour lequel la
est la plus leve et, d'autre l'ensemble des
de l'intervalle. Mais nous n'insisterons pas sur cette
remarque, qui pourra cependant tre prcieuse dans de nombreuses
applications.
3 8. Les ensmbles dnombrables sur la - U est
possible de dfinir sur une. sphre certains ensembles dnombrables
de dont les proprits singulires, signales pour Ia premire
fois par Haussdorff (
1
), peuvent tre claircies au moyen des
drations du paragraphe.
Considrons une sphre S et deux diamtrs AA' et BB' de cette
formant entre eux un angle El. Dsignons par cp une rotation
de 18o
0
autour de AA' et une rotation de 12o
0
autour de BB',
de sorte que l'on a
'J'"= I
<1"-
En vertu de ces ( I ), toute rotation obtenue en composant
Note VIL
g6 CHAPITRE 1111.
d'une manire quelconque cp et tJ; pourra s'crire sous la forme
R=
les
1
et ,+i tant o, r ou 2, que
2
, ex::!, .. ,
o ou L Si l'onan =o,
1
=o, R se rduit r,
une transformation identique. On supposera que R
ne se rduit l'unit pour aucune autre valeur de
0
, v ... , n, ....
Cette hypothse est car les valeurs de R sont en infinit
dnombrable; en galant chacune d'elles on obtient une
en 0 qui est algbrique et de degr fini par rapport tg 0;
il y a donc seulement une infinit dnombrable de valeurs de 0
pour lesquelles l'une des valeurs de R est gale l'unit; on peut
donc supposer (). choisi de telle manire qu'il ne soit gal aucune
de ces valeurs
Donnons-nous un point M de la sphre, distinct des points A',
B, B'; en appliquant au point M les rotations R, en infinit dnom-
brable, on obtiendra une infinit de points MR qui
sont tous distincts les uns des autres. L'ensemble des rotations R
formant un groupe, le produit de deux rotations R
1
et R
2
est aussi une rotation l'ensemble E des points MR restera inva-
riant, c'est-"dire se transformera en lui-mme, par une quelconque
des rotations R. On montrera aisment que l'ensemble E est dense
sur toute la sphre; on s'appuiera pour cela sur le fait que les
points MR tant en infinit dnombrable sur une surface finie
admettent au moins un point limite, de sorte y a des points MR
dont la distance respective est aussi petite que l'on veut. Mais
toute :rotation p qui amne l'un quelconque des points MR sur
un autre est une des rotations R; car si l'on a .
MRp =MR',
on en conclut p = R-
1
R'. Il y a donc
dont l'angle est aussi petit que l'on
le rsultat nonc.
une infinit de rotations R
d'o l'on dduit aisment
L'ensemble E des points MR sur la sphre de grandes
analogies avec l'ensemble des points rationnels sur un segment
fini de droite (ou sur une circonfrence) que nous avons tudi au
paragraphe prcdent. Dans un cas comme dans l'autre il y a des
dplacements qui amnent en concidence deux rgions gales dont
LA NOTION DIE PUISSANCE.
97
deux
les
appartiennent l' erisemble des MR; tous
des
rgions
portionneHes l'aire de ces cette conclusion serait
rfute de la manire que dans le cas du segment de, droite
est ais de construire une infinit dnombrable de
ayant chacune pour centre l'un des points l'aire
totale de ces tant aussi que r on veut.
On est ainsi conduit attribuer aux divers MR ou, ce
revient iJLU aux diverses rotations R, des probabilits non
nulles, mais gales des nombres finis dont la somme totale est
l'unit (
1
). n est ainsi de rendre du fait
paradoxal auquel on donner le nom de paradoxe de
Voici comment on peut exposer ce paradoxe. Classons les rota-
tions R en trois catgories B, de la manire suivante. Sauf
une exception que nms indiquerons tout l'heure, la catgorie A
renferme des rotations dans le dernier facteur est cp,
la catgorie B celles .o. ce dernier facteur est et la catgorie C
celles o ce dernier facteur est . L'exception consiste en ce que
rotations de la forme (

l'exposant n tant nul m positif,


figurent celles de la forme (

cp dans B et celles de la
forme dans C. On peut ainsi. crire
(3)
1
. A=Xq> +(q;<Ji')
11
,
B= +( )"q>,
C=ZfZ+( )"
les produits Z tant assujettis la double condition de ne pas
se tm'mner par cp pour X ou par 'f pour Y et Z et de ne pas entrer
en contradiction avec les seconds termes des trois sommes; c'est
ainsi que l'on ne supposer X= 1 car pour n = o,

est
gal 9 et B.
(
1
) On pourrait dir.e a!t gale en
rotations R inaccessibles, le nombre
cessible.
. BOlt!L.
finie pour les
tant inac-
g8 CHAPITRE VIl.
En tenant des relations (x), on dduit aisment des rela:
tions (3) les suivantes :
(4) 1
Acp =B+C,
A']; =B,
A'f2=B<J!=C.
en effet, que tre de la forme (

qui,
par cp donne (

et par suite C.
Ce sont les quations (4) qui constituent le paradoxe d'Haussdor:ff;
si l'on y traite, en effet, B, C comme des numriques,
ce qui serait le cas si on pouvait les assimiler des
on obtient, en supposant ces invariantes par les rota-
tions cp et
(5)
) A= B = C,
l A= B + C,
galits la seule solution est A = B = C =o.
On peut dire galement que si l'on admet la relation, vidente
dans le cas de probabilits
A+B+C=I
on obtient, d'aprs (5),
et
2
Le paradoxe s'vanouit si l'on attribue, comme nous y avons
t' conduits, des probabilits finies chacune des rotations R.
n est naturel, pour dfinir ces probabilits, de reprendre et de pr-
ciser l'expression (2) que nous avons donne de R. On voit imm-
que la varit des R provient de ce que les expo-
sants des peuvent tre volont I ou 2, tandis que les 9 qui les
sparent sont toujours identiques eux-mmes. II a d'ailleurs
aucune raison de :regarder la rotation comme ou moms
complique que lj;; ce sont des :rotations inverses, comme celles
qui font concider avec lui-mme un triangle quilatral insci't
dans un cercle. Nous pouvons donc considrer ]es rotations R d'ordre n
dfinies par la formule
(6) R= 'f ..
et convenir que les rotations cpR, Rcp, cpR<:p cmrresponaen toutes
les quatl'e la suite d'entiers
LA NOTION DE PUISSANCll.
entiers tre gaux I ou 2; cette suite
univoquement au nombre crit dans le binaire
valeur de n, le nombre de ces nombres de n
2"; on observera seulement que si n est
tion R se rduit la rotation que l'on
l'unit et dans ce cas les quatre 9
rdisent aux deux : I et cp; dans
99
R quatre rotations dont les seront Le choix
de ces probabilits sera fait de la mme manire que pour l'ensemble
des ( 7), c'est- -dire des nombres infrieurs I au
d'un entier par une puissance de 2. Il y a 2
11
,_.
1
entiers
impairs infrieurs 2
71
; tel est le nombre des nombres (7) dont
l'ordre sera n et auquel correspondent 2"+
1
rotations R puisqu' chacun d'eux il en correspond 4. Il est ais de
vou que, ces 2"+
1
rotations R d'ordre n, il y en a 2"
appartiennent 2n-l B et 2
11
-
1
C. En toutes les rota-
tions R 9 appartiennent A et aussi les rotations 9 sauf une
seule, correspondant au cas o a:
1
, oc
2
, , OCn sont tous gaux 2,
car ( 9'-Ji2)
11
appartient B. Mais, par contre, pour ces valeurs des ()(,
~ R A. On verrait de mme que la moiti des R
B et l'autre moiti suivant que ocn est I ou 2. Il en
est de mme des 9 sauf dans le cas o tous les a: sont gaux 2;
mais, contre, en ce cas cp B et, d'autre cp R
appartient C et non B dans le cas o tous les oc sont gaux 2
de <Xn gal L
On obtient ainsi 2" rotations R pour e:t la moiti de ce nombre
pour B ou C. Par suite, que soit la manire dont on fixe les
respectives des rotations en fonction de n, la pro-
babilit de A ~ e r a exactement le double des probabilits
entre elles de B ou de C. C'est l un exemple remarquable du fait
que nous avons signal au paragraphe prcdent,
les conclusions que l'on tirer d'un certain choix
lits dans un ensemble dnombrable peuvent dans une large
mesure, indpendantes de ce choix, pourvu que celui-ci satisfasse
simplement certaines conditions videntes. Ces condi-
xoo CHAPITRE V!l.
ici, lorsque le des
tous les choix pv.oounjo
()(v az, , ()(".
On pourrait peut tre nous avons admis des
pour R et pour et non pas pour et
Si l'on y rflchit, il n'y a l aucune contradiction; est dtermin
d'une manire unique et lorsque l'on donne R; par
et se dduisent de R de la mme manire, au sens prs de
la rotation; il est donc ncessaire faire un choix entre eux, car
il aucune raison de prfrer la rotation droite la rotation
et ce choix est donc une supplmentaire.
En fait, un nombre limit n de tels choix conduit 2" possibilits,
nombre qui devient trs grand. Les conventions que
nous avons sont donc tout fait justifies.
On constate qu'il ne nous a pas t ncessaire de donner d'une
manire prcise la valeur de la probabilit pour les divers lments
l'ensemble dnombrable, mais a suffi de dassr ces lments
en une infinit de catgories simples, renfermant chacune un nombre
fini d'lments et d'admettre que les probabilits sont gales pour
les lments d'une mme catgorie. On pourrait ainsi, si l'on consi-
drait l'ensemble dnombrable des nombres rationnels, classer dans
la mme catgorie les fractions irrductibles E qui ont un mme
q
dnominateur q; ou, si l'on considrait les entiers, faire choix d'un
de numration, par exemple le systme dcimal ou le sys-
tme binaire (ce qui serait moins arbitraire) et classer dans la mme
catgorie les entiers qui s'crivent avec Iemme nombre de chiffres.
39. La puissance du continu. - Nous allons tudier maintenant
la puissance du continu, que nous savons suprieure la puissance
du dnombrable. Nous constaterons cependant que, s'il se
des difficults nouvelles, par contre, certains problme
de la probabilit (ou de la se plus
dans le continu que dans le dnombrable.
Cela tient tout d'abord ce que les notions de longueur,
de volume sont des notions primitives et que la euclidienne
a t construite pour preCiser ces notioris primitives
et faciliter la solution des concrets que r on se poser
leur Mais ce fait historique n'exclut pas la possibilit que
LA NOTION DE PUISSANCE. IOI
ces notions et
contredites par la science.
La diffrence essentielle entre et l.e dnom-
brable d'attribuer tous les
la somme soit gale l'unit.
Cela tient ce que s:i l'on donne une infinit de nombres u,
la somme totale est cette :infinit de nombres est certaine-
ment dnombrable. En effet le nombre des u un nombre
.'_ est certainement fini car, dans le cas
n
la
somme des u est Il y a un nombre fini des u comprm
entre -'- et -
1
-, d'o l'on conclut que l'ensemble des u est dnom.-
n n+1
brable.
On est donc forc d'admettre que, non seulement chaque point
du continu, mais tout nombre fini de et mme toute :infinit
dnombrable de points (
1
), doit correspondre une probabilit
rigoureusement nulle. On conclut de l que deux segments gaux
(et par suite superposables) doivent tre considrs comme ayant
des probabilits gales, quelles . que puissent tre les diffrences
que l'on constate entre les points accessibles de ces segments,
puisque ces points accessibles sont en nombre fini (et, au plus,
en infinit dnombrable, si on les envisage au sens le plus large,
en :regardant, par exemple comme tous les points
rationnels). On peut dire, en abrg, que la substance essentielle
du continu est forme par les nombres inaccessibles; c'est pour
cette raison que le continu doit tre considr comme absolument
homogne, deux segments gaux et superposables tant indis-
cernables.
On dduit aisment de ces remarques dfinition constructive
de la mesure, que j'ai expose dans "les Leons sur la thorie des
fonctions (r8g7) et laquelle Lebesgue a donn le nom de mesure B.
On sait que la mesure plus gnrale; dfinie par Lebesgue diffre
essentiellement la mesure B en ce que l'on considre comme
des mesures les ensembles qui diffrent par un ensemble
de mesure mme si cet ensemble n'est pas On peut
(
1
) On n'puise pas en effet le continu au moyen d'une infinit dnombmhle
d'infinits dnombrables.
I02 CHAPIT!RE VIl.
remarquer cependant que j'avais fait dans le livre
que, la mesure ne tre ngative, si l'on sait dmontrer que
la m.esure d'un ensemble est infrieure ou on
tre certain qu'eUe est gale zro. C'est Lebesgue a substitu
la locution mesure zro celle de mesure qui a prvalu.
Comme nous l'avons vu, les coordonnes rationnelles
tre enferms dans une infinit d'intervalles dont la
somme totale est un nombre donn e arbitrairement petit.
Ces intervalles un ensemble E de mesure e et l'ensemble
C (E) a pour mesure r-s. Cet ensemble compl-
mentaire est parfait et n'est dense dans aucun intervalle, puisque
l'ensemble E est dense sur toute la droite. Le fait tel
ensemble C (E) qui ne comprend aucun intervalle puisse avoir
une mesure r-e comme paradoxal, en ce sens qu'il ne
s'accorde gure avec la notion intuitive du continu, considr
comme form d'intervalles juxtaposs, aussi petits que l'on veut,
mais cependant finis. C'est un des points o les progrs de la science
ont conduit des notions nouvelles, qui ne sont pas conformes
notre intuition gomtrique, intuition -qui n'est autre chose que la
gnralisation d'expriences faites depuis des sicles. On aurait
pu, depuis longtemps, faire l'exprience simple consistant entourer
les points rationnels de intervalles, mais il semble bien qu
personne avait pens ou tout au moins que personne n'avait
exprim cette pense d'une manire concrte et prcise. C'est l'tude
de certaines sries de fractions rationnelles considres par Poincar
qui m'a conduit, dans ma Thse, la mthode des intervalles d'exclu-
sion qui conduit naturellement la dfinition d'ensembles parfaits
non denses et de mesure finie.
La probabilit dans le continu se trouve
simple, qui concide avec la probabilit que
le systm_e d.cimal en attribuant des
des dix chiffres. Nous avons vu que l'on
dfinie manire
l'on peut dfinir dans
manires des transformations s'appliquant aux nombres donns dans
un systme de numration et modifiant les probabilites
en remplaant, par le continu une dimension, soit par
un ensembl de mesure nulle, soit par un continu plusieurs dimen-
On conclut de l que la notion puissance du continu est
une notion entirement distincte de la notion de mesure, et en somme,
LA NOTION DE PUISSANCE. 103
La notion est lie la
sltwn particulire des points sur la pour nous borner une
dimension, En concevant que chacun des de la
dplac d'une manire on aboutit des
auvA<u'o" que celles auxquelles on est en dplaant
les d'un ensemble ; de mme que les nombres
pairs sonf aussi nombreux que les nombres les points
segment de droite sont aussi nombreux que les points d'un carr
ou que les points d'un de mesure nulle, Mais ces trans-
formations n'ont rien voir avec la notion de mesure ou de
que l'on. doit regarder comme en liaison troite avec la posi-
tion effective sur un segment des points qui reprsentent les nombres
entre o et x, y les nombres inaccessibles, qui sont
de beaucoup les nombreux .. C'est du point de vue des probabi-
lits que l'on peut logiquement tudier les nombres inaccessibles
puisque, par dfinition mme, il ne nous est pas possible de
un de ces nombres d'une manire prcise, c'est--dire en le dis-
tinguant des autres, de manire que tous les mathmaticiens qui
en parleraient, . seraient assurs de parler du mme nombre.
L'axiome du choix de Zermelo, dont nous reparlerons au prochain
Chapitre, consiste admettre qu'il est possible de dclarer que
l'on choisit un nombre particulier parmi les nombres inaccessibles
et de dcider qu'on le dsigne par la lettre a, en convenant que cette
lettre a dsigne un nombre bien dtermin, le mme pour tous les
mathmaticiens. H sera ensuite possible de choisir un nombre b
dont on admettra qu'il est distinct de a, et ainsi de suite. Ces h y p o ~
thses tant admises, on pourra construire des thories cohrentes
bases sur elles, aussi longtemps qu'on n'aboutira pas des contra-
dictions. Mais toutes ces dductions reposeront sur l'axiome de
Zermelo et pourront tre nies par ceux qui n'admettent pas cet
axiome, mme que la gomtrie euclidienne ou les gomtries
non euclidiennes peuvent tre nies. par ceux qui n'admettent pas
les axiomes correspondants.
LES ENSEMBLES
40. Les ensem.bles accessibles. - Pour qu'un ensemble soit
nous ne devons pas exiger que tous ses points soient
le continu lui-mme devrait tre considr comme
inaccessible et l'on pourrait mme comme inaccessible
tout ensemble infini, mme s'il est dnombrable puisqu'un tel
ensemble comprend des qui sont, en inaccessibles, bien
qu'on puisse les de relativement inaccessibles, du fait que
la limite d'inaccessibilit ne peut pas tre rigoureusement prcise
et recule mesure que l'on admet que la dure de la vie humaine
augmente, ainsi que les facults des hommes.
Nous dirons donc qu'un ensemble est accessible lorsqu'il peut
tre dfini de telle manire que deux l)lathmaticiens, s'ils en parlent
entre eux, sont certains qu'ils parlent du mme ensemble. Il est
d'ailleurs possible que la dfinition ne permette pas de connatre
nmn:riquement mme un seul point de l'ensemble, ou que la
connaissance de tels points ne rsulte pas directement de la dfinition,
mais rsulte de certaines proprits arithmtiques qui se trouvent
avoir t dmontres, mais qui taient inconnues il y a un sicle
ou deux. On contre, dduire de ce fait que, dans ls cas
o la dfinition de l'ensemble ne sen1ble nous permettre actuelle-
ment de dsigner aucun point particulier dtermin, il est possible
que des progrs la science rendent possible cette dtermi-
nation clans quelques annes ou dans quelques sicles.
Donnons un simple; attachons tout nombre rationnel!!..,
q
cette fraction tant suppose irrductible et infrieure l'unit,
l'intervalle suivant :
E_
q
p ' I
q -,- .q'.
LES lll'IJSJlMBLES ro5
des fractions infrieures un, un dnominateur
q est infrieur q; la somme des inter-
valles (x) forme donc une srie dont la somme est
infrieure
D'autre part, les intervalles (1) sont denses dans tout l'interc
valle o- I, toute Sl soit-elle de cet
intervaUe, il y a une infinit de fractions f!_ et par suite une
q
d'intervalles tels que ( I) dont les dimensions tendent vers zro.
On ainsi dfinir un ensemble E dense sur tout l'intervaBe ( 1)
en convenant que, pour qu?un A E, il est nces-
saire et suffisant qu'il appartienne une mfinit intervalles ( I).
Si, en effet, on donne un :intervaHe il y a l'intrieur
de MN une infinit d\ntervaHes ( I); nous pouvons pa:r
celui de ces intervalles pour lesquels le nombre q est le moins
a y aura de mme l'intrieur de une infinit d':intervaHes ( I)
et nous par celui eux pour lesquels le
nombre q est le moins lev. En continuant indfiniment de la mme
manire, nous dfinissons des intervalles M
3
,
N ~ r , . . . dont chacun est l'intrieur de tous les prcdents et
qui tendent ve:rs z:ro puisque ce sont tous des :intervalles (x) et que
les valeurs de q correspondantes vont constamment en
Ces intervalles ont donc en commun un point limite
qui est intrieur une infinit des intervalles. (x) et qui par suite
appartient l'ensemble E.
Le point A ainsi dfini se trouve bien connu lorsque l'on donne
l'intervalle condition que l'on ajoute la prcision suivante :
dans cas exceptionnel o l'intervalle MN :renfermerait son
int:rieu:r deux intervaHes (x) correspondant la mme valeur de q,
qui serait la valeur la moins leve, on choisira celui d'entre eux
pour lequel la p est la plus faible ou, comme on dit
habitueHement, le plus gauche.
On pourra dfinir d'une manire analogue une infinit
de analogues A par la mthode suivante. Admettons que
dans le processus nous sommes arrivs l'intervalle N ~ c ;
au lieu de l'intervalle comme nous l'avons
CHAPITRE VIII.
fait, l'intervalle pour lequel la q est la moms
nous choisirons l'intervalle de Nt.
qui est extrieure Nk+i, en choisissant celui des
intervalles ( I) pour lequel q est le moins lev; nous continuerons
ensuite partir de

comme nous l'avions fait partir
de M"+' et nous obtiendrons ainsi un A' certainement
distinct du point A. Comme l'on rpter prcdente
tout stade du processus, on voit facilement que l'on obtient ainsi
une infinit de points A la puissance du continu; nous pouvons,
en effet, convenir d'crire au rang l> d'une fraction le chiffre o
ou le chiffre I suivant qu' une opration de rang k on
choisit Mk+1 ou

; nous dfinissons ainsi des points
A et A' diffrents entre eux, si nous nous donnons deux suites
diffrentes formes chacune de o et 1 en infinit
dnombrable, c'est--dire deux nombres quelconques compris entre
o et r crits dans le systme de numration binaire. On obtient
ainsi une infinit de points A ayant la puissance du continu
le point A que nous avons dfini tout d'abord correspond au
nmnbre o.
La marche que nous avons indique pet'met de calculer, de proche
en proche, l'abscisse du point A avec une certaine approximation,
mais cette abscisse ne sera jamais exactement connue et nous n'en
connatrons, moins d'une dcouverte imprvue, aucune proprit
en dehors de celle que nous lui avons impose : appartenir
l'ensemble A.
Il est cependant possible, au moyen des proprits des fractions
continues, de dfinir un nombre incommensurable tel que l'on
pour une infinit de valeurs de q :
de sorte que le. nombre appartient une :infinit d'intervalles ( I).
On sait en effet que, si Qp n dsigne la nime rduite d'une fraction
n
continue reprsentant le nombre on a
(3)
Si par
(4)
l'on a
LES llNSEMiilLES INACCESSIBLES.
on pourra en conclure
(5)
on sait que l'on a
< (al+ I) ( ae + l) ... (an+ I ),
il suffira donc pour que la relation (4) soit
Cette condition est vrifie si l'on
(6)
a 1 <ro,
a 2 + I = ro,
a:J +I=
Cl'J. + I == 1 0
1 1
' : ~
............. ,
an+l + I = Io
2
n-l',
Le nombre ~ dfini par la fraction continue (av a
2
, , an, ... )
vrifie donc la relation ( 2) pour une infinit de val ems de q. Il est
manifeste que l'on dfinir une infinit de nombres analogues
1;, en modifiant d'une manire arbitraire les valeurs d'une infinit
des a,, en les remplaant par des nombres plus petits, condition
de conserver les valeurs d'une infinit de ces nombres a11
ainsi, pour les valeurs impaires de n, remplacer les galits (6) par
ou par
ou par
Les nombres 1; ainsi. dfinis la double condition d'appar-
tenir l'ensemble E et de correspondre une fraction continue
dont tous les quotients sont connus d'une manire
tandis que pour les points A que nous avions
!08
CHAPITRE VIII.
on bien calculer un nombre aussi l'on veut de chiffres
de leur ou un nombre de
quotients incomplets de leur fraction mms on ne connat
pas la loi l'infini.
L'ensemble E que nous venons de est de mesure nulle,
car, lorsque nous disons qu'un point A E si ce A
une infinit des intervalles ( r ), nous lJouvons, sans
modifier la dfinition, un nombre des
:intervalles (x) ; si nous supposons que nous tous ceux
pour lesquels le nmnbre q est infrieur un entier donn k, la somme
des. intervalles l'estants est infrieure
c'est--dire envuon l On choisir k de manire soit
un nombre donn c; tous les A de l'ensemble E
sont ainsi intrieurs un ensemble d'intervalles dont la longueur
totale est infrieure s, d'o l'on que E est de mesure
nulle, puisque .e est arbitrairement petit.
Les ensembles tels que E regards comme d'autant
plus rarfis que la srie des des intervalles converge
plus rapidement; ils ont cependant, que soit leur rarfaction,
proprits remarquables fort intressantes.
Deux ensembles tels E ont en commun un ensemble
dense, de mesure nulle et la du continu.
Considrons en effet un ensemble E dfini par une suite S d'inter-
valles partout denses et un ensemble E
1
dfini par une suite ana-
logue S
1
; nous pouvons choisir un intervalle T dans S, puis, dans 8
1
,
un intervalle T
1
intrieur T, puis dans S, un intervalle T
1
intrieur
, puis un T'
1
intrieur T
1
, un infrieur T',, un infrieur
T
2
et ainsi de suite indfiniment; le A tous les T
appm'tient videmment s et S
1
puisqu'il est intrieur une
infinit T et une infinit de T
1

On conclut de l que la somme vectorielle de deux ensembles
E et E
1
tout x entre o et 2
En effet, l'ensemble des x- rx
1
, o a
1
est un point
E' et a par suite une infinit
LES ENSEMBLES INACCESSIBLES.
wg
de communs avec E il y a donc une infinit valeurs de '
telles que
:x;- ;x'= a,
' tant un de E' et oc un de E; ceci revient dire le
point arbitraire x est oc + ', E et oc' E';
:il donc la somme vectorielle E + E'.
Si nous avons tenu dmontrer ce
que les Cl. et ,
1
nous avons sont
dfinis de la mme manire que le E, lllalS
ne le sont pas avec la
Il est ainsi de distinguer,
peut se poser propos des ensembles
ti on tre ce sens qu'elle est.
donne par un nombre accessible dont on connat au moins une
.,.,.,,,:"''''+-' en dehors de celle qui rsulte du problme qui
et, d'autre part, les problmes dont Ia solution est un nombre A
calcul avec une certaine mais sur
d'autre. On peut mm.e imaginer des pro-
on saurait simplement dmontrer que la solu-
tion mais est
que l'on ne saurait mme
dveloppement dcimal.
tout fait inaccessible, au
calculer le premier chiffre de son
41. L'illusion des dcimales. - le para-
graphe comme on le fait commun-
ment, que c'est un dans la connaissance d'un
nombre A que de savo:ir en calculer un certain nombre de chiffres
dcimaux; si l'on a, en du et de la patience, on IJourra
calculer de nouveaux chiffres, en nombre de plus en
et il semble que l'on approche ainsi de la connaissance
de
Il de montrer que, dans bien des cas, et notam.ment
le cas des ensembles E nous venons d'tudier, cette c o n c e p ~
ti on du calcul est
nen.
Nous avons en effet observ que les
denses sur toute la droite; ceci revient
illusoire et ne nous
l'ensemble E sont
que soit
IIO
CHAPITRE VIII.
la fraction limite que l'on cette fraction
un million de chiffres la il y a une infinit de points
de E dont la dcimale concide avec cette fraction
limite millionime et dernier C'est donc une
connaissance illusoire que d'affirmer l'on a
en calculant un certain nombre de chiffres dcimaux d'un
A de E; que soient ces
nement une infinit de tels que appartiennent
aussi une infinit de ne faisant pas de E et ne per-
mettent donc pas de distinguer A de l'infinit d'autres. H en est,
de mme, bien dans le calcul que l'on essayer
de faire relativement un commun deux ensembles E etE',
par la mthode que nous avons
n est donc dfinir
d'un ensemble E par une mthode analogue
celle qui nous a donn le dfini par un dveloppement
dtermin en fraction continue dont on conna:t tous les
incomplets, l'infini. Bien soient
pour puisse les calculer et mme les crire sous forme
abrge, la connaissance de cette loi
prcieuse, car elle peut permettre de
d'un tel nombre i;, tandis que le calcul
chiffres dcimaux ne nous apprend rien sur
de l'ensemble E, les mmes chiffres
d'autres n'appartenant pas E.
co1nn1e
certaines proprits
certain nombre de
en tant qu'lment
appartiennent bien
On peut observer que l'ensemble E ne peut renfermer tous les
points d'un intervalle car, que soit cet intervalle,
il ne tre intrienr qu' un nombre limit des intervalles tendant
vers qui dfinissent E et dont la somme est une srie conver-
gente; l'intervalle complmentaire C (E) est donc comme E, dense
et la se pour la connaissance
de ses points, connaissance qui ne fait aucun
par le calcul d'un nombre limit de chiffres. circonstance ne
se pas pour les ensembles parfaits non denses dont nous
allons maintenant parler.
42. Les ensembles
rencontrent frquemment dans
non denses. - Ces ensembles se
de et se dfi-
U:S ENSEMBLES INACCESSIBILES. Ill
nissent de la manire suivant;. On l'intrieur de l'intervalle
fondamental un :intervalle qUI subsister
l'un sa l'autre sa ensuite
un intervalle d'exclusion dans chacun
de sorte qu'il en subsiste
mme de sorte que l'on
I, 2,
16, . . . intervalles d'exclusion et que
restants aprs est 2, 4, 8,
des intervalles
.... A la
on a dfini une infinit d'intervalles
forment une srie convergente dont la somme s est infrieure ou
I. Dans le cas o s est infrieure I, il arriVer que
les points restants forment certains des intervalles;
nous admettrons qu'il n'en est pas ainsi et que E des
:restants n'est dense nulle Cet ensemble peut alors
tre dfini comme l'ensemble des points limites des intervalles
d'exclusion, d'o l'on conclut qu'il est parfait, puisqu'il contient
tous ces points limites. Sa mesure est I -s, et peut soit t'e
nulle, soit avoir une valeur finie.
Le premier exemple ensemble tel que E est le clbre ensemble
ternaire de Cantor, ensemble de mesure nulle qui tre dfini
comme l'ensemble des qui dans le systme de numration
ternaire peuvent s'crire avec les seuls chiffres o et 2, le chiffre r
n'tant pas utilis (
1
). En ce cas, l'ensemble E est de mesure nulle,
car la valeur de s est l'unit. On peut dfinir un ensemble E de
mesure o,5 en plaant le premier intervalle d'exclusion au milieu
de l'intervalle fondamental et lui donnant la longueur 1, puis les
deux suivants au milieu des dux intervalles restants et de
I
longueur totale
8
, puis les 4 suivants gaux au milieu des 4 inter-
valles restants et de longueur totale
1
1
0
, et ainsi de suite. La longueur
totale des intervalles d'exclusion est donc bien ainsi
Pour dfinir un point de l'ensemble E, on pourra convenir, chaque
fois qu'on en deux un des intervalles restants par un inter-
(
1
) L'une des extrmits de chacun des intervalles d'exclusion peut s'crire
en le chiffre I, mais peut s'crire galement au moyen seulement
de o et 2 en vertu de o,I = 0,0222 ... vidente le systme ternaire.
Il2 CHAPITRE VU!.
valle de l'intervalle de par o et l'inter-
valle de droite par r ; si donc on .se donne une fraction crite dans
le binaire teHe que
X= o, IOJ!OI..;,
on dfinira des intervalles restants de plus en eniboits
les uns dans les autres et comme limite un de
l'ensemble E n'est une extrmit de l'un des intervalles d'exclu-
sion qui si les de x sont d'un certain rang, soit tous
des o, soit tous des x).
On a ainsi ralis une correspondance univoque et rciproque
entre les points de E et l'ensemble des points x compris entre o et I.
On pourra considrer un point de E comme accessible lorsque le
point x correspondant sera lui-mme accessible. L'ensemble E
est ainsi connu de la mme manire que le en ce sens qu'il
y a une infinit de accessibles et une infinit bien nom-
de points inaccessibles. Le calcul des abscisses des
p o i n t ~ accessibles sera plus ou moins compliqu, suivant la manire
dont auront t les intervalles le calcul
abscisses de leurs extrmits pouvant tre, dans certains cas extr-
mement long et labor.ieux. Mais nous n'insisterons pas sur ces dtails
et ne donnerons pas d'autres d'ensembles relativement
accessibles. Nous allons parler plus longuement d'une catgorie
importante d'ensembles souvent inaccessibles,les ensembles dfi-
nition asymptotique.
43. Les ensembles dfinition asymptotique. - Nous donnerons
le nom d'ensembles dfinition asymptotique aux ensembles
dont la dfinition est base sur le comportement l'infini d'une
certaine reprsentation numrique de points de Ce qui
est intressant d.ans cette catgorie d'ensembles c'est que la dter-
mination de leurs lments peut suivant les cas, extrmement
simple ou fort complique.
Donnons d'abord un exemple simple; un nombre
nous est bien connu, tel que 1r et considrons
l'ensemble des points tels que leurs chiffres dcimaux sont,
d'un certain rang non spcifi, gaux aux
nombre 'IT. On peut dire
ment dcimal de ces nombres concide
dcimaux carres-
dveloppe-
avec
LES ENSEMBLES INACCESSIBLES.
celui n, cette lieu
dont le rang
n est vident obtient tous les nombres de
un nombre entier en ajoutant n une fraction dcimale
limite L'ensemble a donc des tout fait
semblables celles dcimales limites,
qui est un ensemble connu. On sait tel
ensemble des nombres accessibles et aussi des nombres
c'est- -dire qui la rigueur
tre la vie serait beaucoup
ration
que,
sives du
plus que les ntres.
on utilise le de num-
sont les mmes pour tous les nombres de
nombre n; en ce cas, l'ensemble est form qui sont
la somme de n et d'un nombre rationnel quelconque p
q
Enfin, nous pouvons considrer le dveloppement en fraction
continue et, en ce cas, admettre que les deux en
fraction sont tels que partir d'une certaine valeur de n,
on a
an le nime quotient incomplet .du de n, et bn+k
le quotient incomplet d'un nombre de l'ensemble, k
une valeur dtermine pour chaque lment de l'ensemble, de
mme que n; dans ce cas, on a, x tant un lment de l'ensemble,
arc+ b
X=---,
cr;+ d
les a, b, c, d tant des e.ntiers satisfaisant la condition
ad-- be= I.
On videmment varier ces exemples et y remplacer le
, BOREL.
CHAPITRE VIII. - US ENSEMBLES INACCESSIBLES.
nombre rc par tout autre nombre qui nous est bien connu.
On dfinira ainsi fort simplement un grand nombre d'ensembles E.
Envisageons maintenant la dfinition suivante : l'ensemble E
est de tous les nombres x dont les dcimaux
concident d'un rang. Si l'on ne dit pas autre chose,
c'est--dire si l'on ne prcise pas, en donnant avec prcision un des
nombres de l'ensemble E, cet ensen'lble n'est pas dfini; on
seulement que notre dfinition dfinit une classe trs tendue
d'ensembles E, classe laqueBe appartiennent tous les ensembles E
dfinis au moyen d'un nombre donn tel que re. Il est vident que
. le seul moyen de dfinir un des ensembles E est de
donner un des nombres de cet ensemble car, si l'on arrive dfinir
avec le comportement asymptotique d'un dveloppement
dcimal, il en rsulte la dfinition d'un nombre. Tel serait, par
exemple, le cas si l'on convenait d'crire aprs la virgule, dans leur
ordre naturel, soit les nombres entiers, soit les nombres premiers,
soit les carrs des nombres entiers, etc. Chacune de ces hypothses
dfinit avec prcision un nombre dont on ne connat malheureu-
sement aucune proprit en dehors de sa dfinition, mais qui est
dfini.
Nous pouvons donc dire que, dans la classe trs tendue des
ensembles E dfinition asymptotique par rapport au systme
dcimal, il y en a le plus grand nombre qui nous sont et resteront
toujours inconnus; ils sont absolument inaccessibles, puisqu'il est
impossible de donner une suite d'une infinit de chiffres autrement
qu'en donnant une prcise permettant de calculer de proche en
proche tous ces chiffres (ce qui est le cas pour les chiffres dci-
maux de rc, par exemple). Mais nous savons que les chappant
toute loi sont de beaucoup les plus nombreuses, ce qui revient
dire que presque tous les nombres incommensurables nous sont
inaccessibles. Il en est de mme pour les ensembles E. Nous tu-
dierons au prochain Chapitre quelques-unes des consquences
'auxquelles on est conduit lorsque, par une utilisation hardie de
l'axiome de Zermelo, on admet que l'on peut raisonner sur ces
ensembles inaccessibles et en dduire mme d'autres ensembles,
qui apparaissent comme encore plus inaccessibles.
LES ENSEMBLES Z.
44. L'aJdorne de Zermelo. - Nous dsignerons sous le nom
d'ensembles Z les ensembles. qui tre obtenus et
par l'application de l'axiome de Zermelo. Il ~ s t donc ncessaire
de rappeler d'abord brivement en quoi consiste cet axiome et
quelle il occupe le dveloppement actuel de la science
mathmatique.
L'axiome de Zermelo a t par son auteur en vue de
rsoudre un problme qui avait t. pos par Georg Cantor et qui
tait apparU: comme insoluble la des mathmaticiens.
Est-il possible d'ordonner le continu, c'est--dire de classer tous
les points continu, de telle manire chacun d'eux on puisse
en faire correspondre un autre, qui. est son suivant immdiat et
que, de toute suite obtenue en crivant la suite de chacun
de ses termes son suivant immdiat, ait aussi un suivant immdiat ?
Pour rsoudre ce problme, Zermelo a propos l'axiome suivant,
que nous appellerions volontiers un : << tant donn un
ensemble. quelconque, a est possible de choisir dans chacun de
ses sous-ensembles un lment distingu. ))
Je ne rappellerai pas ici les discussions auxquelles a donn lieu
ce postulatum (1), admis par certains mathmaticiens et .contest
par d'autres. Je rappellerai Ouvrage cit) que je
n'ai pas de souhgner que, si je voyais des objections ce
postulatum, nier le droit d'un mathmaticien de poser
(
1
) Voir notamment les: lettres sur la thorie des ensembles de Hadamard,
Lebesgue, Baire et moi-mme dans mes Leons sur la thorie des
I!b CHAPITRE IlL
des arbitraires et d'en tirer des sous la
seule rserve de ne pas aboutir des contradictions. Or, il n'est
douteux que de nombreux mathmaticiens, parmi lesquels on doit
citer notamment Sierpinski et ses lves ont dduit du
de Zermelo de nombreuses
constituent une branche particulire
branche Z. Ces
som de les rsultats qu'ils obtiennent, ceux qm
ou n'appartiennent pas la branche Z. On ne
leur demander davantage, mais il est de d'avis sur
l'importance :relative la brancheZ par aux autres branches
des mathmatiques.
Ce fut certainement le grand t i t i ~ e d'Euclide que
le fait de constater l'nonc a conserv des sicles
le nom de d'Euclide occupe 1,1ne part parmi les
nombreux noncs de thormes . gomtriques. De vains efforts
ont t tents pour le dmontrer, jusqu'au o il fut
que sa dmonstration tait' impossible et que r on pouvait, sur des
postulats le contredisant, btir d'autres gomtries, en quelque
sorte }Jarallles la Gomtrie euclidienne et ayant la mme valeur
qu'elle, en tant qu'assemblage logique parfaitement cohrent.
gomtries non euclidiennes ont d'ailleurs t utilises
divers mathmaticiens, notamment par Henri Poincar dans ses
travaux sur les fonctions fuchsiennes. Mais c'est surtout la thorie
de la relativit qui en a fait usage et en a accru l'importance.
Nanmoins, il n'est pas douteux que la Gomtrie euclidienne
conserve une place et la conservera sans doute bien
pour autant qu'on prvoir la Gomtrie eucli-
dienne seule qui est enseigne dans les enseignements du premier
et second degr et quiest indispensable tous ceux qui tudient les
mathmatiques en vue de leurs applications pratiques. Dans les
mathmatiques suprieures eUes-mmes, la Gomtrie euclidienne
a une place importante elle seule que l'ensemble de toutes
les autres On peut, certains gards, comparer la place
distingue qu'elle occupe, celle de la imaginaire par
diverses en ont t (qua-
ternions, etc.).
Vers la fin du dernier sicle et le dbut de celui-ci, le mot
L!ES ENSEMBLES Z.
1!7
a t substitu celui de dont
renee avait cependant travers Ce fait
est d aux travaux de Hilbert et de ceux qm,
ont dvelopp la On cette
mthode faire table rase toutes nos connaissances
ou moins parfois implicitement par notre lan-
gage et, partant du nant, de construire la science sur des
et des axiomes a priori. Ces axiomes expriment des relations
entre les tres que l'on a relations auxqueHes on donne
des noms arbitraires. C'est ainsi que l'on dfinit des choses
d'autres choses appeles droites et que l'on tablit entre ces
choses une relation que l'on qualifie en disant qu'un est situ
sur une droite, ce qui que la droite passe par ce
point.
On peut aussi convenir de dire simplement ce cas que le point
et la droite sont connexes et ce symtrique fera apparatre
comme intuitive la dualit que l'on dduisait des transformations
par polaires rciproques. Les mthodes de l'Algbre moderne vont
encore plus loin dans l'application systmatique de la mthode
axiomatique.
Ce n'est pas mconnatre l'intrt et l'i.mpohance de ces travaux
que d'observer que, mme ceux d'entre eux qui paraissent s'loigner
le plus des ralits ont tout de mme leur origine
ou moins lointaine dans cette ralit. Hilbert n'aurait
imaginer des choses appeles points et d'autres choses appeles
droites et tablir entre ces choses la relation de connexit bien
avant les hommes n'avaient observ des objets
analogues aux droites et aux et si, plus tard, les mathma-
ticiens, par un travail bas sur l'abstraction et la gnralisation,
n'avaient donn les dfinitions euclidiennes du point et la droite,
ainsi que de nombreuses de ces cons-
quences qui avaient fini par aboutir l'imposant difice que
constituait la science gomtrique au xix
8
sicle.
science gomtrique avait, chemin
fiques dcouvertes notamment en Astronomie et en
c'est grce la des coniques que a nonc
les lois du mo.uvement des plantes et Newton la loi de l'attraction
universelle. Les de la de :la Gomtrie, du Calcul
CHAPITRE IX.
ont celui des sciences et tous les
qm ont entirement transform la civilisation.
les ont continue leurs
recherchant
des applications pratiques; par
raison humaine et les lois de la
un
ii est arriv que les recherches
les en apparence de la ralit
ont t
que la a
et de Hertz qui ont t
tions de variable
dcouvertes
dans les
C'est ainsi
travaux de Maxwell
la thorie des fonc-
au dbut du xxxe sicle
par de nombreux
citer Cauchy.
mathmaticiens au premier rang il faut
Plus le calcul diffrentiel absolu qui tait apparu
comme une thorie fort s'est :rvl comme l'instrument
aux de la thorie de la relativit.
Il serait donc tout fait draisonnable. de prtendre interdire
aux mathmaticiens recherches, sous le que ces
recherches ne paraissent pas susceptibles pratiques
et sont par suite inutiles. La connexion troite qm, malgr une
spcialisation malheureusement trop souvent relie entre
eUes les diverses branches des mathmatiques avoir des cons-
quences inattendues et des recherches arithmtiques sur la thorie
des nombres entraneront peut tre des progrs de
et de la thorie des fonctions qui, leur tour, seront utiliss par
des physiciens.
Ce n'est donc beaucoup de prudence qu'il est permis
une opmwn sur l'intrt relatif des diverses branches
des mathmatiques. n me semble cependant que, de mme que les
gomtries non euclidiemies, malgr leur intrt et bien que la thorie
de la relativit les des phnomnes concrets, restent
tout de mme bien moins importantes que la Gomtrie euclidienne;
il en sera plus forte raison de mme pour la branche car les
qu'elle tudier ne peuvent tre
rattachs en aucune manire aucune ralit concrte; dire que
l'on choisit un nombre parmi l'infinit des nombres
vide de sens,
ce n01nbre n'est et ne sera des autres. n est nan-
LES ENSEMBLES Z.
mo ms d'admettre
t choisi et est vraiment
Il9
consquences de ce seront aussi
loignes de la ralit que le lui-mme.
45, Une d'ensembles z. - Nous aHons maintenant
admettre le postulatum de Zermelo et en dduire la dfinition
d'une catgorie particulire d'ensembles Z qm se rattachent
certains ensembles dnombrables de que nous avons
tudis.
Nous dirons ensemble dnombrable est transformable en
lui-mme lorsqu'il un certain groupe de dplacements
amenant un point quelconque de l'ensemble concider avec un
autre point quelconque de l'ensemble, amnent galement concider
tout de l'ensemble avec un autre point de l'ensemble. Cette
dfinition s'applique tout d'abord au cas o le support de l'ensemble
est tel que dplacements dont nous venons de parler amnent
ce support concider avec lui-mme; c'est le cas, par
si ce est une circonference ou une sphre.
Parmi les ensembles dnombrables que l'on peut dfinir aisment
et qui sont transformables en eux-mmes on peut citer, sur la cir-
confrence, les points M tels que 0 tant l'origine des arcs, l'arc OM
soit mesur par un nombre rationnel lorsque la longueur de la
circonfrence est prise pour unit. Sur la sphre nous pouvons
citer l'ensemble des MR que nous avons tudi au para-
graphe 38; si M
1
et M
2
sont deux points de cet ensemble, les dpla-
cements envisags sont ceux qui amnent M
1
M
2
en concidence par
une rotation autour du diamtre de la sphre perpendiculire au
plan dtermin par Mv et le centre de la sphre. Ces rotations
sont prcisment les rotations tudies au paragraphe 38. Dans le
cas particulier o M
1
et sont en ligne droite avec le point
c'est--dire sont aux extrmits d'un mme diamtre, on devra
pour obtenir la rotation qui doit tre choisie parmi l'infinit de
rotations possibles, recrire les quations qui ont permis de dduire
et du point M
lVIRt = M,,
d'o l'on dduit
I20 CHAPITRE IX.
et calculer directement le se comme on.
une I'otation.
Dans le cas o le support de l'ensemble
il apas de dplacement qui amne ce segment concider
avec lui-mme (le retournement, dplacement
une translation le
o-I, on considre chaque point obtenu
comme identique au du o-I situ une distance
gale un nombre entier; en d'autres termes, le point 1
au !Joint Avec cette points dont l'abscisse
est un nombre ou dcimale limite donnent
deux exemples d'ensembles transformables en eux-
mmes.
Nous avons dj observ que obtient un nouvel ensemble
dnombrable b'ansformable en en ajoutant, dans le cas
de la un nombre fixe tous les lments de l'ensemble donn.
Si cet ensemble est dsign par D, on pourra le :i1ouvel
ensemble par D + x. Dans le cas de la sphre, la se
sente sous une forme un peu diffrente ;l'ensemble que nous avons
dfini pourra tre dsign par D puisque nous avons pris pour
point de dpart un point M arbitraire de la sphre (sous la seule
condition de ne pas concider avec les extrmits AA' et des deux
diamtres dfinissent les rotations cp et ~ ). On pourra dfinir
de la mme manire un autre ensemble D tant un point
quelconque de la sphre n'appartenant pas l'ensemble D
de mme que x. tait un point quelconque de la droite n'apparte-
nant pas l'ensemble K
pourra construire aisment autant d'ensembles D +x
ou D que I' on pourra connatre de points x ou M satisfaisant
aux conditions indiques, c'est--dire n'appartenant pas aux
ensembles construits. Mais on sait que l'on ne peut ainsi obtenir
tout au plus qu'une infinit dnombrable d'ensembles, qui sont
loin d'puiser tous les points du continu. aller plus loin et
. une infinit ayant la puissance du continu,
ncessaire pour puiser tous les points de la droite et de la
il est indispensable de faire appel l'axiome du choix ou, si
prfre ce langage, au postulatum Z. H sera ainsi possible de dfinir))
une infinit d'ensembles D tels que tout point du segnient de droite
US ENSEMBLES Z. l2I
ou tout ( l'exclusion des extr-
mits des diamtres AA', l'un des ensembles D.
Ces ensembles D tre, dans le cas de la considrs
comme au sens euclidien, car on }Jeut les faire concider par
une translation. Mais cette circonstance tient au fait que toutes
les translations sont ce qui n'est pas le cas pour
les rotations. La ne subsiste donc pas sur la
sphre.
Nous venons comment on
construire au moyen
l'ensemble du d'autres
ensembles et dont les
D, en utilisant nouveau
ensembles que nous appellerons
sont fort intressantes.
46. des ensembles ZD. - tant donn l'ensemble
des ensembles D que nous avons dfinis un domaine donn
(segment ou sphre, par choisissons dans chacun d'eux
un M; l'ensemble de ces points M formera
l'ensemble ZD que nous nous proposons d'tudier. Remarquons
cependant, avant toute tude, combiep. la de cet
ensemble ZD est insuffisante pour le faire connatre. Nous
en effet, dj constat que la plus grande partie des ensembles D
ne nous sont pas connus; nous ne les connaissons qu'en bloc, sans
pouvoir les distinguer les uns des autres. Pour ceux d'entre eux
qui sont vraiment dfinissables, nous les avons dfinis partir d'un
nombre incommensurable donn (ou d'un point donn de la sphre);
il est alors trs simple de choisir ce nombre (ou ce point) comme
lment distingu. Mais pour l'infinit non dnombrable des
ensembles D dont nous ne connaissons rellement aucun
la difficult choisir un point m'apparat comme rellement
insurmontable; on ne peut dire qu'on fait ce choix qu'en vertu
de l'acte de auquel nous convie Zermelo.
Dsignons cependant par l'ensemble ainsi form d'une :infinit
de points dont un et un seul est choisi dans chaque D; cet
ensemble ZD a. videmment, comme l'ensemble des la puissance
du continu; ce qui est plus impl'tant, c'est que si nous
appliquons ZD l'ensemble des transformations par lesquelles
l'ensemble D est invariant, nous obtenons une infinit dnombrable
d'ensembles Z'D' dont chacun est puisqu'il concide
122
ces transformations
point M en concidence
mme D qne M.
CHAPITRE IX.
et de plus tels que tout du
l'un Z'D'
ou rotations) amne en effet le
avec un autre point M' qui appartient au
l'on aura effectu toutes les transformations
tous les points de tous les c'est- -dire
du domaine fondamental ou sphre).
de tous les d'une droite ou d'une
en une. infinit dnombrable d'ensembles gaux entre eux est un
rsultat remarquable. B est, en effet, fort ais de diviser un segment
de droite ou une sphre en un nombre fini n de gales, mais
ces tendent vers zro et finissent pas s'vanouir n
augmente indfiniment; il est d'autre part facile d'obtenir sur une
droite une infinit segments (par exemple par les points de
mais ces segments tendent vers
n
ne donc tre gaux.
pour n infini et
47. tude des ZD. "'-- L'tude que nous avons faite
des ensembles dnombrables de points nous facilitera beaucoup
celle des ensembles ZD; on peut, en dans le cas de la droite,
faire correspondre chaque ensemble D' un nombre rationnel x;
on obtient tous les point"i de en ajoutant x tous les points
de ZD. Dans le cas de la sphre, toute rotation R transforme ZD en
unautre ensemble lui est gal; par dfinition, et qui, d'autre
part est form d'une manire analogue ZD, puisque chaque point M
de ZD appartient un D et est amen par la rotation R en conci-
dence avec un }Joint MR du mme D; il en est de mme pour tous
les points M' de Z'D' dont chacun appartient un D'.
Il est donc facilE) de rattacher l'tude de l'ensemble dnombrable
des ensembles ZD celle de l'ensemble dnombrable des points
de l'un des ensembles D, H y a en effet, correspondance univoque
et rciproque entre les ensembles ZD et les points de D; comme
deux ensembles ZD deux points diffrents de D
sans point commun, la somme de ces deux ensembles ZD se
dfinit sans ambigut comme correspondant la runion des deux
de D.
Considrons pour prciser, le cas de la droite; le seg-
ILES ENSEM!llLES Z.
ment o-1 tre divis en un nombre n
gaux et les de D venant en
L'ensemble des ZD qm
aux d'un mme S
par ZDS; la translation qui amne en
gaux, disons sl et amnera ainsi en concidence
nous avons ainsi dfini n ensembles ... , canes-
aux n segments S; ces n ensembles sont gaux et leur somme
est le segment entier o-I; il donc difficile de ne pas attribuer
la probabilit :_ pour point l'un des
n
en raisonnant connue nous l'avons fait au
on arrivera la conclusion que, tant donn un intervalle quelconque
sur le segment fondamental, sil'on dsigne ZD), les ZD corres-
pondant aux rationnels de ce segment , la probabilit
sera ), ; on arrivera alors une contradiction, en
remarquant, comme nous l'avons vu au paragraphe 37, que
l'ensemble des rationnels peut tre enferm dans une infinit
d'intervalles /, dont la somme est aussi petite que l'on veut.
La rponse ce paradoxe sera analogue que nous avons
faite propos des ensembles dnombrables; il n'est pas
sans aboutir des d'attribuer des probabilits
chacun des lments d'un ensemble dnombrable. On doit
donc appliquer cette I'gle l'ensemble dnombrable des ZD. Mais
nous contredirons alors le principe de l'galit
lequel deux superposables sont gales. Ce principe ne
pas pour les ensembles dnombrables de nombres rationnels dont
l'tendue euclidienne est Mais en construisant les ensembles
dont l'in:finit dnombrable recouvre Ja droite entire, nous avons
modifi la position de la question. Nous avons vu, en que
l'ensemble ZDS
1
qui correspond tous les rationnels du
fini S, ne peut pas tre considr comme une tendue
puisque n ense1nbles recouvrent tout l'inter-
fondamental.
des ensembles ZD l'axiome
de notre conclusion sera qu'il faut choisir entre l'axiome
. de Zermelo et l'axiome eucliden, lequel deux figures super-
posables sont identiques tous les de vue
ClliAPITIRE IX.
et qu'il leur en particulier des
deux axiomes
diction.
Dans ces conditions, je prfre choisir l'axiome euclidien de
l'galit; mais je ne conteste pas d'autres le de prfrer
l'axiome de Zerm.elo. L'tude qu'e nous allons faire maintenant,
du de Haussdorff, se rattache aux ensembles de rota-
tions R que nous avons appels C au 38.
48 .. Le de Haussdorff. - Considrons l'ensemble ZD
dfini sur la s1Jhre en prenant comme ensembles D ceux que l'on
en appliquant un point quelconque M de la sphre les
rotations R dfinies au paragraphe 38 et que nous y avons classes
en trois catgories B, C. Nous appellerons ensembles A, B, C
pour simplifier les notations, les ensembles obtenus en appliquant
l'ensemble ZD l'ensemble des rotations C. La somme
A + B + C recouvre donc la sphre entire et nous avons les
relations
Atp = B + C,
Atj;=B,
B<];= C;
d'o l'on conclura, que la probabilit totale de choisir un point
sur la sphre tant gale l'unit, cette probabilit pour A est
gale la fois _: et c'est le paradoxe de Haussdorff.
2 J
Mais il est ais de tirer quations des consquences que l'on
pourrait qualifier d' encol'e plus paradoxales, si l'on oubliait que,
pour le mathmaticien, il n'y a pas de degrs dans l'erreur et que
d'une seule galit fausse on peut dduire toutes les galits fausses.
On dduit en effet de ( 1)
On voit

= A + C = A + C + C
j A( =A+ C + C + C( )2,


+ ... +
ainsi que des rotations
autour d'un axe que
d'enrichir
d'un angle que nous
nous appellerons CC ont pour
l'ensemble A; comme on
(3)
On dduit de ( I)
(4)
LES ENSEMBLES Z. r::!5
auront au contraire
A; on a, en
A = B9.
(B+C):p=A,
d'o l'on conclut que est une partie de A que nous pouvons
par ; on a donc
'( J)
et, de n1me,
(6)
tant une partie de et ainsi de suite.
On peut observer que l'un des termes de savoir le terme
complmentaire ( cp'f
2
)n, si on lui adjoint les termes (<];cp)" qui font
galement partie de donne une somme invariante par les trans-
formations aussi bien que par les transformations <];:p. Mais
pour les autres termes de si nous les class'ons, comme nous l'avons
fait au paragraphe 38 d'aprs l'ordre de la rotation R, nous cons-
taterons que l,es transformations . ont pour effet de diminuer
l'ordre d'un certain nombre des rotations R, figurant dans tandis
que les rotations augmentent au contraire cet ordre.
En l'ensemble des rotations ('fcp
2
)" et (cp<];)" (auxquelles
on doit ajouter la rotation unit, figurent dans A et cet
reste invariant lorsqu'on le multiplie, soit par <];cp, soit par
soit naturellement par une puissance quelconque de chacune de
ces rotations. Si l'on dsigne la probabilit de cet ensemble par p,
on dmontrera aisment que la probabilit du produit A (<];cp)"
tend vers p lorsque n augmente indfiniment. On obtiendrait une
probabilit tendant vers zro en effectuant d'abord la trans for-
cp, qm ( cp'f
2
)" par ( cp'f
2
)"-
1
et ensuite les
transformations ( 'fcp )n, c'est- -dire en considrant les ensembles
A (yJcp)n ou, si l'on A(<j;
2
cp)".
On voit que la thorie de la probabilit dans un ensemble dnom-
brable donne une explication simple du paradoxe de Haussdorff,
cette explication tant d'ailleurs des valeurs patti-
culires des attribues aux divers ]ments de l'ensemble,
I26 CHAPITRE IlL - LES ENSEMBLES Z.
sous la seule condition que ces ont toutes des valeurs
dont la somme est gale I, ce qm entrane cons-
quence tendent vers zro pour les les moins acces-
c'est--dire la dfinition les notations les
compliques. comme il s'agit d'un ensemble dnombrable
dont les lments sont des ensembles ZD qui sont gaux au sens
euclidien du mot, le fait d'attribuer ces lments des
diffrentes contredit l'axiome de l'galit euclidienne. C'est cette
contradiction que se rduit le de Haussdorff.
PROBABIUTt ET MESURE.
49. La Inesure constructive. - Nous n'avons pas l'intention
de reprendre dans cet Ouvrage la thorie gnrale de la mesure des
ensembles, qui a t traite dans plusieurs volumes de cette collec-
tion. Nous nous contenterons de rappeler brivement quelques
faits, afin d'tudier leurs relations avec les rsultats des prcdents
Chapitres.
La thorie constructive de la mesure, que j'ai expose dans la
premire dition de mes Leons de la thorie des consiste
dfinir la mesure d'lments simples, savoir les intervalles,
sans distinguer entre les intervalles ouverts et ferms. Leur mesure
est gale leur longueur, une certaine unit de longueur ayant
t choisie. moyen de ces intervalles, dont la mesure est coimue,
on pourra dfinir de proche en proche des ensembles de plus en
plus compliqus, dont la mesure sera, par dfinition, dfinie par
des rgles simples.
a. L'ensemble E form par la runion d'un nombre :fini ou d'une
infinit dnombrable d'ensembles sans points communs (sauf,
peut tre, les extrmits des intervalles) a pour mesure la somme de
leurs mesures, tous les cas o les mesures de .ces ensembles
ont t dfinies.
b. Dans le cas o tous les lments d'un ensemble E
2
appar-
tiennent l'ensemble E
1
, l'ensemble E
1
-- E
2
dont les lments
sont les points E
1
n'appartenant pas a pour mesure la diff-
rence des mesures de et de lorsque ces mesures ont t
dfinies:
CHAPITRE X.
J'avais donn le nom d'ensembles mesurables tous les ensembles
la mesure peut tre ainsi dfinie. Lebesgue les a
mesurables B et cette appellation a t
J'avais enfin, dans le livre
c. Si les points d'un ensemble
ensemble E
1
lequel est mesurable et
l'ensemble est galement de nies ure
ait s'il est ou non mesurable
du fait que la mesure n'est ngative.
point.
un
(ou 1nesure
sans que l'on
a et b. Ceci rsulte
n rsulte d'un thorme dmontr dans ma on
a donn le nom de thorme de Heine-Borel et aussi celui
de thorme de Borel- Lebesgue, que les conventions a, b, c ne peuvent
conduire une contradiction.
50. La En liaison avec ses clbres
la thorie de la mesure travaux sur l'intgration, Lebesgue a
en lui donnant une base axiomatique.
On dira systme de nombres reprsente les mesures attaches
un systme d'ensembles lorsque les conditions suivantes sont
remplies :
a. la mesure d'un intervalle donn, arbitraire1nent, est
gale l'unit;
b. la mesure d'un nombre fini ou d'une infinit dnombrable
d'ensembles sans points communs est gale la somme de leurs
mesures;
c. si tous les points d'un ensemble E
1
a1Jpartiennent a un inter-
valle E, l'ensemble E
2
= E- E
1
form des de E
tenant pas E
1
a pour mesure diffrence de leurs mesures;
d. deux ensembles gaux (superposables) ont mme mesure.
Ces axiomes ont conduit dfinir la mesure d'une
infinit d'ensembles plus tendue que l'ensemble des ensembles
mesurables B et que appelle ensembles mesurables L. L'ensemble
de ces ensembles a une pmssance celle du continu.
On peut les obtenir, d'autre part, en aux ensembles
mesurables B les sommes de ces ensembles avec les de
mesure nulle non mesurables B.
PROBABILIT iE'f MESURE.
pour une certaine il n'est pas
de dfinir des nombres satisfaisant aux axiomes, cette
sera dite non mesurable.
51. avons vu que la dfi-
nition normale continues donne des rsultats qui-
valents ceux de la mesure B et de la mesure de sorte semble
que l'on
conduit
on a
et
Cette remarque
de mesure en
de la
x par une fonction y qm crot
x crollt de o I; si cette fonction f a une
pour que x soit compris entre x et x + dx est
la probabilit pour que y soit entre y
sera /' (y) ; on pourra parall-
modifier la dfinition de la mesure en
euclidienne par une dfinition
de dans laquelle intervient la fonction arbitraire f
(ou sa dl'ive f' (y)) : intervalles sont au sens euclidien,
si l'ona
b d
dx=J

ils le seront, au sens plus SI l'on a
(y)
Cette gnralisation est commode pour permettre
de la ou la mesure l'intrieur ensemble
donn. Pour ne donner exemple, on peut faire correspondre
un point x
entre o et I et dfini dans le systme binaire
par
( E1)
X= o,oOIIOOIIIOIO ,
le y, appartenant l'ensemble ternaire de Cantor E et qui
s'obtient en dans x les I par les chiffres 2
BORIP.L.
I3o CHAPITRE X.
et en crit dans le de numration ternaire
( Ez) y= o,o022002220'W ....
On conviendra que, Sl l'on attribue arbitrairement la mesure I
B est gale o ), tout
mme mesure que l'ensemble E
1
ternaire la
ensemble E
2
form de ces y, cette E
1
tant
comme dans les
Ce mesm'e et la conduit natu-
la mesure l'intrieur d'un
est ams1 par l'tude que nous avons faite de
la probabilit dans un tel admettre que, dans ce cas
l, Faxiome d de et tout axiome
obtenu par l'introduction d'une fonction arbitraire f (y) conduit
ncessairement des contradictions.
On doit remarquer, en que l'axiome b de (qui
quivaut la dfinition a de la constructive) conduit
ncessairem.ent la conclusion que la somme d'une dnom-
brable d'ensembles de mesure nulle est toujours de mesure nuHe.
n n'est pas en effet, dans ce cas, d'arguer du fait que le
produit de l'infini par zro doit tre regard comme indtermin.
Si l'on a, en une infinit dnombrable d'intervalles Un dont la
somme des longueurs est une Sl'e convergente de somrne u, s:i
l'on ajoute intervalle Un un ensemble de mesure nulle Vn,
on obtient un ensemble Wn dont la mesure est Un. La mesure de la
somme des w;, est donc gale u, comme la somme des mesures
des un, d'o l'on dduit que la somme des mesures des Vn est zro.
Par suite, si l'on donne un ensemble E dont la mesure est gale
soit en accord avec la dfinition des paragraphes 49 et 50,
soit en vertu d'une convention arbitraire et si cet ensemble E peut
tre regard comme la somme d'une infinit dnombrable d'en-
. sembles E, sans lments communs deux deux, ces ensembles En
tant gaux au sens du mot, il pas possible de fixer
pour ces intervalles En une mesure commune p., nulle ou diffrente
de zro; car si v est nulle, la mesure de la somme des En est nulle
et si [J.. est diffrente de zro, la mesure de la somme des En est
infinie. C'est le paradoxe que nous avons tudi au Chapitre pr-
PROBABILIT ET MESURE. l'li
Dans le cas o l'ensemble E est form d'une infinit dnombrable
de points, on attribuer E 1a mesme zro et
le disparat, mais il n'en est pas de mme si l'on peut,
comme nous l'avons fait au Chapitre arriver en utilisant
l'axiome attacher chacun des d'un ensemble
dnombrable un, un ensemble En tel que l'ensemble E, donne
un ensemble E dont la mesure n'est pas nuBe. On se trouve donc
plac en face de deux alternatives : ou bien renoncer l'axiome d
de l'galit euclidienne et attribuer aux ensembles E 11 des mesures
diffrentes, choisies d'une manire arbitraire (ou sous certaines
rgles librement formules) sous la seule condition que la srie
des Un converge et a pour somme l'unit. La seconde alternative
consiste affirmer que les ensembles E,, ne sont pas mesurables
et renoncer s'en occuper ce de vue. Il est cependant permis
de se demander, en ce cas, si les difficults auxquelles on
est conduit ne rsulteraient pas de l'emploi que l'on a fait de
raxiome Z, de sorte que c'est cet axiome qui conduirait . contredire
l'axiome de l'galit euclidienne en attribuant des valeurs arbi-
trairement diffrentes aux divers ensembles superposables En.
On observera d'aiHeurs, comme nous l'avons dj fait, que la condi-
tion impose aux nombres arbitraires Un de former une srie conver-
gente a pour consquence que les Un, quel que soit l'ordre dans lequel
on les range, tendent vers zro lorsque leur rang augmente indfi-
niment, de sorte que leur choix, si arbitraire qu'il puisse paratre
conduit cependant dans tous les cas attribuer une probabilit
ngligeable aux ensembles En dont l'indice n est un nombre inacces-
sible. C'est par l que ces remarques se rattachent directement au
sujet de ce livre.
52. Choix et probabilit. - n resterait examiner une dernire
question, mais je me de la signaler, laissant le soin de
la rsoudre ceux qui admettent l'a,xiome Z.
Cette question est la suivante : peut-on parler de la probabilit
d'un choix fait en vertu de l'axiome Z ? D'une manire plus prcise,
si le choix est fait dans un ensemble E, peut-on parler de la proba-
bilit pour que ce choix .conduise un lment appartenant un
sous-ensemble E
1
de E? La rponse affirmative ne devrait pas
faire de doute, s'il s'agissait d'un choix effectif. Et je reproche prci-
CHAPITRE X. - PROBABIUT ET, MESURE.
sment l'axiome Z de ne pas don'ner de
Mais j'ignore dans quelle mesure ceux qui admettent cet axwme
regardent comme effectifs ou comme rels les choix il
conduit. Et ce n'est point le lieu de rouvrir la polmique ce
Une seule chose me parat certaine, c'est que si l'on admet que.
tout fait dans un ensemble a une on est conduit
la conclusion que tous les ensembles ont une mesure, mme si
nous ne savons pas la mais on doit renoncer l'axiome
euclidien de l'galit et attribuer des mesures arbi-.
traires aux ensembles En; il semble bien que cela pmsse tre fait
sans aucune contradiction.
Par D. DUGU
1. Le partage des lments d'un ensemble en lments accessibles
et inaccessibles permet parfois de simplifier les dmonstrations si l'on
se contente de raisonnements ne couvrant que les lments acces-
sibles. En se bornant aux fonctions dont la croissance est accessible,
il est curieux, en prticulier, de remarquer que le thorme de
Picard-Borel peut se prouver au moyen de la seule fonction loga-
rithmique et de quelques extensions du thorme de Liouville et,
par consquent, sans utiliser la fonction modulaire ou les ingalits
sur la croissance dues M. BoreL Cette << semi-dmonstration JJ est
exactement du mme type que celle de M. Picard. Proposons-nous
donc de dmontrer le thorme suivant
tout le plan une infinit de fois toute
S'il existe deux valeins exceptionnelles qu'une homographie peut
rendre l'infini et zro, il s'agit donc de montrer qu'il n'y en
a pas une troisime : par consquent qu'une fonction entire ayant
zro pour valeur exceptionnelle prend toute autre valeur une :infinit
de fois.
Si zro et l'infini sont exceptionnels, log cp (z) est uniforme et
holomorphe dans tout le plan. Donc cp (z) = e" E (z) tant entire :
a. cp (z) est d'ordre fini . On a t [E (z)] < C [ z! . D'aprs un
thorme de Hadamard prcisant le thorme Liouville, E (z)
est un polynome P (z). Il suffit de montrer que ePizJ = p ei8 a une
infinit de si p ~ o. n suffit de rsoudre
)= +i(6+2lc1t)
r34
DEUX REMARQUES SUR L'iNACCESSII!ILI'fi.
(k entier positif, ngatif ou nul), ce qui est possible en vertu du
thorme de d'Alembert, consquence du thorme de Liouville.
b. cp d'ordre infini. La est encore possible
si 1 cp ( z) 1 < e"e , n exponentielles tant superposes que
soit n. Il suffit de prouver que le thorme est encore vrai pour n
si il a t tabli pour n - I. Soit donc
( n exponentielles)
cp (z) par hypothse est gal Donc :
1 eE(z) 1 < e' ( n expone11tielles)
et
ot(E(z)) < e:
(n-I exponentielles).
D'aprs une ingalit de M. Borel si max t
est dsign par A (r) et max [ E (z) 1 par M (r) :
M
Par consquent, pour 1 z 1 = r, on a
\E(z)\<2e. +3[E(o)l<e
[ (n - I) exponentielles superposes].
pour \ z 1 = r
Donc E (z) prend une infinit de fois toute valeur, sauf au plus une
puisque le thorme est tabli pour (n- x) (et que l'infini est excep-
tionnel pour toute fonction entire). L'quation e"l"'l =pe
10
(p o)
quivaut pour un couple p, 6 l'infinit d'galits
E(.z) = logp + i(O + 2kr.).
Donc, quel que soit p non nul il y aura une infinit de solutions
[dans tout l'ensemble E (z) =log p + i (8 + 2 krr ), il nepeuty avoir,
au plus, qu'une quation sans une infinit de solutions].
Par consquent, si des fonctions chappent cette dmonstration,
elles croissent plus rapidement que toute fonction de la forme e
(quel que soit le nombre des exponentielles). Il existe, en vertu du
DEUX REMARQUES SUR L
1
1!1'11\CCESSIBILIT.
thorme de
toutes fonctions
croissant
un thorme de
135
une fonction entire croissant vite que cette dernire. n est
facile de voir cette fonction est
En effet, sa
Pour z =r,
pour z rel et
est donc
5 pour z = 2, pour z = 3, un
z = 4, un nombre de w"
0
pour
grandeur
mme pas de se contenter de la
chiffres pour
tout de
dmonstration que j'ai
reproduite ici, nouvel s'il pour ne
pas rejeter des mathmatiques les
IL Sauf erreur de ma part, la distance maximum value I rn
prs, couverte en une heure par un coureur est 19 km,33g.
Ce chiffre est presque certainement d'une amlioration
dans les annes et les il est possible
d'affirmer quele nouveau record ne sera suprieur , disons 3o km
l'heure. L'ensemble de tous les nombres la distance
parcourue pied pendant une heure par un homme dans le pass
et dans le futur a donc une borne suprieure Ce nombre,
qui est bien dfini, restera jamais inaccessible. Il faudrait, pour
arriver en prciser la grandeur numrique, connatre l'infinit des
lments de l'ensemble, ce est impossible. H ne me semble
pas malgr tout, que l'on nier son existence, ni que deux
personnes parlant de cette grandeur puissent se demander si elles
ont affaire un mme nombre. La ncessit logique de l'existence
unique de cette s'impose exactement de la mme faon
que la ncessit de d'une intgrale d'quation fonction-
nelle tablie au n ~ o y e n du thorme d'Arzela (consquence du
L'identit des deux situations
permet de se demander si, dans ce dernier cas, le fait
que Ia solution pas. pour l'instant constructible n'est pas
destin se prolonger pour l'ternit.
M. Borel, dans le chapitre consacr aux de numration
parle de nombres dont la dfinition dans un algorithme
donn est extrmement exemple :nombre tel que an =
an tant le quotient incomplet), mais malheureusement,
I36 DEUX REMARQUES SUR L'INACCESS!Hl!LIT.
i1
pas, thorme dans l'nonc duquel on
inclure le nombre. Il me semble, la mme
nombres
ambi-
existe un thorme concernant un
nombre Il consiste comme conclusion les
dont on est parti. Tout rsultat mathmatique au
principe d'identit mis sous une autre forme un cheminement
plus ou long pense. Ce n'est que dans la mesure o le
cheminement est assez long que l'on est en thorme
(( valant la peine ll, Ce de valeur
subjedif. sous cette je devrais donc dire nombre
pour lequel il n'existera jamais de thormes assez du prin-
cipe d'identit pour qu'ils vaiHent la peine d'tre
Bien ce pas du principe d'identit que sont
matriellement atteintes les dmonstrations. C'est mme par un
processus tout contraire. Ce n'est pas de l'identit que l'on part,
on y aboutit. Par une ou moins consciemment raisonne
le mathmaticien se pose un problme dont la lui semble
avmr une certaine forme autre. En un non1bre fini
il sera amen retomber sur le principe
ou plutt sur des que ses ont relies au
principe d'identit. Parfois d'ailleurs il sera conduit tablir le
contraire de ce de ses recherches.
S'il existe des et qm ne
pourront jan'lais tre inclus dans des valant la peine d'tre
signals, il est permis de si rciproquement
il pas de nombres inclus. dans des thormes et dcima-
lement, ne tre atteints en un nombre fini
rations. attir rcemment l'attention sur cet de l'inacces-
sibilit dans un article (1) paru dans le Bulletin de la Socit
(
1
) L'infini en et les lments dfinis et non calculables, Bulletin de
la Socit des Sciences de n H.
des
DEUX REMARQUES SUR IL'!NACCESSllBILIT.
quelques
137
bien dfinies
et qui, peut-tre, ne sont pas
au fond, de mme nature que l'impossibilit
haut dans le domaine des Les nombres dve-
inaccessibles sont des nombres dfinis comme
d'accumulation d'ensemble qui, ne seront connus qu'en
connaissant un par un une infinit d'lments. dans ce
cas. mathmatique, mais certainement dans le cas du sport.
E DES MATIRES.
Pages.
PRFACE . v
Les nombres relativement inaccessibles.
1. La suite des nombres entiei'S .................................. .
2. Les entiers relativement accessibles. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
3. Les ensembles dnombrables ................................... , 4
4. Les divers nu,mrotages d'un mme ensemble.... . . . . . . . . . . . . . . . . . g
5. Les fonctions caractristiques du numrotage.. .. . . . . . . . . . . . . . . . . . . ro
6. L' clielle des fonctions croissantes ......... , . . . . . . . . . . . . . . . . . . . . . I2
CHAPITRE n.
Les nombres absolument inaccessibles.
7. Les nombres incommensurables .......... ....................... r5
8. La dfinilion directe des nombres incommensurables.............. 17
9. Les procds de dfinition indirecte ............. , . . . . . . . . . . . . . . . I 8
10. Les nombres absolument inaccessibles.. . . . . . . . . . . . . . . . . . . . . . . . . . . 2 I
11. L'axiome du choix de Zermelo.................................. 21
CiiAPITRE IlL
du continu.
12. L'espace euclidien. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
13. La similitude clans euclidien. . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1t., L'homognit. de l'espace ... , . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
15. Le choix dans le continu.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
Hi. La mesure et la probabilit .. ; . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3o
17. La mesure des nombres inaccessibles .. .. .. .. . . . .. .. .. .. .. . .. .. . . 3 5
18.
19.
20.
Les probabilits dans le
Critique de l'galit des
La mthode
TAB!LE DES MATIRES.
CHAPITRE IV.
du dnombrable.
dnombrable ........................... .
probabilits .............. , ............. .
2'1. Le choix effectif entre les entiers .............................. .
22. Cas des entiers inaccessibles ................................... .
23. Conclusion ............ "'' ..................................... .
CHAPITRE v.
Les diFers systmes de numrtion.
PHges.
37
24. La numration dcimale .......................... '.............. 49
25. Les numrations simples.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
26. Les numrations alphabtiques .......................... , . . . . . . . 56
27. Les numrations plusieurs hases. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .58
28. La numration factorielle ...................................... .
29. Les dveloppements unitaires normaux. . . . . . . . . . . . . . . . . . . . . . . . . . 64.
30. Les fractions continues.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
31. Les sries alternes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
CHAPITRE VL
Les dfinitions arithmtiques.
32. Les d finitions arithmtiques primitives .. 0 ~ 0 0
75
33. Les dfinitions arithmtiques secondaires .... ; ....................
77
31. Les transformatiolls euclidiennes et pseudo-euclidiennes ........... 82
35. Les transformations sous-euclidiennes ............................ 84
CHAPITRE VIL
La notion de puissance.
36. La puissance d'aprs CantOl'.................................... 87
37. La puissance du dnombrable................................... 88
38. Les dnombrables sur la sphre. . . . . . . . . . . . . . . . . . . . . . . g5
39. La du continu. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . IOO
CHAPITRE VHI.
Les ensembles inaccessibles.
40. Les ensembles accessibles. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . I04
41. L'illusion des approximations dcimales . . . . . . . . . . . . . . . . . . . . . . . . . 109
TAilLE DES MATIRES.
Pnges.
42. Les ensembles padaits non denses.. . . . . . . . . . . . . . . . . . ... . . . . . . . . . . I IO
43. Les dfinition asymptotique.. . . . . . . . . . . . . . . . . . . . . . . . II2
CHAPITRE IX.
Les ensembles Z.
44. L'axiome de Zermelo.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . II 5
45. Une d'ensembles Z................................. .. . II9
46. Dfinition des ensembles ZD.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 I
47. tude des ensembles ZD....................................... 122
48. Le paradoxe de Haussdorff ................. , . . . . . . . . . . . . . . . . . . . 124.
CHAPITRE x.
Probabilit et mesure.
49. La mesure constructive ...... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
50. La mesure axiomatique. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
51. Mesure et probabilit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
52. Choi:Jl: et probabilit.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . I 3 I
NoTE DE M. Duou. ~ D e u x remarques sur l'inaccessibilit............. r33
TABLE nEs MATIREs.............................................. r3g
IMPRIMERIE GAUTHIER-VILLARS
55, QUAI DES GRANDS-AUGUSTINS - PARIS
~ - - - - - - 138731 -------
Dpt lgal, Imprimeur,
Dpt lgal, diteur,
1, n 697
,, n" 386
ACHEV D'IMPRIMER, LE 20 SEPTEMBRE g5 I
LIBRAIRIE GAUTHIER- VILLARS
55, QUAI DES GRANDS-AUGUSTINS, PARIS (6)
lARTAN Professeur la Facult des Sciences de Paris.
- .Leons sur la Gomtrie des espaces de Riemann.
2e dition revue et augmente. In-8 (25-I 6) de vm-378 pages,
avec figures; 1946.
CHATELET (A,.), 'Ancien lve de l'cole Normale. suprieure,
Doyeh de la Facult des Sciences de Lille, et KAMPE DE
FRIET (J.), Matre .de Confrences de Mcanique la Fault
des Sciences de Lille, Professeur de M.canique l'Institut
industriel du Nord. - Calcul vectoriel. Thorie. Applica-
tions gomtrique;; et cinmatiques, destin aux lves des
Classes de mathmatiques spciales tt aux tudiants en sciences
.mathmatiques et physiques. Un volume in-8 de 426 pages,
avec 92 figures; 1924.
JULIA (Gaston), Professeur P, la Facult des Sciences qe :paris.-
lments de Gomtrie infinitsimale. (Cours de la Facult
des Sciences de Paris.) Volume in-8 rai5in de vx-262 pages, avec
17 figures, 2
8
1936.
JULIA (Gaston), Professeur la Facult des Sciences de Paris.
- Cours ae Cinmatique. Rdig par Jean DIEUDONN,
lve de l'cole Normale suprieur<r. (Cours de la Facult des .
Sciences de Paris.) Un vol. in-8 (23-r4) de 162. p:, avec 52 .fig.,
2
8
dition, 1936.
JULIA (Gaston), Professeur , la Facult des Sciences de Paris.
- Exercices d' 4Ulalyse.
ToME I, 1r fascicle. In-8 (25-1'6) de xx-2o4 pages, avec
figures.' 2e dition; 1944.
ToME II, 1r fascicule. In-8 (2S-16) de xv-344 pages, avec
figures. 2e dition; 1947.
ToME III, 1er. fascicule. In-8 (2S-16) de vx-288 pages, avec
figures. 2e dition; 1948.
ToME IV, 1er fascicule. In-8 (2S-16) de II-23o pages/ avec
figure13. 2e dition; 1948.
LVY (Paul), Professeur l'cole Polytechnique. - Thorie
de l'addition des variables, avec une Prface de M. BoREL
(Monographies des Probabilits, Calcul des Probabilits et ses
applications, n 1, publies sous la direction de M. mile BoREL).
Un volume in-8 (2S-16) de xvn-33o pages.
MINEUR (Henri), Astronome l'Observatoire de Paris. -
Technique de la mthode des carrs. Fascicule II
des Monographies des Probabilits. Calcul des . Probabilits et
ses applications, publies sous la direction de M. mile BoREL.
Un volume (25-I6) de 93 pages.
138731-ol' Paris.- Inlp. 55, quai Grands-Augutins.
1
"
1!1
s
....
-
('!)
tt!
0
l:d
t1:l
t"'l
t"'l
('!)
fil
1:1
0
s
tl"

('!)
fil
....
1:1
P'
Q
Q
('!)
fil
Cil
....
tl"
-
('!)
Cil
....
co


-