SERIES Y NUMERACIÓN EN BASE b

Vamos a demostrar de nuevo algunos resultados sobre numeración en base b vistos en el tema 2,
desde la perspectiva de las series. Sea b ∈ N, b ≥ 2.
∞
X cn
(a) Veamos que para cualquier sucesión (cn ) en S = {0, 1, . . . , b − 1}, la serie converge y su
bn
n=1
suma pertenece al intervalo [0, 1].
cn b−1
En efecto, se trata de una serie de términos no negativos tal que, para cada n ∈ N: n ≤ n .
b b
∞ ∞
X 1 1 X b−1
La serie geométrica converge a (compruébese). En consecuencia, = 1.
bn b−1 bn
n=1 n=1
∞
X cn
Finalmente, por el criterio de comparación para series de términos no negativos, la serie
bn
n=1
converge, y su suma x satisface 0 ≤ x ≤ 1.

(b) Recordemos ahora que dado x ∈ [0, 1), definimos:

(1) x0 = x y ∀k ∈ N0 : ck+1 = bbxk c, xk+1 = bxk − bbxk c.
Se cumple que para todo n ∈ N: 0 ≤ xn < 1, cn ∈ S y
c1 c2 cn xn
(2) x= + 2 + ··· + n + n .
b b b b
P∞ cn
En consecuencia, denotando por sn las sumas parciales de la serie n=1 bn construida con esta
sucesión (cn ) determinada por x, tenemos:
1
∀n ∈ N : sn ≤ x < sn + .
bn
Como lı́m(sn + b1n ) = lı́m(sn ), la suma de la serie ∞ cn
P
n=1 bn es x.
La sucesión (cn ) puede obtenerse recursivamente también a partir de x usando (2) ası́:
c1 = bbxc y ∀n ∈ N : cn+1 = bbn+1 (x − sn )c.

(c) Respecto a la unicidad, supongamos que (cn ) y (dn ) son sucesiones en S distintas entre sı́ y tales
∞ ∞
X cn X dn
que = . Sea N ∈ N el menor natural tal que cn 6= dn . Supongamos, por ejemplo,
bn bn
n=1 n=1
cN < dN , lo que implica cN ≤ b − 2. Tenemos:
∞ ∞
cN X cn dN X dn
+ = + .
bN bn bN bn
n=N +1 n=N +1
1
 SERIES Y NUMERACIÓN EN BASE b 2

En consecuencia,
∞ ∞ ∞
1 dN − cN X cn − dn X cn − dn X cn − dn
≤ = = ≤ =
bN bN bn bn bn
n=N +1 n=N +1 n=N +1
∞ ∞ ∞
X |cn − dn | X b−1 X 1 1
= n
≤ n
= (b − 1) n
= N.
b b b b
n=N +1 n=N +1 n=N +1
∞ ∞
X cn − dn X b−1
Todas las desigualdades intermedias son, por tanto, igualdades. En particular, n
=
b bn
n=N +1 n=N +1
∞
X b − 1 − (cn − dn )
o, equivalentemente, = 0. Como los términos de la última serie son no
bn
n=N +1
negativos, debe ser
∀n ≥ N + 1 : cn − dn = b − 1, de donde ∀n ≥ N + 1 : cn = b − 1 y dn = 0.
Además, dN = cN + 1
La suma común de las dos series es, pues,
d1 d2 dN c1 c2 cN + 1
x= + 2 + ··· + N = + 2 + ··· + .
b b b b b bN
La expresión en base b de este x ∈ [0, 1) definida en (b) es (compruébese) (00 d1 d2 . . . dN 0̄)b .