Calculo Diferencial E Integral - Ricardo J Noriega

C
ALCULO DIFERENCIAL E INTEGRAL

RICARDO J. NORIEGA
Indice General
Prologo del autor 1
El autor 3
Plan de la obra 3
3. Lmite de sucesiones 3
3.1. Denicion de lmite de una sucesion 3
3.2. Algunas propiedades del lmite 12
3.3. Lmites innitos 17
3.4. Algunos lmites importantes 20
3.5. Un criterio de convergencia 23
3.6. El n umero e 25
3.7. La funcion logaritmo 30
3.8. Otras propiedades del lmite 32
3.9. Teoremas de encaje de intervalos y de Bolzano-Weierstrass 36
3.10. Sucesiones de Cauchy 40
Problemas adicionales 42
4. Series numericas 43
4.1. Denicion de serie 43
4.2. Series de terminos positivos: criterios de convergencia 45
Referencias 47
Indice de Figuras 48
Indice de Tablas 48
Indice de Autores 49
Indice 50
Pr ologo del autor
La mayora de los textos sobre Calculo Diferencial e Integral caen en una de estas
dos categoras: la de aquellos que buscan transmitir al lector pericia en las opera-
ciones propias del Calculo (paso al lmite, derivacion, integracion) y la de aquellos
que ponen el acento en el rigor de las deducciones y en los aspectos conceptuales.
Ha sido mi intencion conseguir con este libro inducir en el lector la mencionada
Date: 08 de junio de 2001.
Key words and phrases. Calculo, Sucesiones numericas, Series numericas.
Trabajo realizado por los alumnos (Olga Scagnetti, Pamela Llop, Mara Fernandez, Diego Ri-
naldi, Ernesto Diez, Vanina Presutti, Mauricio Ramseyer, Lucrecia Martnez, Mara Saccavino,
Patricia Cettour) del Taller de Informatica de la Licenciatura en Matematica Aplicada, Departa-
mento de Matematica, FIQ, Universidad Nacional del Litoral, primer semestre de 2001.
1
2 RICARDO J. NORIEGA
pericia, sin sacricar para ello lo que es, sin duda, uno de los aspectos distintivos
de la matematica: la demostracion frente al argumento, el razonamiento frente al
pseudorazonamiento. Desde luego, ello implica un doble trabajo tanto para el que
escribe como para el que estudia, pero es un trabajo que tiene en el mejor entendi-
miento del tema su recompensa, tanto para el que esta interesado en las aplicaciones
del Calculo como para el que desee introducirse en las matematicas superiores.
Este libro esta basado en los cursos que he dado en los ultimos a nos en la Facultad
de Ciencias Exactas y Naturales de la Universidad de Buenos Aires, cursos que
plantean la doble necesidad mencionada, ya que son tomados por matematicos as
como por estudiantes de otras ciencias, para los cuales el Calculo es mas una futura
herramienta que un objeto de estudio en s mismo.
Existe un excelente metodo para no aprender nunca matematicas, y es el de
esquivar las dicultades cada vez que ellas aparezcan. Por eso le aconsejo al lector
que entre de lleno en ellas y que no olvide nunca la importancia que en el estudio de
las matematicas tiene el mirar jo: si algo no se entiende bien, o no se entiende
para nada, detenerse en ese parrafo y pensar intensamente mientras se lo relee una
y otra vez, permite siempre llegar a un punto crtico en donde la cosa se hace clara,
y en donde lo que ya no se entiende es porque antes no se entenda. Porque y como
sucede esto, es uno mas de tantos misterios, pero que sucede, sucede. Y sobre todo,
no desanimarse por los tropiezos; si no los hubiera, entonces no estara aprendiendo
nada con esta lectura.
He hecho abundante uso al escribir este libro de las excelentes notas del Dr.
Enzo Gentile y del Lic. Fernando Carugno basadas en cursos anteriores de Calculo
dictados en la Facultad de Ciencias Exactas, y quiero agradecerles sinceramente
su impensada colaboracion. Particularmente el ejemplo del curso dado por el Dr.
Gentile me ha hecho ver la posibilidad de tomar el toro por las astas y tratar la
potencia de exponente real con todo detalle y rigor al comienzo del libro, sin esperar
para ello a tener la nocion de integral.
Hay mas personas a quienes quiero agradecer. Al Dr. Norberto Fava, por la
cantidad de consejos y observaciones sobre como y que escribir en este libro. Al In-
geniero Roque Scarello, por su constante hincapie en las necesidades de los lectores
no matematicos que ha inuido en el contenido y lenguaje de varios captulos. Al
Dr. Manuel Balanzat, por haberme facilitado generosamente los manuscritos de su
propio texto sobre el tema, pronto a ser publicado. Al Prof. Juan Carlos Dalmasso,
y a traves de el a la gente del Centro de Investigacion y Accion Educativa, CINAE,
por haberme dado la oportunidad de escribir este libro. A Mara Angelica Tancredi
y a Silvia Lopez, por haber convertido en copias legibles mis confusos manuscritos.
Y a mi mujer, sin cuyo estmulo constante jamas hubiera completado esta tarea.
Buenos Aires, abril de 1979
C
ALCULO DIFERENCIAL E INTEGRAL 3

El autor
Ricardo J. Noriega nacio en Buenos Aires en
1945. Obtuvo el ttulo de Doctor en Ciencias
Matematicas en la Facultad de Ciencias Exactas
y Naturales de la Universidad de Buenos Aires
en 1976, bajo la direccion del Dr. Luis A. San-
talo. Era especialista en Geometra Diferencial,
tema sobre el cual ha publicado trabajos y tex-
tos. Desde 1966 fue docente en el Departamento
de Matematicas de dicha Facultad, donde se de-
sempe no hasta su prematuro fallecimiento en
1992 como Profesor con dedicacion exclusiva.
Plan de la obra
Modulo 1
Captulo 1: Los n umeros reales
Modulo 2
Captulo 2: Funciones y su representacion graca
Captulo 3: Lmite de sucesiones
Captulo 4: Series numericas
Modulo 3
Captulo 5: Geometra analtica plana
Captulo 6: Lmite de funciones y continuidad
Captulo 7: Derivadas
Modulo 4
Captulo 8: Integral denida
Captulo 9: Calculo de primitivas
Captulo 10: Convergencia uniforme y series de potencias
3. Lmite de sucesiones
CEN, 33
3.1. Denicion de lmite de una sucesion. Aunque en el Captulo 1
1
hemos
ya hablado algo sobre sucesiones, volvemos aqu a recordar el concepto. Habamos
dicho que una sucesion (de n umeros reales) consista en asignarle a cada n umero
natural n, un n umero real que indicamos a
n
. De esta manera, al n umero 1 se le
asigna un n umero real a
1
, al n umero 2 un n umero real a
2
, etc. De esta manera,
una sucesion queda en la forma:
a
1
, a
2
, a
3
, . . . , a
n
, . . .
Por ejemplo, si a cada n umero natural n se le asigna su cuadrado, n
2
, tenemos
la sucesion dada por a
n
= n
2
, o sea:
1, 4, 9, 16, 25,. . . , n
2
, . . .
1
Noriega, R.J., Calculo Diferencial e Integral, Ed. Docencia (1979) Buenos Aires
y si a cada n umero natural n se le asigna su inverso multiplicativo,
1
n
, tenemos la
sucesion dada por a
n
=
1
n
, o sea:
1,
1
2
,
1
3
,
1
4
,
1
5
,. . . ,
1
n
, . . .
Con la terminologa del Captulo 2, es facil dar una denicion precisa del concepto
de sucesion:
Denicion 3.1. Una sucesion (de n umeros reales) es una funcion a: N R
OS,3437
Para concordar con la notacion anterior, quedaremos de acuerdo en escribir, para
cada sucesion a: N R
a
n
= a(n)
Hay que distinguir entre la sucesion misma y el conjunto de valores que ella
toma. Este ultimo conjunto puede incluso ser nito; por ejemplo, consideremos la
sucesion:
1, 1, 1, 1, . . . , 1, 1, . . .
o sea, a
n
= a(n) = (1)
n
. En este caso, el conjunto de valores que toma la sucesion
se reduce a un conjunto de dos elementos: el 1 y el 1. Por eso no se suele indicar
una sucesion como a
n
: n N (en este caso ser
ia a
n
: n N = 1, 1) sino en
la forma (a
n
)
nN
o tambien (a
n
)
n1
.
Si se representan los diversos valores a
n
, para una sucesion dada, sobre una
recta, se puede tener una idea del comportamiento que esta tiene. Consideremos
por ejempo la sucesion a
n
= 1/n, es decir:
1,
1
2
,
1
3
,
1
4
,
1
5
, . . . ,
1
n
, . . .
Representando los primeros terminos en una recta obtenemos el graco repre-
sentado en la gura 1 siguiente:
Figura 1. Primeros terminos de la sucesion 1/n
Geometricamente parece claro que a medida que vamos tomando valores suce-
sivos de a
n
, nos vamos acercando al 0. En efecto, a
2
esta mas cerca de 0 que a
l
,
C

a
3
2
, etc. Pero esta ultima armacion no lo dice todo
sobre ese acercamiento. Porque tambien es cierto, por ejemplo, que a
2
esta mas
cerca de 1 que a
1
, que a
3
2
, etc. y evidentemente el
acercamiento a 0 de esta sucesion tiene una caracterstica que no tiene, por ejemplo,
su acercamiento a l.
Cual es esa caracterstica? Pues la de que esta sucesion llega a estar tan cerca
de 0 como se quiera. En cambio no vale eso si cambiamos 0 por 1, esta sucesion
no llega a estar tan cerca de 1 como se quiera, su distancia a 1 es, como se puede
ver en la gura, siempre mayor que 1. Como podemos poner en terminos precisos
la armacion: una sucesion (a
n
)
n
1, llega a estar tan cerca del n umero como
se quiera? La distancia entre a
n
y esta medida por [a
n
[ (Paragrafo 1.12), por
lo tanto lo que queremos decir es que [a
n
[ llega a ser tan chico como se quiera.
En otras palabras: si nos dan un n umero positivo cualquiera, digamos , no
importa cuan chico sea, podemos conseguir que [a
n
[ sea menor que con tal
de avanzar lo suciente en la sucesion, es decir, con tal de tomar n grande. Y mas
aun: si tomamos n mas grande todava, entonces tambien seguira siendo [a
n
[
menor que (pues ese modulo debe ser mas peque no a medida que n aumenta).
Toda esta charla se puede poner ahora en terminos precisos:
Denicion 3.2. Se dice que una sucesion (a
n
)
n
1 tiene lmite , o converge a ,
o se acerca a
(en smbolos, lim
n
a
n
= )
si tiene la siguiente propiedad:
Cualquiera sea el n umero real > 0, hay un n umero
natural n
0
tal que, para n n
0
, es [a
n
[ < .
(1)
Ya que, inspirados en un ejemplo, dimos la denicion general de lmite de una
sucesion, sera bueno ver que ese ejemplo se ajusta a la denicion.
Consideremos entonces nuevamente el ejemplo a
n
= 1/n; armamos que, en el
sentido de la Denicion 3.2, es
lim
n
1
n
= 0
Hay que probar entonces que esta sucesion tiene efectivamente la propiedad 1 .
Sea pues un n umero real positivo cualquiera. Tenemos que encontrar un natural
n
0
con la propiedad de que, si n n
0
, sea [
1
n
0[ < , o sea [
1
n
[ <
Como 1/n es positivo, esta ultima desigualdad equivale a 1/n < .
Aqu hacemos lo que sera el punto clave en los ejemplos: despejar n de esa
desigualdad. Por supuesto, eso es muy facil: resulta n >
1
. Cuando se llega a
despejar n, uno puede asegurarse de que el resto seguira bien. Tomamos como n
0
un n umero natural cualquiera que cumpla n
0
>
1
(existe por Arquimedianidad

(Porque?)). Entonces, si n n
0
[
1
n
0[ = [
1
n
[ =
1
n
<
1
n
0
<
1
1/
=
Esto demuestra que la sucesion a
n
=
1
n
satisface la propiedad 1 cuando = 0 y, hasta aqu se realiza-
ron correcciones me-
nores y se activo la
referencia a la pro-
piedad
por lo tanto, lim
n
1
n
= 0.
Veamos varios ejemplos mas que aclaren la Denicion 3.2 y su uso.
Ejemplo 3.3. Consideremos la sucesion dada por a
n
=
1
n
2
. Armamos que
lim
n
1
n
2
= 0
Sea un n umero real positivo cualquiera. Tenemos que encontrar un natural n
0
con la propiedad de que, si n n
0
, sea [
1
n
2
0[ < . Como [
1
n
2
0[ = [
1
n
2
[ =
1
n
2
la
desigualdad [
1
n
2
[ < es equivalente a la desigualdad
1
n
2
< .
Nuevamente despejamos n de esta desigualdad: pasando de miembro resulta ser
1
< n
2
, es decir n
2
>
1
, o sea n >
_
1
. Al llegar a este punto, como lo haremos

siempre, elegimos un n umero natural n
0
>
_
1
(con lo cual sera

1
n
2
0
< ). Entonces,
si n n
0
[
1
n
2
0[ = [
1
n
2
[ =
1
n
2

1
n
2
0
<
lo que prueba lo armado.
n
=
1
n
2
+n
. Armamos que
lim
n
1
n
2
+ n
= 0
Sea > 0 arbitrario. Queremos encontrar un n
0
N tal que, si n n
0
,
[
1
n
2
+n
0[ < . Esta desigualdad es equivalente a
1
n
2
+n
< , pero ahora despejar n
de la desigualdad se ha vuelto un poco mas complicado.
En vista de ello, apelamos a la siguiente, y evidente, acotacion
1
n
2
+ n
<
1
n
y entonces, en lugar de despejar n de
1
n
2
+n
< , lo despejamos de
1
n
< , con lo que
resulta ser n >
1
. Elegimos ahora un n umero natural n

0
>
1
(con lo cual
1
n
< )
y todo va a andar bien. En efecto, si n n
0
[
1
n
2
+ n
0[ =
1
n
2
+ n
<
1
n
<
1
n
0
<
lo que prueba lo armado.
n
=
1
2n
2
3n
Armamos que
lim
n
1
2n
2
3n
= 0
Sea > 0 arbitrario y busquemos n
0
N tal que, si n n
0
, [
1
2n
2
3n
0[ < .
Desde luego, [
1
2n
2
3n
0[ = [
1
2n
2
3n
[, pero para sacar las barras de modulo
de aqu, hay que tener un poco de cuidado. Para que sea positivo el termino en
cuestion, debe ser 2n
2
3n > 0, o sea 2n
2
> 3n de donde, simplicando n, 2n > 3
o sea n >
3
2
. Entonces todos los razonamientos que ahora vengan seran validos si
n > 3/2; como n es natural, eso es lo mismo que pedir n > 1. Por lo tanto, sea
cual sea el n
0
que elijamos al nal del proceso, va a tener que ser mayor que 1.
Sigamos. Con esa precaucion, resulta ser [
1
2n
2
3n
[ =
1
2n
2
3n
, y nuevamente
despejar n de [
1
2n
2
3n
[ < resulta complicado. Nos gustara entonces hacer una
acotacion como la del Ejemplo 3.4, pero ya no es tan facil. Porque no es cierto que referencia agregada
1
2n23n
<
1
2n2
(es mayor en realidad) ni que
1
2n
2
3n
< 13n. El objetivo, desde
luego, es dejar en el denominador una sola potencia de n; para ello pensamos lo
C

siguiente: si fuese 2n
2
> 4n, entonces sera 2n
2
3n > 4n 3n = n, y por lo tanto
1
2n
2
3n
<
1
n
. Pero que valga 2n
2
> 4n es equivalente a 2n > 4, o sea a n > 2.
Entonces, sea cual sea el n
0
que elijamos al nal, va a tener que ser mayor que
2.
Con esta precaucion (que incluye a la anterior), resulta ser:
1
2n
2
3n
<
1
n
y des- hasta aqu toneladas
de comas y puntos
separados de su an-
tecedente y pegados
al consecuente
pejando n de
1
n
< resulta n >
1
. Guiados por los ejemplos anteriores, elegiramos

n
0
>
1
, pero si recordamos que debe ser tambien mayor que 2, elegimos n

0
N tal
que
n
0
> max2,
1
(el segundo miembro indica el mayor entre los n umeros 2 y

1
). Eligiendo n
0
de esa
manera, resulta n
0
> 2 y ademas n
0
>
1
. Ahora todo va a ir bien; si n > n

0
,
sera :
[
1
2n
2
3n
0[ = [
1
2n
2
3n
[ =
=
1
2n
2
3n
( ya que n n
0
> 1)
<
1
4n 3n
( ya que n n
0
> 2)
=
1
n

1
n
0
<
1
1
=
y nuestra armacion queda demostrada.
n
=
1
n
3
3n
2
+2n4
Armamos que
lim
n
1
n
3
3n
2
+ 2n 4
= 0
Este ejemplo es muy similar en su tratamiento al anterior, as que lo hacemos mas
brevemente. Observemos que para n > 4 es, multiplicando por n
2
, n
3
> 4n
2
y por ecuacion corregida
lo tanto n
3
3n
2
+ 2n 4 > 4n
2
3n
2
+ 2n 4 = n
2
+ 2n 4.
Por otra parte, n
2
+ 2n 4 > 2n 4 y despejar n de
1
2n4
< es facil (resulta
n >
1
+4
2
=
1
2
+ 2). Entonces eligiendo n
0
N tal que
n
0
> max4,
1
2
+ 2
debe resultar la desigualdad buscada. En efecto, si n n
0
[
1
n
3
3n
2
+ 2n 4
0[ = [
1
n
3
3n
2
+ 2n 4
[ =
(ya que al ser n > 4, el denominador es > 0)
=
1
n
3
3n
2
+ 2n 4
<
1
4n
2
3n
2
+ 2n 4
=
1
n
2
+ 2n 4
<
1
2n 4
1
2n
0
4
<
1
2(
1
2
+ 2) 4
=
1
2
2
+ 4 4
= 1/
1
=
lo cual prueba nuestra armacion. OS, OK
PNL,3841
Ejemplo 3.7. A esta altura, el lector debe estar sospechando que todos los lmites
valen 0. Consideremos la sucesion dada por a
n
=
n
2
+2n+1
n
2
3n2
. Armamos que
lim
n
n
2
+ 2n + 1
n
2
3n 2
= 1
Sea > 0 un n umero arbitrario. Es cambiamos de altu-
ra de barras de valor
absoluto
cambiamos desde
aqu por
n
2
+ 2n + 1
n
2
3n 2
1
n
2
+ 2n + 1 (n
2
3n 2)
n
2
3n 2
5n + 3
n
2
3n 2
(2)
Queremos conseguir que esto sea menor que tomando n grande. La idea que nos
va a guiar es dejar solamente potencias cuadradas de n en el denominador y n sin
elevar (o elevado a la 1) en el numerador, de manera que lo que obtengamos sea del
tipo
An
Bn
2
=
A
Bn
(despejar n de
A
Bn
< es facil).
Primero trataremos de quitar las barras de modulo en el tercer miembro de la
ecuacion 2. Para eso observamos que el denominador es positivo, pues al estar n
elevado al cuadrado, es siempre mayor que 3n+2 que son negativos. No hace falta
tomar n muy grande: si n > 4, n
2
3n 2 > 4n 3n 2 = n 2 > 4 2 = 2 > 0,
luego, si al elegir n
0
tomamos la precaucion de que sea mayor que 4, podemos
olvidarnos de las barras de modulo.
Queremos dejar potencias cuadradas de n en el denominador; para ello observa-
mos que, para n grande, es n
2
3n2 > n
2
1
3
n
2
1
3
n
2
, en efecto es 3n >
1
3
n
2
si y solo si 3n <
1
3
n
2
, o sea si y solo si 9 < n. Y es 2 >
1
3
n
2
si y solo si 6 < n
2
,
lo cual se consigue seguro si n > 3.
En denitiva, para n > 9 podemos decir que n
2
3n2 > n
2
1
3
n
2
1
3
n
2
. Pero
entonces, al elegir n
0
, debemos tener la precaucion de que sea mayor que 9. En ese
caso quedara
5n + 3
n
2
3n 2
=
5n + 3
n
2
3n 2
<
5n + 3
n
2
1
3
n
2
1
3
n
2
=
5n + 3
1
3
n
2
=
15n + 9
n
2
<
15n + 9n
n
2
=
24n
n
2
=
24
n
C

y despejar n de
24
n
< es facil: sera n >
24
. Llegado a este punto, como elegimos

n
0
(N) tal que:
n
0
> max9,
24

(con lo cual sera n
0
> 9 y n
0
>
24
). Si n n
0
, entonces
n
2
+ 2n 1
n
2
3n 2
1
5n + 3
n
2
3n 2
=
5n + 3
n
2
3n 2
(ya que n n
0
> 9 > 4)
<
5n + 3
n
2
1
3
n
2
1
3
n
2
=
15n + 9
n
2
(ya que n n
0
> 9)
=
15n + 9n
n
2
=
24
n

24
n
0
24
24
=
que era lo que habamos armado.
Observacion 3.8. En todos estos ejemplos, el lector habra notado que, con la deni-
cion de lmite, solo podemos comprobar, hasta ahora, que determinado n umero es
efectivamente el lmite de cierta sucesion, pero que no tenemos manera de averiguar
cual es ese lmite. Para ello debemos ver, lo haremos en el proximo paragrafo, en
algunas propiedades de la nocion de lmite, propiedades que nos facilitaran poste-
riormente el calculo afectivo de dichos lmites.
Observacion 3.9. En los cinco ejemplos que hemos dado, hay una mecanica de
procedimientos que es oportuno resaltar aqu. En primer termino, el procedimiento
acotacion, tan importante en el Analisis Matematico que hay quienes dicen que
hacer Analisis es acotar; acotar bien desde luego.
El caso tpico de acotacion es el que hemos visto: queremos mostrar que una
cierta expresion se puede hacer menor que ; para ello mostramos que esa expresion
es, a su vez, menor que otra, y que esta otra se puede hacer menor que (con mayor
razon entonces la expresion original).
Acotar bien, es aqu, conseguir esta otra expresion de manera que sea mas facil
de ver que se puede hacer menor que (en el ejemplo 3.4, es mas facil ver que
1
n
referencia agregada
se puede hacer menor que que verlo directamente para
1
n
2
+n
; en el ejemplo 3.7, referencia agregada
es mas facil ver que
24
n
se puede hacer menor que que verlo directamente para
n
2
+2n+1
n
2
3n2
1
, etc).
La pericia en la acotacion se consigue peleandose con los ejercicios (ahora vienen
algunos), tratando de imitar en ellos los ejemplos
Observacion 3.10. Se habra observado en los ejemplos que, una vez elegido el n
0
, la
cosa se vuelve mas o menos automatica, ya que hay que repetir acotaciones hechas
anteriormente. Eso hace que mucha gente, en la practica, considere terminado el
ejercicio con la eleccion de n
0
. Desde un punto de vista logico no es as, a partir
de la eleccion del n
0
se demuestra, en realidad, que el lmite es el n umero indicado.
Pero no se puede negar que la verdadera dicultad, en cada ejemplo, estriba en
llegar a la adecuada eleccion del n
0
, por lo cual la mencionada actitud no deja de
tener su fundamento (lo que viene despues, insistimos, es mas o menos automatico).
Ejercicio 3.11. Probar que la sucesion constante, a
n
= a para todo n N, tiene
lmite a.
el ambiente solu
debera ir afuera del
ambiente ejer
Solucion: Dado > 0. Si tomamos a
n
= a para todo n N y = a; a la izquierda
de la desigualdad [a
n
[ < tenemos que [a
n
[ = [a a[ = 0 que es menor que
cualquier positivo, para todo n N, con n 1, por lo tanto, el lmite es = a.
Ejercicio 3.12. Probar que si lim
n
a
n
= a, entonces lim
n
[a
n
[ = [a[ (usar
ejercicio 4.c del paragrafo 1.12)
Solucion: Sea > 0, buscamos un > 0, tal que si 0 < [a
n
a[ < , entonces Esta bien?
[[a
n
[ [a[[ < , puesto que [[a
n
[a[[ [a
n
a[ (desigualdad del triangulo, podemos
escoger un = , entonces si 0 < [a
n
a[ < , entonces [[a
n
[ [a[[ < , luego
lim
n
[a
n
[ = [a[.
Ejercicio 3.13. Probar las siguientes armaciones: en este ejercicio hay
que pensar como po-
ner las soluciones
(i) lim
n
1
n
= 0 Solucion: cuando n ,
n , por lo tanto
1
n
0
(ii) lim
n
1
n+1+
n
= 0 Solucion: Como n ,

n + 1 , como
un n umero dividido por otro que tiende a innito, tiende a 0, entonces
1
n+1+
n
0
OtraDe la desigualdad

n <
n + 1 se obtiene que 2
n <

n+
n + 1
de modo que
1
n + 1 +
n
<
1
2
n
pero
1
2
n
< 2
n >
1
n >
1
4
2
de modo que basta tomar n
0
() =
1
4
2
|
(iii) lim
n
(1)
n
3n
2
4n
= 0
(iv) lim
n
(1)
n1
2n
2
= 0
(v) lim
n
n
n+1
= 1 Solucion:
n
n+1
= (
n
n
)/
n
n
+
1
n

1
1+0
= 1
(vi) lim
n
3n
4n+2
=
3
4
Solucion:
3n
4n+2
= (
3n
n
)/(
4n
n
+
2
n
)
3
4+0
=
3
4
(vii) lim
n
2n+3
n
2
2n3
= 0 Solucion:
2n+3
n
2
2n3
= (
2n
n
2
+
3
n
2
)/(
n
2
n
2

2n
n
2

3
n
2
)
0+0
100
= 0
(viii) lim
n
3n+1
4n
2
3n+4
= 0 Solucion:
3n+1
4n
2
3n+4
= (
3n
n
2
+
1
n
2
)/(
4n
2
n
2

3n
n
2
4
n
2
)
0+0
400
= 0
(ix) lim
n
3n
2
+2n2
n
2
+1
= 3 Solucion:
3n
2
+2n2
n
2
+1
= (
3n
2
n
2
+
3n
n
2

2
n
2
)/(
n
2
n
2
+
1
n
2
)
3+0+0
1+0
= 3
(x) lim
n
2n
2
3n+1
3n
2
+2n1
=
2
3
Solucion:
2n
2
3n+1
3n
2
+2n1
= (
2n
2
n
2

3n
n
2
+
1
n
2
)/(
3n
2
n
2
+
2n
n
2

1
n
2
)
20+0
3+0+0
=
2
3
(xi) lim
n
n2+n
3n
2
14n7
=
1
3
Solucion:
n
2
+n
3n
2
14n7
= (
n
2
n
2
+
n
n
2
)/(
3n
2
n
2

14n
n
2

7
n
2
)
1+0
300
=
1
3
(xii) lim
n
n
n
3/2
+1
= 0 Solucion:
n
n
3/2
+1
= (
n
n
3/2
)/(
n
3/2
n
3/2
+
1
n
3/2
)
0
1+0
= 0
(xiii) lim
n
n
2/3
+1
n
3/4
+4
= 0 Solucion:
n
2/3
+1
n
3/4
+4
= (
n
2/3
n
3/4
+
1
n
3/4
)/(
n
3/4
n
3/4
+
4
n
3/4
) =
(
1
n
1/12
+
1
n
3/4
)/(1 +
4
n
3/4
)
0+0
1+0
= 0
(xiv) lim
n
3n
2
3 +n
4
5 +2n
5
2
n
3
+n
2
3 +5n
= 0 Solucion:
3n
2
3 +n
4
5 +2n
5
2
n
3
+n
2
3 +5n
= (
2n
2
/3
n
3
+
n
4
/5
n
3
+
2n
5
/2
n
3
)/(
n
3
n
3
+
n
2
/3
n
3
+
5n
n
3
) = (
2
n
7/3
+
1
n
11/5
+
1
n
1/2
)/(1 +
1
n
7/3
+
5
n
2

0+0+0
1+0+0
= 0
C

(xv) lim
n
2n
3/4
+n
1/2
n
3/4
= 2 Solucion:
2n
3/4
+n
1/2
n
3/4
= (
2n
3/4
n
3/4
+
n
1/2
n
3/4
)/(
n
3/4
n
3/4
) =
2+
1
n
1/4
1

2+0
1
= 2
(xvi) lim
n
n
2
3n
7/2
n
7/2
6n
3
+3n
2
2n1
= 3 Solucion:
n
2
3n
7/2
n
7/2
6n
3
+3n
2
2n1
= (
n
2
n
7/2

3n
7/2
n
7/2
)/(
n
7/2
n
7/2

6n
3
n
7/2
+
3n
2
n
7/2

2n
n
7/2

1
n
7/2
) = (
1
n
3/2
3)/(1
1
n
1/2
+
1
n
3/2

3
n
5/2

1
n
7/2
)
03
10+000
= 3
Ejercicio 3.14. Probar que:
lim
n
(
n + 1
n) = 0
Ejercicio 3.15. En el ejercicio 3.13, partes 1, 3 y 6, elegir un n
0
correspondiente
a:
=
1
10
, =
1
100
, =
2
1037
respectivamente
Ejercicio 3.16. (i) Sea (a
n
)
n1
una sucesion convergente con lmite . Pro-
bar que si: (b
n
)
n1
esta denida por b
n
= a
n+1
(o sea, b
1
, b
2
,. . . es
a
2
, a
3
,. . . ) entonces:
lim
n
b
n
=
Solucion: Por la hipotesis se tiene que > 0, n
0
() tal que n > n
0
vale
[a
n
[ < . Consideremos ahora la sucesion (b
n
)
n1
y sea > 0 dado.
Como n > n
0
[a
n
[ < se tiene entonces que n > n
0
: [b
n
[ =
[a
n+1
[ < y, en consecuencia, es el lmite de la sucesion (b
n
)
n1
.
(ii) Mas generalmente, si p (N), (a
n
)
n1
es convergente con lmite y
(b
n
)
n1
esta denida por:
b
n
= a
n+p
entonces:
lim
n
b
n
=
(iii) Si (a
n
)
n1
es convergente con lmite y denimos (b
n
)
n
1 de la siguiente
manera:
_
_
b
1
= cualquier cosa
b
2
= cualquier cosa
.
.
.
b
p
= cualquier cosa
b
k
= a
k
para k > p
entonces
lim
n
b
n
=
(o sea, cambiar de cualquier forma los primeros p terminos de una su-
cesion convergente, no cambia su convergencia ni el valor de su lmite)
(Sugerencia: al elegir n
0
, tener la precaucion de que sea mayor que p).
Ejercicio 3.17. Probar que la sucesion dada por a
n
= (1)
n
no es convergente.
(Sugerencia: probar primero que no converge a ning un n umero c distinto de 1 o de
1 y despues probar que no converge ni a 1 ni a 1).
3.2. Algunas propiedades del lmite. Vamos a estudiar ahora algunas propieda-
des relacionadas con la nocion de lmite, propiedades que nos resultaran de utilidad
en el calculo de lmites. La primera de ellas es un tanto obvia: nos dice que una
sucesion convergente no puede tener dos lmites distintos.
error en ambiente
prop
Proposicion 3.18. Sea (a
n
)
n1
una sucesion tal que
lim
n
a
n
=
1
y
lim
n
a
n
=
2
para ciertos n umeros reales
1
y
2
. Entonces:
1
=
2
Demostracion. La demostracion resultara como consecuencia del ejercicio 2b del
paragrafo 1.9, que a su vez es una consecuencia de la Arquimedianidad (Proposicion
1.26) (Porque?).
Sea un n umero cualquiera mayor que cero. Por denicion de lmite y por la
hipotesis de esta Proposicion existe n
0
N tal que, si n n
0
, entonces [a
n
1
[ <

2
.
Analogamente, existen n
0
N tal que, si n n
0
, entonces [a
n

2
[ <

2
.
Sea n un n umero natural cualquiera mayor que n
0
y que n
0
. Entonces:
[
1

2
[ = [
1
a
n
+ a
n

2
[ [
1
a
n
[ +[a
n

2
[ = [a
n

1
[ +[a
n

2
[
<

2
+

2
= (ya que n n
0
y n n
0
)
En consecuencia, resulta que el n umero [
1
2
[, que es 0, es menor que cualquier PL, OK
MBFM,4245
n umero positivo . Luego, por el mencionado ejercicio, debe ser [
1

2
[ = 0, de
donde
1

2
= 0, o sea
1
=
2
.
Hay otra demostracion de esta Proposicion que es mas ilustrativa: supongamos
que no es cierta la igualdad
1

2
. Entonces uno de los dos es menor que el otro,
digamos
1
<
2
. Llamemos:
=

2

1
2
Por denicion de lmite, existe n
0
N tal que, para n n
0
, es [a
n

1
[ < .
Analogamente, existe n
0
N tal que, para n n
0
, es [a
n

2
[ < . Sea n N
tal que n n
0
y n n
0
. Entonces es [a
n

1
[ < , o sea
< a
n

1
<
de donde
1
< a
n
<
1
+
Como =
21
2
resulta todas las l van a
1

2

1
2
< a
n
<
1
+

2

1
2
o sea:
1

2
2
< a
n
<

1
+
2
2
(3)
Por otra parte, al ser [a
n
l
2
[ < es
< a
n

2
<
o sea:
2
< a
n
<
2
+
C

Figura 2. Entornos de
1
y
2
y, recordando que =
21
2
2

2

1
2
< a
n
<
2
+

2

1
2
de donde:
2
+
1
2
< a
n
<
3
2

1
2
(4)
Ahora bien, 3 y 4 son incompatibles: por 3 sabemos que, en particular a
n
< referencias agrega-
das
1+2
2
,y por 4 que
1+2
2
< a
n
. Estas desigualdades no pueden ser ambas ciertas,
con lo que llegamos a una contradiccion. Nuestro punto de partida fue negar la
igualdad
1
=
2
, luego debe ser
1
=
2
.
Para la siguiente propiedad, necesitamos primero una denicion: una sucesion
(a
n
)
n1
se dice acotada si existen n umeros reales M
1
y M
2
tales que M
1
a
n
M
2
para todo n N (ver gura 3).
Por ejemplo, la sucesion dada por a
n
=
1
n
es acotada, ya que 0
1
n
1 para todo
n N. En cambio, la sucesion dada por a
n
= n no es acotada, ya que cualquiera
sea M
2
R, existe n N tal que M
2
< n (Arquimedianidad).
Proposicion 3.19. Toda sucesion convergente es acotada.
Demostracion. Sea (a
n
)
n1
una sucesion convergente y sea su lmite
lim
n
a
n
=
Esto signica, de acuerdo a la Denicion 3.2, que cualquiera sea > 0 existe
n
0
N tal que, para n n
0
, es [a
n
l[ < . Esta desigualdad es equivalente a:
< a
n
< , o sea:
< a
n
< +
Como, por denicion de lmite, esto vale para cualquier > 0, entonces en
particular debe valer, por ejemplo, para = 1. Es decir, debe existir un n
0
N tal
que, para n n
0
:
1 < a
n
< + 1
Figura 3. Intervalo [M
1
, M
2
]
Figura 4. Intervalo [ , + ]
Esto podra hacer pensar que ya tenemos el M
1
y el M
2
buscados ( 1 y + 1
respectivamente), pero hay que recordar que esa desigualdad vale solamente para
n n
0
. De todas maneras, aquellos a
n
para los cuales puede no valer son, en
n umero, nitos (a
1
, a
2
, . . . , a
n01
), con lo cual la situacion se remedia facilmente.
Sean: aqu fue necesario
formatear bastante,
es un caso en que van
los doble backslash,
notar los cambios
H
1
= mina
1
, a
2
, . . . , a
n01
(luego H
1
a
1
, H
1
a
2
, . . . , H
1
a
n01
)
H
2
= maxa
1
, a
2
, . . . , a
n01
(luego a
1
H
2
, a
2
H
2
, . . . , a
n01
H
2
)
y sean:
M
1
= min( 1, H
1
) (luego M
1
1, M
1
H
1
)
M
2
= max( + 1, H
2
) (luego + 1 M
2
, H
2
M
2
)
Entonces resulta M
1
a
n
M
2
para todo n N. En efecto, si n N, o bien
es n < n
0
o bien es n n
0
. En el primer caso sera a
n
H
2
M
2
, y en el segundo
caso, a
n
< + 1 M
2
; analogamente resulta M
1
a
n
.
C

Como corolario inmediato, la sucesion dada por a
n
= n (o sea, 1, 2, 3, 4, ..., n, ...)
no es convergente ya que como vimos antes, no es acotada.
La recproca de esta Proposicion (que sera: toda sucesion acotada es convergen-
te) no es cierta.
Por ejemplo, la sucesion dada por a
n
= (1)
n
(o sea, 1, 1, 1, 1, ...) es clara-
mente acotada pero no es convergente.
La siguiente propiedad es muy sencilla de probar y resultara muy util mas ade-
lante
n
)
n1
una sucesion convergente con lmite
(i) Si > b para un cierto b R, entonces existe n
0
N tal que, para n n
0
,
es a
n
> b.
(ii) Si < b para un cierto b R, entonces existe n
0
N tal que, para n n
0
es a
n
< b
Demostracion. (i) Como lim
n
a
n
= , dado > 0 se puede encontrar
n
0
N tal que, para n n
0
, [a
n
l[ < . Como esto vale para todo > 0,
en particular vale para = b
Figura 5. Intervalo [b, 2 b]
Luego existe n
0
N tal que, para n n
0
, [a
n
l[ < l b, o sea he extirpado tonela-
das de : y espacio
en blanco
( b) < a
n
< b
de donde:
( b) < a
n
< + ( b)
y por lo tanto:
b < a
n
< 2 b para n n
0
(ver la gura 5) notar el cambio aqu
En particular, b < a
n
para n n
0
(ii) Igual que 1, tomando = b
La recproca de esta Proposicion (si a
n
> b para todo n n
0
, entonces > b,
etc.) no es cierta. Por ejemplo, la sucesion dada por a
n
=
1
n
verica a
n
> 0 para
todo n, y sin embargo su lmite no es mayor que 0 (es igual a 0). De todas formas
es casi cierta. no van los enfasis de
texto!
Corolario 3.21. Sea (a
n
)
n1
una sucesion convergente con lmite .
(i) Si a
n
> b para todo n n
0
, entonces b
(ii) Si a
n
< b para todo n n
0
, entonces b
Demostracion. (i) Si no fuese b, sera < b. Luego, por 3.20, existira
un n
0
tal que, para n n
0
, a
n
< b. Si n
0
= max(n
0
, n
0
), entonces para
n n
0
resulta simultaneamente a
n
> b y a
n
< b, absurdo.
(ii) De la misma forma.
La siguiente propiedad es bastante obvia: si una sucesion esta metida entre dos
sucesiones que tienen el mismo lmite, entonces dicha sucesion tambien tiene ese
lmite. Con mas precision:
Proposicion 3.22. Sean (a
n
)
n1
y (b
n
)
n1
dos sucesiones convergentes con el
mismo lmite y sea (c
n
)
n1
una sucesion tal que:
a
n
c
n
b
n
para todo n N
Entonces (c
n
)
n1
es convergente y su lmite tambien es .
Demostracion. Sea > 0 cualquiera; existe n
0
N tal que, para n n
0
, [a
n
l[ < ,
y existe n
0
N tal que, para n n
0
, [b
n
l[ < . Entonces, para n n
0
= he extirpado muchos
left y
right
max(n
0
, n
0
) valen las dos desigualdades.
Sea entonces n n
0
. Sera
c
n
a
n
[ a
n
[ = [a
n
[ <
c
n
b
n
[b
n
[ <
En denitiva es c
n
< y c
n
< para n n
0
. La desigualdad c
n
<
es equivalente a < c
n
. Luego, para n n
0
< c
n
<
o sea
[c
n
[ <
Antes de enunciar y demostrar otras propiedades, consideraremos la siguiente

situacion: supongamos tener dos sucesiones (a
n
)
n1
y (b
n
)
n1
. Para cada n N
podemos sumar los terminos correspondientes, a
n
y b
n
, y obtener as a
n
+ b
n
;
esto nos da una nueva sucesion que sera (a
n
+ b
n
)
n1
. Analogamente podemos
multiplicarlos y obtener otra sucesion (a
n
b
n
)
n1
, y si b
n
,= 0 para todo n N,
podemos construir la sucesion (
an
bn
)
n1
.
Si las sucesiones (a
n
)
n1
y (b
n
)
n1
son convergentes con lmites
1
y
2
respecti-
vamente, queremos averiguar que sucedera con las tres sucesiones recien denidas:
si seran convergentes y, en caso armativo, a que lmite. Las respuestas, que ahora
pasamos a dar, resultan bastante naturales.
C

n
)
n1
y (b
n
)
n1
sucesiones convergentes. Entonces:
lim
n
(a
n
+ b
n
) = lim
n
a
n
+ lim
n
b
n
aqu hay una errata
en el libro
Demostracion. Sean
1
= lim
n
a
n
,
2
== lim
n
b
n
Sea > 0 arbitrario; como
aqu hay otra errata
en el libro
es
[a
n
+ b
n
(
1
+
2
)[ = [a
n

1
+ b
n

2
[ [a
n

1
[ +[b
n

2
[ (5)
entonces para que resulte [a
n
+b
n
(
1
+
2
)[ < bastara con que fuese [a
n
1
[ <

2
y [b
n

2
[ <

2
. ?Podemos conseguir eso? Desde luego; la denicion de lmite nos
dice que podemos hacer [a
n

1
[ menor que cualquier n umero positivo con tal de
tomar n grande. Y

2
es un n umero positivo. Lo propio vale para [b
n
2
[; un poco
de precision y terminamos la demostracion:
Por ser lim
n
a
n
=
1
, existe n
0
N tal que, para n n
0
, es [a
n
[ <

2
Por ser lim
n
a
n
=
2
, existe n
0
N tal que, para n n
0
, es [b
n
[ <

2
.
Sea entonces n
0
= max(n
0
, n
0
). Si n n
0
, sera n n
0
y n n
0
; luego
sera [a
n

1
[ <

2
y [b
n

2
[ <

2
. Por lo tanto, por la desigualdad 5 , sera agregada la referen-
cia [a
n
+ b
n
(
1
+
2
)[ <

2
+

2
= , y la proposicion queda probada.
Para pasar al producto, hacemos primero una observacion: si (b
n
)
n1
es una
sucesion para la cual existe un n umero M tal que [b
n
[ M para todo n N,
entonces (b
n
)
n1
es acotada; en efecto, es M b
n
M para todo n N.
Recprocamente, si la sucesi on es acotada, entonces existe el tal n umero M con esa
propiedad. Pues al ser acotada, existen n umeros M
1
y M
2
con la propiedad de que
M
1
b
n
M
2
. Sea M = max[M
1
[, [M
2
[; entonces
M [M
1
[ M
1
b
n
M
2
[M
2
[ M
(justicar cada desigualdad) o sea M b
n
M para todo n N. Luego, el ser justicar cada desi-
gualdad (b
n
)
n1
acotada es equivalente a la existencia de un M R tal que [b
n
[ M para
todo n N.
n
)
n1
y (b
n
)
n1
sucesiones convergentes.
lim
n
(a
n
b
n
) = ( lim
n
a
n
)( lim
n
b
n
)
Demostracion. Sean
1
= lim
n
a
n
,
2
= lim
n
b
n

MBF, , los ,
textsl, proof, y,
sobre todo los left y
right
falta Yanina, 4649
.
.
.
3.3. Lmites innitos.
Denicion 3.25. Se dice que una sucesion (a
n
)
n1
tiende a +, y se escribe
lim
n
a
n
= + (6)
si, cualquiera que sea el n umero real M > 0, existe un n
0
N tal que, para n n
0
es
a
n
> M (7)
.
.
.
n
)
n1
una sucesion acotada y sea (b
n
)
n1
una sucesion
tal que lim
n
b
n
= . Entonces
(i) lim
n
(a
n
+ b
n
) =
(ii) lim
n
an
bn
= 0
.
.
. DRR, 5053
n
)
n1
una sucesion tal que existe n
0
con la propiedad
de que [a
n
[ > r > 0 para todo n n
0
(r jo) y sea (b
n
)
n1
una sucesion tal que
lim
n
b
n
= . Entonces: errores en la prop
lim
n
(a
n
b
n
) =
Demostracion. Sea M > 0 arbitrario; como b
n
tiende a innito, existe n
0
tal que,
para n n
0
, vale que [b
n
[ >
M
r
. Si n
0
= max(n
0
, n
0
), entonces para n n
0
sera:
[a
n
b
n
[ = [a
n
[[b
n
[ > r
M
r
= M
lo que prueba la proposicion.
Si (a
n
)
n1
es convergente con lmite a, entonces en particular es acotada y esta
en las condiciones de la proposicion 3.26. Si a ,= 0, entonces [a[ > 0 y, por la
proposicion 3.20, parte 1 y el ejercicio 3.12 del paragrafo 3.1, (a
n
)
n1
esta en las
condiciones de la Proposicion 3.27. Luego valen las tres conclusiones establecidas
en esas dos proposiciones, lo cual se suele indicar de la siguiente manera:
_
_
_
a + =
a/ = 0
a = (si a ,= 0)
Estas tres desigualdades son faciles de recordar (porque son naturales), pero hay
que tener cuidado en recordar tambien lo que en realidad quieren decir: a+ =
signica que si una sucesion tiene lmite a y otra tiene lmite , entonces la sucesion
suma tiene lmite innito; analogamente para las otras dos. Teniendo en cuenta
estas precauciones, su uso esta permitido (y hasta recomendado)
Con las propiedades vistas hasta ahora, podemos comenzar a encarar el problema
del calculo de lmites. Hasta ahora lo que sabemos es demostrar que determinado
n umero es efectivamente el lmite de una cierta sucesion, pero si solo nos dan la
sucesion, no sabemos como encontrar su lmite (supuesto que exista).
Consideremos algunos de los ejemplos dados luego de la denicion 3.2 de lmite.
La sucesion dada por a
n
=
1
2n
2
3
tiene un lmite que se calcula facilmente; es:
a
n
=
1
2n
2
3
=
1
n
2n
3
n
(dividiendo numerador y determinador por n)
Pero
1
n
tiene lmite 0 3.26 parte ??; analogamente
3
n
tiene lmite 0. Entonces
2n
2
3
n
tiene lmite por??. Luego a
n
tiene lmite 0 por Proposicion ?? (es el
caso
0
= 0).
El ejemplo ?? ,la sucesion dada por a
n
=
n
2
+2n+1
n
2
3n2
tambien tiene un lmite facil
de calcular. Dividiendo numerador y denominador por n
2
resulta:
a
n
=
n
2
+ 2n + 1
n
2
3n 2
=
1 +
2
n
+
1
n
2
1
3
n

2
n
2
C

Por Proposicion ??;
2
n
,
1
n
2
,
3
n
y
2
n
2
tienen lmite 0. Ahora aplicamos las Pro-
posiciones ?? y ?? para concluir que
lim
n
a
n
=
lim(1 +
2
n
+
1
n
2
)
lim(1
3
n

2
n
2
)
=
lim1 + lim
2
n
+ lim
1
n
2
lim1 + lim
3
n
+ lim
2
n
2
=
1 + 0 + 0
1 + 0 + 0
= 1
Un error usual en que el alumno suele caer, al estudiar estos temas por primera
vez, es creer que es distinto calcular un lmite que demostrar que el n umero que
resulte es efectivamente el lmite de la sucesion dada. Nada de eso: en los dos
ejemplos que hemos visto recien hemos demostrado que el lmite de
1
(2n
2
3)
es 0 y
hemos demostrado que el lmite de
(1+
2
n
+
1
n
2
)
(1
3
n
2
n
2
)
es 1 (las demostraciones se apoyaron
en las Proposiciones ??, ?? y 3.26).
Ejercicio 3.28. Demostrar que si (a
n
)
n1
es una sucesion tal que [a
n
[ > r > 0
para todo n N (r jo) y (b
n
)
n1
es tal que b
n
,= 0 para todo n N pero
lim
n
b
n
= 0, entonces lim
n
(a
n
/b
n
) = (o sea,
a
0
= si a ,= 0 como regla
mnemotecnica)
Ejercicio 3.29. Probar las siguientes armaciones:
(i) (a
n
)
n1
acotada, lim
n
b
n
= + lim
n
(a
n
+ b
n
) = +
(ii) (a
n
)
n1
acotada, lim
n
b
n
= lim
n
(a
n
+ b
n
) = +
(iii) lim
n
a
n
= +, lim
n
b
n
= + lim
n
(a
n
+ b
n
) = +
(iv) lim
n
a
n
= , lim
n
b
n
= lim
n
(a
n
+ b
n
) =
(v) lim
n
a
n
= +, lim
n
b
n
= lim
n
(a
n
b
n
) =
Ejercicio 3.30. Mostrar, dando un contraejemplo en cada caso, que las armacio-
nes son falsas:
(i) lim
n
a
n
= , lim
n
b
n
= lim
n
(a
n
+ b
n
) = Solucion:
lim
n
(a
n
+ b
n
) = lim
n
(a
n
) + lim
n
(b
n
)= + = hay que dar un con-
traejemplo (ii) lim
n
a
n
= a, lim
n
b
n
= lim
n
(a
n
b
n
) = Solucion:
lim
n
(a
n
b
n
) = lim
n
(a
n
). lim
n
(b
n
)= a. =
aqu tambien hay
que dar un contrae-
jemplo
Ejercicio 3.31. (i) Probar que si lim
n
b
n
= y a
n
b
n
para todo n N
entonces lim
n
a
n
=
(ii) Probar que si lim
n
b
n
= y a
n
b
n
para todo n N entonces
lim
n
a
n
=
(iii) Probar que si lim
n
a
n
= a > 0 y lim
n
b
n
= entonces lim
n
(a
n
b
n
) =
(iv) Probar que si lim

n
a
n
= a < 0 y lim
n
b
n
= entonces lim
n
(a
n
b
n
) =
Ejercicio 3.32. Calcular los siguientes lmites:

(i) lim
n
3n
2
+6n1
2n
2
6n7
Solucion: lim
n
3n
2
+6n1
2n
2
6n7
= lim
n
3+
6
n
1
n
2
2
6
n
7
n
2
=
3+0+0
2+0+0
=
3
2
(ii) lim
n
2n
3
+6n1
14n
2
16n+8
Solucion: lim
n
2n
3
+6n1
14n
2
16n+8
= lim
n
2n+
6
n
1
n
2
14
16
n
8
n
2
=
lim
n
2n
14
=
(iii) lim
n
4n
2
+2n+1
n
3
+1
Solucion: lim
n
4n
2
+2n+1
n
3
+1
= lim
n
4+
2
n
+
1
n
2
n+
1
n
2
= lim
n
4
n
=
0
Ejercicio 3.33. Sean f y g funciones polinomicas de grado h y k respectivamente
(ver paragrafo 2.3). Para cada natural n estan denidos f(n) y g(n).
Probar:
(i) lim
n
f(n)
g(n)
= 0 si h < k
(ii) lim
n
f(n)
g(n)
= si h > k
Cuanto vale lim
n
f(n)
g(n)
si h = k?
3.4. Algunos lmites importantes. En el Paragrafo 3.2, dadas dos sucesiones
(a
n
)
n1
y (b
n
)
n1
, habamos estudiado el comportamiento de las sucesiones (a
n
+
b
n
)
n1
, (b
n
)
n1
y, si b
n
,= 0 para todo n, (
an
bn
)
n1
. Otra sucesion que podemos
considerar, si a
n
0 para todo n N, es (a
bn
n
)
n1
. Queremos llegar a probar que,
si a
n
tiene lmite a > 0 y b
n
tiene lmite b, entonces a
bn
n
tiene lmite a
b
. Vamos a aqu hay una errata
en el texto tener que dar un largo rodeo para probar esto, cosa que empezaremos a hacer en
este paragrafo (y terminamos de hacer en 3.7). referencia 3.7?
Nuestro primer resultado sera obvio si ya estuviese probada la mencionada pro-
piedad. Vamos a considerar la sucesion dada por a
n
=
n
a = a
1
n
. Como
1
n
0, si
esa propiedad fuese cierta, entonces el lmite de a
1
n
debera ser a
0
= 1. Probamos
ese resultado directamente:
Lema 3.34. Si a es un n umero real mayor que 0, entonces
lim
n
n
a = 1
Demostracion. Supongamos primero a > 1; recordemos la desigualdad de Bernoulli
(Proposicion 1.12) que dice que si h > 1, entonces para todo natural n vale:
(1 + h)
n
1 + nh
Consideremos el caso h = a
1
n
1; como la raz n-sima es siempre positiva,
entonces este h es mayor que 1, por lo cual resulta:
(1 + (a
1
n
1))
n
1 + n(a
1
n
1)
o sea:
a 1 + n(a
1
n
1)
de donde podemos despejar
a
1
n
1
a 1
n
Como a > 1, entonces a
1
n
> 1, luego a
1
n
1 > 0. Entonces es
0 < a
1
n
1
a 1
n
La sucesion a la derecha tiende claramente a 0 y la sucesion de la izquierda es
constantemente 0, luego tambien tiende a 0. Entonces la sucesion con el mismo
lmite, debe tambien tener ese lmite (por Proposicion 3.22), es decir:
lim
n
(a
1
n
1) = 0
Como a
1
n
= (a
1
n
1) + 1 y la sucesion constantemente igual a 1 tiene lmite 1,
entonces una aplicacion de la Proposicion ?? nos muestra que lima
1
n
= 0 + 1 = 1.
C

Supongamos ahora a < 1 (y siempre a > 0). Entonces
1
a
> 1, con lo cual
n
_
1
a
1, o sea
1
n
a
1. Aplicando la Proposicion ?? concluimos que
n
a =
1
1
n
a
debe tender a
1
1
= 1
Por ultimo, si a = 1 el Lema es trivial.
Probamos ahora un resultado que no es tan natural como el anterior:
Proposicion 3.35.
lim
n
n
n = 1
esta prop estaba re-
mal
Demostracion. Aplicamos nuevamente la desigualdad de Bernoulli (si h > 1, (1+
h)
n
1 + nh para todo n ,= N). Tomando h = n
1
2n
1 resulta:
(1 + (n
1
2n
1))
n
1 + (n
1
2n
1)
de donde:
n 1 + n(n
1
2n
1)
o sea
n
1
2n
1
n 1
n
=
1
1
n
Aqu aplicamos la proposicion ?? (el miembro de la derecha tiende claramente a faltan todas las refe-
rencias 0) para concluir que
lim
n
(n
1
2n
1) = 0
de donde
lim
n
(n
1
2n
) = 1
Ahora bien,
n
n = (
2n
n)
2
= (n
1
2n
)
2
, luego
n
n debe tender, por la Proposicion

??, a (1)(1) = 1, lo cual prueba la Proposicion
De acuerdo con esto y por 3.9,
n
n
2
=
n
n.n =
n
n
n
n = (
n
n)
2
y mas general- referencia 3.9???
mente
n
n
k
= (
n
n)
k
tiene lmite 1. Es posible probar mas todava (ver ejercicio 2
de este paragrafo). referencia al ejercicio
2 Estudiemos ahora la sucesion dada por a
n
= r
n
donde r es un n umero real
cualquiera.
En primer termino consideremos el caso r > 1; en ese caso sera r = 1 + h con
h > 0 y por lo tanto, por la desigualdad de Bernoulli:
r
n
= (1 + h)
n
1 + nh
Es muy facil ver que lim
n
(1 + nh) = + . Luego por el ejercicio 4.a del referencia al ejercicio
4.a paragrafo anterior lim
n
r
n
= +.
En segundo termino, consideremos el caso r < 1. Aqu sera [r[ = r > 1, DR OK con alguna
reserva
ED,5457
luego lim
n
[r[
n
= +, o sea lim
n
[r
n
[ = +, de donde lim
n
r
n
=
(recordar denicion ??).
En tercer termino, consideremos el caso [r[ < 1 y r ,= 0. Entonces [r
n
[ =
1
1/|r|
n
y
como 1/[r[ > 1, el denominador tiende a +. Luego [r
n
[ tiende a 0, lo cual implica
inmediatamente, a partir de la Denicion 3.2 de lmite, que lim
n
r
n
= 0.
Los casos r = 0 y r = 1 son triviales (tienen lmites 0 y 1 respectivamente)
y el caso r = 1 corresponde a la sucesion 1, 1, 1, 1, . . . , que sabemos no es
convergente. En resumen:
lim
n
r
n
=
_
_
0 si [r[ < 1
+ si r > 1
si r < 1
no existe si r = 1
van como ejercicios
separados
n
)
n1
una sucesion acotada de terminos positivos
y tal que existe r > 0 para el que a
n
r para todo n N. Probar que
lim
n
n
a
n
= 1
(ii) Dar un ejemplo de una sucesion (a
n
)
n1
acotada de terminos positivos
para la cual no sea cierto lim
n
n
a
n
= 1.
Ejercicio 3.37. Probar
(i) lim
n
n
n
2
+ n = 1;
(ii) lim
n
n
n
2
n = 1;
(iii) lim
n
n
3n
3
+ 2n
2
+ 2n + 1 = 1;
(iv) lim
n
n
3n
3
4n
2
+ 6n 3 = 1;
(v) lim
n
n
_
f(n) = 1; si f es polinomial y el coeciente de mayor grado es
positivo.
no lleva itemize y
hay varias erratas
Ejercicio 3.38. Calcular
(i) lim
n
n
3
n
+ 2;
(ii) lim
n
n
3
n
2;
(iii) lim
n
n
_
(1/2)
n
+ 3;
(iv) lim
n
n
3
n
+ 2
n
;
(v) lim
n
n
a
n
+ b
n
(0 < a < b);
n
)
n1
una sucesion de terminos positivos tal que
lim
n
an+1
an
= 0, probar que lim
n
n
a
n
= 0 (Sugerencia: dado > 0
resultara 0 < a
n
< a
n0
nn0
para un cierto n
0
).
(ii) Sea (a
n
)
n
1 una sucesion de terminos positivos tal que lim
n
an+1
an
=
> 0, probar que lim
n
n
a
n
= . (Sugerencia: sera (
1
2
)
nn0
a
n0
<
a
n
< ( +
1
2
)
nn0
a
n0
para un cierto n
0
) esto estaba remal
(iii) Aplicar los puntos 1 y 2 para calcular los siguientes lmites: falta un item
(i) lim
n
n
n ;
(ii) lim
n
r
n
;
(iii) lim
n
n!;
(iv) lim
n
n
3
n
+ 2
n
;
(v) lim
n
n
a
n
+ b
n
, (0 < a < b);
Ejercicio 3.40. Sea (a
n
)
n1
una sucesion convergente con lmite a. Probar que:
(i) lim
n
a
n
n
= + si a > 1
(ii) lim
n
a
n
n
= si a < 1
(iii) lim
n
a
n
n
= 0 si [a[ < 1
n
)
n1
una sucesion de terminos positivos tales que lim
n
a
n
=
0. Probar que a
n
: n N tiene un maximo.
Ejercicio 3.42. Sea a
n
= 2 +(1)
n
. Probar que lim
n
n
a
n
= 1, pero que
an+1
an
no tiene lmite (luego la recproca del problema 4.b. no es cierta). referencia de proble-
ma 4.b
C

n
)
n1
una sucesion tal que a
n
,= 0 y lim
n
an+1
an
= con
[[ < 1. Probar que lim
n
a
n
= 0. Deducir nuevamente que lim
n
r
n
= 0 para
[r[ < 1.
3.5. Un criterio de convergencia.
Denicion 3.44. Una sucesion (a
n
)
n1
se dice creciente si es a
n+1
a
n
para todo
n N, y se dice decreciente si a
n+1
a
n
para todo n N. En cualquiera de los esta de estaba real-
mente terrible casos la sucesion se dice monotona.
la indicacion es no
enfatizar el texto
Si una sucesion (a
n
)
n1
es creciente, entonces cada vez que sea n > m sera
a
n
a
m
. En efecto, si n > m, entonces n = m+p, con p N. Luego a
n
= a
m+p

a
m+p1
a
m+p2
. . . a
m+1
a
m
(Para evitar los puntos suspensivos en este
razonamiento, ver ejercicio 1 de este paragrafo). referencia al ejercicio
correcto Analogamente si (a
n
)
n1
es decreciente, entonces cada vez que sea n > m sera
a
n
a
m
. En realidad sera mas apropiado decir que la sucesion es creciente si
a
n+1
> a
n
para todo n N (pues entonces resultara que, a medida que crece n
crece a
n
), pero la costumbre es reservar ese nombre para las que cumplen a
n+1
a
n
para todo n N y llamar estrictamente crecientes a las que cumplen a
n+1
> a
n
para todo n N.
Analogamente, se las llama estrictamente decrecientes cuando cumplen a
n+1
<
a
n
para todo n N. Desde luego que toda sucesion estrictamente creciente es
automaticamente creciente (a
n+1
> a
n
implica a
n+1
a
n
) y toda sucesion estricta-
mente decreciente es automaticamente decreciente (a
n+1
< a
n
implica (a
n+1
a
n
).
Lo bueno de las sucesiones monotonas es que siempre tienen lmite. Mas preci-
samente:
n
)
n1
una sucesion monotona. Entonces:
(i) Si (a
n
)
a1
es acotada, entonces (a
n
)
n1
es convergente.
(ii) Si (a
n
)
n1
no es acotada, entonces lim
n
a
n
= . En caso de ser
creciente, lim
n
a
n
= + y en caso de ser decreciente, lim
n
a
n
=
Demostracion. (i) Consideremos el conjunto

A = a
n
: n N (8)
o sea, A es el conjunto de todos los valores que toma la sucesion. Como
esta es acotada, existira un n umero real M tal que [a
n
[ M para todo no se deben in-
cluir variables
matematicas en
modo texto
n N. Esto signica que M a
n
M, o sea, en terminos de A, el
conjunto A es acotado superior e inferiormente.
Sabemos que la sucesion es monotona, lo cual signica que o bien es
crececiente o bien es decreciente. Veamos que en ambos casos tiene lmite. agregar enfasis que
no gura en el tex-
to es en la direccion
contraria de la espe-
cicacion del presen-
te trabajo
Sea (a
n
)
n1
creciente, sabemos que existe
a = supA (9)
Por la Proposicion 1.22, cualquiera sea > 0 existe un elemento de A,
digamos a
n0
, tal que a < a
n0
. Pero entonces, para n n
0
:
a < a
n0
a
n
a < a + (10)
o sea
a < a
n
< a + (11)
en donde, siempre para n n
0
[a
n
a[ < (12)
lo cual prueba que: lim
n
a
n
= a.
Sea ahora (a
n
)
n1
decreciente, sabemos que existe
a
= inf A (13)
Por ejercicio 4 del paragrafo 1.8, cualquiera sea > 0 existe un elemento
de A, digamos a
n
0
, tal que a
n
0
< a
+ . Luego, para n n
0
a
< a
a
n
a
n
0
< a
+ (14)
o sea
a
< a
+ (15)
de donde, siempre para n n
0
[a
n
a[ < (16)
lo cual prueba, ya que era cualquiera, que lim
n
a
n
= a
(ii) Supongamos ahora que la sucesion es creciente y no acotada. Al ser cre-

ciente la sucesion, entonces necesariamente esta acotada inferiormente (por
ejemplo, por a
1
, ya que es a
1
a
2
a
3
. . .); luego, si la suponemos no
acotada, querra decir que no esta acotada superiormente. En otras pala-
bras, cualquiera sea el n umero M > 0, existira un termino de la sucesion,
digamos a
n0
, tal que a
n0
> M. Pero entonces, para n n
0
a
n
a
n0
> M (17)
Recordando la denicion 3.25 vemos que esto signica que: lim
n
a
n
= referencia
+.
Por ultimo, si (a
n
)
n1
es decreciente y no acotada, entonces (a
n
)
n1
es creciente (al ser a
n+1
a
n
es a
n+1
a
n
) y no acotada. Luego, por
lo que acabamos de ver, lim
n
(a
n
) = + o sea, por Denicion ??
lim
n
a
n
= .
Veamos un ejemplo de aplicacion de esta Proposicion. Consideremos la sucesion
2,
_
2 +
2,
_
2 +
_
2 +
2, . . ., o sea, la sucesion denida inductivamente por:

_
a
1
=

2
a
n+1
=

2 + a
n
Armamos que esta sucesion es acotada. En efecto, es claramente 0 a
n
para
todo n N y ademas es a
n
2 para todo n N como lo prueba el siguiente
argumento, por induccion: es a
1
2, pues si fuese a
1
> 2 sera

2 > 2 o sea
elevado al cuadrado, 2 > 4, absurdo; y supuesto a
n
2, resulta a
n+1
=

2 + a
n

2 + 2 =

4 = 2.
Tambien es creciente; en efecto, si fuese a
n+1
< a
n
para alg un n N, entonces
sera

2 + a
n
< a
n
o sea 2+a
n
< a
2
n
, de donde a
2
n
a
n
2 > 0; de aqu obtenemos,
por completacion de cuadrados, (a
n

1
2
)
2
1
4
2 > 0, o sea (a
n

1
2
)
2
>
9
4
.
Luego [a
n

1
2
[ >
3
2
, lo cual implica a
n

1
2
>
3
2
o a
n

1
2
<
3
2
. La primera
desigualdad lleva a a
n
>
1
2
+
3
2
= 2, que sabemos que no puede ser, y la segunda a
a
n
<
1
2

3
2
= 1, que tampoco puede ser (era 0 a
n
2 para todo n N).
C

La proposicion 3.45 nos dice que existe = lim
n
a
n
, pero en este caso pode-
mos saber algo mas que su mera existencia: podemos saber cuanto vale. En efecto,
si en la igualdad
a
n+1
=

2 + a
n
(18)
tomamos lmite cuando n , obtenemos:
lim
n
a
n+1
= lim
n
2 + a
n
(19)
Al ser lim
n
a
n
= , es lim
n
a
n+1
= (ejercicio 6.a. del paragrafo 3.1), y referenciar este ejer-
cicio es lim
n
2 + a
n
=

2 + (ejercicio 5 del paragrafo 3.2 y Proposicion ?? ). En
referenciar denitiva:
=

2 + (20)
de donde
2
= 2 + (21)
o sea
2
2 = 0 (22)
De aqu se deduce (usando ejercicio 2.6 del paragrafo 2.3) que = 2 o = 1.
El segundo caso no puede ser, ya que al ser a
n
0 para todo n N, debe ser 0.
Luego:
lim
n
a
n
= 2
n
)
n1
una sucesion creciente. Probar que si n > m, entonces
a
n
> a
m
(Sugerencia: considerar P
n
=a
k
+ n > a
k
para todo k N y usar ED, muy ojo
VP, 5861
induccion).
Ejercicio 3.47. Probar que la unica sucesion creciente y decreciente a la vez es la
sucesion constante.
Ejercicio 3.48. Para las siguientes sucesiones, decir cuales son crecientes, cuales
estrictamente crecientes, cuales decrecientes, y cuales acotadas:
(i) a
n
=
n
n+1
;
(ii) a
n
=
n!
n
n
;
(iii) a
n
=
1
n+1
n
;
(iv) a
n
1
n+1
+
1
n+2
+ . . . +
1
2n
Ejercicio 3.49. Probar que las siguientes sucesiones son convergentes, y calcular
su lmite:
(i) a
1
=

3; a
n+1
=

3 + a
n
;
(ii) a
1
=

5; a
n+1
=

5 + a
n
;
3.6. El n umero e. Vamos a aplicar el resultado del paragrafo anterior al estudio de
la convergencia de una sucesion particular. Consideramos la sucesion cuyo termino
general es:
a
n
= (1 +
1
n
)
n
Armamos que esta sucesion es acotada y estrictamente creciente.
Observamos primero, que, por la formula del binomio (Teorema 1.13), es:
a
n
= (1 +
1
n
)
n
= (
1
n
+ 1)
n
=
n
k=0
_
n
k
_
(
1
n
)
k
1
nk
=
n
k=0
_
n
k
_
1
n
k
=
n
k=0
n!
k!(n k)!
1
n
k
=
n
k=0
1
k!
n!
n
k
(n k)!
Ahora bien, por denicion de factorial, n! = n(n 1) . . . 3.2.1 y (n k)! =
(n k)(n k 1) . . . 3.2.1. Luego debe ser: fue necesario corre-
gir todas estas ecua-
ciones n!
(n k)!
=
n(n 1) . . . (n (k 1))(n k)(n k 1) . . . 2.1.
(n k)(n k 1) . . . 2.1.
= n(n 1) . . . (n (k 1))
con lo cual
n!
a
k
(n k)!
=
n(n 1) . . . (n (k 1))
n
k
=
n(n 1) . . . (n (k 1))
nn. . . n
=
n
n
n 1
n
n 2
n
. . .
n (k 1)
n
= (1
1
n
)(1
2
n
) . . . (1
k 1
n
)
En denitiva:
a
n
= (1 +
1
n
)
n
=
n
k=0
1
k!
(1
1
n
) . . . (1
k 1
n
) (23)
Con esto es facil ver que la sucesion es estrictamente creciente. PRE, 5961
En efecto:
a
n
+ 1 =
n+1
k=0
1
k!
(1
1
n + 1
)(1
2
n + 1
) . . . (1
k 1
n + 1
)
n
k=0
1
k!
(1
1
n + 1
) . . . (1
k 1
n + 1
) +
1
(n + 1)!
(1
1
n + 1
) . . . (1
n + 1 1
n + 1
)
>
n
k=0
1
k!
(1
1
n + 1
) . . . (1
k 1
n + 1
) >
n
k=0
1
k!
(1
1
n
)(1
2
n
) . . . (1
k 1
n
) = a
n
Tambien con ayuda de 23 probamos ahora que la sucesion es acotada.
Es claro que es acotada inferiormente por 2, ya que a
1
= 2 y a
1
a
n
para
todo n N (esto ultimo por ser estrictamente creciente). Para ver que es acotada
superiormente, notemos que todos los factores entre parentesis en 23 son menores referencias agrega-
das que 1 (y mayores que cero). Luego:
a
n
<
n
k=0
1
k!
= 1 +
n
k=1
1
k!
C

Pero k! = 1 2 3 . . . k = 2 3 . . . k > 2 2 . . . 2 = 2
k
1 para todo k N. Luego:
a
n
< 1 +
n
k=1
1
2
k
1
= 1 +
n1
k=0
1
2
k
= 1 +
(
1
2
)
n
1
1
2
1
(ejercicio 5.b, de paragrafo 1.4)
= 1 +
(
1
2
)
n
1
1
2
= 1 + 2(1 (
1
2
)
n
) < 1 + 2 1 = 3
ya sabemos entonces que la sucesion a
n
= (1 +
1
n
)
n
es acotada y estrictamente
creciente. La proposicion 3.45 nos dice que entonces esa sucesion tiene lmite.
Dicho lmite se suele indicar con la letra e
e = lim
n
(1 +
1
n
)
n
y todo lo que podemos hasta ahora saber de el es que 2 < e < 3.
Este n umero es de gran importancia y va a aprecer repetidamente a lo largo de
este libro.
Nota 3.50. En la demostracion de la convergencia de la sucesion dada por a
n
=
(1 +
1
n
)
n
hemos hecho uso de los puntos suspensivos. Mientras uno use puntos
suspensivos como notacion (por ejemplo, indicar

n
k=1
a
k
como a
1
+ a
2
+ . . . +
a
n
), nada hay que objetar. Pero cuando se usan en un razonamiento y dejan
de ser una notacion, entonces el razonamiento es, desde un punto de vista muy
formal, objetable. Por que los hemos usado entonces? (por ejemplo, para ver
que
n!
(nk)!
= n(n 1) . . . (n (k 1)) o que k! > 2
k
1). Hay dos motivos
importantes: el primero es que las veces que los hemos usado, y las que los vamos
a usar, el razonamiento puede reemplazarse por un razonamiento inductivo (por
ejemplo, que k 2
k
1 para k N se prueba as: para k = 1 vale la igualdad, y
si suponemos que k! 2
k
1, entonces (k + 1)! = (k + 1).k! 2.k! 2.2
k1
=
2
k
= 2
(k1)1
). Y el segundo es que el principio de induccion es una herramienta debe interpretarse el
texto: errata potente para probar resultados. . . si sabemos previamente cual es ese resultado. Es
decir, con induccion nomas no vamos a poder conjeturar un cierto resultado, solo
podremos probar que es cierto una vez conjeturado. En cambio el uso de puntos
suspensivos puede permitir esas conjeturas. Hay un ejemplo elemental relacionado
con una conocida anecdota: cuando C.F.Gauss(17771855), el mas famoso de los
matematicos de todas las epocas (se lo ha llamado el prncipe de las matematicas;
no importa que usted no lo conozca, los matematicos suelen no ser famosos), cuando
Gauss, decamos, tena 8 a nos, su maestro, cansado de atender su clase, les dijo a
los alumnos que sumasen todos los n umeros del 1 al 100, conado en tenerlos en
silencio una buena hora. A los pocos minutos, el ni no Gauss le entrega un papel
con el resultado: 5050. Su razonamiento haba sido muy sencillo: para calcular
1+2+3+. . . +98+99+100 observemos que 1+100 da 101, que 2+99 tambien da
101, 3+98 tambien da 101, etc. Luego estamos sumando 101 cincuenta veces, con lo
cual el resultado debera ser (50)(101) = 5050. Exactamente el mismo razonamiento
muestra que 1 + 2 + 3 + . . . + n =
n(n+1)
2
. Pero si estamos armados solamente con
el principio de induccion, esperaremos eternamente para sumar 1 + 2 + . . . + n si
nadie conjetura (a la manera de Gauss) el resultado. Conclusion: hay que aprender
a razonar con los puntos suspensivos; si quiere, el resultado que as obtenga podra
probarlo formalmente por induccion (Ver ejercicio 1 de este paragrafo). De ahora referencia
en adelante, entonces, usaremos varias veces este tipo de razonamientos, y el lector
(alumno o docente) muy escrupuloso podra convertir ese razonamiento un tanto
ambiguo, en uno inductivo, y por lo tanto, mas preciso.
Una vez sabido que lim
n
(1 +
1
n
)
n
= e, se puede probar un resultado mas
general: si(a
n
)n 1 es una sucesion tal que lim
n
a
n
= , entonces
lim
n
(1 +
1
a
n
)
an
= e
Para probar esto necesitamos usar un nuevo concepto. Para cada a
n
, llamaremos
parte entera de a
n
, e indicaremos a
n
|, al mayor n umero entero m que verique la
desigualdad m a
n
; as
2
5
| = 0,
9
2
| = 4,
9
2
| = 5, etc. (tambien se la llama
caracterstica de a
n
). Observamos que la existencia de la parte entera de cualquier
n umero es una consecuencia de la Propiedad de Completitud (paragrafo 1.8) y que
resulta
a
n
| a
n
< a
n
| + 1
De esta ultima doble desigualdad se deduce inmediatamente que si lim
n
a
n
=
+, entonces lim
n
a
n
| = +, que si lim
n
a
n
= , entonces lim
n
a
n
| =
.
Supongamos primero lim
n
a
n
= +. A partir de un cierto n
1
, sera a
n
> 0;
luego 1 +
1
an
> 1 y entonces, siendo a
n
| a
n
< a
n
| + 1, sera por Proposicion
1.35:
(1+
1
a
n
| + 1
)
an
< (1+
1
a
n
)
an
(1+
1
a
n
)
an
(1+
1
a
n
|
)
an
< (1+
1
a
n
|
)
an+1
o sea:
(1 +
1
a
n
| + 1
)
an
< (1 +
1
a
n
)
an
< (1 +
1
a
n
|
)
an+1
(24)
Estudiaremos los lmites de las sucesiones que estan en los extremos de esta doble
desigualdad.
En primer termino, observemos que es:
(1 +
1
a
n
| + 1
)
an
= (1 +
1
a
n
| + 1
)
an+1
(1 +
1
a
n
| + 1
)
1
Como lim
n
(1 +
1
n
)
n
= e, dado > 0 existe n
2
tal que, si n n
2
errata
e < (1 +
1
n
)
n
< e + (25)
y como lim(a
n
| + 1 = +, existe n
3
tal que, si n n
3
, entonces a
n
| + 1 > n
2
.
Siendo a
n
| + 1 un n umero natural mayor que n
2
, sera por 25
e < (1 +
1
a
n
| + 1
)
an+1
< e + (si n n
3
)
El > 0 era cualquiera, luego lim
n
(1 +
1
an+1
)
an+1
= e.
Por otra parte, al tender a
n
| + 1 a +, (1 +
1
(an+1)
)
1
tiende a 1
1
= 1. En
denitiva, el primer miembro de 24, es (1+
1
an
)
an+1
= (1+
1
an
)
an
(1+
1
an
) y
un razonamiento calcado del anterior prueba que su lmite es e 1 = e. En denitiva,
C

el primer y tercer miembro de 24 tienden al n umero e, luego lo mismo le debe
ocurrir a lo que esta en el medio (Proposicion 3.22)
lim
n
(1 +
1
a
n
)
an
= e
Consideremos ahora el caso lim
n
a
n
= . Eso signica lim
n
(a
n
) =
+ y entonces, llamando b
n
= a
n
(1 +
1
a
n
)
an
= (1
1
b
n
)
bn
= (
b
n
1
b
n
)
bn
= (
b
n
b
n
1
)
bn
= (
b n 1 + 1
b
n
1
)
bn
=
(1 +
1
b
n
1
)
bn
= (1 +
1
b
n
1
)
bn1
(1 +
1
b
n
1
)
y como b
n
1 +, entonces (1 +
1
an
)
an
tiende a e 1 = e. Ahora el caso VP, OK
MR, 6265
mas general, lim
n
a
n
= , resulta facil combinando los dos precedentes:pues es
lim
n
[a
n
[ = y lim
n
([a
n
[) = y entonces, por lo que ya probamos,
dado > 0 existen n
1
y n
2
tales que
_
1 +
1
|an|
_
|an|
e
< para n n
1
_
1 +
1
|an|
_
|an|
e
< para n n
2
Sea n
0
= maxn
1
, n
2
entonces para n n
0
sera n n
1
y n n
2
, de donde
[
_
1 +
1
a
n
_
an
e[ < para n n
0
ya que a
n
es [a
n
[ o [a
n
[ y en ambos casos vale la desigualdad.
Como > 0 era cualquiera, entonces
lim
n
_
1 +
1
a
n
_
an
= e
En muchos casos de lmites del tipo 1
(o sea, a
bn
n
con a
n
1, b
n
),
aparece el n umero e. Por ejemplo, consideremos la sucesion dada por:
a
n
= (
n + 1
n + 2
)
3n+2
Entonces resulta:
a
n
=
_
n + 2 1
n + 2
_
3n+2
=
_
1
1
n + 2
_
3n+2
=
=
_
1
1
n + 2
_
3(n+22)+2
=
_
1
1
n + 2
_
3(n+2)4
=
=
_
(1
1
n + 2
)
(n+2)
_
3
_
1
1
n + 2
_
4
y aplicando los resultados anteriores: no se usan los big et
al.
lim
n
a
n
= e
3
1
4
= e
3
Ejercicio 3.51. (i) Probar que
n!
n
k
(nk)!
1 para todo n N y k N, 1
k n. (Induccion)
(ii) Probar que
n!
(nk)!
=
k1
i=0
(n i). (Induccion)
(iii) Usar 2 para probar que
n!
n
k
(nk)
=

k1
i=1
(1
i
n
) (sin Induccion; probar
previamente, por Induccion, que

m
i=1
a
i
/
m
i=1
b
i
=
m
i=1
_
ai
bi
_
).
Ejercicio 3.52. Hallar los lmites de las sucesiones dadas por:
(i) a
n
=
_
1
1
n
_
n
(ii) a
n
=
_
1
1
n
2
_
n
(iii) a
n
=
_
2n+1
2n+3
_
3n2
(iv) a
n
=
n
n
n!
(v) a
n
=
n
e
n
(vi) a
n
=
_
1
1
n
_
n
2
(vii) a
n
=
_
1 +
1
2n
_
4n+1
(viii) a
n
=
_
1 +
3n+4
3n+2
_
2n1
(ix) a
n
=
_
1 +
a
n
_
bn
3.7. La funcion logaritmo. Consideremos la sucesion f : R R dada por:
f(x) = e
x
Observemos que, como toda potencia de exponente real, e
x
es mayor que cero
cualquiera sea x R. Por lo tanto podemos indicar esta funcion como: f : R R
>0
Proposicion 3.53. La funcion f : R R
>0
dada por f(x) = e
x
es biyectiva.
Demostracion. Veamos primero que es inyectiva. Como e > 1, entonces si x ,= x
digamos x < x
, entonces la proposicon 1.35 nos dice que e

x
< e
x
, luego f(x) <

f(x
), lo cual prueba la inyectividad. Para ver que es suryectiva, tomemos un y

cualquiera en R
>0
, es decir y > 0. Consideremos el conjunto
A = x R: e
x
y
Este conjunto esta acotado superiormente. En efecto, sea n N tal que y n.
Si x > n, entonces e
x
> e
n
> 2
n
= (1 + 1)
n
1 + n1 = n + 1 > y, luego e
x
> y, es
decir x / A. Esto prueba que el n elegido es cota superior de A.
Este conjunto es tambien no vaco. Para probarlo, notemos que siendo e > 1 es
lim
n
e
n
= . Luego lim
n
e
n
= 0, lo cual implica que dado > 0, existe
n
0
tal que, si n n
0
, [e
n
[ < . Tomemos = y, y sea n
0
el correspondiente a
este valor de . Entonces, en particular, e
n
< y, lo cual signica que n
0
A y
entonces A ,= . Siendo A acotado superiormente y no vaco, existe
s = supA
Probamos ahora que e
s
= y, lo cual prueba la suryectividad de f ya que y > 0 era
cualquiera. Supongamos e
s
,= y; caben entonces dos alternativas: e
s
< y o e
s
> y.
Descartemoslas: Si fuese e
s
< y llamando = y e
s
resulta > 0. Por lema 1.33,
existen n umeros racionales r y r
tales que r < s < r
y ademas e
r
e
r
< . En
particular:
e
r
e
s
< e
r
e
r
< = y e
s
o sea:
e
r
e
s
< y e
s
C

de donde deducimos e
r
< y. Pero esto implica que r
A; esto no puede ser ya

que s es el supremo de A, y en particular, es cota superior de A (con lo cual, al ser
r
A, debera ser r
s, lo que no es as).
Si fuese e
s
> y, sea = e
s
y > 0. Usando nuevamente el lema 1.33, obtenemos
r, r
racionales tales que r < x < r
y e
r
e
r
< . Entonces:
e
s
e
r
< e
r
e
r
< = e
s
y
o sea:
e
s
e
r
< e
s
y
de donde deducimos e
r
< y, o sea e
r
> y. Luego e
r
> e
x
para todo x A; eso
implica que r > x para todo x A (si fuese r x sera e
r
e
x
por 1.35), o sea r
es cota superior de A. Eso no puede ser porque al ser s el supremo de A, entonces
s es la menor cota superior (y entonces sera s r, lo que no es as). Luego debe
ser e
s
= y, con lo cual f es biyectiva.
Al ser f biyectiva, tiene una inversa f
1
. Esta inversa tiene la importancia
suciente como para merecer un nombre:
Denicion 3.54. Si f : R R
>0
es la funcion dada por f(x) = e
x
, entonces su
inversa se denomina funcion logaritmo y se indica como log: R
>0
R. Esto dene,
para cada x > 0, un n umero real log x caracterizado por la propiedad:
log x = y e
y
= x
Dicho n umero, log x = log
e
x, se llama logaritmo natural de x.
Las proposiciones 1.42 y 1.43 tienen como consecuencias inmediatas dos propie-
dades de los logaritmos naturales:
Proposicion 3.55. (i) Si x, y son n umeros reales mayores que cero, entonces
log(xy) = log x + log y
(ii) Si x es un n umero real mayor que cero y si y R es cualquiera:
log x
y
= y log x
Demostracion. (i) Es e
log x+log y
= e
log x
e
log y
= xy; luego, por denicion de
logaritmos, log(xy) = log x + log y.
(ii) Es e
y log x
=
_
e
log x
_
y
= x
y
; luego, por denicion de logaritmos, log x
y
=
y log x.
Ejercicio 3.56. Probar que si a R, 0 < a ,= 1, entonces la funcion f : R R

>0
dada por f(x) = a
x
es biyectiva (si a > 1, copiarse sin pudor la 3.53 poniendo a
donde aparezca e, si 0 < a < 1, usar que
1
a
> 1 y la cabeza).
Ejercicio 3.57. Indicando por log
a
: R
>0
R la inversa de f(x) = a
x
probar que:
(i) log
a
(xy) = log
a
x + log
a
y para x, y R
>0
(ii) log
a
(x
y
) = y log
a
x para x R
>0
, y R
(iii) a
x
= e
x log a
para x R
(iv) log
a
x =
log
a
x
log
x
y
para x R
>0
y x ,= 1, y R
>0
(v) Si 0 < x < y, entonces log
a
x < log
a
y si a > 1 (Usar 1.35)
(vi) Si 0 < x < y, entonces log
a
x > log
a
y si 0 < a < 1 (Usar 1.39)
Ejercicio 3.58. Sean a, b n umeros reales mayores que cero. Probar que cualquiera
sea x R es:
(ab)
x
= a
x
b
x
_
a
b
_
x
=
a
x
b
x
(calcular log(ab)
x
y usar el hecho de que la funcion log es inyectiva por el 5)
3.8. Otras propiedades del lmite. Consideremos ahora una sucesion (a
n
)
n1
de terminos positivos y que tenga lmite positivo a. Podemos considerar la sucesion
(log a
n
)
n1
y tambien el logaritmo natural del lmite, log a. Ambas cosas son la
misma:
n
)
n1
una sucesion de terminos positivos con lmite
tambien positivo:
a = lim
n
(log a
n
) > 0
Entonces:
a = lim
n
(log a
n
) = log a
Demostracion. Sea > 0 cualquiera. Como lim
n
a
n
= a, entonces lim
n
an
a
=
1 por ??. Al ser > 0 es e
> e
0
= 1, luego, por 1, existe n
1
N tal que, para
n n
1
, es
an
a
< e
. Analogamente, como e
=
1
e
< 1, por 2 existe n

2
tal que,
para n n
2
, es
an
a
> e
. Si n
0
= max(n
1
, n 2) entonces para n n
0
, vale que:
e
<
a
n
a
< e
Por 6 del paragrafo anterior:

log e
< log
a
n
a
< log e
o sea, por propiedades del logaritmo:

< log a
n
log a <
que equivale a: que equivale a
[ log a
n
log a[ < (para n n
0
)
Como > 0 era cualquiera, Como > 0 era cualquiera, esto prueba que lim
ninfty
log a
n
) =
log a
Probamos ahora una desigualdad que enseguida usaremos:
Lema 3.60. Sea a un n umero real mayor que 1. Entonces para todo x R es
[a
x
1[ a
|x|
1
Demostracion. Si x 0, entonces a
x
a
0
= 1 y entonces
[a
x
1[ = a
x
1 = a
|x|
1
Si x < 0, entonces x > 0 y por lo tanto:
MR, OK, falta la
ultima demostracion
LM,6669
Ahora probamos un resultado que quedara includo en la Proposicion mas general
que se probara despues.
Lema 3.61 (Provisorio). Si a es un n umero real mayor que cero y (b
n
)
n
1 es
una sucesion convergente con lmite b, entonces
lim
n
a
bn
= a
b
C

Demostracion. Supongamos primero a > 1 entonces:
a
bn
a
b
a
bnb+b
a
b
a
bnb
a
b
a
b
(a
bnb
1) a
b
a
bnb
a
b
(Por lema 3.60)

(a
|bnb|
1)a
b
Ahora bien, cualquiera sea k N, existe n
0
tal que, para n n
0
[b
n
b[ <
1
k
Luego:
a
bn
a
b
(a
|bnb|
1)a
b
< (a
1
k
1)a
b
<
a 1
k
a
b
(Por lema ??)
Sea > 0 y sea k N tal que:
k >
(a 1)a
b
Entonces resulta para n n

0
:
a
bn
a
b
<
a 1
k
a
b
<
a 1
(a1)a
b
=
y como > 0 era cualquiera, resulta que a
b
n
a
b
Si a = 1, el Lema es trivial. Si 0 < a < 1, entonces
1
a
> 1 y por lo recien
demostrado, lim
n
_
1
a
_
bn
=
_
1
a
_
.
Luego, por la proposicion ??
lim
n
a
bn
= lim
n
1
_
1
a
_
bn
=
1
lim
n
_
1
a
_
bn
=
1
_
1
a
_
b
= a
b
lo cual termina de probar el lema.
Ahora si podemos probar nuestro resultado al nal:
n
)
n
1 una sucesion de terminos positivos con lmite
a > 0 y sea (b
n
)
n
1 una sucesion con lmite b. Entonces
lim
n
a
bn
n
= a
b
Demostracion. Por ejercicio 2c) del parrafo anterior: colocar la referencia
a
bn
n
= e
log a
bn
n
= e
bn log an
Llamando c
n
= b
n
log a
n
resulta, por 3.9 y 3.23 colocar las referen-
cias
lim
n
c
n
= lim
n
b
n
lim
n
log a
n
= b log a
Entonces, por el lema Provisorio 3.61
lim
n
e
bn log an
= e
b log a
= e
log a
b
= a
b
o sea:
lim
n
a
bn
n
= a
b
que era lo que queramos demostrar.
Ejercicio 3.63. Calcular los lmites de las sucesiones dadas por:
(i)
a
n
=
_
2n
2
+ 3n 1
3n
2
6n + 1
_
2n
(ii)
_
3n + 4
2n + 5
_
(
n+1
n)
(iii)
log n
n
0 200 400 600 800 1000
0
0.05
0.1
0.15
0.2
0.25
(log n)/n
Figura 6. Se representa la sucesion
log n
n
en el dominio indicado
en el graco. Se observa que la sucesion se acerca al origen.
Solucion: El ejercicio puede resolverse utilizando diversos argumentos. Uno de ellos
es observar que

n > log n (n N). Ver las guras 6 y 7. Entonces:
log n
n
<
n
n
=
1
n
0
Otra posibilidad es notar que
n
n 1.
C

0 20 40 60 80 100
0
2
4
6
8
10
log n
n^(1/2)
1 n 100
0 2000 4000 6000 8000 10000
0
20
40
60
80
100
log n
n^(1/2)
1e2 n 1e4
0 2 4 6 8 10
x 1e5
0
200
400
600
800
1000
log n
n^(1/2)
1e4 n 1e6
0 20 40 60 80 100
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
(log n)/(n^(1/2))
1 n 100
0 2000 4000 6000 8000 10000
0
0.1
0.2
0.3
0.4
0.5
(log n)/(n^(1/2))
1e2 n 1e4
0 2 4 6 8 10
x 1e5
0
0.02
0.04
0.06
0.08
0.1
(log n)/(n^(1/2))
1e4 n 1e6
Figura 7. En la primera la se representan log n y

n y en la
segunda
log n
n
para los dominios indicados. La sucesion tiende a
cero.
Ejercicio 3.64 (Adicional). Que puede armarse, a la luz del ejercicio ??, res-
pecto de la sucesion
log n
n
q
para q > 0?
Ejercicio 3.65. Probar que si a > 0, entonces
lim
n
n
_
n
a 1
_
= log a
(Usar ejercicio 2j. de 3.6) referencia, comple-
tar
Ejercicio 3.66. Probar que si a
n
> 0 para todo n N y lim
n
a
n
= 0, entonces
lim
n
log a
n
=
n
a
n
= +, entonces lim
n
log a
n
= +
n
a
n
= + y lim
n
b
n
= b > 0, entonces
lim
n
a
bn
n
= +
n
a
n
= a > 1 y lim
n
b
n
= +, entonces
lim
n
a
bn
n
= +
3.9. Teoremas de encaje de intervalos y de Bolzano-Weierstrass. Vamos a
demostrar un teorema del cual haremos repetido uso en el resto del libro. Primero
daremos una denicion:
Denicion 3.70. Un encaje de intervalos es una sucesion de intervalos cerrados
I
n
= [a
n
, b
n
] con a
n
b
n
tal que
I
1
I
2
. . . I
n
. . .
o sea tal que se verican las siguientes condiciones:
(i)
a
1
a
2
. . . a
n
. . .
(ii)
b
1
b
2
. . . b
n
. . .
Llamaremos longitud del intervalo [a
n
, b
n
] al n umero b
n
a
n
Teorema 3.71 (De encaje de intervalos). Sea (I
n
)
n1
un encaje de intervalos tal
que la longitud de I
n
tiende a cero cuando n
Existe entonces un unico x R que pertenece a todos esos intervalos:
n=1
I
n
= x
Demostracion. Ya sabemos que a
n
b
n
para todo n N por denicion de encaje
de intervalos. Probamos algo mas: dados k, j N, entonces es
a
k
b
j
Para ello sea n un natural cualquiera mayor que k y que j. Entonces es a
k
a
n
por la condicion i), a
n
b
n
seg un dijimos y b
n
b
j
por la condicion ii). Por colocar la referencia
colocar la referencia transitividad resulta a
k
b
j
cualesquiera sean k y j en N.
De esta manera, la sucesion (a
n
)
n1
esta acotada superiormente por cualquier
b
j
; por ejemplo, por b
1
. Como la condicion i) dice que esta sucesion es creciente, colocar la referencia
concluimos por Proposicion 3.45 que existe
a = lim
n
a
n
Analogamente, la sucesion (b
n
)
n1
esta acotada inferiormente por cualquier a
k
; LM, revisaste esto?
por ejemplo por a
1
. Como la condicion ii) dice que esta sucesion es decreciente,
colocar la referencia
entonces tambien por 3.45 existe
b = lim
n
b
n
Como a = supa
n
: n N (mirar la demostracion 3.45), a a
n
para todo
n N; analogamente como b = infb
n
: n N, b b
n
para todo n N. Ademas,
como cada a
k
es cota inferior del conjunto de los b
j
, entonces a
k
b, ya que b es
la mayor cota inferior. Pero esta ultima desigualdad, valida para todo k N, dice
que b es cota superior del conjunto de los a
k
.
Luego a b, ya que a es la menor cota superior. En denitiva resulta:
0 b a b
n
a b
n
a
n
para todo n N (26)
equation agregada
Como lim
n
(b
n
a
n
) = 0, dado > 0 existe n
0
N tal que b
n
a
n
< para
n n
0
. En particular:
0 b a b
n0
a
n0
<
C

o sea:
0 b a <
Como esto vale para todo > 0, entonces (Ejercicio 2.b. del parrafo 1.9) resulta
b a = 0 o sea a = b.
Sea entonces x = a = b; las desigualdades a a
n
y b b
n
para todo n N
prueban que x [a
n
, b
n
] para todo n N, o sea:
x
_
n=1
I
n
Supongamos que x
n=1
I
n
. Entonces si x x
resulta:
0 x x
b
n
x
b
n
a
n
para todo n N. Dado > 0 elegimos n
0
de modo que b
n
a
n
< para n n
0
y
entonces en particular:
0 x x
b
n0
a
n0
<
o sea:
0 x x
<
Como esto vale cualquiera, sea > 0, entonces nuevamente resulta:
x = x
.
lo cual prueba que la interseccion de todos los I
n
se reduce a un punto.
Para dar la primera aplicacion de este teorema, vamos a denir un nuevo con-
cepto. Si tenemos una sucesion (a
n
)
n1
, una subsucesion de ella consiste en elegir
algunos de los a
n
y formar as una nueva sucesion. Mas precisamente, una subsu-
cesion de (a
n
)
n1
es una sucesion de la forma:
a
n1
, a
n2
, a
n3
, . . . , a
n
k
, . . .
de manera que:
n
1
< n
2
< n
3
< . . . < n
k
. . .
As por ejemplo, a
2
, a
4
, a
6
, . . . , a
2n
, . . . es una subsucesion, a
1
, a
3
, a
5
, . . . , a
2n1
, . . .
es otra.
Si recordamos la Denicion ?? de sucesion como una funcion a : N R, entonces
podemos dar una denicion mas precisa del concepto de subsucesion:
Denicion 3.72. Sea a : N R una sucesion e indiquemos a
n
= a(n). Una
subsucesion de a es la composicion
a n: N R (27)
de a con una funcion estrictamente creciente n: N N. Indicaremos n
k
= n(k) y
entonces a
n
k
= a
n(k)
= a n(k).
Hemos visto antes (proposicion ??) que toda sucesion convergente es acotada.
La recproca de esta proposicion no es cierta, una sucesion acotada puede no ser
convergente (Ejemplo: a
n
= (1)
n
). Pero hay algo importante que podemos decir
respecto a la convergencia de las sucesiones acotadas:
Teorema 3.73 (Bolzano-Weierstrass). Toda sucesion acotada contiene una subsu-
cesion convergente.
Demostracion. Sea (a
n
)
n1
una sucesion acotada. Eso signica que existe un
n umero real M > 0 tal que [a
n
[ M para todo n N, o sea: he realizado innu-
merables correccio-
nes de esta parte
M a
n
M para todo n N (28)
Entonces todos los terminos de la sucesion estan dentro del intervalo cerrado LM,
MVS, 69
[M, M]. Consideremos el punto medio de [M, M], o sea el 0, y los dos in-
tervalos cerrados [M, 0] y [0, M]. Entonces ocurre una de estas dos alternativas:
o hay innitos valores de n para los cuales a
n
[M, 0] o hay innitos valores de los intervalos no lle-
van : n para los cuales a
n
[0, M] (si no fuese as, habra solo una cantidad nita de
valores de n para los cuales a
n
[M, M], contra lo supuesto).
En el primer caso, llamemos I
1
a [M, 0] y en el segundo llamemos I
1
= [0, M];
si se dan las dos alternativas (por ejemplo, si la sucesion original fuese (1)
n
/n,
entonces elegimos el intervalo de la izquierda I
1
= [M, 0]. Sea cual sea, llamemos
I
1
= [b
1
, c
1
].
Ahora repetimos el procedimiento con I
1
: consideremos el punto medio de I
1
, o
sea
b1+c1
2
, y los dos intervalos cerrados [b
1
,
b1+c1
2
] y [
b1+c1
2
, c
1
]. Entonces ocurre una
de estas dos alternativas: o hay innitos valores de n para los cuales a
n
[b
1
,
b1+c1
2
]
o hay innitos valores de n para los cuales a
n
[
b1+c1
2
, c
1
] (si no fuese as, habra
solo una cantidad nita de valores de n para los cuales a
n
[b
1
, c
1
] = I
1
, contra la
forma en que hemos elegido I
1
).
En el primer caso llamamos I
2
a [b
1
,
b1+c1
2
] y en el segundo llamemos I
2
a
[
b1+c1
2
, c
1
]; si se dan las dos alternativas, entonces elegimos el intervalo de la iz-
quierda, I
2
= [b
1
,
b1+c1
2
]. Sea cual sea; llamemos I
2
= [b
2
, c
2
].
Entonces por construccion resulta [M, M] I
1
I
2
y ademas la longitud de
I
1
es M y la de I
2
es M/2. Si reiteramos este procedimiento (dividiendo I
2
por el
punto medio, etc.), obtendremos una sucesion de intervalos cerrados I
n
= [b
n
, c
n
]
tales que
[M, M] I
1
I
2
. . . I
n
. . .
y tales que la longitud de I
n
es M/2
n1
. Como M es jo, entonces la longitud de I
n
tiende a 0 cuando n . Entonces la sucesion (I
n
)
n1
es un encaje de intervalos
que esta en las condiciones en las cuales vale el teorema 3.71. Luego existe un unico
x R tal que:
x
n=1
I
n
Este x nos va a dar el lmite buscado, pero todava falta elegir la subsucesion. Para
ello hacemos lo siguiente: como hay innitos valores de n para los cuales a
n
I
1
,
elegimos uno cualquiera de ellos y lo indicamos n
1
(por ejemplo, elegimos n
1
, como
el menor n tal que a
n1
I
1
). Entonces es a
n
I
1
. Ahora bien, como hay innitos
valores de n para los cuales a
n
I
2
, entonces seguramente hay valores de n mayores
que n
1
que verican a
n
I
2
. Elegimos uno cualquiera de ellos y lo indicamos n
2
(por ejemplo, elegimos n
2
como el menor n que verica las condiciones a
n
I
2
y
n
1
< n). Entonces es a
n2
I
2
y n
1
< n
2
. Reiterando el procedimiento (como
hay innitos valores de n para los cuales a
n
I
3
, etc.), obtenemos una sucesion
n
1
< n
2
< n
3
. . . < n
k
< . . . de n umeros naturales (y por lo tanto una subsucesion
a
n1
, a
n2
, . . . , a
n
k
. . . de la original) de manera que a
n
k
I
k
para todo k N.
Armamos que es:
lim
k
a
n
k
= x
C

Para probarlo, dado > 0 sea n
0
N tal que, para n n
0
, c
n
b
n
< (recordar
que c
n
b
n
= M/2
n1
0). Entonces si k n
0
resulta:
a
n
k
x c
k
b
k
<
(ya que a
n
k
[b
k
, c
k
] por construccion y x pertenece a todos los [b
n
, c
n
], en parti-
cular x [b
k
, c
k
]) y ademas
a
n
k
x b
k
x b
k
c
k
>
o sea, en denitiva: < a
n
k
x < para k n
0
, es decir:
[a
n
k
x[ < para k n
0
lo cual prueba la armacion hecha.
Observacion 3.74. Los etc que aparecen en la demostracion del Teorema de
Bolzano-Weierstrass pueden hacer pensar al lector que debe haber razonamiento
inductivo escondido detras de ellos. En efecto, as ocurre: la denicion de todos los no se enfatiza con
entorno matematico I
n
debe hacerse por induccion (supuesto denido I
n
, partimos por el punto medio
y nos quedamos con aquel que contenga terminos a
n
para innitos valores de n,
llamandolo I
n+1
) y lo propio ocurre con la denicion de los n
k
.De ahora en adelante
nos permitiremos estos etc en la conanza de que el lector ha captado la idea
de que es facil transformarlos en un razonamiento inductivo pero que ya no vale
la pena hacerlo (porque ya le debe resultar automatico hacerlo; no era as en el
Captulo 1).
Observacion 3.75. En el paragrafo 1.8 hemos hablado sobre le representacion de R
en la recta y, aunque mencionamos la ayuda que puede prestar, pusimos el enfasis
en el hecho de que dicha representacion no iba a ser usada en ninguna demostracion.
Hasta ahora hemos cumplido, pero queremos trasladar el enfasis. La demostracion
hecha del Teorema de Bolzano-Weierstrass solo se basa, en ultima instancia, en
las propiedades basicas de los n umeros reales listadas en el Captulo 1. Pero el
lector puede darse cuenta de que para comprender dicha demostracion estuvo todo
el tiempo pensando en los n umeros reales como en los puntos de una recta, y la
imagen que le quedo de la idea central de la demostracion es totalmente geometrica.
Ya se empieza a ver, entonces, que el papel auxiliar de los dibujos no es un mero
papel auxiliar. De esto se convencera denitivamente en los proximos captulos.
Ejercicio 3.76. Si b
n
=
1
2
+2
2
+...+(n1)
2
n
3
y c
n
=
1
2
+2
2
+...+n
2
n
3
e I
n
= [b
n
, c
n
], probar
que (I
n
)
n1
es un encaje de intervalos cuyas longitudes tienden a cero. Hallar la
interseccion de todos ellos.
Ejercicio 3.77. (i) Dar un ejemplo de un encaje de intervalos tal que la in-
terseccion de todos ellos contenga mas de un punto.
(ii) Probar que la interseccion de todos los intervalos cerrados de un encaje de
intervalos cualquiera es un intervalo cerrado (copiarse la demostracion de
3.71 para determinar a y b; el intervalo en cuestion es [a, b])
(iii) Dar un ejemplo de una sucesion (I
n
)
n1
de intervalos abiertos tales que
I
n+1
I
n
y que

n=1
I
n
=
Ejercicio 3.78. Utilizando el Teorema de encaje de intervalos como hipotesis,
probar la Propiedad de Completitud ( A acotado superiormente, A ,= existe el
supremo de A).
3.10. Sucesiones de Cauchy. Antes de entrar en tema, probamos un resultado
sobre subsucesiones.
Proposicion 3.79. Una sucesion (a
n
)
n1
es convergente con lmite a si y solo si
toda subsucesion de (a
n
)
n1
es convergente con lmite a.
Demostracion. Supongamos primero que lim
n
a
n
= a y sea (a
n
k
)
k1
una sub-
sucesion de (a
n
)
n1
Dado > 0 existe n
0
tal que:
[a
n
a[ < para n n
0
(29)
Pero n
k
k para todo k N (lo menos que puede valer n
1
es 1; como n
1
< n
2
, lo
menos que puede valer n
2
es 2, etc.) Luego si k n
0
entonces n
k
k n
0
y por
29
[a
n
k
a[ < parak n
0
lo cual prueba que lim
n
a
n
k
= a.
La recproca es trivial ya que toda sucesion es subsucesion de s misma (corres-
ponde al caso n
k
= k)
Para denir sucesion convergente, lo que hicimos fue poner en terminos precisos
la idea de que la sucesion se vaya acercando a un cierto n umero. Ahora ponemos
en terminos precisos la siguiente idea: que los terminos de la sucesion se vayan
acercando entre s. Lo hacemos de esta manera:
Denicion 3.80. Una sucesion (a
n
)
n1
se dice que es de Cauchy si tiene la si-
guiente propiedad: Dado > 0, existe n
0
N tal que, si n n
0
y m n
0
:
[a
n
a
m
[ <
Es natural pensar que si los terminos de una sucesion se van acercando a un
cierto n umero, entonces dichos terminos se van acercando entre s (o sea, toda
sucesion convergente es de Cauchy). Tambien es natural pensar que si los terminos
de una sucesion se estan acercando entre s, entonces todos ellos se deben estar
acercando a alg un n umero (o sea, toda sucesion de Cauchy es convergente). La
demostracion de estas dos armaciones sera el nal de este paragrafo y de este
Captulo. Previamente necesitamos un par de resultados.
Proposicion 3.81. Toda sucesion de Cauchy es acotada
Demostracion. Consideremos = 1; por 3.80, si (a
n
)
n1
es de Cauchy, existe
n
0
N tal que, para n, m n
0
:
[a
n
a
m
[ < 1
En particular debe ser, para n n
0
[a
n
a
n0
[ < 1
o sea:
a
n0
1 < a
n
< a
n0
+ 1
Si ahora consideramos m
= mina
1
, a
2
, . . . , a
n01
, M
= maxa
1
, a
2
, . . . , a
n01
y m = minm
, a
n0
1, M = maxM
, a
n0
+ 1 entonces claramente resulta
m a
n
M para todo n N

Proposicion 3.82. Supongamos que (a
n
)
n1
es una sucesion de Cauchy y que
existe una subsucesion (a
n
k
)
k1
tal que lim
k
a
n
k
= a. Entonces
lim
n
a
n
= a
Demostracion. Dado > 0, existe n
0
tal que, para n, m n
0
[a
n
a
m
[ < /2
y existe n
0
tal que, para k n
0
[a
n
k
a[ < /2
Entonces para n n
0
:
[a
n
a[ = [a
n
a
n
k
+ a
n
k
a[
[a
n
a
n
k
[ +[a
n
k
a[
< /2 + /2 = (tomando k n
0
)
lo cual prueba lo armado.
Ahora estamos en condiciones de probar el resultado anunciado:
Teorema 3.83. Una sucesion es convergente si y solo si es de Cauchy.
Demostracion. Supongamos primero que (a
n
)
n1
es convergente con lmite a. En-
tonces dado > 0 existe n
0
N tal que, para n n
0
[a
n
a[ < /2
Entonces, si n, m n
0
[a
n
a
m
[ = [a
n
a + a a
m
[ [a
n
a[ +[a a
m
[
= [a
n
a[ +[a
m
a[ < /2 + /2 =
lo cual prueba que la sucesion dada es de Cauchy.
Supongamos ahora que (a
n
)
n1
es de Cauchy. Entonces por Proposicion 3.81,
dicha sucesion es acotada; ahora, por el Teorema ?? de Bolzano-Weierstrass, esta
sucesion debe contener una subsucesion (a
n
k
)
k1
convergente. Pero entonces la
Proposicion 3.82 nos dice que (a
n
)
n1
es convergente.
Ejercicio 3.84. Probar que una sucesion es de Cauchy si y solo si dado > 0
existe n
0
N tal que para n n
0
:
[a
n+p
a
n
[ < cualquiera sea p N
Ejercicio 3.85. (i) Probar que si una sucesion es de Cauchy, entonces para
todo p N es
lim
n
(a
n+p
a
n
) = 0
(ii) Mostrar que la recproca de 1 no es cierta (considerar a
n
= log n)
(iii) Meditar sobre la diferencia entre 1 y el Ejercicio 1. colocar la referencia
Ejercicio 3.86. Demostrar que la sucesion dada por a
n
= (1)
n
no es convergente.
MS, OK
CEN, Problemas
adicionales
Problemas adicionales
Ejercicio 3.87. Si a
n+2
= (a
n+1
+a
n
)/2 para todo n 1, expresar a
n
en funcion
de a
1
y a
2
, y demostrar que a
n
(a
1
+ 2a
2
)/3 (ver Apostol (1976, pag.116))
Ejercicio 3.88. Si a
1
> 0, a
2
> 0, y a
n+2
= (a
n+1
a
n
)
1/2
para todo n 1, expresar
a
n
en funcion de a
1
y a
2
, y demostrar que a
n
(a
1
a
2
2
)
1/3
Ejercicio 3.89. Si 0 < x
1
< 1 y si x
n+1
= 1
1 x
n
para todo n 1, probar
que (x
n
) es una sucesion decreciente con lmite 0. Probar ademas que
xn+1
xn
1
2
Ejercicio 3.90. En la gura 8 se representan algunos ejemplos correspondientes a
la familia de sucesiones x
n+1
= x
n
(abx
n
) con diversos valores para x
1
. Estudiar el
comportamiento de estas sucesiones (llamadas de Verhulst) para distintas elecciones
de los parametros a y b.
0 5 10 15 20
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
x=x*(ab*x)
a=1.4
b=2.3
Figura 8. Sucesion de Verhulst con las constantes dadas en el
graco. Cual sera el efecto de incrementar la condicion inicial x
0
por encima del valor 0.6? Notar que tienden a x
= 0.173913.
Ejercicio 3.91. Una sucesion (x
n
) satisface 7x
n+1
= x
3
n
+6 para n 1. Si x
1
=
1
2
probar que la sucesion crece y hallar su lmite. Que ocurre si x
1
=
3
2
o x
1
=
5
2
?
Ejercicio 3.92. Si [a
n
[ < 2 y [a
n+2
a
n+1
[
1
8
[a
2
n+1
a
2
n
[ para todo n 1, probar
que (a
n
) converge
Ejercicio 3.93. Determinar el lmite de la sucesion denida por la recursion
x
n+1
=
1
2
_
x
n
+
c
x
n
_
(30)
con el parametro c > 0, y para distintos valores de x
1
. En el caso que la sucesion
tenga lmite , Cual sera el comportamiento de la sucesion de errores e
n
= x
n
?
C

4. Series num ericas
CEN, 7576
4.1. Denicion de serie. Consideremos una sucesion cualquiera a
n
n1
. Para
cada n N, sabemos lo que quiere decir la suma de los n primeros terminos de esa
sucesion, suma que indicabamos como a
1
+a
2
+. . . +a
n
, o tambien como
n
k=1
a
k
,
y ademas conocemos algunas propiedades de esas sumas (paragrafo 1.4).
Lo que queremos hacer en este captulo es dar una denicion, si se puede, de
lo que es la suma de todos los innitos terminos de dicha sucesion, suma que
indicaremos a
1
+ a
2
+ . . . + a
n
+ . . ., o tambien
k=1
a
k
En el paragrafo 1.4 tuvimos que argumentar bastante para mostrar la necesidad
de denir a
1
+a
2
+. . . +a
n
para todo n N; aqu no hace falta argumentar mucho
para convencer al lector de la necesidad de denir

k=1
a
k
, ya que nadie puede
efectuar innitas sumas. En busca de esa denicion, consideremos las siguientes
sumas parciales:
S
1
= a
1
S
2
= a
1
+ a
2
S
3
= a
1
+ a
2
+ a
3
.
.
.
S
n
= a
1
+ a
2
+ . . . + a
n
.
.
.
Si estuviese denido
k=1
a
k
, entonces es razonable esperar que las sumas par-
ciales recien indicadas se le vayan acercando. Pero eso es lo mismo que pedir que la
sucesion S
n
n1
tenga lmite, lo que en general no ocurre. Por ejemplo, conside-
remos la sucesion a
n
n1
dada por a
n
= (1)
n+1
. Para esta sucesion, las sumas
parciales son:
S
1
= a
1
= 1
S
2
= a
1
+ a
2
= 1 + (1) = 0
S
3
= a
1
+ a
2
+ a
3
= 1 + (1) + 1 = 1
y, en general, S
n
= 1 si n es impar y S
n
= 0 si n es par. Luego la sucesion de sumas
parciales es:
1, 0, 1, 0, . . .
claramente no convergente. Luego no parece posible dar una denicion de
k=1
a
k
para cualquier sucesion a
n
n1
(no parece posible denir

k=1
(1)
k+1
). Esto
nos lleva derecho a la siguiente denicion:
Denicion 4.1. Si a
n
n1
es una sucesion, si, para cada n N, llamamos S
n
=
n
k=1
a
k
, y si la sucesion S
n
n1
es convergente, entonces llamamos suma de los
a
k
desde k = 1 hasta a:
k=1
a
k
= lim
n
S
n
(o sea,
k=1
a
k
= lim
n
n
k=1
a
k
)
Brevemente, entonces, la suma de innitos n umeros reales es el lmite de las
sumas parciales, si dicho lmite existe. Pero exista o no ese lmite, vamos a encontrar
de importancia el estudio de las sucesiones de sumas parciales correspondientes a
una sucesion dada a
n
n1
.
La longitud de la expresion sucesion de sumas parciales correspondientes a una
sucesion a
n
n1
es un poco grande como para estar usandola continuamente (y
deberemos hacerlo). Esto ha originado una abreviatura para esa expresion bastante
singular: en lugar de decir la sucesion de sumas parciales correspondientes a la
sucesion a
n
n1
se dice la serie

k=1
a
k
.
De esta manera, aunque no exista

k=1
a
k
(en el sentido de la denicion 4.1),
siempre existe la serie
k=1
a
k
(por ejemplo, no existe
k=1
(1)
k+1
, pero s existe
la serie

k=1
(1)
k+1
es la sucesion 1, 0, 1, 0, . . . de sumas parciales). Mas a un,
aunque exista

k=1
a
k
, no es lo mismo que la serie

k=1
a
k
(pues

k=1
a
k
es un
n umero, el lmite de una cierta sucesion, mientras que la serie
k=1
a
k
es esa cierta
sucesion).
De acuerdo a lo anterior, esta claro que quiere decir que una serie sea convergente;
como la serie, por denicion, es una sucesion (la de sumas parciales), entonces eso
querra decir que dicha sucesion es convergente.
El n ucleo de este captulo estara en la determinacion de criterios que nos permi-
tan decidir si una serie converge o no. Empezamos probando lo siguiente: PC, 7780
Proposicion 4.2. Si la serie

k=1
a
k
converge, entonces
lim
n
a
n
= 0
Demostracion. Que la serie
k=1
a
k
converja quiere decir que la sucesion (S
n
)
n1
de sumas parciales converge. Luego, por Teorema ??, (S
n
)
n1
es una sucesion de
Cauchy. Pero entonces, por el ejercicio 3 del paragrafo ??, es: referenciar
lim
n
(S
n+1
S
n
) = 0
y como S
n+1
S
n
=
n+1
k=1
a
k
n
k=1
a
k
= a
n+1
la proposicion queda probada
Desafortunadamente, la recproca de la proposicion 4.2 no es cierta, no es cierto
que si a
n
0 entonces la serie
k=1
a
k
converge. (Ver ejemplo al nal del paragrafo
4.2, la serie armonica)
Ya estamos en condiciones de examinar un ejemplo muy importante, la llamada
serie geometrica de razon r. Esta es la serie
k=1
r
k1
(tambien indicada
k=0
r
k
)
donde r es un n umero real cualquiera. Veamos cual es su comportamiento seg un
cual sea el valor de r.
Observemos que la sucesion de sumas parciales tiene, en este caso, una expresion
muy sencilla. Por el ejercicio 5.b del paragrafo 1.4 sabemos que es, si r ,= 1
S
n
= 1 + r + r
2
. . . + r
n1
=
r
n
1
r 1
(si no lo hizo antes ,hagalo ahora por induccion). Luego existe lim
n
S
n
si, y
solo si, existe lim
n
r
n
1
r1
. Pero como aqu aparece r
n
, recordamos lo hecho en el
paragrafo ??: si [r[ < 1, entonces lim
n
r
n
= 0. Por lo tanto, si [r[ < 1:
lim
n
r
n
1
r 1
=
0 1
r 1
=
1
1 r
C

Esto prueba que, si [r[ < 1, entonces la serie
k=1
r
k
converge, y ademas pode-
mos decir a que n umero converge:
k=1
r
k
=
1
1 r
(para [r[ < 1)
Armamos que la serie geometrica no converge para ning un otro valor de r. En
efecto, si convergiese, entonces por la proposicion 4.2, debera ser lim
n
a
n
= 0.
Pero a
n
es en este caso r
n1
, y por los resultados del paragrafo ?? sabemos que
lim
n
r
n1
= 0 solamente cuando [r[ < 1. Entonces, en denitiva, la serie
geometrica

k=0
r
k
converge (a
1
1r
) si [r[ < 1 y no converge si [r[ 1.
Ejercicio 4.3. Probar que si la serie

k=1
a
k
es convergente, entonces para todo
n umero real c tambien converge la serie

k=1
c a
k
y ademas:
k=1
c a
k
= c
k=1
a
k
(31)
Ejercicio 4.4. Probar que si la serie

k=1
a
k
y la serie

k=1
b
k
convergen, en-
tonces la serie

k=1
(a
k
+ b
k
) converge y ademas:
k=1
(a
k
+ b
k
) =
k=1
a
k
+
k=1
b
k
(32)
Ejercicio 4.5. Probar que las siguientes series no son convergentes:
(i)

n=1
(1)
n
(ii)

n=1
n
(iii)

n=1
n
2
+2n+3
n
2
+1
(iv)

n=1
n
n
n!
Ejercicio 4.6. Probar que las siguientes series son convergentes y hallar su suma:
(i)

n=1
2
n
3
n+1
(ii)

n=1
(1)
n+1
3
n
(iii)

n=1
(1)
n1
3
n+2
7
5
2n3
4.2. Series de terminos positivos: criterios de convergencia. Nos limitare-
mos en este paragrafo a estudiar series

n=1
a
n
para las cuales sea a
n
0 para
todo n N. Observemos que si a
n
0 para todo n N, entonces las sumas
parciales son crecientes; en efecto:
S
n+1
=
n+1
k=1
a
k
= a
n+1
+
n
k=1
a
k
= a
n+1
+ S
n
S
n
Luego, por la proposicion 3.45, si la sucesion de sumas parciales esta acotada,
entonces existe lim
n
S
n
, o sea la serie
k=1
a
k
converge; y si la sucesion de su-
mas parciales no esta acotada, entonces lim
n
S
n
= + (en este caso se dice que
la serie diverge). Estas observaciones nos suministran inmediatamente un criterio
de convergencia:
Proposicion 4.7 (Criterio de comparacion). Sean (a
n
)
n1
y (b
n
)
n1
dos sucesio-
nes tales que, a partir de un cierto n
0
0 a
n
b
n
y supongamos ademas que
n=1
b
n
converge. Entonces
n=1
a
n
tambien converge.
Demostracion. Para cada n N, llamemos:
S
n
= a
1
+ a
2
+ . . . + a
n
S
n
= b
1
+ b
2
+ . . . + b
n
Como, por hipotesis, S
n
converge, entonces S
n
esta acotada, es decir existe un
n umero real M
> 0 tal que

S
n
M
para todo n N (33)

Ahora bien, si n > n
0
es:
S
n
=
n
k=1
a
k
=
n0
k=1
a
k
+
n
k=n0+1
a
k
n0
k=1
a
k
+
n
k=n0+1
b
k
(por hipotesis)
n0
k=1
a
k
+
n
k=1
b
k
(ya que cada b
i
0)
n0
k=1
a
k
+ S
n

n0
k=1
a
k
+ M
Llamando M
n0
k=1
a
k
+ M
, resulta:
S
n
M para todo n > n
0
(34)
y si M = maxS
1
, S
2
, . . . , S
n0
, M, entonces
S
n
M para todo n N (35)
Luego (S
n
)
n1
esta acotada superiormente; siendo creciente, la proposicion 3.45
nos dice que existe lim
n
S
n
. Luego

n=1
a
n
tambien converge
Corolario 4.8. Sean (a
n
)
n1
y (b
n
)
n1
dos sucesiones tales que, a partir de un
cierto n
0
:
0 a
n
b
n
y supongamos que

n=1
a
n
diverge. Entonces

n=1
b
n
tambien diverge.
Demostracion. Al ser b
n
0 para todo n N, entonces
n=1
b
n
converge o diverge.
Si convergiese, entonces tambien lo hara

n=1
a
n
por la proposicion 4.7. Ello no
es as por hipotesis, luego
n=1
b
n
diverge
Corolario 4.9. Sean (a
n
)
n1
y (b
n
)
n1
dos sucesiones de terminos positivos (o
sea, a
n
> 0, b
n
> 0 para todo n N) tales que:
lim
n
a
n
b
n
= s > 0
Entonces

n=1
a
n
converge si, y solo si,

n=1
b
n
converge.
Demostracion. Supongamos que

n=1
b
n
converge. Como lim
n
an
bn
= s, enton-
ces existe n
0
N tal que, para n n
0
:
a
n
b
n
s
< 1
C

lo cual implica en particular:
a
n
b
n
s < 1 a
n
< b
n
(s + 1)
Ahora bien, como
n=1
b
n
converge, entonces
n=1
b
n
(s +1) tambien converge
(Ejercicio 1 del paragrafo anterior). Y como 0 < a
n
< b
n
(s + 1) para n > n
0
, referencia del ejerci-
cio entonces por el criterio de comparacion 4.7 resulta
n=1
a
n
convergente. Si ahora
suponemos
n=1
a
n
convergente, como lim
n
bn
an
=
1
s
> 0, repetimos los razona-
mientos anteriores cambiando b por a y s por
1
s
para concluir que
n=1
a
n
tambien
es convergente
El corolario ?? resulta particularmente util para eliminar la hojarasca de los
terminos generales de algunas series. Por ejemplo, consideremos la serie:
n=1
2
n
+ 3
3
n
+ 2
Para n grande, 3 se puede despreciar frente a 2
n
y 2 se puede despreciar frente las variables ma-
tematicas siempre
se deben ubicar en
el ambiente ma-
tematico, nunca
como texto
a 3
n
. Pensando en eso, consideramos:
a
n
=
2
n
+ 3
3
n
+ 2
b
n
=
2
n
3
n
Entonces
a
n
b
n
=
2
n
+ 3
2
n
3
n
3
n+2
=
_
1 +
3
2
n
__
1
1 +
2
3
n
_
Como
3
2
n
y
2
3
n
tienden a cero cuando n , entonces:
lim
n
a
n
b
n
= 1 > 0
y siendo b
n
= (
2
3
)
n
, la serie

n=1
b
n
es convergente, por ser geometrica de razon
2
3
< 1. Luego, por ??, resulta que la serie

n=1
a
n
es convergente.
Veamos ahora un criterio de gran importancia sobre convergencia de series:
Proposicion 4.10 (Criterio de DAlembert). Sea (a
n
)
n1
una sucesion de terminos
positivos tal que:
lim
n
a
n+1
a
n
= s
Entonces la serie

n=1
a
n
es convergente si s < 1 y divergente si s > 1
Referencias
Apostol, T.M., Analisis Matematico, segunda edicion, Reverte (1976) Barcelona
Indice de Figuras
1 Primeros terminos de la sucesion 1/n 4
2 Entornos de
1
y
2
13
3 Intervalo [M
1
, M
2
] 14
4 Intervalo [ , + ] 14
5 Intervalo [b, 2 b] 15
6 Representacion de la sucesion
log n
n
34
7 Representacion de log n,

n, y
log n
n
35
8 Sucesion de Verhulst con las constantes dadas en el graco. 42
Indice de Tablas
Indice de Autores
Apostol
Tom M., 44
49
Indice
calculo de la raiz cuadrada, 42
cambio de ndice, 11
convergente
serie, 44
cuadrados
sucesion de, 4
innitos terminos, 43
suma de, 43
inversos
sucesion de, 4
lmite de medias aritmeticas, 42
lmite de medias geometricas, 42
lmite de sumas parciales, 43
logaritmo
orden del, 35
medias aritmeticas
lmite de, 42
medias geometricas
lmite de, 42
Newton
sucesiones de, 42
numerica
sucesion, 3
orden del logaritmo, 35
parciales
lmite de sumas, 43
sumas, 43
raiz cuadrada
calculo de la, 42
serie, 44
serie convergente, 44
sucesion, 3
sucesion de cuadrados, 4
sucesion de inversos, 4
sucesion denida como funcion, 4
sucesion numerica, 3
sucesiones de Newton, 42
sucesiones de Verhulst, 42
suma de innitos terminos, 43
sumas parciales, 43
terminos
innitos, 43
Verhulst
sucesiones de, 42
50

Calculo Diferencial E Integral - Ricardo J Noriega

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Calculo Diferencial E Integral - Ricardo J Noriega

Diunggah oleh

Hak Cipta:

Format Tersedia

C

ALCULO DIFERENCIAL E INTEGRAL

ALCULO DIFERENCIAL E INTEGRAL 3

ALCULO DIFERENCIAL E INTEGRAL 5

(existe por Arquimedianidad

. Al llegar a este punto, como lo haremos

(con lo cual sera

. Elegimos ahora un n umero natural n

ALCULO DIFERENCIAL E INTEGRAL 7

. Guiados por los ejemplos anteriores, elegiramos

, pero si recordamos que debe ser tambien mayor que 2, elegimos n

(el segundo miembro indica el mayor entre los n umeros 2 y

. Ahora todo va a ir bien; si n > n

ALCULO DIFERENCIAL E INTEGRAL 9

. Llegado a este punto, como elegimos

ALCULO DIFERENCIAL E INTEGRAL 11

ALCULO DIFERENCIAL E INTEGRAL 13

ALCULO DIFERENCIAL E INTEGRAL 15

Antes de enunciar y demostrar otras propiedades, consideraremos la siguiente

ALCULO DIFERENCIAL E INTEGRAL 17

ALCULO DIFERENCIAL E INTEGRAL 19

(iv) Probar que si lim

Ejercicio 3.32. Calcular los siguientes lmites:

ALCULO DIFERENCIAL E INTEGRAL 21

n debe tender, por la Proposicion

ALCULO DIFERENCIAL E INTEGRAL 23

Demostracion. (i) Consideremos el conjunto

(ii) Supongamos ahora que la sucesion es creciente y no acotada. Al ser cre-

Veamos un ejemplo de aplicacion de esta Proposicion. Consideremos la sucesion

2, . . ., o sea, la sucesion denida inductivamente por:

ALCULO DIFERENCIAL E INTEGRAL 25

ALCULO DIFERENCIAL E INTEGRAL 27

ALCULO DIFERENCIAL E INTEGRAL 29

, entonces la proposicon 1.35 nos dice que e

, luego f(x) <

), lo cual prueba la inyectividad. Para ver que es suryectiva, tomemos un y

tales que r < s < r

ALCULO DIFERENCIAL E INTEGRAL 31

A; esto no puede ser ya

racionales tales que r < x < r

Ejercicio 3.56. Probar que si a R, 0 < a ,= 1, entonces la funcion f : R R

< 1, por 2 existe n

Por 6 del paragrafo anterior:

o sea, por propiedades del logaritmo:

ALCULO DIFERENCIAL E INTEGRAL 33

(Por lema 3.60)

Entonces resulta para n n

ALCULO DIFERENCIAL E INTEGRAL 35

ALCULO DIFERENCIAL E INTEGRAL 37

ALCULO DIFERENCIAL E INTEGRAL 39

ALCULO DIFERENCIAL E INTEGRAL 41

ALCULO DIFERENCIAL E INTEGRAL 43

ALCULO DIFERENCIAL E INTEGRAL 45

> 0 tal que

para todo n N (33)

ALCULO DIFERENCIAL E INTEGRAL 47

Anda mungkin juga menyukai