Sea ahora (x

n
) una sucesin acotada de nmeros reales. Demostraremos que
el conjunto de los valores de adherencia de (x
n
) no es vaco, que entre los valores
de adherencia existe uno que es el menor de todos ellos y otro que es el mayor,
y que una sucesin es convergente, si y slo si posee un slo valor de adherencia.
Pasamos a la discusin formal.
Sea (x
n
) una sucesin acotada; digamos _ x
n
_ para todo n N.
Escribamos X
n
= x
n
; x
n+1
; : : :. Se cumple que [; ] X
1
X
2

X
n
. Luego, si a
n
= inf(X
n
) y b
n
= sup(X
n
), entonces
_ a
1
_ a
2
_ _ a
n
_ _ b
n
_ _ b
2
_ b
1
_ :
Consecuentemente, existen los siguientes lmites
a = lima
n
= supa
n
= sup
n
inf(X
n
);
a = limb
n
= inf b
n
= inf
n
sup(X
n
):
Escribiremos a = lim inf x
n
y b = lim supx
n
, y diermos que a es el lmite
inferior y que b es el lmite superior de la sucesin (x
n
). Evidentemente se
cumple:
lim inf x
n
_ lim supx
n
:
EJEMPLO 18. Sean x
2n1
= 1=n y x
2n
= 1+1=n. Se verica fcilmente
que
inf(X
2n2
) = inf(X
2n1
) =
1
n
; sup(X
2n1
) = sup(X
2n
) = 1 +
1
n
:
Luego lim inf x
n
= 0 y lim supx
n
= 1. Adems, estos son los dos nicos valores
de adherencia de la sucesin (x
n
).
TEOREMA 10. Sea (x
n
) una sucesin acotada. Entonces lim inf x
n
es
el menor valor de adherencia y lim supx
n
es el mayor valor de adherencia de la
sucesin (x
n
).
Demostracin. En primer lugar demostraremos que a = lim inf x
n
es un
valor de adherencia de la sucesin (x
n
). Para ello utilizaremos el Teorema 9.
Dados arbitrariamente " > 0 y n
0
N, demostraremos que existe n N tal que
n > n
0
y x
n
(a "; a + "). Puesto que a = lima
n
, existe n
1
> n
0
tal que
a" < a
n1
< a+". Adems, teniendo en cuenta que a
n1
= inf X
n1
, de la ltima
desigualdad se deduce que a+" no es cota inferior de X
n1
. Luego existe n _ n
1
tal que a
n1
_ x
n
< a + ". As obtenemos n > n
0
con a " < x
n
< a + ", como
queramos. Demostraremos, ahora, que ningn nmero c < a puede ser valor de
adherencia de (x
n
). De a = lima
n
y c < a se deduce que existe n
0
N tal que
c < a
n0
_ a. Como a
n0
= limX
n0
, concluimos que n _ n
0
= c < a
n0
_ x
n
.
Si " = a
n0
c, entonces c + " = a
n0
y, por tanto, el intervalo (c "; c + ") no
contiene ningn trmino x
n
con n _ n
0
. Esto excluye la posibilidad de que c
1
sea un valor de adherencia de la sucesin (x
n
). La demostracin para el lmite
superior es totalmente anloga.
COROLARIO 1. Toda sucesin acotada de nmeros reales posee una
subsucesin convergente.
En efecto, puesto que a = lim supx
n
es un valor de adherencia de (x
n
),
alguna subsucesin de (x
n
) converge hacia a.
COROLARIO 2. Una sucesin acotada de nmeros reales (x
n
) es con-
vergente si, y slo si, lim inf x
n
= lim supx
n
, esto es, si y slo si posee un nico
valor de adherencia.
En efecto, si la sucesin (x
n
) es convergente entonces lim inf x
n
= lim supx
n
=
limx
n
. Recprocamente, supongamos lim inf x
n
= lim supx
n
= lima. Con la
notacin anterior tenemos a = lima
n
= limb
n
. Por tanto, dado " > 0, existe
n
0
N tal que a " < a
n0
_ a _ b
n0
< a + ". Adems, n > n
0
implica
a
n0
_ x
n
_ b
n0
. Luego n > n
0
= a " < x
n
< a + " y, por tanto, limx
n
= a.