w

w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo 4
Sucesiones y Series
En este captulo introducimos los conceptos fundamentales de convergencia de sucesiones
y series y estudiamos sus relaciones con las operaciones algebraicas y con el orden usual de
R. En la seccion 4.8 se prueba la completitud de R, el cual es quizas, el resultado teorico mas
importante del captulo. Este resultado dice que toda sucesion de Cauchy de n umeros reales,
converge.
En la ultima seccion, introducimos la nocion de red. Este concepto generaliza la nocion de
sucesion, y sera utilizado en el estudio de las integrales impropias (su lectura puede posponerse
hasta para cuando se estudie la seccion 8.6).
4.1. Sucesiones y convergencia de sucesiones.
Las nociones de convergencia y de lmite se basan en el concepto mas elemental de distancia.
Sean x, y R. El n umero |x y| se conoce como la distancia de x a y. Esta distancia satisface
la propiedad (o desigualdad) triangular. Es decir,
|x z| |x y| +|y z|; x, y, z R.
En efecto, basta notar que, x z = (x y) + (y z), y aplicar la proposicion 2.8.3.
Dados a, r R con r > 0, denimos el entorno (vecindad) de centro a y radio r;
denotado provisionalmente por E(a, r); como el conjunto de aquellos puntos (elementos) de R
cuya distancia a a es menor que r. En smbolos, E(a, r) = {x R : |x a| < r}. Por la
proposicion 2.8.2 tenemos que, x E(a, r) si y solo si ar < x < a+r. Por esta razon, E(a, r)
se denota mas com unmente por (a r, a + r) y se llama el intervalo de centro a y radio r.
Sea A un conjunto no vaco. Toda aplicacion f : N A, sera llamada una sucesion de A.
Usualmente, una sucesion f suele indicarse con el smbolo {x
n
}
n
, donde x
n
= f(n). La letra n, en
esta notacion es muda, en el sentido que podemos usar otras letras como i, j, k, m etc. A veces,
abusando un poco de la notacion, se escribe simplemente {x
n
} en lugar de {x
n
}
n
, pudiendo
51
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
52 CAP

ITULO 4. SUCESIONES Y SERIES

confundirse {x
n
} con un conjunto de solo elemento, en estos casos el contexto indicara si estamos
hablando de una sucesion.
Sea {x
n
}
n
una sucesion de R. Diremos que {x
n
}
n
es convergente si existe a R con la
siguiente propiedad: Para cada > 0 existe n
0
N tal que
|x
n
a| < si n > n
0
.
Esto equivale a decir que, para cada > 0 existe n
0
N, tal que x
n
(a , a +), cuando
n > n
0
. En este caso, tambien se dice que {x
n
}
n
converge o tiende a a. El natural n
0
, de esta
denicion, depende en general del valor que tome , y sera mas grande mientras mas peque no
sea .
Ejemplos 4.1.1. 1. Sea x
n
= 1/n, n N. Armamos que {x
n
}
n
converge a 0. En efecto,
jemos > 0. Por la propiedad arquimediana de R (ver proposicion 2.5.1), existe n
1
N
tal que n
1
> 1/. Por lo tanto, |1/n| < para todo n n
1
.
Mas generalmente, para cada z R se tiene que la sucesion x
n
= z/n converge a 0.
2. Si 0 < z < 1, entonces la sucesion x
n
= z
n
converge a 0. Para ver esto, primero observemos
que al multiplicar por z ambos lados de la desigualdad z < 1 obtenemos que z
2
< z y en
general se cumple que
0 < z
n+1
< z
n
< < z
2
< z < 1. (1.1)
Esto sugiere que la sucesion {x
n
}
n
tiende a inf{z
n
: n 1}. En efecto, para simplicar
la notacion, sea a := inf{z
n
: n 1}. De las propiedades del nmo (proposicion 2.6.2)
se tiene que dado > 0, existe n
1
N tal z
n
1
< a + . Usando (1.1) se concluye que
z
n
< a + para todo n n
1
. Como a z
n
para todo n, entonces |z
n
a| < si n n
1
.
Es decir, {x
n
}
n
converge a a.
Finalmente mostraremos que a = 0. Notemos que a/z z
n
, pues a z
n+1
para todo
n N. Por lo tanto a/z a y de aqu se tiene que a(1 z) 0. Como z < 1, entonces
a 0 y por lo tanto a = 0 (por la tricotoma).
Para indicar que una sucesion {x
n
}
n
de R converge a a R, usaremos cualquiera de los
siguientes smbolos:
x
n
a, que se lee: x
n
tiende a a.
a = lm
n
x
n
, que se lee: a es el lmite de x
n
cuando n tiende a innito.
En lo que sigue, {x
n
}
n
, {y
n
}
n
denotaran sucesiones de R. La proxima proposicion dice que
si una sucesion es convergente, entonces converge a un solo n umero.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
4.1. SUCESIONES Y CONVERGENCIA DE SUCESIONES. 53
Proposicion 4.1.2. Si {x
n
}
n
converge a a R y tambien converge a b R, entonces a = b.
Demostraci on: Supongamos a = b y denamos = |a b|/2. Ya que > 0 y {x
n
}
n
converge a
a, existe n
0
N tal que |x
n
a| < , si n > n
0
. Por la misma razon, existe m
0
N tal que
|x
n
b| < , si n > m
0
. Escojamos k N tal que k > n
0
y k > m
0
(por ejemplo k = m
0
+ n
0
),
entonces |x
k
a| < , |x
k
b| < , y por la propiedad triangular, |a b| |a x
k
| +|x
k
b| <
+ = 2 = |a b|. Por lo tanto, |a b| < |a b| y esto contradice la ley de tricotoma y
termina la prueba.
Ahora introduciremos algunas nociones que seran utiles para todo lo que sigue. Sea a R
y denamos x
n
= a, para cada n N. La sucesion {x
n
}
n
es llamada la sucesion constante
de valor a. El lector comprobara que ella converge a a.
El conjunto {x
n
: n N} se llama el rango de la sucesion {x
n
}
n
(observe la diferencia
en la notacion). Por ejemplo, el rango de la sucesion {1/n} es el conjunto {1/n : n N}. Y el
rango de la sucesion {(1)
n
} es {1, 1}.
Si el rango de una sucesion es un conjunto acotado, diremos que la sucesion {x
n
}
n
es
acotada. En otras palabras, {x
n
}
n
es acotada, si existe M > 0 tal que |x
n
| M para todo
n N. Para ver la importancia de concepto, basta notar que toda sucesion convergente es
acotada (ver ejercicio 5)
Sea {x
n
}
n
una sucesion y m N, usaremos el smbolo {x
n
}
nm
para denotar la sucesion
dada por la funcion f(k) = x
m+k1
, k N.
Ejercicios.
1. a) Sea x
n
=
7n
2
+8
3n
2
+5
. Pruebe que x
n
7/3.
b) Sea x
n
=
3
n
3
+n+3
. Pruebe que x
n
0.
2. Suponga que {x
n
}
n
es convergente. Pruebe que dado > 0 existe n
0
N tal que, |x
m

x
n
| < 2, si n, m > n
0
. Deduzca que {(1)
n
} no es convergente.
3. Pruebe que si x
n
a, entonces |x
n
| |a|. De un ejemplo donde el recproco falla. Sin
embargo, se tiene que x
n
0 si y solo si |x
n
| 0.
4. Sea {x
n
}
n
una sucesion y n
0
N. Pruebe que
a) {x
n
}
n
es convergente si y solo si {x
n
}
nn
0
es convergente.
b) {x
n
}
n
es acotada si y solo si {x
n
}
nn
0
es acotada.
5. Pruebe que toda sucesion convergente es acotada.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
54 CAP

ITULO 4. SUCESIONES Y SERIES

6. Pruebe que si x
n
0 e {y
n
}
n
es acotada, entonces x
n
y
n
0.
7. Sea A R no vaco y acotado superiormente y sea b R una cota superior de A. Pruebe
que b = sup(A) si y solo si existe una sucesion {x
n
}
n
de A que converge a b.
4.2. Operaciones algebraicas entre sucesiones
En el conjunto de sucesiones de R podemos introducir operaciones algebraicas de suma,
resta, multiplicacion y division. Mas precisamente, dadas sucesiones {x
n
}
n
, {y
n
}
n
de R, deni-
mos nuevas sucesiones de R por: {x
n
+ y
n
}
n
, {x
n
y
n
}
n
, {x
n
y
n
}
n
. Si y
n
= 0 para todo n N,
tambien denimos la sucesion cociente {x
n
/y
n
}
n
. Si {x
n
}
n
es la sucesion constante de valor
, entonces la sucesion {x
n
y
n
}
n
se denota por {y
n
}
n
.
El objetivo de esta seccion es demostrar el siguiente resultado.
Proposicion 4.2.1. Si x
n
a e y
n
b, entonces
i) x
n
+ y
n
a + b,
ii) x
n
a, cualquiera sea R,
iii) x
n
y
n
ab,
iv) x
n
/y
n
a/b, si y
n
= 0 para todo n N y b = 0.
La demostracion de esta proposicion la daremos al nal de esta seccion pues se deducira de
algunas propiedades que poseen las operaciones entre n umeros reales. Sean a, b, c, d n umeros
reales. Es intuitivamente claro que si a y b estan cerca en la recta y tambien lo estan c y d,
entonces a+c y b+d deben estar cerca. Algo similar ocurre con las otras operaciones algebraicas
en R. En esta seccion mostraremos rigurosamente estos hechos que pueden resumirse diciendo
que las operaciones algebraicas en R son continuas (el signicado preciso de esta expresion se
aclarara mas adelante).
Recordamos que dados conjuntos A; B R, se dene A + B = {x + y : x A, y B} y
A B = {x y : x A, y B}.
Proposicion 4.2.2. Sean a, b, r, s, R con r, s > 0. Entonces
i) (a r, a + r) + (b s, b + s) (a + b (r + s), a + b + (r + s)),
ii) (a r, a + r) (b s, b + s) (ab , ab + ); donde := r|b| + s|a| + rs,
iii) Sean a, r R tales que 0 < r < |a| y sea = r/[|a|(|a| r)]. Si x (ar, a+r), entonces
x = 0 y x
1
(a
1
, a
1
+ ).
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
4.2. OPERACIONES ALGEBRAICAS ENTRE SUCESIONES 55
Demostraci on: i) Sean x (a r, a +r) e y (b s, b +s). Entonces |x a| < r y |y b| < s.
Note (x + y) (a + b) = (x a) + (y b), luego por la desigualdad triangular obtenemos
|(x + y) (a + b)| |x a| +|y b| < r + s.
A n de probar ii), invitamos al lector a vericar previamente la siguiente identidad:
xy ab = (x a)b + a(y b) + (x a)(y b). (2.1)
Ahora jemos x (a r, a + r) e y (b s, b + s). Usando (2.1) y la desigualdad triangular
obtenemos
|xy ab| |(x a)b| +|a(y b)| +|(x a)(y b)|
= |x a||b| +|a||y b| +|x a||y b|
< r|b| +|a|s + rs.
Para mostrar iii), sea x (a r, a + r), esto es, |a x| < r. Como a = x + (a x), por la
desigualdad triangular, se tiene que |a| < |x| + r. De aqu,
|x| > |a| r > 0, (2.2)
de donde, x = 0. Por otra parte, 1/x 1/a = (a x)/ax, as que,
|x
1
a
1
| =
|x a|
|a||x|
<
r
|a||x|
y usando (2.2), tenemos que x
1
< (|a| r)
1
. Y de aqu
|x
1
a
1
| <
r
|a|(|a| r)
.
Esto prueba iii).
Proposicion 4.2.3. Sean a, b, R con > 0, entonces:
i) Existen r, s > 0 tales que, (a r, a + r) + (b s, b + s) (a + b , a + b + ),
ii) Existen r, s > 0 tales que (a r, a + r) (b s, b + s) (ab , ab + ),
iii) Sean a, R tales que, a = 0 y > 0. Existe > 0 tal que si x (a , a +), entonces
x = 0 y x
1
(a
1
, a
1
+ ).
Demostraci on: La parte i) se sigue de la proposicion 4.2.2(i) tomando (por ejemplo) r = s = /2.
Para probar ii), comencemos tomando 0 < r 1, tal que r /(|a| + |b| + 1) y sea s = r.
Entonces
r|b| + s|a| + r s = r[|a| +|b| + r] r[|a| +|b| + 1]
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
56 CAP

ITULO 4. SUCESIONES Y SERIES

y el resultado se sigue de la proposicion 4.2.2(ii). La parte iii) se sigue de 4.2.2(iii), eligiendo
R de modo que, 0 < < |a| y |a|
2
/(1 + |a|). Note que esta ultima desigualdad es
equivalente a /[|a|(|a| )] .
Ahora ya tenemos las herramientas necesarias para demostrar 4.2.1.
Demostraci on de la proposici on 4.2.1. La parte i) sera dejada como ejercicio. Para ver ii),
observe que ii) es un caso particular de iii) tomando {y
n
}
n
la sucesion constante . Para probar
iii), jemos > 0 y recordemos que por la proposicion 4.2.3, existen r, s > 0 tales que
(a r, a + r) (b s, b + s) (ab , ab + ). (2.3)
Ya que x
n
a, existe n
1
N tal que
x
n
(a r, a + r) si n > n
1
. (2.4)
Por el mismo argumento, existe n
2
N tal que
y
n
(b s, b + s) si n > n
2
. (2.5)
Pongamos n
0
= max{n
1
, n
2
} y sea n > n
0
(n N). Ya que n es mayor que n
1
y n
2
simultaneamente, entonces (2.4)-(2.5) son validas al mismo tiempo y, por (2.3), tenemos que
x
n
y
n
(ab , ab + ). Esto termina la prueba de iii).
Ya que x
n
/y
n
= x
n
(1/y
n
), iv) se seguira de iii) si probamos que 1/y
n
1/b. Para ello, jemos
> 0 y recordemos que por la proposicion 4.2.3, existe > 0 tal que, si x (a , a + ),
entonces x = 0 y x
1
(a
1
, a
1
+). Como y
n
b, existe n
0
N tal que, y
n
(b, b+)
si n > n
0
. De aqu, y
1
n
(b
1
, b
1
+ ) si n > n
0
.
Ejercicios.
1. Sean a, b R. Pruebe que si a = b, existe > 0 tal que, (a , a + ) (b , b + ) = .
2. De una interpretacion geometrica de la identidad (2.1) usada en la proposicion 4.2.2, como
la diferencia del area de dos rectangulos.
3. Sean a, b, c, d R con a < b y c < d. Denotaremos por (a, b) el conjunto {x R : a < x <
b}, por (, a) el conjunto {x R : x < a} y por (a, +) el conjunto {x R : a < x}.
Muestre que
(i) (a, +) + (c, +) = (a + c, +),
(ii) (, a) + (, c) = (, a + c),
(iii)* (a, b) + (c, d) = (a + c, b + d).
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
4.3. PROPIEDADES DE LAS SUCESIONES CONVERGENTES. 57
4.3. Propiedades de las sucesiones convergentes.
En esta seccion mostraremos algunas propiedades de las sucesiones convergentes relativas
al orden de R.
Proposicion 4.3.1. i) Si x
n
a y x
n
0, para cada n N, entonces a 0,
ii) Si x
n
a, y
n
b y x
n
y
n
, para cada n N, entonces a b.
Demostraci on: i) Supongamos, por reduccion al absurdo, que a < 0 y sea = a/2. Ya que
x
n
a, existe n
0
N tal que |x
n
a| < , si n > n
0
. Pero x
n
a > 0 porque x
n
0 y estamos
suponiendo que a < 0. De aqu, x
n
a < para n > n
0
, y en consecuencia, x
n
< a+ = a/2 < 0,
si n > n
0
. Esto es imposible, pues por hipotesis x
n
0, para todo n N. Con esto termina la
prueba de i).
ii) Observemos que a partir de la proposicion 4.2.1 parte ii), se tiene que y
n
b. De
aqu y de la parte i) de esa proposicion, x
n
y
n
a b. Por hipotesis, x
n
y
n
0, n N, y
de la parte i) concluimos que a b 0.
Ejemplo 4.3.2. Mostraremos que no es valido un resultado analogo a la proposicion 4.3.1 para
< en lugar de . Considere las sucesiones x
n
= 1/n y y
n
= 2/n, para n N. Es claro que
x
n
< y
n
, pero ambas convergen a 0.
Proposicion 4.3.3. Si 0 x
n
y
n
, para cada n N e y
n
0, entonces x
n
0.
Demostraci on: Dado > 0 existe n
0
tal que |y
n
| < si n n
0
. Como |x
n
| |y
n
| para todo n,
entonces |x
n
| < si n n
0
.
Ejemplo 4.3.4. Si x > 1, entonces x
1/n
1. En efecto, como x
1/n
> 1, podemos escribir
x
1/n
= 1 + b
n
, para alg un b
n
> 0. Por denicion de raz n-esima, x = (1 + b
n
)
n
, y por la
desigualdad de Bernoulli (ver ejercicio 9 de la seccion 3.2), (1+b
n
)
n
1+nb
n
. En consecuencia,
0 < b
n
(x1)/n. Como (x1)/n 0, entonces por la proposicion 4.3.3 tenemos que b
n
0.
Luego 1 + b
n
1 (por la proposicion 4.2.1(i)).
Proposicion 4.3.5. Sean {x
n
}
n
, {y
n
}
n
, {z
n
}
n
sucesiones de R tales que, x
n
a y z
n
a. Si
x
n
y
n
z
n
, para todo n N, entonces y
n
a.
Demostraci on: Sabemos que z
n
x
n
a a. Ademas, 0 y
n
x
n
z
n
x
n
, y por la
proposicion precedente, y
n
x
n
0. De aqu, (y
n
x
n
) + x
n
0 + a. Es decir, y
n
a.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
58 CAP

ITULO 4. SUCESIONES Y SERIES

Ejercicios.
1. Pruebe que si x
2
n
0, entonces x
n
0.
2. Pruebe que dado x R existe una sucesion {x
n
}
n
de Q convergente a x. Ayuda. Use la
densidad de Q en R (teorema 2.5.4) para hallar un racional x
n
tal que x < x
n
< x +1/n,
para cada n N.
3. Pruebe que a/(n + b) 0, cualquiera sean a, b R con b / N.
4. Pruebe que z
n
0 si |z| < 1. Pruebe que {z
n
}
n
no converge si |z| > 1. Concluya que
{z
n
}
n
converge si y solo si 1 < z 1.
5. Pruebe que x
1/n
1 si x > 0. Compare este resultado con lo mostrado en el ejemplo
4.3.4.
6. * Pruebe que n
1/n
1. Ayuda. Muestre que n
1/n
= 1 + b
n
para alg un b
n
0. Use el
Binomio de Newton para probar que si a 0, entonces (1 + a)
n
n(n 1)a
2
/2.
7. * Dados a, , t R con a > 1, t Q y < a
t
. Pruebe que existe s Q con s < t tal que
< a
s
. Ayuda. Busque s de la forma t 1/n para alg un natural n y recuerde que (a)
1/n
tiende a 1.
8. Pruebe que las dos condiciones siguientes son equivalentes:
a) R es arquimediano,
b) 1/n 0.
4.4. Sucesiones mon otonas.
Diremos que {x
n
}
n
es monotona creciente o mas simplemente creciente, si x
n
x
n+1
,
para cada n N. Cuando la desigualdad es estricta, se dice que {x
n
}
n
es estrictamente
creciente. Si x
n+1
x
n
para cada n N, decimos que {x
n
}
n
es monotona decreciente o
simplemente decreciente. Diremos que una sucesion es monotona si es creciente o decreciente.
En el ejemplo 4.1.1 vimos que la sucesion {z
n
}
n
, cuando 0 < z < 1, es decreciente, acotada
y converge al nmo del rango de la sucesion. Esto es un caso particular de un resultado general
que mostraremos a continuacion.
Teorema 4.4.1. Si {x
n
}
n
es creciente y acotada, entonces {x
n
}
n
es convergente y, de hecho,
lm
n
x
n
= sup{x
n
: n N}. An alogamente, si {x
n
}
n
es decreciente y acotada, entonces
{x
n
}
n
es convergente y lm
n
x
n
= inf{x
n
: n N}.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
4.4. SUCESIONES MON

OTONAS. 59
Demostraci on: Supongamos que {x
n
}
n
es creciente y acotada. Pongamos A = {x
n
: n N}
y a = sup(A). Dado > 0, por la proposicion 2.6.1, existe x A tal que, a < x. Pero
como x A, existe n
0
N tal que x = x
n
0
, y as a < x
n
0
x
n
si n > n
0
(por ser {x
n
}
n
creciente). Por otra parte, x
n
a, para todo n N (porque a = sup(A)), en consecuencia,
a < x
n
a < a + si n > n
0
. Esto prueba que x
n
a.
El caso cuando la sucesion es decreciente sera dejado a cargo del lector.
Ejemplo 4.4.2. Sea 0 < r < 1 y considere la siguiente sucesion
b
n
= 1 + r + r
2
+ + r
n
=
n

i=0
r
i
.
Observe que b
n+1
b
n
= r
n+1
> 0 para todo n N, por lo tanto {b
n
}
n
es estrictamente
creciente. Se prueba facilmente por induccion que

n
i=0
r
i
=
1r
n+1
1r
. En consecuencia, {b
n
}
n
converge a 1/(1 r) (justique).
Ejemplo 4.4.3. Considere la siguiente sucesion
a
n
= 1 + 1/1! + 1/2! + 1/3! + + 1/n! =
n

i=0
1/i!.
Note que a
n+1
a
n
= 1/(n+1)! > 0, as que {a
n
} es estrictamente creciente. Para mostrar que
es acotada, note que 2
n
< n!, si n 4 (como se verica facilmente por induccion). De esto se
sigue facilmente que
2 a
n
1 + 1 + 1/2 + 1/2
2
+ + 1/2
n
= 1 +
n

i=0
1/2
i
.
Ya vimos en el ejemplo 4.4.2 que

n
i=0
1/2
i
converge a 2. Esto dice que a
n
3 1/2
n
para
todo n. En conclusion, a
n
< 3 para todo n. As por el teorema 4.4.1 se tiene que {a
n
}
n
es
convergente.
Proposicion 4.4.4. La sucesi on {(1 +
1
n
)
n
}
n
es convergente.
Demostraci on: Pongamos x
n
= (1 +
1
n
)
n
. Por el binomio de Newton,
x
n
=
n

i=0
_
n
i
_
n
i
.
Note que
_
n
i
_
n
i
1/i! (vericarlo). Luego
_
1 +
1
n
_
n

i=0
1/i!. (4.1)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
60 CAP

ITULO 4. SUCESIONES Y SERIES

Por lo visto en el ejemplo 4.4.3, concluimos que x
n
< 3 y claramente 1 < x
n
para todo n. As,
{x
n
}
n
es acotada.
Por el teorema 4.4.1, es suciente que demostremos que {x
n
}
n
es creciente, pues ya vimos
que es acotada. Para ello notemos que
x
n+1
=
n+1

i=0
_
n + 1
i
_
(n + 1)
i
>
n

i=0
_
n + 1
i
_
(n + 1)
i
.
Por esto, bastara mostrar que
_
n
i
_
n
i

_
n + 1
i
_
(n + 1)
i
, (4.2)
si 0 i n. Es claro que esta desigualdad es validad para i = 0, luego supondremos que
1 i n. Notemos que
_
n
i
_
n
i
=
n(n 1)(n 2) (n (i 1))
i! n
i
=
1
i!
n
n
n 1
n
n 2
n

n (i 1)
n
=
1
i!
(1)
_
1
1
n
__
1
2
n
_

_
1
i 1
n
_

1
i!
(1)
_
1
1
n + 1
__
1
2
n + 1
_

_
1
i 1
n + 1
_
=
1
i!
n + 1
n + 1
n
n + 1
n 1
n + 1

n + 1 (i 1)
n + 1
=
_
n + 1
i
_
(n + 1)
i
.
Donde la desigualdad arriba es valida ya que 1
j
n
1
j
n+1
para todo j n.
Observacion: Otra manera de mostrar la desigualdad (4.2) es observando que, por la denicion
de factorial, esa desigualdad es equivalente a la siguiente
_
1 +
1
n
_
i
1 +
i
n + 1 i
, (4.3)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
4.4. SUCESIONES MON

OTONAS. 61
la cual es obviamente valida para i = 0, 1. Supongamos ahora que (4.3) es valida para alg un
i < n, entonces
_
1 +
1
n
_
i+1

_
1 +
1
n
_ _
1 +
i
n+1i
_
=
_
1 +
i+1
n+1i
_
+
_
1
n(n+1i)
_

_
1 +
i+1
ni
_

i
(ni)(n+1i)
1 +
i+1
n+1(i+1)
lo cual dice que (4.3) es valida para i +1. Por induccion tenemos que (4.3) es valida para cada
i {0, 1 , n}.
El lmite de la sucesion {(1 +
1
n
)
n
}
n
juega un papel tan importante en matematica, que se
opto por denotarlo con un signo particular; a saber, la letra e. Es decir,
e := lm
n
_
1 +
1
n
_
n
.
Proposicion 4.4.5. (i) e = lm
n
n

i=0
1/i!
(i) 0 < e
n

i=0
1/i! < 1/n!n para todo n N.
(iii) e es irracional.
Demostraci on: Para simplicar la notacion, sea a
n
=

n
i=0
1
i!
.
(i) Ya vimos en (4.1) que (1 +
1
n
)
n
a
n
. Por lo tanto, e lm
n
a
n
(justique). Por otra
parte, jado m N, se tiene que (1 +
1
n
)
n

m
i=0
_
n
i
_
n
i
, para cualquier n m con n N.
Ademas, de la demostracion de la proposicion 4.4.4 se concluye que, jando i,
_
n
i
_
n
i

1
i!
cuando n +. En consecuencia, e a
m
para todo m N y con esto termina la demostracion
de la parte (i).
Para ver (ii), se tiene que, para m > n,
a
m
a
n
=
1
n!
_
1
(n + 1)
+
1
(n + 1)(n + 2)
+ +
1
(n + 1)(n + 2) (m)
_

1
n!
_
1
(n + 1)
+
1
(n + 1)
2
+ +
1
(n + 1)
mn
_
=
1
n!
mn

i=1
1
(n + 1)
i
.
En consecuencia, jando n y tomando lmite cuando m + y recordando lo mostrado en el
ejemplo 4.4.2 (con r = 1/(n + 1)), se obtiene que
e a
n
<
1
n!
1
n
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
62 CAP

ITULO 4. SUCESIONES Y SERIES

Como {a
n
}
n
es estrictamente creciente, entonces 0 < e a
n
para todo n.
(iii) Supongamos, por reduccion al absurdo, que e es racional. Sean entonces p, q naturales
tales que e = p/q. De lo mostrado en (ii) con n = q se tiene (multiplicando por q!) que
0 < p(q 1)! q!a
q
< 1/q 1. (4.4)
Es facil vericar que q!a
q
es un n umero natural y en consecuencia p(q 1)! q!a
q
tambien lo
es. Esto contradice (4.4).
Ejercicios.
1. Pruebe que si {x
n
}
n
es creciente, entonces x
m
x
n
cuando m < n.
2. Sea x R con x > 1. Pruebe que {x
1/n
}
n
es decreciente.
3. Pruebe que {n/x
n
}
n
es decreciente si x 2.
4. Pruebe que {x
n
}
n
es creciente si y solo si {x
n
}
n
es decreciente.
5. Suponga que existe n
0
N tal que x
n
x
n+1
si n > n
0
. Pruebe que {x
n
}
n
es convergente
si ella es acotada.
6. Pruebe que x
n
/n! 0, cualquiera sea x R. Ayuda. Suponga primero que x > 0 y
escoja n
0
N tal que n
0
x. Sea x
n
:= x
n
/n! para n n
0
. Aplique el ejercicio anterior
para deducir que {x
n
}
nn
0
converge a alg un R. Note que x
n+1
= x
n
([x/(n + 1)], y
x
n+1
.
7. Use los argumentos del ejercicio anterior para mostrar que n/x
n
0, si x > 1.
8. Considere la sucesion {x
n
}
n
denida recursivamente de la manera siguiente: x
1
= 1 y
x
n+1
= x
n
+ 1/x
n
, para n 1. Pruebe que {x
n
}
n
no es acotada. Ayuda: Use el teorema
4.4.1.
9. Considere la sucesion {x
n
}
n
denida recursivamente de la siguiente manera: x
1
= 1 y
para n 1 se cumple que
x
n+1
=
1
2
_
x
n
+
2
x
n
_
.
Pruebe que es convergente Puede determinar su lmite?. Ayuda: Pruebe que {x
n
}
n
es
acotada inferiormente y que a partir de n = 2 es decreciente.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
4.5. L

IMITES AL INFINITO 63
10. * En los siguientes ejercicios damos los resultados necesarios para denir la funcion expo-
nencial e
x
. No haremos uso de ellos en lo que resta del libro. Pondremos F
n
(x) = (1+
x
n
)
n
,
para cada x R y cada n N.
a) Use los argumentos de la demostracion de la proposicion 4.4.4 para probar que
{F
n
(x)}
n
es creciente y acotada, si 0 < x 1.
b) Pruebe que si b
n
+, entonces (1 + 1/nb
n
)
n
1.
c) Sean x, y > 0. Pruebe que si {F
n
(x)}
n
y {F
n
(y)}
n
son convergentes, entonces {F
n
(x+
y)}
n
tambien lo es y
lm
n+
F
n
(x + y) = lm
n+
F
n
(x)F
n
(y);
Ayuda. Use la parte b) para ver que F
n
(x)F
n
(y)/F
n
(x + y) 1.
d) Use induccion en k para probar que F
n
(k) e
k
para todo k N.
e) Pruebe que {F
n
(x)}
n
es convergente si x > 0. Ayuda. Por la parte a), solo falta
mostrar el caso cuando x > 1. En consecuencia, puede suponer que x = k + r con
k N y 0 r < 1.
f ) Pruebe que (1 n
2
)
n
1. Ayuda. Use la desigualdad de Bernoulli.
g) Pruebe que F
n
(x)F
n
(x) 1 para todo x R.
h) Pruebe que {F
n
(x)}
n
es convergente para todo x R. Dena F(x) = lm
n+
F
n
(x)
y pruebe que F(x + y) = F(x)F(y) para todo x, y R.
4.5. Lmites al innito
En esta seccion precisaremos el signicado de los lmites al innito. Diremos que {x
n
}
n
tiende a +, denotado x
n
+, si para cada M > 0 existe n
0
N tal que x
n
> M si
n > n
0
. Analogamente, diremos que {x
n
}
n
tiende a , si para cada M > 0 existe n
0
N
tal que x
n
< M si n > n
0
.
Las sucesiones monotonas acotadas son convergentes (por el teorema 4.4.1). La siguiente
proposicion complementa ese resultado.
Proposicion 4.5.1. Sea {x
n
}
n
una sucesi on mon otona.
i) Si {x
n
}
n
es creciente y no est a acotada superiormente, entonces x
n
+.
ii) Si {x
n
}
n
es decreciente y no est a acotada inferiormente, entonces x
n
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
64 CAP

ITULO 4. SUCESIONES Y SERIES

Demostraci on: i) Dado K > 0, ya que {x
n
}
n
no es acotada superiormente, existe n tal que
x
n
> K. Como {x
n
}
n
es creciente, entonces x
m
> K para todo m n. Esto muestra lo
deseado. La parte ii) la dejaremos a cargo del lector.
Observacion: Por el teorema 4.4.1 y el resultado anterior, tenemos entonces que lm
n
x
n
=
sup{x
n
: n N} cualquiera sea la sucesion creciente {x
n
}
n
.
Ejemplo 4.5.2. Mostraremos que z
n
+, si z > 1. En efecto, tenemos que z < z
2
< z
3
<
, es decir que esta sucesion es creciente. Armamos que {z
n
}
n
no es acotada superiormente.
En efecto, si lo fuera, entonces {z
n
}
n
convergera a un valor a positivo (justique). Por otra
parte tenemos que z
n+1
z = z(z
n
1). Como {z
n
}
n
y {z
n+1
}
n
convergen ambas a a, entonces
se tiene que az = z(a1). Simplicando esta igualdad se tiene que a = az y en consecuencia
z = 1 contradiciendo la hipotesis.
La siguiente proposicion nos habla del comportamiento de los lmites al innito en relacion
a la suma, al producto y al orden. Su demostracion quedara a cargo del lector.
Proposicion 4.5.3. i) Si {x
n
}
n
es acotada e y
n
+, entonces x
n
+y
n
+. An aloga-
manete, si y
n
, entonces x
n
+ y
n
.
ii) Suponga que x
n
a e y
n
+. Si a > 0, entonces x
n
y
n
+ y si a < 0, entonces
x
n
y
n
.
iii) Suponga que x
n
y
n
para todo n. Si x
n
+, entonces y
n
+ y si y
n
,
entonces x
n
.
Ejercicios.
1. Complete la demostracion de la proposicion 4.5.1.
2. Pruebe que |x
n
| + si y solo si 1/x
n
0.
3. Demuestre la proposicion 4.5.3.
4. Sea a un real mayor que 1 y p N. Pruebe que a
n
/n
p
+. Ayuda. Pruebe que existe
n
0
N tal que {x
n
}
nn
0
es creciente. Despues muestre que no puede ser acotada.
5. Pruebe que n
n
/n! +. Ayuda. Muestre que n
n
/n! es creciente. Despues suponga que
es acotada y llegue a una contradiccion (para esto observe que (n + 1)
n+1
/(n + 1)! =
(n
n
/n!)(1 + 1/n)
n
).
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
4.6. SUBSUCESIONES 65
4.6. Subsucesiones
El resultado mas importante de esta seccion dice que toda sucesion acotada se acumula
alrededor de alg un n umero (ver teorema 4.6.4). Para aclarar el signicado de esta armacion
necesitamos introducir la nocion de subsucesion. Sea {x
n
}
n
una sucesion y n
k
naturales tales
que
n
1
< n
2
< n
3
< < n
k
<
Entonces la sucesion
x
n
1
, x
n
2
, x
n
3
, , x
n
k
,
dada por g(k) = x
n
k
se llama una subsucesion de {x
n
}
n
. Mas formalmente, diremos que :
N N es estrictamente creciente, si (n) < (m) cuando n < m. La composicion f , de
una sucesion f : N R con una funcion estrictamente creciente : N N, sera llamada una
subsucesion de f. Si denotamos a f por {x
n
}
n
, entonces f es denotada por {x
(n)
}
n
. La
notacion usual para f es {x
n
k
}
k
, donde n
k
= (k).
Ejemplo 4.6.1. Considere la sucesion x
n
= 1/n
2
. Las siguientes son subsucesiones con sus
correspondiente funciones : (i) y
n
= 1/4n
2
donde (n) = 2n. (ii) y
n
= 1/2
2n
donde (n) = 2
n
.
Por otra parte, la sucesion
1/4, 1, 1/16, 1/9, 1/36, 1/25, , 1/(2n + 1)
2
, 1/(2n)
2
,
no es una subsucesion de {x
n
}
n
.
Proposicion 4.6.2. Sea {x
n
}
n
una sucesi on y {x
(n)
}
n
una subsucesi on. Entonces
i) Si {x
n
}
n
es acotada, entonces {x
(n)
}
n
tambien es acotada.
ii) Si {x
n
} a, entonces {x
(n)
} a.
iii) Si {x
n
}
n
es mon otona creciente, entonces {x
(n)
}
n
tambien lo es. An alogamente para
mon otona decreciente.
iv) Si {x
(n)
}
n
es una subsucesi on de {x
(n)
}
n
, entonces {x
(n)
}
n
tambien es una subsucesi on
de {x
n
}
n
.
Demostraci on: i) Suponga que |x
n
| M para todo n. Entonces |x
(n)
| M para todo n. ii)
Dado > 0, existe n
0
N tal que |x
n
a| < , si n > n
0
. Por induccion es facil mostrar que, por
ser estrictamente creciente, entonces (n) n para todo n N; de modo que |x
(n)
a| < ,
si n > n
0
. Dejamos a cargo del lector el resto de la demostracion.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
66 CAP

ITULO 4. SUCESIONES Y SERIES

La sucesion x
n
= (1)
n
/n no es ni creciente ni decreciente, sin embargo tiene una subsuce-
cion decreciente, por ejemplo {x
2n
}
n
. Este es un hecho general que mostramos a continuacion.
Teorema 4.6.3. Toda sucesi on tiene una subsucesi on mon otona
Demostraci on: Sea {x
n
}
n
una sucesion. Considere el siguiente conjunto
A = {n N : x
n
x
k
para todo k n}.
Por ejemplo, si {x
n
}
n
fuera creciente, entonces A = N. Por otra parte, si {x
n
}
n
fuera estricta-
mente decreciente, entonces A = . Por supuesto que estos dos casos son los menos interesantes,
pues para ellos la conclusion del teorema es trivial. Sin embargo, sugieren lo que ocurre en gen-
eral. Hay dos casos posibles:
(i) Supongamos que A es innito. Podemos enumerar los elementos de A en forma creciente
m
1
< m
2
< < m
k
<
Entonces {x
m
k
}
k
es una subsucesion creciente de {x
n
}
n
. Mas formalmente, existe : N
A creciente y sobreyectiva (vea la proposicion 3.4.1 y su demostracion). Ponga m
k
= (k).
(ii) Supongamos que A es nito. Sea n
0
tal que A {1, , n
0
}. Entonces para cada n > n
0
existe k n tal x
n
> x
k
. Ahora deniremos inductivamente una sucesion creciente {n
j
}
j
de naturales tales que x
n
j
> x
n
j+1
. Como n
0
+ 1 A, entonces existe n
1
> n
0
+ 1 tal
que x
n
0
+1
> x
n
1
. Suponga que hemos denido n
1
< n
2
< < n
j
tal que x
n
i
> x
n
i+1
para todo i < j. De nuevo como n
j
A, entonces existe n
j+1
> n
j
tal que x
n
j
> x
n
j+1
.
Con esto queda construida la sucesion {n
j
}
j
. Para terminar, notemos que {x
n
k
}
k
es una
subsucesion decreciente de {x
n
}
n
.
El resultado que sigue es importante, pues da una condicion suciente para la existencia de
subsucesiones convergentes.
Teorema 4.6.4. Toda sucesi on acotada posee una subsucesi on convergente.
Demostraci on: Sea {x
n
}
n
una sucesion acotada. Por el teorema 4.6.3 {x
n
}
n
tiene una subsuce-
sion {x
n
k
}
k
monotona que ademas es acotada (por serlo {x
n
}
n
). Por consiguiente {x
n
k
}
k
es
convergente (por el teorema 4.4.1).
El teorema anterior dice que toda sucesion acotada se acumula alrededor de alg un punto
(precisamente, el punto donde converge la subsucesion mencionada en la conclusion).
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
4.6. SUBSUCESIONES 67
Ejercicios.
1. Halle una sucesion que tenga una subsucesion convergente a 1 y otra convergente a 2.
2. Sea : N N una funcion tal que (n) < (n + 1) para todo n N. Pruebe que es
estrictamente creciente.
3. Sea : N N estrictamente creciente. Use induccion para probar que (n) n, para
todo n N.
4. Pruebe que si {x
n
}
n
no es acotada, entonces {x
n
}
n
posee una subsucesion {x
h(n)
}
n
tal que
|x
h(n)
| +. Ayuda. Pruebe que, para cada n N, el conjunto E
n
= {k N : |x
k
| n}
es innito.
5. Determine si el recproco del teorema 4.6.4 es valido.
6. a) Construya una sucesion que posea una subsucesion (estrictamente) creciente y tam-
bien otra subsucesion decreciente.
b) Suponga que {x
n
}
n
es una sucesion en R que no tiene subsucesiones decrecientes.
Sera cierto que {x
n
}
n
es creciente?
7. Pruebe que si las subsucesiones {x
2n1
}
n
, {x
2n
}
n
de {x
n
}
n
convergen a a R, entonces
x
n
a.
8. Pruebe que si {x
2n1
}
n
, {x
2n
}
n
, {x
3n
}
n
son convergentes, entonces {x
n
}
n
es convergente.
Ayuda. Note que {x
2n1
}
n
y {x
3n
}
n
tienen una subsucesion com un y que lo mismo ocurre
con {x
2n
}
n
y {x
3n
}
n
.
9. Sea f : N R una sucesion y sean
1
, . . . ,
m
: N N estrictamente crecientes tales que
f(
i
(n)) x para todo i = 1, , m. Pruebe que si
1
(N)
m
(N) = N, entonces
f(n) x.
10. a) Sea {x
n
}
n
una sucesion acotada. Suponga que todas las subsucesiones convergentes
de {x
n
}
n
convergen al mismo punto. Muestre que {x
n
}
n
es convergente. Seguira sien-
do valida la conclusion sin suponer que {x
n
}
n
es acotada?.
b) Suponga que todas las subsucesiones mon otonas de {x
n
}
n
convergen al mismo punto.
Muestre que {x
n
}
n
es convergente.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
68 CAP

ITULO 4. SUCESIONES Y SERIES

4.7. Lmites superior e inferior
Si {x
n
}
n
es acotada denimos:
x
n
= sup{x
i
: i n} y x
n
= inf{x
i
: i n}.
El lector vericara que { x
n
}
n
es una sucesion acotada monotona decreciente y que {x
n
}
n
es
acotada mon otona creciente. Por el teorema 4.4.1, la sucesion { x
n
}
n
(resp. {x
n
}
n
) tiene lmite,
que denotaremos por lmsup
n
x
n
(resp. lminf
n
x
n
) y que llamaremos el lmite superior
(resp. lmite inferior de {x
n
}).
Note que x
n
x
n
; para cada n N; y en consecuencia, lminf
n
x
n
lmsup
n
x
n
(ver
proposicion 4.3.1).
Si {x
n
}
n
no esta acotada superiormente (resp. inferiormente), se dene lmsup
n
x
n
= +
(resp. lminf
n
x
n
= ).
Ejemplo 4.7.1. Considere la sucesion x
n
= (1)
n
+ 1/n. Se tiene que 1 x
n
2 y por lo
tanto {x
n
}
n
es acotada. Por otra parte
x
n
= sup{x
i
: i n} =
_

_
1 +
1
n
, si n es par;
1 +
1
n + 1
, si n es impar.
As que los primeros terminos de la sucesion { x
n
}
n
son:
1 +
1
2
, 1 +
1
2
, 1 +
1
4
, 1 +
1
4
, 1 +
1
6
, 1 +
1
6
, ,
y lmsup x
n
= 1. Razonando de manera analoga se puede vericar que la sucesion {x
n
} es
constante igual a -1 y por lo tanto lminf x
n
= 1.
Proposicion 4.7.2. Supongamos que {x
n
}
n
es acotada. Entonces {x
n
}
n
es convergente si y s olo
si sus lmites superior e inferior coinciden. En ambos casos, lmsup
n
x
n
= lminf
n
x
n
=
lm
n
x
n
.
Demostraci on: Sea x el lmite de { x
n
}
n
y x el lmite de {x
n
}
n
. Supongamos que x = x. Ya que
x
n
x
n
x
n
, se sigue de la proposicion 4.3.5 que {x
n
}
n
converge a x.
Recprocamente, supongamos que {x
n
}
n
es convergente y notemos que, por la proposicion
2.8.5,
x
n
x
n
= sup{|x
i
x
j
|} : i, j n}. (7.1)
Por otra parte, mostraremos que, dado > 0, existe n
0
N tal que |x
i
x
j
| < si
m, n n
0
. En efecto, jemos > 0. Entonces existe n
0
tal que |x
n
x| < /2 si n n
0
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
4.8. SUCESIONES DE CAUCHY 69
Luego como x
n
x
m
= x
n
x + x x
m
, entonces por la desigualdad triangular, se tiene que
|x
n
x
m
| |x
n
x| +|x
m
x| < si n, m N. De aqu y (7.1), concluimos que x
n
x
n
,
si n n
0
. En consecuencia, | x x| (justique). Como esto se cumple para todo > 0,
concluimos que x = x.
Ejercicios.
1. Determine los primeros terminos de la sucesiones { x
n
}
n
y {x
n
}
n
para cada una de las
siguientes sucesiones y calcule lmsup x
n
y lminf x
n
:
a) x
n
= (1)
n
+ (1)
n
/n.
b) x
n
= [n + (1)
n
(3n 1)]/n.
2. Sea x el lmite superior de {x
n
}
n
. Pruebe que dado > 0, existe N N tal que x
n
x+
si n N.
3. Sea {x
n
}
n
una sucesion acotada y {x
n
k
}
k
una subsucesion convergente. Muestre que
lminf x
n
lmx
n
k
lmsup x
n
.
4.8. Sucesiones de Cauchy
Se dice que {x
n
}
n
es de Cauchy, si para cada > 0, existe n
0
N tal que |x
m
x
n
| < ,
si m, n > n
0
.
Ejemplo 4.8.1. Sea {x
n
}
n
la sucesion denida de la siguiente manera:
x
2n
=
1
n + 1
y x
2n+1
= n.
Mostraremos que esta sucesion no es de Cauchy. Veremos que para = 1 falla la condicion. En
efecto, jemos n
0
y sea n = n
0
+ 1 y m = n
0
+ 3. Entonces se verica que |x
n
x
m
| 1.
La demostracion de la siguiente proposicion la puede extraer el lector interesado de la prueba
de la proposicion 4.7.2.
Proposicion 4.8.2. Toda sucesi on convergente es de Cauchy.
El objeto de esta seccion es probar el recproco del resultado anterior. Pero antes de hacerlo
mostraremos un resultado que nos hara falta.
Proposicion 4.8.3. Toda sucesi on de Cauchy es acotada.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
70 CAP

ITULO 4. SUCESIONES Y SERIES

Demostraci on: Supongamos que {x
n
}
n
es de Cauchy. Entonces existe n
0
N tal que |x
m
x
n
| <
1, si m, n > n
0
. En particular, |x
n
x
n
0
+1
| < 1 si n > n
0
, y por la proposicion 2.8.4,
|x
n
| < 1 +|x
n
0
+1
| si n > n
0
. (8.1)
Sea M := max{|x
1
|, . . . , |x
n
0
|, 1 + |x
n
0
+1
|}, entonces |x
i
| M para 1 i n
0
. Ademas
1 +|x
n
0
+1
| M. De esto junto con (8.1) se tiene que |x
n
| M para todo n.
Teorema 4.8.4. (Completitud de R) Toda sucesi on de Cauchy, en R, es convergente.
Demostraci on: Sea {x
n
}
n
una sucesion de Cauchy en R. Por la proposicion anterior sabemos
que {x
n
}
n
es acotada y por tanto tiene lmites superior e inferior. Mostraremos que los lmites
superior e inferior de {x
n
}
n
coinciden y as concluiremos, por la proposicion 4.7.2, que {x
n
}
n
es convergente. Sea x el lmite de { x
n
}
n
y x el lmite de {x
n
}
n
. Mostraremos que 0 xx
para todo > 0, y de esto concluiremos que x = x. Fijemos > 0. Por ser {x
n
}
n
de Cauchy,
existe n
0
N tal que |x
j
x
i
| , si i, j n
0
. Por otra parte, por la proposicion 2.8.5,
x
n
x
n
= sup{|x
i
x
j
|} : i, j n}.
Luego x
n
x
n
, si n n
0
. Como x
n
x
n
, para todo n, concluimos que 0 x x para
todo > 0 (justique). Y con esto termina la demostracion.
Ejercicios.
1. En este ejercicio daremos una prueba alternativa de la completitud de R.
a) Pruebe que si una sucesion de Cauchy posee una subsucesion convergente, entonces
dicha sucesion converge.
b) Use la proposicion 4.8.3 y el corolario 4.6.4 para mostrar que toda sucesion de Cauchy
posee una subsucesion convergente y luego concluya usando la parte (a).
2. Pruebe que {x
n
}
n
es de Cauchy si y solo si para cada > 0 existe n
0
N tal que
|x
n+p
x
n
| < , si p N y n > n
0
.
3. Sean A
n
R conjuntos tales que
A
1
A
2
A
n

y ademas que
|x y| < 1/n para todo x, y A
n
.
Muestre que si {x
n
}
n
es una sucesion tal que x
n
A
n
para todo n N, entonces {x
n
}
n
es convergente.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
4.9. SERIES. 71
4. Sea {x
n
}
n
una sucesion en R y dena
s
n
= x
1
+ x
2
+ x
n
,
t
n
= |x
1
| +|x
2
| + |x
n
|.
Muestre que si {t
n
}
n
es convergente tambien lo es {s
n
}
n
. Ayuda: Por la desigualdad
triangular |s
n
s
m
| |t
n
t
m
|.
5. Sea {x
n
}
n
una sucesion con la siguiente propiedad
n
0
, i, j n
0
, |x
i
x
j
| < 1.
Muestre que {x
n
}
n
es acotada. Compare la hipotesis de este ejercicio con la de la proposi-
cion 4.8.3.
6. * Sea S el conjunto de todas las sucesiones de Cauchy f : N Q. Dadas f, g S, escriba
f g si f(n) g(n) 0 y pruebe que es una relacion de equivalencia en S. Denote
por R
0
el conjunto cociente de S por y pruebe que la funcion L : R
0
R; L([f]) =
lm
n
f(n); esta bien denida y es biyectiva. Aqu, [f] denota la clase de f S seg un
(Ver seccion 1.3).
Observaci on. El ejercicio 6 dice que el cuerpo de los n umeros reales puede ser construido,
una vez conocido el cuerpo de los n umeros racionales, a traves de ciertas clases de sucesiones
de Cauchy de n umeros racionales.
4.9. Series.
En esta seccion estudiaremos algunas propiedades de las series numericas. Sea {a
n
}
n
un
sucesion. La serie asociada a {a
n
}
n
se denira para darle sentido a la siguiente suma innita
a
1
+ + a
n

Esta expresion se llama serie de termino general a
n
y se denota por

n
a
n
. Primero den-
imos la n-esima suma parcial s
n
de la serie

n
a
n
como
s
n
= a
1
+ + a
n
=
n

i=1
a
i
.
Si la sucesion {s
n
}
n
converge, diremos que la serie

n
a
n
es convergente. En caso contrario,
se dice que la serie diverge. Si la serie

n
a
n
converge, entonces el lmite de la sucesion {s
n
}
n
se llama la suma de

n
a
n
y se denota tambien por

n
a
n
. Este abuso de notacion no causa,
en general, confusion. En n, la serie

n
a
n
tambien suele indicarse por a
1
+ + a
n
+
o por a
1
+ a
2
+ .
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
72 CAP

ITULO 4. SUCESIONES Y SERIES

Observacion 4.9.1. Podemos formalizar a un mas el concepto de serie recurriendo a los resul-
tados de la seccion 3.1. En efecto, dada una sucesion f : N R, por el teorema 3.1.3, existe
una unica funcion
f
: N R tal que,
f
(1) = f(1) y
f
(n + 1) =
f
(n) + f(n + 1). Esta
sucesion
f
corresponde a la sucesion de sumas parciales y tambien es llamada la serie asociada
a f (ver ejemplo 3.1.6).
Ejemplo 4.9.2. La serie geometrica. Sea r R. La serie

n
r
n1
= 1 + r + + r
n+1
+ ,
se conoce con el nombre de serie geometrica de razon r. La sucesion de sumas parciales
de esa serie ya fue estudiada en el ejemplo 4.4.2. Sabemos que la n-esima suma parcial, s
n
=
1 + + r
n1
, de esa serie, viene dada por s
n
= (1 r
n
)/(1 r) si r = 1 y s
n
= n si r = 1.
En particular, la serie diverge si r = 1. Por otra parte, tambien sabemos que la sucesi n {r
n
}
converge si y solo si 1 < r 1 y ademas r
n
0 si |r| < 1 (ver el ejercicio 4 de la seccion 4.3).
En consecuencia, la serie geometrica de razon r converge si y solo si |r| < 1 y, en este caso, su
suma es lm
n
s
n
= 1/(1 r).
Proposicion 4.9.3. Si

n
a
n
converge, entonces a
n
0.
Demostraci on: Sea s
n
la n-esima suma parcial de la serie en cuestion. Por hipotesis, existe
s R tal que s
n
s. Como {s
n+1
}
n
tambien converge a s, por ser una subsucesion de {s
n
}
n
,
entonces s
n+1
s
n
0. Pero s
n+1
s
n
= a
n
, en consecuencia a
n+1
0 y de aqu, a
n
0.
El recproco del resultado anterior no es valido como los ilustra el ejemplo que sigue.
Ejemplo 4.9.4. La serie arm onica. Probaremos que la serie

n
1/n (llamada armonica)
diverge, aunque su termino general tiende a cero. Sea s
n
= 1 + 1/2 + + 1/n y para k
pongamos
t
k
= s
2
k = 1 + 1/2 + + 1/2
k
.
Probaremos por induccion que t
k
1 +k/2. Para ello sea A = {k N : t
k
1 +k/2}. Ya que
t
1
= s
2
= 3/2, entonces 1 A. Sea k A y pongamos n = 2
k
. Es facil ver que
t
k+1
= t
k
+
n

i=1
1/(n + i)
y como n + i 2n para 1 i n, entonces, t
k+1
1 + k/2 + n/2n = 1 + (k + 1)/2. Es decir,
k + 1 A. Por lo tanto t
k
1 + k/2; para todo k N.
De lo mostrado arriba se concluye que {t
k
}
k
no es acotada (justique), y en consecuencia
{s
n
}
n
no es convergente porque {t
k
}
k
es una subsucesion de {s
n
}
n
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
4.10. SERIES ABSOLUTAMENTE CONVERGENTES 73
4.10. Series absolutamente convergentes
Se dice que

n
a
n
es absolutamente convergente, si

n
|a
n
| es convergente.
Proposicion 4.10.1. Toda serie

n
a
n
absolutamente convergente es convergente y |

n
a
n
|

n
|a
n
|.
Demostraci on: Sea

n
a
n
absolutamente convergente y pongamos s
n
= a
1
+ + a
n
, t
n
=
|a
1
| + |a
n
|. Por hipotesis, {t
n
}
n
es convergente y en consecuencia de Cauchy. Por otra parte,
|s
n+p
s
n
| = |a
n+1
+ +a
n+p
| |a
n+1
| + +|a
n+p
|=t
n+p
t
n
; de donde {s
n
}
n
es de Cauchy
y en consecuencia convergente. Sean s, t los lmites de {s
n
}
n
y {t
n
}
n
respectivamente, ya que
|s
n
| t
n
y |s
n
| |s|, entonces por la proposicion 4.3.1(ii), |s| t.
Si una serie es convergente pero no absolutamente convergente, decimos que ella es condi-
cionalmente convergente. Veremos mas adelante (proposicion 4.11.6) que

n
(1)
n1
/n es
convergente, y como la serie armonica diverge, entonces

n
(1)
n1
/n es condicionalmente
convergente.
Denicion 4.10.2. Si h : N N es una biyecci on, la serie

n
a
h(n)
es llamada un reorde-
namiento de

n
a
n
.
Por ejemplo, la serie
1 + 1/3 1/2 + 1/5 + 1/7 1/4 + 1/9 + 1/11 1/6 + ,
es un reordenamiento de la serie

n
(1)
n1
/n = 1 1/2 + 1/3 1/4 + .
En este caso, la aplicacion h viene dada por: h(3n2) = 4n3, h(3n1) = 4n1 y h(3n) = 2n.
Observacion 4.10.3. Si

n
a
n
es condicionalmente convergente, puede probarse que, dado
R existe un reordenamiento de ella convergente a (ver, por ejemplo, [10, Pag. 444]).
Proposicion 4.10.4. Si

n
a
n
es absolutamente convergente, entonces todo reordenamiento
de

n
a
n
converge y tiene la misma suma que

n
a
n
Demostraci on: Sea

n
a
h(n)
un reordenamiento de

n
a
n
y pongamos s
n
= a
1
+ + a
n
,
t
n
= a
h(1)
+ +a
h(n)
, r
n
= |a
1
| + +|a
n
|, s = lm
n
s
n
y r = lm
n
r
n
. Mostraremos que
t
n
converge a s.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
74 CAP

ITULO 4. SUCESIONES Y SERIES

Dado > 0 existe n
0
N tal que |s
n
s| < /2 y r r
n
< /2, si n > n
0
. Por otro
lado, es facil probar que {j N : h(j) n
0
} es acotado y en consecuencia tiene maximo, que
denotamos por p. Note que, h(I
p
) I
n
0
(recuerde que I
n
denota el conjunto {1, , n}). Si
n p, entonces h(I
n
) I
n
0
de modo que, t
n
= s
n
0
+

iF
a
i
, donde F = h(I
n
) \ I
n
0
. Sea q el
maximo de F. Entonces
|t
n
s| |s s
n
0
| +

iF
|a
i
| /2 +
i=q

i=n
0
+1
|a
i
| /2 + r
q
r
n
0
/2 + r r
n
0
< .
Hemos probado que: dado > 0 existe p N tal que, |t
n
s| , si n p.
Ejercicios.
1. Sean

n
a
n
,

n
b
n
series convergentes y sea R. Pruebe que

(a
n
+ b
n
) y

n
a
n
son convergentes y que,

(a
n
+ b
n
) =

n
a
n
+

n
b
n
,

n
a
n
=

n
a
n
.
2. Sea N N. Pruebe que

n
a
n
converge si y solo si

n
a
n+N
converge. Deduzca que lo
mismo es cierto para series absolutamente convergentes.
3. Pruebe que el reordenamiento

n
b
n
de

n
(1)
n1
/n, dado despues de la denicion
4.10.2, es convergente y que su suma es (3/2)

(1)
n1
/n. Ayuda. Escriba t
n
= b
1
+
+ b
n
, s
n
= a
1
+ + a
n
y pruebe que:
a) {t
3n
}
n
, {t
3n+2
}
n
son monotonas, la primera creciente y la segunda decreciente.
b) t
3n+2
t
3n+1
0 y t
3n+1
t
3n
0.
c) t
3n+2
t
3n+1
t
3n
.
d) Deduzca que {t
3n
}
n
, {t
3n+1
}
n
y {t
3n+2
}
n
son convergentes a un mismo lmite. Con-
cluya que {t
n
}
n
es convergente (ver el ejercicio 8 de la seccion 4.6).
e) t
3n
= s
4n
+ s
2n
/2.
4.11. Criterios de convergencia de series
Proposicion 4.11.1. (Criterio de Cauchy). Sea

n
a
n
una serie con la siguiente propiedad:
Para cada > 0 existe N N tal que

i=n+p

i=n+1
a
i

< si p N y n > N. (11.1)

Entonces

n
a
n
es convergente.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
4.11. CRITERIOS DE CONVERGENCIA DE SERIES 75
Demostraci on: Sea s
n
la n-esima suma parcial de la serie en cuestion. De (11.1) se tiene que
|s
n+p
s
n
| si n > N; de modo que {s
n
}
n
es de Cauchy, y por lo tanto convergente (por el
teorema 4.8.4).
Proposicion 4.11.2. Si

n
a
n
es una serie de terminos no negativos (esto es, a
n
0 para
todo n N) y la sucesi on {s
n
}
n
de sumas parciales es acotada, entonces

n
a
n
es convergente.
Demostraci on: Note que las desigualdades s
n
s
n+1
, a
n+1
0 son equivalentes. Por lo tanto
la sucesion de sumas parciales es creciente y acotada, luego convergente (por el teorema 4.4.1).
Proposicion 4.11.3. Sean {a
n
}
n
, {b
n
}
n
sucesiones en R tales que 0 a
n
b
n
; n N. Si

n
b
n
converge, entonces

n
a
n
converge y

n
a
n

n
b
n
. La conclusi on sigue siendo v alida
si para alg un N N se tiene que 0 a
n
b
n
para todo n > N.
Demostraci on: Pongamos s
n
= a
1
+ + a
n
y t
n
= b
1
+ + b
n
. Entonces s
n
t
n
y {s
n
}
n
,
{t
n
}
n
son crecientes. Por hipotesis, t
n
t, para alg un t R, y por ser ser creciente t = sup{t
n
:
n N} (teorema 4.4.1). En particular, 0 s
n
t
n
t, y por lo tanto, {s
n
}
n
es acotada. Por
la proposicion 4.11.2, s
n
s, para alg un s R, y por la proposicion 4.3.1, s t. La segunda
parte de la proposicion se prueba de manera similar y la dejamos al lector (ver ejercicio 2).
Proposicion 4.11.4. Sean

n
a
n
,

n
b
n
series de terminos positivos y supongamos que la
sucesi on {b
n
/a
n
}
n
converge a un n umero positivo c. Entonces

n
a
n
es convergente si y s olo
si

n
b
n
es convergente.
Demostraci on: Pongamos = c/2 y jemos N N tal que

b
n
a
n
c

< , si n > N.
De la denici on de queda, despues de algunas manipulaciones, que
c
2
a
n
< b
n
<
3c
2
a
n
, si n > N.
La conclusion se obtiene facilmente usando la proposicion 4.11.3 (vercarlo).
Proposicion 4.11.5. (Criterio del cociente). Supongamos que a
n
= 0; n N.
a) Si c := lmsup
n
|a
n+1
|/|a
n
| < 1, entonces

n
a
n
es absolutamente convergente.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
76 CAP

ITULO 4. SUCESIONES Y SERIES

b) Si d := lminf
n
|a
n+1
/a
n
| > 1, entonces

n
a
n
es divergente.
Demostraci on: a) Fijemos b R tal que c < b < 1 y sea = b c. Entonces existe N N tal
que |a
n+1
/|a
n
| < c + = b, si n N. De aqu,
|a
n+N
|
|a
N
|
=
|a
N+1
|
|a
N
|
|a
N+2
|
|a
N+1
| . . .
|a
n+N
|
|a
N+n1
|
< b
n
.
Luego |a
n+N
| b
n
; n N; donde := |a
N
|. Pero la serie geometrica, de razon b, es convergente
(porque 0 < b < 1), y por la proposicion 4.11.3,

n
|a
n+N
| es convergente. De aqu,

n
|a
n
| es
convergente.
b) Fijemos b (1, d). Usando el argumento de la parte a), podemos encontrar N N tal que
|a
n+N
| |a
N
|b
n
. En consecuencia, la sucesion {a
n
}
n
no puede converger a cero y la conclusion
se obtiene usando la proposicion 4.9.3.
Supongamos que a
n
= 0; n N; y que la sucesion {|a
n+1
/a
n
|}
n
converge a c R. La
proposicion anterior dice que la serie

n
a
n
es absolutamente convergente (resp. divergente)
si c < 1 (resp. c > 1). Sin embargo, en el caso c = 1, dicha serie puede ser convergente o
divergente, como lo muestran los siguientes ejemplos:
1. Para la serie armonica se tiene que c = 1 y esta serie es divergente.
2. Si a
n
= (1)
n1
/n, entonces c = 1 y la serie converge, porque satisface las hipotesis de la
proposicion 4.11.6, mas abajo.
Proposicion 4.11.6. (Series alternadas). Sea {a
n
}
n
una sucesi on decreciente de n umeros reales
no negativos, convergente a cero (a
n
a
n+1
0 y a
n
0), entonces

n
(1)
n1
a
n
converge.
Demostraci on: Pongamos s
n
=

i=n
i=1
(1)
i1
a
i
, entonces:
a) s
2n2
s
2n
= a
2n1
a
2n+2
0,
b) s
2n1
s
2n+1
= a
2n
a
2n+1
0,
c) s
2n1
s
2n
= a
2n
0.
De a) (resp. b)), se tiene que {s
2n
}
n
(resp. {s
2n1
}
n
) es creciente (resp. decreciente). En partic-
ular, s
2n
s
2
y s
2n1
s
1
, y por c), s
2
s
2n
s
2n1
s
1
. Esto prueba que {s
2n
}
n
y {s
2n1
}
n
son acotadas y por el teorema 4.4.1, convergentes. Por c) {s
2n
}
n
y {s
2n1
}
n
tienen el mismo
lmite, ya que a
2n
0. Sea s el lmite de ambas, mostraremos que s
n
converge a s. Dado > 0
existe N tal que |s s
2n
| < y |s s
2n+1
| < si n N. Luego |s s
n
| < si n 2N.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
4.11. CRITERIOS DE CONVERGENCIA DE SERIES 77
La serie

n
(1)
n1
a
n
, con a
n
0, se dice alternada, porque escrita en la forma a
1
a
2
+
a
3
a
4
, los terminos de la serie van alternando su signo.
Ejemplo 4.11.7. Sea p R un racional positivo. La serie

n
1
n
p
es llamada una p-serie. (En
realidad, esta terminologa es utilizada para cualquier n umero real positivo, pero en nuestro
caso, todava no hemos denido el smbolo n
p
, para p irracional). Nuestro proximo objetivo es
probar que la p-serie converge si y solo si p > 1. Ya sabemos que la serie armonica (p = 1)
diverge, de suerte que la p-serie diverge si p 1. (Justicar). Restara probar que la p-serie
converge si p > 1
Proposicion 4.11.8. La p-serie converge si p > 1.
Demostraci on: Denamos q = p1, d
n
= n
q
y b
n
= d
n
d
n+1
. Del ejercicio 7,

n
b
n
converge,
y del ejercicio 8, lm
n+
n
p
b
n
= q, (justicar). La prueba se sigue ahora de la proposicion 4.11.4
colocando a
n
= 1/n
p
.
Ejemplo 4.11.9. Usaremos los resultados de esta seccion para dar otra demostracion de que
R no es numerable. Denotaremos por A al conjunto de todas las funciones de N en {0, 1}. La
demostracion que presentaremos dara mas informacion que la obtenida en la prueba del teorema
3.5.2; pues ahora mostraremos que R tiene al menos tantos elementos como A y recordemos
que A no es numerable (ver ejemplo 3.4.7). Construiremos una inyeccion : A R, y de la
proposicion 3.4.8, resultara lo deseado.
Para cada f A se tiene que la serie

n
f(n) 3
n
converge (justicarlo). Denotemos
su suma por x
f
y veamos que x
f
= x
g
si f = g. Con este n, sea N el primer elemento de
{n N : f(n) = g(n)}. Ya que f(N) = g(N), podemos asumir, intercambiando los papeles
de f y de g si fuera necesario, que f(N) = 0 y g(N) = 1. Pongamos s
n
=

n
i=1
f(i) 3
i
,
t
n
=

n
i=1
g(i) 3
i
. Observe que s
n
= t
N1
+

n
i=N+1
f(i) 3
i
y t
N
= t
N1
+ 3
N
. Luego, si
n > N se tiene que
t
N
s
n
= 3
N

i=N+1
f(i)3
i
.
Ya que 0 f(n) 1, entonces
t
N
s
n
3
N

i=N+1
3
i
3
N
[1

i
3
i
] = 3
N
/2 > 0.
Es decir, s
n
< t
N
2
1
3
N
< t
N
x
g
. Por lo tanto, la funcion : A R, (f) = x
f
, es
inyectiva.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
78 CAP

ITULO 4. SUCESIONES Y SERIES

Ejercicios.
1. Sea {x
n
}
n
una sucesion de R tal que |x
n+1
x
n
| < (1/2)
n
, para todo n N. Pruebe que
{x
n
}
n
es convergente. Ayuda. La sucesion de sumas parciales {s
n
}
n
de la serie

n
x
n+1
x
n
viene dada por s
n
= x
n+1
x
1
.
2. Sean {a
n
}
n
, {b
n
}
n
sucesiones de R y suponga que existe N N tal que, 0 a
n
b
n
,
cuando n N. Pruebe que si

n
b
n
converge, entonces

n
a
n
converge.
3. Pruebe que si

n
a
n
es convergente y a
n
0 para todo n N, entonces

n
a
2
n
es
convergente. Ayuda. Recuerde que si 0 x 1, entonces x
2
x.
4. Pruebe que si

n
a
n
es acotada y 0 < r < 1, entonces

n
a
n
r
n
es absolutamente conver-
gente.
5. Pruebe que la serie

n0
x
n
/n! converge cualquiera sea x R. Aqu, x
0
:= 1, 0! = 1 y

n0
a
n
denota la serie

n
a
n1
.
6. (Criterio de la Raz.) Pruebe que si lmsup
n
|a
n
|
1/n
< 1 (resp. lminf
n
|a
n
|
1/n
> 1),
entonces

n
a
n
es absolutamente convergente (resp. divergente).
7. Pruebe que si la sucesion {d
n
} converge a cero, entonces la serie

n
(d
n
d
n+1
) converge.
8. Pruebe que si q Q es positivo, entonces lm
n+
n[(1 +
1
n
)
q
1] = q. Ayuda. Pruebe
primero el caso en que q N. En el caso general, escriba q = m/r con m, r N y use el
ejercicio 5 de la seccion 3.2 para mostrar que si, a, b R son positivos, entonces
b
m
a
m
= (b
q
a
q
)
r

i=1
b
q(ri)
a
q(i1)
.
9. Pruebe que todo intervalo no degenerado es no numerable. Ayuda. Muestre que la apli-
cacion f : R (1, 1) dada por f(x) = x(1 + x
2
)
1/2
es biyectiva.
4.12. Redes.
El concepto de convergencia de sucesiones, establecido en la seccion 4.3, es insuciente en
algunas ramas de las matematicas. De hecho, en la teora de integrales impropias desarrolladas
en el captulo 8, se toman lmites de familias de elementos de R, que estan indizadas por el
conjunto de los intervalos compactos, contenidos en el intervalo I de integracion.
Sea I un conjunto. Diremos que J P(I) es un conjunto dirigido, si dados J, K J
existe L J tal que J L y K L. Por una red en un conjunto A entendemos cualquier
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
4.12. REDES. 79
familia {x
J
}
JJ
, de elementos de A, indizada por un conjunto dirigido J. Cuando no haya peligro
de confusion, utilizaremos la notacion abreviada {x
J
}. Los conceptos de dirigido y de red,
que acabamos de dar, son un caso particular de una teora mas general (ver, por ejemplo, [5]),
pero son sucientes para nuestros propositos.
Ejemplos 4.12.1. 1. Sea I
n
= {i N : 1 i n} para cada n N. El conjunto J = {I
n
:
n N} es dirigido. Ademas, una red indizada por este J corresponde exactamente a una
sucesion.
2. El conjunto J, de todos los subconjuntos nitos de I, es dirigido. Ademas, con cualquier
familia {a
i
} de n umeros reales, se tiene la red de las sumas parciales {

iJ
a
i
}
JJ
.
Diremos que una red {x
J
}
JJ
de R es convergente, si existe a R con la siguiente
propiedad: Para cada > 0, existe J
0
J tal que
|x
J
a| < si J J
0
.
En este caso se dice que {x
J
} converge a a y lo denotaremos por x
J
a.
Los resultados de esta seccion seran, en su mayora, dejados como ejercicios. La demostracion
del primero de ellos servira para ilustrar donde se utiliza el hecho de que J es dirigido. Las otras
pruebas se obtienen utilizando los argumentos de este primer resultado y los argumentos de las
cuatro secciones precedentes.
Proposicion 4.12.2. Sea {x
J
} una red en R. Si x
J
a y x
J
b, entonces a = b.
Demostraci on: Supongamos a = b y pongamos = |b a|/2. Ya que x
J
a, existe J
1
J tal
que
|x
J
a| < si J J
1
. (12.1)
Por el mismo argumento, existe J
2
J tal que,
|x
J
b| < si J J
2
. (12.2)
Como J es dirigido, existe K J tal que J
1
K y J
2
K, y por (12.1)-(12.2), |a b|
|a x
K
| +|x
K
b| < 2 = |a b|. Esta contradiccion termina la prueba.
En lo que resta del captulo, {x
J
}, {y
J
} denotaran redes en R, indizadas por un conjunto
dirigido J.
Proposicion 4.12.3. Supongamos que x
J
a e y
J
b. Entonces: x
J
+y
J
a+b, x
J
y
J
ab
y x
J
a si R. Adem as, 1/y
J
1/b, si b = 0 e y
J
= 0 para todo J J.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
80 CAP

ITULO 4. SUCESIONES Y SERIES

Proposicion 4.12.4. Supongamos que x
J
a e y
J
b. Si x
J
y
J
, para todo J J, entonces
a b.
Diremos que {x
J
} es creciente, si x
J
x
K
cuando J K. Se dice que {x
J
} esta acotada
superiormente si {x
J
: J J} esta acotado superiormente. De manera analoga se denen los
conceptos de red decreciente y acotada inferiormente.
Proposicion 4.12.5. Si {x
J
} es creciente y acotada superiormente, entonces ella es conver-
gente y su lmite es sup{x
J
: J J}. Un resultado an alogo vale para redes decrecientes acotadas
inferiormente.
Se dice que la red {x
J
} es de Cauchy, si para cada > 0, existe, J
0
J tal que, |x
J
x
K
| < ,
cuando J, K J
0
.
Proposicion 4.12.6. Toda red {x
J
} de Cauchy converge.
Demostraci on: Sea n N. Aplicando la denicion de red de Cauchy, con = 2
n
, tenemos que
existe J
n
J tal que
|x
J
x
K
| < 2
n
si J, K J
n
. (12.3)
Podemos suponer que J
n+1
J
n
(justicar). Denamos y
n
= x
J
n
. Se sigue de (12.3) que
|y
n+1
y
n
| < 2
n
y por el ejercicio 1 de la seccion 4.11, {y
n
}
n
es convergente. As, y
n
x, para
alg un x R.
Sea > 0. Ya que, y
n
x y 2
n
0, existe N N tal que |y
N
x| < /2 y 2
n
< /2. De
aqu y (12.3), |x
J
x| |x
J
y
N
| +|y
N
x| < 2
n
+ /2 < , si J J
N
.
Sea I un conjunto. Denotaremos por IP

(I) a la familia de todos los subconjuntos nitos

de I. Dada una aplicacion f : I R, existe una unica aplicacion
f
: IP

(I) R tal que

f
({i}) = f(i); i I; y
f
(J {i}) =
f
(J)+f(i), si J IP

(I) e i I \J. Esta aplicacion

g
la llamaremos la serie asociada a f y la denotaremos por

iI
a
i
, donde a
i
= f(i). Asociada
con la serie

iI
a
i
tenemos la red {s
J
} de sumas parciales denida por s
J
=

iJ
a
i
, para
cada J J := IP

(I). En lo que resta del captulo, pondremos J = IP

(I). Si {s
J
} converge
a s R, se dice que

iI
a
i
es convergente y que su suma es s. En este caso escribiremos
s =

iI
a
i
.
Ejercicios.
1. Suponga que existe L J tal que J L para todo J J. Pruebe que x
J
x
L
. (Este L,
cuando existe, se llama el maximo de J).
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
4.12. REDES. 81
2. Pruebe que si {x
J
} es constante de valor a (es decir, x
J
= a, para todo J J), entonces
x
J
a.
3. Pruebe que toda red convergente es de Cauchy.
4. Pruebe que la red {s
J
}
J
, de sumas parciales, es de Cauchy si y solo si, para cada > 0
existe J
0
J tal que |s
H
| < , cuando H J y H J
0
= .
5. Pruebe que si

iI
a
i
,

iI
b
i
convergen, entonces

iI
(a
i
+ b
i
) y

iI
a
i
convergen,
cualquiera sea R. Ademas,

iI
(a
i
+ b
i
) =

iI
a
i
+

iI
b
i
,

iI
a
i
=

iI
a
i
.
6. Pruebe que si

iI
|a
i
| converge, entonces,

iI
a
i
converge. Ademas |

iI
a
i
|

iI
|a
i
|.
Ayuda. |s
J
s
K
| |s
J
s
JK
| +|s
JK
| = |s
K\J
| +|s
J\K
|.
7. Suponga que a
i
0 para todo i I. Pruebe que si la red {s
J
} esta acotada superiormente,
entonces

iI
a
i
converge y su suma es sup{

iJ
a
i
: J I es nito no vaco}.
8. Supongamos que I es la union de una familia numerable {I
n
}
nJ
, de conjuntos numerables
I
n
, y sea g : I R no negativa. Pruebe que

iI
g(i)

nJ
[

iI
n
g(i)]. Ayuda. Si
F I es nito, entonces existe G J nito tal que F
nG
I
n
.
9. Suponga que

iI
|a
i
| converge y sea h : I I una biyeccion. Pruebe que

iI
a
h(i)
converge y que tiene la misma suma que

iI
a
i
.