
AS 2
Considérons un élément (xn)n≥1de Sa. La série de terme général xn/anconverge, puisque son terme
général est majoré par (a−1)(a−1)n, avec 0< a−1<1, et l’on a
0≤
∞
X
n=1
xna−n≤(a−1)
∞
X
n=1
a−n= 1 .
L’application F, qui à (xn)n≥1dans Saassocie le nombre
∞
X
n=1
xna−n, prend ses valeurs dans [ 0,1 ] .
Le théorème suivant montre que l’application Fest surjective, et qu’elle est « presque » injective.
Théorème 1 i) Soit xdans ] 0,1 [
1) Il existe un élément X= (xn)n≥1de Satel que
(1) F(X) = x .
De plus, pour tout élément de Savérifiant (1), on a, pour tout entier r
(2) 0≤x−
r
X
n=1
xna−n≤a−r,
les inégalités ne pouvant être des égalités que si xest de classe a.
2) Si xn’est pas de classe ala suite Xvérifiant (1) est unique.
3) Si xest de classe a, il existe exactement deux suites Xet X′vérifiant (1). Elles vérifient les
propriétés suivantes : il existe un rang Ntel que
xn=x′
nsi n≤N−2
xN−1=x′
N−1+ 1
xn= 0 si n≥N
x′
n=a−1si n≥N
.
ii) On a de manière unique
0 = F(X)ou Xest la suite constante nulle
1 = F(X)ou Xest la suite constante égale à a−1.
Si r≥1, notons
Rr=x−
r
X
n=1
xna−n,
et posons
R0=x .
Avec ces notations les inégalités (2) deviennent
0≤Rr−1−xra−r≤a−r