An alisis Matematico vol.

I
Funciones de una variable real.
*
Wilmer Colmenarez
Departamento de Matematica, DCT-UCLA
15 de octubre de 2011
*
Version preliminar en revision. No se autoriza su utilizacion para nes didacticos
2

Indice general
1. Conjuntos Finitos e Innitos 1
1.1. Los N umeros Naturales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Conjuntos Finitos y Numerables . . . . . . . . . . . . . . . . . . . . . . . 3
2. N umeros Reales 9
2.1. Axiomas de Campo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.2. Inducci on Matematica . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.3. Otros Resultados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
3. Sucesiones y Series Numericas 17
3.1. Sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.2. Lmites Inferior y Superior . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3.3. Subsucesiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.4. Series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3
4

INDICE GENERAL
Captulo 1
Conjuntos Finitos e Innitos
1.1. Los N umeros Naturales
Comenzamos introduciendo brevemente los n umeros naturales sobre una base axiom ati-
ca.
Un conjunto de sucesores es un par (X, s), donde s : X X es una funci on
satisfaciendo las siguientes condiciones, llamadas postulados de Peano:
(P1) La funci on s es inyectiva.
(P2) El conjunto X \ s(X) contiene un unico elemento que denotaremos 1
X
.
(P3) (Principio de Inducci on) Si Z X es un conjunto tal que
(1) 1
X
Z y
(2) s(z) Z cada vez que z Z,
entonces Z = X.
Para cada x X el elemento s(x) es llamado sucesor de x. Habiendo adoptado la
notaci on de 1
X
para el elemento de X \ s(X), denimos los n umeros naturales de la
manera usual y con las notaciones com unmente y universalmente utilizadas: 2
X
= s(1
X
),
3
X
= s(2
X
), etc. La existencia de alg un conjunto de sucesores debe ser establecida
mediante un axioma de la Teora de Conjuntos. Este axioma asegura la existencia de un
conjunto de sucesores. Luego se demuestra que cualquier par de conjuntos de sucesores
son isomorfos entre s, mediante la correspondencia que identica los elementos 1 de
los conjuntos de sucesores y que preserva la condicion de ser sucesor. En virtud de
esto jamos un conjunto de sucesores, el cual tambien puede ser consuderado como el
unico conjunto de sucesores (salvo isomrsmos), al cual denotamos N y que llamaremos
conjunto de los n umeros naturales.
1
2 CAP

ITULO 1. CONJUNTOS FINITOS E INFINITOS

Alternativamente, desde un punto de vista constructivista, podemos mostrar la
existencia de un conjunto de sucesores a partir de los axiomas de la Teora de Conjuntos.
Una manera de hacer esto es deniendo
1 = {}, 2 = {, 1} = {{}}, etc.
La propiedad n\m = implica que existe una funci on sucesor caracterizada po s(n)\n =
, y esta verica los Axiomas de Peano.
Bien, partiendo del conjunto sucesor (N, s) podemos introducir la estructura al-
gebraica de N, deniendo la operaci on de adici on a traves de la funcion sucesor (y por
inducci on): n + 1 = s(n), n + 2 = s(n + 1) = s(s(n)), etc. A partir de estas deniciones
pueden ser demostradas todas las propiedades de la adici on. Posteriormente la relacion
de orden usual es denida a traves de la adici on de la siguiente manera: n < m si y s olo
existe k N tal que m = n+k, y de la manera usual se dene el orden debil n m si y
s olo si n < m o n = m. Se demuestran, a partir de esto, todas las propiedades del orden
usual en N, entre las cuales se destaca la siguiente.
TEOREMA 1.1 (Principio de Buen Ordenamiento) El conjunto (N, ) es bien or-
denado. Esto es, todo subconjunto no vaco de N posee un elemento mnimo.
LEMA 1.1 Para todo n N se cumple 1 n.
Demostracion. (del PBO) Procedamos por reduccion al absurdo. Suponga que existe
A N, con A = , que no tiene elemento mnimo. La estrategia ser a mostrar que la
condici on de no tener elemento mnimo implica que A es vaco, con lo cual la suposicion
hecha es contradictoria. Considere el conjunto
B = {n N : n N \ A y n < m para todo m A}.
Procedamos por inducci on para vericar que B = N. Primero notemos que 1 B. De
hecho, si 1 fuese elemento de A, entonces 1 sera elemento mnimo de A por el Lema
anterior, de modo que 1 / A, por otro lado es evidente que 1 < m para todo m B, por
tanto 1 / B.
Ahora jemos n B arbitrariamente. Por denici on de B, n < m para todo m A,
de modo que para todo m A existe k
m
N tal que m = n + k
m
. Observe que k
m
= 1
para todo m N, porque de lo contrario tendramos alg un m = n +1 A con n B, y
de esta manera n + 1 sera elemento mnimo de A. As, 1 < k
m
y por tanto m > n + 1.
Luego tenemos que n+1 B para cualquier n N, y por inducci on resulta que B = N,
lo cual es contradictorio, porque A = y B N \ A.
TEOREMA 1.2 (Segundo Principio de Inducci on) Sea X N un conjunto con la
siguiente propiedad
para todo m X, m < n = n X.
1.2. CONJUNTOS FINITOS Y NUMERABLES 3
Entonces X = N.
Demostracion. Ejercicio. Use el Principio del Buen Orden.
1.2. Conjuntos Finitos y Numerables
DEFINICI

ON 1.1 Dos conjuntos A y B son equipotentes si existe una funcion biyectiva

de uno de estos sobre el otro.
Recordemos que el conjunto N de los n umeros naturales es bien ordenado. En virtud
de esto podemos denir el conjunto I
n
= {j N : j n} = {1, . . . , n} que llamaremos
la seccion inicial de longitud n, para n N.
LEMA 1.2 Si f : I
n
I
m
es una biyeccion, entonces n = m.
Demostracion. Supongamos, sin perder generalidad, que m n, es decir I
m
I
n
y
procedamos por inducci on sobre n. En el caso n = 1 el resultado es obvio. Suponga que la
conclusi on vale para un entero positivo n y demostremosla para n+1. Sea f : I
n+1
I
m
cualquier biyecci on, con m n+1. Podemos suponer adicionalmente que f(n+1) = m,
pues si no fuese as, digamos que f(n + 1) = a = m, entonces por biyectividad de f
existe un unico k
0
I
n
tal que f(k
0
) = m y k
0
= n + 1. Denimos entonces una nueva
funci on g : I
n
I
m
por
g(i) =
_

_
f(i), si i = k
0
, n + 1
m, si i = n + 1
a, si i = k
0
As, g es una biyecci on con g(n + 1) = m y podemos hacer la demostracion para g en
lugar de f. De modo pues que podemos suponer f(n+1) = m como habamos armado.
Siendo f(n+1) = m tenemos que la restricci on f|
In
tiene imagen I
m1
. Luego, la funci on
h : I
n
I
m1
dada por h(k) = f(k) para todo k I
n
es biyectiva, con m1 n y, por
hip otesis de induccion, n = m1. Por tanto n+1 = m y el paso inductivo est a completo,
terminando con esto la demostraci on.
COROLARIO 1.1 Sea X un conjunto. Si existen biyecciones f : I
n
X y g : I
m
X,
entonces n = m.
DEFINICI

ON 1.2 Un conjunto A es nito si A = o si existe n N tal que A es

equipotente con I
n
. En tal caso el n umero n (cuya unicidad est a garantizada por el
Corolario 1.2) es llamado el n umero de elementos o cardinal de A denotado por card A
o #A. El cardinal del conjunto vaco es cero, por denici on.
4 CAP

ITULO 1. CONJUNTOS FINITOS E INFINITOS

COROLARIO 1.2 Si m < n, entonces no existe una funcion inyectiva f : I
n
I
m
.
Demostracion. (esquema). Se aplica la misma idea de la demostraci on del Lema 1.2. En
el paso inductivo se puede suponer, como antes, que f(n+1) = m con m < n+1. Luego
la restriccion f|
In
: I
n
I
m1
con m1 < n no puede ser inyectiva y consecuentemente
f : I
n+1
I
m
no es inyectiva.
COROLARIO 1.3 Si A I
n
y f : I
n
A es biyectiva, entonces A = I
n
.
Demostracion. Suponga n 2 y procedamos por reduccion al absurdo. Si A I
n
,
tomamos a I
n
\ A. Observemos que
A =
_
A I
a1
_

_
A \ I
a
_
,
y denimos g : I
n
I
n1
g(k) =
_
f(k), si k f
1
(A I
a
) = f
1
(A I
a1
)
f(k) 1, si k f
1
_
A \ I
a
_
As, g : I
n
I
n1
es una funci on inyectiva, contradiciendo el Corolario 1.2.
La siguiente propiedad es consecuencia del Corolario 1.3.
PROPOSICI

ON 1.1 Un conjunto nito no puede ser equipotente con un subconjunto

propio de el mismo.
Demostracion. Sean X un conjunto nito y Y X. Suponga (por reduccion al ab-
surdo) que existe una biyecci on f : X Y . Siendo X nito, existe una biyecci on
: I
n
X. Considere el conjunto A =
1
(Y ) el cual es subconjunto propio de I
n
. En-
tonces la funcion
_
|
A
_
1
f : I
n
A sera una biyecci on de I
n
sobre un subconjunto
propio, lo que contradice el Corolario 1.3.
Ejemplo 1.1. El conjunto N de los n umeros naturales es equipotente con cualquier con-
junto de la forma kN = {nk : n N}, los cuales son subconjuntos propios de N si k = 1.
Los conjuntos Z de los n umeros enteros y Q de los racionales son equipotentes a N.
TEOREMA 1.3 Todo subconjunto de un conjunto nito es nito.
Demostracion. Basta considerar el caso de I
n
. Procediendo por induccion, comenzamos
observando que todo subconjunto de y de I
1
es nito. Suponga que la conclusion es
v alida para un entero positivo n y consideremos el caso de n + 1. Dado A I
n+1
puede
ocurrir que A I
n
, en cuyo caso A es nito por hip otesis inductiva; o bien A I
n
. En
este ultimo caso se tiene que n+1 A y podemos expresar A = B{n+1} como union
disjunta, con B = A \ {n + 1} I
n
. Por hipotesis inductiva, B es nito, de modo que
1.2. CONJUNTOS FINITOS Y NUMERABLES 5
existen k N y una biyeccion f : I
k
B. Ahora, esta funcion puede extenderse a una
funci on g de I
k+1
en A, haciendo
g(i) =
_
f(i), si i I
k
n + 1, si i = n + 1
Esta funcion g es claramente una biyecion, por lo cual concluimos que A es nito.
TEOREMA 1.4 Si A y B son conjuntos nitos, entonces A B es nito; y si adem as
A B = , entonces #(A B) = #A + #B.
DEFINICI

ON 1.3 Un conjunto es innito si este no es nito.

De acuerdo con el ejemplo anterior, N, Z y Q son innitos. Tambien el conjunto
de lso n umeros primos es innito.
El siguiente resultado es una consecuencia directa del Teorema 1.3.
PROPOSICI

ON 1.2 Si A es un conjunto innito y A B, entonces B es innito.

DEFINICI

ON 1.4 Un conjunto es innito numerable si es equipotente con N. Un con-

junto es numerable si es nito o es innito numerable.
TEOREMA 1.5 Todo subconjunto de N es numerable.
TEOREMA 1.6 Todo subconjunto de un conjunto numerable tambien es numerable.
Demostracion. Ya hemos demostrado que todo subconjunto de un conjunto nito es
nito, por lo que solo bastar a demostrar el resultado para un conjunto innito numerable.
Si X es innito y f : X N es una biyeccion, entonces la restricci on de f a un
subconjunto A de X es inyectiva, y por tanto A es equipotente con un subconjunto de
N.
COROLARIO 1.4 Un conjunto es numerable si y s olo si es equipotente con un subcon-
junto de N.
TEOREMA 1.7 La union de conjuntos innitos numerables es innito numerable.
Demostracion. Sean A y B conjuntos innitos numerables y sean f : N A, g : N
B biyecciones. Dena h : N A B por h(2n) = f(n) y h(2n 1) = g(n) para cada
n N. Claramente h es sobreyectiva y tiene una inversa por la izquierda

h : AB N,
la cual es inyectiva. Entonces A B es equipotente con N.
6 CAP

ITULO 1. CONJUNTOS FINITOS E INFINITOS

COROLARIO 1.5 Si
_
A
i
_
i1
es una familia innita numerable de conjuntos innitos
numerables, entonces la uni on

i1
A
i
es innito numerable. En general, la union nume-
rable de conjuntos numerables es numerable.
Demostracion. Ejercicio.
TEOREMA 1.8 Todo conjunto innito contiene un subconjunto innito numerable.
Demostracion. Sea X un conjunto innito. Basta denir una funci on inyectiva f : N
X. Comenzamos escogiendo un elemento en cada subconjunto no vaco de X, esto es,
para = A X escojamos x
A
A. Ahora denamos f recursivamente. Dena f(1) =
x
X
; suponiendo ya denidos los valores f(1), f(2), , f(n), consideremos el conjunto
A
n
= X \ {f(1), f(2), , f(n)}. Como X no es nito, A
n
= , y podemos denir
f(n+1) = x
An
. Esto completa la denicion inductiva de f. Veamos la inyectividad. Dados
m, n N con m = n, digamos m < n, tenemos que f(m) {f(1), f(2), . . . , f(n 1)},
mientras que por otro lado f(n) X \ {f(1), f(2), . . . , f(n)}. Luego, f(m) = f(n). La
im agen f(N) es, por tanto, un subconjunto innito numerable de X.
COROLARIO 1.6 Un conjunto es innito si y s olo si es equipotente con un subconjunto
propio.
Denotemos F(X; Y ) = Y
X
al conjunto de todas las funciones de un conjunto X a
un conjunto Y . Este es un subconjunto del conjunto de partes del producto cartesiano
X Y .
TEOREMA 1.9 (Cantor) Sean X un conjunto arbitrario y Y un conjunto con #(Y )
2. Entonces ninguna funci on de X en F(X; Y ) es sobreyectiva.
Demostracion. Dada : X F(X; Y ) denotemos
x
= (x) F(X; Y ). Para
mostrar la existencia de una funci on f : X Y que es diferente de cada
x
basta
establecer que f(x) =
x
(x) para x X. Ahora, como Y posee al menos dos elementos,
jada la funci on siempre es posible denir f de tal manera que f(x) =
x
(x). Por
tanto no es sobreyectiva.
COROLARIO 1.7 Sean X
i
, i N conjuntos innitos numerables. Entonces el producto
cartesiano

i=1
X
i
es no numerable.
Demostracion. Suponga X
i
= N para cada i N. Entonces

i=1
X
i
= F(N; N) es no
numerable por el Teorema de Cantor.
Ahora sea P(X) el conjunto de partes de X. Veamos que P(X) es equipotente con
F(A; {0, 1}). En efecto, dado un subconjunto A de X, sea
A
la funcion caracterstica de
1.2. CONJUNTOS FINITOS Y NUMERABLES 7
A denida por

A
(x) =
_
0, si x / A
1, si x A
La correspondencia A
A
es una biyecci on (de hecho su inversa est a denida por
f f
1
_
{1}
_
). Luego, no hay sobreyecci on de X sobre P(X). Por otro lado existe una
obvia inyecci on: x {x}.
Como consecuencia, el conjunto P(N) es innito no numerable. Mas generalmente,
P(X) es innito no numerable para todo conjunto innito X.
8 CAP

ITULO 1. CONJUNTOS FINITOS E INFINITOS

Captulo 2
N umeros Reales
2.1. Axiomas de Campo
La estructura de campo o cuerpo es una estructura algebraica caracterizada por
dos operaciones adicion y multiplicacion denidas en un conjunto no vaco K sujetos a
los siguientes nueve Axiomas de Campo. En los enunciados de estos axiomas las letras
x, y, z denotan elementos arbitrarios de K.
Axiomas de la Adicion
(A.1) Asociatividad: x + (y + z) = (x + y) + z.
(A.2) Conmutatividad: x + y = y + x.
(A.3) Existencia de elementos neutros: existe un elemento e K tal que x +e = x para
todo x K.
(A.4) Existencia de simetricos aditivos u opuestos respecto del neutro e: para cada x K
existe z K tal que x + z = e.
Algunas consecuencias inmediatas de estos axiomas forman parte de las reglas
usuales del C alculo.
Existe un unico elemento neutro para la adicon 0 (cero).
Los opuestos respecto del cero est an unvocamente determinados. En virtud de
esto podemos emplear una notacion que reeje la relaci on entre cada elemento y
su respectivo opuesto: x es el opuesto de x.
Ley de cancelaci on.
(x) = x.
9
10 CAP

ITULO 2. N

UMEROS REALES
Axiomas de la Multiplicacion
(M.1) Asociatividad: x(yz) = (xy)z.
(M.2) Conmutatividad: xy = yx.
(M.3) Existencia de elementos neutros: existe un elemento u K con u = 0 tal que
ux = x para todo x K.
(M.4) Existencia de simetricos multiplicativos o inversos respecto del neutro u para
elementos no nulos: para cada x K con x = 0 existe z K tal que xz = u.
Algunas consecuencias inmediatas:
Existe un unico elemento neutro para la multiplicaci on 1 (uno o unidad).
Los inversos respecto del uno est an unvocamente determinados. Notacion: x
1
,
1/x es el opuesto de x K

= K \ {0}.
Ley de cancelaci on: xy = xz y x = 0 implican y = z.
(x) = x.
Las operaciones de adicion y multiplicacion est an relacionadas por medio de una
propiedad de distributividad.
(D.) Distrbutividad de la multiplicaci on sobre la adicion: x(y + z) = xy + xz.
Observe qua la relacion entre ambas operaciones de campo no es simetrica, pues la
adici on no es distributiva respecto de la multiplicaci on.
Axiomas de Orden
Diremos que un campo (K, +, ) admite un orden compatible si existe un conjun-
to K
+
K, cuyos elementos llamaremos elementos positivos de K, cumpliendo los
siguientes Axiomas de Orden
(O.1) Compatibilidad con la adicion: K
+
es cerrado bajo la adici on.
(O.2) Compatibilidad con la multiplicaci on: K
+
es cerrado bajo la multiplicacion.
(O.3) K
+
(K
+
) = , donde K
+
= {x : K
+
} es el conjunto de los elementos
negativos de K.
(O.4) K es la uni on disjunta de los conjuntos K
+
, K
+
y {0}.
2.1. AXIOMAS DE CAMPO 11
La union en el tercer apartado anterior es efectivamente disjunta porque 0 = 0.
El cuadrado de cualquier elemento no nulo es un elemento positivo de K. en efecto, dado
a = 0 en K, tenemos a K
+
o a K
+
. Entonces aa = a
2
= (a)(a) K
+
en
cualquier caso. En particular 1 = 1
2
K
+
y 1 es negativo. Particularmente, 1 no es
el cuadrado de ning un elemento de K.
Las dos ultimas condiciones en la denici on anterior suelen denominarse Ley de
Tricotoma, y un enunciado equivalente de ellas es al siguiente: para cada x K se
verica una y s olo una de las siguientes condiciones:
x = 0,
x K
+
,
x K
+
.
Un campo que admite un orden compatible es llamado un campo ordenado y la
estructura es denotada (K, +, , K
+
). En un campo ordenado se dene naturalmente una
relaci on de orden lineal que posee ciertas propiedades de preservaci on de las operaciones
del campo. Dados x, y K dena x < y si y x K
+
. Esta relaci on es un orden total
en K, puesto que ella satisface la propiedad de transitividad y la condici on de compara-
bilidad de todos los elementos (esto se deriva de la Ley de Tricotoma). Particularmente,
la relacion asociada a < y denida de la manera usual como x y si y s olo si x < y
o x = y, es una relaci on de orden parcial.
PROPOSICI

ON 2.1 Propiedades de orden en un campo ordenado.

(i) x y implica z + x z + y para todo z K.
(ii) x y implica zx < zy para todo z K
+
.
(iii) Dado un elemento x K se verica una y s olo una de las siguientes condiciones:
x = 0,
x > 0,
x < 0.
El orden en K permite denir conjuntos especiales llamados intevalos de manera
general. Para a b en K denimos
1. Intervalos abiertos: (a, b) = {x K : a < x < b}.
2. Intervalos cerrados: [a, b] = {x K : a x b}.
Intervalos semi abiertos y semicerrados (a, b] y [a, b) son denidos de acuerdo con las
desigualdades respectivas.
12 CAP

ITULO 2. N

UMEROS REALES
DEFINICI

ON 2.1 Un conjunto A de n umeros reales es:

(a) acotado superiormente si existe un n umero C R tal que C > x para todo x A.
(b) acotado inferiormente si existe un n umero c R tal que c < x para todo x A.
(c) acotado si es acotado superior e inferiormente.
Observe que el conjunto vaco es acotado. Un elemento C como en la condici on (a)
de la denici on anterior es llamado una cota superior de A; mientras que un elemento c
como en la condicion (b) es llamado una cota inferior de A. Diremos que un elemento
x
0
en un conjunto A de n umeros reales es el maximo de A si x
0
es una cota superior
de A y al mismo tiempo x
0
A. Por ejemplo, el intervalo (a, b] posee maximo b, pero
el intervalo (a, b) no posee m aximo. No obstante, en este ultimo caso, el conjunto I de
las cotas superiores del intevalo (a, b) posee elemento mnimo b, el cual pasa a ser una
versi on debil de la idea de m aximo. Consideraciones analogas pueden hacerse con contas
inferiores y denir mnimo de un conjunto acotado inferiormente.
DEFINICI

ON 2.2 Sea A un subconjunto no vaco y acotado superiormente de un campo

ordenado K. Diremos que A admite un supremo si el conjunto de las cotas superiores
de A posee un elemento mnimo M. Tal elemento es llamdo supremo de A y se denota
M = sup A.
La denicion anterior tiene una versi on con cotas inferiores. Sea A un subconjunto
no vaco y acotado inferiormente de un campo ordenado K. Diremos que A admite un
nmo si el conjunto de las cotas inferiores de A posee un elemento maximo m. Tal
elemento es llamdo nmo de A y se denota m =nf A.
As estamos en condiciones de enunciar el Axioma mas importante para el An alisis
Matem atico.
Axioma de Completitud
(C.) Todo conjunto no vaco y acotado superiormente admite un supremo.
Un campo ordenado que satisfaga el Axioma de Completitud es llamado un campo
orden-completo. El conjunto de los n umeros reales el denido como el unico campo orden-
completo salvo por isomorsmos de campos orden-completos.
LEMA 2.1 Sea A un conjunto acotado y no vaco de n umeros reales.
(a) s = sup A si y s olo si para todo > 0 existe x A tal que s < x s.
(b) t =nf A si y s olo si para todo > 0 existe x A tal que t x < t + .
(c) Si x + y para todo > 0, entonces x y.
2.1. AXIOMAS DE CAMPO 13
Demostracion. (c) Si no fuese x y, entonces y x > 0. Sea =
1
2
(y x) > 0. De
nuestra hipotesis tenemos que
1
2
(x + y) = x +
1
2
(y x) 0. Luego, x + y 2y y por
tanto x y, contradiciendo la suposici on y > x.
PROPOSICI

ON 2.2 (a) N no es acotado superiormente.

(b) Para el conjunto X = {i/n : n N} tenemos nf X = 0.
(c) Para todo a, b R con a > 0 y b 0 existe n N tal que na > b.
Demostracion. (a) Si N fuese acotado superiormente, existira c = sup N. Particular-
mente, c 1 no es cota superior de N y podemos escoger n N tal que c 1 < n. Luego,
c < n+1 N y por tanto c no es cota superior de N], lo cual contradice la eleccion de c.
(b) Primero notemos que 0 es cota inferior de X. Basta mostrar que ning un n umero
positivo es cota inferior de X. En efecto, dado c > 0 existe, por (i) un n N tal que
n > 1/c, de modo que c > 1/n X. As, c no es cota inferior de X como habamos
armado.
(c) Dados a y b como en el enunciado, por (i) existe n N tal que n > b/a y por
tanto na > b.
Ejemplo 2.1. El nmo del conjunto X = {1/n : n N} es cero.
TEOREMA 2.1 Entre dos n umeros reales distintos existe un n umero racional.
Demostracion. Trataremos primero el caso de n umeros positivos. Considere entonces
n umeros reales positivos a, b con a < b. La idea es encontrar una longitud positiva de
la forma 1/q sucientemente peque na (menor que b a) de modo que alg un m ultiplo de
ella, digamos p/q este entre a y b.
Como R es Arquimediano, existen u, v N tales que u(b a) > 1 y vb > 1. Sea q
el maximo entre u y v. Claramente se tiene
0 <
1
q
< b a y 1 < bq (2.1)
Ahora, sea B el conjunto de n N tales que n < bq. Como 1 B (por 2.1),
tenemos que B = y adem as B es nito porque N no es acotado; de hecho b y q est an
jos en la denici on de B y bq es una cota superior de B. Sea p = m ax B, con lo cual se
tiene, en particular, que p B y p + 1 / B. Mostraremos ahora que el n umero p/qtiene
la propiedad requerida. Primero, de p B tenemos que p < bq y por tanto p/q < b. Por
otro lado,
p + 1 / B = p + 1 bq =
p + 1
q
b.
De esto y por 2.1 resulta
a = b (b a) <
p + 1
q

1
q
=
p
q
,
14 CAP

ITULO 2. N

UMEROS REALES
con lo cual queda demostrado el Teorema.
2.2. Inducci on Matematica
En esta secci on ilustramos el metodo de inducci on matematica con algunas propie-
dades elementales, muchas de las cuales seran empleadas en captulos subsiguientes.
PROPOSICI

ON 2.3 Para todo n 3 se tiene 2

n1
< n!.
PROPOSICI

ON 2.4 Dado a = 0 se tiene

n
k=0
a
k
=
1a
n+1
1a
para todo n 0.
Demostracion. Para n = 0 la suma solo tiene el termino a
0
= 1, mientras que el lado
derecho es (1 a)/(1 a) = 1. Suponga que la igualdad es valida para un entero n 0.
Entonces
n+1

k=0
a
k
=
1 a
n+1
1 a
+ a
n+1
=
1 a
n+1
+ a
n+1
a
n+2
1 a
=
1 a
n+2
1 a
.
Se concluye por inducci on.
PROPOSICI

ON 2.5 (Binomio de Newton) Sean a, b R y n un entero positivo. Enton-

ces
(a + b)
n
=
n

k=0
_
n
k
_
a
nk
b
k
.
2.3. Otros Resultados
LEMA 2.2 (Desigualdad de Bernoulli) Para todo n umero real x 1 y todo entero
n 1 se tiene
(1 + x)
n
1 + nx. (2.2)
Adem as, la desigualdad es estricta si x = 0 y n > 1.
Demostracion. Por induccion sobre n. Para n = 1 se tiene la igualdad en (2.2). Su-
ponga (2.2) valida para un entero positivo n. Entonces, puesto que 1 + x 0 (porque
x 1 por hip otesis), tenemos:
(1 + x)
n+1
= (1 + x)(1 + x)
n
(1 + x)(1 + nx) = 1 + (n + 1)x + nx
2
1 + (n + 1)x
La ultima armaci on se obtiene tambien por inducci on notando que la ultima desigualdad
en el argumento anterior es estricta para x = 0.
2.3. OTROS RESULTADOS 15
TEOREMA 2.2 (Existencia de races n-esimas) Para cada n umero real a y cada
n umero natural n 2 tenemos:
(i) Si a 0 y n es par, existe un unico b R, b 0, tal que b
n
= a.
(ii) Si a R y n es impar, existe un unico b R tal que b
n
= a.
Demostracion. Trataremos el caso en que a 0 para ambas conclusiones (todos
los casos de n N). Si a = 0, tomamos b = 0. Consideremos entonces la situaci on
a > 0. Veamos primero la unicidad, propiedad para la cual no requerimos el Axioma de
Completitud. Suponga que x > 0 y y > 0 satisfacen x
n
= a = y
n
. Entonces
0 = x
n
y
n
= (x y)(x
n1
+ x
n2
y + + xy
n2
+ y
n1
),
donde el segundo factor del lado derecho es positivo. Luego, x y = 0 y as x = y.
Para la existencia, planteamos una situaci on en la que el Axioma de Completitud
nos de la existencia de la raz n-esima como supremo de un cierto conjunto. Considere
el conjunto
S = {s R : s > 0, s
n
a}.
Veamos primero que S es no vaco. En efecto, por la Propiedad Arquimediana existe
m N tal que 1/m < a. Entonces 0 < (1/m)
n
1/m < a, porque 1/m 1, de modo
que 1/m S. Por otro lado, veamos que S es acotado superiormente. Puesto que N no
es acotado superiormente podemos tomar k N con k a, con lo cual tenemos que s es
una cota superior de S. De hecho, si fuese s > k para alg un s S, entonces s
n
> k a,
porque s > k 1. Aplicando entonces el Axioma de completitud, existe b = sup S,
el cual es positivo porque S contiene n umeros positivos. Demostremos nalmente que
b
n
= a. Para esto descartemos las posibilidades b
n
< a y b
n
> a. En ambos casos la idea
es suponer la desigualdad respectiva y mostrar que b no es el supremo de S. Primero, si
b
n
> a, usamos el Teorema de Binomio para mostrar que S contiene un elemento mayor
que b. Tal elemento puede ser de la forma b + 1/k
0
para alg un k
0
N. Dado k N
tenemos
_
b +
1
k
_
n
=
n

i=0
_
n
i
_
b
ni
/k
i
= b
n
+
n

i=1
_
n
i
_
b
ni
/k
i
b
n
+ r/k,
donde r =

n
i=1
_
n
i
_
b
ni
/k
i
. Siendo b
n
a > 0, por la Propiedad Arquimediana existe
k
0
N tal que k
0
(a b
n
) > r, o sea r/k
0
< a b
n
. Para este k
0
tenemos, de acuerdo
con el desarrollo binomial anterior, (b + 1/k
0
)
n
b
n
+ (a b
n
) = a, lo cual implica
b + 1/k
0
S, contradiciendo que b es el supremo de S.
Para el caso b
n
> a, usamos de nuevo el Teorema de Binomio para obtener
_
b
1
k
_
n
b
n
t/k,
16 CAP

ITULO 2. N

UMEROS REALES
para alg un t 0 y para todo k N. Escogemos k
1
tal que t/k
1
< b
n
a y t/k
1
< b
n
a
(usando la Propiedad Arquimediana). Luego resulta (b 1/k
1
)
n
> a. Pero, por el Lema
2.1 existe s S tal que 0 < b
1
k
1
< s, y con esto tenemos s
n
> (b
1
k
1
)
n
> a,
contradiciendo la eleccion de s S. Concluimos que b
n
= a.
En el caso a < 0 con n impar, existe b R
+
tal que b +n = a. Escriba n = 2k +1
con k entero no negativo. Entonces
(b)
n
= (b)
2k+1
= (b)
2k
(b) = b
2k+1
= (a) = a.
Con esto queda demostrado el Teorema.
TEOREMA 2.3 (Intervalos Encajados) Dada una familia numerable {J
n
: n N}
de intervalos cerrados y acotados no triviales J
n
= [a
n
, b
n
] en R tales que J
n+1
J
n
para todo n (propiedad de encaje decreciente), se tiene que la interseccion de los J
n
es
no vaca.
Demostracion. Para cada n tenemos que J
n
J
n+1
, esto signica que a
n
a
n+1

b
n+1
b
n
para cada n N. Entonces el conjunto A = {a
n
: n 1} es acotado
superiormente por cualquier b
k
. Por el Axioma de Completitud, existe c = sup A y
tenemos que c b
n
para todo n. Luego, para todo n, a
n
c b
n
y por tanto c

{J
n
:
n 1}.
Captulo 3
Sucesiones y Series Numericas
3.1. Sucesiones
DEFINICI

ON 3.1 Una sucesion en un conjunto X es una funci on x : N X. Para

una tal sucesi on x emplearemos indistintamente las notaciones (x
n
) o (x
n
)
n1
, donde
x
n
= x(n) es llamado el n-esimo termino de la sucesi on. La notaci on funcional s olo se
usar a en pocas situaciones excepcionales. El conjunto de valores de la sucesi on (x
n
) es
el conjunto de imagenes en X de la funci on x, esto es el conjunto {x
n
: n N}. En
estas notas trataremos principalmente con sucesiones de n umeros reales, las cuales refe-
riremos frecuentemente como sucesiones reales, pero m as adelante trataremos tambien
con sucesiones de funciones de variable real.
DEFINICI

ON 3.2 Una sucesion real (x

n
) converge a un n umero real x
0
si
para todo > 0, existe N N tal que n N = |x
n
x
0
| < . (3.1)
Decimos en tal caso que |x
n
x
0
| es arbitrariamente peque no para todo n suciente-
mente grande. Si una sucesion no satisface la condicion de convergencia, decimos que es
divergente.
PROPOSICI

ON 3.1 Sean (x
n
) y (y
n
) dos sucesiones reales. Suponga que existe un entero
positivo N tal que x
n
= y
n
para todo n N. Entonces la convergencia (resp. divergencia)
de (x
n
) implica la convergencia (resp. divergencia) de (y
n
).
Demostracion. Es inmediato de las deniciones.
Este resultado de apariencia inocente establece que el comportamiento asintotico,
es decir a largo plazo (como la convergencia y la divergencia), de una sucesion no depende
de cualquier cantidad nita de terminos de la misma. Para dos sucesiones como en la
Proposici on anterior decimos que ellas son eventualmente iguales.
17
18 CAP

ITULO 3. SUCESIONES Y SERIES NUM

ERICAS
PROPOSICI

ON 3.2 Si la sucesion real (x

n
) converge a L
1
y a L
2
, entonces L
1
= L
2
.
En otras palabras, (x
n
) s olo puede converger a un n umero real a lo sumo.
Demostracion. Se > 0 arbitrario. Por hip otesis existen N
1
, N
2
N tales que
|x
n
L
1
| < si n N
1
, y
|x
n
L
2
| < si n N
2
Empleando la desigualdad triangular con un termino x
n
y n m ax{N
1
, N
2
} tenemos
que |L
1
L
2
| < 2, y puesto que es arbitrario, resulta que L
1
= L
2
.
DEFINICI

ON 3.3 Si (x
n
) es una sucesi on convergente a x
0
, denotaremos esta situacion
con alguna de las siguientes expresiones, las cuales son tomadas como equivalentes
x
0
= lm
n
x
n
, x
0
= lmx
n
o x x
0
(n ).
Diremos en tal caso que x
0
es el lmite de (x
n
) cuando n tiende a innito, esto ultimo
representado por la simbologa n .
Si una sucesi on tiene terminos cuyos m odulos son arbitrariamente grandes, existir an
terminos con ndices grandes que se alejan de cualquier punto previamente jado en la
recta, de modo que tal sucesi on no podra ser convergente. Diremos que una sucesi on
real es acotada si el conjunto de sus valores es un conjunto acotado de n umeros reales.
El resultado siguiente es una reformulacion del comentario previo en el contexto de
sucesiones acotadas.
PROPOSICI

ON 3.3 Si (x
n
) es una sucesi on convergente, entonces (x
n
) es acotada.
Demostracion. Sea x
0
el lmite de (x
n
). Por convergencia de (x
n
) a x
0
, existe N N
tal que |x
n
x
0
| < 1, y por la desigualdad triangular, |x
n
| 1 +|x
0
| para todo n N.
Tomando M = max{|x
1
|, |x
2
|, . . . , |x
N1
|, 1 + |x
0
|}, se obtiene que |x
n
| M para todo
n 1.
Ejemplo 3.1. La sucesi on (x
n
) denida por x
n
= (1)
n
es acotada pero no convergente.
Ejemplo 3.2. Si b > 1, la sucesi on (x
n
) denida por x
n
= b
n
no es acotada. En efecto,
escriba b = 1+d con d > 0. Por la desigualdad de Bernoulli, b
n
1+nd para todo n 1.
Luego, dado M N tomemos n N con n > (M1)/d, de modo que b
n
> 1+nd > M.
De acuerdo con la Proposici on anterior, una sucesi on no acotada no puede ser
convergente. No obstante ciertos tipos de comportamiento asintotico de algunas sucesio-
nes divergentes no acotadas, como la del ultimo ejemplo, juegan un papel importante y
admiten propiedades en gran parte similares a aquellas de los lmites ordinarios.
3.1. SUCESIONES 19
DEFINICI

ON 3.4 Sea (x
n
) una sucesi on real. Diremos que (x
n
) diverge a + si
M > 0, N N : n N = x
n
M.
Por otro lado, una sucesi on (z
n
) diverge a si (z
n
) diverge a +.
Observaci on. A un cuando la denici on anterior trata acerca de situaciones de di-
vergencia, adoptaremos las notaciones lm
n
x
n
= respectivamente. Esto se
justica porque estas nociones pueden ser entendidas, previas consideraciones que
no haremos aqu) como convergencia en

R. Estos son los llamados lmites innitos.
En general, llamaremos lmite extendido a un lmite que puede ser nito o innito.
De modo pues que si una sucesi on tiene lmite innito diremos, por abuso de lengua-
je, que ella es convergente en

R y que la convergencia es extendida. El termino de
convergencia a solas queda reservado para la convergencia en R, es decir, con lmite
real o nito. Diremos que una sucesi on es propiamente divergente si diverge en

R.
DEFINICI

ON 3.5 Una sucesion (x

n
) es
(1) monotona no creciente si x
n+1
x
n
para todo n 1.
(2) monotona decreciente si x
n+1
< x
n
para todo n 1.
(3) monotona no decreciente si x
n
x
n+1
para todo n 1.
(4) monotona creciente si x
n
< x
n+1
para todo n 1.
En cualquiera de estos casos se dice que la sucesi on es monotona. Por otro lado, una
sucesi on es eventualmente monotona, si es eventualmente igual a una sucesi on mon otona
(del tipo respectivo).
Observe que toda sucesi on decreciente (resp. creciente) es no creciente (resp. no
decreciente).
PROPOSICI

ON 3.4 Sea (x
n
) una sucesion real.
(1) Si (x
n
) es no decreciente y no acotada, entonces x
n
+.
(2) Si (x
n
) es no creciente y no acotada, entonces x
n
.
Demostracion. Inmediata (ejercicio).
TEOREMA 3.1 Toda sucesi on mon otona acotada es convergente.
20 CAP

ITULO 3. SUCESIONES Y SERIES NUM

ERICAS
Demostracion. Sea (x
n
) una sucesi on no decreciente y acotada. Entonces el conjunto
de valores S = {x
n
: n 1} es no vaco y acotado superiormente, de modo que por
completitud de la recta existe u = sup S. Armamos que x
n
u cuando n . En
efecto, para > 0 arbitrario el n umero u no es cota superior de S y existe N N tal
que x
N
> u . Puesto que (x
n
) es no decreciente, tenemos x
n
x
N
para todo n N
y, adem as, x
n
u para todo n. Por tanto
n N = u < x
n
u = |x
n
u| < ,
y as lmx
n
= u. Para el caso de una sucesi on no creciente (x
n
), se demuestra de manera
similar (y se sugiere al lector hacerlo!) que ella converge a nf S.
Ejemplo 3.3. Sea 0 < a < 1. La sucesi on de termino general x
n
= a
n
es convergente con
lmite 0. En efecto, (x
n
) es decreciente y acotada porque 0 < a < 1 implica 0 < a
2
< a <
1, y por inducci on, 0 < a
n+1
< a
n
< a < 1 para todo n 1. Luego, (x
n
) es convergente.
Armamos que lmx
n
= 0. En efecto, dado > 0 existe n
0
N tal que (1/a)
n
0
> 1/
(vea el ejemplo 2.1), de modo que a
n
0
< . Por tanto, lmx
n
=nf{a
n
: n 1} = 0 (vea
la demostracion del Teorema 3.1).
La combinacion de la Proposici on 3.4 y el Teorema 3.1 establece que toda sucesi on
mon otona tiene lmite en

R.
TEOREMA 3.2 Sea (x
n
) una sucesi on real convergente con lmite a. Si b < a, entonces
b < x
n
para todo n sucientemente grande. Analogamente, si a < b, entonces x
n
< b
para todo n sucientemente grande.
Demostracion. Para el primer caso, tomemos = a b > 0. Por denici on de lmite
existe N > 0 entero tal que a < x
n
< a+ para todo n N, particularmente b < x
n
para todo n N. El segundo caso es similar.
Note que la condici on b < a (estricto) en el resultado anterior es escencial para su
validez.
COROLARIO 3.1 Suponga que lmx
n
= a y lmy
n
= b, donde las sucesiones (x
n
) y
(y
n
) son tales que x
n
y
n
para todo n sucientemente grande. Entonces a b. En
particular, si x
n
b para todo n sucientemente grande, entonces a b.
Demostracion. Por reducci on al absurdo. Si fuese b < a, podemos tomar un n umero
real c con b < c < a. Entonces por el Teorema 3.2 se tiene que y
n
< c < x
n
para todo n
sucientemente grande, lo cual contradice la hip otesis.
Observaci on. La condici on x
n
< y
n
para n sucientemente grande no implica a < b,
como muestran las sucesiones con terminos generales x
n
= 0 y y
n
= 1/n para n 1.
Ejercicio. Si x
n
> 0 para todo n N y lm(x
n+1
/x
n
) = a < 1, entonces lmx
n
= 0.
3.1. SUCESIONES 21
TEOREMA 3.3 (Sandwich) Si lmx
n
= lmy
n
= a R y x
n
z
n
y
n
para todo n
sucientemente grande, entonces lmz
n
= a.
Demostracion. Sea > 0 arbitrario. Por hip otesis de convergencia existen enteros
positivos n
1
y n
2
tales que |x
n
a| < y |y
m
a| < siempre que n n
1
y m n
2
respectivamente. Pro otro lado, existe n
3
tal que x
n
z
n
y
n
para todo n n
3
.
Tomemos ahora n
4
m ax{n
1
, n
2
, n
3
}, de modo que para n n
4
se tiene
a < x
n
z
n
y
n
< a + ,
lo cual implica |z
n
a| < . Por tanto z
n
a.
Para el caso de lmites innitos el Teorema anterior se enuncia de la siguiente forma.
TEOREMA 3.4 (Sandwich) Si lmx
n
= + y x
n
z
n
para todo n sucientemente
grande, entonces lmz
n
= +. Analogamente, si lmy
n
= y z
n
y
n
para todo n
sucientemente grande, entonces lmz
n
= .
Demostracion. Es consecuencia inmediata de las deniciones.
Ejercicio. Demuestre que si lmx
n
= 0 y (y
n
) es una sucesi on acotada, entonces
lmx
n
y
n
= 0.
Ejemplo 3.1 (N umero de Euler) La sucesi on con termino general
a
n
= 1 + 1 +
1
2!
+
1
3!
+ +
1
n!
=
n

k=0
1
k!
(3.2)
es convergente. Para demostrar esto notamos inmediatamente que (a
n
) es cre-
ciente. Ademas es acotada, pues 2
n1
< n! para n 3 (vea Proposici on 2.3), lo
cual implica
2 < a
n
= 1+1+
1
2!
+
1
2
2
+ +
1
2
n1
= 1+
n1

k=0
_
1
2
_
k
= 1+
1
1
2
n
1
1
2
= 1+2
_
1(1/2)
n
_
3.
Denimos el n umero de Euler e, como el lmite de la sucesi on (a
n
).
PROPOSICI

ON 3.5 El n umero de Euler es irracional.

Una demostracion puede ser encontrada en el libro Calculus de Michael Spivak.
El ejemplo a continuaci on caracteriza el n umero de Euler como otro lmite importante
el cual, en ocasiones, es empleado como denici on, particularmente en algunos textos de
C alculo.
22 CAP

ITULO 3. SUCESIONES Y SERIES NUM

ERICAS
Ejemplo 3.2 (Caracterizacion de e) Sea b
n
=
_
1 + 1/n
_
n
. Armamos que
lmb
n
= e. Aplicando la f ormula del Binomio de Newton 2.5 en el captulo
anterior tenemos
b
n
=
_
1 +
1
n
_
n
= 1 + n
1
n
+
n(n 1)
2!
1
n
2
+ +
n(n 1) 2
n!
1
n
n
= 1 + 1 +
1
2!
_
1
1
n
_
+
1
3!
_
1
1
n
__
1
2
n
_
+
+
1
n!
_
1
1
n
__
1
2
n
_

_
1
n 1
n
_
Particularmente, (b
n
) es creciente y b
n
a
n
, donde a
n
viene dado por (3.2) para
todo n 0. Tenemos as que lmb
n
e.
Por otro lado, si jamos arbitrariamente p N y consideramos n > p, podemos
observar que
b
n
> 1 + 1 +
1
2!
_
1
1
n
_
+
1
3!
_
1
1
n
__
1
2
n
_
+
+
1
p!
_
1
1
n
__
1
2
n
_

_
1
p 1
n
_
,
y haciendo n + con p jo se obtiene lmb
n
a
p
, donde a
p
es el p-esimo
termino de la sucesi on en el Ejemplo 3.1. Luego, lm
p
lm
n
b
n
y por lo
ya demostrado concluimos que lmb
n
= e.
3.2. Lmites Inferior y Superior
Ya hemos hecho notar que el comportamiento asint otico de una sucesi on (x
n
) solo
depende de conjuntos de terminos de la forma T
N
= {x
n
: n N} para valores grandes
de N. Queremos precisar esta observacion mediante la introducci on de los conceptos de
lmite inferior y superior, por medio de los cuales pordemos caracterizar la existencia de
lmites.
En general, si x
n
x
0
, entonces x
0
[u
N
, v
N
] para todo N N, donde u
N
=nf T
N
y v
N
= sup T
N
. Ademas las inclusiones T
N
T
N+1
(N 1) implican que u
N
u
N+1
y
v
N+1
v
N
para todo N. Siendo (u
m
) y (v
m
) sucesiones mon otonas, estas tienen lmites
u y v en

R respectivamente y adem as u v. En el caso de una sucesi on (x
n
) acotada, u
y v son reales, y si adem as (x
n
) converge a un n umero real x
0
, tenemos que x
0
[u, v],
lo que representa una informaci on sobre la localizacion del lmite de (x
n
). De hecho,
cuando el lmite existe este intervalo se reduce a el, como veremos luego. Lo importante
3.2. L

IMITES INFERIOR Y SUPERIOR 23

a resaltar aqu es que las sucesiones (u
m
) y (v
m
) guardan alguna informaci on sobre el
comportamiento asint otico de la sucesi on, particularmente de la convergencia y su lmite.
DEFINICI

ON 3.6 Sea (x
n
) una sucesi on real. Se denen
(1) el lmite inferior de (x
n
), denotado por lminf
n
x
n
, lminf x
n
o limx
n
como el
n umero real extendido
lminf x
n
= lm
N
nf{x
n
: n N}.
(2) el lmite superior de (x
n
), denotado por lmsup
n
x
n
, lmsup x
n
o limx
n
como el
n umero real extendido
lmsup x
n
= lm
N
sup{x
n
: n N}.
De acuerdo con la monotona ya observada de las sucesiones (nf T
N
)
N1
y (sup T
N
)
N1
(dada la denicion de los conjuntos T
N
), resulta evidente que
lmsup x
n
=nf{sup{x
n
: n N} : N 1} y
lminf x
n
= sup{nf{x
n
: n N} : N 1}.
Observaci on. Si (x
n
) no es acotada superiormente, entonces
nf
N1
sup{x
n
: n N} =nf{+} = +,
mientras que si (x
n
) no es acotada inferiormente, entonces
sup
N1
nf{x
n
: n N} = sup{} = .
TEOREMA 3.5 Sea (x
n
) una sucesion real.
(i) Si existe lmx
n
en

R, entonces lminf x
n
= lmx
n
= lmsup x
n
.
(ii) Si lminf x
n
= lmsup x
n
, entonces existe lmx
n
en

R y todos ellos coinciden.
Demostracion. Denote u
m
= nf{x
n
: n m} y v
m
= sup{x
n
: n m} para m 1,
y sean u = lmu
m
= lminf x
n
, v = lmu
m
= lmsup x
n
.
(i) Suponga primero que lmx
n
= +. Dado M > 0 existe N N tal que x
n
> M
para todo n N. Puesto que (u
m
) es no decreciente, tenemos que si m N, entonces
u
m
u
N
= nf{x
n
: n N} M y por tanto lmu
m
= +. La demostracion para el
caso en que lmx
n
= es similar.
Por otro lado, supongamos que lmx
n
= x
0
R. Dado > 0 existe N N tal
que |x
n
x
0
| < para todo n N. En particular, x
n
< x
0
+ para n N. Luego,
24 CAP

ITULO 3. SUCESIONES Y SERIES NUM

ERICAS
v
N
= sup{x
n
: n N} x
0
+ y puesto que (v
m
) es no creciente obtenemos v
m

v
N
x
0
+ siempre que m N. Por tanto lmv
m
x
0
+ y como > 0 es arbitrario,
concluimos que lmsup x
n
x
0
= lmx
n
. Mediante un argumento enteramente similar
se demuestra tambien que lmx
n
lminf x
n
. Con esto tenemos
lmsup x
n
lmx
n
lminf x
n
lmsup x
n
,
y por tanto lmsup x
n
= lmx
n
= lminf x
n
.
(ii) Si lminf x
n
= lmsup x
n
= +, se obtiene inmediatamente que lmx
n
= +.
Analogamente para .
Supongamos ahora que lminf x
n
= lmsup x
n
= s R. Dado > 0 tenemos,
por la convergencia v
m
s, que existe N
1
N tal que |s v
N
1
| < , lo cual implica
v
N
1
= sup{x
n
: n N
1
} < s + y as
x
n
< s + para todo n N
1
. (3.3)
Analogamente, puesto que s = lmu
m
existe N
2
N tal que |su
N
2
| < y en particular
nf{x
n
: n N
2
} > s . Luego
x
n
> s para todo n N
2
. (3.4)
De (3.3) y (3.4) obtenemos s < x
n
< s + para todo n m ax{N
1
, N
2
} y por tanto
lmx
n
= s.
De acuerdo con lo que hemos visto, si una sucesion real (x
n
) converge, entonces
los lmites superior e inferior coinciden, lo cual implica que los n umeros u
N
y v
N
como
fueron denidos arriba est an pr oximos entre s. Particularmente se tiene x
n
[u
N
, v
N
]
para n N donde |u
N
v
N
| es peque no cuando N es grande. De esta manera vemos
que los terminos x
n
de la sucesi on est an pr oximos unos de otros para n sucientemente
grande. Esta observacion conduce a la formulaci on de una condici on que caracteriza
la convergencia de manera intrnseca, es decir, dependiente solo de los terminos de la
sucesi on y sin hacer referencia a su lmite.
DEFINICI

ON 3.7 Una sucesi on (x

n
) es una sucesion de Cauchy si para todo > 0
existe N N tal que |x
n
x
m
| < para todo m, n N.
Los comentarios anteriores demuestran el siguiente Lema.
LEMA 3.1 Toda sucesi on convergente es una sucesi on de Cauchy.
TEOREMA 3.6 Toda sucesi on de Cauchy es convergente.
Demostracion. Sea (x
n
) una sucesion de Cauchy. Denotemos T
N
= {x
n
: n N},
u
N
=nf T
N
y v
N
= sup T
N
para N N. Para > 0 arbitrario existe N N tal que
m, n N = |x
n
x
m
| < = x
n
< x
m
+ .
3.3. SUBSUCESIONES 25
Entonces, jado arbitrariamente m N, tenemos que x
m
+ es una cota superior para
el conjunto T
N
. Luego v
N
= sup T
N
x
m
+ para m N. Esto implica que v
N
es
una cota inferior del conjunto T
N
y, por tanto, v
N
nf T
N
= u
N
. Con esto tenemos
lmsup x
n
v
N
u
N
+ lminf x
n
+ ,
de donde se deduce que lmsup x
n
es nito, pero ademas, como es arbitrario se ob-
tiene que lmsup x
n
lminf x
n
. Por tanto lmsup x
n
= lminf x
n
y la sucesi on (x
n
) es
convergente.
3.3. Subsucesiones
DEFINICI

ON 3.8 Si : N N es una funcion creciente (particularmente inyectiva y no

decreciente), llamaremos subsucesion de (x
n
) determinada por a la funci on compuesta
x , donde x es la funci on que caracteriza a (x
n
), esto es a la sucesion (x
(k)
)
k1
.
Corrientemente usaremos la notaci on n
k
= (k) para una funci on no siempre denida
explicitamente y expresamos la condicion de monotona a traves del enunciado n
k
k
para todo k; de esta manera la subsucesi on es denotada por (x
n
k
) o (x
n
k
)
k1
.
Observaci on. En la denici on de subsucesiones no acostumbramos, en la mayora de
las situaciones, denir ni mencionar explicitamente una funcion creciente de los
naturales. Esto origina la posibilidad de establecer una caracterizacion o denicion
alternativa de subsucesi on en la cual no se haga menci on a tal funci on. Una posibi-
lidad es pensar en subsucesiones de una sucesi on (x
n
), caracterizada por la funci on
x : N X, como restricciones de x a subconjuntos innitos S N. Los elementos
de un tal subconjunto S pueden ser enumerados en al forma n
1
< n
2
< mediante
una funcion creciente dada por (k) = n
k
y n
k
k como arriba, de modo que la
restricci on de x a S, que es el conjunto de im agenes de , puede ser identicada
con la funci on compuesta x . Es claro que cualquier subconjunto innito de en-
teros positivos determina una subsucesi on de la sucesi on dada. Observe que seg un
este enfoque la subsucesi on no es, de manera directa, una funcion denida en N. En
la pr actica es util pensar en las subsucesiones de una sucesi on como restricciones a
subconjuntos innitos, lo que adem as da pleno sentido al termino subsucesi on.
Ejemplo 3.4. Sea (r
n
)
n1
una enumeraci on de los n umeros racionales, esto es una sucesi on
n r
n
Q sobreyectiva. Veamos que dado x R existe una subsucesion (r
n
k
) que
converge a x. La denicion de una tal subsucesion puede hacerse facilmente por inducci on.
Por densidad de Q podemos escoger n
1
N tal que |r
n
1
x| < 1. Supongamos haber
escogido enteros positivos n
1
< n
2
< . . . < n
k
tales que
|r
n
j
x| < 1/j para j = 1, 2, , k.
26 CAP

ITULO 3. SUCESIONES Y SERIES NUM

ERICAS
Por densidad de Q, el intervalo abierto J
k+1

_
x 1/(k + 1), x + 1/(k + 1)
_
contiene
innitos n umeros racionales, de modo que existe n
k+1
> n
k
tal que r
n
k+1
J
k+1
, esto
es |r
n
k+1
x| < 1/(k + 1), lo cual completa la denicion recursiva de la subsucesi on.
Ahora, dado > 0 existe, por la propiedad Arquimediana, un entero positivo k
0
tal que
1/n
k
< para todo k k
0
y por tanto |r
n
k
x| < para todo k k
0
. Con esto hemos
mostrado que r
n
k
x cuando k .
Ejercicios
(1) Si una sucesion mon otona (x
n
) posee una subsucesi on convergente, entonces (x
n
) es
convergente.
(2) Si (x
n
) es una sucesi on mon otona que posee una subsucesion acotada, entonces (x
n
)
es acotada.
PROPOSICI

ON 3.6 Si la sucesi on (x
n
) es convergente con lmite x, entonces toda sub-
sucesi on de (x
n
) converge a x.
Demostracion. Sea (x
n
k
) una subsucesion de (x
n
) y suponga que x
n
x. Observe que
n
k
k para cada k 1. Dado > 0 existe N tal que |x
n
x| < para todo n N.
Luego,
k N = n
k
N = |x
n
k
x| < ,
con lo cual queda demostrada la proposici on.
La existencia de subsucesiones convergentes es importante en Analisis y posee
m ultiples aplicaciones en diversas areas de la Matem atica. Uno de los resultados mas
importantes en este sentido es el Teorema de Bolzano-Weierstrass que demostraremos
despues del siguiente Lema.
LEMA 3.2 Toda sucesi on tiene una subsucesi on mon otona.
La dicultad inicial para la demostraci on de este Lema es que no conocemos el tipo
de monotona que podemos determinar en una sucesion arbitraria. Esto nos plantea la
necesidad de establecer un criterio seg un el cual podamos mostrar la existencia de una
subsucesi on con una monotona particular en un caso, y que para el caso complementario
se pueda argumentar la existencia de una subsucesion con la monotona complementaria.
Demostracion. Sea (x
n
) una sucesion cualquiera. Diremos que un termino x
n
es do-
minante si x
m
< x
n
para todo m > n y denotamos D = {m : x
m
es dominante}.
Dividiremos la demostracion en dos csos seg un D sea innito o nito.
3.3. SUBSUCESIONES 27
Caso 1: D es innito. Tomamos cualquier subsucesi on (x
n
k
) formada por terminos do-
minantes. Entonces x
n
k+1
< x
n
k
por denicion de termino dominante y por tanto (x
n
k
)
es monotona decreciente.
Caso 2: D es nito. Sea n
1
> m ax D. Entonces x
n
1
no es un termino dominante, de modo
que existe n
2
> n
1
tal que x
n
1
x
n
2
. Ahora, x
n
2
tampoco es dominante, por lo que existe
n
3
> n
2
tal que x
n
2
x
n
3
. Prosiguiendo de manera recursiva se obtiene una subsucesi on
mon otona no decreciente (x
n
k
) formada por terminos no dominantes de (x
n
).
TEOREMA 3.7 (Bolzano-Weierstrass) Toda sucesion real acotada posee una subsuce-
si on convergente.
Demostracion. Sea (x
n
) una sucesion real acotada. Por el Lema anterior (x
n
) posee
una subsucesi on mon otona, la cual es tambien acotada por serlo (x
n
). Por el Teorema
3.1 esta subsucesi on, siendo mon otona y acotada, es convergente.
TEOREMA 3.8 Sea (x
n
) una sucesion. Entonces, existe una subsucesion monotona de
(x
n
) cuyo lmite extendido es lmsup x
n
y existe una subsucesi on mon otona de (x
n
) cuyo
lmite extendido es lminf x
n
.
Demostracion. Primero tratemos el caso de lmsup x
n
. Para cada N N sean X
N
=
{x
n
: n N} y v
N
= sup X
N
. Denotemos tambien v = lmv
N
= lmsup x
n
. Si v = ,
entonces lminf x
n
= y por tanto lmx
n
= y cualquier subsucesion de (x
n
)
converge a lmsup x
n
.
Por otro lado, si v = +, entonces x
n
no es acotada superiormente. Escojamos
n
1
< n
2
< tales que x
n
k
k para cada k N, con lo cual se tiene lm
k
x
n
k
=
+ = lmsup x
n
.
Consideremos ahora el caso en que v es nito. Mostraremos que existe una sucesi on
creciente (n
k
) de enteros positivos tal que
v
1
k
< x
n
k
< v +
1
k
para todo k 1.
Para esto procedemos por induccion sobre k. Para k = 1 escoja N
1
N tal que |v
N
1
v| <
1
2
, o sea v
1
2
< v
N
1
< v +
1
2
. Puesto que v
N
1
= sup{x
n
: n N
1
}, tenemos que v
N
1

1
2
no es cota superior de X
N
1
. Entonces existe n
1
N
1
tal que v
N
1

1
2
< x
n
1
v
N
1
. De la
combinaci on de las dos desigualdades anteriores tenemos
v 1 < v < v
N
1

1
2
< x
n
1
v
N
1
< v +
1
2
< v + 1.
Ahora supongamos haber escogido enteros n
1
< n
2
< < n
k
tales que v 1/j <
x
n
j
< v + 1/j para j = 1, 2, . . . , k. Escoja un entero N
k+1
> n
k
tal que |v
N
k+1
v| <
1
2(k+1)
. Puesto que v
N
k+1
= sup{x
n
: n N
k+1
}, existe n
k+1
N
k+1
> n
k
tal que
28 CAP

ITULO 3. SUCESIONES Y SERIES NUM

ERICAS
v
N
k+1

1
2(k+1)
< x
n
k+1
. Luego, de la combinacion de las dos desigualdades anteriores
tenemos
v
1
k + 1
< v
N
k+1

1
2(k + 1)
< x
n
k+1
v
N
k+1
< v +
1
2(k + 1)
< v +
1
k + 1
.
Entonces la subsucesi on (x
n
k
) converge a v y por el Lema 3.2, esta posee una
subsucesi on mon otona la cual tambien converge a v.
El caso de lminf se deduce del anterior.
DEFINICI

ON 3.9 Un punto x
0


R es un punto lmite o lmite subsecuencial (tambien
llamado valor de adherencia) de una sucesi on real (x
n
) si x
0
es el lmite de alguna
subsucesi on de (x
n
).
TEOREMA 3.9 Sea S el conjunto de los puntos lmite de una sucesi on real (x
n
). En-
tonces
(a) S = .
(b) sup S = lmsup x
n
e nf S = lminf x
n
.
(c) (x
n
) converge a x
0
si y s olo si S = {x
0
}.
Demostracion. (a) es obvio (vea el Teorema 3.8).
(b) Sea t S, digamos que t = lmx
n
k
para alguna subsucesion (x
n
k
) de (x
n
).
Dado N N tenemos que
{x
n
k
: k N} {x
n
: n N}
porque n
k
k. Denote R
N
y T
N
a estos conjuntos respectivamente. Entonces
nf T
N
nf R
N
y sup R
N
sup T
N
para todo N 1,
y de acuerdo con las deniciones de lmite superior e inferior se obtiene
lminf x
n
lminf x
n
k
= t = lmsup x
n
k
lmsup x
n
.
Puesto que t S es arbitrario concluimos que
lminf x
n
nf S sup S lmsup x
n
.
Pero el Teorema 3.8 asegura que lminf x
n
lmsup x
n
S, por tanto lminf x
n
=nf S y
lmsup x
n
= sup S.
(c) Es trivial.
3.3. SUBSUCESIONES 29
Ejercicios
(1) Sea S el conjunto de los puntos lmite de una sucesion (x
n
). Si (t
n
) es una sucesion
en S R con t
n
t, entonces t S.
(2) Supongamos que s
n
s con s > 0 y sea (x
n
) cualquier sucesi on. Entonces
lmsup s
n
x
n
= s lmsup x
n
.
En lo que resta de esta secci on establecemos algunas propiedades adicionales de los
lmites superior e inferior que ser an utiles para el posterior estudio de series numericas.
Recuerde que s() = para todo n umero real positivo s.
TEOREMA 3.10 Sea (x
n
) una sucesion de terminos no nulos. Entonces
lminf

x
n+1
x
n

lminf |x
n
|
1/n
lmsup |x
n
|
1/n
lmsup

x
n+1
x
n

. (3.5)
Demostracion. La desigualdad intermedia en (3.5) es obvia. Veamos la tercera de las
desigualdades. Procederemos por un argumento de aproximacion. Sean = lmsup |x
n
|
1/n
y L = lmsup |x
n+1
/x
n
|. La desigualdad L es obvia si L = +. Supongamos enton-
ces que L < . Bastara mostrar (recuerde el Lema 2.1 (c)) que
L
1
para todo L
1
> L. (3.6)
Bien, sea L
1
> L. Puesto que
L
1
> L = lmsup

x
n+1
x
n

= lm
N
_
sup
_

x
n+1
x
n

: n N
__
,
por el Teorema 3.2 existe N N tal que
sup
_

x
n+1
x
n

: n N
_
< L
1
.
y as tenemos que
|x
n+1
/x
n
| < L
1
para todo n N. (3.7)
Pero, para n N podemos expresar
|x
n
| =

x
n
x
n1

x
n1
x
n2

x
N
+ 1
x
N

|x
N
|,
de modo que aplicando (3.7) a las N n fracciones en la expresi on anterior, obtenemos
que |x
n
| < L
Nn
1
|x
N
| para n > N. Fijando N y L
1
(independientes de n) podemos
escribir esto ultimo como |x
n
| < L
n
1
a, para todo n > N, donde a = L
N
|x
N
|. Luego
|x
n
|
1/n
< L
1
a
1/n
para todo n N y como a
1/n
1 cuando n , resulta =
lmsup |x
n
|
1/n
L
1
como queramos, con lo cual hemos demostrado (3.6).
La primera de las desigualdades en (3.6) puede demostrarse en forma analoga.
30 CAP

ITULO 3. SUCESIONES Y SERIES NUM

ERICAS
3.4. Series
Sea (x
n
) una sucesi on de n umeros reales. Llamaremos serie (o serie formal ) con
termino general x
n
a cualquiera de los smbolos

n=1
x
n
,

n1
x
n
o

x
n
. (3.8)
Para m 1, la m-esima suma parcial de la serie (3.8) es el n umero s
m
=

m
n=1
x
n
y
(s
m
)
m1
es la sucesi on de sumas parciales de (3.8). Diremos que la serie converge si la
sucesi on (s
n
) es convergente y, en tal caso, el n umero s = lm
n
s
n
es llamado suma
de la serie para lo cual escribimos
s =

n=1
x
n
.
Observaci on. Si la serie (3.8) diverge a mantendremos la notacion

x
n
= .
Una serie

x
n
es absolutamente convergente si es convergente la serie

|x
n
|, cuyo
termino general es el valor absoluto del termino general de la serie original. De acuerdo
con nuestros resultados sobre convergencia de sucesiones monotonas acotadas, una serie
de terminos no negativos es convergente si y s olo si la sucesion de sumas parciales (la
cual es mon otona y no decreciente en este caso), es acotada.
Ejemplo 3.5. Si r es un n umero real con |r| < 1, entonces la serie geometrica de razon r
denida como

k=0
r
k
es convergente. En efecto, se demuestra (usando inducci on, por
ejemplo) que la sumas parciales de esta serie se expresan como
s
n
=
n

k=0
r
k
=
1 r
n+1
1 r
,
y para |r| < 1 se tiene que r
n+1
0 cuando n ; de modo que s
n
1/(1 r). Por
otro lado, la serie

r
n
con |r| 1 no converge como demostraremos m as adelante.
Ejemplo 3.6. Si r > 1, entonces la serie

1/n
r
es convergente. En efecto, sea c la suma
de la serie geometrica

n0
(2/2
r
)
n
, la cual es convergente porque su raz on es 2/2
r
< 1
para r > 1. Armamos que la sucesion (s
m
) de sumas parciales de

1/n
r
es acotada
superiormente por c. De hecho, dado m sea n tal que m < 2
n
1. Entonces
s
m
s
2
n
1
= 1 +
_
1
2
r
+
1
3
r
_
+
_
1
4
r
+
1
5
r
+
1
5
r
+
1
7
r
_
+ +
_
1
(2
n1
)
r
+ +
1
(2
n
1)
r
_
< 1 +
2
2
r
+
4
4
r
+ +
2
n1
(2
n1
)
r
=
n1

k=0
_
2
2
r
_
k
< c.
3.4. SERIES 31
DEFINICI

ON 3.10 La serie

a
n
satisface el criterio de Cauchy si la sucesion (s
n
) de
sumas parciales es una sucesion de Cauchy. En smbolos:
> 0, N N : m, n N = |s
n
s
m
| < (3.9)
Acostumbramos emplear n > m N |s
n
s
m
| < en la condici on anterior.
TEOREMA 3.11 Una serie de n umeros reales es convergente si y s olo si satisface el
criterio de Cauchy (3.9).
COROLARIO 3.2 Si

a
n
es convergente, entonces lma
n
= 0.
Demostracion. Sea (s
n
) la sucesion de sumas parciales de

a
n
y sea s su suma.
Considere la sucesi on (t
n
)
n0
cuyos terminos son t
1
= 0 y t
n
= s
n1
para n 2. Es claro
que t
n
s y s
n
t
n
= a
n
para todo n. Entonces, lma
n
= lm(s
n
t
n
) = s s = 0.
Ejemplo 3.7. El recproco del Corolario anterior no es cierto. La sucesi on (1/n) converge a
cero, pero la serie armonica

1/n diverge. En efecto, supongamos que

1/n converge
y sea s su suma. Entonces las series con terminos generales t
n
= 1/2n y u
n
= 1/(2n1)
respectivamente tambien son convergentes, con sumas t y u respectivamente. Adem as
t
n
+ u
n
=
n

k=1
1
2k
+
n

k=1
1
2k 1
=
2n

k=1
1
k
= s
2n
,
y haciendo n resulta s = t + u, con lo cual tenemos t =
1
2

1/n = s/2, de modo

que u = t = s/2. Por otro lado,
u t = lm(u
n
t
n
) = lm
__
1
1
2
_
+
_
1
3

1
4
_
+
_
1
2n 1

1
2n
__
= lm
_
1
1 2
+
1
3 4
+
1
5 6
+ +
1
(2n 1)(2n)
_

1
2
> 0,
por tanto u > t, lo cual es contradictorio.
TEOREMA 3.12 (Test de Comparacion) Sea

a
n
una serie de terminos no nega-
tivos.
(a) Si

a
n
converge y |b
n
| a
n
para todo n 1, entonces

b
n
es convergente.
(b) Si

a
n
= + y b
n
a
n
para todo n 1, entonces

b
n
= +.
Demostracion. (a) Sea > 0. Puesto que

a
n
satisface el criterio de Cauchy tenemos,
por la desigualdad triangular y para n m sucientemente grandes:

k=m
b
k

k=m
|b
k
|
n

k=m
a
k
< .
32 CAP

ITULO 3. SUCESIONES Y SERIES NUM

ERICAS
As

b
n
satisface el criterio de Cauchy y por tanto es convergente.
(b) Sean (s
n
) y (t
n
) las sucesiones de sumas parciales de

a
n
y

b
n
respectiva-
mente. Entonces t
n
s
n
para todo n por hip otesis; y puesto que s
n
+, se obtiene
t
n
+.
Ejemplo 3.8. La serie

1/n
r
con r 1 es divergente por el criterio de comparaci on, pues
1/n
r
1/n para todo n y la serie arm onica

1/n es divergente.
COROLARIO 3.3 Series absolutamente convergentes son convergentes.
Una serie que es convergente pero no lo es absolutamente es llamada condicio-
nalmente convergente. El resultado siguiente nos da una util y sencilla condicion para
la convergencia de una serie alternada. Al nal del captulo se incluye un resultado de
Riemann sobre series condicionalmente convergentes.
TEOREMA 3.13 (Leibniz) Si (a
n
) es una sucesi on mon otona no creciente con lma
n
=
0, entonces la serie alternada

n=1
(1)
n+1
a
n
es convergente.
Demostracion. Sea (a
n
) como en el enunciado y denotemos s
n
a la n-esima suma
parcial de la serie. Entonces por la monotona no creciente de (a
n
) tenemos
s
2n
= s
2n2
+ a
2n1
a
2n
con a
2n1
a
2n
0
s
2n+1
= s
2n1
a
2n
+ a
2n+1
con a
2n
+ a
2n+1
0 (3.10)
As, la subsucesi on (s
2n
)
n1
es no decreciente, mientras que la subsucesi on (s
2n+1
)
n1
es
no creciente.
Por otro lado, las hipotesis de monotona no creciente y convergencia a cero implican
que cada termino a
n
es no negativo, al tiempo que la igualdad en (3.10) implica s
2n
=
s
2n1
a
2n
. Con esto tenemos que s
2n
s
2n1
para todo n 1 y as
s
2
s
4
s
2n
s
2n1
s
3
s
1
.
Particularmente ambas subsucesiones (s
2n
)
n1
y (s
2n+1
)
n1
son acotadas y, siendo adem as
mon otonas, ellas son convergentes. Finalmente, puesto que s
2n
s
2n1
= a
2n
y a
n
0
resulta que lms
2n
= lms
2n1
y por tanto (s
n
) es convergente (note que cualquier
subsucesi on de (s
n
) posee una subsucesi on de (s
2n
) o de (s
2n1
) la cual, por supuesto
converge a un valor unvocamente determinado).
TEOREMA 3.14 (Test de la Raz de Cauchy) Sean

a
n
una serie y = lmsup |a
n
|
1/n
.
(a) La serie

a
n
converge absolutamente si < 1.
(b) La serie

a
n
diverge si > 1.
3.4. SERIES 33
Demostracion. (a) Si < 1, entonces
_
|a
n
|
1/n
_
es una sucesion eventualmente acotada
por una constante positiva c < 1. Mas precisamente, tome > 0 tal que + < 1. Por
denici on de lmsup existe N N tal que
< sup
_
|a
n
|
1/n
: n N
_
< + ,
de modo que |a
n
|
1/n
< c para todo n N, siendo c = + < 1. Entonces |a
n
| c
n
para
todo n N. Como la serie geometrica

c
n
es convergente, el Criterio de Comparacion
asegura que

nN
|a
n
| es convergente. Por tanto

|a
n
| es tambien convergente.
(b) Si > 1, entonces existe una subsucesion de
_
|a
n
|
1/n
_
n1
que converge a .
Particularmente |a
n
| > 1 para valores arbitrariamente grandes de n y, como consecuencia,
a
n
no converge a cero. Luego,

a
n
no es convergente.
Ejemplo 3.9. Para las series con terminos generales a
n
= 1/n y b
n
= 1/n
2
, n 1 se tiene
lmsup |a
n
|
1/n
= 1 = lmsup |b
n
|
1/n
,
pero la serie

a
n
diverge mientras que

b
n
converge. As el Criterio de la Raz no
garantiza nada cuando lmsup |a
n
|
1/n
es 1.
TEOREMA 3.15 (Test de la Razon o Cociente de dAlembert) Sea

a
n
una se-
rie con a
n
= 0 para todo n.
(a) La serie

a
n
converge absolutamente si lmsup |a
n+1
/a
n
| < 1.
(b) La serie

a
n
diverge si lminf |a
n+1
/a
n
| > 1.
Demostracion. Sea = lmsup |a
n
|
1/n
. Sabemos que
lminf

a
n+1
a
n

lmsup

a
n+1
a
n

.
En el caso (a), < 1 y el Criterio de la Raz asegura que la serie converge. En el caso
(b), > 1, y el Criterio de la Raz asegura que la serie diverge.
Ejemplo 3.10. Considere nuevamente las series en el ejemplo 3.4. Note que
lm
1/(n + 1)
1/n
= 1 = lm
1/(n + 1)
2
1/n
2
,
de modo que lmsup

a
n+1
an

= 1 y lminf

b
n+1
bn

= 1. Con esto se muestra que tampoco el

Criterio de la Raz on concluye nada cuando el cociente tiene lmsup o lminf igual a 1.
Llamaremos un reordenamiento de una serie

a
n
, a cualquier serie

b
n
que se
obtiene por un cambio en el orden de aparici on de los terminos de la serie original. En
terminos m as precisos, si : N N es una biyecci on cualquiera y denotamos b
n
= a
(n)
,
34 CAP

ITULO 3. SUCESIONES Y SERIES NUM

ERICAS
entonces la serie

b
n
es un reordenamiento de

a
n
. Tambien decimos en este caso que
la sucesion (b
n
) es un reordenamiento de (a
n
). Es claro que todo reordenamiento de una
serie puede ser caracterizado mediante una biyecci on de N como acabamos de describir.
Diremos que una serie

a
n
es conmutativamente convergente si cualquiera de sus
reordenamientos es convergente y la suma de todos ellos es independiente del reordena-
miento.
Ejemplo 3.11. La serie

n=1
(1)
n+1
/n es convergente por el Teorema de Leibniz, pero
no conmutativamente. Sea s la suma de esta serie. Demostremos que el reordenamiento
dado por la sucesion
1,
1
3
,
1
2
,
1
5
,
1
7
,
1
4
,
1
9
,
1
11
,
1
6
,
1
13
,
1
15
,
1
8
,
1
17
,
1
19
,
1
10
,
1
21
, . . . (3.11)
tiene suma 3s/2. En efecto, denotemos
a
n
=
(1)
n+1
n
, b
n
=
_
0, si n es impar
(1)
n
2
+1
n
, si n es par
c
n
=
_

_
1
n
, si n es impar
0, si n es par y n/2 es impar

2
n
, si n es par y n/2 es par
Entonces, c
n
= a
n
+b
n
para todo n 1. Por otro lado, los valores no nulos de la sucesion
(b
n
) corresponden a los valores de la sucesion (a
n
/2) en el sentido que
an
2
= b
2n
, de modo
que la serie

b
n
tiene suma s/2. Ahora, de acuedo con las notaciones anteriores, los
valores no nulos de la sucesi on (c
n
) son exactamente los valores de la sucesi on (a
n
), pero
con otro orden. En otras palabras, la funci on : N N dada por
(n) =
_
n, si n es impar
2n, si n es par
caracteriza a la subsucesion de terminos no nulos de (c
n
) como un reordenamiento de
(a
n
). No obstante la suma de

c
n
es s +
s
2
. Note que la serie

n=1
(1)
n+1
/n no es
absolutamente convergente.
TEOREMA 3.16 Si la serie

a
n
es absolutamente convergente, entonces es conmuta-
tivamente convergente.
Demostracion. Primero supongamos que a
n
0 para todo n 1. Sea : N N
una biyecci on y denote b
n
= a
(n)
, s
n
=

n
k=1
a
k
y t
n
=

n
k=1
b
k
para cada n 1. Si
m = m ax{(i) : 1 i n}, entonces (1), . . . , (n) I
m
, siendo I
m
= {1, 2, . . . , m}.
Entonces, por no negatividad de (a
n
),
t
n
=
n

i=1
a
(i)

m

j=1
a
j
= s
m
,
3.4. SERIES 35
de modo que
n N, m N : t
n
s
m
. (3.12)
Usando
1
en lugar de podemos mostrar en forma an aloga que
m N, n N : s
m
t
n
. (3.13)
Estas dos relaciones implican que sup{t
n
: n 1} = sup{s
n
: n 1}. Ahora, puesto
que ambas sucesiones (t
n
) y (s
m
) son mon otonas no decrecientes (por la no negatividad
de los a
n
, n 1), tenemos que
lm
n
t
n
= sup{t
n
: n 1} = sup{s
m
: m 1} = lm
n
s
m
Para el caso general denimos la parte positiva y la parte negativa de (a
n
) como
p
n
= m ax{a
n
, 0} y q
n
= m ax{a
n
, 0},
respectivamente. Entonces se cumple

a
n
=

p
n

q
n
. Observemos que todo reor-
denamiento (b
n
) de (a
n
) determina reordenamientos (u
n
) y (v
n
) de (p
n
) y de (q
n
) respec-
tivamente. De esta manera (u
n
) es la parte positiva de (b
n
) y (v
n
) es su parte negativa.
Por el caso anterior tenemos que

u
n
=

p
n
y

v
n
=

q
n
.
Luego

a
n
=

u
n

v
n
=

b
n
.
Dada una serie

a
n
, denimos p
n
= m ax{a
n
, 0} y q
n
= m ax{a
n
, 0} (la parte
positiva y la parte negativa de a
n
, respectivamente). Observe que |a
n
| = p
n
+q
n
, mientras
que a
n
= p
n
q
n
. Si

a
n
es condicionalmente convergente, entonces

p
n
= =

q
n
. En efecto, si ambas series fuesen convergentes, entonces

|a
n
| =

p
n
+

q
n
es convergente, lo cual no es cierto porque

a
n
no es absolutamente convergente. Por
otro lado, si s olo la serie

p
n
fuese convergente, digamos que con suma s, entonces

a
n
= s

q
n
= , lo cual contradice la convergencia condicional de

a
n
. Igual
contradicci on se obtiene cuando suponemos que s olo la serie

q
n
es convergente.
DEFINICI

ON 3.11 Una serie

a
n
es condicionalmente convergente si es convergente,
pero

|a
n
| diverge a +.
TEOREMA 3.17 (Riemann) Si

a
n
es una serie condicionalmente convergente, enton-
ces para todo c R existe un reordenamiento (b
n
) de (a
n
) tal que

b
n
= c.
Demostracion. Daremos solo un esquema de la demostraci on. Fijemos c R. Co-
menzemos sumando loa terminos positivos iniciales de (a
n
), en su orden natural, hasta
que al sumar un cierto termino a
n
1
ocurra que la suma s
n
1
obtenida sea mayor que c.
Ciertamente esto va a ocurrir, porque la serie de las partes positivas de los terminos de
36 CAP

ITULO 3. SUCESIONES Y SERIES NUM

ERICAS
(a
n
) diverge a . Seguidamente continuamos sumando (respecto de s
n
1
), pero esta vez
adicionaremos los terminos negativos de (a
n
), desde el inicio y en su orden natural, hasta
que al sumar un cierto termino a
n
2
resulte una suma s
n
2
menor que c. Esto ciertamente
ocurrir a porque la serie de las partes negativas de los terminos de (a
n
) diverge a .
Prosiguiendo de esta manera se construye, inductivamente, un reordenamiento

b
n
de la serie

a
n
con al siguiente propiedad: si S
m
es una suma parcial de

b
n
, con
m n
1
, y a
n
k
es el ultimo sumando de S
m
que produjo un cambio de signo en la diferencia
de c con las sumas parciales del reordenamiento en el momento de sumar a
n
k
, entonces
|c S
m
| < |a
n
k
|. Como la serie

a
n
es convergente, se tiene que |a
n
| 0, cuando
n , por tanto las sumas parciales S
m
convergen a c, como queramos demostrar.