Captulo 3

Sucesiones
3.1. Deniciones Generales.
El tema de este captulo es el estudio de las sucesiones de n umeros reales.
Una sucesion no es mas que un conjunto ordenado de n umeros. Por ejemplo,
2, 4, 6, 8, 10, 12, . . . , 2n, . . .
es la sucesion de los n umeros pares positivos. El primer elemento de esta sucesion
es 2, el segundo es 4, el quinto es 10 y el elemento que ocupa el lugar n es 2n.
Vemos en este ejemplo que lo que hemos hecho es asociar a cada n umero natural
1, 2, 3, . . . un n umero par 2, 4, 6, . . . de la siguiente manera:
1 2 3 4 5 n

2 4 6 8 10 2n
Por lo tanto, una sucesion no es mas que una funcion denida sobre los
n umeros naturales. Dependiendo del espacio en el cual tome valores esta fun-
cion tendremos sucesiones de distintos tipos: de n umeros reales, de n umeros
complejos, de vectores en R
n
, de funciones, etc. La denicion formal es la si-
guiente:
Denicion 3.1 Si X es un conjunto, una sucesion en X es una funcion f : N
X. Si f(n) = x
n
, decimos que x
n
es el n-esimo termino de la sucesion.
Usualmente escribiremos (x
n
)

n=1
o {x
n
, n 1} para denotar esta sucesion y
en algunos casos simplemente (x
n
). En general tomaremos X = R pero muchos
de los resultados que veremos a continuacion son validos en otros conjuntos. En
ocasiones consideraremos sucesiones que comienzan con el ndice cero en lugar
de comenzar con el uno: (x
n
)

n=0
o {x
n
, n 0}. Tambien es posible considerar
sucesiones doblemente innitas {x
n
, n Z} o sucesiones que comienzan en el
ndice p : {x
n
, n p} = {x
n+p
, n 0}.
46 CAP

ITULO 3. SUCESIONES
Denicion 3.2 Sea (x
n
)

n=1
una sucesion en un espacio metrico (X, d) y x X.
Decimos que la sucesion (x
n
)

n=1
converge a x, si para todo real positivo existe
un entero positivo N = N() tal que x
n
B(x; ), siempre que n N.
Si (x
n
)

n=1
converge a x escribimos x
n
x cuando n o lim
n
x
n
=
x, decimos que x es el lmite de la sucesion (x
n
)

n=1
y que la sucesion es conver-
gente. Una sucesion que no es convergente, es divergente.
En R con la metrica usual, la denicion de convergencia puede reformularse
de la siguiente manera: si x R, B(x, ) = {y : |y x| < } de modo que
x
n
x cuando n , si dado > 0 existe un entero positivo N = N() tal
que
|x x
n
| < siempre que n N.
Ejemplos 3.1
1. x
n
=
1
n
. Esta sucesion converge a 0 en R: dado > 0 escogemos N = N()
tal que
1
N
< (esto es posible por la propiedad Arquimedeana de N).
Entonces tenemos que para todo n N,
|x
n
x| = |
1
n
0| = |
1
n
|
1
N
< .
Sin embargo, si consideramos esta sucesion en el conjunto de los reales po-
sitivos (0, +) la sucesion no es convergente, ya que el lmite no pertenece
al conjunto donde hemos denido la sucesion.
Gracamente (ver gura 3.1), la convergencia equivale a que, para cual-
quier > 0, a partir de un cierto ndice N, todos los miembros de la
sucesion caigan dentro de una banda de ancho 2 centrada en el valor del
lmite, que es cero en este caso.
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
...................................................................................................................................................................................................................... ................
. . . . . . . . . . . . . . . .
............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ..
............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ..
......
....
....
....
......................................................
0
1

1 2 3
. . .
N
Figura 3.1: La sucesion 1/n.
2. x
n
= n en R. Esta sucesion es divergente ya que para cualquier x R y
cualquier > 0 jo existe N N tal que N > x + y la condicion de la
denicion no se satisface.
3.1. DEFINICIONES GENERALES. 47
3. Consideremos la sucesion x
n
= 1 +
(1)
n
n
para n N. Hemos visto en el
primer ejemplo que la sucesion (
1
n
) converge a 0 y por lo tanto nuestra
idea intuitiva es que la sucesion x
n
= 1+
(1)
n
n
debe converger a 1+0 = 1.
Veamos a partir de la denicion que esto es efectivamente cierto. Sea > 0,
queremos ver que existe N = N() tal que si n N, |x
n
1| < .
|x
n
1| =

1 +
(1)
n
n
1

(1)
n
n

=
1
n
.
Al igual que en el ejemplo 1, basta escoger N de modo que
1
N
< para
tener
|x
n
1| =
1
n

1
N
< ,
siempre que n N.
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
...........................................................................................................................................................................................................................................................................................
. . . . . . . . . . . . . . . .
............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. .............
............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. .............
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
....
....
....
.................................................................................................................................................................................................................................
0
1
1 +
1

1 2 3
N
Figura 3.2: La sucesion 1 +
(1)
n
n
.
La nocion de convergencia de una sucesion es una de las ideas primordiales
del Analisis Matematico y sera fundamental para lo que estudiaremos en este
texto. Es importante que sea comprendida a cabalidad por el estudiante.
El proximo teorema nos muestra que una sucesion no puede tener mas de
un lmite.
Teorema 3.1 Si (x
n
) es una sucesion en (X, d) y converge tanto a x como a
y, entonces x = y.
Demostracion. Supongamos x = y, entonces d(x, y) = > 0 (ver gura 3.3)
y existen enteros positivos N
1
y N
2
tales que
n > N
1
d(x
n
, x) < /2,
n > N
2
d(x
n
, y) < /2.
Tomemos N = max(N
1
, N
2
), entonces si n > N tenemos, usando la propiedad
triangular, que
= d(x, y) d(x, x
n
) + d(x
n
, y) < ,
una contradiccion.

48 CAP

ITULO 3. SUCESIONES
.
.
.
.
.
.
.
.
..............
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..............
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ..............
.............
........................................................... . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
x
y

Figura 3.3:
Denicion 3.3 Una funcion f : Y X es acotada si el recorrido f(Y ) =
{x X : existe y Y tal que f(y) = x} es un conjunto acotado, es decir, si
para alg un x X y R
+
, f(Y ) B(x; ). En particular para una funcion
real (X = R) podemos tomar x = 0 y entonces f es acotada s y solo s existe
R
+
tal que |f(y)| < para todo y Y. Si Y = N la funcion es una sucesion
y es acotada si existe > 0 tal que |x
n
| < para todo n N.
Teorema 3.2 Toda sucesion convergente es acotada.
Demostracion. Sea (x
n
)

n=1
una sucesion convergente en (X, d) y sea x su
lmite. Existe un entero positivo N tal que d(x, x
n
) < 1, si n > N. Denimos
= max{1, 2d(x, x
1
), 2d(x, x
2
), . . . , 2d(x, x
N
)}
entonces {x
n
, n 1} B(x; ) de modo que (x
n
)

n=1
es acotada.

.................................... . . . . . . . .
. . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..............................
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
........
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . .
.
.
.
.
.
.
.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
...............................................................................................................
.................................... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
...............................................................................................................................................
x
x
1
x
2
x
j
x
N
x
N+1

Figura 3.4: Toda sucesion convergente es acotada.

Teorema 3.3 Sea (x
n
)

n=1
una sucesion en un espacio metrico (X, d),
(i) (x
n
)

n=1
converge a x X s y solo s toda vecindad de x contiene todos
los terminos de (x
n
)

n=1
excepto un n umero nito de ellos.
(ii) Si E X y x es un punto de acumulacion de E, existe una sucesion
(x
n
)

n=1
en E para la cual x = lim
n
x
n
.
3.1. DEFINICIONES GENERALES. 49
Demostracion.
(i) Sea V una vecindad de x, entonces existe r R, r > 0, tal que B(x; r) V.
Para este r existe N = N(r) tal que si n N, d(x, x
n
) < r; es decir, que
para todo n N, x
n
B(x; r).
Supongamos ahora que toda vecindad de x contiene a todos los elemen-
tos de la sucesion, excepto por un n umero nito de ellos. Dado > 0,
consideremos como vecindad a B(x; ). Entonces existe N = N() tal que
si n N, x
n
B(x; ), es decir d(x, x
n
) < y por lo tanto la sucesion
converge a x.
(ii) Como x es punto de acumulacion de E, para cada n N existe x
n
E
tal que d(x
n
, x) < 1/n. Veamos que (x
n
)

n=1
converge a x: dado > 0
tomamos N de modo que N > 1. Entonces, si n N, d(x
n
, x) < 1/n
1/N < .

Ejercicios 3.1
1. Establezca la convergencia o divergencia de la sucesion (x
n
)
nN
en R con la
metrica usual:
x
n
=
n
n + 1
; x
n
=
(1)
n
n
n + 1
; x
n
=
2n
3n
2
+ 1
; x
n
=
2n
2
+ 3
3n
2
+ 1
; x
n
= 2n
2
n.
2. (a) De un valor de N tal que si n > N, n
2
4n > 10
6
. (b) De un valor de N tal
que si n > N entonces |x
n
x| < 10
100
, donde x
n
=
n
2
+1
n
2
y x es el lmite de
esta sucesion.
3. Muestre que ((x
n
, y
n
))
nN
converge a (x, y) en R
2
con la metrica usual:
(i) (x
n
, y
n
) = (
1
n
, 1) con (x, y) = (0, 1);
(ii) (x
n
, y
n
) = (
1
n
, 1 +
1
n
) con (x, y) = (0, 1)
(iii) (x
n
, y
n
) = (2 +
1
n
2
, 1 +
(1)
n
n
) con (x, y) = (2, 1)
4. Sea (X, d) un espacio metrico discreto. Muestre que una sucesion (x
n
)
nN
con-
verge s y solo s es constante a partir de alg un ndice n
0
.
5. Muestre que (x
n
, y
n
) (x, y) en R
2
cuando n s y solo s x
n
x e y
n
y
en R.
6. La sucesion (x
n
)n N converge a x en (X, d) s y solo s la sucesion (d(x
n
, x))
nN
converge a 0 en R.
7. Si (x
n
)
nN
e (y
n
)
nN
son sucesiones en (X, d) tales que {n N : x
n
= y
n
} es
nito, entonces o bien ambas sucesiones convergen al mismo lmite o bien ambas
divergen.
8. Si (x
n
)
nN
es una sucesion en (X, d), p N, e y
n
= x
n+p
entonces o bien ambas
sucesiones convergen al mismo lmite o bien ambas divergen.
9. Si (x
2n
) y (x
2n+1
) convergen al mismo lmite x entonces (x
n
) converge a x.
10. Sean d
1
y d
2
dos metricas equivalentes en el espacio X y sea (x
n
) una sucesion
en X. Demuestre que x
n
converge a x X en la metrica d
1
s y solo s converge
al mismo punto en la metrica d
2
.
50 CAP

ITULO 3. SUCESIONES
3.2. Sucesiones de N umeros Reales
Consideraremos ahora el caso particular X = R con la distancia usual d de
los n umeros reales: si x, y R
d(x, y) = |x y|.
En R tenemos una relacion de orden y una serie de operaciones que hemos
estudiado en captulos anteriores. El primer teorema de esta seccion nos indica
como se relacionan los lmites con las operaciones de los n umeros reales.
Teorema 3.4 Supongamos que (x
n
) y (y
n
) son sucesiones de n umeros reales y
x
n
x, y
n
y. Entonces
i) lim(x
n
+ y
n
) = x + y.
ii) Para c R, lim(cx
n
) = cx.
iii) lim(x
n
y
n
) = xy.
iv) lim(x
n
/y
n
) = x/y si y = 0, y
n
= 0 para todo n N.
Demostracion.
i) Dado > 0, existen N
1
y N
2
en N tales que
n N
1
|x
n
x| <

2
,
n N
2
|y
n
y| <

2
.
Tomando N = max(N
1
, N
2
) tenemos
n N |(x
n
+ y
n
) (x + y)| |x
n
x| +|y
n
y| <
lo que muestra i).
ii) Dado > 0 escogemos N N de modo que
n N |x
n
x| <

(1 +|c|)
,
entonces
n N |cx
n
cx| = |c||x
n
x| <
|c|
1 +|c|
< .
iii) Tenemos
x
n
y
n
= x
n
y
n
xy
n
x
n
y + xy + xy
n
+ x
n
y xy
= (x x
n
)(y y
n
) + xy
n
+ x
n
y xy.
3.2. SUCESIONES DE N

UMEROS REALES 51
Usando i) y ii) vemos que
limx
n
y
n
= lim(x x
n
)(y y
n
) + xlimy
n
+ y limx
n
xy
= lim(x x
n
)(y y
n
) + xy.
Por lo tanto basta ver que lim(x x
n
)(y y
n
) = 0. Dado > 0 existen
N
1
y N
2
en N tales que
n N
1
|x
n
x| <

n N
2
|y
n
w| <

y si n max(N
1
, N
2
) entonces
|(x
n
x)(y
n
y)| = |x
n
x||y
n
y| < .
iv) Por iii) basta ver que lim(1/y
n
) = 1/y si y = 0, y
n
= 0 para todo n N.
Sea > 0 jo. Como y = 0 y esta jo, escogemos N
0
N tal que si
n N
0
entonces |y y
n
| < |y|/2. Entonces, si n N
0
la desigualdad
|y| |y
n
| +|y
n
y| implica
|y
n
| |y| |y y
n
| > |y|/2.
Ahora escogemos N
1
N
0
en N tal que si n N
1
|y y
n
| < |y|
2
/2.
Usando ambas desigualdades tenemos
n N
1
|
1
y
n

1
y
| =
|y y
n
|
|y
n
||y|
<
2|y y
n
|
|y|
2
< .

3.2.1. Lmites innitos

Denicion 3.4 Sea (x
n
)

n=1
una sucesion en R

, decimos que esta sucesion

tiene lmite innito o tiende a innito, si dado cualquier a R existe N
N tal que si n N entonces x
n
> a. Escribimos x
n
cuando n
o lim
n
x
n
= .
De manera similar decimos que la sucesion tiene lmite menos innito o
tiende a menos innito si dado cualquier a R existe N N tal que si n N,
entonces x
n
< a. Escribimos x
n
cuando n o lim
n
x
n
= .
Ejemplos 3.2
1. x
n
= n
2
. Esta sucesion tiende a innito: como los terminos de la sucesion
son positivos basta considerar a > 0 en la denicion. En este caso basta
tomar N

a para obtener que

n N x
n
> a.
52 CAP

ITULO 3. SUCESIONES
2. x
n
=
1
(2n + 1)
1/2
(2n 1)
1/2
. Veamos que esta sucesion tambien tiende
a innito.
x
n
=
1
(2n + 1)
1/2
(2n 1)
1/2
=
(2n + 1)
1/2
+ (2n 1)
1/2
(2n + 1) (2n 1)
=
1
2
((2n + 1)
1/2
+ (2n 1)
1/2
)

1
2
(2(2n 1)
1/2
)
= (2n 1)
1/2
.
Dado a > 0 basta tomar N >
a
2
+1
2
para obtener que
n > N
1
(2n + 1)
1/2
(2n 1)
1/2
> a.
Resaltamos la diferencia entre x
n
x y x
n
. En el primer caso x es
un n umero y podemos medir la distancia entre x y x
n
. En cambio, no es
un n umero. Sin embargo, podemos unicar las tres deniciones de lmite de la
siguiente manera.
Denicion 3.5 Una vecindad de en R

es cualquier intervalo de la forma

(a, ], donde a R. Una vecindad de es cualquier intervalo de la forma
[, b), donde b R.
Teniendo en cuenta el Teorema 3.3 podemos armar lo siguiente: si (x
n
)

n=1
es una sucesion en R

y x R

, limx
n
= x s y solo s cada vecindad de x
contiene a todos los puntos x
n
, excepto, quizas, para una cantidad nita de
ndices n.
Las sucesiones que no tienen lmite en el sentido que acabamos de describir,
se conocen como sucesiones oscilantes.
Ejemplo 3.3
Sea x
n
= (1)
n
. Si n es par, x
n
= 1 mientras que si n es impar, x
n
= 1; pero ni
1 ni 1 pueden ser lmites de esta sucesion: supongamos que 1 es lmite, entonces
a partir de un cierto entero N, todos los terminos de la sucesion deberan estar
en la vecindad B(1; 0,2) : n > N x
n
B(1; 0,2). Pero si n > N es impar
entonces x
n
= 1 / B(1; 0,2), y la sucesion no converge a 1. De manera similar
se muestra que tampoco converge a 1.
Uno podra pensar que si (x
n
)

n=1
es una sucesion convergente con lmite x
y b es un n umero real tal que x
n
< b para todos los ndices n N, entonces
3.2. SUCESIONES DE N

UMEROS REALES 53
.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
...............................................................................................................................................................................................................................................................................................
. . . . . . . . . . . . . . . .
............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. .............
............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. .............
............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. .............
............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. .............
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
... ... ...
0
1
1

1 2 3
Figura 3.5: La sucesion (1)
n
.
tambien x < b. Pero esto no es cierto: basta tomar x
n
= 1 1/n para todos los
enteros positivos n, x = 1 y b = 1. Con este ejemplo vemos que el resultado del
proximo teorema es lo mejor que se puede esperar.
Teorema 3.5 Sea (x
n
)

n=1
una sucesion convergente de n umeros reales con
lmite x. Si b R es tal que x
n
b para todo n N, entonces x b.
Demostracion. Supongamos que x > b, entonces tomando h =
xb
2
> 0 existe
N
h
N tal que x
n
B(x; h) para todo n N
h
y esto implica
x
n
> x h = x
1
2
(x b) > b +
1
2
(x b) > b
lo que contradice la hipotesis.

Corolario 3.1 Sean (x

n
)

n=1
y (y
n
)

n=1
sucesiones convergentes de n umeros
reales con lmites x e y respectivamente. Si x
n
y
n
para todo n N, entonces
x y.
Demostracion. Aplicamos el teorema anterior a la sucesion z
n
= x
n
y
n
. Esta
sucesion tiene lmite x y y como z
n
0 para todo n, x y 0.

Corolario 3.2 Si (x
n
)

n=1
, (y
n
)

n=1
y (z
n
)

n=1
son sucesiones de n umeros reales
con y
n
x
n
z
n
para todo n y limy
n
= limz
n
= entonces (x
n
)

n=1
es
convergente y limx
n
= .
Demostracion. Ejercicio.
Denicion 3.6 Sea (x
n
)

n=1
una sucesion de n umeros reales. Denimos
sup
n
x
n
= sup{x
n
: n N}, inf
n
x
n
= inf{x
n
: n N}.
Ejemplos 3.4
1. Para la sucesion x
n
= (1)
n
, n 1, sup x
n
= 1, inf x
n
= 1.
2. Para la sucesion x
n
= 1
1
n
, n 1, supx
n
= 1, inf x
n
= 0.
54 CAP

ITULO 3. SUCESIONES
3.2.2. Sucesiones Monotonas
Denicion 3.7 Si x
n
x
n+1
para todo n N, decimos que la sucesion (x
n
)

n=1
es creciente y escribimos a
n
. Es util considerar el crecimiento de la sucesion en
sentido amplio, permitiendo que terminos sucesivos sean iguales. Si x
n
< x
n+1
para todo n N, decimos que la sucesion es estrictamente creciente y escribimos
a
n
. Si x
n+1
x
n
para todo n N, decimos que la sucesion es decreciente,
escribimos a
n
, y si x
n+1
< x
n
para todo n, que es estrictamente decre-
ciente y escribimos a
n
. Decimos ademas que cualquiera de estas sucesiones es
monotona.
Ejemplos 3.5
1. La sucesion x
n
= 1
1
n
, n 1, es creciente.
2. La sucesion
1
n
, n 1, es decreciente.
3. La sucesion x
n
= (1)
n
, n 1, no es monotona.
Probaremos a continuacion una propiedad importante de las sucesiones mo-
notonas: no pueden ser oscilantes.
Teorema 3.6 Toda sucesi on monotona en R

tiene lmite en R

. Una sucesion
monotona en R converge s y solo s es acotada.
Demostracion. Consideremos una sucesion creciente (x
n
)

n=1
en R

: x
1

x
2
x
3
. . . y sea x = sup{x
n
: n N}. Veamos que x = limx
n
:
Caso 1: x = , entonces x
n
= para todo n N y es facil ver que
limx
n
= .
Caso 2: x = , es decir (x
n
)

n=1
no esta acotada superiormente. Por lo tanto,
dado M > 0 existe N N tal que x
N
> M. Pero como la sucesion es creciente
se cumple que
n N x
n
x
N
> M
es decir, limx
n
=
Caso 3: x R. Dado > 0 existe N N tal que x
N
> x. De nuevo, como
la sucesion es creciente
n N x < x
N
x
n
x
de modo que si n N, d(x
n
, x) < y concluimos que limx
n
= x.
La demostracion para sucesiones decrecientes es similar tomando x = inf{x
n
:
n N}

Corolario 3.3 Si (x
n
)

n=1
es una sucesion creciente en R

, limx
n
= sup{x
n
:
n N}. Si (x
n
)

n=1
es una sucesi on decreciente en R

, limx
n
= inf{x
n
: n N}.
3.2. SUCESIONES DE N

UMEROS REALES 55
Ejemplo 3.6
La sucesion a
n
.
Un ejemplo util e importante es el de la sucesion x
n
= a
n
, para a R. El
comportamiento de esta sucesion cuando n depende del valor de a.
1. Si a = 0, x
n
= a
n
= 0 y limx
n
= 0.
2. Si a = 1, x
n
= a
n
= 1 y limx
n
= 1.
3. Si a = 1, la sucesion toma alternadamente los valores +1 y 1 y es
oscilante.
4. Si a > 1 la sucesion x
n
= a
n
es creciente:
x
n
x
n1
= a
n
a
n1
= a
n1
(a 1) > 0.
Por el Corolario 3.3, limx
n
= supx
n
. Veamos que la sucesion no esta aco-
tada. Sea k = a 1 > 0 y escribamos a = 1 + k. Usando el desarrollo
binomial obtenemos
x
n
= a
n
= (1 + k)
n
=
n

j=0
_
n
j
_
k
j
> 1 + nk
Como k > 0, la sucesion (1 + nk)

n=1
no esta acotada y por lo tanto
tampoco lo esta (x
n
)

n=1
.
5. Si 0 < a < 1 entonces 1 < a
1
. Sea k > 0 tal que a
1
= 1 + k. Entonces
0 < x
n
=
1
(1 + k)
n
<
1
1 + nk
.
Es facil ver que cuando n , 1/(1 + nk) 0, de modo que por el
Corolario 3.2, x
n
0.
6. Si a < 1 entonces a = b, con b > 1 y por (4) b
n
. Por lo tanto la
sucesion (b
n
)
n
toma alternadamente valores positivos y negativos que son
cada vez mas grandes en valor absoluto, es decir la serie es oscilante y no
es acotada.
Resumiendo tenemos
(1) a > 1, a
n
.
(2) a = 1, a
n
1.
(3) 1 < a < 1, a
n
0.
(4) a = 1, a
n
oscila y es acotada.
(5) a < 1, a
n
oscila y no es acotada.
56 CAP

ITULO 3. SUCESIONES
3.2.3. El n umero e
Proposicion 3.1 El n umero e. Para n N sean
a
n
=
_
1 +
1
n
_
n
, b
n
=
_
1 +
1
n
_
n+1
,
entonces (a
n
)

n=1
es creciente, (b
n
)

n=1
es decreciente y ambas sucesiones con-
vergen al mismo lmite. Este lmite com un se denota por e y se cumple que
2 < e < 4.
Demostracion. Necesitamos el siguiente resultado, conocido como la desigual-
dad de Bernoulli (ver Ejercicio 1.4.4). En la parte (4) del ejemplo anterior
demostramos un caso particular:
Si x 1 y k N entonces (1 + x)
k
1 + kx. Hay igualdad solo si k = 1
o x = 0.
Haremos la demostracion de la monotona de las sucesiones por induccion.
Veamos que la sucesion (a
n
)

n=1
es creciente: queremos ver que
_
1 +
1
n
_
n

_
1 +
1
n + 1
_
n+1
.
Multiplicando y dividiendo el primer termino por
_
1 +
1
n
_
esto es equivalente a
_
1 +
1
n
_
n+1
_
1 +
1
n
_
_
1 +
1
n + 1
_
n+1
y esto es
n
n + 1

_
1 +
1
n+1
1 +
1
n
_
n+1
=
_
n(n + 2)
(n + 1)
2
_
n+1
=
_
(n + 1)
2
1
(n + 1)
2
_
n+1
,
por lo tanto queremos ver que
n
n + 1

_
1
1
(n + 1)
2
_
n+1
y esto es cierto por la desigualdad de Bernoulli, tomando x =
1
(n+1)
2
y k = n+1.
Veamos que la sucesion (b
n
)

n=1
es decreciente. Queremos mostrar que
_
1 +
1
n
_
n+1

_
1 +
1
n + 1
_
n+2
,
es decir
_
n + 1
n
_
n+1

_
n + 2
n + 1
_
n+2
y esto equivale a
_
(n + 1)
2
n(n + 2)
_
n+1

n + 2
n + 1
,
3.2. SUCESIONES DE N

UMEROS REALES 57
o sea
_
1 +
1
n(n + 2)
_
n+1
1 +
1
n + 1
.
Por la desigualdad de Bernoulli con k = n + 1 y x =
1
n(n+2)
tenemos
_
1 +
1
n(n + 2)
_
n+1
1 +
n + 1
n(n + 2)
> 1 +
1
n + 1
ya que
(n + 1)
2
n(n + 2)
=
n
2
+ 2n + 1
n
2
+ 2n
> 1.
Hemos visto entonces que (a
n
) es creciente y (b
n
) es decreciente. Ademas a
n
< b
n
y por monotona de las sucesiones, para cualquier n N tenemos
2 = a
0
a
n
< b
n
b
0
= 4
es decir, las sucesiones estan acotadas y como son monotonas, ambas convergen.
Supongamos que a
n
a y b
n
b, usando la monotona de nuevo y el Corolario
3.1 tenemos
_
1 +
1
n
_
n
a b
_
1 +
1
n
_
n+1
de aqu obtenemos
1
b
a
1 +
1
n
.
Como esto es cierto para todo n concluimos que a = b.
Ejercicios 3.2
1. Si limx
n
= x entonces lim|x
n
| = |x|, pero el recproco es falso a menos que
x = 0.
2. Si x > 0, limx
1/n
= 1.
3. Demuestre que para cualquier x R, lim
x
n
n!
= 0. Deduzca que ((n!)
1/n
) no es
acotada.
4. Discuta el comportamiento cuando n , de la sucesion a
n
/n
k
, donde k es un
entero positivo jo.
5. Si s
1
> 0 y s
n+1
Ks
n
, donde K > 1, para todos los valores de n, entonces
s
n
+.
6. Si para todo n, |s
n+1
| K|s
n
|, donde 0 < K < 1, entonces s
n
0. La
conclusion es valida si la hipotesis se satisface solo para n > N.
7. Si lim
x
n+1
x
n
= h, con 1 < h < 1, muestre que x
n
0. Si h > 1 demuestre que
(x
n
) no esta acotada. Si h = 1 la sucesion puede ser convergente o divergente.
De ejemplos de sucesiones x
n
para las cuales h = 1 y (a) x
n
, (b) x
n
5,
(c) x
n
0.
58 CAP

ITULO 3. SUCESIONES
8. Si x
n
> 0, n N y x
1/n
n
h cuando n demuestre que si h < 1, (x
n
)
converge a cero mientras que si h > 1, (x
n
) no esta acotada. Si h = 1, (x
n
) puede
ser convergente o divergente. De ejemplos de sucesiones s
n
para las cuales h = 1
y (a) s
n
, (b) s
n
5, (c) s
n
0.
9. Si x
n
> 0, n N y lim
x
n+1
x
n
= h demuestre que x
1/n
n
h cuando n . En
consecuencia, el metodo del problema 8 es mas fuerte que el del problema 7.
(Ayuda: Si h > 0 y 0 < < h, demuestre que para alg un N N:
x
N
(h )
nN
< x
n
< x
N
(h + )
nN
si n > N.
Luego use el problema 2 para mostrar que existe N

N tal que, si n > N

,
h < x
1/n
n
< h + ).
10. Demuestre que si (a
n
) converge a cero y (b
n
) esta acotada, entonces (a
n
b
n
)
converge a cero. En cambio, si (a
n
) converge a un n umero distinto de cero, es
posible que (a
n
b
n
) no converja.
11. Demuestre que
sup
n
1
1 + n + n
2
=
1
3
, inf
n
1
1 + n + n
2
= 0
12. De un ejemplo de una sucesion (x
n
) para la cual, si A es un conjunto nito
cualquiera de valores de la sucesion, inf x
n
< inf A < sup A < sup x
n
.
13. Si (x
n
), (y
n
) son sucesiones acotadas y positivas de n umeros reales, demuestre
que sup(x
n
y
n
) sup x
n
sup y
n
, inf(x
n
y
n
) inf x
n
inf y
n
.
14. Si x
n
converge a x e y
n
converge a y, entonces m ax{x
n
, y
n
} converge a max{x, y}
y mn{x
n
, y
n
} converge a mn{x, y}.
15. Si (x
n
) es una sucesion acotada demuestre que
sup

x
1
+ + x
n
n

sup x
n
, inf

x
1
+ + x
n
n

inf x
n
,
y si x
n
0 entonces
sup(x
1
x
2
x
n
)
1/n
sup x
n
, inf(x
1
x
2
x
n
)
1/n
inf x
n
.
16. Sea (x
n
) una sucesion monotona. Muestre que (x
1
+x
2
+ +x
n
)/n es monotona
y crece o decrece seg un x
n
sea creciente o decreciente.
17. Si (x
n
) es una sucesion de n umeros reales, (y
n
) una sucesion de reales positivos
y (x
n
/y
n
) es monotona, entonces la sucesion denida por z
n
= (x
1
+x
2
+ +
x
n
)/(y
1
+ y
2
+ + y
n
) es monotona.
18. Sea 0 < a < b < . Denimos x
1
= a, x
2
= b, x
n+2
= (x
n
+ x
n+1
)/2. Es
convergente la sucesion (x
n
)? Si la respuesta es armativa, Cual es el lmite?
3.3. Lmites superior e inferior de una sucesion.
Denicion 3.8 Sea (x
n
)

n=1
una sucesion en R

. Para cada k N denimos

k
= sup
nk
x
n
;
k
= inf
nk
x
n
.
3.3. L

IMITES SUPERIOR E INFERIOR DE UNA SUCESI

ON. 59
Vemos que la sucesion (
n
)

n=1
es decreciente mientras que (
n
)

n=1
es creciente.
Denimos el lmite superior de la sucesion (x
n
)

n=1
, lim
n
x
n
o limsup
n
x
n
por
limx
n
= lim
k

k
= lim
k
sup
nk
x
n
,
y el lmite inferior de la sucesion: lim
n
x
n
o liminf
n
x
n
por
limx
n
= lim
k

k
= lim
k
inf
nk
x
n
.
Ambos lmites estan siempre denidos y son elementos de R

. Por la monotona
de las sucesiones (
k
) y (
k
) tenemos
limx
n
= lim
k
sup
nk
x
n
= inf
k1
sup
nk
x
n
,
limx
n
= lim
k
inf
nk
x
n
= sup
k1
inf
nk
x
n
.
Ademas como
k

k
para todo k se tiene que
lim x
n
limx
n
.
Una forma equivalente de escribir ambas deniciones es la siguiente:
limx
n
= lim
n
sup
p1
x
n+p
,
limx
n
= lim
n
inf
p1
x
n+p
.
Teorema 3.7 Sea (x
n
)

n=1
una sucesion en R

y a, b R

. Entonces
1. limx
n
= a s y solo s se cumplen las siguientes dos condiciones:
a) Si < a el conjunto {n N : x
n
> } es innito.
b) Si > a el conjunto {n N : x
n
> } es nito.
2. limx
n
= b s y solo s se cumplen las siguientes dos condiciones:
a) Si < b el conjunto {n N : x
n
< } es nito.
b) Si > b el conjunto {n N : x
n
< } es innito.
Demostracion. Haremos solo el caso (1) con a nito. Sea
k
= sup
nk
x
n
y
a = lim
k
. Sea < a, entonces
k
> para todo k. Por la denicion de
k
,
para cada k existe n
k
k tal que
k
x
n
k
> . Por lo tanto
{n N : x
n
> } {n
k
: k N}
y este ultimo conjunto es innito.
60 CAP

ITULO 3. SUCESIONES
Sea ahora a < . Como
k
a existe k
0
tal que
k
0
< y por lo tanto si
n k
0
, x
n

k
0
< . Esto quiere decir que el conjunto {n N : x
n
> } es
nito.
Supongamos ahora que se satisfacen las condiciones 1.a) y b). Si < a <
, dado > a podemos escoger k
0
N tal que x
n
para todo n k
0
.
Por lo tanto
k

k
0
para todo k k
0
y limsupx
n
= lim
k

k
.
Como esto es cierto para todo > a concluimos que limsupx
n
a. Por otro
lado, si < a el conjunto {n N : x
n
> } es innito y por lo tanto
k
> y
limsupx
n
= lim
k
. Como esto es valido para cualquier < a concluimos
que limsup x
n
a.

Teorema 3.8 Sea (x

n
)

n=1
una sucesion en R

. Entonces limx
n
existe en R

s y solo s limx
n
= limx
n
. En este caso limx
n
= limx
n
= limx
n
.
Demostracion. Supongamos que limx
n
= limx
n
= . Si R entonces
lim
n
_
sup
p1
x
n+p
_
= lim
n
_
inf
p1
x
n+p
_
=
y dado > 0 existe un entero N tal que
sup
p1
x
n+p
+ para todo n N,
inf
p1
x
n+p
para todo n N.
Por lo tanto
x
n
+ para todo n N + 1
y de aqu concluimos que x
n
cuando n .
Si = +, entonces 1.a) del Teorema 3.7 dice que para cualquier R,
existe N N tal que x
n
> para todo n > N, y por lo tanto limx
n
= +.
De manera similar se trata el caso = .
Supongamos ahora que limx
n
= . Si R, dado > 0 existe N tal que
< x
n
< + para todo n N.
Por lo tanto
inf
p1
x
n+p
sup
p1
x
n+p
+ para todo n N
y entonces
lim
_
inf
p1
x
n+p
_
lim
_
sup
p1
x
n+p
_
+
Como esto es cierto para cualquier concluimos
limx
n
= limx
n
= .
3.3. L

IMITES SUPERIOR E INFERIOR DE UNA SUCESI

ON. 61
Si limx
n
= +, dado M R existe N N tal que si n N entonces x
n
> M.
Por lo tanto
inf
p1
x
n+p
M para n N
y en consecuencia
limx
n
= lim inf
p1
x
n+p
M.
Esto quiere decir que += limx
n
limx
n
+.
De manera similar se muestra el resultado en el caso limx
n
= .

Denicion 3.9 Sea (x

n
)

n=1
una sucesion en R

. Un punto x R

es un punto
de acumulacion de la sucesion si toda vecindad de x contiene a innitos elemen-
tos de la sucesion. Es decir, si B = {x
n
: n N}, x es un punto de acumulacion
de la sucesion s y solo s es punto de acumulacion del conjunto B.
Teorema 3.9 Sea (x
n
)

n=1
una sucesi on en R

y sea A el conjunto de puntos

de acumulacion de esta sucesion. Entonces
i) limx
n
A y limx
n
A.
ii) limx
n
c limx
n
para todo c A.
Demostracion. Esto es consecuencia inmediata del Teorema 3.7.
Corolario 3.4 Una sucesi on en R

tiene lmite en R

s y solo s tiene un solo

punto de acumulacion.
Ejercicios 3.3
1. Si x
n
= (1)
n
, muestre que limx
n
= 1, limx
n
= 1.
2. Sean (x
n
) e (y
n
) sucesiones reales acotadas, entonces
limx
n
+ limy
n
lim(x
n
+ y
n
)

limx
n
+ limy
n
limx
n
+ limy
n

lim(x
n
+ y
n
) limx
n
+ limy
n
.
De ejemplos que muestren que estas desigualdades pueden ser estrictas.
3. Sean (x
n
) y (y
n
) sucesiones acotadas de n umeros reales positivos. Demuestre
que
limx
n
limy
n
lim(x
n
y
n
) limx
n
limy
n
lim(x
n
y
n
) limx
n
limy
n
.
4. Sea (s
n
)
nN
una sucesion de n umeros reales positivos. Demuestre que
lim
s
n+1
s
n
lim
n

s
n
lim
n

s
n
lim
s
n+1
s
n
.
5. Demuestre que si x
n
es una sucesion acotada de n umeros reales,
lim(x
n
x
n+1
) 0 lim(x
n
x
n+1
).
62 CAP

ITULO 3. SUCESIONES
3.4. Sucesiones de Cauchy
En lo que hemos estudiado hasta ahora, para poder determinar si una suce-
sion x
n
converge es necesario saber previamente el valor de su lmite x, para
as poder calcular la distancia del termino n-esimo x
n
al lmite x: |x
n
x| y
aplicar la denicion 3.2. En muchas situaciones esto resulta inconveniente (y
a un imposible), por la dicultad en determinar el valor del lmite. Sera suma-
mente util en estos casos, disponer de un criterio que permita determinar si
una sucesion converge, sin que sea necesario determinar previamente el valor
del lmite,
Esto es posible gracias al Criterio de Cauchy, que se basa en el calculo de la
distancia entre terminos de la sucesion, y que estudiamos a continuacion.
Denicion 3.10 Una sucesion (x
n
)

n=1
en un espacio metrico (X, d) es una
sucesion de Cauchy si para todo > 0 hay un entero N tal que d(x
n
, x
m
) <
si n N, m N.
Toda sucesion convergente en un espacio metrico es de Cauchy: si limx
n
= x
y > 0 existe N N tal que d(x
n
, x) <

2
para n N. Por lo tanto, si
n N, m N se tiene
d(x
n
, x
m
) d(x
n
, x) + d(x
m
, x) < .
El recproco no siempre es cierto.
Denicion 3.11 Sea (X, d) un espacio metrico. Si toda sucesion de Cauchy
(x
n
)

n=1
en X converge a un punto x X, decimos que el espacio X es completo.
Un ejemplo de un espacio metrico que no es completo es el de los racionales
con la distancia usual.
Teorema 3.10 R es un espacio metrico completo.
Demostracion. Suponemos que para todo > 0 existe N N tal que si n > N
y m > N entonces |x
n
x
m
| < . Tomemos = 1 y m = N + 1, obteniendo
|x
n
x
N+1
| < 1 para todo n > N.
Por lo tanto
|x
n
| max{|x
1
|, . . . , |x
N
|, |x
N+1
| + 1}
de donde concluimos que (x
n
)

n=1
esta acotada. Sea = limx
n
, tenemos la
siguiente propiedad: dado > 0 hay un N tal que |x
n
x
m
| < si n N y
m N. Por el Teorema 3.7, parte 1.a. existe M > N tal que | x
M
| < . Por
la desigualdad triangular tenemos que para n > N
|x
n
| |x
n
x
M
| +|x
M
| < 2
de donde concluimos que x
n
converge a cuando n .

3.5. SUBSUCESIONES. 63
Ejercicios 3.4
1. Demuestre que todo espacio metrico discreto es completo.
2. Si (X, d) es completo y A X es cerrado, entonces (A, d
A
) es completo, donde
d
A
es la restriccion de la metrica d al conjunto A.
3. En cualquier espacio metrico, una sucesion de Cauchy es convergente s y solo
s tiene una subsucesion convergente.
4. Demuestre que (x
n
, y
n
) es una sucesion de Cauchy en R
2
s y solo s (x
n
) e (y
n
)
son sucesiones de Cauchy en R.
3.5. Subsucesiones.
Denicion 3.12 Sea (x
n
)

n=1
una sucesion en el conjunto X. Si n
1
< n
2
<
n
3
< es una sucesion estrictamente creciente de n umeros naturales, decimos
que la sucesion (x
n
k
)

k=1
es una subsucesion de (x
n
)

n=1
.
Teorema 3.11 Sea (x
n
)

n=1
una sucesion en (X, d), (x
n
)

n=1
converge a x X
s y solo s toda subsucesion de (x
n
)

n=1
converge a x.
Demostracion. Supongamos que x
n
converge a x y sea (x
n
k
)

k=1
una subsuce-
si on de (x
n
)

n=1
. Dado > 0 entonces existe N N tal que si n N, x
n

B(x; ). Para la subsucesion tomamos K N tal que n
K
> N. Entonces para
todo k K se tiene x
n
k
B(x, ) y x
n
k
x cuando k .
Por otro lado, si toda subsucesion de (x
n
)

n=1
converge a x, basta considerar
(x
n
)

n=1
como subsucesion de s misma.

Teorema 3.12 Toda sucesion acotada en R tiene una subsucesion convergente.

Demostracion. Sea E = {x
n
, n N}, el conjunto de los valores que toma la
sucesion. Por el Teorema 3.9, limx
n
es punto de acumulacion de E y por el
Teorema 3.3 (ii) existe una subsucesion (x
n
k
)

k=1
que converge a limx
n
.

Ejemplo 3.7
Tomemos x
n
= (1)
n
para n N. Entonces
x
2k
= 1, x
2k1
= 1.
Por lo tanto hay subsucesiones que convergen a cada uno de estos valores.
Teorema 3.13 Sea K R
n
. K es compacto s y solo s toda sucesi on en K
tiene una subsucesion que converge a un punto de K
64 CAP

ITULO 3. SUCESIONES
Demostracion. Supongamos que K es compacto y sea (x
j
)

j=1
una sucesion
en K. Como este conjunto es compacto sabemos que es cerrado y acotado, y
por lo tanto, la sucesion (x
j
) es acotada. Si x
j
= (x
1
j
, x
2
j
, . . . , x
n
j
), conside-
remos la sucesion (x
1
j
)

j=1
de las primeras coordenadas, que es una sucesion
acotada en R. Por el Teorema 3.12 existe una subsucesion convergente (x
1
j
i
)

i=1
cuyo lmite llamaremos x
1
. Si tomamos ahora la subsucesion de segundas co-
ordenadas (x
2
j
i
)

i=1
con ndices iguales a los de la subsucesion convergente de
primeras coordenadas que acabamos de hallar y usamos el mismo argumento
obtenemos una nueva subsucesion (x
2
j
i
k
)

k=1
que converge a un real x
2
y ademas
la subsucesion (x
1
j
i
k
)

k=1
converge a x
1
por el Teorema 3.11.
Repetimos ahora este argumento considerando todas las coordenadas una
por una y terminamos con una subsucesion de ndices (j
h
) tal que todas las
sucesiones de coordenadas tomadas sobre esta subsucesion de ndices son con-
vergentes, lo cual quiere decir que
x
j
h
= (x
1
j
h
, x
2
j
h
, . . . , x
n
j
h
) x = (x
1
, x
2
, . . . , x
n
) K.
Supongamos ahora que toda sucesion en K tiene una subsucesion que con-
verge a un punto de K y sea E un subconjunto innito de K, entonces podemos
encontrar una sucesion (x
j
)

j=1
en E tal que todos sus terminos son distintos.
Por hipotesis esta sucesion tiene una subsucesion convergente. El lmite de es-
ta subsucesion es un punto de acumulacion de E y por el Teorema 2.14, K es
compacto.

Ejercicios 3.5
1. Construya una sucesion divergente en R que tenga una subsucesion convergente.
2. Muestre que toda sucesion real tiene una subsucesion monotona.
Ejercicios Complementarios
1. Las notaciones o, O y .
Estas notaciones fueron introducidas por Landau y resultan muy convenientes
para considerar las propiedades de sucesiones de n umeros reales. Sea (x
n
), (y
n
)
sucesiones de n umeros reales. La notacion x
n
= O(1) indica que la sucesion
x
n
es acotada, es decir, que existe M tal que |x
n
| < M para todo n N. Si
y
n
0, la notacion x
n
= O(y
n
) indica que existe M tal que |x
n
| < Ky
n
, para
todo n N.
a) Demuestre que
(i) 32n
2
+ 5n = O(n
2
), (ii) n
2
= O(32n
2
+ 5n), (iii) n = O(n
2
).
b) Suponga que x
n
= O(y
n
), y
n
= O(z
n
), demuestre que
(i) x
n
= O(b
n
), (ii) x
n
= O(z
n
),
(iii) x
n
+ y
n
= O(z
n
), (iv) x
2
n
= O(y
2
n
).
3.5. SUBSUCESIONES. 65
c) Suponga x
n
= O(y
n
), demuestre que (x
1
+ +x
n
)/n = O(y
1
+ +y
n
/n)
y si ademas x
n
0 entonces (x
1
x
n
)
1/n
= O((y
1
y
n
)
1/n
).
Si x
n
es una sucesi on de n umeros con x
n
0 cuando n 0, escribimos
x
n
= o(1). Si y
n
es una sucesi on estrictamente positiva y x
n
/y
n
= o(1),
escribimos x
n
= o(y
n
).
Si (x
n
), (y
n
) satisfacen x
n
/y
n
1 cuando n escribimos x
n
y
n
.
d) Demuestre
(i)
1
n
2
+
1
n
= o(1), (ii) (1)
n
n
2
= O(n
2
), (iii)

n + 1

n
1
2

n
e) Demuestre las siguientes proposiciones
(i) Si x
n
= o(1) e y
n
= O(1) entonces x
n
y
n
= o(1).
(ii) Si x
n
= o(y
n
) e y
n
= O(z
n
) entonces x
n
= o(z
n
).
(iii) Si x
n
= o(y
n
) e y
n
z
n
entonces x
n
= o(z
n
).
(iv) Si x
n
y
n
e y
n
z
n
entonces x
n
z
n
.
(v) Si x
n
y
n
e y
n
= o(1) entonces x
n
= o(1).
f) Suponga que x
n
y
n
= o(1), 1/y
n
= O(1), demuestre que x
n
y
n
. De un
ejemplo de sucesiones x
n
, y
n
para las cuales la relacion x
n
y
n
= o(1) es
cierta pero la relaci on x
n
y
n
es falsa.
g) Suponga que x
n
y
n
, y
n
= O(1), demuestre que x
n
y
n
= o(1). De un
ejemplo de sucesiones x
n
, y
n
para las cuales la relaci on x
n
y
n
es cierta
pero la relaci on x
n
y
n
= o(1) es falsa.
2. Construcci on de los N umeros Reales por sucesiones de Cauchy.
a) Decimos que dos sucesiones de Cauchy (x
n
), (y
n
) de n umeros racionales
son equivalentes si lim
n
|x
n
y
n
| = 0, y en este caso usamos la no-
tacion (x
n
) (y
n
). Demuestre que esta es una relaci on de equivalencia.
En consecuencia podemos dividir el conjunto de las sucesiones de Cauchy
racionales en clases de equivalencia:
(x
n
) = {(y
n
) : (y
n
) es una sucesi on de Cauchy racional y (y
n
) (x
n
)}
Los n umeros reales R son estas clases de equivalencia. El conjunto Q de los
n umeros racionales puede ser considerado como subconjunto de R identi-
cando cada n umero racional q con la clase de equivalencia que corresponde
a la sucesi on constante {q, q, q, . . . }: {q, q, . . . }.
b) Denimos ahora las operaciones de suma y multiplicaci on entre n umeros
reales. Supongamos que x = (x
n
) e y = (y
n
) son dos n umeros reales,
denimos
x + y = (x
n
+ y
n
), x y = (x
n
y
n
).
Verique que ambas sucesiones (x
n
+y
n
) y (x
n
y
n
) son sucesiones raciona-
les de Cauchy. Verique tambien que la denicion es consistente, es decir,
que no depende de los representantes de las clases de equivalencia que esco-
jamos. Finalmente, verique que con estas operaciones los n umeros reales
satisfacen los axiomas i) - ix) del Captulo 1.
66 CAP

ITULO 3. SUCESIONES
c) Sean x = (x
n
) e y = (y
n
) dos n umeros reales, decimos que x < y si
existen un racional

> 0 y N N tales que para todo n N se tiene

que x
n
y
n

, y decimos que x y si x < y o x = y. Verique que la

relaci on esta bien denida (no depende de los representantes escogidos en
las clases de equivalencia). Por que no es suciente pedir que x
n
< y
n
?
Demuestre que esta es una relaci on de orden (es reexiva, antisimetrica y
transitiva) y satisface los axiomas x) - xii) del Captulo 1.
d) Denimos el valor absoluto de una n umero real x = (x
n
) por |x| = (|x
n
|).
Demuestre que la desigualdad triangular es valida y en consecuencia podemos
denir una metrn umeros reales usando el valor absoluto de la diferencia
entre ellos.
e) Pruebe que una sucesion de n umeros reales es convergente s y solo s es
una sucesi on de Cauchy.
f) Finalmente demuestre que los n umeros reales satisfacen el axioma de com-
pletitud.