Documente Academic
Documente Profesional
Documente Cultură
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 (
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
-