0% encontró este documento útil (0 votos)
49 vistas49 páginas

Sucesiones de Números Reales

Este documento introduce el tema de las sucesiones de números reales. Explica que una sucesión es una función cuyo dominio son los números naturales. Detalla diferentes formas de definir una sucesión, ya sea mediante fórmulas explícitas, de forma recursiva o a través de un algoritmo. Además, presenta la sucesión de Fibonacci como un ejemplo clásico y propone ejercicios para practicar los conceptos explicados.
Derechos de autor
© All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
0% encontró este documento útil (0 votos)
49 vistas49 páginas

Sucesiones de Números Reales

Este documento introduce el tema de las sucesiones de números reales. Explica que una sucesión es una función cuyo dominio son los números naturales. Detalla diferentes formas de definir una sucesión, ya sea mediante fórmulas explícitas, de forma recursiva o a través de un algoritmo. Además, presenta la sucesión de Fibonacci como un ejemplo clásico y propone ejercicios para practicar los conceptos explicados.
Derechos de autor
© All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

ANÁLISIS MATEMÁTICO 1 I.P.A PROF.

ADRIÁN MILANO
Profesorado de Matemática 2023

TEMA 1: SUCESIONES DE NÚMEROS REALES

INTRODUCCIÓN
Las sucesiones ocupan un lugar clave en varias ramas de la matemática y en especial en el Análisis Matemático. Con ellas
podemos estudiar, representar y predecir varios fenómenos de la naturaleza.
Si bien el origen de las sucesiones es incierto, se cree que tienen su inicio en la aritmética comercial.
Entre los matemáticos que hicieron aportes al tema están, Arquímedes (287 AC – 212 AC), Bhaskaras (1114 – 1185),
Leonardo de Pisa (1170 – 1250) e Isaac Newton (1642- 1727).

Nuestro objetivo principal es estudiar el límite de una sucesión de números reales ya que varios de los conceptos
importantes del análisis matemático están relacionados con esta idea.

Informalmente con la palabra sucesión se quiere indicar a un conjunto de infinitos objetos (no necesariamente distintos)
dispuestos en un determinado orden.
Por ejemplo, si P es el conjunto de puntos de un plano y a, b, c, d son los vértices de un cuadrado contenido en él, una
sucesión definida en P está determinada por el conjunto infinito a , b , c, d , b, a , c , d , a , a , a ,... . Otro ejemplo de
sucesión definida en P queda determinada por el conjunto infinito d , c , b, a, d , c , b , a , d , c , b , a ,... .

Cualquier sucesión queda definida a partir de una lista infinita de objetos x0 , x1 , x2 , ..., xn , ... que pueden ser
números reales, funciones, puntos, etc. Tales objetos son llamados términos de la sucesión, y están ordenados mediante
índices naturales. Es decir, x0 es el primer término, x1 es el segundo, x2 es el tercero, etc.

Posición de cada término

0 1 2 ... n ...
   
x0 x1 x2 ... xn ...

Términos de la sucesión

Por ejemplo, los números impares definen la sucesión cuyo primer término es el 1 , el segundo término es 3 , el tercer
0 1 2 ... n ...
término es 5 , etc.    
1 3 5 ... 2n  1 ...
Es importante destacar que las sucesiones no quedan definidas dando una cantidad finita de términos. Una sucesión tiene
siempre infinitos términos.

Los comentarios anteriores sugieren que definir una sucesión de números reales es definir una función de dominio el
conjunto de los números naturales y codominio el conjunto de los números reales. Por ejemplo, si a cada número natural
le asociamos su opuesto más uno, hemos definido una sucesión. En ella al 0 le corresponde el 1 , al 1 el 0 , al 2 el
 1 , al 3 el  2 , al 4 el  3 , etc. Los números 1 ; 0 ;  1 ;  2 ;  3 ; ... son los términos de dicha sucesión.
En la sucesión que asocia a cada número natural n , el número (1) n n , el primer término es 0 , el segundo es  1 ,
el tercero es 2 , el cuarto es  3 , etc. Observar que los términos 0 ;  1 ; 2 ;  3 ; … no están ordenados ni en
forma creciente ni en forma decreciente.
Con este último ejemplo hacemos notar que en el caso que los términos x0 , x1 , x2 , ..., xn , ... de una sucesión sean
números reales, estos quedarán ordenados, no con respecto a su valor, sino respecto a su posición en la sucesión.

1
TEMA 1 SUCESIONES DE NÚMEROS REALES

Definiremos a continuación sucesión de números reales, que son las que trabajaremos a lo largo de este material.

DEFINICIÓN DE SUCESIÓN DE NÚMEROS REALES


Una sucesión de números reales es una función de dominio el conjunto de números naturales y codominio el conjunto
de los números reales.

En realidad, el concepto de sucesión puede generalizarse de la siguiente manera:


Una sucesión en un conjunto A   es una función de dominio el conjunto de los números naturales y codominio A .

NOTACIONES
Sea x :  una sucesión de números reales.
Al número real x ( n) , imagen del número natural n , lo denotaremos como xn en vez de x ( n) como habitualmente
se hace con cualquier función.
Usaremos las notaciones ( x n ) , ( xn ) n o ( x0 , x1 , x2 ,..., xn ,...) para representar a la sucesión x.

El lector no debe confundir la sucesión x con su recorrido x( )   x0 , x1 ,..., xn , xn1 ,...


Los elementos del conjunto x( ) son llamamos términos de la sucesión y a xn se le llama término general.

Por ejemplo, la sucesión ( xn ) que asocia a cada número natural su opuesto más dos, tiene como término general
xn  n  2 y sus cinco primeros términos son x0  2 , x1  1 , x2  0 , x3  1 y x4  2 .
El gráfico de esta sucesión está formado por puntos que pertenecen a la recta de ecuación y   x  2 .

Los términos de una sucesión no tienen por qué ser todos distintos. Por ejemplo, la sucesión ( an ) que asocia a cada
número natural el 5 tiene como término general an  5 y todos sus términos valen 5 .

FORMAS DE DEFINIR UNA SUCESIÓN


Las sucesiones pueden estar definidas de diversas maneras:
1) a partir de una o varias fórmulas que permitan obtener cada uno de sus términos a partir del número natural n.
2) de forma recursiva o
3) mediante un algoritmo cualquiera que permita conocer todos sus términos.

En el caso 1) decimos que la sucesión está definida por su fórmula o fórmulas explícitas.
1 1 1 1
Por ejemplo, la fórmula xn  define explícitamente la sucesión cuyos términos son 1 , , , , ... . y
n 1 2 3 4
a2 n  3n  1
las fórmulas  definen a la sucesión ( an ) cuyos seis primeros términos son 1 ; 0 ; 4 ; 1; 7 y 4 .
a2 n1  n
2

Decimos que una sucesión está definida en forma recursiva o por recurrencia cuando, por ejemplo, se define el primer
término de la sucesión y luego un término cualquiera en función del anterior o cuando definimos dos términos de la
sucesión y luego un término cualquiera a partir de los dos anteriores.
 x0  1

Por ejemplo, una sucesión definida por recurrencia es ( xn ) tal que:
 xn1  2 xn  3 , n 
Si queremos obtener el valor x3 necesitamos conocer los valores de x2 , x1 y x0 .
Cuando una sucesión está definida por recurrencia, para calcular cualquier término después del primero, necesitamos
calcular todos los términos anteriores.

En realidad, una sucesión queda definida mediante cualquier algoritmo que permita conocer todos sus términos.
Por ejemplo, la sucesión ( an ) tal que an es la n- ésima cifra decimal del número 2 está perfectamente definida, ya
que existe un algoritmo que nos permite hallar cualquiera de sus términos. Los primeros cuatro términos de esta sucesión
son: a0  1 , a1  4 , a2  1 y a3  2 .

2
TEMA 1 SUCESIONES DE NÚMEROS REALES

Una sucesión que habitualmente se define por recurrencia es la sucesión de Fibonacci estudiada por el matemático
italiano Leonardo de Pisa (1170 -1250), conocido también
como Fibonacci. Esta sucesión está relacionada con la
reproducción de conejos.
Una pareja de conejos tarda un mes en alcanzar la edad fértil.
A partir de ese momento cada pareja de conejos engendra una
nueva pareja (macho y hembra), que, a su vez, tras ser fértiles
engendran cada mes una pareja de conejos (macho y hembra).
Si suponemos que no mueren conejos, la cantidad
an de parejas de conejos a los n meses está dada por:
 a1  a2  1

 an  an1  an2 , n  , n  3

La sucesión de Fibonacci tiene una gran cantidad de propiedades y múltiples aplicaciones a otras ciencias como la biología
y computación. Invitamos al lector a buscar más información sobre esta sucesión.

Un video recomendable se encuentra en el siguiente link: [Link]

Otros videos que resumen lo visto anteriormente son: [Link]

[Link]

Ejercicio 1
En cada caso, indicar si las siguientes expresiones definen una sucesión ( an ) .

1) an  máx x  / x 2  2nx  1  0  2) an  máx x   


/ x 2  2nx  1  0
 1 si n contiene la letra a.
3) an  
  si n no contiene la letra a.

Ejercicio 2
Sea ( xn ) una sucesión de números reales definida por xn  2n  n
2

1) Hallar xn1 y x2 n 1 en función de n.


2) Escribir xn1 en función de x n y n.
3) Definir ( xn ) por recurrencia. ¿Es única la forma de hacerlo?

Ejercicio 3
Se considera un cuadrado de lado 2 . Con vértices en los puntos medios de sus
lados se forma un nuevo cuadrado. Con este último cuadrado obtenido se repite el
mismo procedimiento y así sucesivamente.
Sea ln la medida del lado del cuadrado obtenido en la n -ésima etapa del
proceso anterior y an el área de dicho cuadrado.
1) Hallar l1 , l2 , l3 , l4 , l5 , a1 , a2 y a3 .
2) Hallar ln y an en función de n, n  , n  1.

3
TEMA 1 SUCESIONES DE NÚMEROS REALES

Ejercicio 4
Para cada una de las siguientes sucesiones se pide:
1) hallar los primeros cinco términos.
2) hacer una conjetura de una fórmula explícita que permita calcular xn en función de n y demostrarla por el método
de inducción completa.

 x0  2  x0  1
a)  b) 
 xn1  2 xn  1 , n   xn1  10 xn  1  9n , n 

Antes de continuar con las definiciones resumimos en las siguientes observaciones algunos hechos importantes sobre
las sucesiones.

OBSERVACIONES
1) No hay que perder de vista que cada término de una sucesión lleva una doble información: su valor y la posición que
ocupa en ella.

2) Una sucesión tiene siempre infinitos términos, aún en el caso que tome un solo valor, como es el caso de las
sucesiones constantes, que asocian a cada número natural un mismo número real.

3) Muchos libros de Análisis Matemático excluyen al cero del conjunto de los números naturales y el motivo es debido
a que, en esta rama de la matemática, los números naturales se utilizan como índices de términos de una sucesión.
Si ( xn ) es una sucesión y decidimos excluir al cero del conjunto de los números naturales, tendremos que x1 es el
primer término de la sucesión, x2 el segundo, x3 el tercero y así sucesivamente. Mientras tanto, si consideramos
que 0 es un número natural tendremos un desfasaje y por lo tanto, x0 es el primer término de la sucesión, x1 el
segundo, x2 el tercero, etc. En este caso xn no es el n - ésimo término de la sucesión, sino el que se encuentra en
la posición n  1 . A pesar de este problema, en este material consideraremos a 0 como un número natural.

4) En muchos casos nos encontraremos con sucesiones que no “arrancan” en 0. Por ejemplo, n  5 es un número
real solo para los números naturales n  5 , por lo tanto ( xn ) tal que xn  n5 no es estrictamente una sucesión
según nuestra definición.
5 6 7 8 ... n ...
    
0 1 2 3 ... xn ...

De todas formas, podemos usando la expresión n  5 , definir una sucesión (an ) de manera que an  x5 n

0 1 2 3 ... n ...
    
De esta forma tenemos la siguiente correspondencia: a0 a1 a2 a3 ... an ...
    
x5 x6 x7 x8 ... x5n ...

En general, podemos reenumerar los términos de una sucesión ( xn ) que “empieza” en un número natural p y definir la
sucesión ( an ) tal que an  x p  n .

Teniendo en cuenta estas observaciones es que consideraremos que ( xn ) tal que xn  n  5 es una sucesión cuyos

términos son x5  5  5  0 , x6  6  5  1 , x7  7  5  2 , …

4
TEMA 1 SUCESIONES DE NÚMEROS REALES

En función de la última observación, algunos textos definen las sucesiones de números reales de la siguiente forma:

OTRA MANERA DE DEFINIR SUCESIÓN DE NÚMEROS REALES


Sea N p  n  / n  p , p     p ; p  1 ; p  2 ; ... el conjunto de los naturales mayores o iguales que un
cierto número natural p .
Llamamos sucesión de números reales a cualquier función de dominio N p y codominio .

SUBSUCESIONES
1 1 1 1 1 1
Supongamos que a la sucesión ( xn ) definida mediante xn  y cuyos términos son 1 , , , , , ... le retiramos
n 2 3 4 5 6
1 1 1 1
los términos de denominador par y nos quedamos con los términos 1 , , , , ...
3 5 7 9
Mediante este procedimiento obtenemos dos nuevas sucesiones: la formada por los términos retirados, y cuyo término
1
general es , y la que queda cuyo término general es 1 .
2n 2n  1
Estas nuevas sucesiones se llaman subsucesiones de la sucesión ( xn ) y en muchas oportunidades, como veremos más
adelante, proporcionan información acerca de la sucesión de la cual provienen.

En general, una subsucesión de una sucesión ( an ) es una sucesión que se obtiene eliminando términos de ( an ) y cuyos
términos aparecen en la sucesión ( an ) en el mismo orden pero tal vez no en el mismo lugar que en ( an ) . Es decir, para
formar una subsucesión de ( an ) elegimos infinitos términos de ( an ) , salteando algunos quizás, pero sin volver atrás.
Formalmente, la definición es la siguiente:

DEFINICIÓN DE SUBSUCESIÓN DE UNA SUCESIÓN


Si x :  es una sucesión de números reales, llamamos subsucesión o sucesión parcial de la sucesión
x  ( xn ) a cualquier restricción s  ( sn ) de la función x :  a un subconjunto infinito P  n0 ; n1;...; nk ;...
contenido en donde n0  n1  ...  nk  ...
En este caso decimos que la sucesión ( xn ) contiene a ( sn ) .

Por restricción de una función debe entenderse lo siguiente: Dada una función f : A  B , llamamos restricción de f
a un conjunto X  A a la función, denotada por f X , definida por f : X  B tal que f X ( x)  f ( x) , x  X
.

Por ejemplo, dada la sucesión ( x0 , x1 , x2 ,..., xn ,...) son subsucesiones de ella las siguientes: ( x2 , x3 , x4 ,..., xn ,...) ,
( x1 , x3 , x5 ,.., x2 n1 ,...) y ( x0 , x4 , x8 , x12 ,..., x4 n ,...) . Sin embargo ( x1 , x0 , x3 , x2 , x5 , x4 ,...) no lo es.

Podemos interpretar una subsucesión de la siguiente manera: si consideramos una sucesión como una fila ordenada de
infinitos números y numeramos las posiciones donde se encuentran dichos números, una subsucesión es una nueva fila
que se obtiene eliminando algunos de los números de ciertos lugares de la fila de la sucesión, de modo que sigan quedando
infinitos lugares ocupados, y se forme una nueva fila corriendo, sin desordenar los ocupantes que quedaron de la fila
original y de modo de llenar los lugares vacíos.
Dicho de otra forma, una subsucesión es lo que queda de la sucesión original una vez eliminados finitos o infinitos
términos de la sucesión original, siempre y cuando queden infinitos términos.
Según la definición de subsucesión, una subsucesión s de una sucesión x  ( xn ) no es una sucesión, dado que el
dominio de la subsucesión no necesariamente es el conjunto de los números naturales. Ahora, es posible considerar a la
subsucesión s como una función de en mediante la correspondencia: 0  xn0 , 1  xn1 ,…, k  xnk , …
Esto último justifica que podamos denotar a la subsucesión s de la forma ( xnk ) o ( xn ) nP . Esta notación muestra
como una subsucesión puede ser considerada como una sucesión.
5
TEMA 1 SUCESIONES DE NÚMEROS REALES

Ejercicio 5
1
a) Dada la sucesión ( xn ) tal que xn 
n
Indicar en cada caso si la sucesión ( yn ) es una subsucesión de ( xn ) :
1 2
1) yn  2 2) yn 
n n
 1 1 1 1 1 1 1 
3)  ;1; ; ; ; ; ; ;...  (sucesión formada por los términos de ( xn ) pero colocados en distinto orden)
2 4 3 6 5 8 7 
 xn  5n si n es par.
b) Dada la sucesión ( xn ) tal que 
n
 xn  5 si n es impar.
Indicar en cada caso si la sucesión ( yn ) es una subsucesión de ( xn ) :
2
1) yn  1 2) yn  5 n 3) yn  54 n
c) A partir de la sucesión de números reales ( an ) definimos la sucesión (bn ) tal que bn  a0 , n 
¿Es (bn ) una subsucesión de ( an ) ? ¿Qué condición debe cumplir la sucesión ( an ) para tener una subsucesión
constante (es decir, una subsucesión cuyos términos sean todos iguales)?

SUCESIONES ACOTADAS

Cuando todos los términos de una sucesión de números reales pertenecen a un intervalo  h, k   diremos que la
sucesión está acotada. Un ejemplo de sucesión acotada es ( xn ) tal que xn  (1) , pues xn   1;1 , n  .
n

DEFINICIÓN DE SUCESIÓN ACOTADA


Sea ( xn ) una sucesión de números reales.
Diremos que ( xn ) está acotada si, y solo si, el conjunto de sus términos está acotado.
Es decir, ( xn ) está acotada si, y solo si, existen números reales h y k tales que h  xn  k , n  , n p.

Decimos que ( xn ) está acotada superiormente si, y solo si, existe k  tal que xn  k , n  , n p .
( xn ) está acotada inferiormente si, y solo si, existe h  tal que h  xn , n  , n p .

En estos casos decimos que ( xn ) está acotada superiormente por k e inferiormente por h .

Es consecuencia inmediata de estas últimas definiciones que:


( xn ) está acotada   c  0 / x n  c n  , n  p  ( xn ) está acotada inferior y superiormente.

EJEMPLO 1
Consideremos las sucesiones ( xn ) , ( yn ) y ( zn ) tales que xn  n 2 , yn   n  1 y zn  cos n .
( xn ) está acotada inferiormente ya que 0  xn , n  , pero no está acotada superiormente debido a que no está

acotado superiormente: 0  n y n 2  n , n  .
2

( yn ) está acotada superiormente pues yn  1, n  , pero no está acotada inferiormente dado que su recorrido es el
conjunto

 0;1 . Finalmente, la sucesión ( zn ) está acotada ya que 1  zn  1, n  .

6
TEMA 1 SUCESIONES DE NÚMEROS REALES

EJEMPLO 2
n 1
Consideremos la sucesión ( xn ) tal que xn 
n2
Una forma de poder visualizar si la sucesión está acotada es graficando
x 1
la función f :  2  tal que f ( x)  .
x2
Observando dicho gráfico podemos ver que ( xn ) está acotada ya que:
1  xn  4 , n  , n  3 .
Estas desigualdades pueden verificarse mediante cálculo directo
n 1
demostrando que 1   4 , n  , n  3 .
n2

Ejercicio 6
Investigar en cada caso si la sucesión ( xn ) está acotada superiormente o inferiormente.

1 (1) n
1) x n  1  2) xn  1  3) xn  n  n 2
n n
n 3n  4n
2
3n  5
4) xn  1  (1)n1  5) xn  6) xn 
2  2n 2 n 1
En el siguiente video se muestra como usando geogebra se puede introducir el término general de una sucesión.
[Link]

SUCESIONES MONÓTONAS
Una sucesión ( xn ) de números reales será estrictamente creciente cuando x0  x1  x2  ...  xn  xn1  ...
y estrictamente decreciente cuando x0  x1  x2  ...  xn  xn1  ... .
En realidad, bastará con que a partir de un cierto número natural sus términos sean crecientes o decrecientes para que la
sucesión sea creciente o decreciente.

Estas ideas intuitivas se plasman en las siguientes definiciones:

DEFINICIÓN DE SUCESIÓN CRECIENTE Y SUCESIÓN DECRECIENTE


Sea ( xn ) una sucesión de números reales.
Definimos los siguientes conceptos:
( xn ) es estrictamente creciente si, y solo si existe un número natural p tal que xn  xn1 , n  , n p.
( xn ) es creciente si, y solo si existe un número natural p tal que xn  xn1 , n  , n  p ,
( xn ) es estrictamente decreciente si, y solo si existe un número natural p tal que xn  xn1 , n  , n  p .
( xn ) es decreciente si, y solo si existe un número natural p tal que xn  xn1 , n  ,n p.

A las sucesiones estrictamente crecientes, crecientes, estrictamente decrecientes o decrecientes se las llama sucesiones
monótonas.

Las sucesiones ( xn ) , ( yn ) y ( zn ) tales que xn  n 2 , yn   n  1 y zn  cos n cumplen lo siguiente:


( xn ) es estrictamente creciente, ( yn ) es estrictamente decreciente y ( zn ) no es ni creciente ni decreciente.
Es decir, ( xn ) e ( yn ) son monótonas y ( zn ) no lo es.

7
TEMA 1 SUCESIONES DE NÚMEROS REALES

Estudiar la monotonía de una sucesión es decidir si es creciente, decreciente o ninguna de las dos. Una manera práctica
de hacerlo es estudiar el signo de la expresión xn1  xn para cada número natural n  p .
En el caso que sea xn1  xn  0 concluiremos que la sucesión es creciente y en caso que sea xn1  xn  0 , la
sucesión será decreciente.
xn1
En algunos casos, es posible también comparar el cociente con 1 . Si ( xn ) es una sucesión de términos positivos,
xn
xn1 xn1
entonces, si  1 tendremos que ( xn ) es decreciente y si  1 entonces ( xn ) es creciente.
xn xn
xn1 x
Si ( xn ) es de términos negativos, entonces, si  1 , ( xn ) es creciente y si n1  1 , ( xn ) es decreciente.
xn xn

Ejercicio 7
Investigar en cada caso si la sucesión ( an ) es monótona.
n3 (1) n
1) an  2) an  3) an  2  n
n
2n n
n nn a0  0
4) an  n 5) an  6) 
an1  n  n  2  an
2
2 n!
n
7) an  1  (1) n1 
2 

Ejercicio 8
 3
 x1  1
  y1  2
Se consideran las sucesiones ( xn ) e ( yn ) definidas por:  1 y 
 xn1  3 xn  4
1
 yn1  2 
 yn
1) Demostrar que para todo natural n, n0 se cumple: xn  6 y 1  yn  2 .
2) Estudiar la monotonía de ( xn ) e ( yn ) .

Usando el concepto de monotonía de una sucesión podemos dar una nueva definición de subsucesión.

OTRA MANERA DE DEFINIR SUBSUCESIÓN


Dada una sucesión x :  y una sucesión k :  estrictamente creciente, llamamos subsucesión de ( xn ) a

la sucesión definida por la composición x k  x(k )  xk

1
Por ejemplo, consideremos las sucesiones ( xn ) y (kn ) tales que xn  y kn  2n  1 .
n
1
Dado que (kn ) es estrictamente creciente, ( xkn ) tal que xkn  es una subsucesión de ( xn ) .
2n  1

Ejercicio 9
Sea S el conjunto de las sucesiones de números reales y la relación ℛ = “ ser una subsucesión de”.
Es decir, si ( xn )  S e ( yn )  S entonces ( xn ) ℛ ( yn ) si, y solo si, ( xn ) es una subsucesión de ( yn ) .
Investigar si ℛ es una relación de equivalencia o una relación de orden.

8
TEMA 1 SUCESIONES DE NÚMEROS REALES

Para finalizar con las generalidades sobre sucesiones y luego empezar con el estudio del límite de una sucesión, tema
central de este capítulo, estudiaremos un caso particular de sucesiones que son las llamadas progresiones.

PROGRESIONES
En la vida real, es común encontrarse con cantidades que varían de la misma manera en iguales intervalos de tiempo.
Por ejemplo, si una compañía un día determinado comienza fabricando 500 artículos y luego produce 60 artículos
diarios, la cantidad de artículos que producen a los n días es 500  60 n .
Situaciones como éstas, se pueden modelar con un tipo especial de sucesiones llamadas, progresiones aritméticas, que
son sucesiones en las que cada término, a partir del segundo, se obtiene mediante la suma del término de la sucesión
inmediatamente anterior y un número real k , el cual está previamente establecido.
Otro tipo especial de sucesiones son las progresiones geométricas. En ellas cada término, a partir del segundo, es el
producto del término inmediatamente anterior por un número real fijo.

Definiremos a continuación este tipo especial de sucesiones y proponemos al lector estudiar la monotonía y la acotación
de dichas sucesiones en el ejercicio 10.

DEFINICIÓN DE PROGRESIÓN ARITMÉTICA O GEOMÉTRICA


Sea ( xn ) una sucesión de números reales.
Decimos que ( xn ) es una progresión aritmética si, y solo si, existe k  tal que xn1  xn  k , n  .

Decimos que ( xn ) es una progresión geométrica si, y solo si, existe k tal que xn1  k  xn , n  .

En ambos casos decimos que el número real k es la razón de la progresión.

Ejercicio 10 (MONOTONÍA Y ACOTACIÓN DE UNA PROGRESIÓN)


Sea ( xn ) una sucesión de números reales.
a) k si, y solo si, n  , xn  x0  kn .
Demostrar que ( xn ) es una progresión aritmética de razón
b) Estudiar la monotonía y la acotación de una progresión aritmética de razón k discutiendo según k .
c) Demostrar que ( xn ) es una progresión geométrica de razón q si, y solo si, xn  x0q n , n  .

d) Consideremos la progresión geométrica ( xn ) tal que xn  q n con q .


Estudiar la monotonía y acotación de ( xn ) en cada uno de los siguientes casos:
1) 0  q 1
2) 1  q  0

3) q  1 (Sugerencia: Para estudiar la acotación considerar q  1  h con h  y usar la desigualdad de
Bernoulli que afirma que (1  h)  1  nh ,
n
n  ).
4) q  1 (Sugerencia: Estudiar las subsucesiones de términos pares y la de términos impares)

Ejercicio 11
1  a n1
Sea a tal que 0  a  1 y la sucesión ( xn ) tal que xn  1  a  a 2  ...  a n  .
1 a
1) Estudiar la monotonía y la acotación de ( xn ) .
1 1 1 k n 1
2) Estudiar la monotonía y la acotación de la sucesión ( yn ) tal que yn  1    ...   
1! 2! n ! k 0 k !
(Sugerencia: Para la acotación comparar n ! con 2 n )

9
TEMA 1 SUCESIONES DE NÚMEROS REALES

LÍMITE DE UNA SUCESIÓN

APROXIMACIÓN AL CONCEPTO DE LÍMITE FINITO.


1
Consideremos la sucesión ( xn ) cuyo término general es xn  .
n
Se puede
IDEA observar en la tabla de la derecha que a medida
INTUITIVA n xn
que el valor de n aumenta, el valor de xn se aproxima
cada vez más a cero. 1 1
2 0,5
Diremos en este caso que el límite de la sucesión ( xn )
3 0, 3
es 0 y anotaremos: lím xn  0 o lím x 0
n  n
10 0,1
1000 0,001
1000000 0,000001
1000000000 0,000000001
Para poder visualizar esta situación podemos graficar la sucesión en un sistema cartesiano ortogonal o bien sobre la
recta real.

De manera muy informal, podemos decir, que el límite de una sucesión es un número real a si a medida que el número
natural n toma valores cada vez mayores, los términos de la sucesión están cada vez más próximos de a . Esto quiere
decir que podemos acercar los términos de la sucesión tanto como se quiera al número a , siempre y cuando se agrande
lo suficientemente el valor de n .

Esta idea de aproximación es bastante imprecisa y puede llevarnos a cometer errores como en el siguiente ejemplo.
n2
Sea ( xn ) la sucesión definida por xn  cuyo límite estimaremos a partir de una tabla de valores.
1000n  1
n xn
Si observando la tabla adjunta tenemos que concluir sobre
el límite de ( xn ) seguramente diríamos que es 0 cuando 0 2
ESX 1 0,00299
1
en realidad es . 2 0,00199
1000
10 0,00119
Este tipo de dificultades, entre otras, nos lleva a la
necesidad de dar una definición precisa del concepto de 1000 0,0010019
límite de una sucesión.

10
TEMA 1 SUCESIONES DE NÚMEROS REALES

Para poder comprender mejor la definición de límite de una sucesión que expondremos a continuación proponemos al
lector resolver el siguiente ejercicio.

Ejercicio 12
3n  1
Se considera la sucesión ( xn ) tal que xn 
n2
1) Mediante una tabla de valores estimar el límite de la sucesión ( xn ) . Es decir, hallar el número real a al que se
aproxima x n cuando los valores de n  son cada vez mayores. ¿Existe algún término de la sucesión ( xn ) que
sea igual a a ?
2) Utilizando el valor de a hallado en la parte 1), hallar los términos de la sucesión tales que su distancia al número
a sea menor a   0,0001 .
3) Considerar el siguiente enunciado: “Dado un número real positivo  cualquiera, existe un número natural n0 , tal
que para todo natural n mayor que n0 , la distancia entre el término xn y a es menor a  ”.
Suponiendo que el número real   0 es conocido, ¿es posible hallar un número natural n 0 para que el enunciado
sea verdadero? ¿Es único el natural n 0 para el cual el enunciado es verdadero? Justificar.

LÍMITE FINITO DE UNA SUCESIÓN, SUCESIONES CONVERGENTES


En el ejercicio 12 se puede observar que si una sucesión ( xn ) tiene como límite el número real a , la diferencia entre los
términos de la sucesión y su límite es cada vez más pequeña a medida que crece el valor de n . Esto quiere decir que
dado cualquier número real  0 siempre es posible encontrar un número natural n 0 (que en general dependerá del
 elegido) de manera que, para cualquier número natural n  n0 , la distancia entre el término xn y a es posible
hacerla menor que ese  . Esta será entonces nuestra definición de límite de una sucesión.

DEFINICIÓN DE LÍMITE FINITO DE UNA SUCESIÓN


Dada la sucesión ( xn ) de números reales y el número real a .
Decimos que a es el límite de ( xn ) , y anotaremos lím xn  a o ( xn )  a , si, y solo si, dado cualquier número
real   0 (fijado previamente) , existe un número natural n 0 , tal que para cualquier número natural n mayor que
n 0 , la distancia entre xn y a es menor que  .

Diremos que una sucesión ( xn ) es convergente si, y solo si, existe un número real a tal que lím x n  a .

Es importante destacar que el número natural n 0 de definición anterior, en general, dependerá del número real .
Además, en ningún momento se menciona que n 0 sea único. Es más, si para n 0 se cumple la definición de límite,
entonces también se cumplirá n1  , n1  n0 .

a
a
a 

Que a sea el límite de la sucesión ( xn ) significa que a cada número real  0 se le puede asociar algún término de
la sucesión de manera tal que, todos los términos que le siguen están comprendidos entre a  y a  .
11
TEMA 1 SUCESIONES DE NÚMEROS REALES

Podemos interpretar la definición de límite de la siguiente forma: fijado cierto grado de aproximación  arbitrario,
siempre es posible encontrar un número natural n 0 de modo que todos los términos de la sucesión a partir de n 0 :
xn0 1 , xn0 2 , xn0 3 ,... , son una aproximación del número real a con error que no excede el valor de .
Esto significa que todos estos términos están contenidos en el intervalo abierto ( a   , a   ) y por tanto, todos los
términos de la sucesión, salvo un número finito de ellos, están comprendidos entre a   y a   . Dicho de otra
manera, decir que a es el límite de ( xn ) es equivalente a decir que, cualquier intervalo de la forma (a   , a   )
contiene los infinitos términos de ( xn ) salvo quizás, una cantidad finita de ellos.
1
Por todo esto, intuitivamente, podemos decir que la sucesión ( xn ) tal que xn  tiene límite 0 y que la sucesión
n2
( yn ) tal que yn  (1) n no tiene límite 1 ni 1 .

Simbólicamente la definición de límite finito de una sucesión, puede escribirse equivalentemente de cualquiera de las
siguientes maneras:


1) lím xn  a    , n0  / n  , n  n0  d ( xn , a)  


2) lím xn  a    , n0  / n  , n  n0  xn  a  


3) lím xn  a    , n0  / n  , n  n0  a    xn  a  

4) lím xn  a    
, n0  / n  , n  n0  xn   a   , a   

En realidad, en las definiciones anteriores, puede sustituirse la desigualdad n  n0 por n  n0 sin que eso cambie el
significado de la definición.

Como ejercicio, dejamos a cargo del lector negar la definición de lím xn  a .

Adelantamos, que el límite de una sucesión, si existe es único. Esto quedará demostrado más adelante.

Pasemos ahora a presentar algunos ejemplos en los cuales se aplica la definición de límite finito de una sucesión.

EJEMPLO 3
1) Toda sucesión constante es convergente.

En efecto, sea ( xn ) tal que xn  a  . Como    n   xn  a  0   , concluimos que
lím xn  a .
2) Existen sucesiones no convergentes. Por ejemplo, demostraremos que la sucesión ( xn ) tal que xn  (1) n no es
convergente. Supongamos por reducción al absurdo que lím xn  a con a  .
Si a  1 , al elegir   2 , cualquiera sea n0  , existe un número natural n  2n0  1 , n  n0 para el cual
xn  a  1  1  2   , es decir lím xn  1 .

Si a  1 , eligiendo   1 a , cualquiera fuese n0  , existe un número natural n  2n0 , n  n0 para el

cual xn  a  1  a     . Nuevamente concluimos que lím xn  a .

12
TEMA 1 SUCESIONES DE NÚMEROS REALES

EJEMPLO 4
1
Usando la definición, demostraremos que la sucesión ( xn ) tal que xn  tiene límite 0 .
n
1
Debemos demostrar que dado cualquier real   0 , existe n0  tal que n  si n  n0 entonces 0  .
n
1 1 1
Como 0    n  , concluimos que para cualquier número real   0 , dado que no está acotado
n n 
1 1 1 1
superiormente, existe n0  , n0  , tal que n  si n  n0 se tiene  0     y por lo tanto
 n n n0
se cumple que lím xn  0 .

EJEMPLO 5
 6n 2  1 
Demostraremos usando la definición de límite que lím  2   2.
 3n  n  1 
 6n 2  1   6n 2  1
Por definición, lím  2   2     , n0  / n  , n  n0  2 
 3 n  n  1  3n 2
 n  1
6n 2  1 1  2n 2n  1
Comencemos observando lo siguiente: 2  2  2 , n  , n  1 .
3n  n  1
2
3n  n  1 3n  n  1
2n  1 An A
La idea es lograr acotar la expresión por una de la forma  .
3n  n  1
2
Bn 2
Bn
Si numerador y denominador de una fracción son positivos, al aumentar el numerador y reducir el denominador
2n  1 2n 2
obtenemos una fracción mayor que la original, por lo tanto  2 , n  , n  1 .
3n  n  1 3n
2
3n
6n 2  1 1  2n 2n  1 2 2
Tenemos así lo siguiente: 2  2  2    n  n 1
3n  n  1
2
3n  n  1 3n  n  1 3n 3
2 2 2 2
El menor número natural que cumple n  es    1 donde   simboliza la parte entera de .
3  3   3  3
(Recordar que la parte entera de un número real es el mayor número entero que es menor o igual a él)
6n 2  1  2 
Finalmente, tendremos que  2   se verifica para cualquier natural n0  máx 1 ;    1 .
3n  n  1   3  
2

Haciendo un resumen de lo que hemos hecho tenemos lo siguiente:


  2  6n 2  1
  , n0  , n0  máx 1 ;    1 / n  , n  n0  2 2  .
  3   3n  n  1
 6n 2  1 
Esto último implica que lím  2   2 como queríamos demostrar.
 3n  n  1 

OBSERVACIÓN
El lector habrá podido observar que, con la definición de límite, por ahora, solo podemos demostrar que determinado
número real es el límite de una sucesión, pero no tenemos una forma efectiva de saber cuál es el límite de la sucesión en
el caso que lo tenga. Más adelante veremos cómo, a partir de la definición de límite, se pueden deducir determinadas
propiedades que permiten obtener efectivamente ese límite en caso que exista.

13
TEMA 1 SUCESIONES DE NÚMEROS REALES

Ejercicio 13
Para cada sucesión ( xn ) se pide conjeturar el valor de su límite y demostrar dicha conjetura usando la definición.

(1) n 4n
1) xn  2) xn 
n 2n  1
k  k 
3) xn  p ( p  , p0 y k ) 4) xn  p
( p , p2 y k )
n n
(1)n n 1
5) xn  2 6) xn 
n 1 2n  3n
2

3n 2  n  5
7) xn  8) xn  n  (1) n  n (*)
n2  1
(*) En la parte 8) puede ser útil usar la igualdad  a b  
a  b  a b .

Ejercicio 14
Sea ( xn ) una sucesión de números reales y a .
Usando la definición de límite finito de una sucesión, demostrar las siguientes propiedades:
1) lím xn  a  lím ( xn  a )  0 2) lím xn  0  lím xn  0
3) lím xn  a  lím xn  a (Puede ser útil usar la desigualdad a  b  a  b , a  y b  )
¿Es válido el recíproco de 3)?

Lo demostrado en el ejercicio 14 parte 1) nos permite asegurar que, cualquier proposición sobre límite finito de una
sucesión se puede reducir a una proposición de una sucesión con límite cero. Por tal motivo, las sucesiones con límite
cero tienen especial interés y son llamadas sucesiones infinitesimales o infinitésimos. Este tipo de sucesiones serán
estudiadas más adelante con más detalle.

Ejercicio 15
tal que lím n  a .
2
Negar la definición de límite finito de una sucesión y demostrar que no existe un número real a

Como ya hemos adelantado anteriormente una sucesión no puede tener dos límites distintos. Demostraremos este hecho.

TEOREMA UNICIDAD DEL LÍMITE


Si ( xn ) es una sucesión de números reales tal que lím xn  a  y lím xn  b  , entonces a  b .

Demostración
Supongamos que lím x n  a , lím x n  b y a  b .
d ( a, b)
Si a  b entonces d (a, b)  0 . Llamemos   .
2
d ( a, b)
Como lím xn  a , entonces, por definición, dado ese  , n0  / n  , n  n0  d ( xn , a)   
2
d ( a, b)
Como además, lím x n  b , entonces para dicho  , n1  / n  , n  n1  d ( xn , b)   
2
Si p  máx n0 , n1 , entonces n  , n  p  d (a, xn )  d ( xn , b) 
d ( a, b) d ( a, b)
      2
2 2

A su vez, por la desigualdad triangular tenemos 2  d (a, b)  d ( a, xn )  d ( xn , b) .


Hemos llegado a la contradicción: 2  d ( a, xn )  d ( xn , b)  2 . Esto significa que es imposible que a y b sean
distintos y por lo tanto a  b .
14
TEMA 1 SUCESIONES DE NÚMEROS REALES

El siguiente teorema muestra la relación existente entre la acotación y la convergencia de una sucesión.

TEOREMA ACOTACIÓN DE SUCESIONES CONVERGENTES


Si una sucesión ( xn ) de números reales es convergente, entonces está acotada.

Demostración
Como por hipótesis lím xn  a con a  , entonces dado cualquier número real   0 , existe n0  tal que
n  , n  n0  a    xn  a   .

Consideremos el conjunto H  x0 , x1 ,..., xn
0 1
, a  , a  . 
Como H es un conjunto finito de números reales, entonces existe h  mínH y k  máxH . Luego, todos los
términos xn pertenecen al intervalo  h , k  y esto quiere decir que ( xn ) está acotada.

OBSERVACIÓN
El recíproco de este último teorema es falso. La sucesión ( xn ) tal que xn  (1) n está acotada y, por lo demostrado
en el ejemplo 3, no es convergente.
Basta entonces con verificar que una sucesión no está acotada para concluir que no es convergente. De esta manera la
sucesión ( yn ) tal que yn  n no es convergente porque no está acotada.

Ejercicio 16
Presentar, en caso de ser posible, ejemplos de sucesiones que sean:
1) Convergentes y acotadas.
2) Convergentes y no acotadas.
3) Acotadas y no convergentes.
4) No acotadas y no convergentes.

El siguiente teorema, es una caracterización del límite finito de una sucesión y, al igual que los teoremas anteriores,
pueden ser demostrados usando la definición de límite.

TEOREMA CARACTERIZACIÓN DEL LÍMITE FINITO DE UNA SUCESIÓN


Sea ( xn ) una sucesión de números reales y L  .
Las siguientes proposiciones son equivalentes:

1) ( xn )  L .
2) Si a y a  L , existe p  tal que n  , n  q se cumple a  xn y si b y b  L , existe
q tal que n  , n  q se cumple xn  b .
3) Si a , b y L  (a ; b) , existe n0  tal que n  , n  n0 , xn  (a ; b) .

Para que este último teorema quede demostrado bastará con demostrar que 1)  2)  3)  1) . Dejamos a cargo
del lector tal demostración.

Un corolario inmediato, que puede demostrarse por reducción al absurdo, es el siguiente:

COROLARIO
Sea ( xn ) una sucesión de números reales convergente a L  y a .
1) Si existe p tal que n  , n  q se cumple a  xn , entonces a  L .
2) Si existe p tal que n  , n  q se cumple xn a , entonces L  a .

15
TEMA 1 SUCESIONES DE NÚMEROS REALES

Una consecuencia inmediata del teorema de acotación de sucesiones convergentes es el teorema de conservación del
signo. Este afirma que si una sucesión converge a un número positivo (o negativo), todos sus términos, a partir de uno de
ellos, son todos positivos (o todos negativos).

TEOREMA DE CONSERVACIÓN DEL SIGNO


Sea ( xn ) una sucesión convergente de números reales.
1) Si lím xn  a y a  0 , entonces existe n0  tal que n  , n  n0 se cumple xn  0 .
2) Si lím xn  a y a  0 , entonces existe n0  tal que n  , n  n0 se cumple xn  0 .

También se cumple el siguiente teorema:

TEOREMA
Si ( xn ) es una sucesión de números reales tal que lím xn  a  , entonces:
1) Si ( xn ) tiene sus términos positivos, entonces su límite a es positivo o cero.
2) Si ( xn ) tiene sus términos negativos, entonces su límite a es negativo o cero.

Ejercicio 17
a) Demostrar los últimos dos teoremas enunciados.
b) Dar el ejemplo de una sucesión de términos positivos, que sea monótona, pero no convergente a 0 .
c) Dar el ejemplo de una sucesión de términos positivos, que sea convergente a 0 pero que no sea monótona.

Ya hemos visto que una sucesión acotada no necesariamente es convergente. La pregunta es ¿qué otra condición se le
debe pedir a una sucesión acotada para ser convergente?
La respuesta está dada por el siguiente teorema, el cual tiene gran importancia teórica y práctica.

TEOREMA
Sea ( xn ) una sucesión de números reales.

1) Si ( xn ) es una sucesión creciente con x0  x1  x2  ... y acotada superiormente, entonces existe a tal que
a  lím xn donde a es el supremo del conjunto de los términos de ( xn ) .

2) Si ( xn ) es una sucesión decreciente con x0  x1  x2  ... y acotada inferiormente, entonces existe a tal
que a  lím xn donde a es el ínfimo del conjunto de los términos de ( xn ) .

En resumen: Toda sucesión acotada y monótona de números reales es convergente a un número real.

Demostración
1) Sea ( xn ) una sucesión creciente y acotada superiormente y a  sup H siendo H   xn , n   el conjunto de
los términos de ( xn ) .

Dado cualquier  , como a   a , a  no es cota superior del conjunto H . Por lo tanto, existe n0 
tal que a    xn0 .
Como ( xn ) es una sucesión creciente, entonces n  , si n  n0 entonces xn0  xn .
Finalmente tenemos que a    xn  a  a   , n  , n  n0 lo que equivale a decir que a  lím xn
a sup H
2) A cargo del lector.

16
TEMA 1 SUCESIONES DE NÚMEROS REALES

EJEMPLO 6
k n
1 1 1 1
Consideremos la sucesión ( xn ) tal que xn      ...  , n  , n  0
k 1 n  k n 1 n  2 2n
Observemos que:
1 1
1) ( xn ) es estrictamente creciente. En efecto, xn1  xn    0 , n  , n  0 .
2n  1 2n  2
1 1 1 1 1 1 n
2) ( xn ) está acotada superiormente dado que xn    ...     ...    1
n 1 n  2 2n n n n n

Teniendo en cuenta 1) y 2) y el teorema anterior, podemos concluir que ( xn ) es convergente.


Si sospecha que el límite de ( xn ) es 0 , dado que cada sumando tiende a 0 , está equivocado. Observar que como
1 1
x1  y ( xn ) es estrictamente creciente, el límite de ( xn ) será un número real entre y 1.
2 2
(Tampoco podemos asegurar que el límite de ( xn ) sea 1 . De hecho no lo es y, más adelante demostraremos que es L 2 ).

Ejercicio 18
1) Demostrar que el último teorema enunciado no es válido para sucesiones de números racionales. Es decir, no es
cierto que toda sucesión acotada y monótona de números racionales converge a un número racional.
2) Usando lo demostrado en el ejercicio 10 y el último teorema de la página anterior, estudiar la convergencia de la
sucesión ( xn ) definida por xn  q n discutiendo según q  . En caso de convergencia, conjeturar el límite de
( xn ) y demostrar la conjetura usando la definición de límite finito.
1  a n1
3) Se considera la sucesión ( yn ) tal que yn  1  a  a 2  ...  a n  con a  y 0  a  1.
1 a
1
Demostrar que ( yn ) converge y que lím yn  .
1 a

Ejercicio 19
k n

1  3  5  ...  (2n  1)
 (2k  1)
k 1
Sea ( xn ) tal que xn   k n .
2  4  6  ...  2n
 2k
k 1
Demostrar que ( xn ) es convergente y acotar el valor de su límite.

Enunciaremos a continuación dos teoremas de límites y desigualdades. El segundo de ellos, además de ser una condición
suficiente de existencia de límite de una sucesión, puede resultar útil para hallar el límite de una sucesión, cuando se
conoce el límite de otras dos.

TEOREMA MONOTONÍA DEL LÍMITE


Sean ( xn ) e ( yn ) dos sucesiones convergentes de números reales.
Si lím xn  a , lím yn  b y xn  yn , n  , n  n0 , entonces a  b .

TEOREMA DE LA SUCESIÓN COMPRENDIDA O DEL SANDWICH


Sean ( xn ) , ( yn ) y ( zn ) tres sucesiones de números reales.
Si yn  xn  zn , n  , n  n0 y lím yn  lím zn  a  , entonces lím xn  a .

17
TEMA 1 SUCESIONES DE NÚMEROS REALES

EJEMPLO 7
k n
1 1 1 1
Consideremos la sucesión ( xn ) tal que xn  2  2  ...  2  2
n 1 n  2 n  n k 1 n  k

0 , debido a que cada sumando


Ya mencionamos en el ejemplo 6 que no es correcto conjeturar que el límite de ( xn ) vale
tiene límite cero. Sumas de infinitos sumandos que tienden a 0 no necesariamente tiende a 0 .
1 1 1 n
Por ejemplo, yn    ...    1 y lím yn  1 .
n n n n
n sumandos
1 1
Observando que cada sumando de ( xn ) es mayor o igual que
y menor o igual que 2 y que ( xn ) tiene
n n 2
n 1
1 n 1 1 1 n
n sumandos podemos asegurar que:  2  2  2  ...  2  2
n 1 n  n n 1 n  2 n  n n 1
 1   n 
Como lím    lím  2   0 , usando el teorema de la sucesión comprendida, tenemos que lím xn  0 .
 n 1   n 1 

Ejercicio 20
 x1  1
Se considera la sucesión ( xn ) tal que
 xn  xn1  4n , n  2
a) Estudiar la monotonía y la acotación de ( xn ) .
b) ¿Es ( xn ) convergente? Justificar su respuesta.

c) Demostrar que xn  2n  2n ,
2
n  , n 1 .
 xn  1
d) Deducir que lím  2 
 1 . (Se puede asumir que las sucesiones (an ) y (bn ) tales que an  1  y
 2n  n
1
bn  1  son convergentes y que su límite es 1 )
n

Ejercicio 21
1) a) Demostrar el teorema de monotonía del límite enunciado anteriormente.
b) Investigar si el teorema de monotonía del límite es válido si se cambian los símbolos de  por símbolos de .
2) Demostrar el teorema de la sucesión comprendida enunciado anteriormente.
3) Investigar si las siguientes proposiciones son verdaderas o falsas. Justificar sus respuestas.
a) El producto de una sucesión por otra que tiene límite cero, tiene límite cero.
b) Si una sucesión está acotada y otra tiende a cero, entonces el producto de ambas tiende a cero.
4) Calcular los siguientes límites sin usar directamente la definición de límite.
 n2 sen(n2  2n  5)   (1)n   n
a) lím   b) lím   c) lím  n 
 n3  1   n!  3 

La parte 3) del ejercicio 21 nos conduce al siguiente teorema el cual puede demostrarse a partir del teorema de la sucesión
comprendida.

TEOREMA PRODUCTO DE LÍMITE CERO POR SUCESIÓN ACOTADA


Sean ( xn ) e ( yn ) dos sucesiones de números reales.
Si ( xn )  0 e ( yn ) está acotada, entonces ( xn yn )  0

18
TEMA 1 SUCESIONES DE NÚMEROS REALES

PROPIEDADES DE LAS SUBSUCESIONES


Estudiaremos ahora algunas propiedades de las subsucesiones.
Comencemos haciendo algunas preguntas, las cuales proponemos al lector, apelando a la intuición, intentar contestarlas.
Si una sucesión converge, ¿converge cualquier subsucesión de ella? y recíprocamente, si una subsucesión converge,
¿converge la sucesión original? La respuesta a una de estas preguntas está dada por el siguiente teorema.

TEOREMA
Si ( xn ) es una sucesión de números reales convergente a a , entonces toda subsucesión de ( xn ) converge a a .

Es decir, toda subsucesión de una sucesión convergente es también convergente y tiene el mismo límite de la sucesión.

Demostración
Sea ( xnk ) una subsucesión cualquiera de la sucesión ( xn )  
y xn , xn ,..., xn ,... el conjunto de términos de
0 1 k
( xnk ) .

Para que lím xnk  a debemos demostrar que   , p  / nk  , nk  p se cumple xnk  a   .

Por lo tanto, dado  , como por hipótesis lím xn  a , p  / n  , n  p se cumple xn  a   . (*)
Como el conjunto A  n0 , n1 ,..., nk ,...   formado por los índices de la subsucesión ( xnk ) es un conjunto

infinito, existe n j  A tal que n j  p . Luego, nk  , nk  n j tenemos nk  p y usando (*) , xn  a   .


k


Finalmente, hemos demostrado que, dado  , p  / nk  , nk  p se cumple xnk  a   y por lo

tanto lím xnk  a quedando así demostrado el teorema.

OBSERVACIÓN
Este último teorema enunciado puede utilizarse para demostrar que una sucesión no converge. El camino es buscar dos
subsucesiones de ella que tengan límites distintos. Por ejemplo, podemos justificar que la sucesión ( xn ) definida por

xn  (1) n no es convergente, dado que las subsucesiones ( x2 n ) y ( x2 n1 ) son convergentes a 1 y 1


respectivamente.
A su vez, si sabemos que una sucesión ( xn ) es convergente y queremos calcular su límite, bastará con hallar el límite de
cualquier subsucesión de ( xn ) , este será el límite de ( xn ) .

Es consecuencia inmediata de este último teorema el siguiente corolario:

COROLARIO
Si ( xn ) es una sucesión de números reales tal que lím xn  a  , entonces lím xn k  a , k  .

Demostración
Como ( xn  k ) es una subsucesión de ( xn ) , por el teorema anterior, si lím xn  a , entonces lím xn k  a .

De este corolario se deduce que, el límite de una sucesión no se altera si se elimina un número finito de términos.

Ejercicio 22
a) Sea ( xn ) una sucesión de números reales tal que lím x2n  a  y lím x3n  b  .
1) Demostrar que ab.
2) ¿Se puede afirmar quelím xn  a ? Justificar su respuesta.
b) Sea ( xn ) una sucesión de números reales tal que lím x2n  a y lím x2 n 1  a , a  .
¿Se puede afirmar que lím xn  a ? Justificar su respuesta.
19
TEMA 1 SUCESIONES DE NÚMEROS REALES

El siguiente teorema, generaliza lo demostrado en la parte b) del ejercicio 22, y establece una condición necesaria y
suficiente para que una sucesión sea convergente.

TEOREMA
Sean A  y B dos conjuntos infinitos y ordenados tales que A  B  .
Una sucesión ( xn ) converge a L si, y solo si, las subsucesiones ( xn ) nA y ( xn ) nB convergen a L .

Como corolario inmediato de este teorema tenemos lo siguiente:

COROLARIO
Una sucesión ( xn ) converge a L si, y solo si, las subsucesiones ( x2 n ) y ( x2 n 1 ) convergen a L .

Ejercicio 23
Demostrar el último teorema enunciado.

Hemos visto que toda sucesión convergente está acotada y que el recíproco es falso. El teorema de Bolzano – Weierstrass,
que enunciaremos a continuación, dice algo importante sobre las sucesiones acotadas y tiene varias aplicaciones. Para
demostrar este teorema utilizaremos el siguiente lema.

LEMA DE LA SUBSUCESIÓN MONÓTONA


Toda sucesión ( an ) de números reales contiene una subsucesión monótona.

Demostración
En la demostración del lema usaremos el concepto de índice de contención de una sucesión.

Decimos que n  es un índice de contención de la sucesión ( an )


si, y solo si, am  an , m  , mn.
En la gráfico adjunto se representaron algunos términos de una sucesión
(an ) . Observar que 2 y 6 son índices de contención de (an )

Dado que la cantidad de índices de contención de una sucesión puede ser


infinito o finito, estudiemos los dos casos.

1) Supongamos que la cantidad de índices de contención de la sucesión son infinitos. Sean k1 , k2 , k3 ,..., kn ,... tales
índices y que k1  k2  k3  ...  kn  ... .
Para un n  fijo, como k n es un índice de contención de ( an ) tenemos que ak1  ak2  ak3  ...  akn  ... , lo
que demuestra que la subsucesión (akn ) es monótona no creciente.
2) Supongamos ahora que ( an ) tiene un número finito de índices de contención.
n no es un índice de contención de la sucesión ( an ) si, y solo si, existe m  , mn tal que am  an .
Como la cantidad de índices de contención es finito, existe el máximo índice de contención al que llamaremos k1 .
Dado que k1 no es un índice de contención de ( an ) , entonces existe k2  , k2  k1 tal que ak2  ak1 .
A su vez, como k 2 no es un índice de contención (por ser mayor que k1 , máximo índice de contención), existe
k3  , k3  k2 tal que ak3  ak2 . Siguiendo este proceso, obtenemos una sucesión de índices (kn ) estrictamente
creciente tal que la subsucesión (akn ) es monótona no decreciente.

20
TEMA 1 SUCESIONES DE NÚMEROS REALES

Si ahora suponemos que una sucesión de números reales está acotada, podemos además construir a partir de ella una
subsucesión convergente. Eso es lo que enuncia el teorema de Bolzano – Weierstrass cuya demostración es inmediata
usando el lema de la subsucesión monótona.

TEOREMA DE BOLZANO – WEIERSTRASS PARA SUCESIONES


Toda sucesión acotada de números reales tiene una subsucesión convergente.

Demostración
Sea ( an ) una sucesión acotada de números reales.
Por el lema de la subsucesión monótona, ( an ) contiene una subsucesión (akn ) monótona.
Como ( an ) está acotada, entonces también lo estará (akn ) .
Finalmente, como (akn ) es monótona y acotada resulta que (akn ) es convergente.

PROPIEDADES ARITMÉTICAS DE LOS LÍMITES FINITOS


Como el lector ha podido observar, en el caso de una sucesión convergente, resulta muy engorroso utilizar la definición
de límite finito para demostrar que cierto número real es su límite. Para evitar usar tal definición veremos un conjunto de
propiedades que permitirán obtener el límite de una sucesión a partir del límite de sucesiones más sencillas.

A partir de dos sucesiones de números reales ( xn ) e ( yn ) podemos definir nuevas sucesiones. Estas sucesiones
x 
( sn )  ( xn  yn ) , (d n )  ( xn  yn ) , ( pn )  ( xn yn ) y (cn )   n  llamadas respectivamente suma,
 yn 
diferencia, producto y cociente de las sucesiones ( xn ) e ( yn ) , quedan definidas de la siguiente manera:
xn
n  , sn  xn  yn , d n  xn  yn , pn  xn yn y cn  si yn  0 .
yn

Es lógico pensar que si las sucesiones ( xn ) e ( yn ) convergen respectivamente a los números reales a y b , entonces
 xn 
las sucesiones ( xn  yn ) y ( xn yn ) son convergentes respectivamente a a  b y ab . Además, si b  0 ,  
 yn 
a
converge a . Estos hechos quedan demostrados a continuación.
b

TEOREMA: ARITMÉTICA DE LÍMITES FINITOS


Sean ( xn ) e ( yn ) dos sucesiones convergentes de números reales.
Si lím xn  a  y lím yn  b  , entonces:
1) lím( xn  yn )  lím xn  lím yn  a  b
2) lím( xn yn )  lím xn lím yn  ab
COROLARIOS: a) lím( xn )  lím xn   a ,   .
b) lím( xn  yn )  lím xn  lím yn  a  b

 x  lím xn a
3) Si b  0 entonces lím n   
 yn  lím yn b

21
TEMA 1 SUCESIONES DE NÚMEROS REALES
Demostración de 1)
Para que lím( xn  yn )  a  b , debemos demostrar que dado cualquier número real  0, existe un número natural

p tal que n  si n  p entonces ( xn  yn )  (a  b)   .


Comencemos por considerar cualquier número real  0.
 
Si lím xn  a , entonces para , existe n0  tal que n  , n  n0 se cumple xn  a  .
2 2
 
Como lím yn  b , entonces para , existe n1  tal que n  , n  n1 se cumple yn  b  .
2 2
Si p  máx n0 , n1 , entonces n  si n  p , entonces n  n0 y n  n1 y por lo tanto tendremos:
 
( xn  yn )  (a  b)  ( xn  a)  ( yn  b)  xn  a  yn  b    .
desigualdad 2 2
triangular

Resumiendo, dado  0, hemos encontrado p  tal que n  , n  p se cumple ( xn  yn )  (a  b)  


Esto último termina de demostrar que lím( xn  yn )  a  b .
Demostración de 2)
Para que lím( xn yn )  ab bastará con que demostremos que lím( xn yn  ab)  0 (ver ejercicio 14, parte 1)).
Observar que la diferencia xn yn  ab la podemos escribir de la siguiente manera:
xn yn  ab  xn yn  xnb  xnb  ab  xn ( yn  b)  ( xn  a )b
Como por hipótesis lím xn  a  , tenemos que ( xn ) es una sucesión acotada (por el teorema de acotación de
sucesiones convergentes) y como además, lím yn  b  sabemos que lím ( yn  b)  0 .
Si ( xn ) está acotada y lím ( yn  b)  0 , entonces (por un teorema anterior) tenemos que lím xn ( yn  b)  0 .
Razonando de forma análoga llegamos a que lím ( xn  a )b  0 . Luego, usando lo demostrado en la parte 1):
lím  xn yn  ab   lím  xn ( yn  b)  ( xn  a )b   lím xn ( yn  b)  lím ( xn  a )b  0 y lím xn yn  ab .
x a
Demostración de 3). Demostraremos que lím  n    0 .
 yn b 
Si b  0 , entonces por teorema de conservación del signo, existe un número natural a partir del cual yn  0 .
xn a bxn  ayn 1
    bxn  ayn 
yn b byn byn
Usando los corolarios de este teorema lím  bxn  ayn   límbxn  límayn  blímxn  alímyn  ba  ab  0
 1 
Si demostramos que la sucesión   está acotada, en virtud del teorema producto de límite cero por sucesión acotada,
 byn 
1
tendríamos lím  bxn  ayn   0 quedando de esta manera demostrado el teorema.
byn
Como lím yn  b entonces por lo demostrado en la parte 2) tenemos límbyn  b 2 .
b2 b2
 b y límbyn  b , entonces usando la definición de límite finito, para   , existe un número
2 2
Como
2 2
2
b
natural p tal que n  , n  p se cumple 0   byn . Hemos llegado a que existe un número natural p tal
2
b2 1 2  1 
que n  , n  p se cumple 0   byn , es decir 0   2 . Esto justifica que   es una sucesión
2 byn b  byn 
acotada como queríamos demostrar.
22
TEMA 1 SUCESIONES DE NÚMEROS REALES

OBSERVACIÓN
El teorema de aritmética de límites finitos puede aplicarse a un número finito de sucesiones convergentes. Debe tenerse
especial cuidado de no aplicarlo en cualquier caso.
1 1 1 1 1 1 n
Por ejemplo, si yn    ...  , dado que yn    ...    1 tenemos que lím yn  1 .
n n n n n n n
n sumandos n sumandos
Ahora, si aplicamos el teorema de aritmética de límites finitos llegaríamos al siguiente resultado incorrecto:
1 1 1 1 1 1
lím    ...    lím  lím  ...  lím  0
n n n n n n

EJEMPLO 8
 2 xn 2  3xn  1 
Si ( xn ) es una sucesión de números reales tal que lím xn  1 , calcular lím   . (En general, este
 xn 2  1 
 2 x 2  3x  1 
enunciado lo solemos abreviar escribiendo lím  n 2 n  y sobreentendiendo que xn  1 , n  )
( xn )1
 xn  1 
Fácilmente el lector podrá verificar, aplicando el teorema de aritmética de límites finitos, las siguientes igualdades:
lím(2 xn 2  3xn  1)  lím( xn 2  1)  0 .
Dado que el límite del denominador es cero, no podemos de antemano concluir nada sobre el límite pedido.
Observando que: 2 xn 2  3xn  1  ( xn  1)(2 xn  1) y ( xn 2  1)  ( xn  1)( xn  1) tenemos:
 2 xn 2  3xn  1   ( xn  1)(2 xn  1)   2 xn  1  1
lím    lím    lím  
 xn 2  1   ( xn  1)( xn  1)   xn  1  2

Ejercicio 24
Calcular los siguientes límites:
 xn 2  xn   xn 2  xn   xn p  a p 
1) lím   2) lím  3  3) lím   , a , p , p 1
( xn )0 x  x 2
 n n  ( xn )1 x  4 x  3
 n n  ( xn )a
 xn  a 

EJEMPLO 9
 2n2  3n  5 
Utilizaremos las propiedades aritméticas de los límites para calcular el siguiente límite: lím  
 n n 
2

El procedimiento para calcularlo consiste en dividir numerador y denominador entre n2 .


 3 5  3 5
n2  2    2 
 3n  5
2
2n
  n n2 
 n n2
n n2
 1
1
1
n2 1  
 n n
3  5 1
Como lím   lím 2   lím   0 , las propiedades aritméticas de los límites permiten concluir que:
n n  n
 3 5  lím  2  3  5  lím2  lím  3   lím  5 
 2n 2  3n  5   2  n  n2  
 n n2 
  
n
 2  200
n  
lím    lím    2
 n n 
2
 1
1
  1 1 1 0
lím  1   lím1  lím  
 n   n n

23
TEMA 1 SUCESIONES DE NÚMEROS REALES

Ejercicio 25
Calcular los siguientes límites
 n2  n  1  n2  5 
a) lím  b) lím  n 
 n3   n 1 
 1 2 3 n 1 n   n 2  (1) n n  3 
c) lím  2  2  2  ....  2  2  d) lím  
n n n n n   n5  (1) n n  1 
 

Ejercicio 26
a) Sea ( xn ) una sucesión convergente de términos no negativos.
1) Si lím xn  0 , demostrar que lím xn  0
xn  a
2) Si lím xn  a  , a  0 , demostrar que lím xn  a . (Sugerencia: Usar xn  a  )
xn  a
b) Calcular los siguientes límites:
 x 2 3  2  xn  3 
1) lím  n 2  2) lím  
( xn )1  x  1  ( xn )7  x  2  3 
 n   n 
c) Calcular los siguientes límites:
n  n 1  n 
1) lím 2) lím  
n2  n  1 n 
3) lím  n  (1) n  n  4) lím  n 2  2n  n 
En el siguiente ejemplo, utilizaremos las propiedades aritméticas de los límites finitos para calcular el límite de una
sucesión definida por recurrencia.

EJEMPLO 10
 x0  2

Se considera la sucesión ( xn ) de términos positivos definida de la siguiente forma:  4  xn2
 xn1  2 x
 n
Demostraremos que ( xn ) es monótona y acotada y finalmente calcularemos su límite.

Calculando algunos términos de la sucesión puede conjeturarse que ( xn ) es decreciente y que sus términos son todos
mayores a 2 . Demostraremos nuestra conjetura.
En primera instancia demostraremos por inducción completa que xn  2 , n  .
Base inductiva: x0  2 (La cual se verifica debido a como fue definida la sucesión)
Hipótesis inductiva: xn  2
Tesis inductiva: xn1  2
Demostración la tesis inductiva:
4  xn2
xn1  2  4  xn2  4 xn  4  xn2  4 xn  0  ( xn  2) 2  0 .
2 xn xn 0

Dado que la última desigualdad es verdadera, ya que por hipótesis inductiva xn  2 , y es equivalente a primera de las
desigualdades, tenemos que xn1  2 .
De esta forma quedó demostrado que xn  2 , n 

24
TEMA 1 SUCESIONES DE NÚMEROS REALES

Por último demostraremos que ( xn ) es decreciente estudiando el signo de ( xn1  xn ) .

4  xn2 4  xn2  2 xn2 4  xn2


xn1  xn   xn  
2 xn 2 xn 2 xn

4  x2    0           0    
El signo de la expresión es el siguiente:
2x 2 0 2
4  xn2
Como xn  2 , concluimos que xn1  xn   0 demostrando así que ( xn ) es decreciente.
2 xn
Dado que ( xn ) es decreciente y está acotada inferiormente por 2 , podemos concluir, que existe a  tal que
a  lím xn .
Si lím xn  a entonces lím xnk  a , k  . Hallaremos el valor de a .

4  xn2 4  xn2
Dado que xn1  , al tomar límites a ambos lados de la igualdad tenemos que: lím xn1  lím .
2 xn 2 xn
4  a2
Usando la propiedad aritmética de los límites finitos deducimos que se deberá cumplir la igualdad a .
2a
Para que esta última igualdad sea verdadera deberá ser a  2 o a  2 .
Dado que ( xn ) es una sucesión de términos positivos, su límite no puede ser negativo y por lo tanto vale 2 .
Hemos demostrado que la sucesión ( xn ) es decreciente, acotada inferiormente y que tiene límite 2 .

Ejercicio 27
Para cada una de las siguientes sucesiones se pide:
1) estudiar acotación.
2) estudiar monotonía.
3) demostrar que son convergentes y hallar su límite.
 1
 x1  2  x0  0
  x1  1
a)  b)  6  xn c) 
 xn1  6  x  xn1  1  xn
2 xn
 xn1 
 1  xn2  n

Ejercicio 28
Se dice que los babilónicos aproximaban el valor de la raíz cuadrada de un número real positivo mediante sumas y
divisiones. Supongamos que  es un número positivo y que queremos aproximarnos al número  .
El procedimiento de aproximación de los babilónicos consistía en elegir un número arbitrario a0   no tan alejado
  
a0  a1  an 
a0 a1 an an2  
de  . A partir de él, construían los números: a1  , a2  , … , an1   .
2 2 2 2an
Efectivamente, con tales números nos aproximamos a  y de manera muy rápida (comprobarlo para el caso   2 ).
Justificar, usando sucesiones, que el proceso realizado por los babilónicos es correcto.

25
TEMA 1 SUCESIONES DE NÚMEROS REALES

EL NÚMERO e
La primera vez que aparece una de las definiciones del número e , junto con una aproximación del mismo, es en el año
1683 con el matemático Jacob Bernoulli (1654 – 1705). En realidad, la primera vez que aparece una aproximación de e
es 1614 en un tratado sobre los logaritmos hecho por el matemático escocés John Napier (1550 – 1617). Bernoulli definió
1 1 1 k n 1
el número e como límite de la sucesión ( xn ) definida por: xn  1    ...   .
1! 2! n ! k 0 k !
Estudiaremos en el siguiente ejemplo esta sucesión junto con otra que también permite definir al número e.

EJEMPLO 11
1 k n 1
n
1 1  1
Consideremos las sucesiones ( xn ) y ( an ) tales que xn  1    ...   y an  1   .
1! 2! n ! k 0 k !  n
La sucesión ( xn ) es convergente por estar acotada superiormente y ser monótona creciente (ver ejercicio 11). Su límite
es un número real que, por definición, llamaremos e .

La sucesión ( an ) , al igual que ( xn ) , es convergente, pero la demostración de este hecho, como veremos a continuación
no es tan sencilla.
Demostraremos que ( an ) es monótona creciente, que está acotada y que su límite también es e.
Utilizaremos la fórmula del binomio de Newton para desarrollar an .
k n
n!
La fórmula de Binomio de Newton afirma que ( x  y)n   x nk y k . Por lo tanto, tenemos que:
k 0 ( n  k )!k !
n
 1 n 1 n(n  1) 1 n(n  1)(n  2)...1 1
an  1    1    ...  
 n
2
1! n 2! n n! nn
1  1  1  1  2  1  1  2   n  1 
 1  1  1    1  1    ...  1  1   ...1  
2!  n  3!  n  n  n!  n  n   n 

Observar que para cada n , n  1 , an es suma de términos no negativos. A medida que n crece, no solo el
número de sumandos de a n aumenta sino que también crece cada sumando. Luego ( an ) es monótona creciente.
Para demostrar que ( an ) está acotada procedemos de la siguiente manera:
1  1  1  1  2  1  1  2   n  1  1 1 1
an  1  1  1    1  1    ...  1  1   ...1    1  1    ... 
2!  n  3!  n  n  n!  n  n   n  2! 3! n!
1 1 1 1
Es decir, n  , n  1 se cumple an  yn  1  1   2  ...  n1  1  1  1  n1  3 .
2 2 2 2
Hemos demostrado que ( an ) está acotada por 3 . Como, además, es monótona creciente, entonces es convergente.
Demostraremos ahora que el límite de ( an ) es el número e . En efecto, n  , n  p , se cumple:
1  1  1  1  2  1  1  2   p  1 
an  1  1  1    1  1    ...  1  1   ...1  
2!  n  3!  n  n  p!  n  n   n 
 1  1  1  1  2  1  1  2   p  1  
Fijado p  , lím an  lím 1  1  1    1  1    ...  1  1   ...1   
n  2!  n  3!  n  n  p!  n  n   n  
1 1 1
 lím an  1  1    ...   x p
2! 3! p!
1 1  1
Dado que esta última desigualdad vale p  tenemos que  lím an  lím 1  1 
  ...    e
 2! 3! p !
Finalmente, como an  xn  líman  límxn  e y como además lím an  e , concluimos que lím an  e .

26
TEMA 1 SUCESIONES DE NÚMEROS REALES
n
 a 
De forma análoga, se puede demostrar que la sucesión (bn ) definida mediante bn  1   con a  , está
 n
acotada y es monótona creciente y por lo tanto es convergente (la demostración de este hecho se puede encontrar en el
capítulo 7 del libro de Lines E. (1983), Principio de Análisis Matemático).

Lo demostrado en el ejemplo 11 hace que las siguientes dos definiciones tengan sentido.

DEFINICIÓN DE NÚMERO e
n
 1 1 1 1  1
Llamamos número e al número real: e  lím 1     ...    lím 1   .
 1! 2! 3! n!   n
El número e es un número irracional comprendido entre 2 y 3 (La irracionalidad de e quedará demostrado en el tema
Polinomios de Taylor).
Para obtener aproximaciones de e bastará con atribuir valores a n.
e  2,71828


Una vez definido el número e , podemos definir la potencia de base e y exponente a de la siguiente manera:

DEFINICIÓN DE POTENCIA DE BASE e



Si a 
a
, llamamos potencia de base e y exponente a al número real, que anotaremos e , definido mediante:
n
 a
e  lím 1  
a

 n
n
 a  
También es convergente la sucesión de números reales (cn ) tal que cn  1   con a  y su límite es e a .
 n 
Teniendo en cuenta estas definiciones es que podemos demostrar propiedades ya conocidas por el lector, como por
ejemplo, e a  eb  ea b y propiedades de monotonía como: si a  b , entonces e a  eb .
Entre las propiedades de las potencias de base e , una de gran utilidad es la que expresa que todo número real positivo se
puede expresar como una potencia de base e .


Una vez demostrado que, para todo b , existe un único número a  tal que b  e a , es posible definir el
logaritmo neperiano o natural de b .

DEFINICIÓN DE LOGARITMO NEPERIANO O NATURAL



Si b  , llamamos logaritmo neperiano o natural de b , al número real a , que anotaremos a  Lb o a  ln b
definido mediante: e  b .
a

Es decir, e  b  a  Lb
a

De la definición de logaritmo neperiano y de las propiedades de la potencia de base e , se pueden deducir las conocidas
propiedades de los logaritmos.

El hecho de que cualquier número positivo se pueda expresar como una potencia de base e , permite definir potencia de
base un número real positivo.

DEFINICIÓN DE POTENCIA DE BASE UN NÚMERO REAL POSITIVO



Si b  y a  , llamamos potencia de base b y exponente a al número real, que anotaremos b definido
a

mediante: b  e
a aLb

Usando esta última definición se pueden demostrar todas las propiedades de la potencia que el lector conoce de cursos
anteriores. Por más detalles, se sugiere consultar el capítulo 7 del libro de Lines E. (1983), Principio de Análisis
Matemático.
27
TEMA 1 SUCESIONES DE NÚMEROS REALES

LÍMITE INFINITO DE UNA SUCESIÓN - SUCESIONES DIVERGENTES


De manera informal, podemos decir, que el hecho de que una sucesión ( xn ) tenga límite “más infinito” significa que a
medida que el número natural n toma valores cada vez “más grandes”, los términos de la sucesión son cada vez mayores.
Además, dado cualquier número real positivo, siempre es posible encontrar un término de la sucesión que sea mayor a él.
Esta idea entre otras, se resume en las siguientes definiciones.

DEFINICIONES DE LÍMITE INFINITO DE UNA SUCESIÓN


Sea ( xn ) una sucesión de números reales.
1) Decimos que ( xn ) tiene límite más infinito , y escribimos límx n   o ( xn )   , si, y solo si, dado
cualquier número real k  0 existe un número natural n 0 tal que, cualquiera sea el número natural n mayor que
n 0 , se cumple xn  k .

Simbólicamente: lím xn    k  , n0  / n  , n  n0  xn  k .

2) Decimos que ( xn ) tiene límite menos infinito , y escribimos límx n   o ( xn )   , si, y solo si, dado
cualquier número real k  0 existe un número natural n 0 tal que, cualquiera sea el número natural n mayor que
n 0 , se cumple xn  k .

Simbólicamente: lím xn    k  , n0  / n  , n  n0  xn  k .

Los casos 1) y 2) son casos particulares de la siguiente definición:

3) Decimos que ( xn ) tiene límite infinito ,y escribimos límxn   o ( xn )   , si, y solo si, dado cualquier
número real k  0 existe un número natural n 0 tal que, cualquiera sea el número natural n mayor que n 0 , se
cumple xn  k .

Simbólicamente: lím xn    k  , n0  / n  , n  n0  xn  k .


Queda a cargo del lector investigar si en estas últimas definiciones es posible cambiar las condiciones k y

k por k .

Es importante destacar que   ,   y  no son números reales. Estas notaciones sirven apenas para dar alguna
información sobre ciertas sucesiones.

Ejemplos de sucesiones que tienen límite  son las sucesiones cuyo término general son: xn  n y xn  n .
2

Ejemplos de sucesiones que tienen límite   son las que tienen término general: xn  4n y xn  5  n .
2

Un ejemplo de una sucesión que tiene límite infinito es ( xn ) tal que xn  (1)n n (Observar que esta sucesión no
tiene límite  ni  ).

OBSERVACIÓN
Es cierto que si ( xn )   o ( xn )   , entonces ( xn )   . Sin embargo, el recíproco no es válido, basta

considerar la sucesión ( xn ) tal que xn  (1)n n .

28
TEMA 1 SUCESIONES DE NÚMEROS REALES

DEFINICIÓN DE SUCESIÓN DIVERGENTE.


Sea ( xn ) una sucesión de números reales.
1) Decimos que ( xn ) es divergente si, y solo si, límx n   o límx n   o límxn  

2) Decimos que ( xn ) tiene límite, si y solo si, ( xn ) es convergente o divergente.

n y d n  (1) n
n
Son sucesiones divergentes las sucesiones de término general: an  n , bn   n , cn 
2

No son ni convergentes ni divergentes las sucesiones de término general: xn  (1) y xn  sen n .


n

Sigue siendo válido, que el límite de una sucesión es único, es decir, a    ;   y b    ;  
si límxn  a y límxn  b , entonces a  b .

El lector debe tener en cuenta, que lo expuesto en este material puede tener diferencias con lo desarrollado en algunos
textos. Algunos definen sucesiones divergentes como aquellas que no son convergentes. Es decir, clasifican las
sucesiones únicamente en convergentes y divergentes.

Ejercicio 29
a) En cada uno de los siguientes casos conjeturar el límite de la sucesión ( xn ) y demostrar su conjetura usando las
definiciones correspondientes.
1) xn  n
2
2) xn  n
3) ( xn ) es una progresión aritmética. 4) ( xn ) es una progresión geométrica de razón q 1.
b) Usando las definiciones correspondientes, demostrar:
 1   n2  5n  8 
1) lím     2) lím    
 2n  1  2n  1   n3 
 n  n2   (1)n n2 
3) lím     4) lím  n 

 3 n   n  (1) 

Ejercicio 30
Indicar si las siguientes proposiciones, relativas a sucesiones de números reales, son verdaderas o falsas. Demostrar o
dar contraejemplo.
1) Las sucesiones divergentes no son acotadas.
2) Si ( xn ) es una sucesión creciente, entonces lím xn   .
3) Si ( xn ) es una sucesión creciente y no acotada superiormente entonces lím xn   .
4) Si ( xn ) no es monótona y no está acotada superiormente, entonces lím xn   .
5) Si ( xn ) es una sucesión decreciente y no acotada inferiormente, entonces lím xn   .
6) Existen sucesiones no monótonas y convergentes.
7) Existen sucesiones no monótonas y divergentes.
8) Si ( xn ) es una sucesión tal que lím xn   , entonces lím (  xn )   .

29
TEMA 1 SUCESIONES DE NÚMEROS REALES

Del ejercicio 30 extraemos el siguiente teorema:

TEOREMA
Sea ( xn ) una sucesión de números reales.
Si ( xn ) es creciente y no acotada superiormente entonces lím xn  
Si ( xn ) es decreciente y no acotada inferiormente entonces lím xn  

En resumen: Toda sucesión monótona tiene límite (finito si está acotada e infinito si no lo está).

Demostración
A cargo del lector.

Ejercicio 31
a1  5

Sea ( an ) una sucesión definida por  4  an2
an1  , n  , n 1
 5
1) Estudiar monotonía de ( an ) .
2) Mostrar que la suposición que ( a n ) es convergente lleva a una contradicción. Calcular lím an .

Las siguientes proposiciones pueden demostrarse directamente a partir de las definiciones correspondientes.

TEOREMA
Sea ( xn ) una sucesión de números reales.
1) Si ( xn ) es divergente a  (o  ), entonces toda subsucesión de ella diverge a  (o  ).

2) ( xn ) tiene una subsucesión divergente a  , si, y solo si, ( xn ) no está acotada superiormente.

3) ( xn ) tiene una subsucesión divergente a  , si, y solo si, ( xn ) no está acotada inferiormente.

4) ( xn ) tiene una subsucesión divergente, si, y solo si, ( xn ) no está acotada.

PROPIEDADES ARITMÉTICAS DE LOS LÍMITES INFINITOS


Al igual que ocurre con las sucesiones convergente, las definiciones de límites de sucesiones divergentes son poco
prácticas para el cálculo de límites. Enunciaremos un teorema que permitirá calcular, de forma relativamente sencilla,
límites de sucesiones a partir de otras cuyo límite es conocido. Antes de enunciar dicho teorema proponemos al lector
realizar el siguiente ejercicio.

Ejercicio 32
Indicar si las siguientes proposiciones son verdaderas o falsas. Dar un contraejemplo para las falsas y, en lo posible,
demostrar las verdaderas.
1) Si dos sucesiones son divergentes, entonces su suma es una sucesión divergente.
2) Si una sucesión es divergente y otra sucesión es convergente, entonces su suma es una sucesión divergente.
3) Si dos sucesiones son divergentes, entonces su producto es una sucesión divergente
4) Si una sucesión convergente a cero y otra diverge, entonces su producto es una sucesión que converge a cero.
5) Si dos sucesiones son divergentes, entonces su cociente es una sucesión convergente a uno.
6) Si dos sucesiones son divergentes, entonces su cociente es una sucesión divergente.
7) Existen sucesiones ( xn ) e ( yn ) tales que ( xn )  0 , ( yn )   y ( xn yn ) ni converge ni diverge.

30
TEMA 1 SUCESIONES DE NÚMEROS REALES

Luego de realizado el ejercicio 32 el lector puede observar que, por ejemplo, si lím xn   y lím yn   nada
x 
podemos decir sobre lím ( xn  yn ) y lím  n  . Lo mismo ocurre con lím ( xn yn ) si lím xn   y lím yn  0
 yn 
En el siguiente teorema resumimos algunos de los resultados obtenidos en el ejercicio 32. Las hipótesis hechas en las
distintas partes del teorema tienen como cometido evitar algunas de las situaciones recién mencionadas.

TEOREMA ARITMÉTICA DE LÍMITES INFINITOS


Sean ( xn ) e ( yn ) dos sucesiones de números reales .
1) Si lím xn   e ( yn ) está acotada, entonces lím ( xn  yn )  

2) Si lím xn   y r  
tal que yn  r , n  , n  p , entonces lím xn yn   .

3) Si los términos de la sucesión ( xn ) no son nulos y:


 1 
a) lím xn   , entonces lím    0 .
 xn 
 1   1
b) lím xn  0 , entonces lím     . (Si los términos de ( xn ) son positivos tendremos lím    
 xn   xn 
 1
y si son negativos lím     )
 xn 
Demostración de 1)
Como ( yn ) está acotada, entonces existe h tal que y n  h , n  , nq

Si lím xn   , entonces dado cualquier k  , existe p tal que xn  h  k , n  , n  p .


Luego xn  yn  xn  yn  h  k  h  k , n  , n  máx  p , q y por lo tanto lím ( xn  yn )   .

Demostración de 2)
Por hipótesis r  
tal que yn  r , n  , n  p .
Observar que xn yn  xn yn  xn r , n  , n  p .
 k
Si lím xn   , entonces k  , q  , q  p tal que xn  , n  , n  q .
r
Luego, xn yn  xn yn  xn r  k , n  , n  q y por lo tanto lím ( xn yn )   .

Demostración de 3)
A cargo del lector.

OBSERVACIONES
En la parte 1) del teorema de aritmética de límites infinitos, la hipótesis que ( yn ) está acotada es porque no podemos
concluir sobre lím ( xn  yn ) sabiendo solamente que lím xn   y lím yn   .
En la parte 2) , la hipótesis hechas excluyen la posibilidad de límites de la forma con lím ( xn yn ) con lím xn   y

lím yn  0 . La condición r  
tal que yn  r , n  , n  p excluye la posibilidad que ( yn ) tenga una
subsucesión que tienda a cero.

31
TEMA 1 SUCESIONES DE NÚMEROS REALES

Ejercicio 33
Sean ( xn ) e ( yn ) dos sucesiones de números reales.
1) Sabiendo que lím xn   y lím yn   , dar ejemplos donde lím( xn  yn )   , lím( xn  yn )   ,
lím( xn  yn )  a  y donde lím( xn  yn ) no existe.

2) Sabiendo que lím xn   y lím yn  0 , dar ejemplos donde lím( xn yn )   , lím( xn yn )   ,


lím( xn yn )  a  y donde lím( xn yn ) no existe.

x 
3) Sabiendo que lím xn   y lím yn   , dar ejemplos que muestren que puede ocurrir lím n    ,
 yn 
x  x 
lím  n   a  o que no exista lím n  .
 yn   yn 
 x 
4) Si n  , existe k  tal que xn  k  0 e yn  0 y lím yn  0 , demostrar que lím  n    .
 yn 
x 
5) Si ( xn ) está acotada y lím yn  0 , demostrar que lím  n   0 .
 yn 
Ejercicio 34
Sean ( xn ) e ( yn ) dos sucesiones de números reales y xn  yn , n  , n p.
Demostrar que:
1) Si lím xn   , entonces lím yn   . Presentar un ejemplo que demuestre que el recíproco es falso.

2) Si lím yn   , entonces lím xn   . Presentar un ejemplo que demuestre que el recíproco es falso.

Los resultados obtenidos sobre la aritmética de límites y sus corolarios se resumen en la siguiente tabla. Los casos
indicados con indeterminación son aquellos en los cuales no es posible conocer el resultado del límite de antemano.
Estos resultados dependen de las sucesiones con las que se operan.

lím xn lím yn lím( xn  yn ) lím( xn yn )


lím x y  n
n
b c bc bc si c  0
b
c
0 0 0 0 INDETERMINADO
 c0   
 c0   
 0  INDETERMINADO 
 c0   
 c0   
 0  INDETERMINADO 
    INDETERMINADO
    INDETERMINADO
   INDETERMINADO
INDETERMINADO
   INDETERMINADO
INDETERMINADO
0   INDETERMINADO 0
0   INDETERMINADO 0
b 0 b 0 
b0    0
b0    0
b0    0
b0    0
32
TEMA 1 SUCESIONES DE NÚMEROS REALES

Ejercicio 35
Calcular los siguientes límites:
 x 2  xn   x 2  xn 
1) lím
( xn )
 xn 2  10 xn  2) lím  n
( xn ) x  x 2
 3) lím  3 n
( xn ) x  4 x  3

 n n   n n 
 x 4  2x   x 2 1   x 2 1 
lím  n 3 n  xn  5) lím   6) lím  
n n
4)
( xn )  xn  ( xn )  xn 
( xn )
 xn  1     

Ejercicio 36
a) Sean f :  y g:  dos funciones polinómicas de coeficientes reales con a p  0 y bq  0

f ( x)  a p x p  a p1x p1  ...  a2 x 2  a1x  a0 y g ( x)  bq x q  bq 1x q 1  ...  b2 x 2  b1x  b0


Para cada n se definen las sucesiones ( xn ) e ( yn ) de la siguiente forma: xn  f (n) e yn  g (n) .
x 
Calcularlím n  discutiendo según los distintos valores de p  y q . Se estudiarán los siguientes
 yn 
casos: 1) p  q , 2) p  q y 3) p  q .
b) Usando los resultados obtenidos en a), calcular:
 (n  2)3 (1  n)   (n  2)(1  n)   (n  2)3  (1  n)3 
1) lím   2) lím 10 
 3) lím  
 (n  1)  (n  1) n2  1
2 2 2
   

Ejercicio 37
Se considera la sucesión ( an ) definida por: a0  k , k ,k 0 y an1  1  2an2 , n  .
a) Estudiar la monotonía de la sucesión ( a n ) .
b) Demostrar que ( a n ) no es convergente y que no está acotada.
a 
c) Hallar lím an y lím n1  .
 an 
d) Para k  0 , hallar la fórmula explícita de (an ) .

En el siguiente teorema presentaremos algunas propiedades aritméticas de los límites con potencias y logaritmos.

TEOREMA
Sean ( xn ) e ( yn ) dos sucesiones de números reales.
1) Si ( xn )  a  e ( yn )  b  , entonces:

a) (logu xn )  logu a si a  0 , u  , u  1 y xn  0 , n  .

b) (r xn )  r a si r .

c) ( xn )  a
yn b
si a  0 y xn  0 , n  .
d) ( sen xn )  sen a y (cos xn )  cos a

2) Si ( xn )   , entonces (e n )   .
x

3) Si ( xn )   , entonces (e n )  0 .
x

4) Si ( xn ) tiene todos sus términos positivos y ( xn )   , entonces ( Lxn )   .

5) Si ( xn ) tiene todos sus términos positivos y ( xn )  0 , entonces ( Lxn )   .


33
TEMA 1 SUCESIONES DE NÚMEROS REALES

Demostraremos del 1) las partes a) , b) y c) del último teorema enunciado. Las demostraciones de las restantes partes se
podrán encontrar en el capítulo 7 del libro de E. Lines, Principios de Análisis Matemático.

Demostración de 1)
a) Estudiaremos el caso u  1 (el caso 0  u  1 es análogo).
Para que lím(log u xn )  log u a debemos demostrar que:

  , n0  / n  , n  n0  logu xn  logu a  
x  x  x
Observar que: logu xn  logu a  logu  n        logu  n     u   n  u 
a a u 1 a
Luego de estas observaciones comencemos con la demostración.

Dado  u  1 , tenemos que u   1  u  .
, por ser
x  
Si ( xn )  a , entonces  n   1 y por lo tanto,   , n0  / n  , n  n0 se cumple
a
x
1   n  1  .
a
  
Si elegimos  tal que (1   ,1   )  (u , u ) , tenemos que   , n0  / n  , n  n0 .
x
u   n  u  , lo que implica logu xn  logu a   y finalmente que (logu xn )  logu a .
a
b) Consideremos el caso r  1 (cuando 0  r  1 el razonamiento es análogo)

Observar que r xn  r a  r a r xn a  1  r a r  xn a

 1 . La última desigualdad es evidente en el caso xn  a .
a  xn
xn  a 1 1  r a  xn 1  r xn  a
Si xn  a , r 1  a  xn
1    1  r a  xn  r a  xn  1  r 1 .
r r a  xn r a  xn r 1
a  xn 0

Luego como r xn  r a  r a r xn a  1  r a r  xn a

 1  lím r xn  r a  lím  r a r xn a  1   0 .
xn a xn a 
   
Finalmente, lím r xn  r a  0  (r xn )  r a .
xn a

xn yn  u

logu xn yn   u y log xn
u  
u 1.
c) Sabemos que si xn  0 , n  entonces n u
, y

Luego,  
lím xn yn  lím u yn logu ( xn )   u  n u n 
lím y log ( x )
 u b logu a  ab
( yn )b
(en estas igualdades hemos
( xn )a
utilizado parte de lo demostrado anteriormente).

EJEMPLO 12
Usando las propiedades enunciadas en el último teorema calculamos los siguientes límites:
2 n 1 2
 2n  1  2
lím 3 n2 3 lím   .
1) 5 5 pues
 5n  2  5
líme1n  0  
2
2) pues lím 1  n 2   .
 n2   n2  n2
3) lím L  2    pues lím  2   0 y 0 .
 n 1   n 1  n2  1
3n 1
 n 2
2  n 2 1  n2  2  1  3n  1 
4) lím  2   pues lím  2   y lím   3.
 2n  1  8  2n  1  2  n 1 

34
TEMA 1 SUCESIONES DE NÚMEROS REALES

Ejercicio 38
y
Teniendo en cuenta que si b  0 entonces b a  e aLb , explicar en qué casos el límite lím( xn n ) es indeterminado
considerando las siguientes posibilidades. En caso que no lo sea, calcular el límite.
1) ( xn )  0 e ( yn )  0 2) ( xn )   e ( yn )  
3) ( xn )   e ( yn )   4) ( xn )  1 e ( yn )  
5) ( xn )  1 e ( yn )   6) ( xn )   e ( yn )  0
7) ( xn )  0 e ( yn )  

Ejercicio 39
a) Calcular los siguientes límites.
 2 n 3  Ln
 e n 4   Ln   1 
Ln
 n2  n  3 
1) lím   2) lím   n  3) lím   4) lím  
 n 1  e   Ln   n 1 
 
 2n  1   2  sen (n  3) 
5) lím sen   6) lím cos(n ) 7) lím  
 n3   n2 
b) Demostrar, usando la definición de límite, que si ( xn )  a  , entonces (cos xn )  cos a . Se sugiere usar
 xa  xa
que cos x  cos a  2sen   cos   , a  y x  .
 2   2 

SUCESIONES INFINITESIMALES E INFINITAS


0 
En el cálculo de límites con sucesiones, los casos de indeterminaciones de la forma o son los más comunes. Las
0 
restantes indeterminaciones se suelen reducir a ellas. Estableceremos ahora algunos métodos para calcular límites de la
x 
forma lím  n  donde ( xn ) e ( yn ) son sucesiones de números reales convergentes a 0 o divergentes.
 yn 
DEFINICIÓN INFINITÉSIMO E INFINITO
Sea ( xn ) una sucesión de números reales.
Decimos que ( xn ) es un infinitésimo si, y solo si, ( xn )  0 y que ( xn ) es un infinito si, y solo si, ( xn )   ,

A lo largo de este material hemos visto varios ejemplos de infinitésimos e infinitos. Por ejemplo, las sucesiones ( xn ) e
1 1
( yn ) definidas por xn  e yn  2 son infinitésimos. Sin embargo, las sucesiones ( an ) y (bn ) definidas
n n
mediante: an  b (con b  , b  1 ) y bn  n son infinitos.
n 2

Observar que si bien las sucesiones ( xn ) e ( yn ) son ambas convergentes a 0 , los términos de ( yn ) se acercan mucho
más rápido a su límite 0 que los términos de ( xn ) . Otra forma de ver este hecho es observando que
 1 2
lím  lím  n   0
yn
xn  1 
 n 
Lo mismo ocurre con los términos de ( an ) y (bn ) . Los términos de ( an ) crecen con mayor velocidad que los de (bn )
Estas observaciones nos conducen a estudiar la velocidad u orden de convergencia o divergencia de una sucesión.

35
TEMA 1 SUCESIONES DE NÚMEROS REALES

DEFINICIÓN ÓRDENES DE INFINITÉSIMOS Y DE INFINITOS


Sean ( xn ) e ( yn ) dos sucesiones de números reales no nulos.
x  y 
Decimos que ( xn ) e ( yn ) son comparables si, y solo si, existen los límites lím  n  y lím  n  .
 yn   xn 
En caso que ( xn ) e ( yn ) sean comparables, se pueden presentar los siguientes casos:
x 
1) Si ( xn ) e ( yn ) son infinitésimos, decimos que ( xn ) es de mayor orden que ( yn ) si, y solo si, lím  n   0
 yn 
x 
Si ( xn ) e ( yn ) son infinitos, decimos que ( xn ) es de mayor orden que ( yn ) si, y solo si, lím  n   
 yn 
En el caso que ( xn ) sea de mayor orden que ( yn ) anotaremos ord ( xn )  ord ( yn ) .

x 
2) Si ( xn ) e ( yn ) son infinitésimos, decimos que ( xn ) es de menor orden que ( yn ) si, y solo si, lím  n   
 yn 
x 
Si ( xn ) e ( yn ) son infinitos, decimos que ( xn ) es de menor orden que ( yn ) si, y solo si, lím  n   0 .
 yn 
Cuando ( xn ) es de menor orden que ( yn ) anotaremos ord ( xn )  ord ( yn ) .

3) Si ( xn ) e ( yn ) son ambos infinitésimos o ambos infinitos, decimos que ( xn ) es de igual orden que ( yn )
x 
si, y solo si, lím  n   k  , k  0 . Si k  1 diremos que ( xn ) e ( yn ) son equivalentes.
 yn 
x 
Es decir, ( xn ) e ( yn ) son equivalentes si, y solo si, lím  n   1 .
 yn 
Si ( xn ) e ( yn ) son equivalentes anotaremos ( xn ) ( yn ) .

Queda a cargo del lector verificar que la equivalencia de sucesiones es efectivamente una relación de equivalencia definida
en el conjunto de las sucesiones reales que tienen todos los términos no nulos. Las clases de equivalencias de esta relación
son los distintos órdenes.

EJEMPLO 13
 na 
Si a , b y 0  a  b  lím  b   0  ord (n a )  ord (nb ) .
n 

EJEMPLO 14
Demostraremos que, si q y p son números naturales distintos de cero, a y a  1 , entonces se cumple que:
ord (n )  ord (a )  ord (n!)  ord (n ) .
q n n

Para ello usaremos la siguiente propiedad:


x 
Si ( xn ) es una sucesión de términos positivos y lím  n1   L  1 , entonces lím xn  0 .
 xn 
x 
En efecto, sea c  tal que L  c  1 . Como lím  n1   L , entonces existe p  tal que n  , n  p
 xn 
xn1
0  c . Luego 0  xn1  cxn  xn , n  , n  p y por lo tanto ( xn ) es decreciente.
xn
36
TEMA 1 SUCESIONES DE NÚMEROS REALES

Como ( xn ) es decreciente y está acotada inferiormente por 0 podemos concluir que existe b 
 0 tal que
lím xn  b .
Dado que xn1  cxn , n  , n  p , tenemos que lím xn1  lím cxn  b  cb  b(1  c )  0 .
Finalmente, como b  0 y 1  c  0 , llegamos a que lím xn  b  0 .
 nq   an   n! 
Usando esta última propiedad demostrada, resulta sencillo demostrar que: lím  n   lím    lím  n   0
a   n!  n 
Como ejemplo demostraremos una de las igualdades y dejamos las restantes a cargo del lector.
q
nq x 1  n 1  1
Sea ( xn ) la sucesión xn  n . Como ( xn ) es de términos positivos y lím n1  lím    1,
a xn a n  a
 nq 
entonces lím  n   0 .
a 
También dejamos a cargo del lector demostrar que:
x 
Si ( xn ) es una sucesión de términos positivos y lím  n1   L  1 , entonces lím xn   .
 xn 

Al generalizar parte de lo enunciado en el ejemplo 14, tenemos el siguiente teorema.

TEOREMA COMPARACIÓN DE INFINITOS


Si ( xn )   y p , q , a y b son números reales tales que p  0 , q  0 , a  1 y b  0 entonces:

ord ( Lxn ) p  ord ( xn )q  ord (a xn )  ord ( xnbxn )

En particular: ord ( Lp n)  ord (n q )  ord (a n )  ord (n!)  ord (n n )

EJEMPLO 15
 Ln   en   n3 
Usando el teorema de comparación de infinitos tenemos: lím  2   0 , lím     y lím  n 0
n   Ln  e 

La equivalencia entre sucesiones infinitesimales o infinitas desempeñan un papel importante en el cálculo de límite con
sucesiones. Estableceremos una serie de equivalencias que resultarán de utilidad para calcular límites y que quedarán
demostradas una vez que el lector resuelva los siguientes tres ejercicios.

EQUIVALENCIAS ÚTILES
Sea ( xn ) una sucesión de números reales no nulos.
Equivalencias para infinitésimos
Si ( xn )  0 entonces: 1) L (1  xn ) xn (Se deduce que si ( xn )  1 , entonces L( xn ) xn  1 )
2) e xn  1 xn
3) a xn  1 xn La si a 
y a  1.
4) sen xn xn
5) tg xn xn
1
6) 1  cos xn ( xn ) 2
2

7) (1  xn )  1 pxn , p 
p
.

37
TEMA 1 SUCESIONES DE NÚMEROS REALES

Equivalencias para infinitos


Si ( xn )   y a p , a p 1 ,..., a1 , a0 son números reales tales que a p  0 entonces, bajo las condiciones de
existencia, valen las siguientes equivalencias:
1) a p ( xn ) p  a p 1 ( xn ) p 1  ...  a1xn  a0 a p ( xn ) p
2) q
a p ( xn ) p  a p 1 ( xn ) p 1  ...  a1xn  a0 q
a p ( xn ) p
3) L  a p ( xn ) p  a p 1 ( xn ) p 1  ...  a1xn  a0  L  a p ( xn ) p 

Ejercicio 40
z
 1 
n

(
a) Sabiendo que si nz )   , entonces  1    e , demostrar que si ( xn )  0 entonces:
 z n 
1) L (1  xn ) xn (Deducir que si ( xn )  1 , entonces L( xn ) xn  1 )

2) e xn  1 xn (Sugerencia: Puede ser útil escribir xn  L(1  e xn  1) )


3) a xn  1 xn La si a 
y a  1.
n
nanb  
b) Calcular el siguiente límite: lím 
  siendo a y b .
 2 

Ejercicio 41
Observando la figura adjunta tenemos:
Área del triángulo OCB  Área del sector circular OCB  Área del
triángulo OCD .

Por lo tanto, para un ángulo de x radianes con 0  x  tenemos:
2
1 1 1
OC  AB  x  r 2  OC  CD (*)
2 2 2
(El área del sector circular OCB lo obtenemos mediante una regla de
tres teniendo en cuenta que el área de un círculo de radio r es  r2 )

Si r  1 entonces OC  1 , AB  sen x y CD  tg x y por lo tanto la desigualdad (*) multiplicada por 2 se



transforma en: sen x  x  tg x , x  , 0 x .
2

1) Deducir que 0  senx  x  tgx , x  , 0 x  .
2
2) Usando esta última desigualdad demostrar que si ( xn )  0 , entonces sen xn xn .
3) Demostrar que si ( xn )  0 , entonces tg xn xn .
2x 1
4) Sabiendo que 1  cos x  2sen   , demostrar que si ( xn )  0 , entonces 1  cos xn ( xn ) 2 .
2 2

Ejercicio 42
Demostrar las equivalencias para infinitos planteadas en el último recuadro.

38
TEMA 1 SUCESIONES DE NÚMEROS REALES

Enunciaremos a continuación dos teoremas que permitirán sustituir una sucesión por una equivalente. Estos teoremas son
una gran herramienta práctica para el cálculo de límites de sucesiones.

TEOREMA PRINCIPIO DE SUSTITUCIÓN


Sean ( xn ) e ( yn ) dos sucesiones de números reales no nulos.
Si ( xn ) e ( yn ) son dos infinitésimos o infinitos y ( xn ) ( zn ) , entonces
x  z 
1) lím ( xn yn )  lím( zn yn ) y 2) lím  n   lím  n  .
 yn   yn 
Demostración
 z  x 
1) lím ( xn yn )  lím  xn yn n   lím( zn yn )  n   lím( zn yn )
 zn   zn 
2) A cargo del lector.

EJEMPLO 16
 tg (2 xn ) 
Usando el principio de sustitución calculemos: lím  .
( xn )0 sen(3 x )
 n 
Sabemos que si ( xn )  0 entonces sen xn xn y tg xn xn . Por lo tanto, usando el principio de
 tg (2 xn )   2x  2
sustitución, lím    lím  n  
( xn )0 sen(3 x ) ( xn )0 3 x
 n   n 3

Ejercicio 43
Calcular los siguientes límites:
 1  3xn 
2

a) lím   b) lím xn  L(1  xn )  L( xn ) 


( xn )0  1  cos 2 x  ( xn )
 n 
1
  n  1 
c) lím 

 n

2 1 n  5n tg  2  
4

 2n  1  
d) lím (cos xn )
( xn )0
xn2

OBSERVACIÓN
El principio de sustitución no siempre puede aplicarse en una suma o diferencia. Por ejemplo, supongamos que
 n2  5n  3 
queremos calcular lím   (n  2)  .
 n 
n  5n  3
2
x 
Si xn  e yn  n  2 , dado que lím  n   1 , las sucesiones ( xn ) e ( yn ) son equivalentes. A su
n  yn 
vez ambas son equivalentes a la sucesión ( zn ) tal que zn  n .
Si fuera posible aplicar el teorema de sustitución en sumas o diferencias, tendríamos que:
 n2  5n  3 
lím   (n  2)   lím(n  n)  0
 n 
Sin embargo, este resultado es incorrecto. Realizando las operaciones dentro del límite obtenemos:
 n2  5n  3   n2  5n  3  n(n  2)   3n  3 
lím   (n  2)   lím    lím    3
 n   n   n 
Hemos comprobado de esta manera que, en general, si ( xn ) ( zn ) e ( yn ) ( wn ) , entonces no es cierto que
( xn  yn ) ( zn  wn ) . Esto solo es válido cuando ( xn ) e ( yn ) no son equivalentes. Estas ideas junto a otras se
resumen en el siguiente teorema.
39
TEMA 1 SUCESIONES DE NÚMEROS REALES

TEOREMA
Sean ( xn ) e ( yn ) dos sucesiones de números reales no nulos.
1) Si ( xn ) e ( yn ) son infinitésimos, ( xn ) ( zn ) e ( yn ) ( wn ) , entonces:
a) si ord ( xn )  ord ( yn ) entonces ( xn  yn ) ( yn ) .
b) si ( xn ) e ( yn ) son comparables pero no equivalentes, entonces ( xn  yn ) ( zn  wn ) .

2) Si ( xn ) e ( yn ) son infinitos, ( xn ) ( z n ) e ( yn ) ( wn ) , entonces:


a) si ord ( xn )  ord ( yn ) entonces ( xn  yn ) ( xn ) .
b) si ( xn ) e ( yn ) son comparables pero no equivalentes, entonces ( xn  yn ) ( zn  wn ) .

Demostración
Demostraremos la parte 2) b) del teorema, el resto de las demostraciones quedan a cargo del lector.

Por hipótesis, dado que ( xn ) e ( yn ) son comparables pero no equivalentes, puede ocurrir que: ( xn ) e ( yn ) tengan
distinto orden o el mismo orden.
Supongamos que ( xn ) e ( yn ) tienen distinto orden y que ord ( xn )  ord ( yn ) .
x 
Si ord ( xn )  ord ( yn ) entonces lím  n    . Como ( xn ) ( zn ) e ( yn ) ( wn ) , aplicando el principio de
 yn 
x  z 
sustituciónlím  n   lím  n    y por lo tanto ord ( zn )  ord ( wn ) .
 yn   wn 
Luego, usando la parte 2) a) del teorema, se cumple: ( xn  yn ) xn zn ( zn  wn ) .
Dado que la equivalencia de sucesiones cumple la propiedad transitiva (por ser una relación de equivalencia) tenemos
que ( xn  yn ) ( zn  wn ) como queríamos demostrar.
Supongamos ahora que ( xn ) e ( yn ) tienen el mismo orden.
 x  yn   xn   yn 
Para que ( xn  yn ) ( zn  wn ) debemos demostrar que: lím  n   lím    lím   1
 zn  wn   zn  wn   zn  wn 
x 
( xn ) e ( yn ) no son equivalentes y ord ( xn )  ord ( yn ) k  , k  0  k  1 / lím  n   k 
 yn 
 xn   k 1xn   k 1zn   k 1zn  1 1
lím    lím   lím   por lím    1  ( yn ) (k zn ) y ( wn ) (k zn )
 kyn   yn   yn  hipótesis wn 
 xn   yn 
Buscamos calcular ahora los límites lím   y lím  
 zn  wn   zn  wn 
 z  wn   zn   wn   k 1zn  1 k 1  xn  k
lím  n   lím    lím    1  lím    1 k   lím  
 xn   xn   xn   zn  k  zn  wn  k  1
 yn  1
Realizando un razonamiento similar, el lector podrá verificar que lím  
 zn  wn  k  1
 x  yn   xn   yn 
Usando estos últimos resultados tenemos que lím  n   lím    lím    1 y por lo tanto,
 zn  wn   zn  wn   zn  wn 
( xn  yn ) ( zn  wn ) que era lo que buscábamos demostrar.

40
TEMA 1 SUCESIONES DE NÚMEROS REALES

EJEMPLO 17
 3 x 3  5 x  2  L(2  x 3 ) 
Calculemos el siguiente límite: lím  n n n 
( xn )  2 xn 
 
xn3  xn y L(2  xn ) L( xn3 )  3L( xn )
3
Observar que si ( xn )   , 3 xn3  5 xn  2 3

 3 x 3  5 x  2  L(2  x 3 )   x  3Lxn 
Luego usando el ultimo teorema tenemos: lím  n n n 
 lím  n 
( xn )  2 xn  ( xn )  2 xn 
 
Si ( xn )   , entonces xn  3L ( xn ) xn ya que la resta de infinitos de distinto orden equivale al infinito de
 3 x 3  5 x  2  L(2  x 3 )   x  3Lxn   x  1
mayor orden. Finalmente, lím  n n n 
 lím  n   lím  n  
( xn )  2 xn  ( xn )  2 xn  ( xn )  2 xn  2
 

Proponemos a continuación una lista de límites que para calcularlos el lector debe aplicar gran parte de los métodos
estudiados hasta el momento.

Ejercicio 44
Calcular los siguientes límites:
 1 1 
 1  1 
1) lím(3n  n  1)  e  e 1  lím n3  tg    sen   
2 2 n 2 n 2)
   n  n 
 
 2   5 n3  n  1  n 2  n  4 
3) lím  ( n  3)e n 3  n  4) lím  
   2 n 2
 3 
 
( 1) n n
 (1) n   e n  n2 
5) lím  1   6) lím  3 
 n   n  Ln 
 n! n 2   3 n 2 sen(n!) 
7) lím  n  8) lím  
 e 2   n 2  Ln 
 
 2 2 
9) lím
( xn )
 xn 2  5 xn  1  xn  1  10) lím 
 (n  1)e n
 n3
 n


 
 2 n2  3n   sen( xn )  sen a 
11) lím  n  2   12) lím   , a
 n 1  ( xn )a
 xn  a 
 logb ( xn )  logb a   
13) lím   , a , b , b 1
( xn )a
 xn  a 
 13 x  3  13 7  3 x 2   cos(2 xn )  cos( xn  xn2 
14) lím  n n  15) lím   , a

( xn )1  1  xn2
 ( xn )0 a
   ( xn ) 

Ejercicio 45
 axn  b  2 
Hallar los números reales a y b tales que lím   1
( xn )0  
 e 1 
xn

41
TEMA 1 SUCESIONES DE NÚMEROS REALES

Ejercicio 46
Calcular los siguientes límites discutiendo según  .
 L(1  tgxn )  L(1  sen xn )   L(1  tgxn )  L(1  sen xn ) 
1) lím   2) lím  
( xn )0
 xn   ( xn )0
 xn  

Ejercicio 47
a  
Se consideran las sucesiones ( an ) y (bn ) tales que lím  n   k  .
 bn 
1) Demostrar que si lím an  límbn   , entonces las sucesiones ( Lan ) y ( Lbn ) son equivalentes.

2) Demostrar que si lím an  límbn  0 , entonces las sucesiones ( Lan ) y ( Lbn ) son equivalentes.

PAR DE SUCESIONES MONÓTONAS CONVERGENTES


DEFINICIÓN DE PAR DE SUCESIONES MONÓTONAS CONVERGENTES
Decimos que dos sucesiones ( an ) y (bn ) de números reales es un par de sucesiones monótonas convergentes si, y
solo, si se cumplen las siguientes tres condiciones:
1) ( an ) es monótona creciente e (bn ) es monótona decreciente. (Monotonía)
2) an  bn , n  . (Separación)
3) lím(an  bn )  0 (Convergencia)

Ejercicio 48
Indicar en cada caso si ( an ) y (bn ) son un par de sucesiones monótonas convergentes.
1 1 1 1
1) an  2  y bn  2  2) an  3  y bn  2 
n2 n2 n2 n2
k n k n k n1 2 k n 2
1 1 k k
3) an   y bn   4) an   3 y bn   3
k 1 n  k k 0 n  k k 1 n k 1 n

TEOREMA
Si ( an ) y (bn ) son un par de sucesiones monótonas convergentes, entonces ( an ) y (bn ) convergen al mismo límite.
Tal límite se llama elemento de separación de las sucesiones.

Demostración
Comenzaremos demostrando que an  bm n  y m  , para poder concluir que ( an ) y (bn ) están
acotadas.
1) Si n  m , entonces an  bn  bm .
por por ser
hipótesis (bn ) decreciente

2) Si n  m , entonces an  am  bm .
por ser por
( an ) creciente hipótesis

De 1) y 2) deducimos que an  bm , n  , m  . En particular an  b0 , n  y a0  bm , m 


Dado que ( an ) está acotada superiormente por b0 y es monótona creciente, entonces existe L1  tal que
lím an  L1 y an  L1 , n  .
Como (bn ) está acotada inferiormente por a0 y es monótona decreciente , entonces existe L2  tal que límbn  L2
y bn  L2 , n  . Dado que ( an ) y (bn ) son un par de sucesiones monótonas convergentes, entonces
lím(an  bn )  L1  L2  0 y por lo tanto L1  L2 .
42
TEMA 1 SUCESIONES DE NÚMEROS REALES

EJEMPLO 18
n n 1
 1  1
Demostraremos que las sucesiones ( an ) y (bn ) tales que an  1   y bn  1   son un par de
 n  n
sucesiones monótonas convergentes.
n 1
 1 
1   1   1  1 n1  
n
1    1  
n
n 1  

an1
1)  1     1   1   2 
 n  1   1  1 n   n  1    (n  1)  
n
an  1
1  
 n
n
  1    n 
Por la desigualdad de Bernoulli  1   2 
  1 
 
  (n  1)   de Bernoulli 
desigualdad (n  1) 2 

an1  1  n  1
Luego,  1   1  2 
 1  1 , n  y como ( an ) tiene términos
a n  n  1   (n  1)  (n  1)3
positivos, tenemos que ( an ) es monótona creciente.
De forma análoga se puede demostrar que (bn ) es monótona decreciente.
n1 n
 1  1  1  1
2) bn  1    1   1    an 1    an , n  . Es decir, an  bn , n  .
 n  n  n  n
 1 n1  1  n   1  1 n 
3) lím(bn  an )  lím  1     1     lím   1     0
 n   n    n  n  
Por lo demostrado en 1) , 2) y 3) , ( an ) y (bn ) son un par de sucesiones monótonas convergentes y por lo tanto, ( an )
y (bn ) convergen al mismo número real que es e.

SUCESIONES DE CAUCHY
Podemos observar que, en una sucesión convergente, los términos que están cerca de su límite, están muy cerca unos de
otros. Es decir, si lím xn  a , podemos lograr que la distancia entre dos términos xm y x p de la sucesión ( xn ) sea
tan pequeña como se desee. Para ello bastará considerar m y p “suficientemente grandes”.
 
Formalmente, si lím xn  a , entonces   ,  n0  tal que n  , n  n0 se cumple xn  a  .
2
Por lo tanto, tenemos la siguiente condición:
p  , n  si p  n0 y n  n0 , entonces
 
xn  x p  ( xn  a)  (a  x p )  xn  a  x p  a   
2 2

Observar que hemos obtenido una condición para que una sucesión sea convergente en la cual no interviene su límite.
Esta última condición se llama condición de Cauchy y las sucesiones que la verifican, se llaman sucesiones de Cauchy,
en honor al matemático francés Augustin Louis Cauchy (1789 – 1857) quien formuló esta condición en 1821.
La condición de Cauchy caracteriza a las sucesiones reales convergentes mediante una relación entre sus términos, sin
que intervenga su límite. Esto permite estudiar la convergencia de una sucesión sin necesidad de conocer, a priori, su
posible límite.

43
TEMA 1 SUCESIONES DE NÚMEROS REALES

DEFINICIÓN DE SUCESIÓN DE CAUCHY


Sea ( xn ) una sucesión de números reales.

Decimos que ( xn ) es una sucesión de Cauchy o sucesión fundamental si, y solo si,   ,  n0  (que
puede depender de ) tal que p  y n  si p  n0 y n  n0 , entonces d ( xn , x p )  xn  x p   .

EJEMPLO 19
La sucesión ( xn ) tal que xn  Ln no es una sucesión de Cauchy.

En efecto, n  , n  0 se verifica x2 n  xn  L(2n)  Ln  L 2 .


Luego dado  tal que 0    L 2 no se verifica la condición de Cauchy para ningún n0  ya que tomando
p  n0 y n  2 p se tiene xn  x p  x2 p  x p  L 2   .

Es consecuencia inmediata de la definición es la siguiente propiedad que puede ser de utilidad en algunos casos.

PROPIEDAD
Si ( xn ) es una sucesión de números reales, entonces

( xn ) es sucesión de Cauchy si, y solo si,   ,  n0  tal que n  si n  n0 , entonces
xnh  xn   , h  .

Ejercicio 49
Investigar en cada caso si la sucesión ( xn ) es de Cauchy.

1 si n es impar 1 1 1 1
1) xn   1 2) xn   2  3  ...  n
n si n es par 5 1 5 1 5 1 5 1

Demostraremos a continuación que el conjunto de las sucesiones de Cauchy y el conjunto de las sucesiones
convergentes son iguales.

TEOREMA (CRITERO DE CONVERGENCIA DE CAUCHY)


( xn ) es una sucesión de números reales convergente en si, y solo si, ( xn ) es una sucesión de Cauchy.

Demostración
Comenzaremos demostrando el teorema directo.

Para demostrar que ( xn ) es una sucesión de Cauchy debemos demostrar que dado  ,  n0  tal que p 
y n  si p  n0 y n  n0 , entonces xn  x p   .

Dado  , como por hipótesis, ( xn ) es convergente tenemos que existe a tal que lím xn  a y por lo tanto

 n0  tal que n  si n  n0 , entonces xn  a  .
2
 
Luego tenemos que xn  x p  ( xn  a )  (a  x p )  xn  a  x p  a     , p  y n  ,
2 2
p  n0 y n  n0 como queríamos demostrar.
Para demostrar el recíproco demostraremos dos cosas:
1) Que toda sucesión de Cauchy está acotada y
2) Que si una sucesión de Cauchy ( xn ) tiene una subsucesión convergente a a , entonces lím xn  a .
44
TEMA 1 SUCESIONES DE NÚMEROS REALES

Comencemos demostrando 1)
Si ( xn ) es una sucesión de Cauchy, entonces para   1 ,  n0  tal que p  y n  si p  n0 y
n  n0 , entonces xn  x p  1 .

En particular si p  n0 , n  si n  n0 tenemos que 


xn  xn0  1 y por lo tanto xn  xn0  1 ; xn0  1 . 

Si H  x0 , x1 ,..., xn  1 , xn  1
0 0
 , h  mín H y k  máx H entonces xn   h , k  , n  , lo que

quiere decir que ( xn ) está acotada.

Demostraremos ahora la condición 2).


Como por hipótesis, ( xn ) es una sucesión de Cauchy , por 1) , ( xn ) está acotada. Si ( xn ) está acotada, entonces por el

teorema de Bolzano Weierstrass, existe una subsucesión ( xnk ) de ( xn ) tal que lím xnk  a con a .

Dado  , como ( xn ) es una sucesión de Cauchy, entonces existe n0  tal que p  y n  si

p  n0 y n  n0 , entonces xn  x p  .
2
lím xnk  a , para dicho  , 
A su vez como existe n1  , n1  n0 tal que xn  a  .
1
2
 
Luego, n  , n  n0 xn  a  xn  xn1  xn1  a  xn  xn1  xn1  a    .
2 2
Hemos demostrado así que lím xn  a .
Resumiendo, si ( xn ) es una sucesión de Cauchy, por 1), está acotada. Si ( xn ) está acotada, entonces por el teorema de

Bolzano - Weierstrass, existe una subsucesión ( xnk ) convergente. Luego por 2) , ( xn ) es convergente.

COROLARIOS
1) Toda sucesión de Cauchy está acotada.

2) Si una sucesión ( xn ) de Cauchy tiene una subsucesión convergente a a , entonces ( xn ) converge a a.

OBSERVACIÓN IMPORTANTE
Sabemos que, si una sucesión es convergente a un número real, entonces la sucesión es de Cauchy y recíprocamente.
Sin embargo, tal recíproco no es cierto en cualquier conjunto. Es decir, si una sucesión ( xn ) tiene sus términos
pertenecientes a un conjunto M y es de Cauchy, entonces no necesariamente ( xn ) converge a un elemento de M .

M   x  / x  1 , la sucesión ( xn )
1
Por ejemplo, si tal que xn  1 
tiene sus términos en M y no converge
n

a un elemento de M . Sin embargo, es de Cauchy. En efecto,   , elegimos el menor número natural n0 

tal que n0  .
2
1 1 1  1 1 1  
Luego p  , n  si p  n0 y n  n0 entonces xn  xp           
n p n  p n p 2 2
Otro ejemplo, es la sucesión ( yn ) cuyos términos son los números racionales aproximaciones decimales por defecto del

número 2 : x0  1 , x1  1, 4 , x2  1, 41 , x2  1, 414 , …
( yn ) es una sucesión de Cauchy cuyos términos son racionales y lím yn  2  . Es decir, ( yn ) es de Cauchy en
pero no converge en .

45
TEMA 1 SUCESIONES DE NÚMEROS REALES

En resumen:

Las sucesiones de Cauchy se utilizan para definir conjuntos completos.

DEFINICIÓN DE CONJUNTO COMPLETO


Decimos que el conjunto M  es completo si, y solo si, toda sucesión de Cauchy con sus términos en M
converge a un elemento de M .

y cualquier intervalo cerrado es un conjunto completo. no es completo.

Ejemplos de sucesiones de Cauchy son las sucesiones contractivas.

DEFINICIÓN DE SUCESIÓN CONTRACTIVA


Decimos que una sucesión de números reales ( xn ) es contractiva si, y solo si, existe un número real c , 0  c  1
tal que xn1  xn  c xn  xn1 , n  , n p.

Ejercicio 50
1 x  xn
1) Demostrar que ( xn ) tal que xn  no es contractiva. (Sugerencia: estudiar el cociente n1 )
n xn  xn1
1 1 1 1
2) Demostrar que ( yn ) tal que yn     ...  es contractiva.
0! 1! 2! n!

El siguiente ejercicio tiene como objetivo demostrar, como ya adelantamos, que las sucesiones contractivas son sucesiones
de Cauchy.

Ejercicio 51 (LAS SUCESIONES CONTRACTIVAS SON SUCESIONES DE CAUCHY)


Sea ( xn ) una sucesión de números reales.
1) Si existen números reales M  0 y c con 0  c  1 tales que xn1  xn  Mc n , n  ,n p ,
demostrar que ( xn ) converge.
(Sugerencia: Escribir xn1  xn  xn h  xn h1  xn h1  xn h2  xn h 2  ...  xn1  xn y teniendo en

cn
cuenta que la desigualdad c nh1  c nh2  ...  c n  es válida para toda pareja n y h de números
1 c
naturales, demostrar que ( xn ) es una sucesión de Cauchy).
2) Demostrar que todas las sucesiones contractivas son sucesiones de Cauchy. (Sugerencia: Iterar la desigualdad
xn1  xn  c xn  xn1 , n  , n  p y usar 1)).
Deducir que las sucesiones contractivas son convergentes y que no vale el recíproco.
3) Decimos que una función f : I  definida en un intervalo cerrado I es contractiva en I si, y solo si, existe
un número real c con 0  c  1 tal que f ( x)  f ( y )  c x  y , x  I y y  I .
Supongamos que f ( x)  I , x  I . Dado k  , definimos la sucesión ( an ) con a1  k y an1  f ( an )
para cada n  .
Demostrar que ( an ) converge a un número real L . Ese número real L cumple que f ( L)  L y se llama punto
fijo de la función f.

46
TEMA 1 SUCESIONES DE NÚMEROS REALES

EJERCICIOS COMPLEMENTARIOS

Ejercicio 52 (PROPIEDADES DE LA SUCESIÓN DE FIBONACCI - NÚMERO ÁUREO


 a0  a1  1
Consideremos la sucesión de Fibonacci ( an ) definida mediante 
 an2  an1  an , n 
1) Usar el principio de inducción completa fuerte para demostrar que an 1  n , n  . En caso de no conocer
dicho principio se sugiere ver el siguiente video: [Link]
2) Deducir que la sucesión de Fibonacci es divergente.
3) Estudiaremos ahora la sucesión de cociente de dos términos consecutivos de la sucesión de Fibonacci, es decir la
an1
sucesión (cn ) tal que cn  , n  .
an
1
a) Demostrar que cn1  1  , n  .
cn
b) Demostrar que la sucesión (c2 n ) es monótona creciente y que está acotada superiormente. Deducir que (c2 n )
converge y hallar su límite. (De forma análoga, se puede demostrar que (c2 n 1 ) es monótona decreciente y que
está acotada inferiormente).
1 5
c) Deducir que límcn    . Este número es llamado número de oro o razón áurea.
2 NOTACIÓN
Más información en el siguiente link: [Link]

Ejercicio 53 (MEDIA ARITMÉTICA - MEDIA GEOMÉTRICA)


Sea ( xn ) una sucesión de términos positivos y ( an ) y (bn ) las sucesiones media aritmética y media geométrica
x1  x2  ...  xn
definidas respectivamente por: an  y bn  n x1x2 ...xn
n
1) Demostrar que si ( xn ) es monótona creciente, entonces ( an ) es monótona creciente.
2) Demostrar que si lím xn  L  , entonces lím an  límbn  L .
x 
3) Demostrar que si lím  n1   L  (límite de D´alembert), entonces lím n xn  L (límite de Cauchy).
 xn 
4) Dar un ejemplo que muestre que el recíproco de 3) no es válido.

Los siguientes dos ejercicios son aplicaciones del ejercicio 51.

Ejercicio 54
zn3  2
Consideremos la sucesión ( zn ) tal que 0  z1  1 y zn1  -
7
1) Demostrar que 0  zn  1 , n  , n  1 .

2) Demostrar que ( zn ) es contractiva y luego deducir que la ecuación x3  7 x  2  0 tiene por lo menos una
solución real entre 0 y 1 .

Ejercicio 55
xn
Considere la sucesión ( xn ) definida mediante x0  15 y xn1  3  , n  .
2
Usar la parte 3) del ejercicio 51 para demostrar que ( xn ) es convergente y hallar su límite.

47
TEMA 1 SUCESIONES DE NÚMEROS REALES

RESPUESTAS DE ALGUNOS DE LOS EJERCICIOS PLANTEADOS


Ejercicio 1 1) No define una sucesión 2) Define una sucesión. 3) Define una sucesión.
 x0  0
Ejercicio 2 1) xn1  1  n 2 y x2 n1  1  4n 2 2) xn1  xn  1  2n 3) 
 xn1  xn  1  2n
No es única la forma de definir la sucesión por recurrencia.
Ejercicio 4 2) a) xn  2n  1 xn  10n  n
Ejercicio 5 a) 1) Si 2) No 3) No b) 1) No 2) No, los términos de ( yn ) con posiciones impares no son términos
de ( xn ) c) (bn ) no es una subsucesión de ( an ) . La condición para que lo sea es que la sucesión ( an ) tenga infinitos
términos iguales.
Ejercicio 7 1) Es monótona creciente 2) No es monótona 3) Monótona creciente 4) Monótona decreciente 5) y 6)
son monótonas crecientes y 7) No es monótona.
Ejercicio 8 1) Sugerencia: Utilizar el método de inducción completa 2) ( xn ) es creciente e ( yn ) es decreciente.
Ejercicio 9 La relación no es de equivalencia pues no cumple la propiedad simétrica y no es de orden porque no
cumple la propiedad antisimétrica.
Ejercicio 10 d) Si q  0 o q  1 , ( xn ) es constante. Si 0  q  1 , ( xn ) es decreciente y acotada.
Si 1  q  0 , ( xn ) es no monótona y acotada. Si q  1 , ( xn ) es monótona creciente y no acotada. Si q  1 es
no monótona y no acotada. (La solución más detallada de esta parte se encuentra en la pág. 103 del libro de Elon Lages
Lima. Cuso de Análisis Volumen 1).
Ejercicio 11 1) ( xn ) es monótona creciente y acotada. 2) ( yn ) es monótona creciente y acotada. (Solución
detallada en la pág. 104 del libro de Elon Lages Lima. Cuso de Análisis Volumen 1).
Ejercicio 22 1) Sugerencia: Considere una subsucesión de ( x2 n ) como por ejemplo ( x6 n ) .

0 si 2n3n
2) Es falso. Contraejemplo: ( xn ) tal que xn  

1 en caso contrario
Ejercicio 23 Para el directo basta usar el teorema que afirma que si una sucesión converge a L , entonces cualquier
subsucesión de ella converge a L . Para el recíproco usar la definición de límite finito.
p 1
Ejercicio 24 1) 1 2) 1 3) pa
1
Ejercicio 25 1) 0 2) 1 3) 4) 0
2
1 3
Ejercicio 26 b) 1) 2)  c) 1) 1 2) 2 3) 0 4) 1
4 3 2
Ejercicio 27 a) 0  xn  1 , n  , ( xn ) es creciente y tiene límite 1 . b) 0  xn < 2 , n  y ( xn ) es

1 5
creciente y tiene límite 2 . c) 0  xn  2 , n  , n  1 , ( xn ) es creciente y su límite es .
2
Ejercicio 30 1) Verdadera 2) Falsa 3) Verdadera 4) Falso 5) Verdadera 6) Verdadera 7) Verdadera 8) Verdadera
Ejercicio 32 1) Falso 2) Verdadera 3) Verdadera 4) Falsa 5) Falsa 6) Falsa 7) Verdadera
 x  ap x  x 
Ejercicio 36 a) Si p  q , lím  n   , si p  q , lím  n   0 y si p  q , lím  n    .
 yn  bp  yn   yn 
b) 1)  2) 1 3) 0
Ejercicio 38 Las indeterminaciones son 1 , 1 , 0 y 00 .
n
nanb
Ejercicio 40 b) lím 
   ab
 2 
1
Ejercicio 44 2) 3) 5 10) 1
2

48
TEMA 1 SUCESIONES DE NÚMEROS REALES

BIBLIOGRAFÍA UTILIZADA PARA LA ELABORACIÓN DEL TEMA

Apostol Tom L. (1992). Calculus. Tomo 1. México: Reverté S.A.

De Burgos Juan. (1994). Cálculo infinitesimal de una variable. España: Mc Graw Hill.

Lages Lima Elon. (2007). Análise Real. Volumen 1. Río de Janeiro-Brasil: IMPA.

Lages Lima Elon. (2004). Curso de Análisis. Volumen 1. Décimo primera edición. Río de Janeiro-Brasil: IMPA.

Lines E. (1983). Principio de Análisis Matemático. España: Reverté, S.A.

Spivak Michael. (1996). Calculus. México: Reverté, S.A.

49

También podría gustarte