w

w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAPTULO
SUCESIONES INFINITAS 1
Es digno de ser meditado el hecho de que, cada vez que
es posible, el hombre elimina apresuradamente el innito. . .
La matemtica moderna exhibe una considerable variedad de
innitos. . . Desde luego, todos son inintuibles y jalonean el creciente
alejamiento entre el mundo sensible y el mundo matemtico.
ERNESTO SBATO
E
l objetivo primordial de este libro es establecer formalmente la nocin
de suma innita (es decir, una suma con innitos trminos) y explo-
rar sus propiedades; para lograr esta meta, debemos dar un paso prelimi-
nar que consiste en arreglar los supuestos innitos trminos, ponindolos
en forma ordenada, algo as como a
1
. a
2
. a
3
. . . . . ste es el punto al que se
dedica el presente captulo.
APROXIMACIN DE FUNCIONES POR POLINOMIOS
En algunos casos resulta muy difcil o tal vez imposible determinar el valor
(.) de una funcin dada en un punto . y por tanto es deseable disponer
de un mecanismo que permita hacer una estimacin de tal valor. Uno
de esos mecanismos es aproximar la funcin por un polinomio, ya que
sus imgenes son fciles de calcular. Una forma de abordar esta tarea es
particularmente sencilla cuando la funcin posee derivadas de orden
n en un intervalo I que contenga a un punto a, en este caso tenemos el
polinomio de Taylor de grado n y centrado en a para denido para todo . I
por
1
n;a
(.) = (a)
.1/
(a)(. a)

.2/
(a)
2
(. a)
2

.n/
(a)
n
(. a)
n
.
El nombre de este polinomio fue establecido en honor al matemtico in-
gls Brook Taylor quien contribuy al progreso y la difusin de las ideas
originales del Clculo de acuerdo a la escuela de Isaac Newton.
1
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
2 Fernando Mejas
En general existe una diferencia o resto 1
n;a
(.) entre (.) y 1
n;a
(.):
(.) = 1
n;a
(.) 1
n;a
(.).
As, lo buena o mala que pueda ser la aproximacin de (.) por 1
n;a
(.)
depende de lo pequeo que resulte ser 1
n;a
(.).
Desarrollando el polinomio de Taylor para las funciones sen, cos,
exp, log y arctg tenemos las siguientes igualdades:
sen. = .
.
3
3

.
5
5
(1)
n
.
2nC1
(2n 1)
1
n;a
(.).
cos . = 1
.
2
2

.
4
4
(1)
n
.
2n
(2n)
1
n;0
(.).
e
x
= 1
.
1

.
2
2

.
n
n
1
n;0
(.).
log(1 .) = .
.
2
2

.
3
3
(1)
nC1
.
n
n
1
n;1
(.).
arctg . = .
.
3
3

.
5
5
(1)
n
.
2nC1
2n 1
1
n;0
(.).
Un teorema clsico en Anlisis provee formas de estimar 1
n;a
(.) a
partir de informacin sobre .
Sea una funcin tal que las derivadas
.1/
,. . . ,
.nC1/
estn denidas sobre un TEOREMA 1
(TEOREMA DE
TAYLOR)
intervalo a. .| y 1
n;a
(.) est denido por
(.) = (a)
n

kD1

.k/
(a)
k
(. a)
k
1
n;a
(.).
Entonces
(1) 1
n;a
(.) =

.nC1/
()
(n 1)
(. )
n
(. a) para algn (a. .).
(2) 1
n;a
(.) =

.nC1/
()
(n 1)
(. a)
nC1
para algn (a. .).
Adems, si
.nC1/
es integrable sobre a. .|, entonces
(3) 1
n;a
(.) =
_
x
a

.nC1/
(.)
n
(. )
n
J..
La ecuacin (1) es conocida como la forma de Cauchy para el resto, mien-
tras que la ecuacin (2) se denomina la forma de Lagrange y la ecuacin (3)
es la forma integral.
En muchos casos resulta que 1
n;a
(.) es razonablemente pequeo
para valores grandes de n y la idea general es que la aproximacin tiende a
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
1. Sucesiones Innitas 3
mejorar en la medida en que el grado del polinomio de Taylor 1
n;a
(.) au-
menta. Aunque este fenmeno no ocurre siempre, dentro de este esquema
de ideas surge la pregunta cul ser la mejor aproximacin posible? y
una respuesta ingenua e interesante sera si podemos plantear una suma
innita de la forma
(.) =(a)
.1/
(a)(. a)

.2/
(a)
2
(. a)
2

.n/
(a)
n
(. a)
n
.
Por ejemplo en la lista de igualdades presentadas arriba, si asumimos
que en todos los casos el resto tiende a 0 cuando n es muy grande, entonces
obtendramos las siguientes igualdades:
sen. = .
.
3
3

.
5
5

.
7
7
.
cos . = 1
.
2
2

.
4
4

.
6
6
.
e
x
= 1
.
1

.
2
2

.
3
3
.
log(1 .) = .
.
2
2

.
3
3

.
4
4
.
arctg . = .
.
3
3

.
5
5

.
7
7
.
De ser ciertas estas frmulas, entonces tenemos algunas igualdades
muy interesantes, asignando algunos valores especiales a ., por ejemplo:
0 =

3
3

5
5

7
7
.
0 = 1

2
2
2
2

4
2
4
4

6
2
6
6
.
e = 1
1
1

1
2

1
3
.
log 2 = 1
1
2

1
3

1
4
.

4
= 1
1
3

1
5

1
7
.
Aunque estas ideas resultan plausibles y sobre todo muy atractivas,
todas tienen un gran defecto y es que la adicin de nmeros reales es una
operacin binaria, es decir podemos sumar solamente dos nmeros reales
a la vez y por un proceso de induccin podemos denir la suma de una
coleccin nita de nmeros, pero por esa va no podemos llegar a denir
y trabajar con sumas innitas. Y es que la nocin no es tan sencilla como
pudiera parecer en una primera mirada. Consideremos por ejemplo la
suma innita
1 1 1 1 1 1 .
donde los trminos son sucesivamente 1 y 1. Si una suma innita ha de
tener sentido uno esperara que se cumpla la ley asociativa, es decir que
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
4 Fernando Mejas
si uno agrupa unos sumandos esto no debe alterar el valor del resultado.
Pero observemos que tenemos:
1 (1 1) (1 1) (1 1) = 1 0 0 0 = 1.
mientras que por otro lado
(1 1) (1 1) (1 1) = 0 0 0 = 0.
lo cual resulta ser contradictorio, y por tanto debe ser evitado. El resto de
este pequeo libro es una exposicin del desarrollo de la teora de sumas
innitas de la forma
a
1
a
2
a
n
.
pero para ello debemos primeramente enfocar nuestra atencin hacia la
coleccin innita misma de elementos que queremos sumar.
SUCESIONES
Una sucesin (innita) de nmeros reales es una funcin cuyo dominio es
el conjunto de los nmeros naturales y cuyo recorrido es un subconjunto
de R. La convencin usual indica que una sucesin a se debe denotar por
a : N R y que el valor de a en un nmero n N (el trmino n-simo) por
a(n), pero la tradicin ha llevado a hacer casi universal otra notacin, en la
que escribimos a
n
en lugar de a(n) y la sucesin misma se denota por {a
n
].
Por supuesto, es posible considerar sucesiones nitas, para lo cual es
suciente hacer una ligera modicacin a la denicin anterior, sin em-
bargo este concepto no tiene mucha importancia pues lo interesante de
una sucesin {a
n
] es su comportamiento para valores muy grandes de n.
Por este motivo tenemos que la representacin grca usual de funciones
resulta poco interesante cuando se trata de sucesiones pues no ilustra lo
que ocurre a la mayor parte de los trminos.
0 1 2 3 4
1
2
q
q
q
q
0 1
1
2
1
3
1
4
.
1
.
2
.
3
r r r r r r
FIGURA 1.1(a) FIGURA 1.1(b)
Por ejemplo, en la Figura 1(a) se muestra la representacin grca
usual de la sucesin {.
n
] denida por .
n
= 1,n. Para mejorar esta situacin
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
1. Sucesiones Innitas 5
se ha diseado un sistema de representacin grca que se aplica exclusi-
vamente a estas funciones y que suele ser ms ilustrativo (Figura 1(b)).
La sucesin {.
n
] tiene un comportamiento interesante para valores
grandes de n: el hecho de que sus trminos tienden a acumularse en torno
a un punto dado (especcamente al 0). En general decimos que una suce-
sin {a
n
] converge hacia el lmite z si para todo c > 0 existe un nmero
natural N tal que para todo n, si n _ N entonces [a
n
l[ < c (tambin deci-
mos que la sucesin {a
n
] es convergente, Figura 2). En este caso escribimos
a
n
l cuando n oo simplemente lim
n!1
a
n
= l. Si {a
n
] no converge,
decimos que diverge o que es divergente. Notemos que si la sucesin {a
n
]
diverge signica que para todo nmero real l existe un c > 0 tal que para
todo nmero natural N existe un n _ N tal que [a
n
l[ _ c.
l c l c l
.
1
.
2
.
3
.
N1
( )
r r r r r r r r r r
FIGURA 2.
A continuacin presentamos un resultado que establece la unicidad
del lmite de una sucesin convergente, un hecho que es bastante evidente
y sirve como un ensayo para el uso del concepto de convergencia.
Si la sucesin {a
n
] converge hacia l y tambin converge hacia m, entonces l = m. TEOREMA 2
Supongamos que l = my consideremos c = [lm[,2. Puesto que lim
n!1
a
n
= DEMOSTRACIN
l tenemos que existe un N
1
N tal que para todo n, si n _ N
1
se cumple
que
[a
n
l[ <
[l m[
2
.
Anlogamente, existe un nmero natural N
2
tal que para todo n, si n _ N
2
se cumple que
[a
n
m[ <
[l m[
2
.
Luego, si tomamos n _ N = max(N
1
. N
2
) tenemos
[l m[ = [l a
n
a
n
m[ _ [a
n
l[ [a
n
m[ <
[l m[
2

[l m[
2
= [l m[.
lo cual es una contradiccin.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
6 Fernando Mejas
Si .
n
= 1,n para todo n, entonces lim
n!1
.
n
= 0. Este resultado es una con- EJEMPLO 3
secuencia de la propiedad arquimediana de los nmeros reales (ver Pro-
blema 20) que establece que para todo c > 0 existe un nmero natural N
tal que
1
N
< c.
Por tanto tenemos que para todo nmero natural n, si n _ N se cumple
que

1
n
0

=
1
n
_
1
N
< c.
Supongamos que ,
n
= (1)
nC1
para todo n, entonces {,
n
] diverge. Note- EJEMPLO 4
mos que si l > 1 podemos tomar c = l 1 y entonces resulta que para
todo n se cumple [,
n
l[ _ c. Anlogamente si l < 1, es suciente tomar
c = 1l. Si 1 < l < 1 entonces podemos considerar c = min(1l. l 1).
Si l = 1 basta tomar c = 1 para ver que [,
2nC1
1[ > c. Finalmente, si
l = 1, entonces con c = 1 tenemos [,
2n
1[ > c.
A continuacin presentamos otro ejemplo acerca de una sucesin di-
vergente pero cuyo comportamiento es totalmente distinto al de la sucesin
descrita en el Ejemplo 4.
Supongamos que z
n
= n para todo n, entonces {z
n
] diverge y escribimos EJEMPLO 5
z
n
ocuando n o.
Como en el caso de lmites de funciones en un punto, existe un teo-
rema sobre el lgebra de lmites de sucesiones que facilita la tarea de
hacer clculos. La semejanza entre estos resultados no es casual, en efecto
la demostracin es prcticamente la misma, sobre todo si utilizamos el si-
guiente lema tomado de Calculus por Spivak (referencia [1] de la Resea
Bibliogrca, p. 101).
(1) Si LEMA
[. .
0
[ <
c
2
y [, ,
0
[ <
c
2
.
entonces
[(. ,) (.
0
,
0
)[ < c.
(2) Si
[. .
0
[ < min
_
1.
c
2([,
0
[ 1)
_
y [, ,
0
[ <
c
2([.
0
[ 1)
.
entonces
[., .
0
,
0
[ < c.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
1. Sucesiones Innitas 7
(3) Si ,
0
= 0 y
[, ,
0
[ < min
_
[,
0
[
2
.
c[,
0
[
2
2
_
.
entonces , = 0 y

1
,

1
,
0

< c.
Ahora tenemos el siguiente resultado.
Sean {a
n
] y {b
n
] dos sucesiones convergentes tales que a
n
l y b
n
m cuando TEOREMA 6
n o. Entonces las sucesiones {a
n
b
n
] y {a
n
b
n
] tambin convergen y
(1) lim
n!1
(a
n
b
n
) = l m,
(2) lim
n!1
(a
n
b
n
) = l m.
Adems si m = 0, entonces la sucesin {a
n
,b
n
] tambin converge y tenemos
(3) lim
n!1
a
n
b
n
=
l
m
.
(1) Para cualquier c > 0 existen dos nmeros naturales N
1
y N
2
tales que DEMOSTRACIN
para todo n
si n _ N
1
, entonces [a
n
l[ <
c
2
y si n _ N
2
, entonces [b
n
m[ <
c
2
.
Entonces si N = max(N
1
. N
2
) y n _ N, tenemos que
[a
n
l[ <
c
2
y [b
n
m[ <
c
2
.
luego, por el Lema (1) tenemos que
[(a
n
b
n
) (l m)[ < c.
(2) Dado c > 0 existen dos nmeros naturales N
1
y N
2
tales que para todo
n
si n _ N
1
, entonces [a
n
l[ < min
_
1.
c
2([m[ 1)
_
,
y si n _ N
2
, entonces [b
n
m[ <
c
2([l[ 1)
.
Entonces si N = max(N
1
. N
2
) y n _ N, tenemos por el Lema (2)
[a
n
l[ < min
_
1.
c
2([m[ 1)
_
y [b
n
m[ <
c
2([l[ 1)
.
Luego, el Lema (2) implica que
[a
n
b
n
lm[ < c.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
8 Fernando Mejas
(3) Es suciente demostrar que la sucesin {1,b
n
] converge hacia 1,m;
pero existe un detalle que conviene aclarar: el hecho de que b
n
m = 0
cuando n ono garantiza que 1,b
n
est denido para todo n, en efecto,
es fcil dar un ejemplo donde este fenmeno se presente. Sin embargo,
resulta que si b
n
m = 0 entonces existe solamente una cantidad nita de
valores de n para los cuales b
n
= 0 (esta es una consecuencia de la primera
parte del Lema (3)).
Por tanto b
n
puede ser nulo solamente para algunos de los nmeros
1. 2. . . . . N 1. En este caso podemos trabajar con una nueva sucesin c
n
la cual converge hacia m y c
n
= 0 para todo n denida as c
n
= b
N1Cn
.
Comnmente este procedimiento se considera como algo puramente for-
mal y se trabaja directamente con la sucesin {b
n
].
Ahora, sea c > 0 existe un nmero natural N tal que para todo n
si n _ N, entonces [b
n
m[ < min
_
[m[
2
.
c[m[
2
2
_
.
Entonces, por el Lema (3) queda que

1
b
n

1
m

< c.
La diferencia de comportamiento entre las sucesiones {,
n
] y {z
n
] de
los Ejemplos 4 y 5 ilustra un punto sutil que determina una caracterstica
muy importante de las sucesiones convergentes. Notemos que el conjunto
de trminos de la sucesin {z
n
] no est acotado, es decir no es posible en-
contrar dos nmeros a. b R, tales que z
n
(a. b) para todos los nmeros
n, mientras que el conjunto de trminos de la sucesin {,
n
] si est aco-
tado. En este ltimo caso decimos que la sucesin est acotada y, resulta
evidente que todas las sucesiones convergentes estn acotadas, en efecto
esta proposicin se formaliza en el siguiente teorema.
Si {a
n
] es una sucesin convergente, entonces {a
n
] est acotada. TEOREMA 7
Supongamos que a
n
l cuando n o. Entonces tomando c = 1 en la DEMOSTRACIN
denicin de sucesin convergente tenemos que existe un nmero natural
N tal que, para todo n, si n _ N, entonces
[a
n
l[ < 1.
luego
1 < a
n
l < 1.
es decir
l 1 < a
n
< l 1.
Por tanto, para todo n _ N tenemos que a
n
(l 1. z 1). Por otro lado,
el resto de los trminos de la sucesin, a saber a
1
. a
2
. . . . . a
n1
. constitu-
yen una cantidad nita, entonces existe una intervalo abierto (u. ) que
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
1. Sucesiones Innitas 9
los contiene a todos. Finalmente, si consideramos a = min(u. l 1) y
b = max(. l 1) tenemos que todos los trminos de la sucesin {a
n
] estn
contenidos en el intervalo abierto (a. b).
En algunos casos tenemos que el conjunto de los trminos de una
sucesin {a
n
] est acotado superiormente, entonces decimos que la suce-
sin est acotada superiormente y si tal conjunto est acotado inferior-
mente decimos que la sucesin est acotada inferiormente. Por tanto, una
sucesin est acotada si y slo si est acotada tanto superior como inferior-
mente.
Notemos que el Teorema 7 es equivalente a la siguiente proposicin:
si una sucesin {a
n
] no est acotada, entonces la sucesin es divergente.
Concluimos esta seccin con un resultado muy importante que de-
pende de la completitud del sistema de los nmeros reales y para el cual
necesitamos unas deniciones sobre ciertas caractersticas especiales de al-
gunas sucesiones. Decimos que la sucesin {a
n
] es creciente si a
n
< a
nC1
para todo n (Figura 3). Anlogamente decimos que la sucesin {a
n
] es
decreciente si a
n
> a
nC1
para todo n.
Algunas veces no se necesitan condiciones tan estrictas y decimos que
la sucesin {a
n
] es no creciente si a
n
_ a
nC1
para todo n; mientras que la
sucesin {a
n
] es no decreciente si a
n
_ a
nC1
para todo n. Finalmente,
decimos que una sucesin {a
n
] es montona si {a
n
] es o bien no creciente
o bien no decreciente.
a
1
a
2
a
3
a
4
a
n
a
nC1
r r r r r r r r r r
FIGURA 3.
Si {a
n
] es una sucesin no decreciente y acotada superiormente, entonces {a
n
] con- TEOREMA 8
verge.
Sea el conjunto formado por todos los a
n
. Por hiptesis tenemos que DEMOSTRACIN
est acotado superiormente y como = 0, existe un R tal que
= sup .
c a
1
a
2
(
a
N
r r r r r r r
FIGURA 4.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
10 Fernando Mejas
Dado c > 0 existe un . tal que . < c, es decir existe un N tal
que a
N
< c (Figura 4).
Por otro lado tenemos que si n _ N entonces a
n
_ a
N
, de donde
a
n
_ a
N
< c.
o sea, a
n
cuando n o.
SUBSUCESIONES
Algunas veces conviene realizar el anlisis de una sucesin examinando el
comportamiento de una o varias colecciones innitas de sus trminos. Por
ejemplo, consideremos la sucesin {,
n
] denida por ,
n
= (1)
nC1
, tene-
mos dos colecciones innitas de trminos notables
{1. 1. 1. . . . ] y {1. 1. 1. . . . ].
Evidentemente, si consideramos cada una de estas colecciones como suce-
siones tenemos que ambas convergen, la primera hacia 1 y la segunda hacia
-1 y de la unicidad del lmite deducimos que la sucesin {,
n
] es divergente.
En el examen anterior hemos considerado una coleccin innita de
trminos de una sucesin dada como una sucesin en s misma y las dos
colecciones as formadas son llamadas subsucesiones. Formalmente, una
subsucesin de una sucesin {a
n
] es la composicin de {a
n
] con una suce-
sin creciente de nmeros naturales {k
n
], y la denotamos por {a
k
n
]. La
discusin inicial de esta seccin queda formalmente establecida con el si-
guiente lema (cuya demostracin es casi obvia a partir de la observacin de
que k
n
_ n).
Si la sucesin {a
n
] es convergente hacia l y {a
k
n
] es una subsucesin, entonces la LEMA 9
subsucesin tambin converge hacia l.
Una propiedad muy interesante de las sucesiones queda plasmada en
el siguiente resultado.
Toda sucesin {a
n
] contiene una subsucesin la cual es o bien no creciente o bien no LEMA 10
decreciente.
Este lema se combina con el Teorema 8 para producir uno de los
resultados tericos ms importantes sobre sucesiones.
Toda sucesin acotada tiene una subsucesin convergente. COROLARIO 11
(TEOREMA DE
BOLZANO-WEIERSTRASS)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
1. Sucesiones Innitas 11
SUCESIONES DE CAUCHY
Si {a
n
] es una sucesin que converge hacia el lmite l, intuitivamente, esto
nos indica que los puntos a se encuentran muy cerca del punto l cuando n
toma valores arbitrariamente grandes, en cuyo caso, los diferentes trminos
a
n
y a
m
se encuentran muy cerca entre s cuando n y m son nmeros muy
grandes, porque
[a
n
a
m
[ _ [a
n
l[ [l a
m
[.
Anlogamente, resulta razonable pensar que si los trminos a
n
y a
m
de
una sucesin dada se encuentran muy prximos entre s para valores muy
grandes de n y m, entonces la sucesin es convergente. Motivados por esta
observacin establecemos la siguiente denicin que proporciona un ins-
trumento muy ecaz para el estudio de las sucesiones: decimos que la suce-
sin {a
n
] es una sucesin de Cauchy si para todo c > 0 existe un nmero
natural N tal que para todos n y m, si n. m _ N, entonces [a
n
a
m
[ < c.
Si {a
n
] es una sucesin convergente, entonces {a
n
] es una sucesin de Cauchy. TEOREMA 12
Supongamos que a
n
l cuando n o y sea c > 0. Entonces existen DEMOSTRACIN
N N tales que si n _ N entonces [a
n
l[ < c,2. Luego, si n. m _ N
entonces
[a
n
l[ <
c
2
y [a
m
l[ <
c
2
.
Por tanto, si n. m _ N tenemos
[a
n
a
m
[ _ [a
n
l[ [l a
m
[ <
c
2

c
2
= c.
Como hemos sugerido arriba, el recproco del Teorema 12 tambin
es cierto.
Si {a
n
] es una sucesin de Cauchy, entonces {a
n
] converge. TEOREMA 13
Para empezar notemos que toda sucesin de Cauchy est acotada (este he- DEMOSTRACIN
cho se puede probar siguiendo el esquema de la demostracin del Teo-
rema 7). Ahora, de acuerdo con el Teorema de Bolzano-Weierstrass {a
n
]
tiene una subsucesin {a
k
n
] la cual converge hacia un lmite l.
Dado c > 0, existe un N
1
tal que para todos n y m, si n. m _ N
1
,
entonces
[a
n
a
m
[ <
c
2
.
Tambin tenemos que existe un N
2
tal que para todo n si k
n
_ N
2
entonces
[a
k
n
l[ <
c
2
.
Luego, si n _ N = max(N
1
. N
2
) (recordemos que k
n
_ n) tenemos
[a
n
a
k
n
[ <
c
2
y [
k
n
z[ <
c
2
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
12 Fernando Mejas
y por tanto tenemos
[a
n
l[ _ [a
n
a
k
n
[ [a
k
n
l[ <
c
2

c
2
= c.
es decir lim
n!1
a
n
= l.
SUCESIONES Y CONTINUIDAD
Esta seccin est dedicada al estudio de la continuidad de funciones me-
diante el uso de sucesiones. La idea central consiste en demostrar qu
condiciones de continuidad de una funcin garantizan la posibilidad de
intercambiar la funcin con lmites de sucesiones convergentes (Figura 5),
as
lim
n!1
(.
n
) =
_
lim
n!1
.
n
_
.
El resultado presentado a continuacin establece condiciones necesarias
para que se cumpla tal igualdady adems demuestra que el problema puede
ser abordado en sentido inverso, es decir que la posibilidad de intercambiar
la funcin con lmites proporciona informacin sobre la continuidad de la
funcin.
1 2
FIGURA 5.
Sean un punto de un intervalo abierto I y una funcin denida en todos los TEOREMA 14
puntos de I (excepto quiz en ) tal que
lim
x!p
(.) = q.
Supongamos que {a
n
] es una sucesin con trminos en I que converge hacia , con
a
n
= para todo n. Entonces
lim
n!1
(a
n
) = q.
Recprocamente, si esta proposicin es cierta para toda sucesin {a
n
] que satisface las
condiciones anteriores, entonces
lim
x!p
(.) = q.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
1. Sucesiones Innitas 13
Supongamos que lim
x!p
(.) = q. Entonces, dado un nmero c > 0 existe DEMOSTRACIN
un > 0 tal que, para todo . I, si 0 < [. [ < entonces
[(.) q[ < c.
Si {a
n
] es una sucesin con trminos en I {] la cual converge hacia
, entonces existe un nmero natural N tal que para todo n, si n _ N,
entonces
0 < [a
n
[ < .
Luego
[(a
n
) q[ < c.
Por tanto, (a
n
) q cuando n o.
Supongamos ahora que lim
n!1
(a
n
) = q para toda sucesin {a
n
] con
trminos en I{] tal que lim
n!1
a
n
= . Si no fuese lim
x!p
(.) = q, existira
un c > 0 tal que para todo > 0 existira un . con 0 < [. [ <
y [(.) q[ _ c. En particular, para cada n existira un .
n
tal que 0 <
[.
n
[ < 1,n pero [(.
n
) q[ _ c. As, la sucesin {.
n
] sera convergente
hacia , pero la sucesin {(.
n
)] no sera convergente hacia q.
Una consecuencia inmediata del Teorema 14 es el siguiente resul-
tado.
Sean un subconjunto de R, : R una funcin y un punto de . COROLARIO 15
Entonces es continua en si y slo si para toda sucesin {.
n
] con lim
n!1
.
n
= ,
se cumple
lim
n!1
(.
n
) =
_
lim
n!1
.
n
_
= ().
La igualdad establecida por el Corolario 15 constituye una herra-
mienta invaluable para efectos de clculo de lmites, junto con el Teorema 6
y las siguientes igualdades forman toda la maquinaria necesaria para re-
solver casi todos los problemas de este libro (que conciernen a lmites, claro
est).
lim
n!1
1
n

= 0. si > 0.
lim
n!1
.
n
= 0. si [.[ < 1.
lim
n!1
n
1=n
= 1.
lim
n!1
_
1

n
_
n
= e

. para todo R.
TRES EJEMPLOS NOTABLES
Esta seccin presenta tres ejemplos de aplicaciones del concepto de con-
vergencia en la exploracin de algunos problemas. La primera de tales
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
14 Fernando Mejas
aplicaciones es un resultado que se usa para la exploracin de la estructura
del conjunto de los nmeros reales, el cual es conocido como el teorema de
los intervalos encajados (de Cantor, en honor al matemtico George Cantor,
Figura 6).
FIGURA 6. Retrato de George Ferdinand Ludwig Philipp Cantor.
Dada una sucesin de intervalos cerrados 1
1
= a
1
. b
1
|, 1
2
= a
2
. b
2
|,. . . , los EJEMPLO 16
cuales se encuentran encajados, es decir
1
nC1
_ 1
n
. para todo n.
entonces
1
_
nD1
1
n
= 0.
o sea, existe un nmero . tal que . 1
n
para todo n (Figura 7).
[ [ [ ] ] ]
a
1
a
2
a
3
b
3
b
2
b
1
a
2
' E
1
1
' E
1
2
FIGURA 7.
La demostracin del teorema se realiza partiendo de la observacin
que la hiptesis 1
nC1
_ 1
n
para todo n es equivalente a decir que la sucesin
{a
n
] es no decreciente y que la sucesin {b
n
] es no creciente y, puesto que
ambas estn acotadas, tenemos que existen y tales que
lim
n!1
a
n
= y lim
n!1
b
n
= .
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
1. Sucesiones Innitas 15
Adems tenemos que . a
n
. b
n
| para todo n, entonces podemos tomar
. cualquier punto de . |. Ntese que es posible que el intervalo . |
conste solamente de un punto, en efecto este es el caso si se considera la
hiptesis adicional lim
n!1
(b
n
a
n
) = 0.
En este contexto, el nombre de Cantor se asocia tambin con un ob-
jeto matemtico de naturaleza muy singular, el cual se construye de la si-
guiente forma: sean
1
0
= 0. 1|
1
1
= 1
0
\
_
1
3
.
2
3
_
.
1
2
= 1
1
\
__
1
3
2
.
2
3
2
_
L
_
7
3
2
.
8
3
2
__
.
1
3
= 1
2
\
__
1
3
3
.
2
3
3
_
L
_
7
3
3
.
8
3
3
_
L
_
19
3
3
.
20
3
3
_
L
_
25
3
3
.
25
3
3
__
.
.
.
Observemos que 1
1
resulta de extraer del intervalo0. 1| el intervalo abierto
_
1
3
.
2
3
_
, resultando que 1
1
=
_
0.
1
3
_
L
_
2
3
. 1
_
; anlogamente 1
2
se puede re-
presentar como la unin de 2
2
intervalos cerrados y, en general 1
n
como
la unin de 2
n
intervalos cerrados (Figura 8).
.
.
.
.
.
.
.
.
.
.
.
.
0 1
FIGURA 8.
Notemos adems que 0 1
n
para todo n, entonces el conjunto de
Cantor C se dene por:
C =
1
_
nD0
1
n
.
Evidentemente el conjunto de Cantor contiene muchos ms elemen-
tos que 0 (en efecto una coleccin innita, ver Problema 19) y, para pro-
barlo es suciente aplicar el teorema de los intervalos encajados a subcon-
juntos de los 1
n
convenientemente elegidos.
Notemos que la conclusin del teorema de los intervalos encajados
no se obtiene si la hiptesis de que los intervalos 1
n
sean cerrados se reem-
plaza por la suposicin de que son abiertos. Por ejemplo, si 1
n
= (0. 1,n)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
16 Fernando Mejas
para todo n, tenemos que 1
nC1
1
n
para todo n y
1
_
nD1
1
n
= 0.
El siguiente ejemplo ilustra una aplicacin del concepto de conver-
gencia para probar la existencia de soluciones de cierto tipo de ecuaciones
especiales y se conoce como (un) teorema de punto jo. Para establecer el
resultado necesitamos una denicin preliminar: dada una funcin , un
punto jo para es un nmero tal que () = .
Supongamos que : 0. 1| 0. 1| es una funcin continua y creciente EJEMPLO 17
sobre 0. 1|. Entonces para todo . 0. 1| la sucesin
.. (.). ((.)). (((.))). . . .
converge hacia un punto jo de . La idea geomtrica en el fondo del
argumento est ilustrada en la Figura 9.
1

FIGURA 9.
De forma anecdtica el matemtico Littlewood cuenta como un grco si-
milar a ste le sugiri la idea para resolver un problema y de all su opinin
de que en algunos casos solamente una gura es suciente como solucin
a un problema (ver la pgina 135).
En primer lugar coloquemos etiquetas a la sucesin as: a
0
= . y
a
nC1
= (a
n
). para todo n _ 0,
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
1. Sucesiones Innitas 17
es decir
a
nC1
= (a
n
)
= ((a
n1
))
= (((a
n2
)))
.
.
.
=

n C1 veces
(a
0
).
Supongamos que (.) > ., es decir a
1
> a
0
. Como es creciente
tenemos que
((.)) > (.).
o sea
a
2
> a
1
.
En general tenemos que
a
nC1
> a
n
para todo n _ 0.
Como el recorrido de est contenido en 0. 1|, resulta que la sucesin
{a
n
] es creciente y acotada, y es por tanto convergente. Sea = lim
n!1
a
n
,
entonces por el Corolario 15 tenemos
= lim
n!1
a
nC1
= lim
n!1
(a
n
) =
_
lim
n!1
a
n
_
= ().
es decir, es un punto jo para . Para el caso en que (.) < . se procede
en forma anloga.
Nuestro ltimo ejemplo consiste en la aplicacin de sucesiones con-
vergentes para hallar races de una funcin, utilizando las rectas tangentes
a su grca, el procedimiento fue desarrollado por Newton y es conocido
como el mtodo de las tangentes de Newton.
Sean : R R una funcin derivable y .
0
un nmero real. Entonces la EJEMPLO 18
ecuacin de la recta tangente en el punto (.
0
. (.
0
)) es
,
1
(.) =
0
(.
0
)(. .
0
) (.
0
).
Es fcil vericar que el punto de interseccin de esta recta con el eje
horizontal es (.
1
. 0) donde
.
1
= .
0

(.
0
)

0
(.
0
)
si
0
(.
0
) = 0.
Ahora consideremos la recta tangente a la grca de en el punto
(.
1
. (.
1
)), cuya ecuacin es
,
2
(.) =
0
(.
1
)(. .
1
) (.
1
).
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
18 Fernando Mejas
Anlogamente, si suponemos que
0
(.
1
) = 0, tenemos que el punto de
interseccin entre esta recta y el eje horizontal es un punto (.
2
. 0), donde
.
2
= .
1

(.
1
)

0
(.
1
)
.
0 1
2
3
FIGURA 10.
En general, obtenemos una sucesin {.
n
] tal que (.
nC1
. 0) es el punto
de interseccin entre la recta tangente a la grca de la funcin en el
punto (.
n
. (.
n
)) y el eje horizontal (Figura 10), y si
0
(.
n
) = 0 tenemos
que
.
nC1
= .
n

(.
n
)

0
(.
n
)
.
Resulta que bajo las hiptesis
0
.
00
> 0 y (.
0
) > 0 se tiene que {.
n
] es
una sucesin no creciente la cual converge a un punto con () = 0.
Utilizando el mtodo de Newton para (.) = .
2
2 y .
0
= 1. 4 con
los primeros cuatro trminos de la sucesin {.
n
] obtenemos aproximacin
muy buena de
_
2, as
.
0
= 1. 4
.
1
= 1. 4142857
.
2
= 1. 4142136
.
3
= 1. 4142136.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
1. Sucesiones Innitas 19
PROBLEMAS
1 Para cada una de las siguientes sucesiones {a
n
] hallar una expresin
para el trmino general a
n
.
(1) 1.
1
2
.
1
4
.
1
8
. . . . .
(2) 1.
3
2
.
9
4
.
27
8
. . . . .
(3)
1
2
.
3
4
.
9
8
.
27
16
. . . . .
(4) 2. 1. 4. 3. 6. 5. . . . .
(5) 1. 0.
1
3
. 0.
1
5
. 0.
1
7
. 0. . . . . Indicacin: Puede denirse a
n
por
partes segn si n es par o impar, pero una solucin ms elegante
se puede obtener observando el comportamiento de la sucesin
denida por sen(n0) para cierto valor de 0.
2 En cada uno de los siguientes casos decidir si la sucesin dada es con-
vergente o no. En caso de que la respuesta sea armativa calcular el
lmite respectivo.
(1) a
n
=
n
n 1

n 1
n
.
(2) a
n
= cos
n
2
.
(3) a
n
=
n
2
n
.
(4) a
n
=
n
3
n
.
(5) a
n
= 1 (1)
n
.
(6) a
n
=
1 (1)
n
n
.
(7) a
n
=
(1)
n
n

1 (1)
n
2
.
(8) a
n
= 2
1=n
.
(9) a
n
= n
.1/
n
.
(10) a
n
=
3
_
n
2
cos(n)
n 1
.
(11) a
n
=
(1)
n
2
n
(1)
nC1
2
nC1
.
(12) a
n
=
3
n
(2)
n
3
nC1
(2)
nC1
.
(13) a
n
= n
n
, con [[ < 1.
(14) a
n
= 1
n
n 1
cos
n
2
.
(15) a
n
=
(1)
n
_
nsen(n
n
)
n 1
.
(16) a
n
=
n
_
a
n
b
n
, a. b _ 0.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
20 Fernando Mejas
(17) a
n
=
2
n
2
n
.
(18) a
n
= (1)
n
_
1
1
n
_
.
(19) a
n
=
1
n 1

1
2n
.
(20) a
n
=
n
_
e
n
_
e
2

n
_
e
n
n
.
3 Cada una de las sucesiones presentadas a continuacin converge hacia
el lmite indicado. Vericar este hecho obteniendo en cada caso un
valor de N, para un c > 0 dado, de tal forma que para todo n, si
n _ N, entonces [a
n
[ < c.
(1) a
n
=
1
n
, = 0.
(2) a
n
=
n
2n 1
, = 1,2.
(3) a
n
=
1
n
, = 0.
(4) a
n
= (1)
n
_
9
10
_
n
, = 0.
(5) a
n
= sen
_
1
n
_
, = 0.
4 Probablemente las sucesiones ms simples son las constantes. A conti-
nuacin discutimos esta proposicin y establecemos las candidatas a
ser sus ms fuertes competidoras.
(a) Sea {a
n
] una sucesin convergente de nmeros enteros. Demos-
trar que existe un nmero natural N tal que a
n
es constante para
todo n _ N.
(b) Determinar todas las subsucesiones convergentes de la sucesin
{(1)
nC1
].
5 (a) Supongamos que {.
n
] es una sucesin convergente y que existe
un nmero natural N tal que .
n
_ 0 para todo n _ N. Demostrar
que lim
n!1
.
n
_ 0.
(b) Demostrar que si {.
n
] y {,
n
] son dos sucesiones convergentes y
que existe un nmero natural N tal que .
n
_ ,
n
para todo n _ N,
entonces lim
n!1
.
n
_ lim
n!1
,
n
.
(c) Demostrar mediante un ejemplo que si {.
n
] es una sucesin con-
vergente y existe un nmero natural N tal que .
n
> 0 para todo
n _ N no se sigue necesariamente que lim
n!1
.
n
> 0.
6 Dar un ejemplo de una sucesin {a
n
], tal que para cada nmero na-
tural k, exista una subsucesin de {a
n
] la cual sea convergente hacia
k.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
1. Sucesiones Innitas 21

7 Dar un ejemplo de una sucesin {a

n
], tal que para cada nmero real
, exista una subsucesin de {a
n
] la cual sea convergente hacia .
8 Supongamos que {.
n
], {,
n
] y {z
n
] son tres sucesiones tales que .
n
_
,
n
_ z
n
y que lim
n!1
.
n
= lim
n!1
z
n
= . Demostrar que {,
n
] converge
y
lim
n!1
,
n
= .
9 Demostrar que si lim
n!1
a
n
= , entonces
lim
n!1
a
1
a
n
n
= .
10 Existen casos en que es necesario (o conveniente) determinar que
{.
n
] es una sucesin convergente cuyos trminos pertenecen a un
conjunto, se tiene necesariamente que el lmite tambin pertenece
a dicho conjunto. En este problema se discuten dos casos concretos.
(a) Demostrar que si {.
n
] es una sucesin convergente hacia y to-
dos sus trminos estn en el intervalo cerrado a. b|, entonces
a. b|.
(b) Demostrar que la parte (a) no necesariamente es cierta si el inter-
valo a. b| se reemplaza por (a. b).
11 Este problema plantea el estudio de una sucesin muy interesante y
que constituye una bonita aplicacin del Corolario 15. Para empezar
notemos que si 0 < a < 2, entonces 0 <
_
2a < 2.
(a) Demostrar que la sucesin
_
2.
_
2
_
2.
_
2
_
2
_
2. . . .
es creciente y acotada superiormente y, por tanto, convergente.
(b) Hallar el lmite. Indicacin: observe que si lim
n!1
a
n
= , entonces
lim
n!1
_
2a
n
=
_
2.
12 Existe una sucesin {a
n
] denida por recurrencia que despierta ad-
miracin general
a
1
= 1.
a
2
= 1.
a
n
= a
n1
a
n2
para n _ 3.
As los primeros diez trminos de la sucesin son
1. 1. 2. 3. 5. 8. 13. 21. 34. 55.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
22 Fernando Mejas
La sucesin {a
n
] es conocida como la sucesin de Fibonacci en honor al
italiano Fibonacci, tambin conocido como Leonardo de Pisa quien
la descubri en el estudio de un problema relacionado con la cra
de conejos (para los detalles consultar el Problema 2-20 de la refe-
rencia [1] de la Resea Bibliogrca). Posteriormente se ha encontrado
que los nmeros de Fibonacci aparecen en muchos contextos de fen-
menos naturales. Demostrar que para todo n se cumple la siguiente
igualdad
a
n
=
_
1
_
5
2
_
n

_
1
_
5
2
_
n
_
5
.
13 El nombre del matemtico suizo Leonhard Euler se encuentra aso-
ciado a un par de nmeros muy interesantes. En primer lugar el
nmero c que puede denirse como
e = log
1
(1).
donde log denota la funcin logaritmo (natural), es decir
log . =
_
x
1
1
t
Jt.
Es un hecho notable que adems el nmero de Euler se puede expre-
sar como el lmite de una sucesin particularmente notable, a saber
e = lim
n!1
_
1
1
n
_
n
.
Algunos autores preeren tomar la ecuacin anterior como denicin
de e, despus de probar que la sucesin en cuestin es no decre-
ciente y acotada superiormente (otra denicin puede tomarse en
consideracin despus de realizar un estudio sobre series).
Ciertamente no resulta exagerado plantear que el nmero e es uno
de los nmeros ms importantes del Clculo y de las Matemticas en
general y entre sus mltiples propiedades se destaca el hecho de que
es un nmero irracional (ms an, es un nmero trascendente, es
decir no se puede obtener por el proceso de resolver ecuaciones alge-
braicas). Por otro lado est otro nmero asociado al nombre de Euler,
que no desempea un papel tan crucial en Clculo y ni siquiera se ha
determinado si es racional o no. Tal nmero es conocido como la
constante ; de Euler y est denido en trminos de sucesiones como se
indica a continuacin.
(a) Demostrar que para todo nmero natural n se tiene que
1
n 1
< log(n 1) log n <
1
n
.
Indicacin: use la denicin de log indicada arriba y aplique algu-
nas propiedades elementales de la integral.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
1. Sucesiones Innitas 23
(b) Usar la parte (a) para demostrar que si
a
n
= 1
1
2

1
n
log n.
entonces a
n
es convergente (probando que {a
n
] es decreciente y
acotada inferiormente). La constante ; de Euler est denida por
; = lim
n!1
_
1
1
2

1
n
log n
_
.
14 Como en el problema anterior, en ste explotamos algunas propie-
dades de la integral aplicadas a la funcin log para establecer unos
hechos notables acerca de alguna sucesin especial que involucra en
su denicin al factorial de un nmero (que suele ser muy compli-
cada de manipular por lo difcil que es estimar el valor de n cuando
n es muy grande).
(a) Demostrar que si es creciente sobre 0. o) entonces
(1) (n 1) <
_
n
1
(.) J. < (2) (n).
Indicacin: hacer una representacin grca (y recuerde que toda
funcin creciente es integrable).
(b) Ahora considere el caso particular = log para demostrar que
n
n
e
n1
< n <
(n 1)
nC1
e
n
.
y por tanto
lim
n!1
n
_
n
n
=
1
e
.
Lo cual a veces se expresa as
n
_
n ~
n
e
para n grande.
15 El Corolario 15 establece, en trminos generales, que funciones con-
tinuas llevan sucesiones convergentes a sucesiones convergentes. En
este problema se estudia la relacin entre la continuidad de funciones
y las sucesiones de Cauchy.
(a) Dar un ejemplo de un conjunto de nmeros reales X, una funcin
: X R continua sobre X y una sucesin de Cauchy {.
n
] con
trminos en X, tales que {(.
n
)] no sea una sucesin de Cauchy.
La situacin descrita en la parte (a) se puede mejorar conside-
rablemente introduciendo un renamiento al concepto de conti-
nuidad: Decimos que la funcin : X R es uniformemente
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
24 Fernando Mejas
continua sobre X si para todo c > 0 existe un > 0 tal que para
todos .. , X
si [. ,[ < , entonces [(.) (,)[ < c.
Notemos que si es uniformemente continua sobre X entonces
es continua sobre X, pero que la proposicin recproca no siem-
pre es cierta.
(b) Demostrar que si : X R es una funcin uniformemente con-
tinua sobre X, entonces para toda sucesin de Cauchy {.
n
] con
trminos en X se cumple que {(.
n
)] es una sucesin de Cauchy.
16 (a) Demostrar que si la sucesin {a
n
] converge hacia entonces {[a
n
[]
converge hacia [[. Indicacin: se puede dar una solucin elemen-
tal utilizando la desigualdad triangular pero otra prueba muy ele-
gante puede construirse usando el Corolario 15.
(b) Demostrar mediante un ejemplo que la convergencia de {[a
n
[] no
implica la convergencia de {a
n
].

17 Sea M la coleccin de todas las sucesiones de nmeros reales {a

n
]
acotadas. Si = {a
n
]. = {b
n
] M, denir la funcin J por
J(. ) = sup

[a
n
b
n
[ : n n
_
.
Demostrar que la funcin J satisface las siguientes propiedades para
todos = {a
n
]. = {b
n
]. ; = {c
n
] M.
(a) (Positividad) J(. ) _ 0. Adems, J(. ) = 0 si y slo si = .
(b) (Simetra) J(. ) = J(. ).
(c) (Desigualdad triangular) J(. ) _ J(. ;) J(;. ).
Este problema suele interpretarse diciendo que la funcin J dene
una distancia (o mtrica) en el mundo M de las sucesiones acotadas,
que es en consecuencia un ejemplo de un espacio mtrico.
18 Sea {a
n
] una sucesin tal que a
n
> 0 para todo n y
lim
n!1
a
nC1
a
n
= .
Demostrar que existe lim
n!1
a
n
1=n
y
lim
n!1
a
n
1=n
= .
19 Sea {a
n
] una sucesin acotada y consideremos la sucesin denida
por
.
n
= sup {a
n
. a
nC1
. . . . ] .
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
1. Sucesiones Innitas 25
(a) Demostrar que {.
n
] converge. El lmite lim
n!1
.
n
se denomina lmite
superior de {a
n
] y es denotado por lim
n!1
a
n
o limsup
n!1
a
n
. Anloga-
mente se dene el lmite inferior y se denota por lim
n!1
a
n
o liminf
n!1
a
n
.
(b) Demostrar que
liminf
n!1
a
n
_ limsup
n!1
a
n
.
(c) Demostrar que {a
n
] converge si y slo si
liminf
n!1
a
n
= limsup
n!1
a
n
.
En este caso tenemos
lim
n!1
a
n
= liminf
n!1
a
n
= limsup
n!1
a
n
.
En trminos elementales el proceso de contar consiste en asignar
a cada elemento de un conjunto una etiqueta que corresponde a un
nmero natural. En el siguiente problema se describe algunas aplica-
ciones generales de este concepto, pero primero establecemos cierto
marco formal. Un conjunto = 0 es nito si existen un nmero na-
tural N y una funcin biyectiva a : {1. 2. . . . . N] ; en este caso
decimos que posee N elementos (por convenio tenemos que 0 es
nito con 0 elementos). Decimos que un conjunto es innito si no
es nito. Un conjunto es innito numerable (o contable) si existe
una funcin biyectiva a : N , es decir, sus elementos se pueden
representar como una sucesin {a
1
. a
2
. . . . ]. Decimos que es nume-
rable si es nito o innito numerable. El ejemplo tpico de un con-
junto no numerable R; otro caso notable es el conjunto de Cantor C
(Ejemplo 16).
20 En este problema examinamos la numerabilidad de ciertos conjuntos
importantes. Nuestro estudio se inicia con el caso ms emblemtico
de conjuntos numerables.
(a) Demostrar que el conjunto N de los numeros naturales es nume-
rable.
(b) Demostrar que el conjunto Zde los numeros naturales es numera-
ble. Indicacin: establecer una denicin formal para la sucesin
0. 1. 1. 2. 2. . . . .
(c) Utilizar un articio similar al de la parte (b) para demostrar que
la unin de dos conjuntos numerables tambin es numerable.
(d) Demostrar el hecho ms sorprendente de que el conjunto Q de
los numeros racionales es numerable. Notemos que de aqu se
deduce que la coleccin R \ Q de los nmeros irracionales no es
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
26 Fernando Mejas
numerable. Indicacin: utilizar el siguiente diagrama sin preocu-
parse por los elementos repetidos y luego utilizar la parte (c)
1
1
1
2
1
3
1
4

_ , _ ,
2
1
2
2
2
3
2
4

, _ , _
3
1
3
2
3
3
3
4

_ , _ ,
4
1
4
2
4
3
4
4

, _ ,
.
.
.
.
.
.
.
.
.
.
.
.
(e) Imitando la parte (d), demostrar que si
1
.
2
. . . . son conjuntos
numerables, entonces
1
L
2
L es un conjunto numerable.
21 Demostrar que las siguientes proposiciones son equivalentes.
(PA1) El conjunto N de los nmeros naturales no est acotado.
(PA2) Para todo c > 0 existe un n N tal que 1,n < c.
(PA3) Para todo . R y para todo k > 0 existe un n N tal que
nk > ..
Frecuentemente la proposicin PA3 es conocida como la propiedad
arquimediana de los nmeros reales en honor al sabio griegoArqume-
des quien la formul en trminos geomtricos: la distancia entre dos
puntos cualesquiera de una recta puede medirse con una regla cual-
quiera mediante una cantidad nita de pasos.