Sucesiones Numericas

2
Sucesiones numricas
Sucesiones numricas
Competencias
Adquirir el signicado de lmite de una sucesin y saber calcular lmites
de sucesiones sencillas. Eventualmente con ayuda de Maxima.
Saber que las sucesiones montonas acotadas tienen lmite y saber utilizar
este hecho.
Conocer el concepto de subsucesin y el teorema de existencia de subsu-
cesiones convergentes en una sucesin acotada.
Conocer que los conceptos de sucesin de Cauchy y de sucesin convergente
son equivalentes. Saber que eso es un instrumento terico importante para
el curso.
Contenidos
2.1. Convergencia
2.2. Sucesiones montonas acotadas
2.3. Teorema de Bolzano-Weierstrass
2.4. Sucesiones de Cauchy: completitud
2.5. Funciones elementales I: exponencial y logaritmo reales
2.6. Lmites innitos
2.7. Algunas sucesiones notables. Jerarqua de sucesiones divergentes
2.8. Representacin decimal de los nmeros reales
2.9. Ejercicios
Anlisis Matemtico I
J. M. Mira S. Snchez-Pedreo
42 Sucesiones numricas
Las sucesiones constituyen una de las herramientas ms tiles para el Anli-
sis Matemtico. En la primera seccin de este captulo se dene el concepto de
lmite de una sucesin de nmeros reales o complejos estudiando las propieda-
des esenciales. Se demuestra que las sucesiones montonas acotadas tienen lmite,
lo que se aplica en particular, a la denicin del nmero e. A continuacin se
demuestra el principio de Cantor de los intervalos encajados, relacionado con la
propiedad de que la recta real es completa (no hay agujeros) y se obtiene el teo-
rema de Bolzano-Weierstrass sobre la existencia de subsucesiones convergentes en
cada sucesin acotada. La propiedad de completitud de la recta puede entonces
ser reformulada en trminos de que las sucesiones de Cauchy de nmeros reales
son convergentes. Este resultado y el de Bolzano-Weierstrass constituyen el ncleo
esencial del captulo y se corresponden con las secciones 1 a 4.
En la seccin 5 se utilizan las ideas introducidas anteriormente para denir las
potencias de base real positiva y exponente real, estudiando sus propiedades. Se
ilustra as la potencia de los resultados obtenidos al tiempo que se da un sentido
preciso a la funcin a
x
para x un nmero real, obtenindose en este contexto general
la validez de las reglas bsicas para operar con potencias.
La secciones 6 y 7 estn dedicadas al concepto de lmite innito y al esta-
blecimiento de ciertas escalas de innito.
En la seccin 8 se estudia la representacin de los nmeros reales.
2.1. Convergencia
Una sucesin es una lista ilimitada de nmeros
a
1
, a
2
, a
3
, . . . , a
n
, . . .
donde los subndices 1, 2, 3, . . . , n hace referencia al lugar que ocupa el correspon-
diente nmero en la lista.
Dicho de otro modo (y usando la forma de escribirlo en Maxima) es una lista
de parejas [n, a[n]] donde el primer elemento n de la pareja es un nmero natural
que indica la posicin en la lista y el segundo a[n] el valor del trmino n-simo de
la lista.
Formalmente esa idea se formula en trminos de una aplicacin de N en el
cuerpo de los reales R o de los complejos C. Observe que a
i
puede ser igual a a
j
,
para i = j, de modo que la lista es ilimitada, pero el conjunto imagen {a
n
: n N}
puede no ser innito.
Denicin 2.1.1 Se llama sucesin en R o C (representados indistintamente por
K) a cualquier aplicacin : N K. Si a
n
:= (n) la sucesin se denota con
(a
n
)
nN
o brevemente (a
n
)
n
. El nmero real a
n
recibe el nombre de trmino general
de la sucesin.
Anlisis Matemtico I
2.1 Convergencia 43
Una sucesin (a
n
)
n
puede venir dada en trminos de una frmula explcita en
trminos de n, como ocurre con la sucesin denida por a
n
:= 1/n, pero hay otras
formas. Por ejemplo, podemos denir a
1
= 0, a
2
= 1 y a
n+1
= (a
n
+ a
n1
)/2 para
n > 2. El trmino a
1000
est inequivocamente denido en ambos casos, y eso es
lo importante en una sucesin. Usted puede calcularlo fcilmente en el caso de
la primera sucesin, pero lo costar un ratito calcularlo en el segundo caso; para
Maxima ambas cosas son igualmente inmediatas.
Usando el comando makelist es fcil escribir los trminos de una sucesin.
Aqu se emplea para una sucesin con un frmula para el trmino general y
para una sucesin recurrente. El cdigo
a[n]:=1/n $ makelist([n,a[n]],n,1,10);
construye los diez primeros trminos en el primer caso (cambie 10 por cualquier otro
nmero) y la frmula Maxima en el segundo caso es la siguiente
a[1]:0 $ a[2]:1$ a[n]:=a[n-1]+a[n-2]$ makelist([n,a[n]],n,1,30);
El segundo de los ejemplos es una muestra de que se conoce con el nombre de
sucesiones recurrentes. Las sucesiones recurrentes son ms frecuentes de lo que a
primera vista pudiera parecer. Y muy antiguas: busque en la Wikipedia Sucesin
de Fibonacci. Si realiza la bsqueda anterior podr encontrar que la sucesin de
Fibonacci es la solucin a un problema de la cra de conejos y que est emparentada
con la sucesin que hemos usado aqu. Tambin encontrar all que es posible
obtener una frmula para a
n
slo en trminos de n, lo cual hace, para usted,
ms sencillo el clculo del valor de a
1000
. Tambin encontrar otras informaciones
curiosas relacionadas con esta sucesin.
La frmula
a
n
:=
_
_
_
1 si el nombre en castellano del nmero n contiene la vocal a
0 en otro caso
es una sucesin (cales son sus primeros trminos?), mientras que
a
n
:=
_
_
1 si el nombre en castellano del nmero n contiene la vocal a
2 si el nombre en castellano del nmero n contiene la vocal e
0 en otro caso .
no es una sucesin (por qu?).
La denicin de lmite de una sucesin formaliza la idea intuitiva de que los
valores a
n
segn va avanzando n se van acercando a cierto nmero real a que se
llama el lmite de la sucesin.
Anlisis Matemtico I
Antes de dar la denicin precisa, algunos ejemplos de sucesiones pueden
servir para aproximarnos a la idea de lmite, utilizando la lista de los trminos
y ayudndonos del grasmo.
/* Ejemplo 3 */
numer:true$
a[n]:=(1+1/n)^n$
terminos:makelist([n,a[n]],n,1,50);
plot2d([discrete,terminos],
[style, points],[xlabel,"n"],[ylabel,"a[n]"]);
/* Hay ms ejemplos... */
Denicin 2.1.2
(1) Se dice que la sucesin (a
n
)
nN
tiene por lmite a K si para cada > 0
existe un nmero natural n
0
tal que si n > n
0
entonces |a
n
a| < . La
notacin que se utiliza es la siguiente:
a = lm
n
a
n
= lm
n
a
n
.
(2) Una sucesin se dice convergente cuando tiene lmite.
En el lenguaje de los cuanticadores la condicin lm
n
a
n
= a se escribe:
> 0, n
0
N, n N (n n
0
|a
n
a| < )
Ejemplos 2.1.3 Vamos a ilustrar con algunos ejemplos la denicin de lmite de
una sucesin.
(1) La sucesin constante dada por a
n
:= a K es convergente y su lmite es a.
En efecto: para cada > 0 dado se cumple que
|a
n
a| = |a a| = 0 <
para todo n N.
(2) La sucesin dada por a
n
:= 1/n es convergente y su lmite es 0. En efecto:
dado > 0, se trata de demostrar la existencia de n
0
N de modo que para
n > n
0
se tenga
|a
n
0| =
1
n
< .
Pero como n > n
0
se verica que 1/n < 1/n
0
y por tanto basta encontrar un
n
0
que verique
1
n
0
< que equivale a 1 < n
0
Tal n
0
existe como consecuencia de la propiedad arquimediana (proposi-
cin 1.2.9)
Anlisis Matemtico I
2.1 Convergencia 45
(3) La sucesin dada por
a
n
:=
n
n
6
+ 5n
3
+ 2n + 1
tiene lmite cero. En efecto: como en el caso anterior, dado > 0, se trata de
demostrar la existencia de n
0
N de modo que para n > n
0
se tenga
|a
n
0| =
n
n
6
+ 5n
3
+ 2n + 1
< .
La situacin ahora es ms complicada, pero si somos capaces de cambiar
n/(n
6
+5n
3
+2n+1) por algo ms manejable, que sea mayor que esta expre-
sin, pero menor que (a partir de cierto valor de n) habremos conseguido
nuestro propsito. Y efectivamente eso es posible ya que se tiene
n
n
6
+ 5n
3
+ 2n + 1
<
n
n
6
=
1
n
5

1
n
<
1
n
0
Basta ya conseguir n
0
de modo que
1
n
0
< ,
cuestin que ya hemos resuelto en el ejemplo anterior.
Si reexiona un poco sobre el lmite anterior, se dar cuenta de las razones
que nos han llevado a cambiar el denominador. Para estar seguro de que
lo ha entendido, trate de hacer una demostracin diferente, pero igualmente
rigurosa, cambiando el denominador por otra cosa... hay varias posibilidades!
(4) Si (a
n
)
nN
es una sucesin en K y a = lm
n
a
n
, entonces se cumple que
|a| = lm
n
|a
n
|. En efecto: jado > 0 existe n
0
N tal que |a a
n
| < si
n > n
0
; pero por la proposicin 1.2.20 se tiene
|a| |a
n
|
|a a
n
| < si n > n
0
,
lo que permite concluir |a| = lm
n
|a
n
|.
(5) Si a
n
> 0 para todo n y existe a = lm
n
a
n
entonces lm
n
a
n
=

a. En
efecto: supongamos inicialmente que a > 0, entonces jado > 0 existe
n
0
N tal que |a a
n
| <

a si n > n
0
; pero por otra parte se tiene la
siguiente estimacin
|
a
n
| =
|a a
n
|
a +
a
n
|a a
n
|
a
<
a
=
Anlisis Matemtico I
si n > n
0
, que demuestra precisamente que, en este caso, lm
n
a
n
=

a.
Queda como ejercicio para el lector hacer la demostracin en el caso a = 0.
La idea de la prueba anterior es eliminar las races cuadradas para hacer
aparecer la diferencia |a a
n
|; para conseguirlo se multiplica numerador y
denominador por

a +

a
n
. La misma idea puede servir para otros casos,
pero por qu expresin habra que multiplicar para hacer algo anlogo si
fuera una raz cbica, cuarta...? La ecuacin ciclotmica (ejercicio 1.2 pg. 36) es una
buena pista. Trate de aprovecharla para demostrar una versin ms general del ejemplo
anterior que arma: jado cualquier k N, si a
n
> 0 para todo n y existe a = lm
n
a
n
entonces lm
n
k
a
n
=
k
a.
(6) Si r K y |r| < 1 entonces la sucesin (a
n
)
n
donde a
n
:= r
n
tiene lmite 0. En
efecto: pongamos = |r| y sea b > 0 tal que = 1/(1 +b), entonces, usando
la desigualdad de Bernoulli (ejercicio 1.3, pg. 36) se tiene la estimacin
|a
n
0| = |r
n
| = |r|
n
=
n
=
1
(1 + b)
n
<
1
1 + nb
<
1
n
que conduce ya de forma inmediata a la conclusin.
(7) La sucesin (z
n
)
nN
donde
z
n
=
1
n
+
n
n + 1
i
tiene por lmite i. En efecto: la estimacin
_
1
n
+
n
n + 1
i
_
i
1
n

1
n + 1
i
1
n
+
1
n + 1

2
n
y los ejemplos anteriores permiten concluir que jado > 0 existe n
0
N
tal que si n > n
0
se verica |z
n
i| < .
(8) Una progresin geomtrica de razn r es una sucesin (a
n
)
n
en K donde a
1
es un elemento arbitrario de K y a
n
:= a
1
r
n1
para n > 1. Nuestro inters
aqu es sumar los innitos trminos de una tal progresin en la que |r| < 1.
Maxima sabe hacer la suma de una progresin geomtrica nita. Y tambin
sabe hacer la suma una progresin geomtrica innita, pero en tal caso necesita
saber que el |r| < 1.
a[n]:=a*r^(n-1);
sum(a[k],k,1,n),simpsum;
assume(abs(r)<1)$ sum(a[k],k,1,inf),simpsum;
Tambin es posible llegar a las mismas conclusiones sin la ayuda de Maxi-
ma. Comenzamos calculando una expresin para la suma de los n primeros
trminos, es decir, una expresin para
S
n
:= a
1
+ a
2
+ + a
n
=
n
k=1
a
k
Anlisis Matemtico I
2.1 Convergencia 47
Para ello escribimos S
n
, rS
n
y restamos las dos expresiones, es decir:
S
n
=a
1
+ a
2
+ + a
n
= a
1
+ a
1
r + a
2
r + + a
n1
r
rS
n
=a
1
r + a
2
r + a
3
r + + a
n1
r + a
n
r
S
n
(1 r) = S
n
rS
n
=a
1
a
n
r
As obtenemos:
S
n
=
a
1
a
n
r
1 r
=
a
1
a
1
r
n
1 r
(expresin que suele ser recordada con una especie de slogan: la suma de los
n trminos de una progresin geomtrica es igual al primero menos el ltimo
por la razn dividido por 1 menos la razn).
Ahora la suma de los innitos trminos de una progresin geomtrica coincide
con
lm
n
S
n
= lm
n
a
1
a
n
r
1 r
=
a
1
lm
n
a
1
r
n1
r
1 r
=
a
1
1 r
debido a que lm
n
r
n
= 0, como vimos en el ejemplo 6 anterior.
Esta suma de innitos trminos (concebida como lmite de una sucesin) es
un recurso muy frecuente y til en el anlisis matemtico. Si (a
n
)
nN
es una
sucesin, podemos denir la sucesin
S
n
:= a
1
+ a
2
+ + a
n
=
n
k=1
a
k
denominada la sucesin de las sumas parciales de la sucesin inicial. Enton-
ces, si existe el lmite de (S
n
)
nN
tiene sentido escribir
k=1
a
k
:= lm
n
S
n
y denominar a esta cantidad suma innita. Los objetos as obtenidos, es
decir, las expresiones del tipo
k=1
a
k
son denominados series numricas (series de nmeros o, simplemente, series)
y son tan importantes que dedicaremos gran parte del captulo 7 a ellas.
Llamamos la atencin sobre el hecho de que estos ejemplos no proporcionan
una tcnica de clculo de lmites, sino que nicamente demuestran que cierto
candidato, que razonablemente parece ser lmite, efectivamente lo es.
Anlisis Matemtico I
En el captulo 4 desarrollaremos tcnicas para el clculo efectivo de lmites.
Pero apoyandonos en Maxima, que conoce tales tcnicas aunque no sepa
demostrar nada, podemos anticiparnos y calcular ya lmites de algunas suce-
siones. La sintaxis para calcular lmites con Maxima es muy sencilla y los siguientes
ejemplos ayudarn a comprenderla y utilizarla. Pero sea precavido y compruebe que el
resultado es razonable.
limit(1/n,n,inf);
kill(all)$ assume(abs(r)<1)$ limit(r^n, n, inf);
El concepto que sigue es til para muchos nes y, en particular, para visuali-
zar el concepto de lmite, como luego veremos.
Denicin 2.1.4 Si a b son nmeros reales:
Se llama intervalo cerrado de extremos a, b al conjunto
[a, b] := {x R; a x b}.
Se llama intervalo abierto de extremos a, b al conjunto
(a, b) := {x R; a < x < b}.
Los conjuntos [a, b) y (a, b] reciben el nombre de intervalos semiabiertos por
la derecha e izquierda respectivamente:
[a, b) := {x R; a x < b} (a, b] := {x R; a < x b}
Se llama longitud del intervalo al nmero real b a.
Conectado con estos conceptos est la nocin de bola de centro x
0
y radio r > 0.
Denicin 2.1.5
(1) Se llama bola cerrada de centro x
0
y radio r > 0 y se denota con B[x
0
, r] al
conjunto B[x
0
, r] := {x K; |x x
0
| r}.
(2) Se llama bola abierta de centro x
0
y radio r > 0 y se denota con B(x
0
, r) al
conjunto B(x
0
, r) := {x K; |x x
0
| < r}.
Cuando K = R es claro que B(x, r) = (x r, x + r) y B[x, r] = [x r, x + r].
Obsrvese que, utilizando estos conceptos, el que la sucesin (a
n
)
nN
tenga
lmite a puede expresarse diciendo que para cualquier > 0 la bola abierta B(a, )
contiene a todos los trminos de la sucesin (a
n
)
n
salvo, a lo ms, un nmero nito.
Un primer hecho que se deduce de forma inmediata de la denicin (especial-
mente a travs de la visualizacin con bolas) es el siguiente.
Proposicin 2.1.6 El lmite de una sucesin convergente es nico.
Demostracin: Supongamos, por reduccin al absurdo, que la sucesin (a
n
)
n
tuviera dos lmites distintos, digamos a = b.
Anlisis Matemtico I
2.1 Convergencia 49
b
a
a
n
a
n
Sea = |a b|/4 > 0. Entonces, de acuerdo

con la denicin, existen nmeros naturales n
1
y
n
2
para los que se verica que
|a
n
a| < si n > n
1
y |a
n
b| < si n > n
2
as pues, llamando n
0
:= m ax{n
1
, n
2
} se debe cumplir que
|a
n
a| < si n > n
0
y |a
n
b| < si n > n
0
De donde se deduce que si n > n
0
ha de ser
|a b| = |a a
n
+ a
n
b| |a a
n
| +|a
n
b| < + = 2
|a b|
4
=
|a b|
2
y por tanto que 1 <
1
2
, lo cual no es cierto.
Una sucesin se dice acotada si su imagen, es decir el conjunto {a
n
: n N}, es
un conjunto acotado de R. De nuevo la visualizacin con bolas permite construir
de forma sencilla una demostracin de la proposicin que sigue.
Proposicin 2.1.7 Las sucesiones convergentes de K son acotadas.
Demostracin: Sea una sucesin convergente (a
n
)
nN
con lmite a. Aplicando la
denicin con = 1 podemos garantizar la existencia de un nmero natural n
0
tal
que si n > n
0
se cumple |a
n
a| < 1 y por tanto
|a
n
| = |a
n
a + a| |a
n
a| +|a| < 1 +|a|.
a
a
n
1
0
a
1
a
2
a
3
a
4
M
Llamando
M := m ax{|a
1
|, |a
2
|, . . . |a
n
0
|, (1 +|a|)}
se cumple que
|a
n
| M para todo n N,
es decir, la sucesin (a
n
)
n
es acotada.
El recproco no es cierto y la sucesin (x
n
)
n
denida por x
n
= (1)
n
es un ejemplo.
Un hecho que simplica mucho las cosas es que la convergencia en C puede
reducirse a la convergencia en R.
Anlisis Matemtico I
Proposicin 2.1.8 Sea (z
n
)
nN
una sucesin en C y sea z
n
= a
n
+ ib
n
donde a
n
y b
n
son, respectivamente, la parte real e imaginaria del complejo z
n
.
(1) Si (z
n
)
nN
es convergente con lmite z = a + bi, entonces (a
n
)
nN
es conver-
gente con lmite a y (b
n
)
nN
es convergente con lmite b.
(2) Recprocamente, si (a
n
)
nN
es convergente con lmite a y (b
n
)
nN
es conver-
gente con lmite b, entonces (z
n
)
nN
es convergente con lmite a + bi.
Demostracin: Se basa en las estimaciones
|a a
n
| |z z
n
| |a a
n
| +|b b
n
|.
a partir de los cuales el lector podr fcilmente completar los detalles.
Trate de realizar con detalle la demostracin anterior. En primer lugar hay que
justicar por qu las desigualdades anteriores son ciertas. Y a continuacin
establecer la equivalencia. No es difcil y representa un ejercicio de manejo
del valor absoluto que conviene realizar como entrenamiento. Si lo acaba en-
tendiendo bien, tendr mucho camino realizado para comprender las demostraciones
que vienen ms adelante. Si no lo consigue hacer ahora, vuelva a intentarlo despus
de haber entendido la demostracin de la proposicin 2.1.9... Seguro que entonces lo
conseguir!
En la proposicin siguiente establecemos el comportamiento de las sucesiones
convergentes con relacin a las operaciones ordinarias.
Proposicin 2.1.9 Sean (a
n
)
n
y (b
n
)
n
sucesiones convergentes en K con lmites
a y b, respectivamente. Entonces:
(1) (a
n
+ b
n
)
n
es una sucesin convergente con lmite a + b.
(2) (a
n
b
n
)
n
es una sucesin convergente con lmite ab.
(3) Si b
n
= 0 y b = 0 entonces la sucesin (a
n
/b
n
)
n
tiene por lmite a/b.
Demostracin: La del primer apartado es muy sencilla. Dado > 0 existen
enteros positivos n
1
y n
2
tales que se tiene
|a a
n
| <

2
si n > n
1
y |b b
n
| <

2
si n > n
2
.
Llamando n
0
= m ax{n
1
, n
2
} se tiene
|(a + b) (a
n
+ b
n
)| |a a
n
| +|b b
n
| <

2
+

2
= , para cada n > n
0
,
lo que prueba que a + b = lm
n
(a
n
+ b
n
).
Anlisis Matemtico I
2.1 Convergencia 51
Veamos el segundo apartado. Comencemos observando que por ser (a
n
)
n
una
sucesin convergente, de acuerdo con la proposicin inmediatamente anterior, exis-
te > 0 tal que |a
n
| para todo n N. Por tanto, se tiene:
|ab a
n
b
n
| = |ab a
n
b + a
n
b a
n
b
n
|
= |(a a
n
)b + a
n
(b b
n
)|
|a a
n
||b| +|a
n
||b b
n
|
|a a
n
||b| + |b b
n
|
Pero como a = lm
n
a
n
y b = lm
n
b
n
, jado > 0 existen n
1
, n
2
N tales que
|a a
n
| <

2(|b| + 1)
, si n > n
1
y |b b
n
| <

2
, si n > n
2
.
De donde se sigue
|ab a
n
b
n
| |a a
n
||b| + |b b
n
|
<

2(|b| + 1)
|b| +

2
<

2
+

2
=
siempre que n > n
0
:= m ax{n
1
, n
2
}. Esto prueba que lm
n
a
n
b
n
= ab.
No le parece un poco raro tomar

2(|b|+1)
? Hubiera sido ms natural tomar
slo

2|b|
, como se ha hecho en el segundo sumando. Si se hubiera hecho as la
demostracin sera incorrecta. Explique por qu.
( )
0 |b|
|b|/2
b
n
El ltimo apartado utiliza las mismas ideas del apartado
anterior, slo que, ahora, hemos de considerar una acotacin
inferior para la sucesin (|b
n
|)
n
en lugar de una acotacin su-
perior. Puesto que b = 0 y |b| = lm
n
|b
n
|, sin ms que aplicar
la denicin de lmite con = |b|/2 existe un nmero natural n
1
tal que se tiene
:=
|b|
2
< |b
n
|, para n > n
1
.
Por otra parte, si n > n
1
, se tienen las acotaciones siguientes:
a
b

a
n
b
n
=
|ab
n
a
n
b|
|b||b
n
|
=
|ab
n
ab + ab a
n
b|
|b||b
n
|
|a||b
n
b| +|a a
n
||b|
|b||b
n
|
|a||b
n
b| +|a a
n
||b|
|b|
Anlisis Matemtico I
Ahora, jado > 0 existen nmeros naturales n
2
, n
3
tales que
|b b
n
| <

2(|a| + 1)
|b|, si n > n
2
y |a a
n
| <

2|b|
|b|, si n > n
3
.
Si ahora llamamos n
0
:= m ax{n
1
, n
2
, n
3
} se cumple que
a
b

a
n
b
n

|a||b
n
b| +|a a
n
||b|
|b|
< |a|

2(|a| + 1)
+|b|

2|b|
<
para n > n
0
, lo que acaba la demostracin del tercer apartado.
Observacin 2.1.10 Fjese que en la demostracin anterior, al igual que en los
ejemplos 2.1.3, hemos utilizado la denicin de lmite con expresiones de muy
especiales. Por ejemplo:
(1) en el caso de lm
n
(a
n
+ b
n
), para > 0 dado, utilizamos las armaciones
lm
n
a
n
= a y lm
n
b
n
= b tomando /2;
(2) en el caso del producto la eleccin es an ms complicada: para dado
aplicamos la nocin de lmite con los valores modicados
2(|b| + 1)
y

2
;
(3) en el caso del cociente, elegimos
2(|a| + 1)
|b| y

2
.
Es fcil darse cuenta de que estas elecciones complicadas tienen como objetivo
obtener la conclusin sobre el nuevo lmite (de la suma, el producto o el cociente)
con un todo bonito; por ejemplo, en el caso del cociente, hemos concluido que,
jado > 0, para n n
0
:= m ax{n
1
, n
2
, n
3
} se tiene
a
b

a
n
b
n
<
Sin embargo tales elecciones complicadas son innecesarias. En efecto, si (a
n
)
nN
es
una sucesin, l R y demostramos que, para cierto nmero M > 0 jo, y para
cada > 0, existe n
0
N tal que si n n
0
se verica |a
n
l|< M, entonces
hemos demostrado que lm
n
a
n
= l.
Esto es sencillo de vericar: si suponemos cierto lo anterior, jamos > 0, y
aplicamos lo demostrado para
:= /M, entonces existir n
0
N (posiblemente
distinto de n
0
, puesto que el valor de ste depende del elegido), tal que si n n
0
,
Anlisis Matemtico I
2.1 Convergencia 53
entonces |a
n
l|< M
= . Lo esencial, naturalmente, es que M debe ser una

cantidad ja, independiente de n.
Por ejemplo, veamos qu obtenemos en el caso del producto de la proposicin
anterior, sin ninguna eleccin especial. Femos > 0, puesto que lma
n
= a y
lm
n
b
n
= b, existen n
1
, n
2
N tales que:
|a a
n
| < , si n > n
1
y |b b
n
| < , si n > n
2
,
de donde obtenemos:
|a
n
b
n
ab| < |b| + = (|b| + )
siempre que n > n
0
:= m ax{n
1
, n
2
}. Esto es, se verica lm
n
a
n
b
n
= ab. As acaba
esta larga observacin.
La idea de la proposicin anterior es obtener el lmite de una sucesin construida
a partir de otras utilizando para ello los lmites de las sucesiones que sirven para
construirla. Los casos considerados en la proposicin no son los nicos y la misma
estrategia se utiliza, como ms adelante veremos, en otras situaciones.
Observe que en la proposicin anterior, antes de hacer la suma, el producto,
etc. se supone que los lmites de las sucesiones que aparecen existen. Sin
embargo, la existencia del lmite de la suma no implica la existencia del lmite
de los sumandos; y otro tanto ocurre con el producto o el cociente. Busque
ejemplos que corroboren esta armacin.
Proposicin 2.1.11 Sean (a
n
)
nN
y (b
n
)
nN
sucesiones convergentes de nmeros
reales con lmites a y b respectivamente.
(1) Si a
n
b
n
, para todo n N, entonces se verica que a b.
(2) Si a < b, entonces se verica que existe n
0
N tal que a
n
 n
0
.
(3) Si (a
n
)
n
, (b
n
)
n
y (c
n
)
n
son sucesiones de nmeros reales tales que
a
n
c
n
b
n
y lm
n
a
n
= lm
n
b
n
= , entonces lm
n
c
n
= (regla del sandwich).
Demostracin: Para el primer apartado supongamos, por reduccin al absurdo,
que fuera a > b. Tomando := (a b)/4 debera existir n
0
tal que para n > n
0
se
cumplira
|a a
n
| < y |b b
n
| <
con lo cual se tendra, siempre para n > n
0
,
b
n
= b
n
b + b |b
n
b| + b < + b < a < a
n
, pues 2 < a b,
Anlisis Matemtico I
y esto contradice la hiptesis a
n
b
n
para todo n N.
Para la segunda parte elamos un > 0 de tal forma que a+ < b; entonces,
existe n
0
N tal que para n n
0
tenemos a
n
(a , a +) y b
n
(b , b +),
por lo que a
n
 0 existe n
0
N tal
que si n > n
0
los puntos a
n
y b
n
pertenecen a la bola B(, ) y al ser a
n
c
n
b
n
tambin se tiene que c
n
B(, ), pero eso es lo mismo que decir que | c
n
| <
para n > n
0
. En otras palabras, lm
n
c
n
= .
Ejemplo 2.1.12 Sea R
+
:= [0, +) := {x R : x 0}. Sea x R
+
y sea [x] la
parte entera de x. Calculemos el valor de
lm
n
[x] + [2x] + + [nx]
n
2
.
Comencemos observando que como [x] x [x] + 1 se tiene x 1 < [x] x
y anlogamente kx 1 < [kx] kx para k = 1, 2, . . . , n de donde, sumando y
dividiendo por n
2
se tiene
(1 + 2 + + n)x n
n
2
<
[x] + [2x] + + [nx]
n
2

(1 + 2 + + n)x
n
2
.
Pero como 1 + 2 + + n = (1 + n)n/2, por ser una progresin aritmtica
1
, se
obtiene nalmente que el lmite buscado es x/2.
2.2. Sucesiones montonas acotadas
Hemos introducido la nocin de sucesin convergente, pero si nos dan una
sucesin cmo podemos saber si es convergente? cmo calcular su lmite? En
general, la respuesta a estas preguntas es complicada y a lo largo del captulo
iremos dando respuestas parciales; no obstante para algunos tipos particulares de
sucesiones, como las consideradas en la proposicin 2.2.2, la respuesta es sencilla.
Denicin 2.2.1 Sea (a
n
)
nN
una sucesin en R.
(1) Se dice que la sucesin es montona creciente o simplemente creciente si
a
n
a
n+1
, para todo n N.
(2) Se dice que la sucesin es montona decreciente o simplemente decreciente
si a
n
a
n+1
, para todo n N.
1
Una progresin aritmtica es una lista ordenada de nmeros en la que cada trmino se obtiene
sumando al anterior una cantidad ja. Si una tal progresin tiene n trminos, es fcil percatarse
de que la suma del primero y el ltimo, a
1
+a
n
, coincide con la suma del segundo y el penltimo,
a
2
+ a
n1
y lo mismo es cierto con a
3
+ a
n2
etc. En consecuencia, agrupando de ese modo se
obtiene que a
1
+ a
2
+ + a
n1
+ a
n
= (a
1
+ a
n
)
n
2
Anlisis Matemtico I
2.2 Sucesiones montonas acotadas 55
(3) Se dice que la sucesin es montona si es creciente o decreciente.
Proposicin 2.2.2 Sea (a
n
)
nN
una sucesin montona de nmeros reales.
(1) Si la sucesin es creciente y acotada superiormente entonces es convergente
siendo su lmite el nmero real sup{a
n
: n N}.
(2) Si la sucesin es decreciente y acotada inferiormente entonces es convergente
siendo su lmite el nmero real nf{a
n
: n N}.
Demostracin: Si (a
n
)
nN
es una sucesin montona creciente acotada superior-
mente, entonces existe el supremo del conjunto {a
n
: n N} que denotaremos
con a. Se verica que a = lm
n
a
n
. En efecto: jado > 0, existe n
0
N tal
que a < a
n
0
(segn el ejercicio 9 del captulo 1) y al ser (a
n
)
n
una sucesin
montona creciente para cada n > n
0
se tiene
a < a
n
0
a
n
a < a + ,
lo cual signica que a = lm
n
a
n
.
El caso de sucesiones montonas decrecientes es anlogo.
Escriba los detalles de la prueba en el caso de sucesiones montonas decrecien-
tes. Hgalo de dos maneras: 1) modicando adecuadamente la demostracin
del caso creciente y 2) utilizando una astucia que permita reducir la nueva
situacin a la anterior (ya resuelta).
Ejemplo 2.2.3 Vamos a calcular el lmite de la sucesin (a
n
)
n
denida recurren-
temente por las frmulas
a
1
=
2 , a
n+1
=
2 + a
n
.
Para ello observamos que a
1
< a
2
< a
3
< . . . , lo que induce a pensar que la
sucesin (a
n
)
n
as denida es montona creciente, como de hecho ocurre. Vamos
a probarlo por induccin sobre n. Es claro que a
1
< a
2
. Supongamos ahora que
a
n1
< a
n
, en cuyo caso a
n
=

2 + a
n1
<
2 + a
n
= a
n+1
. El mtodo de
induccin (corolario 1.2.3) permite concluir que la sucesin (a
n
)
n
es estrictamente
creciente.
Adems la sucesin est acotada por 2. Esto tambin se prueba por induccin
sobre n. Es claro que a
1
2 y supuesto que a
n
2 se tiene que a
n+1
=
2 + a
n

2 + 2 = 2.
Aplicando ahora la proposicin 2.2.2 se obtiene que la sucesin (a
n
)
n
converge.
Llamemos a al lmite de dicha sucesin. Tomando lmites (y teniendo en cuenta el
ejemplo 5 en la pgina 45) se tiene la siguiente ecuacin
lm
n
a
n+1
=
_
2 + lm
n
a
n
, es decir a =
2 + a,
Anlisis Matemtico I
o, si se preere, a
2
= 2 + a. Esta ecuacin de segundo grado tiene dos soluciones,
pero nicamente la solucin a = 2 puede ser el lmite de la sucesin considerada,
de modo que, nalmente lm
n
a
n
= 2.
Aunque sin el rigor del razonamiento anterior, Maxima nos permite calcular
el lmite de la sucesin recurrente anterior
a[1]:sqrt(2)$ a[n]:=sqrt(2+a[n-1]);
makelist([n,float(a[n])],n,1,20);
Hemos armado en el prrafo anterior que slo la solucin a = 2 de la ecuacin
a
2
= 2 + a puede ser el lmite de la sucesin. Cul es la otra solucin de la
ecuacin? por qu no puede ser lmite de la sucesin?
Corolario 2.2.4 (1) La sucesin (a
n
)
nN
denida por
a
n
=
_
1 +
1
n
_
n
es montona creciente y acotada.
(2) La sucesin (b
n
)
nN
denida por
b
n
=
_
1 +
1
n
_
n+1
es montona decreciente y acotada.
(3) Las sucesiones (a
n
)
nN
y (b
n
)
nN
anteriores tienen el mismo lmite, cuyo
valor se denota con e.
(4) Adems el nmero e tambin es el lmite de la sucesin (S
n
)
nN
denida por
S
n
= 1 +
1
1!
+
1
2!
+ +
1
n!
.
(5) El nmero real e es irracional.
Demostracin: De la desigualdad de Bernoulli (ejercicio 1.3 pg. 36)
(1 + x)
n
> 1 + nx para x = 0 y 1 < x
se tiene para n > 1,
a
n
b
n1
=
_
n
2
1
n
2
_
n
=
_
1
1
n
2
_
n
> 1 n
1
n
2
=
_
n
n 1
_
1
=
_
1 +
1
n 1
_
1
Anlisis Matemtico I
2.2 Sucesiones montonas acotadas 57
y por tanto a
n
> b
n1
_
1 +
1
n1
_
1
= a
n1
.
Anlogamente
b
n1
a
n
=
_
n
2
n
2
1
_
n
=
_
1 +
1
n
2
1
_
n
>
_
1 +
1
n
2
_
n
> 1 + n
1
n
2
= 1 +
1
n
.
y por tanto b
n1
> a
n
(1 +
1
n
) = b
n
. Adems 2 = a
1
< a
n
< b
n
< b
1
= 4
por lo que ambas convergen, al ser sucesiones montonas acotadas. Pero siendo
b
n
= (1 +
1
n
)a
n
se concluye que ambas sucesiones convergen hacia un mismo lmite
que denotaremos con e. Esto acaba la prueba de los tres primeros apartados.
Veamos ahora el cuarto apartado. En primer lugar, desarrollamos segn el binomio
de Newton, para obtener:
a
n
=
_
1 +
1
n
_
n
=
_
n
0
_
+
1
n
_
n
1
_
+
1
n
2
_
n
2
_
+ +
1
n
n1
_
n
n 1
_
+
1
n
n
_
n
n
_
y observamos que, para 1 k n, tenemos:
1
n
k
_
n
k
_
=
1
k!
n(n 1) (n k + 1)
n
k
=
1
k!
_
1
1
n
__
1
2
n
_

_
1
k 1
n
_
Entonces
a
n
= 1 + 1 +
1
2!
_
1
1
n
_
+ +
1
n!
_
1
1
n
_
. . .
_
1
n 1
n
_
k=0
1
k!
= S
n
< 1 + 1 +
1
2
+
1
2
2
+ +
1
2
n1
< 3 (n 1)
La sucesin (S
n
)
n
es convergente ya que es creciente y acotada superiormente.
Adems, para cada m jo, si n > m se tiene:
a
n
= 1 + +
1
m!
_
1
1
n
_
. . .
_
1
m1
n
_
+ +
1
n!
_
1
1
n
_
. . .
_
1
n 1
n
_
> 1 + 1 +
1
2!
_
1
1
n
_
+ +
1
m!
_
1
1
n
_
. . .
_
1
m1
n
_
y tomando limites en n se concluye e = lm
n
a
n
S
m
para todo m. As pues,
a
n
S
n
e y de la proposicin 2.1.11 se sigue nalmente que lm
n
S
n
= e.
Para probar que e es irracional procedemos por reduccin al absurdo. Obser-
vemos en primer lugar que
e S
n
= lm
p
p
k=0
1
k!

n
k=0
1
k!
= lm
p
p
k=n+1
1
k!
Pero sustituyendo (n +1), (n +2), . . . (n +k) por (n +1) obtenemos la estimacin
n+q
k=n+1
1
k!
=
1
n!
q
k=1
1
(n + 1)(n + 2) (n + k)
<
1
n!
q
k=1
1
(n + 1)
k
Anlisis Matemtico I
Entonces, usando la frmula de la suma de una progresin geomtrica, se tiene la
siguiente acotacin:
e S
n
= lm
q
n+q
k=n+1
1
k!

1
n!
lm
q
q
k=1
1
(n + 1)
k
=
1
n!
1
n+1
1
1
n+1
=
1
n!
1
n
Si fuera e =
p
q
, tomando n = q en la estimacin anterior se tendra
0 <
p
q
S
q
<
1
q!q
y multiplicando por q! obtendramos
0 < q!
p
q
q!S
q
<
1
q
pero siendo q!
p
q
y q!S
q
nmeros naturales se seguira que existe un entero positivo
menor que 1. Esto prueba que e no es un nmero racional.
Veamos la lista con los primeros trminos de la sucesin a[n]:=(1+1/n)^n
(50 en este caso) que nos permite encontrar el valor de los primeros decimales
del lmite
a[n]:=(1+1/n)^n; makelist(float(a[n]),n,1,50);
Maxima sabe bien que el valor de ese lmite dene uno de los nmeros ms
importantes de las matemticas: el nmero e
limit(a[n],n,inf);
Compruebe numricamente que las sucesiones (b
n
)
n
y (S
n
)
n
tambin tienen
el mismo lmite.
2.3. Teorema de Bolzano-Weierstrass
La siguiente propiedad de los intervalos encajados est fuertemente relacionada
con la completitud de R, es decir con el hecho de que en la recta real no hay
agujeros.
Proposicin 2.3.1 (Principio de encaje de Cantor) Sea {(I
n
)
n
: n N}
una sucesin de intervalos cerrados de R tales que:
(1) I
n+1
I
n
;
(2) la longitud de I
n
tiene por lmite cero.
Entonces existe un nico nmero real comn a todos los intervalos.
Anlisis Matemtico I
2.3 Teorema de Bolzano-Weierstrass 59
Figura 2.1: Georg Ferdinand Ludwig Philipp Cantor (St Petersburg, 1845 Halle,
1918). Cantor es el fundador de la teora de conjuntos e introdujo el concepto de
cardinal innito. Realiz progresos en el estudio de las series trigonomtricas.
Demostracin: Sea I
n
:= [a
n
, b
n
]. Entonces para cualquier k N, b
k
es una cota
superior de la sucesin (a
n
)
nN
ya que por ser la sucesin de intervalos encajados,
tenemos, para todo n k:
a
1
a
2
a
n
b
n
b
k
.
As, (a
n
)
nN
es una sucesin montona creciente acotada superiormente, por lo que
es convergente. Si a := lm
n
a
n
entonces se cumple a b
k
para todo k y, como
a
k
a b
k
para todo k se obtiene que a

nN
I
n
, en particular la interseccin
anterior es no vaca. Por otra parte si suponemos que existen y , con <
y ,

nN
I
n
, tendramos que el [, ]

nN
I
n
; pero esto no es posible, ya
que en ese caso la longitud de todos los I
n
sera mayor o igual que la longitud del
intervalo [, ], lo que contradice el hecho de que la longitud de I
n
tiene por lmite
cero.
Considere la sucesin de intervalos I
n
= (0, 1/n). Calcule
nN
I
n
.
Analice el resultado a la luz de la proposicin anterior. La contradice? Qu ocurre?
Si tenemos una sucesin
a
1
, a
2
, a
3
, a
4
, a
5
, . . . a
n
, . . .
podemos construir a partir de ella otras sucesiones eliminando trminos de la
sucesin inicial, como por ejemplo la sucesin
a
1
, a
3
, a
5
, . . . a
2n1
. . .
o la sucesin
a
2
, a
4
, a
6
, . . . a
2n
. . .
Anlisis Matemtico I
Estas sucesiones has se conocen con el nombre de subsucesiones de la sucesin
inicial. Sus trminos son un subconjunto de los iniciales, pero no cualquier sub-
conjunto, han de respetar el orden de la lista inicial aunque su posicin sea otra.
As, en el primer ejemplo el trmino a
5
ocupa el tercer lugar, lo que signica que
corresponde al trmino b
3
si denotramos dicha sucesin como
b
1
, b
2
, b
3
, . . . , b
n
, . . . .
En cambio
a
1
, a
3
, a
2
, a
5
, a
7
, a
4
, a
9
, a
11
, a
6
. . . ,
es una sucesin pero no es una subsucesin de la sucesin inicial porque no conserva
el orden en la numeracin de la misma.
Denicin 2.3.2 Sea : N K una sucesin y sea : N N montona
estrictamente creciente. La sucesin : N K se dice que es una subsu-
cesin de la anterior. Si (a
n
)
nN
:= ((n))
nN
es la sucesin inicial entonces la
subsucesin se denota del siguiente modo (a
n
k
)
kN
:= ( (k))
kN
.
En los ejemplos anteriores, vendra dada por (k) = 2k 1 en el primer caso
a
n
1
= a
1
, a
n
2
= a
3
, a
n
3
= a
5
, . . . a
n
k
= a
2k1
mientras que en el segundo (k) = 2k y
a
n
1
= a
2
, a
n
2
= a
4
, a
n
3
= a
6
, . . . a
n
k
= a
2k
.
A partir de la sucesin (a
n
)
nN
:= ((n))
nN
y la aplicacin estrictamente
creciente : N N, la subsucesin (a
n
k
)
kN
, donde n
k
= (k) para cada k N,
se denotar tambin en la forma (a
(k)
)
kN
.
En ocasiones nos veremos obligados a tomar una subsucesin de una subsuce-
sin y esto es complicado de expresar. Siguiendo la denicin de una subsucesin,
a partir de la anterior (a
n
k
)
kN
= ( (k))
kN
, si : N N es otra aplicacin
estrictamente creciente, deniramos la subsucesin de la subsucesin anterior me-
diante
(a
n
kp
)
pN
= ( (p))
pN
Como se ve la notacin (a
n
kp
)
p
es complicada y, en ocasiones, utilizaremos la
notacin alternativa (a
(p)
)
pN
. Observe que una subsucesin de una subsucesin
de (a
n
)
n
es subsucesin de (a
n
)
n
.
Por ejemplo, si, como antes, (k) = 2k1 y (p) = 2p, entonces (p) = 4p1
y la subsucesin (a
n
kp
)
p
= (a
(p)
)
p
es:
a
n
k
1
= a
3
, a
n
k
2
= a
7
, a
n
k
3
= a
11
, . . .
Ejemplos de subsucesiones de una dada
kill(all)$ a[n]:=(-1)^n/n; makelist([n,a[n]],n,1,20);
tau(k):=2*k+1; b[k]:=a[tau(k)]; makelist([n,b[n]],n,1,20);
Anlisis Matemtico I
2.3 Teorema de Bolzano-Weierstrass 61
Proposicin 2.3.3 Si una sucesin (a
n
)
nN
es convergente cualquier subsucesin
suya converge al mismo lmite.
Demostracin: Supongamos que (a
n
)
nN
es una sucesin convergente con lmite
a. Entonces dado > 0 existe un nmero natural p tal que si n > p se verica que
|a
n
a| < . Sea (a
n
k
)
kN
una subsucesin de (a
n
)
n
. Necesariamente para todo
k N se cumple que k n
k
(por qu?); por tanto, dado > 0 si p es como antes
y si k > p se tiene |a
n
k
a| < , lo que signica que lm
k
a
n
k
= a.
Teorema 2.3.4 (Bolzano-Weierstrass) Cualquier sucesin acotada en R posee
una subsucesin convergente.
Demostracin: Sea (a
n
)
nN
una sucesin acotada y sean c
0
, d
0
dos nmeros reales
tales que c
0
a
n
d
0
, para todo n N. Sea m
0
el punto medio del intervalo
I
0
:= [c
0
, d
0
]. Entonces uno al menos de los conjuntos
{n N : a
n
[c
0
, m
0
]} {n N : a
n
[m
0
, d
0
]}
es innito.
Elegimos uno de los intervalos [c
0
, m
0
] [m
0
, d
0
], para el que el conjunto aso-
ciado antes sea innito y lo denotamos con I
1
= [c
1
, d
1
]. Tomamos n
1
N de
forma que a
n
1
I
1
. A continuacin dividimos el intervalo I
1
por su punto medio y
denotamos con I
2
= [c
2
, d
2
] uno de los dos subintervalos de dicha divisin, elegido
con el mismo criterio que se eligi I
1
a partir de los dos subintervalos de I
0
. Como
el conjunto {n N : a
n
[c
2
, d
2
]} es innito podemos elegir n
2
> n
1
de forma
que a
n
2
I
2
. Por induccin se obtiene as una sucesin de intervalos (I
k
)
k
y una
subsucesin (a
n
k
)
kN
de (a
n
)
n
, de modo que:
(1) I
k+1
I
k
, siendo L(I
k
) =
1
2
k1
L(I
0
), donde con L denotamos la longitud del
correspondiente intervalo;
(2) a
n
k
I
k
.
Aplicando la proposicin 2.3.1 a la sucesin (I
k
)
kN
se tiene garantizada la exis-
tencia de z
k
I
k
. Como consecuencia de las dos propiedades anteriores es claro
que z = lm
k
a
n
k
y la prueba est completa.
El teorema de Bolzano-Weierstrass tambin es cierto para C.
Corolario 2.3.5 Cualquier sucesin acotada en C posee una subsucesin conver-
gente.
Anlisis Matemtico I
Demostracin: Sea (z
n
)
nN
una sucesin acotada de complejos y sea z
n
= a
n
+ib
n
donde a
n
y b
n
son nmeros reales. Las sucesiones (a
n
)
nN
y (b
n
)
nN
son acotadas
en R debido a que |a
n
| |z
n
| y |b
n
| |z
n
|. Por tanto, aplicando el teorema de
Bolzano-Weierstrass para R, existe una subsucesin (a
(k)
)
kN
de (a
n
)
nN
conver-
gente a un real, digamos, a. La subsucesin correspondiente de las partes imagina-
rias (b
(k)
)
kN
de (b
n
)
nN
es, obviamente, acotada y por tanto, aplicando de nuevo
el teorema de Bolzano-Weierstrass para R, posee necesariamente una subsucesin
(b
(p)
)
pN
convergente a un nmero real, digamos, b. Sea (a
(p)
)
pN
la sucesin
de las partes reales correspondientes a (b
(p)
)
pN
. Al ser (a
(p)
)
p
una subsucesin
de (a
(k)
)
k
es tambin convergente a a.
Finalmente, de acuerdo con la proposicin 2.3.3, z
(p)
:= a
(p)
+ ib
(p)
es
una subsucesin de (z
n
)
nN
convergente a a + ib.
Corolario 2.3.6 Si una sucesin acotada (a
n
)
nN
en K tiene la propiedad de que
cualquier subsucesin suya que converja tiene por lmite un valor jo a K,
entonces
a = lm
n
a
n
.
Demostracin: Si a no fuera el lmite de la sucesin entonces existira
0
de mo-
do que el complementario de la bola B(a,
0
) contendra una cantidad innita de
puntos de la sucesin (a
n
)
nN
. Por tanto existira una subsucesin de (a
n
)
nN
con-
tenida en el complementario de B(a,
0
) (cmo podra construirse esta sucesin?)
que denotaremos con (b
n
)
nN
.
Como la sucesin (b
n
)
nN
es acotada entonces por el teorema de Bolzano-
Weierstrass poseera una subsucesin (b
n
k
)
kN
que tambin sera subsucesin
de (a
n
)
nN
convergente a un punto, digamos, b. Pero entonces |b a|
0
ya
que |b
n
a|
0
para todo n y esto est en contradiccin con la hiptesis de que
cualquier subsucesin de (a
n
)
nN
que converja tiene lmite a.
2.4. Sucesiones de Cauchy: completitud
El concepto de sucesin de Cauchy es un concepto fundamental del Anlisis
Matemtico que va mucho ms all de los contenidos de este curso. Las sucesiones
de Cauchy son aquellas cuyos trminos estn entre s tan cerca como deseemos con
tal de que prescindamos de una cantidad nita de ellos.
En una sucesin convergente, por denicin, sus trminos estn tan cerca del
lmite como deseemos, con la condicin de prescindir de unos cuantos y, por
tanto, si casi todos estn cerca del lmite tambin estn cerca entre s. O dicho
de manera ms precisa, una sucesin convergente es de Cauchy. En esta seccin
vamos a ver que el recproco tambin es cierto en R y C.
Anlisis Matemtico I
2.4 Sucesiones de Cauchy: completitud 63
Denicin 2.4.1 Una sucesin (a
n
)
nN
en K se dice de Cauchy si para cada > 0
existe un nmero natural n
0
tal que si n, m son nmeros naturales vericando
n
0
n y n
0
m entonces |a
m
a
n
| < .
Utilizando los cuanticadores y conectores lgicos, la denicin anterior se es-
cribe:
> 0 n
0
N n, m N(n n
0
m n
0
= |a
m
a
n
| < )
Ejemplos 2.4.2 Las sucesiones de trminos generales
a
n
=
1
n
y b
n
=
n
k=1
1
k
2
son de Cauchy. En el caso de la sucesin (a
n
)
nN
esto es muy fcil ya que jado
> 0 existe, por la propiedad arquimediana, n
0
N tal que 1/n
0
< /2 y en
consecuencia
|a
n
a
m
| =
1
n

1
m
1
n
1
m
<

2
+

2
= .
Para la sucesin (b
n
)
nN
hay que observar en primer lugar que
1
n 1

1
n
=
1
n(n 1)
>
1
n
2
con lo que, si m > n, se tiene
|b
m
b
n
| =
1
(n + 1)
2
+
1
(n + 2)
2
+ +
1
m
2
_
1
n

1
(n + 1)
_
+
_
1
(n + 1)

1
(n + 2)
_
+ +
_
1
m1

1
m
_
=
1
n

1
m
<
1
n
.
Dado > 0 existe n
0
N tal que 1/n
0
< y en consecuencia si n, m > n
0
se tiene
|b
m
b
n
| < . Esto acaba la prueba de que ambas sucesiones son de Cauchy.
Para probar que una sucesin es convergente es necesario, a tenor de la deni-
cin, tener un candidato a lmite de la misma. El teorema que sigue es bsico,
puesto que establece la posibilidad de demostrar que una sucesin tiene lmite sin
necesidad de disponer del candidato.
Teorema 2.4.3 (Completitud de R y C) Una sucesin en K es convergente si
y slo si es de Cauchy.
Anlisis Matemtico I
Demostracin: En primer lugar vamos a probar que si (a
n
)
nN
es una sucesin
convergente, entonces (a
n
)
nN
es una sucesin de Cauchy. En efecto, llamando a
al lmite de la sucesin, tenemos que: dado > 0 existe n
0
N tal que si n > n
0
se cumple |a
n
a| < /2; por tanto tomando n, m > n
0
se tiene
|a
m
a
n
| = |a
m
a + a a
n
| |a
m
a| +|a a
n
| <

2
+

2
= .
Para probar el recproco comencemos probando que una sucesin de Cauchy es
acotada. En efecto, dado = 1 existe n
0
N tal que si n > n
0
se cumple
|a
n
a
n
0
| < = 1,
de donde siempre que n > n
0
se verica
|a
n
| = |a
n
a
n
0
+ a
n
0
| |a
n
a
n
0
| + |a
n
0
| < 1 +|a
n
0
|
y si llamamos
M := m ax{|a
1
|, |a
2
|, . . . , |a
n
0
|, 1 +|a
n
0
|}
se tiene que para todo n N es |a
n
| M, es decir (a
n
)
nN
es una sucesin acotada.
Ahora aplicando el teorema de Bolzano-Weierstrass (2.3.4 y 2.3.5) sabemos que
la sucesin acotada (a
n
)
nN
posee una subsucesin (a
n
k
)
kN
convergente, digamos
a b. Para acabar, nicamente hemos de probar que b es precisamente el lmite de
la sucesin (a
n
)
nN
. A tal n observemos que, como (a
n
)
nN
es de Cauchy, dado
> 0 existe n
0
N tal que si n, m > n
0
se cumple
|a
n
a
m
| <

2
.
Por otra parte, debido a que lm
k
a
n
k
= b, existe k
0
N de modo que
|a
n
k
b| <

2
siempre que k > k
0
. Tomemos p > m ax{n
0
, k
0
} jo y sea n > p entonces se cumple
|a
n
b| = |a
n
a
np
+ a
np
b| |a
n
a
np
| +|a
np
b| <

2
+

2
= .
Lo que signica que lm
n
a
n
= b, como queramos demostrar.
En la ltima acotacin se ha utilizado que
|a
n
a
np
| <

2
.
Explique detalladamente por qu es cierta esa desigualdad.
Anlisis Matemtico I
2.5 Funciones elementales I: exponencial y logaritmo reales 65
2.5. Funciones elementales I: exponencial y loga-
ritmo reales
El concepto de cuerpo R nos permite hacer uso de las cuatro operaciones b-
sicas: sumar, restar, multiplicar y dividir. En la seccin 1.2.2 hemos introducido
otra operacin: la raz n-sima positiva de un nmero real positivo. En esta seccin
vamos a ocuparnos de otras operaciones (o funciones) bsicas cuyas propiedades
son conocidas de la enseanza media, las exponenciales y los logaritmos, pero sera
necesario cimentar de forma consistente con el desarrollo axiomtico que estamos
realizando. Esto no modicar nuestros usos pero tal vez s nuestra comprensin
del signicado de algo tan familiar como a
b
. Porque... es claro el valor de 2
3
y de
(2)
3
, pero cul es el valor de 2
2
o de (2)
2
?
Aunque no haremos las demostraciones porque requieren un tiempo del que no
disponemos, s esquematizareremos las lneas maestras de la construccin rigurosa.
Quien est interesado puede encontrar los detalles en la pgina 51 y ss. del libro
de Ortega [1].
2.5.1. Exponentes enteros
Cuando a R y n N, con a
n
se denota el producto de a por s mismo n-veces.
Y es bien conocido (y en todo caso, de comprobacin sencilla) que se verican las
siguientes propiedades para n, m N y a, b R
Proposicin 2.5.1
(1) a
n+m
= a
n
a
m
.
(2) (ab)
n
= a
n
b
n
.
(3) (a
n
)
m
= a
nm
.
(4) Si a > 1 y n < m, entonces a
n
< a
m
.
Si a < 1 y n < m, entonces a
n
> a
m
.
(5) Si 0 < a 0, entonces a
n
 b
n
.
La denicin de a
n
puede extenderse para n Z deniendo
a
0
:= 1 y a
n
= 1/a
n
si n es un entero negativo.
Y con esa denicin es sencillo comprobar que la proposicin anterior tambin es
cierta cuando n Z.
Anlisis Matemtico I
2.5.2. Exponentes racionales
En la proposicin 1.2.22 qued dicho que dado un real positivo a y n N
existe un nico real positivo b denotado como
n
b que cumple b
n
= a y que recibe
el nombre de raz n-sima de a. Denimos entonces a
1/n
:=
n
a.
Mas generalmente se dene a
m
n
donde m Z, n N mediante la frmula
a
m
n
:=
n
a
m
.
Es sencillo comprobar que si
p
q
=
m
n
entonces se cumple que
a
m
n
=
n
a
m
=
p
a
p
= a
p
q
,
con lo que queda unvocamente denido a
r
para todo r Q.
Adems esta denicin extiende la anterior para r Z y verica las propiedades
antes enumeradas.
Proposicin 2.5.2 Sean r, s Q y a, b reales estrictamente mayores que cero.
(1) a
r+s
= a
r
a
s
.
(2) (ab)
r
= a
r
b
r
.
(3) (a
r
)
s
= a
rs
.
(4) Si a > 1 y r < s, entonces a
r
< a
s
.
Si 0 < a < 1 y r < s, entonces a
r
> a
s
.
(5) Si 0 < a 0, entonces a
r
 b
r
.
2.5.3. Exponentes reales
Vamos a continuacin a denir a
x
para x R y a > 0. La forma natural de
hacerlo es tomar sucesiones de racionales (r
n
)
nN
con lmite x y denir a
x
como el
lmite de (a
rn
)
nN
, para lo cual es necesario probar que dicho lmite existe y que
no depende de la sucesin (r
n
)
nN
.
As ocurre y eso permite denir
a
x
= lim
n
a
rn
siendo (r
n
)
n
una sucesin de racionales que tiene por lmite x.
Proposicin 2.5.3 Sean a > 0 y x R.
(1) Si (r
n
)
nN
es una sucesin de racionales con lmite x, entonces existe lm
n
a
rn
.
Anlisis Matemtico I
(2) El lmite anterior es independiente de la sucesin (r
n
)
nN
.
Proposicin 2.5.4 Sean x, y R y a, b > 0.
(1) a
x+y
= a
x
a
y
.
(2) (ab)
x
= a
x
b
x
.
(3) (a
x
)
y
= a
xy
.
(4) Si a > 1 y x < y, entonces a
x
< a
y
(la funcin a
x
es creciente si a > 1).
Si 0 < a < 1 y x < y, entonces a
x
> a
y
(a
x
es decreciente si a < 1).
(5) Si 0 < a 0, entonces a
x
 b
x
.
(6) Si (x
n
)
n
converge a x entonces lma
xn
= a
x
.
(7) Si a > 1, para cada k R existe t R tal que x > t implica a
x
> k (a
x
no
est acotada superiormente si a > 1).
Si a < 1 para cada > 0 existe t R tal que x > t implica a
x
< (a
x
tiene nmo 0 si a < 1).
2.5.4. La funcin logaritmo
Proposicin 2.5.5 Si 0 < a = 1 y x > 0 existe un nico y R tal que a
y
= x.
Demostracin: Supongamos a > 1 y consideremos el conjunto denido por
A := {z R : a
z
x}.
Dicho conjunto est acotado superiormente como consecuencia del apartado 7 de
la proposicin 2.5.4. Sea y := sup A. Veamos que se cumple a
y
= x.
En primer lugar, sea (x
n
)
nN
una sucesin de elementos de A que converge a
y = sup A (vase el ejercicio 2.16). Entonces a
xn
x, pues x
n
A, y, de acuerdo
con el apartado 6 de la proposicin 2.5.4, se verica lm
n
a
xn
= a
y
, por tanto es
claro que a
y
x.
Si fuera a
y
< x (reduccin al absurdo), vamos a demostrar que existira > 0
tal que a
y+
< x. En efecto,
a
y+
< x a
<
x
a
y
pero siendo x/a
y
> 1 y lm
n
a
1/n
= 1 necesariamente existe un n N para el que
se cumple
a
1/n
<
x
a
y
Anlisis Matemtico I
y tomando = 1/n se tiene el resultado buscado. Pero la existencia de un tal > 0
contradice la denicin de y como supremo de A.
Supongamos ahora que 0 < a < 1 y pongamos a
:= 1/a > 1 y x
:= 1/x.
Aplicando lo anterior con a
y x
existe un nico y R tal que (a
)
y
= x
, es decir,
(1/a)
y
= 1/a
y
= 1/x
Lo que equivale a a
y
= x.
Denicin 2.5.6 Para a > 0, a = 1, y x > 0, se llama logaritmo en base a de
x al nico nmero real y que satisface la ecuacin a
y
= x. Se escribe log
a
x := y.
Cuando a = e se llama logaritmo neperiano y se denota simplemente con log x.
Proposicin 2.5.7 La funcin logaritmo en base a tiene las siguientes propieda-
des:
(1) Es una funcin estrictamente creciente cuando a > 1, es decir, si 0 < x < y
entonces log
a
x < log
a
y;
Es una funcin estrictamente decreciente cuando a < 1, es decir, si 0 <
x < y entonces log
a
x > log
a
y;
(2) log
a
xy = log
a
x + log
a
y.
(3) log
a
x/y = log
a
x log
a
y.
(4) log
a
x
z
= z log
a
x.
(5) Si lm
n
x
n
= x con x
n
> 0 y x > 0 entonces lm
n
log
a
x
n
= log x.
siendo x, y, z nmeros reales, con x > 0, y > 0.
Demostracin: Comencemos poniendo := log
a
x y := log
a
y, con lo que
x = a
, y = a
.
Si siendo x < y fuera , para a > 1 (el otro caso es anlogo) se tendra
a
= x a
= y
lo cual es absurdo.
Las frmulas xy = a
+
y x/y = a
son consecuencia de las proposiciones

establecidas ya en esta seccin. Y corresponden, de acuerdo con la denicin, a
log
a
xy = + = log
a
x + log
a
y
log
a
x/y = = log
a
x log
a
y
Por otra parte x
z
= (a
)
z
= a
z
o sea log
a
x
z
= z = z log
a
x.
Anlisis Matemtico I
El ltimo apartado requiere un poco ms de cuidado. Queremos demostrar que
lm
n
(log
a
x
n
log
a
x) = 0 que equivale a lm
n
log
a
x
n
x
= 0
y para ello es suciente ver que si (
n
)
nN
es una sucesin tal que
n
> 0 y
lm
n

n
= 1 entonces
lm
n
log
a

n
= 0.
Demostremos esta frmula. Sea
n
:= log
a

n
. Como (
n
)
nN
es acotada y el loga-
ritmo una funcin montona, la sucesin (
n
)
nN
tambin es acotada y aplicando
el teorema de Bolzano-Weierstrass posee subsucesiones convergentes; si todas ellas
tuvieran por lmite 0 habramos probado lo que queremos (vase el corolario 2.3.6).
Pero si (
n
k
)
kN
fuera una subsucesion de (
n
)
nN
convergente a, digamos, , en-
tonces, por el apartado 6 de la proposicin 2.5.4 se tendra
a
= lm
k
a
n
k
= lm
k
n
k
= 1
con lo cual = 0 y la demostracin est completa.
Observacin 2.5.8 Aunque y = log
a
x tiene sentido para cualquier a > 0, en el
desarrollo matemtico suele utilizarse nicamente el logaritmo neperiano log x. La
razn es que los dems slo dieren de ste en un factor de proporcionalidad. En
efecto: si log
a
x = y y log x = z, entonces
a
y
= x = tomando logaritmos y log a = log x = log
a
x =
1
log a
log x
Despus del estudio realizado en esta seccin (y lo que ya habamos hecho con
anterioridad) ya tenemos bien fundamentadas una parte de las llamadas funcio-
nes elementales (en el sentido de elementos bsicos). Si acudimos a nuestros
conocimientos de enseanza media o al teclado de nuestra calculadora, todava
echamos en falta las funciones trigonomtricas (seno, coseno, etc.) para acabar
con la lista de estas funciones elementales, que motivan el ttulo dado a la seccin.
La fundamentacin de stas tendr que esperar hasta el ltimo captulo! Pero sus
propiedades o las relaciones entre ellas sern las mismas que conocemos, y por ello,
en los ejemplos y ejercicios, podremos hacer uso de los conocimientos que tenemos,
a sabiendas de que sern justicados ms adelante. Olvidarnos de ellas hasta ese
momento empobrecera nuestro conocimiento sobre la utilidad de las herramientas
que iremos desarrollando.
Anlisis Matemtico I
En la imagen puede verse el aspecto de las grcas de las funciones y = 2
x
e
y = (0.5)
x
en el intervalo [5, 5] dibujadas con Gnuplot (observe que la escala
no es la misma en los dos ejes)
0
5
10
15
20
25
30
35
-4 -2 0 2 4
(0.5)
x
2
x
Maxima slo conoce la funcin logaritmo neperiano, cuya grca, en el inter-
valo [0, 50], aparece en la imagen ms abajo, as como el comando usado para
construirla.
plot2d(log(x),[x,0,50],[y,-3,4], [gnuplot_preamble,"set key left top"]);
-3
-2
-1
0
1
2
3
4
0 10 20 30 40 50
log x
2.6. Lmites innitos
Hasta este punto el lmite de una sucesin ha sido siempre un nmero, un
elemento de K. Pero es conveniente extender el concepto para permitir que el
lmite de una sucesin de nmeros reales sea un smbolo llamado innito y denotado
con .
Denicin 2.6.1
n
)
nN
de nmeros reales tiene por lmite ms
innito, y se escribe lm
n
a
n
= +, si para cada M > 0 existe un nmero
natural n
0
tal que a
n
> M si n > n
0
.
n
)
nN
de nmeros reales tiene por lmite menos
Anlisis Matemtico I
2.6 Lmites innitos 71
innito, y se escribe lm
n
a
n
= , si para cada M < 0 existe un nmero
natural n
0
tal que a
n
< M si n > n
0
.
Los resultados de la proposicin 2.1.9 se extienden en el siguiente sentido:
(1) Si lm
n
a
n
= (resp. ) y lm
n
b
n
= (resp. ) entonces
lm
n
(a
n
+ b
n
) = (resp. ).
(2) Si lm
n
a
n
= + y lm
n
b
n
= b = 0 entonces
lm
n
a
n
b
n
= + o lm
n
a
n
b
n
=
segn que b sea positivo o negativo.
(3) Si lm
n
a
n
= + y lm
n
b
n
= + (resp. ) entonces lm
n
a
n
b
n
= (resp.
).
(4) Si lm
n
a
n
= a R y lm
n
b
n
= entonces lm
n
a
n
/b
n
= 0.
En smbolos:
a + () = a (+) = a () = +
(+) + (+) = (+) () + () = ()
a (+) = + si a > 0 a () = si a > 0
a (+) = si a < 0 a () = + si a < 0
(+) (+) = + () () = + (+) () = ()
a
= 0
En cambio nada puede saberse con carcter general sobre:
lm
n
(a
n
+ b
n
) si lm
n
a
n
= +, lm
n
b
n
=
lm
n
a
n
b
n
si lm
n
a
n
= , lm
n
b
n
= 0
lm
n
a
n
/b
n
si lm
n
a
n
= , lm
n
b
n
=
lm
n
a
n
/b
n
si lm
n
a
n
= 0, lm
n
b
n
= 0
Es decir, el resultado depende de las sucesiones concretas. Por ejemplo, y slo
como ilustracin, si a
n
= n y b
n
= n, se verica lm
n
a
n
= + y lm
n
b
n
=
y lm
n
(a
n
+ b
n
) = 0; pero si hubiera sido b
n
= n + 1 entonces el resultado sera
lm
n
(a
n
+ b
n
) = 1. El lector puede buscar ejemplos similares en los otros casos
(vase el ejercicio 6).
Otros resultados generales son:
(1) Si lm
n
a
n
= + y lmb
n
= + (resp. ) entonces lm
n
a
bn
n
= +
(resp. 0).
Anlisis Matemtico I
(2) Si lm
n
a
n
= 0 (con a
n
> 0, para todo n) y lmb
n
= + entonces lm
n
a
bn
n
=
0.
En cambio nada puede saberse con carcter general sobre:
lm
n
a
bn
n
si lm
n
a
n
= 0, lm
n
b
n
= 0
lm
n
a
bn
n
si lm
n
a
n
= , lm
n
b
n
= 0
lm
n
a
bn
n
si lm
n
a
n
= 1, lm
n
b
n
=
Esas situaciones en las que no se puede obtener una conclusin general se
formulan, habitualmente, diciendo que , 0, /, 0/0, 0
0
,
0
y 1
son indeterminaciones, lo que signica que nada puede anticiparse sobre lo que
pasar para sucesiones arbitrarias. Pero cuando se trate de sucesiones concretas, las
operaciones de suma, producto, cociente, potencia,... pueden realizarse y por tanto
podemos ver qu ocurre con la sucesin, es decir, la indeterminacin desaparece.
Aunque parezcan muy distintas, todas las indeterminaciones anteriores son
equivalentes, en el sentido de que es posible transformar unas en otras. Por
ejemplo, 0 puede ser transformada en 0/0. En efecto, si lm
n
a
n
= y
lm
n
b
n
= 0 entonces
a
n
b
n
=
b
n
1/a
n
=
b
n
c
n
siendo c
n
= 1/a
n
y lm
n
c
n
= 0. Haga algo similar para los dems casos y convnzase
de que todas son equivalentes entre s. Para el caso de las potencias tomar logaritmos
ayuda.
2.7. Algunas sucesiones notables. Jerarqua de
sucesiones divergentes
En captulos posteriores, particularmente en el 4, desarrollaremos herramientas
muy tiles para calcular lmites. Pero calcular lmites no es tarea sencilla y en
muchas ocasiones lo ms que se puede hacer, y ya es bastante, es demostrar que
una determinada sucesin tiene lmite: el caso del lmite de una sucesin tan simple
como (1 + (1/n))
n
, que analizamos en el corolario 2.2.4, es signicativo, hemos
tenido que inventar un smbolo para escribir ese lmite!
En esta ltima seccin estableceremos una jerarqua entre los diferentes tama-
os de innito. Adems calcularemos los lmites de ciertas sucesiones concretas,
pero muy interesantes.
Proposicin 2.7.1
(1) lm
n
n
1/n
= 1.
(2) Si lm
n
x
n
= entonces lm
n
_
1 +
1
x
n
_
xn
= e.
Anlisis Matemtico I
2.7 Algunas sucesiones notables. Jerarqua de sucesiones divergentes 73
(3) Si lm
n
x
n
= + entonces lm
n
_
1
1
x
n
_
xn
= e
1
.
(4) Si existe lm
n
z
n+1
z
n
= w R con |w| < 1, entonces lm
n
z
n
= 0.
Demostracin:
(1) Sea (b
n
)
n
:= n
1/n
1 0. Entonces
n = (1 + b
n
)
n
>
n(n 1)
2!
b
2
n
y, por tanto, lm
n
b
n
= 0, es decir lm
n
n
1/n
= 1, usando, de nuevo, la regla
del sandwich.
(2) Para el caso particular en que x
n
= n la armacin es cierta, segn el coro-
lario 2.2.4. En particular, dado > 0, existe n
0
tal que para todo n N, con
n n
0
, se verica
_
1 +
1
n
_
n
e
<
Observemos que tambin podemos armar que existe n
1
tal que si n n
1
,
entonces:
_
1 +
1
n + 1
_
n
e
< y
_
1 +
1
n
_
n+1
e
<
Para una sucesin arbitraria (x
n
)
n
tal que lm
n
x
n
= +, consideremos
la sucesin ([x
n
])
n
, entonces: existe n
2
N tal que si n n
2
se verica
[x
n
] n
1
; por tanto, si n n
2
se tiene
_
1 +
1
[x
n
] + 1
_
[xn]
e
< y
_
1 +
1
[x
n
]
_
[xn]+1
e
<
es decir,
lm
n
_
1 +
1
[x
n
] + 1
_
[xn]
= lm
n
_
1 +
1
[x
n
]
_
[xn]+1
= e
Ahora la conclusin buscada se obtiene de la cadena de desigualdades:
_
1 +
1
[x
n
] + 1
_
[xn]
_
1 +
1
x
n
_
xn
_
1 +
1
[x
n
]
_
xn
_
1 +
1
[x
n
]
_
[xn]+1
cada una de las cuales es obvia, y de la regla del sandwich.
El caso lm
n
x
n
= puede demostrarse fcilmente aplicando el apartado
que sigue y haciendo un cambio de variable.
Anlisis Matemtico I
(3) Se obtiene fcilmente apoyndose en el resultado anterior y en la siguiente
cadena de igualdades.
_
1
1
x
n
_
xn
=
_
x
n
x
n
1
_
xn
=
1
_
1 +
1
xn1
_
xn
.
(4) Por la denicin de lmite se tendra garantizado que existen 0 < a < 1 y n
0
tales que si n n
0
, entonces
z
n+1
z
n
< a < 1.
En particular
|z
n
0
+1
| < |z
n
0
|a
|z
n
0
+2
| < |z
n
0
+1
|a < |z
n
0
|a
2
. . . . . .
|z
n
0
+k
| < |z
n
0
|a
k
y como lm
n
a
n
= 0 (a < 1) se tiene lm
n
|z
n
| = 0 y por tanto lm
n
z
n
= 0.
Este ltimo apartado es la pieza clave en la prueba del corolario que sigue.
Denicin 2.7.2 Si (a
n
)
nN
y (b
n
)
nN
son sucesiones con lmite diremos que
(a
n
)
nN
es un innito de orden superior a (b
n
)
nN
y escribimos b
n
a
n
si
lm
n
a
n
b
n
= .
Si existen constantes positivas y tales que 0 <
a
n
b
n
para n > n
0
se
dice que ambas sucesiones tienen el mismo orden de innitud. Y si adems
lm
n
a
n
b
n
= 1
se dice que ambas sucesiones son equivalentes.
Los rdenes fundamentales de innitud quedan reejados a continuacin.
Corolario 2.7.3 Si b > 0, c > 1 y d > 0 son nmeros reales se tiene
log n n
b
c
n
n
dn
.
Adems, si d 1 entonces
c
n
n! n
dn
.
Anlisis Matemtico I
2.8 Representacin decimal de los nmeros reales 75
Demostracin: Todas, salvo la primera, son consecuencia directa del ltimo
apartado de la proposicin 2.7.1. Por ejemplo, para demostrar la armacin n
b
c
n
, tomemos z
n
:=
n
b
c
n
, entonces:
lm
n
z
n+1
z
n
= lm
n
(n + 1)
b
c
n
n
b
c
n+1
= lm
n
_
1 +
1
n
_
b
1
c
=
1
c
< 1
de donde se deduce que lm
n
z
n
= 0.
Para demostrar que log n n
b
, si b > 0, tomamos inicialmente b = 1 y tenemos
en cuenta que log n = M log
10
n. Si 10
k1
n < 10
k
es claro que 0
log
10
n
n

k
10
k1
= 10
k
10
k
. Aplicando el ltimo apartado de la proposicin anterior a la sucesin
z
n
=
n
10
n
y la regla del sandwich se obtiene el resultado.
Para b > 1 el resultado es consecuencia de lo que acabamos de hacer y de que
n < n
b
.
Si b < 1 tomemos m N de modo que
1
m
< b. Para cada n N existe k N
tal que (k 1)
m
n < k
m
; adems si n tiende a +, k tiende tambin a +.
Ahora, puesto que
0 <
log
10
n
n
b

log
10
n
m
n

mlog
10
k
k 1
,
y hemos probado anteriormente que lm
k
(log
10
k)/k = 0, se obtiene que, tambin
en este caso, lm
n
log n/n
b
= 0.
En lugar de una demostracin abstracta experimentaremos con Maxima para
comparar el orden de magnitud de las sucesiones. Las listas con los valores de
las sucesiones, el grsmo y el comando limit son las herramientas adecuadas.
2.8. Representacin decimal de los nmeros reales
Al comienzo del captulo 1 fueron introducidos los reales de forma axiomtica,
pero, como sealbamos en la seccin 1.2.3, los elementos de R (que no pertenecen
a Q) son objetos abstractos, carecen de una representacin numrica concreta. El
objetivo de esta seccin es asignarles una representacin decimal.
A tal n conviene recordar el clculo de la suma de los trminos de una pro-
gresin geomtrica, realizado en el ejemplo 8 de 2.1.3.
Proposicin 2.8.1 (Representacin decimal) Sea x 0 un nmero real.
(1) Existe una nica sucesin de nmeros enteros (a
n
)
n
que verica las siguientes
propiedades
a) a
0
0 y 0 a
n
9, para todo n 1
Anlisis Matemtico I
b) para cada n N
a
0
, a
1
a
2
. . . a
n
x < a
0
, a
1
a
2
. . . a
n
+
1
10
n
(2.1)
donde
a
0
, a
1
a
2
. . . a
n
:=
n
k=0
a
k
1
10
k
recibe el nombre de nmero decimal nito;
c) en esta sucesin no todos los trminos son 9 a partir de un cierto lugar.
(2) Recprocamente, dada una sucesin de nmeros naturales (a
n
) con
0 a
n
9 para n > 0,
tales que en esta sucesin no todos los trminos son 9 a partir de un cierto
lugar, existe un nico real x 0 que cumple las relaciones 2.1 para todo n.
Diremos que la expresin a
0
, a
1
a
2
. . . a
n
. . . es la representacin decimal del
nmero real x. El nmero a
0
es la parte entera de x y se verica
x = sup{a
0
, a
1
a
2
. . . a
n
: n N}.
Demostracin: El directo lo demostraremos por induccin sobre n en la frmula
(2.1). Para n = 0 basta tomar a
0
:= [x].
Supongamos que se han encontrado a
0
, a
1
, . . . , a
k
de forma que se verica la
frmula (2.1) para n = k. Vamos a encontrar a
k+1
de manera que la frmula (2.1)
valga para n = k + 1. Para ello multiplicamos la frmula correspondiente a n = k
por 10
k+1
; as, tomando
a
k+1
:= [10
k+1
x 10
k+1
a
0
, a
1
a
2
. . . a
n
] = [10
k+1
x (a
0
10
k+1
+ a
1
10
k
+ + a
k
10)]
se obtiene el resultado buscado, ya que como,
10
k+1
(a
0
, a
1
. . . a
k
) 10
k+1
x < 10
k+1
(a
0
, a
1
. . . a
k
) + 10
se tiene 0 a
k+1
9. Esto prueba la existencia de la representacin decimal.
La unicidad se obtiene por induccin a partir de la frmula (2.1). En efecto,
de dicha frmula se obtiene que a
0
= [x], y supuesto que se han determinado de
manera unvoca a
0
, a
1
, . . . a
n1
, de
a
0
10
n
+ a
1
10
n1
+ + a
n
10
n
x < a
0
10
n
+ a
1
10
n1
+ + a
n
+ 1
se tiene que
a
n
10
n
x (a
0
10
n
+ a
1
10
n1
+ + a
n
) < a
n
+ 1
Anlisis Matemtico I
y por tanto
a
n
= [10
n
x (a
0
10
n
+ a
1
10
n1
+ + a
n
)].
Para acabar el directo, resta probar que no puede ser a
n
= 9 para n > n
0
y
a
n
0
< 9. Si as fuera, se tendra
a
0
+
a
1
10
+ +
a
n
0
10
n
0
+
9
10
n
0
+1
+
9
10
n
0
+2
+ +
9
10
n
0
+h
x
para todo h N y por tanto, sumando la progresin geomtrica,
a
0
+
a
1
10
+ +
a
n
0
+ 1
10
n
0
x
lo que contradice la denicin de a
n
0
.
La demostracin del recproco es ms simple. Dada una sucesin a
n
con a
n
entero y 0 a
n
9 si n > 0, es inmediato que el conjunto
A = {a
0
, a
1
a
2
. . . a
n
: n N}
est acotado superiormente por a
0
+1, con lo que denotando con x el supremo de
dicho conjunto se tiene que cada n N es a
0
, a
1
a
2
. . . a
n
x a
0
+ 1. Pero, de
hecho, como no todos los a
n
pueden ser 9 a partir de un momento, es fcil deducir
que x < a
0
+ 1. Razonando de forma similar es fcil darse cuenta de que, adems
de a
0
+ 1, tambin son cotas superiores de A los nmeros
a
0
, a
1
a
2
. . . a
n
+ 1/10
n
cualquiera que sea el entero n > 0 por lo que
x a
0
, a
1
a
2
. . . a
n
+
1
10
n
,
pero de hecho, razonando como antes, se tiene de forma ms precisa que
x < a
0
, a
1
a
2
. . . a
n
+
1
10
n
.
En otras palabras, la frmula (2.1) es vlida.
Obviamente, el papel especco que juega el nmero 10 y sus potencias en la
proposicin anterior puede ser desempeado por cualquier otro nmero natural
distinto de 1. En particular para el nmero natural 2, recibe el nombre de repre-
sentacin didica de los nmeros reales y permite denir a stos como nmeros
decimales (innitos) con las cifras 0 y 1.
Anlisis Matemtico I
Representacin decimal de los racionales.
Una vez probado que a cada nmero real positivo le corresponde una nica
representacin decimal innita, en las condiciones precisadas en la proposicin
anterior, y que cada expresin decimal innita determina un nico nmero real
positivo es natural plantearse la cuestin cmo pueden identicarse los nmeros
racionales a travs de sus representaciones decimales? En primer lugar es claro que
un nmero decimal nito (es decir, un nmero decimal innito en el que a partir
de un momento todos los decimales son 0) determina un nmero racional. Pero
no todos los nmeros racionales son as. Piense, por ejemplo, en 1/3 y 1/7 cuyas
representaciones decimales son, respectivamente 0, 3333 . . . y 0, 142857142857 . . .
Maxima puede obtener expresiones decimales de nmeros reales con el n-
mero de decimales que desee. La expresin decimal de 1/7 se obtuvo con el
comando 1/7,numer; Experimente con nmeros racionales como, por ejem-
plo, 4/21, 1/57, 1/13, 1/23 . . . hasta llegar a conjeturar que, siempre, antes o despus,
acaba producindose un grupo de decimales que se repite peridicamente (es lo que
se conoce con el nombre de representacin decimal peridica). Si necesita ms cifras
decimales puede conseguirlas con una sentencia del tipo
fpprec:40 $ bfloat(1/23);
Experimente luego con nmeros irracionales, como

2,
3 . . . qu ocurre?
Despus de esa experimentacin seguramente la siguiente armacin le parecer
natural.
Proposicin 2.8.2 Un nmero real positivo es racional si y slo si tiene una
representacin decimal peridica.
La demostracin de la proposicin anterior est a su alcance, trate de rea-
lizarla! Dos pistas: 1) Intente descubrir la causa de que una fraccin acabe
generando siempre un periodo que se repite. Si el denominador es n, cul es
el nmero mximo de cifras del periodo? 2) Si tenemos una expresin decimal
peridica, corriendo la coma convenientemente (lo que signica multiplicar por alguna
potencia de 10) y restando puede obtener una expresin decimal nita; eso le permitir
escribir los decimales peridicos como fracciones.
La proposicin 2.8.1 aclara que un nmero real x > 0 que tenga una represen-
tacin decimal innita a
0
, a
1
a
2
. . . a
n
. . . est en el interior del intervalo cerrado de
extremos
a
0
, a
1
a
2
. . . a
n
y a
0
, a
1
a
2
. . . a
n
+
1
10
n
para todo n N, por tanto en la recta se le asocia el nico punto que est en la
interseccin de todos esos segmentos de la recta. Recprocamente, dado un punto
P cualquiera de la recta, situado a la derecha de 0 pueden suceder dos cosas: 1)
que se trate de uno de los puntos que se obtienen en alguna etapa del proceso
de divisin progresiva de los segmentos en diez partes iguales, en cuyo caso tiene
Anlisis Matemtico I
asociado unvocamente un nmero real con representacin decimal nita; 2) que
no sea uno de tales puntos, en cuyo caso, debido a que la separacin entre puntos
contiguos en la etapa n es de 1/10
n
debera tener asociado un nmero real x que
cumpliera
a
0
, a
1
a
2
. . . a
n
< x < a
0
, a
1
a
2
. . . a
n
+ 1/10
n
(2.2)
supuesto que a
0
, a
1
a
2
. . . a
n
es el nmero decimal que corresponde al extremo in-
ferior del intervalo que contiene a P en dicha etapa. Pero como esto es as para
todo n, aplicando de nuevo la proposicin 2.8.1 el punto P tiene asociado el nico
nmero real x que cumple las acotaciones 2.2 para todo n.
Anlisis Matemtico I
2.9. Ejercicios
Resueltos
2.9.1 Con la axiomtica que hemos empleado para R hemos podido demostrar la
propiedad arquimediana y el principio de Cantor de los intervalos encajados
utilizando la existencia de supremo en los conjuntos acotados. Pruebe que,
recprocamente, si tenemos un cuerpo totalmente ordenado en el que la pro-
piedad arquimediana y el principio de Cantor de los intervalos encajados son
ciertos, entonces cualquier conjunto acotado superiormente A tiene supremo.
Solucin: Sea A un conjunto no vaco acotado superiormente. Queremos ver
que tiene supremo. Sea K una cota superior de A. Sin prdida de generalidad
podemos suponer que K1 no es cota superior (si lo fuera cambiaramos K
por K1 repitiendo el proceso en caso necesario). Sea K1 < a
1
b
1
= K
con a
1
A. Tomemos el punto medio m
1
del intervalo I
1
:= [a
1
, b
1
]. Si m
1
es
cota superior de A denimos a
2
:= a
1
y b
2
= m
1
. Si m
1
no es cota superior de
A existe a
2
A con m
1
< a
2
< b
1
y entonces denimos b
2
:= b
1
. En ambos
casos el intervalo I
2
:= [a
2
, b
2
] est contenido en I
1
y su longitud es menor o
igual que 1/2 de la longitud de I
1
. Procediendo recursivamente construimos
una sucesin de intervalos encajados [a
n
, b
n
] siendo a
n
A y b
n
cota superior
de A y longitud de I
n
menor o igual que (1/2)
n1
veces la longitud de I
1
, con
lo que, por la propiedad arquimediana dicha longitud tiende a cero. Entonces,
por el principio de encaje de Cantor

n
I
n
posee un nico elemento, digamos
n
I
n
=: {}.
Armamos que = sup A, lo cual requiere probar dos cosas:
(1) es cota superior de A. En efecto, si para algn a A fuese < a
entonces habra de ser b
n
< a para algn n ya que en caso contrario se
tendra a b
n
para todo n, de donde se llegara a
0 < a b
n

lo cual es absurdo puesto que = lm
n
b
n
. Pero, por otra parte, al ser
b
n
cota superior de A se tiene a b
n
, lo cual es tambin contradictorio.
En consecuencia es cota superior de A.
(2) es la menor cota superior de A. En efecto si < fuese cota superior
de A se tendra a
n
< y por tanto tomando lmites < lo
cual es absurdo.
Resumiendo, la propiedad de que los conjuntos acotados superiormente po-
seen supremo es equivalente a que se veriquen la propiedad arquimediana
y el principio de encaje de Cantor.
Anlisis Matemtico I
2.9 Ejercicios 81
2.9.2 Una sucesin (a
n
)
n
se dice que es contractiva si existe 0 < c < 1 tal que
para todo n N se verica |a
n+1
a
n
| c|a
n
a
n1
|. Demuestre que las
sucesiones contractivas son de Cauchy.
Solucin: Sea m > n entonces haciendo uso de la desigualdad triangular y
de la estimacin |a
n+1
a
n
| c|a
n
a
n1
| se tiene
|a
n
a
m
| |a
n
a
n+1
| +|a
n+1
a
n+2
| + +|a
m1
a
m
|
|a
n
a
n+1
|(1 + c + c
2
+ + c
mn
) [progresin geomtrica]
= |a
n
a
n+1
|
1 c
mn+1
1 c
|a
n
a
n+1
|
1
1 c
Por otra parte |a
2
a
3
| c|a
1
a
2
|, |a
3
a
4
| c|a
2
a
3
| c
2
|a
1
a
2
| y en
general es sencillo obtener por induccin que
|a
n
a
n+1
| c
n1
|a
1
a
2
|
de donde se tiene
|a
n
a
m
| c
n1
|a
1
a
2
|
1 c
siempre que m > n.
Como lm
n
c
n
= 0, jado > 0 existe n
0
N tal que si n
0
n se tiene
c
n
<
1 c
|a
1
a
2
|
y por tanto
|a
n
a
m
| c
n1
|a
1
a
2
|
1 c
<
|a
1
a
2
|
1 c
1 c
|a
1
a
2
|
=
siempre que n, m > n
0
+ 1. As pues (a
n
)
n
es de Cauchy.
2.9.3 Demuestre que para cualquier sucesin (x
n
)
nN
de nmeros reales que con-
verja hacia 0, siendo |x
n
| < 1 y x
n
= 0, se cumple
lm
n
log(1 + x
n
)
x
n
= 1, lm
n
e
xn
1
x
n
= 1. (2.3)
Aplique lo anterior para probar que si lm
n
(x
n
) = 1 y lm
n
y
n
= + entonces
lm
n
(x
n
)
yn
= e
lmn yn(xn1)
(2.4)
supuesto que el segundo lmite exista.
Anlisis Matemtico I
Solucin: Comencemos por el primero de los lmites de (2.3) y supongamos
que 0 < x
n
< 1 para todo n. Se tiene
lm
n
log(1 + x
n
)
x
n
= lm
n
log (1 + x
n
)
1/xn
= lm
n
log
_
1 +
1
y
n
_
yn
[haciendo 1/x
n
= y
n
]
= log lm
n
_
1 +
1
y
n
_
yn
[usando la prop. 2.5.7 ]
= log e = 1 [usando la prop. 2.7.1]
Cuando 0 > x
n
> 1 la prueba es idntica (en esta situacin lm
n
y
n
= ).
Para el caso general en el 1 < x
n
< 1 los trminos de la sucesin se reparten
en dos sucesiones disjuntas, una, (x
n
)
n
, que contenga los trminos positivos
y la otra, (x
n
)
n
, los negativos. Entonces puesto que
lm
n
log(1 + x
n
)
x
n
= 1, lm
n
log(1 + x
n
)
x
n
= 1
se llega a la conclusin de que
lm
n
log(1 + x
n
)
x
n
= 1.
El segundo lmite de la frmula (2.3) puede reducirse al primero mediante el
cambio de variable y
n
= e
xn
1 ya que entonces
lm
n
e
xn
1
x
n
= lm
n
y
n
log(1 + y
n
)
= 1
puesto que lm
n
y
n
= 0.
Pasemos a la aplicacin. Como
(x
n
)
yn
= e
yn log xn
= e
yn log(1+(xn1))
usando la proposicin 2.5.4 se tiene
lm
n
(x
n
)
yn
= e
lmn yn log(1+(xn1))
supuesto que este segundo lmite exista. Pero sabemos que
lm
n
y
n
log(1 + (x
n
1)) = lm
n
y
n
(x
n
1)
log(1 + (x
n
1))
(x
n
1)
= lm
n
y
n
(x
n
1)
ya que lm
n
(x
n
1) = 0. Se tiene as probada la frmula (2.3).
Anlisis Matemtico I
2.9 Ejercicios 83
2.9.4 Estudie el lmite de la sucesin (s
n
)
nN
cuyos trminos son:
H
1
= 1, H
2
= 1 +1/2, H
3
= 1 +1/2 +1/3, . . . H
n
= 1 +1/2 +1/3 + +1/n
Solucin: Esta sucesin es conocida como la serie armnica (en ingls
Harmonic).
Es claro que se trata de una sucesin montona creciente. En consecuencia
o est acotada superiormente, en cuyo caso tiene por lmite un nmero real
(proposicin 2.2.2), o no lo est, en cuyo caso su lmite es +. Cmo
determinar cul de los dos casos se da? El primer caso se da si y slo si la
sucesin es de Cauchy (teorema 2.4.3). Por tanto el lmite ser + si y slo
si la sucesin no es de Cauchy, que es lo que ocurre como vamos a ver.
Recordemos que una sucesin es de Cauchy si para cada > 0 existe un
n
0
N tal que siempre que n, m n
0
se cumple |H
n
H
m
| < . Por tanto,
negar que la sucesin es de Cauchy signica demostrar que hay al menos un
0
> 0 de manera que para cada n
0
que tomemos siempre existen nmeros
n, m n
0
de modo que
|H
n
H
m
|
0
.
Veamos que tomando
0
= 1/2 se cumple la ltima desigualdad para ciertos
n, m n
0
cualquiera que sea el n
0
elegido. Tomemos n = n
0
y hagamos
m = n
0
+ k para cierto k N que luego determinaremos. Entonces
|H
n
H
m
| =
1
n
0
+ 1
+
1
n
0
+ 2
+
1
n
0
+ 3
+ +
1
n
0
+ k

k
n
0
+ k
y si la sucesin fuera de Cauchy habra de ser
k
n
0
+ k
|H
n
H
m
| < 1/2
para todo k, pero eso es imposible puesto que lm
k
k
n
0
+ k
= 1.
Conseguido nuestro objetivo, queremos advertir al lector que este resulta-
do no debe hacerle llegar a la conclusin de que una suma con innitos
sumandos da siempre como resultado . Por ejemplo, la sucesin
s
n
= 1/2 + 1/2
2
+ 1/2
3
+ 1/2
4
+ + 1/2
n
tiene por lmite 1 (es la suma de una progresin geomtrica innita).
Anlisis Matemtico I
A Maxima le han dicho cual es el lmite de esta sucesin (H
n
)
nN
. Pero a
pesar de que en las frmulas para Maxima no podemos escribir los puntos
suspensivos . . . que contiene la frmula de H
n
, y por ello no podemos usar el
comando limit, s podemos hacer uso de un comando que hace sumas. Por ejemplo,
sum(1/n, n, 1, 100);
sum(1/n, n, 1, 100),numer;
permiten calcular el valor de H
100
de forma exacta como fraccin, o en forma decimal
aproximada, respectivamente. El lmite de (H
n
)
nN
se obtiene mediante
sum(1/n, n, 1, inf),simpsum;
Aqu inf denota a , como puede suponerse, y simpsum es un parmetro tcnico que
viene a signicar algo as como simplica la suma. Pero cuidado! no debe pensarse
que Maxima sabe hacer cualquier suma innita... los humanos no somos capaces de
hacerlo!
2.9.5 Calcule el siguiente lmite, donde suponemos que a, b y c son constantes
positivas.
lm
n
_
n
3
log((n + a)(n + b)(n + c)) log n
n
_
.
Solucin: Puesto que
_
n
3
log((n + a)(n + b)(n + c)) log n
n
_
=
n
3
log
(n + a)(n + b)(n + c)
n
3
=
=
1
3
_
nlog
_
1 +
a
n
_
+ nlog
_
1 +
b
n
_
+ nlog
_
1 +
c
n
_
_
hemos de calcular lm
n
nlog(1 + a/n) (tambin para b y c). Pero usando el
ejercicio 3 de esta misma seccin se tiene
lm
n
nlog(1 + a/n) = lm
n
n
a
n
log(1 + a/n)
a/n
= a
En consecuencia el lmite buscado es (a + b + c)/3.
El lmite anterior sirve para mostrar que Maxima puede calcular algunos
lmites de sucesiones que dependan de parmetros (a, b, c en nuestro caso).
As ante el comando
limit( (1/3)*n*log( (n+a)*(n+b)*(n+c) ) - log (n^n),n,inf );
Maxima pregunta sucesivamente en tres ocasiones si a, b y c son positivos o negativos;
respondiendo en cada ocasin con
positive;
proporciona nalmente que el valor del lmite es (a + b + c)/3.
2.9.6 Sea (c
n
)
nN
una sucesin arbitraria. Pruebe que existen sucesiones (a
n
)
nN
y (b
n
)
nN
(b
n
= 0) tales que lm
n
a
n
= 0 = lm
n
b
n
y c
n
= a
n
/b
n
.
Anlisis Matemtico I
2.9 Ejercicios 85
Solucin: Basta tomar a
n
=
c
n
c
2
n
+ n
2
y b
n
=
1
c
2
n
+ n
2
y observar que
|a
n
| =
|c
n
|
c
2
n
+ n
2

1
2n
, b
n

1
n
2
para obtener el resultado.
Anlisis Matemtico I
Ejercicios propuestos
2.1) Demuestre, aplicando las deniciones correspondientes, que la sucesin de
termino general x
n
=
5n 3
2n 1
converge hacia 5/2.
2.2) Utilizando el concepto de lmite resuelva las siguientes cuestiones
a) Una sucesin es convergente y sus trminos son alternativamente, posi-
tivos y negativos. Cual es su limite? Razone la respuesta.
b) Pruebe que si
lm
n
x
n
= lm
n
y
n
= ,
la sucesin x
1
, y
1
, x
2
, y
2
, . . . , x
n
, y
n
, . . . tambin tiene limite .
2.3) Pruebe que lmx
n
= a equivale a lmz
n
= 0, siendo z
n
= |x
n
a|.
2.4) Sea (x
n
)
n
una sucesin de nmeros reales o complejos tales que existe el
lmite de las subsucesiones (x
2n
)
n
, (x
2n+1
)
n
,
a) Existe lmx
n
?
b) Si adems lmx
3n
, existe lmx
n
?
2.5) Si a > 0 tomamos x
1
>

a y denimos la sucesin recurrente (x
n
)
nN
mediante la frmula
x
n+1
=
1
2
_
x
n
+
a
x
n
_
a) Demuestre que (x
n
)
nN
es una sucesin montona decreciente y que
lm
n
x
n
=

a.
b) Sea
n
:= x
n
a. Demuestre que
n+1
=

2
n
2x
n
<

2
n
2
a
y en consecuencia que
n+1
<
_
_
2
n
, n = 1, 2, 3 . . .
en donde := 2
a.
c) La sucesin (x
n
)
n
proporciona un buen procedimiento para calcular
aproximaciones decimales de una raz cuadrada. Por ejemplo, tome a =
3 y x
1
= 2 y calcule el una estimacin para
5
, es decir, el error mximo
que se comete al tomar el trmino x
5
como aproximacin de
3 cuantas
cifras exactas proporciona x
7
?
Anlisis Matemtico I
2.9 Ejercicios 87
2.6) Sea (x
n
)
n
la sucesin que tiene por trminos
1,
1
1 + 1
,
1
1 +
1
1+1
,
1
1 +
1
1+
1
1+1
,
1
1 +
1
1+
1
1+
1
1+1
, . . .
a) Encuentre una frmula recurrente para los trminos x
n
, de la forma
x
n+1
= f(x
n
).
b) Calcule el lmite de la sucesin.
Indicacin: estudie por separado la subsucesin de los ndices pares e im-
pares.
2.7) Si x
n+1
= 1

1 x
n
, para n 1 y 0 < x
1
< 1. Pruebe que x
n
es una
sucesin decreciente con limite 0. Pruebe tambin que
x
n+1
x
n
converge hacia
1/2.
2.8) Calcule los siguientes lmites:
Maxima puede ayudarle a obtener los resultados.
a) lm
n
3+6++3n
n
2
b) lm
n
4
n+1
+7
n+1
4
n
+7
n
c) lm
n
(
4n
2
1 (2n 1))
d) lm
n
n
n
n1
log n
e) lm
n
(
_
n
2
+ n
3
2
+ 1
_
n
2
n
3
2
1)
f) lm
n
n(
n+2n+1)
n
2
+3
g) lm
n
(4n2)(3n+1)(2n5)
2
n
2
(2n+3)(3n1)
h) lm
n
3
3
44
5
n
2
3
n3(4
5
n)
i) lm
n
n
_
n+
n+
n
j) lm
n
(
n
n
n
a)
n
k) lm
n
3n
n
3
1
l) lm
n
(
n3
n+1
)
n
m) lm
n+
(
1+nlog n
nlog n
)
n
n) lm
n
(n
2
+ n)
1
n+2
) lm
n
(2 + n
2
)
1
log n
Anlisis Matemtico I
o) lm
n
(
log(n+a)
log n
)
nlog n
2.9) Estudie si son de Cauchy las siguientes sucesiones
a) a
n
=
3n
3
+2n+1
n
3
+2
;
b) b
n
=
(1)
n
n
+
1+(1)
n
2
;
c) c
n
=
sen 1
2
+
sen 2
2
2
+ +
sen n
2
n
.
2.10) Analice la convergencia de la sucesin (s
n
)
nN
denida por la frmula
s
n
= 1 + 1/2
2
+ 1/3
2
+ 1/4
2
+ + 1/n
2
Sugerencia: Compare con el ejercicio 4 de la pgina 83 y tenga en cuenta
la siguiente desigualdad
1
n 1

1
n
>
1
n
2
para 1 < n N
2.11) Calcule el lmite de la siguiente sucesin:
1
n
2
+
1
(n + 1)
2
+ +
1
(n + n)
2
2.12) Este ejercicio presenta un resultado importante que constituye un criterio
til a la hora de calcular lmites
Sea (a
n
)
n
una sucesin de nmeros reales con lmite a R. Pruebe que
lm
n
a
1
+ a
2
+ + a
n
n
= a
Indicacin: Comience suponiendo que a = 0.
2.13) Este ejercicio presenta un resultado importante que constituye. . .
Sea (a
n
)
nN
una sucesin de nmeros reales, con a
n
> 0 y im
n
a
n
= a.
a) Demuestre que lm
n
n
a
1
a
2
. . . a
n
= a.
b) Demuestre que si existe
lm
n
a
n+1
a
n
= b
entonces lm
n
n
a
n
= b.
Indicacin: Para el primer apartado si a = 0 razone directamente y si a > 0
calcule logaritmos y utilice el ejercicio anterior.
Para el segundo apartado, sea b
1
= a
1
y b
n
= a
n+1
/a
n
para n 2. Estudie
la sucesin
n
b
1
b
2
. . . b
n
.
Anlisis Matemtico I
2.9 Ejercicios 89
2.14) Sea (a
n
)
n
una sucesin acotada superior e inferiormente. Supongamos que
existe a := lma
n
a
n1
. Cuanto vale a? Justique la respuesta.
Suponga ahora que a = 0. Es la sucesin (a
n
)
n
necesariamente convergente?
Justique la respuesta.
2.15) Sobre la constante de Euler
a) Deduzca las siguientes desigualdades
1
n + 1
< log(1 +
1
n
) <
1
n
b) Pruebe que la sucesin
x
n
= 1 +
1
2
+
1
3
+ +
1
n
log n
es convergente. A su lmite se le denomina la constante de Euler y es
usualmente denotada como (ms sobre el tema en wikipedia). Utilice
Maxima para obtener las primeras cifras decimales de .
c) Calcule lm
n
2n
k=n+1
1
k
.
2.16) Sea A R no vaco y acotado superiormente (resp. inferiormente) y sea
= sup A (resp. = nf A). Pruebe que existe una sucesin (a
n
)
nN
de
elementos de A tal que = lm
n
a
n
.
2.17) En caso de que sean convergentes, calcule el lmite de las siguientes sucesio-
nes:
a) lm
n
2
n
b) lm
n
sen(n/2)
lnn
c) lm
n
nsen(
n
2
)
d) lm
n
(2)
n
+3
n
(2)
n+1
+3
n+1
e) lm
n
(
n
2
+1+n)
2
3
n
6
+1
f) lm
n
4
n
5
+2
3
n
2
+1
5
n
4
+2
n
3
+1
g) lm
n
(n+2)!+(n+1)!
(n+3)!
h) lm
n
n
2
2n + 1
n
2
7n + 3
i) lm
n
3
n
2
[
n
3
+ 1
n
3
1]
j) lm
n
n(0.9)
n
k) lm
n
n
a ; a > 0
l) lm
n
log(n)
n
Anlisis Matemtico I
m) lm
n
1
2
+2
2
+...+(n1)
2
n
3
n) lm
n
n
3n
2
+ n
) lm
n
n
1 + e
n
o) lm
n
n
n
n!
p) lm
n
(
2
n+1
)
2/(2+ln n)
q) lm
n
_
2
n
+(2)
n
2
n
_
+ i
_
2
n
+(2)
n
3
n
_
r) lm
n
_
(n+1)
2
2n
2
_
+ i
_
10
6
n
3
+3n
2
10
12
n
4
10n
3
_
Maxima puede serle de utilidad para vericar sus clculos.
Anlisis Matemtico I

Sucesiones Numericas

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Sucesiones Numericas

Uploaded by

Copyright:

Available Formats

2

Sea = |a b|/4 > 0. Entonces, de acuerdo

:= /M, entonces existir n

= . Lo esencial, naturalmente, es que M debe ser una

existe un nico y R tal que (a

son consecuencia de las proposiciones

You might also like