Sucesiones: 1. Introducción

Teóricas de Análisis Matemático (28) – Práctica 3 – Sucesiones Teóricas de Análisis Matemático (28) – Práctica 3 – Sucesiones
Práctica 3
Sucesiones 1 2  2 2
1,5 
2
1,5
2
2
1, 5
1, 4167  1, 4118  2 1, 4118
1. Introducción 1 1 2
 1, 5 1, 5 
2
2 1, 5
 1, 4167
En la unidad anterior, hemos introducido el lenguaje con el que nos manejaremos en este curso. 2
Estudiaremos fenómenos que se pueden representar por medio de funciones numéricas y usaremos
los números reales para medir e introducir los conceptos en los que se basa el cálculo diferencial e Designamos con x1 a la medida de la base del primer rectángulo, que elegimos que fuera igual a 1,
integral, y que nos permitirá abordar los dos problemas del cálculo.
con x2 a lo que mide la base del segundo rectángulo, con x3 a la del tercero y así sucesivamente.
Las sucesiones son una clase especial de funciones con las que podremos preparar el camino para
formular y entender el concepto de límite, objetivo central de esta unidad. Entonces resulta:
Las sucesiones son objetos matemáticos muy sencillos que se apoyan en la ordenación de un 2 2 2
x1  x2  xn 
conjunto (finito o infinito) de números reales. Por ejemplo, Galileo observó y anotó cuidadosamente x1 x2 xn
x1  1 , x2   1,5 , x3   1, 4167 ,…., xn 1 
el espacio que en cada segundo, recorría una bolita al caer por un plano inclinado. Observando la 2 2 2
sucesión de números que obtuvo concluyó que el espacio recorrido en t segundos era proporcional Geométricamente se observa que los rectángulos se van aproximando a un cuadrado de área 2, por
al cuadrado del tiempo ( at 2 ) donde la constante a dependía de la inclinación del plano. lo cual las bases xn se van aproximando al lado del cuadrado de área 2, es decir xn  2 . ( xn se
Las sucesiones sirven, por ejemplo, para estudiar, representar y predecir los fenómenos que ocurren aproxima a 2 ).
o se miden en el tiempo, en forma intermitente. El lenguaje de las funciones y de los números reales
serán vitales para su comprensión y para la obtención de propiedades que nos permitirán el Parte del objetivo de esta unidad, será darle sentido preciso a esta idea de que una lista de números
desarrollo de los conceptos centrales del curso. (los xn en este caso) se aproximen a un límite ( 2 en el ejemplo que estamos tratando).
1.2. Ejemplos de sucesiones

1.1. Un problema a modo de presentación. La raíz cuadrada de 2 Consideramos los siguientes ejemplos:
El problema consiste en encontrar un algoritmo (una receta) que calcule la raíz cuadrada de un 1 1 1
1. 1, , , , ...
2 3 4
número dado (por ejemplo 2 ), utilizando sólo las cuatro operaciones básicas.
2. 1, 3, 5, 7, ...
Una solución al problema se basa en una idea geométrica: Informalmente, una
1 1 1 1 sucesión
3.  , ,  , ,...
2 4 8 16 es una lista ordenada e
Se construyen sucesivos rectángulos todos de área 2. La base de cada uno de ellos es el promedio de 1 2 3 4 infinita de números
4. , , , , ...
la base y la altura del anterior. 2 3 4 5 reales.
5. 0, 1, 0, 1, ...
6. 2,  4, 6,  8, ...
Área de Matemática – Ciclo Básico Común – Universidad de Buenos Aires 1 Área de Matemática – Ciclo Básico Común – Universidad de Buenos Aires 2
343 3
a4  
Nos interesará el “comportamiento a la larga” de cada lista de números. En otras palabras, nos 42 16
interesará saber si, a medida que avanzamos en la lista de números, éstos se parecen o aproximan a
un número determinado. Habrá que dar más precisión a esta idea. 353 32 9
a5   
52 25 25
Observemos por el momento, que una lista ordenada de números se puede describir con el lenguaje
De la misma forma, se obtiene el décimo término de la sucesión evaluando en su fórmula con el
de las funciones que vimos en el primer módulo, usando como conjunto “ordenador” a los números
valor n  10
naturales.
3103 37
a10    21,87
Definición: Una sucesión es una función a :    , se escribe a (n)  an . 102 100
Se lee “a sub n”. Indica el número real de la lista en la posición n.

1.3. Término general
Observemos la lista de sucesiones con las que comenzamos esta sección: Es la expresión de an para cada n. Analizamos cada una de las sucesiones de 1.2
1 1 4 1000 1 1 1 1
En la sucesión 1. a3  y a100  , en la sucesión 4. a4  y a1000  . 1. an  1, , , , ...
3 100 5 1001 n 2 3 4
Lo que interesará es el comportamiento de an para “valores grandes” de n. 2. an  2n  1 1, 3, 5, 7, ...
1 1 1 1 1
3. an  (1) n  , ,  , ,...
n 3 2n 2 4 8 16
3
Ejercicio. Dada la sucesión an  . Encontrar los primeros cinco términos de la sucesión y
n2 n 1 2 3 4
4. an  , , , , ...
dar el valor de a10 . n 1 2 3 4 5
Solución 0 si n es impar
5. an   0, 1, 0, 1, ...
El primer término se obtiene reemplazando en la fórmula de an , la variable n por el valor n  1 1 si n es par
6. an  (1) n 1 2n 2,  4, 6,  8, ...
313 1
a1  2  32 
1 9
Los siguientes términos se obtienen reemplazando la variable n por los valores 2, 3, 4 y 5

respectivamente.
Ejercicio. Tenemos la sucesión an cuyos primeros términos son
323 31 1
a2  2   1 1 1
2 4 12 1,1, , 2, ,3, , 4...
2 3 4
333 30 1 a) Encontrar el término 10 y el término 11.
a3    b) Encontrar el término general. ¿Cuáles son los valores de a100 y de a101 ?
32 9 9
Solución
Con lo trabajado hasta aquí, se pueden hacer los ejercicios 1 y 2 de la Práctica 3.
a) Como tenemos ocho términos de la sucesión, basta agregar tres términos, para llegar al término
10 y 11. Tenemos en cuenta el comportamiento que se infiere de los primeros términos y
destacamos en color los términos pedidos: 1.4. Representación gráfica
1 1 1 1 1 Como una sucesión es una función admite una representación gráfica. Veamos alguno de los
1,1, , 2, ,3, , 4, , 5, ...
2 3 4 5 6 ejemplos de sucesiones de 1.2:
b) Se observa que la sucesión sigue un “patrón” para las posiciones impares diferente al “patrón”
1 1 1
que sigue para las posiciones pares. Veamos esto. Sucesión 1. 1, , , , ...
2 3 4
1 1 1
Destacamos las posiciones impares: 1,1, , 2, ,3, , 4... 1
2 3 4 1
an 
1 1 1 n
Destacamos las posiciones pares: 1,1, , 2, , 3, , 4...
2 3 4
12
En el caso de las posiciones impares se tiene: 1
13 an  0
14 n
1 1 1
a1  1 , a3  a21  , a5  a2*21  , a7  a2*31  1n
2 3 4
1 2 3 4 n
1
En general: a2 n 1 
n 1
En el caso de las posiciones pares se tiene: 1 1 1 1
Sucesión 3.  , ,  , ,...
a2  1 , a4  a2*2  2 , a6  a2*3  3 , a8  a2*4  4 2 4 8 16
En general: a2 n  n
En síntesis, el término general de la sucesión se puede presentar como

1
k / 2 si k  2n an  (1) n 0
 2n
ak   2 14
 k  1 si k  2n  1
1 16
Cambiamos el nombre de 1 2 3 4 n
la variable para distinguir
1 8
los dos casos
Para calcular a100 reemplazamos en el término general teniendo en cuenta que 100  2  50 .
1 2
a100  50
Lo mismo hacemos para calcular a101 teniendo en cuenta ahora que 101  2  50  1 .
1
a101 
51
1 2 3 4 También se dice en tal caso que an  ( L   , L   ) para casi todo n (pctn). En general, una
Sucesión 4. , , , , ...
2 3 4 5 propiedad vale para casi todo n si vale para todo n salvo un número finito de valores de n. Se pone
pctn.
1
an Un análisis más detallado de la definición de límite se puede encontrar en la entrada Noción de
45 límite.
34
23
12 n
an  1
n 1 Es un buen momento para hacer los ejercicios 3 y 4 de la Práctica 3.
1 2 3 4 n 2.1. Sucesiones divergentes

No todas las sucesiones convergen a un límite L   .
2. Noción de límite La sucesión 2 de los ejemplos 1.2, diverge a más infinito (o tiende a más infinito), la sucesión 5,
oscila finitamente y la sucesión 6. oscila infinitamente.
Intuitivamente, una sucesión tiende a un valor determinado L si los valores de an están cerca de L
cuando n es grande. Un poco más precisamente: el error que se comete al aproximar L con an es
pequeño (menor que épsilon (  )) si n es bastante grande (más que n0 en el gráfico) Ejemplos de sucesiones que no convergen
 an  2n  1 tiende a más infinito.
0 si n es impar
 bn   oscila finitamente.
L 1 si n es par
 Idea geométrica
L  cn  (1) n 1 2n oscila infinitamente.
A partir de n0 la franja
L 
verde capta a todos los an
n0  an  2n  1 1, 3, 5, 7, ...
La definición precisa de límite es la siguiente: 2n 1
Se dice que an tiene límite L si, cualquiera sea   0 , existe un número natural n0 tal que si lim(2n  1)  
n 
n  n0 , entonces K Para todo K  0 existe

5
L    an  L   (o sea an  L   si n  n0 ) n0   tal que si n  n0 ,
3 2n  1  K
(en el sector verde)
1
Se escribe lim an  L o an  L , se lee “el límite de a sub n cuando n tiende a infinito es L”.
n 
1 2 3 n0 n

0 si n es impar
bn   0, 1, 0, 1, ... 3. Propiedades del límite
1 si n es par
La mayoría de las veces, el problema consistirá en calcular el valor de lim an . La definición no será
n 
útil para ello porque presupone conocer el valor de L, de modo que nos valdremos de propiedades y
diversos recursos algebraicos para poder determinar el valor del límite en los ejemplos que
lim bn no existe estudiemos. La definición de límite es imprescindible para poder obtener esas propiedades y para
1 n 
introducir casi todos los conceptos de la materia que se basan en esta noción. En la práctica no
En este caso se dice que
haremos un uso directo de dicha definición.
an oscila finitamente
Las siguientes propiedades se deducen de la definición de límite y nos servirán para desarrollar
1 2 3 4 técnicas que nos permitan calcular algunos límites.
3.1. Unicidad del límite
Si así fuera todos los an a

 cn  (1) n 1 2n 2,  4, 6,  8, ... L1
partir de n  n0 tendrían que
estar simultáneamente en
L2 las dos franjas y eso no es
Se dice que posible.
1 2 3 4 n0
cn tiende a infinito
6 (sin especificar el signo) o
Una sucesión no puede converger a dos límites distintos
que oscila infinitamente
2
1 2 3 4
3.2. Acotación de las sucesiones convergentes
4
Si an es convergente, entonces el conjunto A  an : n   es acotado
8 M Se elige   1 o cualquier otro.

Una vez que an queda dentro
L 1
de la franja verde para n  n0 ,
L es fácil encontrar cotas
L 1 superiores e inferiores de A.
M es cota superior y m es cota
m
inferior de A.
n0
3.3. Conservación de signo

3
1 2n 
Ejemplo. Calcular lim    .
Si an converge a un límite L mayor que cero, entonces la sucesión an es mayor que cero para n   n n 1
casi todo n. Es decir: Solución
Si lim an  L  0 entonces an  0 pctn Tenemos que
n 
1
lim 0 Sucesión 1 de los ejemplos 1.2.
n  n
Se elige   L 2 , de modo
2n n
LL 2 que L  L 2  L 2  0 lim  2  lim  2 1  2 Sucesión 4 de los ejemplos 1.2.
n  n 1 n  n  1
Esto asegura que la franja
L Entonces:
verde esté por encima del
LL 2 eje de las x. 3
 1 2n  3
Así an  0 si n  n0 lim     (0  2)  8
n  n n 1
n0
3n 2  2
Ejercicio. Calcular el lim
n  2 n 2  5n
3.4. Álgebra de límites Solución

En lo que sigue consideremos dos sucesiones convergentes El álgebra de límites requiere que las sucesiones involucradas sean convergentes a un número real.
an  a   y bn  b   Por ello, en este ejemplo, no podemos aplicar el álgebra de límites en forma directa ya que un
primer análisis de la sucesión nos dice que tanto numerador como denominador tienden a más
Hablando informalmente, para valores grandes de n los valores de an se parecen al número a,
infinito y el teorema de álgebra de límites se refiere a valores numéricos del límite. Se suele decir
mientras que los valores de bn se parecen al número b. Cabe preguntarse qué sucede cuando 
que estamos en presencia de una indeterminación en este caso, del tipo " " entendiendo este
realizamos con dichas sucesiones alguna operación elemental como suma o producto. En otras 
palabras, también informalmente hablando, podemos pensar que an es una aproximación de a y que símbolo como el cociente de sucesiones que tienden ambas a infinito. El nombre de
bn es una aproximación de b. Es esperable que an  bn sea una aproximación de a  b y que an  bn indeterminación es porque no hay, como veremos en los próximos ejemplos, una propiedad general
sea una aproximación de ab . que nos indique el valor del límite en una situación como esta.
El siguiente teorema recoge esta idea y resulta ser una herramienta eficaz para el cálculo de límites. Sin embargo, no hay que desesperar: hablando otra vez
Se parecen en “términos relativos”
informalmente, para valores grandes de n, (3n 2  2) se
Si, por ejemplo n  1000 resulta
Álgebra de límites. Si an  a   y bn  b   , entonces parece en “términos relativos” a 3n 2 así como
3n 2  2  3000 002 y 3n 2  3000 000
 an  bn  a  b (2n 2  5n) se parece a 2n 2 . En otras palabras, para
mientras que
 an  bn  ab . En particular k  an  ka si k   valores grandes de n podemos “despreciar” el término 2n 2  5n  2005000 y 2n 2  2000000
an a 2 en el numerador y el término 5n en el denominador
 Si b  0 entonces 
bn b frente a los términos 3n 2 y 2n 2 respectivamente. Para poner de manifiesto esta idea en forma
 an  a algebraicamente correcta, sacamos factor común, tanto en el denominador como el numerador, a
b n 2 y simplificando luego:
 Si a  0 entonces  an  n  ab
2 2 2
n 2 (3  2 ) 3 2 3 2
3n 2  2 n  lim n 3n 2  2 1 n 3
lim  lim Entonces lim  lim  0  0
n  2n 2  5n n  2 5 n  5 n  2n 3  5n n  n 5 2
n (2  ) 2 2 2
n n n
Factor común n 2 en Se simplifica el n4  1

el numerador y en el Calcular el lim
factor n 2 n  25n 2  n
denominador.
Ahora estamos en condiciones de aplicar el teorema de álgebra de límites ya que el numerador Solución
tiende a 3 y el denominador tiende a 2. 
Nuevamente estamos ante una indeterminación del tipo " " . Misma técnica que en los ejemplos
2 
3 2 anteriores (sacar factor común el término que va más rápido a infinito, tanto en el numerador como
3n 2  2 n 3
lim 2  lim
n  2n  5n n  5 2 en el denominador, simplificar y preparar para usar álgebra de límites)
2
n
1 1 1
n 4 (1  4 ) n 2 (1  4 ) 1 4
n4  1 n  lim n  lim ( n 2 )( n )
3n 2  2 lim  lim
Ejercicio. Calcular el lim 3 n  25n 2  n n  2 1 n  1 n  1
n  2n  5n n (25  ) 25  25 
n n n
 1
Solución
25
Valen las mismas consideraciones que en el ejercicio anterior. Estamos ante una indeterminación
 Sin embargo, en este ejemplo hay una pequeña sutileza. Si prestamos atención al último límite,
del tipo " " . Usamos la misma idea de sacar como factor común al término de mayor grado (que es
 1
4
1
el que crece más rápido) en el numerador y en el denominador para luego simplificar y ver si vemos que el primer factor ( n ) tiende a más infinito mientras que el segundo (
2 n ) tiende a
1
estamos en condiciones de aplicar el álgebra de límites. 25 
n
2 2 2 1
n 2 (3  2 ) 3 2 3 2 . Si bien no podemos aplicar el teorema de álgebra de límites que requiere que ambos límites
3n 2  2 n n 1 n
lim  lim  lim  lim 25
n  2n 3  5n n  3 5 n  5 n  n 5
n (2  2 ) n(2  2 ) 2 2 sean números, sí podemos enunciar un resultado ad hoc para este caso que es verdadero y que se
n n n
deduce a partir de la definición de límite:
Factor común n 2 en Se simplifica el Se prepara para
el numerador y n3 factor n 2 usar álgebra de
en el denominador. límites
Si an   y bn  L  0 entonces an bn  
Aplicado a nuestro caso, resulta

Se puede ahora aplicar álgebra de límites ya que
1
2 1 4
3 n4  1 2 n )  
1 n2  3 lim  lim ( n )(
0 y n  25n 2  n n  1
n 5 2 25 
2 2 n
n

Veamos un ejemplo más del tipo " "

n2  1  n
Por ejemplo, el producto de dos sucesiones, una de ellas que tienda a cero y la otra que tienda a
Calcular el lim infinito (“cero por infinito” o "0   " ), constituye también una indeterminación. Analicemos los
n  5n  2
siguientes ejemplos:
Solución
1 1
La diferencia con los ejemplos anteriores es que no es el cociente de dos polinomios. Sin embargo, an   0 , bn  n   : an bn  n 11
n n
haciendo un análisis intuitivo vemos que si despreciamos el 1 (dentro de la raíz) del numerador,
1 1 2
para valores grandes de n, éste se parece a 2n y si despreciamos el 2 del denominador nos queda an   0 , bn  n 2   : an bn  n  n  
n n
5n de modo que, siempre intuitivamente, el límite del cociente es 2/5. Como en los casos anteriores,
tenemos que hacer una cuenta que ponga de manifiesto esta idea intuitiva. Tal como lo hicimos 1 1 1
an   0 , bn  n   : an bn  n 0
previamente, sacamos factor común a n tanto en el numerador como en el denominador, n2 n2 n
simplificamos y vemos si el álgebra de límites es aplicable después de estas operaciones En estos observamos que no existe una propiedad que pueda predecir sobre un límite del tipo
algebraicas. "0   " .
1 1 Los límites de los siguientes “tipos”, aunque no son todos, constituyen indeterminaciones:
n( 1   1) 1 2 1
n2  1  n n2 n
lim  lim  lim 
n  5n  2 n  2 n  2 " " "    "
n(5  ) 5 
n n
Se saca factor común n 0
teniendo en cuenta cómo "0   " " "
0
opera la raíz cuadrada:
n algo  n 2  algo "()0 " "00 "
En todos los casos, hay que entender estos símbolos como el límite de la operación aritmética
Quedamos en condiciones de aplicar el álgebra de límites:
indicada en cada caso, entre dos sucesiones.
1 Como vimos, el álgebra de límites requiere que las sucesiones involucradas sean convergentes a un
1 1
n2  1  n n2 11 2
lim  lim   número real. Cuando esto no ocurre, a veces se presentan indeterminaciones. En cada caso hay que
n  5n  2 n  2 5 5
5 usar algún recurso algebraico que permita salvar la indeterminación y calcular el valor del límite.
n
Con lo visto hasta aquí se pueden hacer los ejercicios 5 y 6 de la Práctica 3.

Ejercicio. Calcular el lim n
n 
 n5  n 
3.5. Indeterminaciones Solución
 No se puede aplicar el álgebra de límites, porque de un primer análisis surge que n   y
Los ejemplos precedentes son todos del tipo " " . Sin embargo, los resultados fueron variados

n  5  n es de la forma “infinito menos infinito” que constituye una indeterminación en sí
( 0,   y 5 2 ). En otras palabras no podemos predecir el valor del límite en estos casos en forma
misma.
general. Es necesario, en cada caso, aplicar alguna técnica algebraica que permita “salvar” la
Para salvar la indeterminación y poder calcular el límite, multiplicamos y dividimos por el
indeterminación y calcular el límite. No es el único tipo de indeterminación con el que nos vamos a
conjugado de n  5  n :
encontrar.
n5  n 5 n Cada una de estas afirmaciones se puede demostrar a partir de la definición de límite. Haremos uso
n  n5  n  n   n5  n  n5  n

n5  n de ellas libremente.
El producto por conjugado Hasta aquí están en condiciones de resolver los ejercicios 7 y 8 de la Práctica 3.

Cuando aparecen raíces " "

cuadradas es útil usar la
identidad 3.6. “Cero por acotado”
2 2
( A  B )( A  B )  A  B Si bien los límites del tipo "0   " resultan ser una indeterminación y, por lo tanto, nada podemos
( n  5  n )( n  5  n )  n  5  n  5
para eliminarlas. decir a sobre el valor del límite sin salvar tal indeterminación, sí se puede decir algo cuando
estamos en presencia de un producto de una sucesión que tiende a cero por otra que está acotada. En
Seguimos teniendo una indeterminación, ya que el numerador tiende a más infinito y el estos casos se obtiene una sucesión que tiende a cero. Es decir
denominador también. Pero estamos mejor que antes. Sacamos factor común n en el numerador y
en el denominador: Si an  0 y bn  K entonces an bn  0
5 n n5 5
 
n5  n 5 5
n( 1  1) 1 1 n 
n n 
Ejemplo: Calcular el lim 1   ( 1)
n 1
n  n 1
 
Ahora estamos en condiciones de aplicar el álgebra de límites: el numerador es igual a 5, la raíz del
denominador tiende a 1. Entonces La expresión (1) n1 vale 1 o 1 según la paridad de n. En particular está acotada: (1) n1  1 . Por
5 5  n   1 
lim n
n 
 n  5  n  lim  n  5

2
otra parte, lim 1 
n  
  lim 
n  1 n n  1

  0 . Usando la propiedad “cero por acotado” se obtiene

1 1
n
 n  n 1
lim 1   ( 1)  0
3.5.1. Parecen pero no son determinaciones n   n 1
En ocasiones no es posible aplicar el álgebra de límites porque los límites involucrados no son 7 cos( n3  5)
Ejercicio. Calcular el lim
finitos, sin embargo no estamos ante una indeterminación. Tuvimos esa situación en un ejemplo del n  n2
tipo "   L " con L  0 . A continuación damos algunas situaciones más (incluyendo esta) donde se
puede saber el límite a pesar de que los límites involucrados no sean todos números reales. Solución
 n  En el Cuaderno de Análisis Matemático “Funciones” vimos que la función coseno tiene como
"()  L   " si L  0 Por ejemplo: lim n    
n   3n  1  imagen al intervalo  1,1 . Es decir que vale
n2 1  cos( x)  1 cualquiera sea el número real x
"()     " Por ejemplo: lim  n  
n  n  1
En particular 1  cos(n  5)  1
3
"()  oscila finitamente   " Por ejemplo: lim (n  cos(n))  
n 
Si multiplicamos por 7 esta última desigualdad nos queda
1
0 7  7 cos(n3  5)  7
"  0" Por ejemplo: lim n  0
 n  n 2  1
En otras palabras, la expresión 7 cos(n3  5) está acotada. Entonces el límite que nos piden calcular
n
 n  lo podemos escribir como un producto para poder usar la propiedad recién enunciada:
"(0)   0" Por ejemplo: lim  2  0
n   n 1
lim
1
(7 cos(n3  5)) 3.7.1. Sándwich en el infinito
n  n2
La propiedad del sándwich se puede generalizar de la siguiente forma.
Tiende a Está acotada
cero Si an  bn y bn   entonces an  
1
Así pensada, tenemos una sucesión que es producto de una que tiende a 0 ( ) por otra que está
n2
acotada ( 7 cos(n3  5) ). Entonces, podemos afirmar que 3n 2  1
Ejemplo: Calcular el lim an sabiendo que an  para todo n.
n  100n  5
7 cos(n3  5) 3n 2  1
lim 0 Calculamos el lim . Para ello, dividimos por n numerador y denominador:
n  n2 n  100n  5
1
3n 
3n 2  1 n   . Entonces lim a   .
lim  lim n
3.7. Propiedad del sándwich n  100n  5 n 
100 
5 n 
n
Si dos sucesiones convergen a un mismo límite L, entonces, cualquier sucesión comprendida entre
ambas, también converge a L. Están en condiciones de resolver el ejercicio 9 de la Práctica 3.
Si bn  an  cn entonces lim bn  lim an  lim cn

n  n  n 
4. Sucesiones monótonas
 1 
Ejemplo: Calcular el lim  3  cos(3n  1)  Las sucesiones son funciones que tienen por dominio a los números naturales. Estudiaremos
n   n  aquellas sucesiones que son funciones crecientes o decrecientes de su variable natural. Es decir:
an 1  an para (casi) todo n. En tal caso será decreciente o
El coseno es una función que toma valores entre 1 y 1. Entonces vale
an 1  an para (casi) todo n. En tal caso será creciente.
1  cos(3n  1)  1 entonces
En ambos casos decimos que se trata de una sucesión monótona.
1 1 1 Otra forma
  cos(3n  1)  entonces La importancia de las sucesiones monótonas radica en que siempre tienen límite, ya sea éste finito o
n n n
 1  infinito. Antes de enunciar con precisión este resultado, hacemos una observación que será de
1 1 1 lim  3  cos(3n  1)  
3  3  cos(3n  1)  3  n   n  utilidad en lo que sigue.
n n n
1 
 3  lim  cos(3n  1)   3
 1  1 n   n  Si la sucesión es de términos positivos se tiene que:
Ahora bien: lim  3    lim  3    3 . Entonces
n  n n  n   an 1
Tiende a Está acotado  1 equivale a an decreciente.
an
 1  cero
lim  3  cos(3n  1)   3 an 1
n   n   1 equivale a an creciente.
an
Ejemplo. Determinemos si las sucesiones an  (0,8) n y bn  (0,8) n son monótonas.

Solución De forma análoga, hay una versión del teorema cambiando creciente por decreciente, acotada
La sucesión an  (0,8) n tiene todos sus términos positivos. Sus primeros términos son: superiormente por acotada inferiormente y lim an   por lim an   .
n  n 
a1  0,8 , a2  0,64 , a3  0,512 ... Aparentemente es decreciente, pero no alcanza con visualizar tres
términos (ni un millón) para concluir que es decreciente. Sirve para hacer una conjetura. Para En otras palabras, el teorema dice que la sucesión no puede oscilar: o tiene límite finito o tiende a
demostrar que la misma es efectivamente cierta usamos la observación precedente infinito (más o menos según sea creciente o decreciente).
an 1 (0,8) n 1 El teorema es de los llamados teoremas de existencia, esto L  sup an : n  
  0,8  1
an (0,8) n es, asegura que el límite existe (en el caso de acotación)
pero no dice cuánto vale.
Recordemos que
El gráfico ilustra
An  Anm Aunque pueda parecer poca cosa, el sólo hecho de saber el primer caso
Am que el límite existe nos permitirá en varios casos poder del teorema
calcularlo efectivamente.
an 1 La demostración del teorema es un buen ejemplo de la
Entonces, como  1 , la sucesión resulta decreciente . lim an  L
an necesidad de contar con el axioma de completitud de los n 
números reales. La podés ver en la entrada Teorema de las sucesiones monótonas.

En el otro caso, la sucesión no es de términos positivos pues bn  (0,8) n va cambiando de signo
según sea n par o impar. Los primeros términos de bn son b1  0,8 , b2  0,64 , b3  0,512 ... . Se
observa que bn  0 si n es impar y que bn  0 si n es par. Podemos concluir entonces que la sucesión 4.2. Algunos ejemplos importantes
bn no es monótona.
Estudiaremos algunos ejemplos importantes de sucesiones, no sólo por los ejemplos en sí, sino por
Este ejemplo nos muestra que no todas las sucesiones son monótonas y que éstas constituyen una las técnicas usadas para calcular sus límites. Haremos uso del teorema recién enunciado sobre
clase particular de sucesiones. El siguiente teorema nos dice cómo se comporta el límite de una sucesiones monótonas.
sucesión monótona.
an  r n , 0  r  1
1 1
4.1. Teorema sobre sucesiones monótonas Si experimentamos con algún caso particular ( r  , an  , por ejemplo) nos podemos convencer
2 2n
El estudiar una clase particular de sucesiones nos permite decir más sobre dicha clase. Este es un de que la sucesión tiende a 0 ya que 2n crece a más infinito. Veamos cómo este convencimiento se
recurso habitual de la matemática: “si no puedes decir mucho sobre un conjunto de objetos (en puede plasmar en una demostración.
nuestro caso las sucesiones), toma un subconjunto (las sucesiones monótonas) y trata de decir algo
an 1
más sobre ellos”. La sucesión es de términos positivos. Estudiamos el cociente a los efectos de compararlo con
an
Si an es una sucesión creciente puede ser que el conjunto A  an : n   esté acotado superiormente 1. Se tiene que
o que no lo esté. Para cada uno de estos dos casos se tiene el siguiente teorema.
an 1 r n 1
 n  r  1 para todo n.
an r
Entonces, la sucesión es decreciente. Además, dijimos que es de términos positivos, por lo que
a. Si A  an : n   está acotado superiormente, entonces existe lim an  L   .
n  0  an , es decir, está acotada inferiormente.
b. Si A  an : n   no está acotado superiormente, entonces lim an   .
n 
El teorema nos dice entonces que existe el límite lim an  L  0 . Apostamos a (“conjeturamos” es
n  Recordar
n
más apropiado) que L  0 . 5n  5 
Estamos
 
7n  7 
razonando por el
Pues bien, veamos qué pasa si fuera L  0 . En tal caso, podemos aplicar el absurdo 2n 2n
5n (1  n ) n 1 n
an 1 5n  2 n 5  lim  5  5
teorema de álgebra de límites al cociente y obtenemos la siguiente lim  lim  
n 7 n  2 n n 2 n  7  2
an 7 (1  n ) 1 n
7 7
contradicción:
Podemos usar ahora álgebra de límites:
Por un lado:
n
lim an 1 L 5 5
a Por un lado    0 pues 0   1
lim n 1  n  1 , 7 7
n  a lim an L
n
n 
2n
1 n
lim a  lim an  L Por el otro 5n  1  1 pues  2   0 y 2  0
n n 1  
n 2
1 n 1 5 7n
7
2
0 1
Por otro lado 5
an 1 Entonces
lim  lim r  r
n  an n 
2n
n 1 n
Como el límite es único, debe ser 1  r . Pero r  1 . ¡Contradicción! 5n  2 n 5 5  0 1  0
lim  lim  
n 7 n  2 n  7  2
1 n
7
Luego no queda otra que L  0 . Es decir
Es decir:
0  r  1  lim r n  0
n  5n  2 n
lim 0
n 7 n  2
Con una cuenta similar se obtiene que si
r  1  lim r n  
n 
rn
bn  , r 1
n
5n  2 n Otra vez tenemos una sucesión de términos positivos. Estamos ante una indeterminación del tipo
Calcular el lim
n  7n  2 
“ ”. Si tuviéramos que conjeturar un resultado, habría que decidir quién va “más rápido” a más
Solución 
infinito, ¿el numerador o el denominador? Si fuera r  2 , los primeros términos serían:
 8 32
Estamos ante una indeterminación del tipo " " . En el numerador, el término que “tiende más 2, 2, , 4, ,.... . Aparentemente va creciendo y nada la detiene…
 3 5
rápido” a más infinito es 5n , en el denominador es claramente 7 n . Pongamos esta idea de
bn 1
manifiesto sacando como factor común estos términos en el numerador y el denominador Calculamos el cociente y lo comparamos con 1 como en el ejemplo anterior.
bn
respectivamente
Se llega a la contradicción: r  1 cuando teníamos de movida que r  1 . Esta contradicción proviene

Recordemos que
rn rn
A de suponer que la sucesión creciente bn  está acotada superiormente. Por lo tanto bn  no
B  AD n n
r n 1 C BC
está acotada superiormente. El teorema nos dice entonces que
bn 1 n  1 D
n
 n r
bn r n 1 rn
r  1  lim  
n n n
(*) La exponencial r n
Volveremos a usar esta va más rápido que n
igualdad Con una cuenta similar se obtiene que
a más infinito si
r 1.
0  r  1  lim nr n  0
Observamos que: n
1) r  1 Es dato Con una demostración análoga a la precedente, vale que

rn
r  1  lim   y que 0  r  1  lim n k r n  0
La exponencial r n n n k n
n n 1
2) 1  va más rápido que
n 1 n 1 1 1 cualquiera sea k   .
n n k a más infinito si
r 1.
n n 1
3) El producto r  1 para casi todo n. r  1 si n 
n 1 n 1 r 1
Ejemplo. Calcular lim (0,9) 2n n100
n
Solución
rn No tenemos más que aplicar el resultado precedente
Entonces la sucesión bn  es creciente. El teorema de las sucesiones monótonas nos dice que si
n
está acotada superiormente tiene límite finito, caso contrario, tiende a más infinito.
(0,9) 2 n n100  (0,81) n n100
Supongamos que esté acotada superiormente.
Otra vez, razonamos por
 
n
En tal caso lim bn  L  0 y se puede usar el álgebra de límites en la (0,9) 2 n  (0,9) 2  (0,81) n
n  el absurdo
expresión (*) y obtener: Como 0  0,81  1 resulta
Por un lado, lim (0,9) 2 n n100  0
n
bn 1 L
lim  1
n  bn L 4n 1  n 2
Ejemplo. Calcular lim
n 22 n  n 1
y, por otro lado,
Solución
bn 1 n
lim  lim r r 
n  b n  n  1
n Es una indeterminación del tipo " " . En el numerador, el término que “tiende más rápido” a más

infinito es 4n1  4  4n , en el denominador es 22n  4n . Pongamos esta idea de manifiesto sacando
como factor común 4n en el numerador y el denominador
n2 n2 n2 n
4n (4  n ) 4 n lim n 7 n n  n 2  lim n 7 n n(1  )  lim n 7 n n n 1  n
4n 1  n 2 4 4 4 n n 7n n n 7
lim  lim  lim  4
n 22 n  n  1 n n n 1 n n 1 1
4 (1  n  n ) 1 n  n
4 4 4 4 También se La raíz es
n2 1
n podía sacar distributiva con
 n2    0 factor común respecto al
4n 4
4n 1  n 2 7n . producto.
Es decir nlim 4 n 1
n
 22 n  n  1  n   0
4n 4
1 Vamos a aplicar álgebra de límites al producto que nos quedó. Para ello analizamos cada uno por
 0 separado:
4n
n 1
Por un lado, 7n n  n 7n n n  7 n n  7 n
7 n  (7 n ) n 7
n
cn  n
n
Por otro lado, n 1  1 n
rn 7n 0
Nos apoyaremos en que lim   ( r  1) . 7n
n n
Entonces
Observemos en primer lugar que
n
lim n 7 n n  n 2  lim n 7 n n n 1   7 1  7
cn  n n  1 para todo n. n n 7n
Vamos a probar que Es decir nlim

n n
7 n  n2  7 .

lim n  1 .
n
n 
4.3. El número e
Cualquiera sea   0 , basta probar que
n
 1
1  n n  1   para casi todo n. en  1  
 n
Llamamos r  1    1 y la desigualdad a probar es equivalente a probar que
Esta sucesión ejemplifica un nuevo tipo de indeterminación "1 " , siempre entendiendo este símbolo
n  (1  ) n  r n para casi todo n. como una sucesión que tiende a 1 elevada a una sucesión que tiende a infinito.
rn rn Sin pretender dar una demostración, mostraremos que en es creciente ( en1  en ) y acotada ( en  K ).
Es decir  1 para casi todo n. Pero sabemos que   pues r  1 . Entonces, es seguro que
n n Aceptados estos dos hechos, el teorema de sucesiones monótonas nos asegurará que la sucesión
rn converja a un límite finito.
 1 para casi todo n. Luego
n Para visualizar que en es creciente y acotada recurriremos al gráfico de la función
n
lim n  1 f ( x)  log(1  x) para valores positivos de la variable x. Más precisamente, fijamos la atención en
n 
1 1
x1  y x2  .
Ejemplo. Calcular lim 7 n  nn n 2 n 1 n
n Esto ocurre por
Se observa que la recta verde
Solución la concavidad
tiene pendiente mayor que la recta f( )
1
del gráfico n
Si hacemos un análisis intuitivo, el término 7 n n dentro de la raíz enésima, es el más relevante azul. Estas dos rectas pasan por el f(
1
)
n 1
frente al otro término n 2 . Una vez más ponemos de relevancia la idea intuitiva sacando este término origen y lo unen con los puntos
como factor común del gráfico ( x1 , f ( x1 )) y
1 1
Área de Matemática – Ciclo Básico Común – Universidad de Buenos Aires 27 Área de Matemática – Ciclo Básico Común – Universidad de Buenos Aires n 1 n 28
( x2 , f ( x2 )) respectivamente. Esta observación se traduce en la desigualdad El teorema de las sucesiones monótonas, nos asegura que existe
n
 1   1  1
log 1   log 1   lim 1    e
 n 1   n n  n
1 1
n 1 n El número e, valor límite de la sucesión en es un número muy importante de la matemática que
Es decir, aparece en diversas situaciones. Es un número irracional que está entre 2 y 3. Más precisamente, su
expresión decimal aproximada es e  2,718281...
n
 1
Conocer el límite de 1   nos permite calcular el límite de otras sucesiones con la misma
n  
“pinta”. Para ver más detalles ir a la entrada el número e.
 1   1
(n  1) log 1    n log 1  
 n 1  n
Recordar n 1
O bien,  2  2
k log a  log a k Ejemplo. Calcular lim 1  
n  n 1
 n 1  1  n 
1  
log 1     log  1    Solución
 n  1    n  
n 1
Estamos ante una indeterminación del tipo "1 " . Observemos, además, que si llamamos an  ,
Como el logaritmo es una función creciente la desigualdad vale para las expresiones que están entre 2
corchetes. Es decir podemos escribir el límite a calcular como
n 1 n an
 1   1  1 
1    1   lim 1   donde lim an  
 n 1  n n
 an  n
Esto muestra que la sucesión en es creciente. Este límite, con un tratamiento similar al realizado para el caso an  n , tiende al número real e. De
Para “ver” que además está acotada, también apelamos al gráfico de f ( x)  log(1  x) y observamos modo que, en general vale
que las pendientes de las rectas de colores (sean azules o verdes) son todas menores que la an
 1 
pendiente de la recta roja. lim 1    e si lim an  
n
 an  n
Si tal pendiente es m está observación se traduce en la desigualdad
1
Es equivalente decir, cambiando bn  que
 1 an
log 1  
 n m
1 1
lim 1  bn  bn  e si lim bn  
n n n
Es decir, Haremos uso de estos dos resultados sin más justificaciones

n
por ahora.
 1 
log 1   m Cuando estemos ante una indeterminación del tipo "1 " , la
 n   La estrategia será
Recordar
estrategia será “llevar” por medio de transformaciones (algo)
y  10 x  1 
Con lo cual, algebraicas, el límite a calcular a una de estas situaciones. 1    e si algo  +
es creciente  algo 
n
 1 m
1    10  K
 n
n 1 n2 1
 2 
Ejemplo. Calcular el lim 1    2 n 2  n  1  3n  2
n  n2 Ejemplo. Calcular el lim  2  .
n
 2n  5 
Solución
Solución
Es una indeterminación del tipo "1 " . Utilicemos la estrategia recién propuesta. Indicamos en cada
igual, lo que estamos haciendo (la táctica) para poder calcular el límite Es una indeterminación del tipo "1 " . Escribimos la base como 1 + algo:
2 Para compensar que 2n 2  n  1 (2n 2  5)  ( n  1  5) n4

 n 1 n 1

( n 1)
hicimos aparecer en el  1 2
 
n 1 2n 2  5 2n 2  5 2n  5
n 1   2  exponente “algo”
 2   1    1  
1    1 
n 1
   1 
n 1
  1 Sumamos y restamos 5 Dividimos cada
 n 1      ponemos y
algo para que en el paréntesis por la
 2   2  
 mantenemos lo que ya numerador aparezca la expresión del
Preparamos la base como estaba misma expresión del denominador.
Hacemos “aparecer” en denominador
 1 
1   el exponente “algo”
 algo  para poder decir que el
El exponente queda igual corchete tiende a e. Observemos que, como era de esperar, lo que quedó como “algo” tiende a cero:
1 4
Si bien la expresión que quedó tiene un aspecto temible, si la miramos con optimismo, podemos ver 
n4 n n2  0

que lo que está entre corchetes es del tipo 2n  5 2  5
2
an n2
 1 
lim 1   con lim an   Luego, hacemos aparecer en el exponente el inverso multiplicativo de “algo” para transformar el
n
 an 
n
límite en límites conocidos
n 1
  2 ( n  4) ( n 2 1)
 1  n2 1  2 n2 5  (2 n2  5) (3n  2)
Sabemos en estos casos que 1   e  2n2
 n  1  3n  2  n  4  n4  ?
n 1     1  2
  2  
 2   2n  5  
2n  5 

 
Por otra parte, si concentramos la atención en lo que quedó en el exponente por fuera del corchete,
vemos que tenemos una sucesión que sabemos atacar. e
2 La sucesión que queda entre corchetes, tiende a e. Analizamos lo que quedó en el exponente, por
2
2 2n  2 n 2 fuera del corchete
(n  1)  
n 1 n 1 1 1
4 1 4
n 1  2  3
(n  4)(n 2  1) n3  4n 2  n  4 n n n 1
  
De modo que podemos usar álgebra de límite: la base (lo que está entre corchetes) tiende al número (2n 2  5)(3n  2) 6n3  4n 2  15n  10 6  4  15  10 6
real e y el exponente tiende a 2, entonces n n 2 n3
2 
n 1 Nuevamente, estamos en condiciones de aplicar el álgebra de límites y concluir que

lim 1    e2
n  n2 n2 1
 2 n 2  n  1  3n  2 1
lim  2  e 6 6e
n
 2n  5 
cos(n  1) 
2 n 5 Este ejemplo sirve para dar un criterio que será muy útil para el cálculo de límites. Se quiere

Ejemplo. Calcular el lim 1   calcular el lim an .
n  n2  4  n
Solución
Criterio de Cauchy. Si lim n an  L vale que:
Es una indeterminación del tipo "1 " pues n
cos(n  1) 1 Si 0  L  1 entonces lim an  0 .

n
 2 cos(n  1)  0
n2  4 n 4 Si L  1 o es más infinito entonces lim an   .
n
Tiende a cero Está acotado Si L  1 entonces el criterio no sirve para decidir el lim an .
n
Ya tenemos la base escrita como 1 + algo. Transformamos el exponente como lo venimos haciendo
en los límites de este tipo:
n
cos( n 1) 1 2
 n2  4  n2  4
(2 n 5) Ejemplo: Calcular lim   
2 n 5 n 2 n  
 cos(n  1)   cos(n  1)  cos( n 1) 
1     1    ?
 n2  4  n2  4  Aplicamos el criterio de la raíz enésima:
 
n
1 2 1 2 1
e
n
      1
2 n 2 n 2
Analizamos lo que nos quedó en el exponente: El criterio dice entonces que
2 5 n
 1 2
cos(n  1) 2n  5 n n 2 cos(n  1)  0 lim     0
(2 n  5)  co s( n  1)  n  2 n 
2
n 4 2
n 4 4
1 2
n
Está acotado
En la entrada Criterio de Cauchy se puede ver una demostración de este criterio.

0
Entonces, podemos concluir que
2 n 5
 cos(n  1) 
lim 1 
n  n2  4 
  e0  1 6. El Criterio de DÁlembert o del cociente
an 1
Se basa en la idea que usamos en los primeros ejemplos donde estudiamos el cociente y lo
Están en condiciones de resolver los ejercicios 9 y 10 de la Práctica 3. an
comparábamos con 1.
5. El Criterio de Cauchy o de la raíz enésima Se quiere calcular el lim an . El criterio de DÁlembert se enuncia como sigue
n
n
Hemos visto que r tiende a 0 si r está entre 0 y 1 y tiende a más infinito si r es mayor que 1. Se an 1
Criterio de DÁlembert. Si lim  L vale que
puede extender fácilmente este resultado para valores negativos de r diciendo que n an
r n  0 si 1  r  1 Si 0  L  1 entonces lim an  0 .
n
n
r   si r  1 Si L  1 o es más infinito entonces lim an   .
n
Si L  1 entonces el criterio no sirve para decidir el lim an .

n
x2
Si 1 entonces lim an  0
n3 9 n x2
 1  x 2  9  3  x  3
Ejemplo. Calcular el lim 9
n n ! 2
x
Si 1 entonces lim an  
9 n
Es decir,
n !  1 2  3...( n  1)  n
Aplicamos el criterio del cociente: x 2 n (n  1) 2
Si 3  x  3 entonces lim 0
n  9n
(n  1)3 1 x 2 n (n  1) 2
n 2 (1  ) 2 Si   x  3 ó 3  x   entonces lim  
an 1 (n  1)! (n  1)3 n ! (n  1)3 n ! (n  1) 2 n  1 (1  1 ) 2  0 n  9n
    
an n3 (n  1)! n3 (n  1)n ! n3 n3 n3 n n
El criterio no sirve cuando x  3 ó x  3 lim n an  1  x 2  9
n! n
Si x  3
n3
Como 0  1 , el criterio dice que nlim 0
 n! (3) 2 n (n  1) 2 9n (n  1) 2
an    (n  1) 2  
9n 9n
Observe que, en general, el límite de cociente de DÁlembert no coincide (como ocurre en este
ejemplo) con el límite de la sucesión original porque se trata de sucesiones distintas. La misma cuenta vale para x  3 .
En la entrada Criterio de DÁlembert se puede encontrar una demostración del mismo. En síntesis,
x 2 n (n  1) 2
Si 3  x  3 entonces lim 0
n  9n
Pueden resolver los ejercicios 11 y 12 de la Práctica 3.
x 2 n (n  1) 2
Si   x  3 ó 3  x   entonces lim  
n  9n
x 2 n (n  1) 2
7. Subsucesiones
Ejercicio. Hallen todos los valores de x   para los cuales la sucesión an  tenga
9n Hemos visto que algunas sucesiones carecen de límite
un límite finito. En cada caso, calcular lim an finito o infinito. Es el caso de las sucesiones que oscilan
n Subsucesiones
finitamente o infinitamente. Comprobar que una sucesión
Solución Tienen otras utilidades. Por ejemplo,se
no tiene límite en forma rigurosa puede resultar difícil
puede probar (ver entrada
Aplicamos el criterio de la raíz enésima: con sólo la definición de límite ya que hay que descartar Subsucesiones) que toda sucesión
todo posible candidato a ser el límite de la sucesión. acotada tiene una subsucesión
La estrategia convergente y esto resulta de gran
Para resolver este problema será útil introducir la idea de
Aplicar el criterio de la raíz
2n 2 2n 2 2 subsucesión. importancia para el desarrollo del
x (n  1) x (n  1) x La táctica
n an  n   cálculo.
9n 9 9 Si lim n an  1 resultará lim an  0 Consideremos una sucesión de números reales:
n n
n 2
(n  1)  1 Si lim n an  1 resultará lim an   a1 , a2 , a3 , a4 , a5 , a6 ,...., an , ...
n n
El caso igual a 1 lo trataremos en particular.
Con dicha sucesión se puede realizar de muchas maneras la siguiente construcción: se suprimen de
la sucesión una cantidad finita o infinita de términos de manera que queden infinitos términos. Los Proposición. Sea an una sucesión de números reales. Entonces an  L sí y sólo si toda
que quedan forman una nueva sucesión que volvemos a numerar. Por ejemplo: subsucesión bk  ank de an converge a L (L puede ser finito o infinito).
Si sacamos el primer término nos queda la nueva sucesión:
a2 , a3 , a4 , a5 , a6 ,...., an , ...
El cuantificador “toda subsucesión” la hace poco práctica para usarla para calcular límites. Pero
que volvemos a numerar b1 , b2 , b3 , b4 , b5 , ...., bn , ... de modo que bn  an1 . Esta nueva sucesión resulta alcanza con que dos subsucesiones tiendan a límites diferentes para que la sucesión original no sea
ser una subsucesión de la primera. convergente.
Si, en cambio, sacamos los infinitos términos impares, nos quedan los infinitos términos pares
a2 , a4 , a6 , a8 , a10 ,...., a2 n , ... de modo que si volvemos a numerarla b1 , b2 , b3 , b4 , b5 , ...., bn , ... resulta
2 si n impar
ser bn  a2n . Como antes, se dice que a2n es una subsucesión de an . Ejemplo. Probemos que la sucesión bn   no tiene límite.
6 si n par
Solución
Una subsucesión de an es una sucesión bk  ank donde n1  n2  n3  n4  n5  n6  ....  nk  ... es
Consideremos la subsucesión de los términos pares y la subsucesión de los impares:
la nueva numeración.
2, 6, 2, 6,…
b2n  6 y b2 n 1  2
Dada la sucesión an cuyos primeros términos son 2, 4, 6, 4, 2, 4, 6, 4, 2,… escribir el término Es inmediato que b2n  6 y que b2n1  2 . Como estos límites son distintos, se concluye que la
general de a2n y de a2n1 . Determinen si alguna de las dos subsucesiones es convergente. sucesión bn no tiene límite.
Solución
a2n es la subsucesión de los términos pares. Los “iluminamos” con azul para poder visualizarlos:
2n  1  n 
2, 4, 6, 4, 2, 4, 6, 4, 2, Ejemplo. Demostrar que la sucesión an  cos   no tiene límite.
5n  3  2 
Claramente se observa que a2n  4 para todo n. De modo que, al ser una sucesión constante, resulta Solución
convergente. A la sucesión an se la puede ver como el producto de dos sucesiones an  bn  cn .
a2 n 1 es la subsucesión de los términos impares. Los destacamos con rojo.
1
2
2n  1 n2.
2, 4, 6, 4, 2, 4, 6,… La primera de ellas bn  
5n  3 5  3 5
Vemos que esta subsucesión se obtiene sacando todos los 4 de la sucesión. Si hacemos eso queda 2, n
6, 2, 6, 2, … de modo que
 n 
La segunda cn  cos   es una sucesión que oscila finitamente. Sus primeros términos son
2 si n impar  2 
bn  a2 n 1  
6 si n par
  3   5 
cos   , cos( ) , cos   , cos(2) ,cos   , cos(3) , ...
que no resulta convergente. Pero, ¿cómo probar que no es convergente? 2  2   2 
El siguiente resultado, que se deduce directamente de la definición de límite, vendrá en nuestra Es decir,
ayuda.
0 ,  1 , 0 , 1 , 0 ,  1 , ...
que parece no tener límite.
No podemos aplicar álgebra de límites, porque este teorema exige la existencia de límite de ambas A estas sucesiones se las llama sucesiones recurrentes y requieren, muchas veces, un tratamiento
sucesiones. Además no serviría para ninguna conclusión. distinto del que le venimos dando a las sucesiones.
Pero sí es de utilidad la proposición precedente sobre subsucesiones. Por un lado, la proposición nos an 1 n  1
2n  1 2 Ejemplo. Estudiemos la convergencia de la sucesión definida como a1  5 ,  para
dice que cualquier subsucesión del primer factor bn  tendrá el mismo límite igual a . an 3n
5n  3 5
todo n  1 .
 n  Solución
Por otro lado, si elegimos dos subsucesiones del segundo factor cn  cos   con distinto límite la
 2 
proposición nos asegurará que la sucesión producto an  bn  cn no tiene límite. La sucesión viene servida para aplicar el criterio del cociente:
an 1 n 1 1
lim  lim  1
Definida la estrategia, vayamos en búsqueda de estas subsucesiones que resolverán el problema. n  an n  3n 3
 n  Entonces
Esto no es difícil observando el comportamiento de cn  cos   . Mientras que los términos
 2  lim an  0
impares son todos iguales 0, los términos múltiplos de 4 son todos iguales 1 . En símbolos esto se n 
traduce como:
n n  3n
Ejemplo. Sea an la sucesión definida en forma recurrente por a1  1, an 1  an .
c2 n 1  0 y c4n  1 n!
Entonces, las subsucesiones de la sucesión producto son Calcular, si existe, el lim 211/ an
n
2 Solución
a2 n 1  b2 n1  c2 n1   0  0 y
5
La sucesión es de términos positivos. En primer lugar calculamos el lim an . Para ello usaremos el
n 
2 2
a4 n  b4 n  c4 n   (1)   Criterio del cociente o Criterio de DÁlembert.
5 5
Lo dicho entonces: hay dos subsucesiones de an que tienden a distintos límites, entonces no existe Aprovechamos la forma recurrente en que viene definida la
No es conveniente usar el criterio del
sucesión:
el límite de an . cociente en la expresión
an1 n n  3n n n 3n n n  3n
  
Están en condiciones de hacer los ejercicios 13, 14 y 15 de la práctica. an n! n! n! n!
ya que el signo + complica el cálculo.
Estudiamos cada término por separado, usando otra vez, el
nn
8. Sucesiones dadas en forma recurrente criterio del cociente: xn 
n!
. El cociente de DÁlembert es
Hasta ahora hemos tratado cada sucesión por medio de (n  1) n1

Recordar
su término general. xn1 (n  1) n1 n !
El problema de diseñar un algoritmo (n  1)!
 n
 
Sin embargo, en muchas situaciones vinculadas con las para calcular la raíz cuadrada de un xn n (n  1)! n n
aplicaciones y procesos iterativos, las sucesiones se número que dimos en la presentación de n!
presentan en forma recurrente. Esto es, se define el la sección responde a este tipo de
Trabajamos un poco esta última expresión
primer término a1 , luego del mismo surge a2 y en sucesiones.
n n
general, se define an1 a partir del término anterior an o 1 2 xn 1 (n  1) n 1 n ! (n  1)(n  1) n n ! (n  1) n  n  1   1 
xn 1   xn           1   .
más generalmente, a partir de todos los términos 2 xn  xn (n  1)! n n (n  1)  n ! n n nn  n   n
anteriores.
Entonces lim
xn1  1
n
 lim 1    e . Como e  1 , el criterio Con este resultado alcanza para 8.1. La raíz cuadrada de 2
n xn n  n asegurar que el cociente
an1 n n 3n Comenzamos esta unidad planteando el
nn La idea geométrica
  problema de diseñar un algoritmo para
del cociente nos dice que la sucesión xn  tiende a más an n! n!
n! calcular la raíz cuadrada de un número
nn tiende a más infinito y así, por el utilizando las cuatro operaciones
infinito. Es decir lim   Criterio del cociente podemos
n n! afirmar que
1 2  2 2
2 2
elementales de la aritmética. Tomamos el
1,5  2 1, 4167  1, 4118  2 1, 4118
lim an   . 1,5 1,5 caso particular a  2 .
n
. Con la ayuda de una original idea
1 1 2 2
 1,5 1,5 
2 1,5
 1, 4167
geométrica, llegamos a conjeturar que las
De todas maneras estudiemos el segundo término: 2
bases de los rectángulos aproximaban a 2.
3n 2.
yn  . El cociente de DÁlembert es en este caso: La medida de las bases tienden a
n! En este Cuaderno de Análisis Matemático
3n1 hemos construido las herramientas para poder probar este hecho.
yn1 (n  1)! 3n1 n ! 3 Las medidas de las bases de los sucesivos rectángulos vienen dados por la sucesión dada en forma
   
yn 3n (n  1)! 3n n  1 recurrente por la fórmula
n!
1 2
yn1 3 x1  1 , xn1   xn  
Entonces lim  lim  0 . Como 0  1 el criterio del cociente nos dice que lim yn  0 . 2 xn 
n yn n n  1 n
Esta sucesión resulta ser una sucesión de términos positivos que podemos ver que está acotada
a n n 3n inferiormente y es decreciente, usando la desigualdad entre el
En consecuencia lim n1  lim    . Desigualdad ente la
n a n n ! n! promedio geométrico y el promedio aritmético que recordamos en el
n
media geométrica y la
recuadro.
El criterio del cociente afirma que lim an   . aritmética
n
2 Si a  0, b  0 vale
Para ver que está acotada inferiormente ponemos a  xn y b  en
Estamos en condiciones de calcular el límite que nos pide el problema, teniendo en cuenta que xn ab
 ab
1 la desigualdad y queda 2
lim 0.
n a
n
1 2 2
xn1   xn    xn   2 n 1
1 lim 1a 2 xn  xn
11/ an 1 0
lim 2 2 n  n 2 2
n
Para ver que es decreciente analizamos el cociente de DÁlembert como en ocasiones anteriores y
volvemos a usar la desigualdad entre promedios y la acotación que acabamos de demostrar. El
cociente es
Pueden hacer los ejercicios 16, 17 y 18 de la Práctica 3.
xn1 1  2 
 1  2 
xn 2  xn 
2
Al poner en la desigualdad a  1 y b  se obtiene
xn2
xn1 1  2  2 2
  1  2   1 2  1 , n  2
xn 2  xn  xn xn
Entonces, la sucesión de la medida de las bases de los rectángulos xn es decreciente y acotada

inferiormente. Por el Teorema de las sucesiones monótonas podemos afirmar que existe lim xn  L .
n 
Solo queda calcular L. Para ello, usamos el álgebra de límites en la definición recurrente de xn y
obtenemos
ANEXO
1 2  1 2
L  lim xn1  lim  xn     L  
n  n  2
 xn  2  L
Es decir,
A. La noción de límite
2 La noción de límite es el concepto más importante de toda la materia. En él se basa la noción de
2L  L 
L derivada y de integral que conforman las dos herramientas del cálculo.
o lo que es equivalente A pesar de que Arquímedes estuvo muy cerca de toparse con este concepto, tuvieron que pasar
2
L 2 L 2 ó L 2 2000 años para que la humanidad superara los prejuicios que tenía al estudiar los procesos infinitos
y darle una forma manejable a un concepto que termina siendo muy intuitivo.
Como la sucesión es de términos positivos, el límite no puede ser negativo (recordar la propiedad de
conservación de signo). Entonces, podemos asegurar que la solución verdadera es la positiva. Es En esta entrada pretendemos hacer un breve análisis de cada una de las componentes que
decir conforman la definición de límite. Veremos sus ventajas teóricas y sus dificultades prácticas que
lim x  2 nos obligarán a explotar las propiedades que se deducen de este concepto para convertirlo en uno
n  n
manejable y eficaz.
En la entrada Un ejemplo biológico estudiamos un interesante modelo matemático que usa sucesiones
dadas en forma recurrente.
1 
Alcanza pues con elegir n0   tal que n0  (lo podemos hacer porque los números naturales

existe un número natural n0 tal que si n  n0 1  n
no están acotados superiormente). Así, si n  n0 resulta n  n0  con lo cual 1    .
Cualquiera sea   0 Son los valores de la sucesión (los an ) en los que  n 1
Es la diferencia que estamos n
vamos a fijar la atención. Los anteriores no Como la otra desigualdad de (1) vale para todo número natural, resulta probado que lim 1. 
dispuestos a tolerar entre an y L. importan. Ellos son los que tienen que caer en la n  n 1
En el gráfico que sigue 2 es el franja de color.
ancho de la franja verde donde puede Este número n0 es el que en el gráfico determina Volver
estar an el segmento vertical que delimita la franja verde.
B. Sucesiones monótonas
Cualquiera sea   0 , existe un número natural n0 tal que si n  n0 , entonces Una de las estrategias que maneja la matemática cuando estudia un objeto tan general como son las
L    an  L   (o sea an  L   si n  n0 ) sucesiones, es restringir el objeto de estudio para ver si es posible obtener nuevas propiedades y
resultados que después se puedan aprovechar para seguir avanzando.
Este es el caso de esta entrada, donde estudiaremos un conjunto particular de sucesiones. Aquellas
entonces L    an  L  
Es el intervalo en el que “vive” an que, como funciones, son crecientes o decrecientes.
En el gráfico L   es el “piso” de la Veremos que, el resultado aquí obtenido, servirá para atacar varios problemas de límite de
franja verde y L   es el techo. sucesiones que de otra manera nos resultan inaccesibles.
L Sea an una sucesión monótona creciente.

 a. Si A  an : n   está acotado superiormente, entonces existe lim an  L   .
L n 
L  b. Si A  an : n   no está acotado superiormente, entonces lim an   .

n 
n0
Demostración de a.
n
Ejemplo. Demostrar, usando la definición, que lim 1. En lo que sigue suponemos que an es una sucesión monótona creciente.
n  n  1
Sea   0 , cualquiera. Se debe encontrar un n0   tal que Si A  an : n   está acotado superiormente el axioma del supremo nos asegura que el conjunto A
n tiene supremo. Sea
1    1   siempre que n  n0 (1)
n 1 L  sup A  sup an : n    
n
Vamos en búsqueda de n0   . En primer lugar, observamos que  1  1   . De modo que la
n 1
desigualdad de la derecha de (1) se cumple para todo valor de n  1 . Se afirma que lim an  L tal como se “sospecha” del gráfico. Pero hay que demostrarlo:
n
n 1 
Que 1    , es equivalente, despejando n, a que n 
n 1 
Sea   0 . Por la definición de supremo, existe n0 

C. El número e
tal que L  sup an : n  
L Tal vez, la constate más importante de la matemática después del número pi, sea el número e que
L    an0  L
L presentamos en esta entrada.
Pero, como la sucesión es creciente y L es el supremo, Este número que tiene la inicial del matemático Leonard Euler, aparece frecuentemente en las
a partir de ese valor, los puntos están todos en la zona
aplicaciones y en diferentes ramas de la matemática tales como la estadística y las probabilidades y
gris. Es decir
en el análisis matemático para mencionar las dos más importantes. En las aplicaciones, es de uso
L    an0  an  L si n  n0 n0
frecuente tanto en la ingeniería como en la economía, en la biología como en la física.
En otras palabras, si n  n0 resulta 0  L  an   , lo que prueba que lim an  L  Hay muchas formas de presentar al número e. La que aprendemos aquí, muestra a este número
n
como el límite de una sucesión monótona.
n
 1
Demostración de b. En oportunidad de estudiar la sucesión en  1   dimos una El nombre e es la
 n
inicial del
Si A  an : n   no está acotado superiormente. visualización de que era creciente y acotada superiormente, pero no matemático suizo
brindamos una buena demostración de estos dos hechos que dan lugar a la Leonard Euler
Queremos probar en este caso que lim an   . Esto es, según la definición, que dado cualquier
n convergencia de esta sucesión a un número que bautizamos con la letra e y
M  0 existe n0  tal que an  M si n  n0 . que está entre 2 y 3.
Ahora bien, como A no está acotado superiormente, existe n0  tal que Dada la importancia que tiene esta sucesión y su límite en el desarrollo del
cálculo, en esta entrada damos una demostración de los dos hechos
an0  M .
mencionados.
Pero como la sucesión es creciente, vale que Vamos a usar la siguiente desigualdad
an  an0 si n  n0 . (1  x) n  1  nx para 0  x  1
Entonces que se puede probar en forma inductiva.
an  M si n  n0 .
Lo que demuestra que lim an   . 

Cuando n  1 se da la igualdad. Inducción
n
Se debe probar la
También es fácil comprobar la desigualdad para n  2 ya que
desigualdad para n  1 y
luego, suponiendo que
(1  x) 2  1  2 x  x 2  1  2 x
vale para n  k probar la
De forma análoga, hay una versión del teorema cambiando creciente por decreciente y Pasar del caso n  k al caso n  k  1 tampoco reviste dificultad: desigualdad para
acotada superiormente por acotada inferiormente y lim an   por lim an   . n  k 1
n  n 
(1  x) k 1  (1  x) k (1  x)  (1  kx)(1  x)  1  (k  1) x  kx 2  1  (k  1) x
Volver De modo que inductivamente, se prueba que la desigualdad es cierta para todo n  1 .
De forma similar se puede probar la desigualdad
(1  x) n  1  nx para x  0
n n
 1  1
Teniendo estas desigualdades a mano, probaremos que en  1   es creciente y acotada en  1   es acotada.
 n  n
superiormente.
Demostración
n
 1 Vamos a probar esto indirectamente. Consideremos la sucesión,
en  1   es creciente.
 n muy parecida a la que estamos estudiando, dada por la fórmula Los primeros términos de
n 1 An son en forma
Demostración  1  1 aproximada:
An  1    en  1  
 n  n 4; 3,375; 3,16; etc.
Consideraremos el cociente de DÁlembert y probaremos que es mayor que 1. No prueba nada pero se
Probaremos que An es decreciente. intuye que es decreciente.
De ser así, en particular resultará,
n 1 n
 1  n2  1  n 1
1     1   2 n  1  1
 en  1    A1  22  4
en 1  n 1  n  1   n  1   n  2n   1  An  1  
 n  n  2  
1   n  n
en  1  n 1  (n  1)   n  1 
1     Entonces
 n  n 
n n 4 n
en 1  n 2  2n   1   1   1  en  4 4
  1    1  2  1    1 n 1
en  (n  1) 2   n  1   (n  1)   n 1  1  
 n
n
Los colores indican de qué  1
Con lo cual en  1   es acotada.
forma estamos operando en  n
cada factor. Tomen papel y
lápiz para seguir la cuenta. Basta probar entonces que An es decreciente.
Usamos ahora la primera desigualdad anunciada al comienzo para Como antes, hacemos el cociente de DÁlembert y comparamos con 1:
1 Desigualdad en uso
el primero de los factores con x  (1  x) n  1  nx
(n  1) 2  1
n 1
 n 1  1 
n
0  x 1 1     1   2 n
Entonces resulta, An
  n
  n   n    n  1  1  1 
n n  2   
An 1  1   n   n   n
en 1  1  
n
1   n  1  1 1    
 1   n 1   n 1 
 1    1   1    1 1
en  (n  1) 2   n  1   (n  1) 2   n  1  (n  1)3
Queda demostrado que  1  1

An  n 2  1 
n 1   1  
 1  n n
n   1    n   n
 1 An 1  n 2   n   n2   1 
en  1   es creciente. 
 n  2  1  2 
 n 1   n 1 


Usamos ahora la otra desigualdad para el factor del denominador con presentamos y usamos para la convergencia de sucesiones. Cuando veamos series infinitas,
Desigualdad en uso
1 n
(1  x)  1  nx , x  0 recuperaremos este resultado y lo utilizaremos en toda su potencia.
x 2
n 1
Si lim n an  L vale que:
n
Como está dividiendo, la desigualdad “se da vuelta”
a. Si 0  L  1 entonces lim an  0 .
n
 1  1  1
An 1   1   1   b. Si L  1 o es más infinito entonces lim an   .
 n  n  n  1
   n
An 1  1 
n n 1
1  1  c. Si L  1 entonces el criterio no sirve para decidir el lim an .
1  2  n 2
 1 1 n
 n 1  n
n Demostración
n Caso 0  L  1
 1
Esto prueba que An es decreciente y por lo tanto, en  1   es acotada. 
 n Del gráfico se deduce que n an  r  1 para casi todo n. Entonces 1
n r
 1
n 0  an  r . Aplicando la propiedad del sándwich resulta lim an  0 . n an
Esta última cuenta es suficiente para probar que en  1   tiene límite. n  L
 n Luego lim an  0
n 
n 1
 1  1 Caso L  1 .
En efecto: hemos probado que la sucesión de términos positivos An  1    en  1  
 n  n n an
Del gráfico se deduce que n an  r  1 para casi todo n. Entonces L
es decreciente (y acotada inferiormente porque es de términos positivos) r
an  r n   . Aplicando la propiedad del sándwich en el infinito, 1
Por lo tanto, tiene límite finito. Entonces, nuestra sucesión en estudio es el cociente de dos
resulta lim an  
An n 
sucesiones que tienen límite en 
 1
1  
 n Caso L  1 .
n
Usando álgebra de límites, se obtiene  k k
La sucesión an  1   tiene límite igual ek . Sin embargo n an  1  1.
n
  n
An lim An
lim en  lim  n  lim An Entonces, en este caso, el criterio no sirve para determinar el valor del límite. Volver
n  n   1  1  n
 1   lim  1  
 n  n  n 
E. Criterio de convergencia del cociente (DÁlembert)
Volver
Al igual que el “Criterio de la raíz enésima de Cauchy”, este criterio que en esta unidad
explotaremos para sucesiones, fue creado para el estudio de series infinitas, por lo que lo
D. Criterio de convergencia de la raíz enésima (Cauchy) retomaremos al final del curso.
El matemático francés Augustin Louis Cauchy (1789 - 1857) fue uno de los que le dio bases sólidas El matemático Jean le Rond DÁlembert (1717-1783) al igual que Cauchy nació y vivió en París
al cálculo infinitesimal. pero 60 años antes que éste. Junto con Diderot, miembros relevantes de la ilustración francesa, fue
También investigó la convergencia y divergencia de series infinitas que será motivo de estudio al creador de la famosa LÉncyclopedie que, además de ser la primera, contenía la síntesis de los
final de este curso. En este campo desarrolló algunos criterios en el que se incluye el que aquí principales conocimientos de la época.
Si lim
an 1
 L vale que F. Sucesiones acotadas y subsucesiones
n an
Las sucesiones acotadas juegan un papel importante en el desarrollo del cálculo y en la
a. Si 0  L  1 entonces lim an  0 .
n
formalización de la estructura de los números reales a la que apenas nos hemos asomado.
b. Si L  1 o es más infinito entonces lim an   .
n En ese marco, las subsucesiones que en la práctica usamos para decidir sobre la divergencia de
c. Si L  1 entonces el criterio no sirve para decidir el lim an . algunas sucesiones, sirven para dar un resultado central en la tarea de presentar una acabada
n
Demostración de a. descripción de los números reales. Este resultado dice que toda sucesión acotada tiene una
Caso 0  L  1 subsucesión convergente y en esta entrada daremos una elegante demostración de este hecho
importante.
an 1
Del gráfico se deduce que  r  1 para casi todo n. Entonces la
an 1 Entre las primeras propiedades de sucesiones vimos que toda sucesión convergente a un límite
r finito, está acotada superior e inferiormente.
sucesión an es decreciente y acotada inferiormente. Por lo tanto, L an 1
tiene límite finito: lim an  l con 0  l  1 . Si fuera 0  l tomando an También vimos que no vale al revés. Es decir, hay sucesiones acotadas que no tienen límite. Tal es
n
el ejemplo de la sucesión oscilante
límite en la desigualdad verde (se puede usar álgebra de límite) se obtendría L  1 lo que es
1, 0, 1, 0, 1, …
claramente contradictorio con la hipótesis de que 0  L  1 . Entonces debe ser, lim an  0 , de donde
n 
Sin embargo, es posible decir algo más de las sucesiones acotadas.
lim an  0 .
n  El siguiente resultado es de gran importancia para el cálculo y, aunque no haremos uso del mismo
Demostración de b. durante el curso, presentamos aquí una demostración que echa mano del teorema de las sucesiones
monótonas.
Caso L  1 .
an 1 Teorema. Si A  an : n   está acotado, entonces existe una subsucesión de an que tiene
Mirando el gráfico, se deduce, en este caso, que  r 1. an 1
an límite finito.
L an
Entonces an1  an . La sucesión an resulta ser creciente. Si r
Demostración
1
llegara a estar acotada superiormente, tendría límite finito y mayor La estrategia de la demostración es observar primer lugar, que hay una subsucesión monótona.
que cero. En tal caso se llega a la contradicción: Como también resultará acotada por hipótesis, el teorema de las sucesiones monótonas, nos dará
an 1 seguridad de que tal subsucesión tiene límite finito como dice el enunciado del teorema que
an 1 nlim
L  lim   1 queremos demostrar.
n an lim an
n
Vamos pues por el resultado que da cuenta de que existe una subsucesión monótona.
En contradicción con el hecho de que L  1 . La contradicción proviene de suponer que an está
Para ello nos valdremos del concepto de punto panorámico. Diremos que a p es un punto
acotada superiormente. Luego an no está acotada superiormente, además vimos que es creciente. panorámico de la sucesión an , si
Entonces a p  an para n  m
lim an   . 
n 1 1
Por ejemplo, en la sucesión 0,1,0, ,0, ,0...
2 3
Volver
1 1
los puntos panorámicos son 1, , , ... .
2 3
1 Situación 2: existen sólo finitos puntos panorámicos.

En cambio, la sucesión an  1  no tiene puntos panorámicos.
n
Como sólo hay una cantidad finita de puntos panorámicos, podemos decir que a partir de un índice
El siguiente gráfico muestra con más claridad el concepto de punto panorámico: n 1 en adelante, no hay más de tales puntos. En otras palabras, si n  n 1 entonces an no es punto
panorámico.
Punto Para construir la sucesión monótona en este caso procedemos como sigue:
panorámico
Punto
panorámico Se elige an1 como primer término de la subsucesión.
Desde un punto
panorámico, se ve el resto
de la sucesión
Como an1 no es punto panorámico, debe existir un índice n 2  n 1 de modo que
an 1  an 2
No es punto
panorámico De la misma forma, como an 2 no es punto panorámico, existe n 3  n 2 tal que
an 2  an 3
Queremos probar que de la sucesión original an se puede extraer una subsucesión monótona.
Podemos repetir este procedimiento indefinidamente y obtener una subsucesión
Se pueden dar dos situaciones:
an1  an 2  an 3  ...  an k  ...
Situación 1: existen infinitos puntos panorámicos. que resulta monótona creciente.
En tal caso elegimos el primer término de la subsucesión n1 de forma tal que an1 sea un punto
panorámico. Es decir, tenemos que Hemos establecido que cualquiera sea la situación siempre es posible obtener de an una
an 1  an para n  n 1 subsucesión an k monótona.
El siguiente paso, como hay infinitos puntos panorámicos, es elegir n2  n1 de forma tal que an2 Como por hipótesis, la sucesión an está acotada, también está acotada la subsucesión an k .
también sea un punto panorámico. Entonces tenemos hasta aquí El teorema de las sucesiones monótonas, nos asegura que existe y es finito el límite de ank .
an 1  an 2  an para n  n 2  n1
El teorema queda demostrado. 
Ya nos podemos imaginar los siguientes pasos. Como tenemos infinitos puntos panorámicos, Volver
podemos repetir este proceso indefinidamente y obtener una sucesión de índices
... n k  n k 1  ...  n1
G. Un ejemplo biológico. Sucesiones por recurrencia
tales que an k son todos puntos panorámicos, de modo que vale
A esta Unidad 2 se la motiva con el problema de generar un algoritmo para crear la raíz cuadrada de
an 1  an 2  an 3  ...  an k  ... un número. Este problema quedó resuelto al final de la unidad cuando estudiamos las sucesiones
He aquí la sucesión monótona (decreciente en este caso) que estábamos prometiendo. dadas en forma recurrente.
Presentamos en esta entrada otro ejemplo donde un modelo biológico puede ser tratado eficazmente
con las herramientas que adquirimos en esta unidad.
Esta sucesión recurrente que se recrea aquí en un modelo biológico, es base de una teoría Como el límite es único, ambos valores deben coincidir, de donde
matemática que en la actualidad está tomando mucho impulso: la teoría del caos. En la bibliografía 1
p 1  0
obligatoria, se puede profundizar un poco más en ella. r
Contradiciendo la suposición de que p  0 . Se sigue que
El siguiente modelo de la evolución de la población de una colonia de insectos se ajusta bien a la lim pn  0
n 
realidad. Con una adecuada escala de medida, la población de cada período ( pn 1 ) se obtiene a
Es decir, la población a la larga, se extingue. Volver
partir de la del período anterior ( pn ) mediante la expresión
pn 1  rpn (1  pn ) , 0  p0  1
En este caso r es una constante entre 0 y 4 que mide la vitalidad de la población. Con la escala
elegida la población se mantiene siempre entre 0 y 1. El 0 indica la extinción y el 1 un tope para la
población imposible de superar por las condiciones del habitat.
Vamos a probar que si la vitalidad de la población es baja ( 0  r  1 ), entonces la población a la
larga se extingue. Es decir lim pn  0 .
n
Solución
La sucesión pn está acotada tanto superior como inferiormente pues
0  pn  1 para todo n
pn 1
Además, se puede fácilmente comparar con 1 el cociente de DÁlembert .
pn
pn 1
 r (1  pn )  1
pn
Entonces la sucesión pn es decreciente.
De acuerdo al teorema de las sucesiones monótonas, existe lim pn  p con 0  p  1 .

n
Veamos que p  0 . Si así no lo es, resultaría p  0 y se llega a la siguiente contradicción:
Por un lado,
pn 1 p
lim  1
n pn p
y por otro lado

pn 1 Cintia Buxton, Lisi D’Alfonso, Flora Gutierrez, Gabriela Jeronimo, Gustavo Massaccesi, Juan Carlos Pedraza
lim  lim r (1  pn )  r (1  p)
n  pn n  y Juan Sabia (2015), Sucesiones, Teóricas de Análisis Matemático (28).

Sucesiones: 1. Introducción

Cargado por

Copyright:

Formatos disponibles

Sucesiones: 1. Introducción

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Sucesiones: 1. Introducción

Cargado por

Copyright:

Formatos disponibles

Teóricas de Análisis Matemático (28) – Práctica 3 – Sucesiones Teóricas de Análisis Matemático (28) – Práctica 3 – Sucesiones

1.2. Ejemplos de sucesiones

Se lee “a sub n”. Indica el número real de la lista en la posición n.

Los siguientes términos se obtienen reemplazando la variable n por los valores 2, 3, 4 y 5

En síntesis, el término general de la sucesión se puede presentar como

1 2 3 4 n 2.1. Sucesiones divergentes

La definición precisa de límite es la siguiente: 2n 1

n  n0 , entonces K Para todo K  0 existe

3.1. Unicidad del límite

Si así fuera todos los an a

8 M Se elige   1 o cualquier otro.

3.3. Conservación de signo

3.4. Álgebra de límites Solución

Factor común n 2 en Se simplifica el n4  1

Aplicado a nuestro caso, resulta

Con lo visto hasta aquí se pueden hacer los ejercicios 5 y 6 de la Práctica 3.

Si bn  an  cn entonces lim bn  lim an  lim cn

Ejemplo. Determinemos si las sucesiones an  (0,8) n y bn  (0,8) n son monótonas.

números reales. La podés ver en la entrada Teorema de las sucesiones monótonas.

Se llega a la contradicción: r  1 cuando teníamos de movida que r  1 . Esta contradicción proviene

1) r  1 Es dato Con una demostración análoga a la precedente, vale que

Vamos a probar que Es decir nlim

Es decir, Haremos uso de estos dos resultados sin más justificaciones

2 Para compensar que 2n 2  n  1 (2n 2  5)  ( n  1  5) n4

cos(n  1) 1 Si 0  L  1 entonces lim an  0 .

En la entrada Criterio de Cauchy se puede ver una demostración de este criterio.

Si L  1 entonces el criterio no sirve para decidir el lim an .

que parece no tener límite.

Hasta ahora hemos tratado cada sucesión por medio de (n  1) n1

Entonces, la sucesión de la medida de las bases de los rectángulos xn es decreciente y acotada

L Sea an una sucesión monótona creciente.

L  b. Si A  an : n   no está acotado superiormente, entonces lim an   .

Sea   0 . Por la definición de supremo, existe n0 

Lo que demuestra que lim an   . 

Queda demostrado que  1  1

1 Situación 2: existen sólo finitos puntos panorámicos.

Situación 1: existen infinitos puntos panorámicos. que resulta monótona creciente.

Contradiciendo la suposición de que p  0 . Se sigue que

Entonces la sucesión pn es decreciente.

De acuerdo al teorema de las sucesiones monótonas, existe lim pn  p con 0  p  1 .

Veamos que p  0 . Si así no lo es, resultaría p  0 y se llega a la siguiente contradicción:

y por otro lado

También podría gustarte