Como $@#!! se trabaja con sucesiones?

Mauricio Godoy Molina

Resumen
Quise, con el ttulo de este peque no apunte, tratar de describir
de la mejor manera lo que creo gran parte de los estudiantes
estan pensando por estos das (y no pocos ayudantes). El punto es el
siguiente: en MAT-021 nunca (que yo recuerde) se haba dado gran
hincapie a este tema que es simplemente fundamental . . . entonces no
es precisamente conveniente que pregunten a alumnos de cursos supe-
riores. Espero que este humilde resumen les permita comprender con
mayor precision a que se reere este topico.
1. Denicion de una Sucesion
Una muy buena pregunta para hacerse es que es una sucesion?, la primera
respuesta que se nos viene a la mente es es una secuencia de n umeros, pero
hay un peque no inconveniente con esa respuesta . . . no dijimos absoluta-
mente nada!
Tratemos de matematizar un poco la denicion, pues la verdad es que
mayormente no nos ayuda mucho el concepto intuitivo:
Denicion 1.1 Una sucesion de elementos de un conjunto X es una funcion
: N X
n (n) =
n
En el caso general, denotaremos a la sucesion por {
n
}

n=1
.
Observacion: Claramente no es el objetivo de MAT-021 el que se traba-
je con sucesiones muy abstractas (es decir, sucesiones donde X puede ser
cualquier cosa). Es por esto que acotaremos un poco nuestra conversaci on.
1
Denicion 1.2 Diremos que una sucesion {
n
}

n=1
es una sucesion real si
y solo si X = R (o bien {
n
} R). A menos que se explicite lo contrario,
estaremos trabajando con sucesiones reales.
Observacion: Notemos que la misma funcion dene un orden entre los
elementos de la sucesion, pero no un orden en el sentido de mayor o menor
que, sino en la idea de ordinal, es decir, una cierta posicion relativa entre los
elementos de la sucesion.
Denicion 1.3 Diremos que {
n
} es el conjunto de valores de la sucesion
{
n
}

n=1
cuando todo posible valor de la funcion esta contenido en tal
conjunto.
Ejemplo: Veamos algunos ejemplos de sucesiones relativamente clasicos:
1. La sucesion dada por
_
1
n
_

n=1
es la sucesion asociada a la funcion
: N X
n
1
n
y tiene el conjunto de valores {1,
1
2
,
1
3
,
1
4
, . . .}.
2. La funcion constante igual a a produce la sucesion constante {a}

n=1
,
la cual tiene como conjunto de valores solo {a}.
3. La funcion (n) = (1)
n
que entrega el valor -1 para n umeros impares
y 1 para aquellos pares induce la sucesion {(1)
n
}

n=1
que tiene como
conjunto de valores (como es de suponerse) al conjunto {1, 1}.
4. La funcion sin x induce la sucesion {sin n}

n=1
la cual tiene como
conjunto de valores a {0}.
5. La sucesion {n}

n=1
tiene como conjunto de valores a N y es originada
por la funcion identidad, es decir, por (n) = n.
6. Las llamadas sucesiones de sumas parciales son de particular interes en
el estudio de las series (generalizaciones naturales de las sumatorias).
Diremos que una sucesion {s
n
}

n=1
es una sucesion de sumas parciales
2
si y solo si se tiene que s
k+1
= s
k
+
k
, es decir, donde se tiene que
cada termino se origina del anterior sumandole una cierta cantidad
que podra variar. Por ejemplo, si consideramos la siguiente sucesion
caracterizada por su termino general (para alg un a R \ {1}):
s
n
= 1 + a + a
2
+ . . . + a
n
Entonces se tiene que
{s
n
}

n=1
=
_
n

k=0
a
k
_

n=1
=
_
1 a
n+1
1 a
_

n=1
Que pasa si a = 1?
Sugerencia: Para mejorar la perspectiva geometrica, es conveniente que
se graquen las sucesiones anteriores en el planodado por NR, es decir,
donde las abscisas toman solo valores correspondientes a n umeros naturales.
Para el ultimo ejemplo, es conveniente que se den algunos valores tipo, por
ejemplo, comparen que pasa si a = 0, 1, 2,
1
2
, 2,
1
2
(en Mathematica 5.0
pueden utilizar el comando ListPlot).
5 10 15 20
0.25
0.5
0.75
1
1.25
1.5
1.75
Figura 1: Graco de la sucesion {1 +
(1)
n
n
}

n=1
2. Conceptos Importantes
Algunas ideas que nacen de la intuicion nos seran de gran ayuda y de
extrema importancia en nuestra problematica, es por esto que para evitar
3
problemas surgidos a partir de la misma intuicion es conveniente denirlos
de maneras mas polticamente correctas.
2.1. Sucesiones Acotadas
Recordando un topico bastante importante del certamen anterior que
consistio en formular propiamente que signica que un subconjunto de los
n umeros reales sea acotado, podemos llevar aquella denicion a las sucesiones.
Denicion 2.1 Diremos que la sucesion {
n
}

n=1
es acotada si existe alg un
M R
+
tal que {
n
} ] M, M[.
De esta denicion se desprende de inmediato un peque no corolario que, mas
que agregar nueva informacion, nos permite reescribir la condicion de la
denicion a algo mas facil de vericar.
Corolario 2.1 Se tiene que si la sucesion {
n
}

n=1
es acotada, entonces se
tiene que:
M R
+
: |
n
| < M n = 1, 2, . . .
Demostracion 2.1 Se sigue de inmediato a partir de la denicion, pues
si la sucesion es acotada, entonces su conjunto de valores esta totalmente
contenido en un intervalo ]M, M[ (M R
+
), por lo tanto, todo valor posible
del conjunto de valores es mayor que M (nmo del intervalo), pero menor
que M (supremo del intervalo), por lo tanto se tiene que M <
n
< M lo
cual es equivalente a decir |
n
| < M para n N.
Sugerencia: Determine cuales de las sucesiones del primer ejemplo son
acotadas y, para el ultimo problema, determine condiciones que aseguren
que la sucesion de sumas parciales efectivamente lo sea.
2.2. Sucesiones Monotonas
Si bien su nombre no es precisamente afortunado (pues la palabra monotono
puede llevar a pensar que estas sucesiones son aburridas), en realidad estas
sucesiones encierran un gran valor, desde la perspectiva que ayudan a ca-
racterizar mejor ciertas sucesiones que, junto con la condicion estudiada en
el apartado anterior, daran forma a un bello Teorema que sera enunciado y
demostrado en la seccion posterior.
4
Denicion 2.2 Diremos que una sucesion {
n
}

n=1
es monotona si cumple
una de las dos condiciones siguientes:
(i)
n

n+1
(en cuyo caso se habla de sucesiones crecientes).
(ii)
n

n+1
(en cuyo caso se habla de sucesiones decrecientes).
Observacion: Diremos que una sucesion que cumple ambas condiciones es
una sucesion constante. Evidentemente estas sucesiones no presentan gran
dicultad tecnica y no seran, en general, parte de la discusion.
Ejemplo: Veriquemos que la sucesion {
n
}

n=1
=
_
1 +
1
n
_

n=1
es de-
creciente, pero que la sucesion {
n
}

n=1
=
_
1
1
n
_

n=1
es creciente. Para
hacer esto, lo que debemos hacer es escoger alg un n umero natural cualquiera
k N y utilizar desigualdades conocidas, en este caso consideremos (para la
primera sucesion):
Sabemos que 1 > 0 k + 1 > k
1
k
>
1
k + 1

k+1
= 1 +
1
k + 1
< 1 +
1
k
=
k
Por analoga procedemos en el segundo caso, pues:
Sabemos que 1 > 0 k + 1 > k
1
k
<
1
k + 1

k+1
= 1
1
k + 1
> 1
1
k
=
k
Sugerencia: Deduzca cuales de las sucesiones del primer ejemplo son mono-
tonas crecientes, decrecientes (y cuales no son ni lo uno ni lo otro) y de condi-
ciones para tener monotona (y a que tipo corresponde) en el ultimo ejemplo.
5
3. Convergencia de Sucesiones
Este topico es realmente el meollo de este resumen de deniciones y teo-
remas, mas a un, es una clara bienvenida al calculo y a las maravillas que este
encierra (y que no todos conocen, dada su ceguera matematica . . . pobres!!).
Denicion 3.1 Diremos que una sucesion real {
n
}

n=1
converge a un valor
L R si y solo si se cumple la siguiente proposicion:
( > 0)(N N)(|
n
L| < , n > N)
Observacion: En el caso que una sucesion {
n
}

n=1
converja a L R
denotaremos a este n umero como:
lm
n

n
= L
y diremos que es el lmite de la sucesion {
n
}

n=1
.
Ejemplo: Todas las sucesiones constantes cumplen trivialmente esta
denicion. Sea > 0 y consideremos la sucesion {a}

n=1
, tomando L = a,
entonces |
n
L| = |a a| = 0 < . Claramente podemos considerar N 1.
Ejemplo Trascendental: Demostremos que la sucesion
_
1
n
_

n=1
con-
verge a 0. Para hacer esto, debemos suponer un > 0 y considerar la dife-
rencia:

1
n
0

1
n

=
1
n
n N
Debemos demostrar que este ultimo termino debe ser mas peque no que
para ciertos n > N N. Esta proposicion se sigue de inmediato, pues si
recordamos la propiedad arquimediana que establece:
Axioma 3.1 (Propiedad Arquimediana)
(x, y R
+
)(x < y)(n
0
N : n
0
x > y)
Entonces podemos hacer el siguiente truco: si 0 < < 1, escogemos un N N
tal que N > 1 (claramente esto es valido para n > N); si > 1, entonces
6
escogemos cualquier N N para tener que N > 1. En ambos casos se tiene
que:
1
n
< n > N
Por lo tanto se tiene que:
lm
n
1
n
= 0
Denicion 3.2 Diremos que un punto L es un punto de acumulacion del
conjunto de valores de una sucesion {
n
}

n=1
si y solo si se cumple que
cualquier intervalo abierto pinchado centrado en L (es decir, un conjunto
de la forma ]L a, L[]L, L + a[=]L a, L + a[\{L}, a R) contiene al
menos un punto del conjunto de valores de la sucesion.
Ejemplo: La sucesion {
n
}

n=1
cuyo termino general esta dado por:

n
=
_
1 +
1
n
si n es par
2
n
si n es impar
tiene exactamente dos puntos de acumulacion: 1 y 0 (vericar).
Sugerencia: Vericar que si L es punto de acumulaci on del conjunto de
valores de la sucesion {a
n
}

n=1
(y tomamos > 0), entonces se tiene que en el
intervalo ]L, L+[ existen innitos elementos del conjunto {a
n
}. Deduzca
que la cantidad de puntos de {a
n
} que estan dentro de dicho intervalo es
numerable.
Observacion: Notaron que la sucesion constante, a pesar de converger,
no tiene ning un punto de acumulaci on? Traten de vericarlo.
Teorema 3.1 Si el conjunto de valores de una sucesion no constante {
n
}

n=1
tiene un unico punto de acumulacion L R, entonces converge a este valor.
Demostracion 3.1 Este teorema se deduce trivialmente a partir de la deni-
cion de sucesion, pues si L es el unico punto de acumulacion del conjunto de
valores de la sucesion, entonces para > 0 se cumple
n
]L, L+[\{L} a
partir de un cierto n que depende de (que, sabemos, puede ser cualquiera),
por lo tanto, se tiene de inmediato que |
n
L| < .
7
Teorema 3.2 Sean {a
n
}

n=1
, {b
n
}

n=1
y {c
n
}

n=1
tres sucesiones reales, de las
cuales sabemos que:
lm
n
a
n
= lm
n
c
n
= L R
Si tenemos la desigualdad:
a
n
b
n
c
n
n > N N
Entonces necesariamente ocurre que:
lm
n
b
n
= L R
Demostracion 3.2 Sea > 0. Dada la desigualdad planteada como hipotesis,
podemos hacer el siguiente arreglo:
a
n
L b
n
L c
n
L
Como sabemos que {c
n
}

n=1
converge, tenemos que (para un cierto N N)
|c
n
L| < , en particular se debe cumplir que c
n
L < . Asimismo podemos
argumentar para asegurar que < a
n
L, por lo tanto, reemplazando en la
desigualdad inicial se tiene:
< a
n
L b
n
L c
n
L < |b
n
L| < , n > N N
Claramente este teorema (llamado de Acotamiento y usualmente conocido
como el Teorema del Sandwich) nos permite calcular algunos lmites con
cierta rapidez (pero con el peque no gran detalle de que no es poca la imagi-
nacion que se requiere).
Ejemplo: Calcular
lm
n
sin n
n
Utilizando la desigualdad

1
n

sin n
n

1
n
n N
Se tiene que por el teorema de acotamiento podemos deducir que
lm
n
sin n
n
= 0
8
Pues
lm
n

1
n
= lm
n
1
n
= 0
Finalmente echemos un peque no vistazo a un teorema de gran importan-
cia a la hora de vericar si una cierta sucesion tiene o no lmite. No debemos
dejar de lado que todos estos teoremas han sido solo casos particulares y no
representan en lo absoluto la generalidad de lo expresado en la Denicion
3.1.
Teorema 3.3 Toda sucesion real monotona y acotada converge.
Demostracion 3.3 Sea {a
n
}

n=1
una sucesion real monotona y acotada. Sin
perdida de la generalidad podemos considerar que la sucesion es creciente.
Entonces se debe cumplir que existe un

M R tal que la siguiente cadena
de desigualdades vale:
a
1
a
2
. . . a
n
a
n+1
. . . <

M
En donde esta explcitamente determinado el caracter de monotona y de
acotamiento de la sucesion. Ahora, convenientemente escojamos

M = M =
sup
nN
{a
n
} el cual existe pues todo subconjunto de R acotado superiormente
posee supremo (Teorema o Axioma del Supremo). Entonces, por la caracte-
rizacion del supremo se tiene que:
( > 0)(a {a
n
})(M < a)
Observemos que M es por denicion una cota superior del conjunto {a
n
},
entonces se tiene que M > a, a {a
n
}, es decir, para cualquier a {a
n
}
ocurre que:
< 0 < M a = < M a < = |M a
n
| = |a
n
M| <
Por lo tanto la sucesion converge y, mas a un:
lm
n
a
n
= sup
nN
{a
n
} = M R
9
Ejercicios Propuestos:
1. Demuestre, usando la denicion que
lm
n
a
n
= 0 |a| < 1 , n > N N
Si , son funciones conocidas, denidas en todos los reales y
acotadas en todo intervalo real cerrado nito, entonces:
lm
x
n
(x) + x
n
(x)
x
n
+ x
n
=
_

_
(x) si 0 < |x| < 1
(x)+(x)
2
si |x| = 1
(x) si |x| > 1
2. Demuestre, usando el Teorema de Acotamiento, que:
lm
n
sin
1
n
1
n
= lm
n
nsin
1
n
= 1
3. Verique estas tres famosas formulas:
El area de un crculo de radio r es r
2
.
El permetro de una circunferencia de radio r es 2r.
El volumen de una esfera es
4
3
r
3
. Sugerencia: Calcule el volu-
men como una sucesion de sumas parciales del volumen de discos
de igual altura generados al rotar rectangulos en torno al eje y.
Observacion: Recuerden que un nagono regular puede ser inscrito
en una circunferencia y, por ende, esta formado por la union de n
triangulos isosceles de lado (no basal) igual al radio de la circunferencia
que circunscribe al n-agono.
4. Si en el caso de la sucesion de sumas parciales consideramos la suma
geometrica, determine las condiciones sobre la base a de la exponencial
para que la sucesion converja. Verique que el lmite, en el caso que
converja, cumple:
lm
n
n

k=0
a
k
=
1
1 a
10
5. Verique que la sucesion dada por
__
1 +
1
n
_
n
_

n=1
Es creciente y acotada y, por lo tanto, converge. El lmite de esta suce-
sion es conocido como e y es un n umero trascendente (es decir, es un
n umero irracional que no es solucion de ninguna ecuacion polinomial
con coecientes enteros). Los primeros dgitos de este n umero son:
e = 2, 71828182845904523536028 . . .
11