Sucesiones Cato

UNCVERSIDAD CATOLlCA DE CHILE
INSTITUTO DE MATEMATICAS
SUCESIONES
EN EL CUERPO R
lng. MARIO RAUL AZOCAR
1969
UNIVERSIDAD CATOLICA DE CHILE

FACULTAD DE CIENCIAS FISICAS Y MATEMATICAS
SUCESIONES
EN EL CUERPO R
lng. MARIO RAUL AZOCAR
1969
DUCPSlONF:S
Desde los estudios de
hurnanidn~es
n'..lr:str;s alumnos estn familiarizados con el conjunto
:~~
de los
nmeros reales, de tal modo que conocen y manejan con seguridad

1,lS
opr.:racjones
fundamental1~s
Por
cntr-c
~Std
ello~:.
ra~6n,
el prrafo presente
frecuente.
a)
A::.ac:J'11i'tS
de adicion.
Fn el conjunto
racin llamada suma, que a::iocia
.J
nt se define una ope
cada par o:cdei;ado de nmeros
reales: a y b un nmero real a + b, de tal modo que se cumplen

los axiomas
Al)
siguiente~:
Para todo a e !P. y b e IR
SP.
tiene:
2.
a + b
~1.2)
Para "'::odc
(.::..
1~
b + a
-~
e)
:3.
<- e
Existe en
t'?
(commutatividad).
IR, b e
= a ... {b
Para cada a
a .,_ (-al
e;
lR, se tiene:
(asociativi.dad).
D un nGrnero: O, tal que:

'f
A')
1R y e e
ae
JP.
JR existe un elemento
(-a)
IR,
c;1~:
r:al
= O.
De acuerdo a la
terminolog~a
aige-
oraica conviene obsE:rvar que la pareja { JR, "'-} cc:.nst.i.-cuye u.t.

grupo abeliano.
b)
Axiomas de Multiplicacin.
En el conJunto
IR
SEo
def ;.ne ..ina
O?e-
raci6n llamada producto, que asocia a cada pareja. ordenac'.e. de

nmeros reaies: a y b un nmero real ab, de tal medo
rifican las axiomas siguientes:
Ml) Para todo a e lR y b
IR se tiene:
q~e
se ve-
3.
ab
N2)
(c0r:unutatividad).
ba
Para todo
JR,
IR y c
IR, se tiene:
(asociatividad).
:l3)
Existe en
1R un elemento: l
;'14)
Para cada a
tal que:
e JP. y
aa
-1
O, tal que:
e m.
al = a
f.
O,
existe un elemento a -l e rn,
== l.
Observamos al lector que el conJunto
tituye un grupo abeliano.
c)
Axioma de Distribucin.
Dl)
Para todo a e
(a + b)
lR, b e JR y e e JR, se tiene:
c = a c + b , e
Este axioma que vincula las operacio-nes de adicin y multiplicacin, junto con las axiomas prececientes nos garantiza que la terna (IR, +,
) es un campo alaP
4.
braico.
En el conjunto IR, para cada par de

Jtc<.Elc:::-os
reales
se
define una relaci6n binaria: "menor que" ex-
presada por el smbolo, <, de tal modo que se verifican los

axiomas siguientes:
ml)
Para cada a e
lR y b e
expresiones: a < b
(1)2)
Para cada a
a <b
CD3)
04)
Para cada a e
a<b
e IR, se tiene que:
lR y e
a< c
implica
IR, b
implica
b< a
a = b
lR, b
b<c
Para cada a
a<b
se tiene una y slo una de las
lR
e m,
y e
se tiene que:
a + c4) se dicen que
es un caa.po orcier.aJ.o.
Desde estos postulados se obtiene
5.
sin
d~ficultad
los teoremas usuales sobre desigualdades.
f:imida la relacin (
<
"menor que" se puede introducir sin
dificultad las relaciones

igual que" y
De-
"mayor que";
> )
( _: ) "menor o
( 2_ ) "mayor o igual que", en efecto, basta tomar
la definicin siguiente:
DEF 1
a
>
significa b
.
. -.
l:>.L':;l;1J.J..L~CI.
a > b
<
\11U
a.
D)
significa (no a < b)

Todos los axiomas precedentes, vale
decir, los axiomas de adicin, de multiplicacin, de distribuci6n y de orden, son indudablemente muy familiares para los
jvenes estudiantes liceanos.
Creernos que no ocurre lo mismo
con el llamado axioma de completitud o axioma de completividad,

que
e~
el que realmente permite diferenciar al campo de los nme-
ros reales de cualquier otro campo ordenado.Con el propsito de presentar en forma

adecuada este axioma de completitud, debemos introducir previamente algunas nociones de fundamental importancia.
6.
L!EF 2
Un conjunto S de nmeros reales de
dice acotado superiormente si existe un nmero real b, tal que:
X <
El
~mero
\/
X E S
b se llama cota superior del conjunto
s.
Como ejemplo de conjunto acotado superiormente, podemos mencionar el conjunto

nega ivos, que a mi e como co a superior e
m.-,
de los reales
n mero cero.
De acuerdo a la definicin anterior

tenemos que si un conjunto
s de nmeros reales es acotado supe-
riormente, ningn nmero de S es mayor que la cota superior b.

Adems si b es cota superior de S, todo nmero real mayor que b
tambin es cota superior de
s.
Finalmente, conviene observar que,

hay conjuntos de nmeros reales que no son acotados superi?rrnente.
Tal cosa ocurre, por ejemplo, con el conjunto de los enteros
positivos.
DEF 3
dice acotado inferiorrnente si existe un nmero real a, tal que:
7.
X >
El nmero a se llamo. cota inferior del conjunto
s.
El conjunto IR+ de los reales posiin er ormen e, ya que a mite como cota inferior al cero y tambin a cualquier nmero negativo.
DEF 4
Un conjunto S de nmeros reales se
dice acotado,si es acotado superior e inferiormente.
Como ejemplos de conjuntos acotados
podernos mencionar los intervalos:
(a' b)
a < X < b }
[a, b]
a <
(a' b]
X < a < b }
[a, b)
< b }
< a M
Par~
indicar que M es supremo del conjunto S, pondremos:
De acuerdo a esta definicin teneiaos

que un nmero M es supremo de un conjunto S de nmeros reales
si y slo si:
1)
Mes cota superior de S.
2)
M es la menor cota superior de
s.
De esta observacin se infiere de

inmediato que si un conjunto S tiene supremo, ste debe ser
Gnico.
De todos modos para no dejar ninguna duda al respecto,
demostraremos esta afirmacin.
TEOREMA 1
Si un conjunto
de nmeros reales
tiene un supremo, ste es nico.

Dm.
supongamosque el conjunto S tenga dos supremos M , y M ,

1
2
entonces puesto que M1 y M2 son tambin cotas superiores de S,
9,
tenemos:
y
de
don~e
resulta que M
1
M .
2
La definicin de supremo
ae
un coa-
iunto S frecuentemente se da por una formulacin equivalente

que pasamos a indicar.
TEOREMA 2
Un nfimero real M es supremo de un

conjunto S de nfimeros reales si y slo si:
1) X < M
V X
2) V e > O
:;IX
tal que
Dm.
Sea M el supremo de un conjunto S, entonces por definict6n
de supremo, tenemos que:
< M.
1)
2)
V M
Tomando e
< M
=M
>
X S
X S
- Mn, resulta M,..
la condicin (2)
3) V
X > M
tal que
M - e
con
>
O y
en~onces
se expresa por:
_:j X 5
tal que
> M -
10.
Asi si M es supremo de
dicadas en el
s se verifican las dos condiciones in-
teorem~.
Reciprocamente sea M un nmero que

las relaciones:
,,,~r1.:~i.>.::
< M
:i.)
2)
r E: >
V X
3:
E S
tal que
> M -
Daremos a la condicin ( 2) la fo:r::P

corriente que tiene en la definicin de supremo.
tomando M
o
M - E, se tiene M0 < M y entonces (2) se

< .M
~as
(a,b)
[a,b]
En efecto,
01
t:al que
re~tce
~=
X > M
intervalos abierto y cerrado que se indican:

b }
a < X < b
<
X <
tienen ambos como su remo al nmero b;
ero en el
rimer con'un-
to, b no escelemento del intervalo y en el segundo, bes elemento

del conjunto.
DEF 6
Se
lla~a
nfimo de un conjunto S de
nmeros reales, a un real m, tal que:
11.
l) X > m
~-
tal que
X < m
Para indicar que m es nfimo del conf>::mdremos: m
inf
La definici6n precedente expresa que
un nmero m es nfirn;) de un conjunto S de nmeros reales, si y

slo si:
lJ mes cota inferior de S.
2) m es la mayor cota in:erior de
s.
De aqu entonces que si un conjunto de nmeros reales tiene fr,fimo, ste debe ser nico.
Tal como ocurri6 con la idea de supremo, la noci6n de nfimo puede expresarse tambin en la forma
siguiente:
TEOHEMA 3
Un nmero real m es nfimo de un conjun-
to S de nmeros reales si y s6lo si:

1) X >
'i E:
>
2)
v
o
3: X
e s
e
tal que
X <
m +
E:
12.
Dm.
An!Loga a l del teorema 2.
Se deja al lector.
Los intervalos semi-abiertos que se
(a,bJ
a <
[,j_
l:: '
< X
< b
<
tiene:-, a:r,bos corno nfimo al nrr,ero a.
es y
En el primero de ellos.
e s.
en el segurrdo a
Introducidas las nociones de nfimo y

c1.c '-':rJremo estamos en condic1ones de dar el llamado axioma de
completitud, que ccmo hemos dicho es el que permite diferenciar

el campo de los reales de otros campos ordenados.
e) Axioma de Cornoletitud
Cl)
Todo conjunto S de nmeros reales, no vacfo y acotadc superiormente tiene supremo.
TEOREMA
4
Todo conjunto S de nmeros reales, no
vaco y acotado 1nfericrmente tiene nfimo.

)m.
Sea A
{ a
IR
a es cota inferior de S }
13.
Corno S es acotado inferiormente, tenernos que A no es vaco.

Adem~s,
e s
si x
A, por ser a cota inferior de
rre que, a < x, para todo a e A
ocu-
y entonces A es acotado supe-
riocmente.
Aprovechando el axioma de completitud,
co~o
A es no vaco y acotado superiormente, conclumos que A
tiene un supremo a.
Haremos ver que a es nfimo de S.
Por ser
a supremo de A tenernos que:
1)
a <
V a A.
CL
y como todo x e S es cota superior de A ocurre que:

2)
<
et
V X S.
La expresin (2) nos muestra que

y la expresin
es cota inferior de
(1) muestra que, toda cota inferior a de S, es
menor que a, as tenernos que a es la mayor cota inferior de S,
o sea que a
TEOREMA 5
inf S .
(Dedekind)
Sean A y B dos subconjuntos de IR, tales que:
1)
A U B
IR
2)
A -:/ ~
B -:/ ~
3)
bB
I>
a
'-;
.>
Uc
;_;,~a
n:1;r,:'~r.:o
:, J.o a la hiptes.i s
entoncc>.s sup A
ser w el supremo de A, tenemos:
a < w
y como todo b
5)
(2 el conjunto A no es vaco
= "'.
Pn~
4)
IR, tal que:
B es cota superior de A resulta:
w w, afirmamos que X B,

ues si su onernos x
la ex resin
obli a
ue x < w
expresin que contradice la hiptesis x > w.
Anlogamente si x < w, afirmarnos que

x E A, pues si suponemos x
B,
la expresin (5) obliga que

X
W.
Observacin
En el teorema anterior
ta
~. 3
~~ : ~ jn
u: del
implfci-
de cotadura de Dedekind, que tradicionalmente
con~unto
mucho ms.
est~
Q de los
En efecto, se
l os racionales define
~n
r~cionales.
~ ~b~
q~e
r ~rnero
h~
Pero el tecrern a!1rrae
una catadura en el campo da
re&l; el teorema de Dedeklnd
a scg,_ra que una cc'::::.dura e;-, el c&11.po de los reala .s tf1' 0 _r. de --
.~ liE
1J;1
rF.-ai :.! ello :Lc,dud3b.'.:.:=;':,e n.te establece una no': ::::. ::> d 1t e-
rencia entre el conjunto ds
: =s
racionales y el conjunto de
los reales.
DEF 7
Se llama vecindad o entorfio de un nmero real
a ~ tcdo
intervalo de la forma (a - h, a + k
e~~
I< positi,ros.
DEF 8
Se dice que un nmero a,es

acurnulaci6n de un conjunto s,s en toda vecindad de a
infinitos nmeros del conjunto
p~nt~
de
ex~s~s~
s.
Un punto de acumulaci6n de un cot1Junto no es necesariamente un elemento del conjunto; as en el
conjunto:
_,
El conjunto de los nmercs del intervalo abierto (O, 1) tiene,

entre otros, por puntos de acumulacin los nmeros cero y uno,
nmeros que no pertenecen a dicho conjunto.
El conjunto de
conjunto de los nmeros contenidos en el intervalo cerrado [O, 1 '1

tiene a todo nmero de l como punto de acumulacin.
TEO
Todo conjunto acotado de infinitos
nmeros tiene por lo menos un punto de acumulacin.
Dm.
Como, el conjunto C de nmeros es acotado, existen los nmeros m y M.
Indicando con x un nmero cualquiera de C, pode-
mos distinguir los dos siguientes casos:

1~-
Por pequeo que sea el intervalo (m, x) siempre hay

en l infinitos nmeros de C.
17.
2~-
t~l
Hay x =
'
finit~s
njffieros de
i) no hay in-
que en el intervalo (m,
c.
En el primer caso el teorema es in- d' ato, pues en la hiptesis considerada, rn es un punto de ac~mulaci6n
de
e,
ya que para todo h > O, ocurre que en la ve-
c.
cindad 1m - h. m + h) hay infinitos ndmeros de
En el segundo caso sea X, el supremo

d~
los x, puede ocurrir entonces que X

Cuando X
=Mo
bien X < M.
M se tiene que cada x es
un :,, luego para todo nmero x del conjunto
intervalo (m, x) no hay infinitos trminos de
ocurre que en el
e,
e,
pero corno en
el intervalo (m,
~l)
intervalo (x,
tiene infinitos elementos del conjunto, lo
M)
hay infinitos nmeros de
resulta que todo
que a.segura que M es punto de acumulacin de l.

Veamos finalmente el caso X < M, demostraremos que
e~
esta hip6tesis,X es un punto de acumulacin;
en efecto si no lo fuera, existira por lo menos una vecindad
(X - h, X + h) en la cual no habra infinitos nmeros de C,

luego lo mismo ocurrira en (m, X+ h}, de aqu _que X+ h sera
un
los
x,
x.
lo que indudablemente es absurdo por ser X el supremo de
18.
Este teorema se conoce con el nombre

de Teorema de
DE:t,
E0l~ano-Weierstrass.
:;
en conjunto S de nmeros reales se

dice cerrado si tcdo punto de acumulacin de S pertenece a
DEF
s.
.i.O
Se llama conjunto derivado de un conjunto S de nGmeros reales, ai
~onjunto
S' de todos los puntos
de acumulacin de S
11
DEr.
Se llama clausura de un conjunto S

de nmeros reales al conjunto: S =SUS'.
2.- Sucesiones.
DEF.
12
a cada nmero natural n = 1, 2,
S~
3,
.... ,
1
n)
se hace corresponder un nmero a , el conjunto:

n
1' 2' 3'
se llama sucesin.
n'
19.
De acuerdo con esta definici6n, son

sucesiones los siguientes conjuntos de nmeros:
a
{l,
n
1
n sen r. T!
an
DEF.
[1 + (-lJn] } ==
.1
2' J' 4'
{O, 1, O, 1,
= { l, 1, l, 1,
. .. ..
...
13
Diremos que una sucesi6n (an) tiene

al nmero a como lmite, si tomado un nmero
> O arbitrario,
existe un nmero natural N, tal que:

1 n
<
n > N
Fara indicar que la sucesin (a )

n
tiene como Jmjte el nmero a, emplearemos la notacin
lim
a
Conviene observar que de acuerdo con
la teora de las desigualdades la expresin jan - al < E, puede

reemplazarse por:
a -
< n <
a +
22.
TEOP-EMA 8
Si lir.i a
entonces lirn k a
a.
i:m ..
:~
efecto, toreado
O, existe N tal que:
>
- a! < 10
E
:-
para n > N.
c1r= c0!1de
1
kan
- kal
<
para n > N.
E:
! esta expresin, de acuerdo a la definicin de ln:ite de una
sucesin, nos expresa aue:

lin ka n = ka
klim n
TEOREMA 9
Si lim a'
a, lirr: a"
entonces lim
a"
n
a.
Drn,
For hiptesis tomado
a - e < a n1 < a + e
>
o,
existe N1 y N2 tales que:

para n > N
para n > N2
y
C01'10
23.
"''
ci.:,
<
a n < a"n
resulta
a - s < a
1a
< a + e:
- aj < e:
para n > N
~l
siendo N el mayor de los nfimeros

(a~)
Las sucesiones
y
~ayorante
para n > N
respectivarnent~
(a~)
y N
2
se dicen sucesiones minarante
con respecto a la sucesin (a ) .

n
Corolario
Si O < q < 1, se tiene: lim qn = O
En efecto, si p es un nGrnero positivo tal que q

resulta:
1
(1 + p)n
1 + np + ... + pn
<
LP
1 .-
P n
y corno la sucesin (!) tiende a O, igual cosa ocurre con qn.

n
TEOREMA 1-0
Si lim a
lim (a
+ b )
n
a + b
l .
-l.!:'.
a
lim a
+ lim b
b, entonces
Dm.
Por hiptesis, tomado s > O, existen N y N tales que:
1
2
24.
la
< E
n - al
:2
lb n Pero
~or
\3
oe
c~ra
1
1,
para n > N
1
para n > N
f:
"
parte se tiene que:
+ bn l -
(a + b) -
+ bn } -
(a
(a
- a) + (b
b)
donde
1 (a
+ b)
para n > N
<
siendo N el mayor de los nmercs N y N

1
2
l~s
tenemos:
a + b
lim (a
lim a
+ lirn b
Corolario 1
Si lim a
lirn (a
b )
a y lirn b
b, entonces
En efecto:
lim (a
l im [a
+ ( -b )
n
25.
Corolario 2
Si q >
- j
-- '
E~ ~iecto
se ~iene: lim qn =
oo
sea p un nmero positivo tal que: q = 1 + p,
1---::-;ces:
luego
+
im tn
TEORflA 11
Si lim a
O y b
es acotada, entonces lim a b

n n
Dm.
Como por hiptesis b

tal aue
~
lb n 1
<
es acotada existe un nmero 6 >
B; adems corno a n tiende a cero, tomado
trario hay N de modo que:
ja n / <
para n > N
luego
la
b
1
n n
'
1'a n b n 11 = lanl
ra e
E
lbnl < 6
eorerna.
E arbi-
26.
TEOREMA 12
Si lim a
= a,
lim a b
n n
y lirn bn = b, entonces
lirn a
lim bn
t:m ..
Se tiene que:
a . b = a . bn
n n
n
ab
+ ab n
(a
a) b
+ abn
u ego
pero como la sucesi6n (a
- a} converge a O y la sucesi6n b
es acotada, resulta:
TEOREMA 13
Si lim n
a
- lirn
-n =
a y lim bn
lim a
lim b
b =# O, entonces
con b
#-
Dm.
Como (b ) tiende hacia b, existir N tal que para n > L
n
se tendr:
27.
'b n
< -
lo ~ue nos i~ica que la sucesi6n

parte
len~~os
o sea
> -
(! )
bn
es acotada.
Por otra
que:
b -
~)
lirn
= lim b b
bn
(b -
b lirn b
b )
n
=o
o sea:
l ir.
Finalmente se tieue:
1
lim a n
lim a n
5n
lirn
5n =
5 =5
o sea:
lim a
lim
lm b
bn
n
n
TEOREMA 14
c~n
S lirn n = a,
n > O, entonces
blog(lirn a )
n
lim
Dm.
Tomando arbitrariamente un nmero

mero b > 1 se tendr bE
::-
E:
> O y suponiendo pri-
1 y b-s < 1 y como lirn a /a= 1,

n
28.
existir& N tal que:

para n > N
-e
<
log
< + s
o sea
b
log a -
<
log n <
log a +
o bien
para n > N
Finalmente si O O entonces lim b

n
TEORE11A 15
=a
a
y b > O entonces lim b n
Drn.
Para fijar ideas supongamos b > l.
cualquiera que sea
el nmero positivo h existe un nmero natural p tal que:
29.
1 + ph > b
como (1 + h)P > 1 + ph
queda:
(1 + h)p > b
1
de donde
(1)
ent::inccs:
1
1
< b p
1 + h
como 1 - h
< 1
se tiene tarrbin
1
1-h b, hay un ndmero entero positivo N de modo que:

1a
n
- aj <
para n > N
o sea
1
< n -
para n > N
a 1, resulta

1
b- ~ < bn -a < b+ P
de aquf, considerand0 las relaciones
1 - h
 N
(2) se tiene:
para n > N
30.
o sea
1 - Eb
-a
- a
 N
multiplicando por b a , queda:
Finalrne~te
bd
1 + Eb-a
<
 N
es decir
para n > N
b1
Si O 1 y luego
a
lim
(-) = b
a = R
b > O, con bn > O y lim n
a,
Dm.
Tenemos
a
= b n
b
(-...!!)
Como (an) es convergente, ella es acotada, luego se puede

determinar dos nmeros h y k para los cuales se tenga h < a
para todo n N, entonces:
< k
31.
b
(-n) h
<
.....
b
b
. n)h
(-
>
b
lim (-n)h= 1
b
a
(-n) n
b
b a
(-n) n
b
'
b
(-n) k
b
>
/
b
(-n) k
<
si
-n
si
-n
< 1
'
se tiene
b
a
lim (-n) n
1~
y por lo tanto
a
lim bn
a
b
a
lim b n lim (-n) n
= b
= b
DEF 16
Una sucesi6n (a ) se dice creciente si:
n
V n N
DEF 17
Una sucesin (a ) se dice decreciente si:
n
V n
TEOREMA 17
(Stolz)
Si de las sucesiones u
y v
infinito y es creciente, se tiene que:
la segun a tiende a
32.
u
lirn
V
siempre
~ue
u
=
lim
V
n + 1
n + 1
n
n
el l:.mite del segundo miembro exista o sea infinito.
Dm.
Supongamos primeramente que (un + 1 - un) / (vn + 1 - vn)

tienda a un limite finito L; en este caso existir N tal que,
para
n > N se tendr
L -
un + 1 - u n_
< ______
< L +
vn + 1 - vn
y como vn +
1 - vn > O, resulta:
(v n + 1 - v n) < un .+ 1 - un < (v n + 1 - v n)
(L - e:)
(L + e:)
Reemplazando en esta desigualdad n por n + 1, n + 2, . , n + (p-1)

se obtiene:
(L -
e:)
(v
n + p
n + p - 1
 O (lo que ocurre para n + p grande),

resulta:
33.
{L-s) (1 -
deja~(~
__
n ___ ~)
V
.
n + p
u
u
+ _ _:.:n_ <
n
p <
vn + P
vn + P
3hora n fijo y haciendo crecer n + p

L - 2
um
E<
<
L + 2
=m
se tendr:
para n > N siendo N > N.

1
1
tiende a infinito, tomado G
>
O arbitrario, se tendr:
> G
para n > N
2
n + p - 1 resulta:
y dando a n los valores: n + 1, n + 2

u
n + 2
un
n + 3
un + 2 > G(v n + 3
+ 1
> G(v
n + 2
n +
n
1>
+ 2>
-----------------------------------y luego sumando se obtiene:
34.
- u
n + p >
vn + p
+ G(l n +
vn + p
fiGa1mente dejando fijo n y haciendo crecer n + p - m resulta
u
V
>
para m > N
lo que demuestra el teorema. que en la literatura matemtica
se conoce con el nombre de Criterio de Stolz.

TEOREMA 18
Si lirn a
a, con a finito o infinito, se tiene:
+ an
n
lirn n
Dm.
Tomando las sucesiones auxiliares:
y
y aplicando el criterio de Stolz queda:
lim
1 + 2
+ + n
n
lim n + 1
a = lim n
35.
TEOREMA 19
Si lin
2.
a, con a
y a positivos y a finito o in-
finito, se tiene:
Drn.
Es inmediato que:
a
n
lim
log a +log a + ... +log a

1
2
n
n
lim log n
log lim n
de donde pasando al antilogaritmo queda:

l i m y a 1 a 2 ..... n
lim n
Corolario 1
a
Si lim
L, siendo a
n positivo y L finito o no, se
tiene:
lim~=
En efecto:
a
lim
36.
luego:
,--;,_
lirn~ =
Corol :tri0
-
.
lim \n /
= lim
V -1
- -y
nC
n =
1.im
1;
lim
~=
lirn~
1;
=CD
En efecto, para la primera sucesin tenernos:

n
lim - lv-- n " iim Il-::--r
lim - - = 1
1
1- n
Para el segundo caso, suponiendo primero, a

1
y como lim
<!:7
~=
<
-!;/-;;-
>
1 se tiene:
para n > a
1 resulta que lim
ahora el caso O < a < 1, poniendo b
;-;;
=
= 1.
Considerando
1/a se tiene b > 1 y
luego:
l
lim
n/-b
"
i
=
As:
lim
l.ffi
;;-=
n/i
l.
1
-V
a=
!2.,j
l.m
17alim ~,I.,.
Finalmente:
1 im
~=
1 im ( n
~ !1 ) !
lirn n =
CD
4.- Criterios de convergencia.

Entenderemos por criterio de convergencia todo teorema que nos asegure la convergencia de una su-
37.
cesi6n.
Recordamos que una sucesi6n {a ) se dice creciente si:
n
1
~.~
<
+ 1
< a 3 < < n < n
ucesi6n (a ) se dice decreciente si:

n
TEOREM..~
20
lmite.
Dm.
Puesto que (an) es acotada superiormente, tiene un supremo M y por lo tanto hay un elemento n > M -
siendo
> O ar-
bitrario y como (a ) es creciente se tiene que

n
M - E < an < M + E
n > N
o sea:
M
- an
-
< e:
n > N
'
que nos indica
que M es el lmite de la sucesin (an).
Corolario
Si (an) es decreciente y acotada inferiormente, tiene lmi.te.
38.
En efecto, si (an) es una tal sucesin, se
tendr~
superiorme~te
que la sucesin (-an) ser creciente y acotada
y la existencia del lmite de (-a ) implica la exi

n
tencia del lmite de a
- (-a
Finalmente veremos un teorema debido a

Cauchy y que corrientemente se conoce con el nombre de critero general de convergencia.
Condicin necesaria y suficiente para la convergencia de una sucesin (a ) e3 que tomado

n
> O arbitrario exista
un entero positivo N tal que:
la n - am1
para n > rn > N
< E
Dm.
La condicin es necesaria:
En la hiptesis que (a ) converge
n
hac.ia un _lmite a, tornado

<
f.
2
> O arbitrario, existe N tal que:
para n > N
para rn > N
Por otra parte:
39.
(a
'.
la n
- )
- a .11"'
(a
,_
<
'
- a mi <
n - a) + (a - a m)
!an - al
ja - mi
para n > N, m > N
t:
La condici6n es suficiente:
Tomando > O arbitrario, por hip6tesis existe un nGmero natural p tal que:
para n > p
o bien
lo que nos indica que todos los trminos de rango superior a p

quedan en el intervalo (ap + 1 -
o, p + 1 +o) y corno fuera
de l hay s6lo un nmero finito de elementos de ella, la sucesin es acotada y por lo tanto tiene a lo menos
acwnulacipn en dicho intervalo.
~n
punto de
Ahora resulta inmediato que
no puede haber ms de uno, pues la amplitud o del intervalo

(ap +
- o, p + 1 + ) es arbitraria y puede hacerse tan pe-
quea corno se desee.

Llamando, a, este punto de acumulaci6n, consideremos la vecindad (a - E, a+ E); ella contiene infi-
40.
nitos tfirminos de )a sucesin (a ) y fuera de

n
~lla
hay a lo
ms un nmero finito de nmeros n' de aqu que11amando N al

mayor de los indices de los n situados fuera de (a - e, a+ e),
se tendr:
la n - al
para n > N
< t:
lo que demuestra el teorema propuesto.

DEP. 18
Sea r
, r
, r
, ..... In una sucesi6n de intervalos tales
que cada uno de ellos est contenido en el anterior y tales

que la sucesin de sus longitudes 1 , 1 , 1 .... ln converge
1
2
3
a cero.
Un conjunto (I) de intervalos de esta naturaleza lo
llamaremos encaje de intervalos.
TEOREMA 22
Todo encaje de intervalos determina un nmero real y
slo uno.
Dm.
Sea In el intervalo (an' bn)' puesto que In contiene In+ 1
se tiene que: n + 1 >, a 0
bn + 1 ~ bn, luego:
41.
....
---+-~
~~....._~~~~-+~~~~4-~~~~~+-~
Cl~
As entonces la sucesin (a ) es mon6tona creciente y como ton
dos sus trminos son menores que b , resulta que {an) conver1
ge hacia un nmero a a .
1
n
Haremos ver ahora
que a = 8
Tenemos que:
- a =
im
im a
ya que la longitud 1
= bn
- a
im
- a
tiende a cero.
5. - El n.'Uero e.
Para definir este
impor~~nte
haremos un estudio de la sucesi6n:
(1
1 n
+ -)
n
TEOREMA 23
La sucesi6n en
(1 + l)n
n
es creciente.
nmero
43.
n = 1
n
( 1 + !.)
n
+ r
(1 + *)n
=1
.!.
+ n(n - 1) + n(n-1)
3!n
--;!~
+ 1 + ~! (1-~) +
j,
~)
(1 -
(n- 2 > +(n+l trminos)
(1 -
~)
+ .. (n+l trminos)
+ 1
Ti:
pero como para n > 2 se tiene 2n - 1 < n: resulta:
(1 +
!)n
n.
<
1 + 1 + ! + .!.?+ +
1 ' + .....
1
2
22n - ~
o sea:
(1 + .!.)n
< 1 + - -11 n
1 - 2
lo que demuestra que la sucesi6n considerada es acotada superiormente.

Corolario
La sucesi6n en = (1 + !in converge a un namero positivo
n
no mayor que 3.
En efecto sabemos que la sucesi6n e
da superiormente y adems e
n.
es creciente y acota-
< 3.
DEF. 19
Se llama nmero e al lmite de la sucesi6n (en), o sea:
lim ( 1 +
.!..) n
= e
44.
Este nmero e lo emplearemos en lo

sucesivo como base de logaritmos, que llamaremos logaritmos
naturales y que para distinguirlos de los logaritmos ordinarios los designaremos con la letra L.
As! entonces la notaci6n
La significar logaritmo con base e del nmero a.

TEOREMA 25
Si (a ) es una sucesin divergente a infinito, prin

vada de trminos nulos y tal que 1 + 1/a
1
lim (1 + -)n
n
> O, entonces:
=e
Dm.
Supongamos primero a
> O, entonces llamando p el mayor
entero contenido en n' se tendr:
luego
de donde
1 )p
(1 + !.) p + 1 > (1 + !.) n >(1 +
a
p + 1
p
o sea
1
)p + 1 (1 +
(1 + !)P (1 + !.) > (1 + l:.>n > (1 +
p
p
a
p + 1
n
p+-r>
-1
45.
tender n a infinito, igual cosa ocurre con p y
~aciendo
corno en tal caso las dos expresiones extremas de la desigualdad precedente, convergen cada una al nGmero e, se tendr que:
n
Suponiendo ahora que n tiende hacia infinito por valores

negativos, tornando bn = - n # 1, resulta:
>n
lirn (1 + .!.
an
lirn (1
lirn (b
bn 1 )-bn
= lirn ( b 1)-bn
bn
bn
1
n
(1
)bn
= lim (1 +
b
+-
)bn
=e
TEOREMA 26
lim (1 + 1 + 1 +
I:
2:
.....
+ -,
n. )
=e
Dm.
sea E n
1 +
I:
1
1
2! + . + "!
Como En es sucesi6n creciente acotada superiormente, se
desprende que ella

es-el nmnero e.
es
convergente, haremos ver que su limite
46.
J:n ef cct:o se tiene:

E
(1 + l)n
n
1 +
:::
1
l! +
.. . ....
'i! +
+ "!
1 + :~.
J.
.n
1
n
k=2
k=n
(1 + -l" <
k==2
,.,
f, l
""n
+ -) n
n
k!
<
n (n -
1)
En -
.. ------~-~
1--
::-~-n
(1 + -)11 -
(n - k + 1)
_ ....
k=2
-~k------------)
(n -
nk -
(n - k + l)k
k! nk
k=n [;k-l+nk- 2 (n-k+l) + +r (n-k+l) k- 2 +
k=2
k! nk
k!
1
k=n
(1 + -)n < r
n
k=2
n -
1
1
(1 + -)n <
k + 1)
.. - k
k. n
+ (n - k + l)k - 1]
n (n-1) (n-2)
+ .. +
1
3
3 .n
n!
.: -n
...
+ 3!
- -2-;-2-
.!.
)'
1)
n (n -
2!
knk-l
k=n
r
k=2
nk
(k - 1)
k! nk
1
(k - 1)
k=n
=
3
< (k - 2) !
n
k=2 n(k - 2)!
47.
deaqu entonces que:
pero como En > (1 +
lim E
~)n, (vase Teorema 24) resulta:

- lim (1 + ~)n
o sea:
lim (1 +
1
r:+
2!+ ....
1
+ :)=
EJERCICIOS
48.
EJERCICIOS RESUELTOS
Ejercicio 1.Calcular el lmite de la sucesi6n:

a
1
1
1
= are tg - + are tg - + ... +are
tg 2n2
n
2
8
Sol:
Puesto que:
are tg
2
1
k 2 = are tg
are tg
2k-1
2k+l
resulta:
= are
tg 1 - are tg 2n + 1
luego
lim n
= are
tg 1 =
Ejercicio 2. Calcular el lmite de la sucesi6n:

1
1
1
a n == are tg
+ are tg
+ . +are tg
2
3
7
n +n+l
o :
Teniendo presente que:
1
are tg
+ k + 1
= are
tg
- are tg
k + 1
49.
resulta:
= are
1
tg 1 - are tg n +
1
luego
lim a
are tg 1
TT
=4
Jercici~
Establecer la divergencia de la sucesi6n:

1
a n ""
(n + 1, n + 1
1
n + 2)n + 2
1
-n
+
n)n
(n +
Sol:
1
1
> (n + l)n +
(n + l)n + 2
> (n + l)n + n
---
(n + l)n + n
.J.
(n + l)n + n
(n + 1) n + n
n
a
> (n + 1)
n + 1
00
Ejercicio 4.Establecer la divergencia de la sucesi6n:

n
1
1
+ !
1 + 2
+ 3 +
n
Sol:
Sabemos que (1 + lin < e, pues la sucesi6n es creciente
n
so.
y tiende hacia e, luego tomando logaritmo, se tiene:
L(n + 1) - Ln < 1
n
o sea
dando a n los valores: 1, 2, 3 ... n y sumando las n desigualdades as obtenidas, resalta.
o sea:
!2
> L (n
.1)
+ !3+ .... +n~

,
as lim n
> Ln+
(
1)
co
Ejercicio 5.Establecer la divergencia de la sucesin:
un
3
2
(2n + 1)
2n
Sol:
a
a + 1
Conviene recordar que si a > b > O, entonces b > ;-::-r
Aprovechando esta desigualdad resulta:
>
5 > 6
)'
67
5'
> ~
7 ,
2n + 1 > 2n + 1
2n
2n + 1
r.ml tiplicando miembro a miembro se obtiene:

u
> 4
3
y como
u
3
2
.........
.. 56 . 78 ...........
.
5
4
7
6
..........
..........
2n(2n + 2)
(2n-1) (2n+l)
(2n
(2h
1) (2n + 1)
(2n)
2)
51.
resulta:
u
2 .> 4
8
6
........
".
..........
2n(2n + 2)
2n
2n + 2
2
de donde
u
>
\jn + 1
co
resultado que establece la divergencia de la sucesi n.
Ejercicio 6.Establecer la divergencia de la sucesi6n:

1 +
log 2
109 3 + + log n
Sol:
Para todo nmero natural n se tiene lOn > n, luego
n > log n
as entonces, dando a
log n
n
>
.!.
n
los valores 2, 3, ..... n y sumando
queda:
a
+ . + -
de donde:
lim n
= co
Ejercicio 7. Calcular el lmite de la sucesi6n:
52.
Sol:
1
n - 1
2
1
l
;::_
a
2
+
2
;2
,
.J.
r:
..,n .;.
......
")3
+ n-1 +
2n
2
"-
J.
4 +
= 1 +
2n
4, ya que de acuerdo con el criterio de Stolz,

te:-1cmos:
(n
lim - 2n- 1
1)
lim
lim
2n - 1

n
+ (n + 1) !
(k
1
n
;
J_
[~:
1
(n + 1) !
k+l-1
( 1~ + 1
-r:
1) !
1
1
(k + 1)
!]
implica
lim a
= 1
53.
Ejercicio 9.-
Calcular el l!mite de la sucesi6n:

3
an
?--:-? +
""
2
2
2n + 1
. 32
32 . 42
2
n
(n
+ 1)2
Sol:
lim
..
n
k=n
2k + 1
kal
k: 2 (k + 1)2
.2
2
lirn
lim E
.,
1)2
.. lim
... lim
Ejercicio 10.Calcular el l!mite de la auces16n:
!21
log (1 +
(Je
~~~~)
109
k(k + 2)
+ 1) 2
k{k + 2)
E 2 log(k + 1) - E log k - E log (k + 2)
54.
log 2 + log{n + 1) - log(n + 2)
an
luego:
lim n
lim
[1ag 2 + lag
lag 2
Ejercicio 11.Si una sucesin {an) de trminos no negativos

tiene lmite a, se tiene a :;.,. O.
Sol:
Supongamos a
hay
O, entonces - a
<
>
O y como por hiptesis
tal que:
1a
to~ando
- a
1 <
E= -a/2,
n >
\!
~J
se tiene para algun k > N:

<
de dar.de:
ak < ~
afirmacin contraria a la hiptesis, pues {a ) no tiene trmin
nos negativos, as entonces:
lim a
~o.
Ejercicio 12.Sabiendo que

~ucesin:
iai
<
1, calcular el lmite de la
SS.
(1
+ a)
(1
2
4
a ) (1 + a )
(1 + 2
n-1
)
Sol:
Tenemos:
1
1
zk
k-1
k-1
luego:
= 1 + a
22
23
de donde
1 -
2n
--- n-1
2
1 --
--22
- a
l
,,:n
a~
liri.
1 - a
1 - a
Ejercicio 13. Si O < a

lim sen
<
1T
2 , demostrar que:
lim cos
=1
Sol:
Para establecer el primer lmite basta observar que:
O < sen n
<
!n
para mostrar la segunda tesis tenemos:

O < 1 - cos
~ =
2 sen
o sea
<
2
a
a
1 - cos n < 2 n
::1n < 2
( 2~) 2
2n
57.
Ejercicio 15.Calcular el lmite de la sucesin:

1
+ ... +
yn2 + n
Sol:
Tomemos las sucesiones auxiliares
l.
n
1
a"
\)n2
l/n2 + n
/ n2 + n
+ 1
+ +
l/n2 + 1
Vn2
+ i
ellas son respectivamente minorante y mayorante de la sucesin

dil.d a,
1 u ego:
lf.:'1. a ,
< a
<
1.
Ej<J1:cicio l(;.Culcular el lnite de la sucesin

1
.L
'" n
--- -- -- + ----- -- _,
~- 1 Vn;~ + /
\fn?.
Vn2 + 2n + 1
58.
':l.'omando las sucesiones auxiliares
a' =
n
Vn2 + 2n + 1 Vn2 + 2n + 1
a' =
n
a"
...
Vn2 + 2n + 1
2n + 1
+ 2n + 1
Vn2
Vn2 + 1
....
Vn2 + 1
Vn2 + 1
2n + 1
vn2 + 1
resulta:
2n + 1
n2 + 2n + 1
de donde: lim a
<
<
2n + 1
n
+ 1
= 2
Ejercicio 17.Calcular el lmite de la sucesin

a
cos n (~)
Sol:
a
1 -
cos
= 2 sen 2
multiplicando por cos
a
n
2n
2n
(~) < 2(~)
> O, resulta:
. cos
a
(-) 2
n
59.
cos
(~)
- cos 3 (~)
n
n
(~)
n
<
cos
2 ~ <
n
-----------------------------------------cos
n-1
Sumando miembro a miembro las n desigualdades establecidas,

queda:
1 - cosn (~) < n
(~J
1 - cosn (~)
< -
o bien
O
de donde haciendo
~ender
lim (1 - cosn ~)
n
<
n a infinito se obtiene:
lim cosn (~) = 1
I:jercicio 18.Calcular el lmite de la sucesin:
n =
3
1
2 -
3
7
2 3 + 3
+ (-l) n-1 _ _2_:1 __:1:_1_~

n(n + 1)
Sol:
Para el sumando de orden k se encuentra fcilmente que:
2k + 1
k(k + 1)
60.
luego:
1 - 2n + 1
=1
+ 2n + 2
. c1e donde:
lirn a 2 n
lirn a 2 n + 1 = 1
lirn a n
lo que garantiza que:
Ejercicio 19.Calcular el lfnite de la sucesi6n:
an
= r-:--:-n
l
1
1
+ 2 ( n ..- 1 ) + 3 ( n - 2 ) + .. + n 1
Sol:
1
El sumando de orden k es k(n _ k + l)
y para l, descom-
poniendo en fracciones parciales, se tiene:

l
,,..._,--...---.,...
=
k + 1)
}: (n -
(~ + n
n + 1
1
+ !)
n - 1
n
1)
luego:
2
a n == n + l
.!.
(1 +
+ 1 +
i\s].:
lirn a = 2lim
n
lirn a
,.,
,,_
+ 2 + 3 +
n + 1
lir:t
.....
1
n
.o=
+ n
61.
Cnlcular el limite de la succsi6n:

a
Ln
n
Sol:
.
n Ln
.
1 im
= 1 ira L -V n
lim a n
n 11.j
n
I. l in
= L 1 = O
Si:=.E_cicio 21. -
Calcular
a
Sol:
J.f:1itc rlc ln sucesin
~l
~ ~/(n
n!
(Teorema 19)
l .i.rr,
V
-
Hn-V~
-
(n + l)n
-------- -- - - - -
32
.
;;2
43
n
(n
iyn
- ..., ..... ----n

JJ
n
n + 1
- .1.f.1
62.
lim ( 1 +
!.)
n =e
n
Ejercicio 22.Calcular el
Sol:
Teor~
(corolario del
lim a
lirr
l~ite
nf;!
n-
a 19)
n -
(n - l)n-1
n!
= lirn
i1
de la sucesi6n:
1 n-1
lim ( - - )
------ =
(n -
1)
lim
(l
~-~~-
+ _l_)n-1
n -

con n > 2
Sol:
(Corolario teorema 19)

lim n = lim
"Fn
= lirn L (n L~ l)
y por criterio de Stolz, tenemos:
lima
= L(n
+ 1} - Ln
Ln - L (n - 1)
63
+ 1
nL
lim
lim
nL
+ n
}, (l
'
.J..
L(l + .!. n
n
1
n-1
+ L (1
1>
+ n
:::
1)
Ejercicio 24.Si p es nGrnero positivo, calcular el lmite de

la sucesin:
a
De
1ip
1) (p
2) (p
3) . . . . (p
n)
acuerdo con el corolario al teorema 19: tenemos:

lim
-{'1 /:::
= lirn
un
con u
n-1
> O
luego:
lim p + n (n - l)n-1
n
Ejercicio 25.Calcular el lmite de la sucesi6n
-~ lcn
y'
+ 1) (n + 2) (n + 3) .. (n + n)
Sol:
usando nuevamente la igualdad

lim ~ ;;-n = lim
V~n
un-1
64.
se obtiene sin dificultad:
lim a n
lim a
(n + n) (n + n
lim
1)
(n
2 lirn 2n
1)
- ln)
lim (n
e-
Ejercicio 26.calcular el lmite de la sucesi6n

n
= L (n ! )
con n > 1
n L n
Sol:
Tomando las sucesiones auxiliares:
un
= L (n!)
n L n
el cr). terio de Stolz nos d:

u
lim n = lim
lim
u
= lim
n + 1
n + 1
L;n + 1) ! -
n
n
L n!
(n + 1) L(n + 1) - n L n
lim
L
L(n + 1)
n + 1 n+ L n + 1
Ejercicio 27.Si n > 1, calcular el l!mite de la sucesi6n:
66.
nD +
o sea
lLm a
'1
lirn
. ~, l)p + l
tn
np + 1
(n
+ 1P
-m ~:--:-:-1----r-:- + 1 -"---------p-_-+--=-1
-)n~' + t' 2 - )np-1 + ..... + (p + 1)
(
l
11
li~1
p +
-~r
-~
--
I'
(1 + !P
---- _________n_ _ _ _ _ ___,,__
l
p + 1 1
Determinar el
a
Sol:
l~ite
de la sucesin:
a + b)n
a + e
(Teo?:ema 25)
(1
n
n
b _ l)n
a + e
= n a + e
b - e
(l
b -
n a + e
)n
67.
b - e
--- +e
resulta:
lim a n
= lim
b - c
E"ercicio 30.Calcular el lmite de la sucesi6n:
11
Rol:
.-
Sn
)6n - 7
2n 2 - n + 2
(Teorema 25)
lim (1 +
Sn
) 6n-7
2
2n - n + 2
lim
2n 2 -n+2
2
2n
-n+J;i
)
Sn
5rd6r,-7}
2n 2 -n+2
Sn
Como adems
2n
- n + 2
---'......-- 00
Sn
r~su:!.ta.
30n
lim a
:l
lim
- 35n
2
2n - n + 2
= elS
Ejercicio 31.-
Demostrar la existencia y calcular el limite de

la sucesi6n:
-va
= n(_n/a - J.:
''
con a > O
69 .
r , __ _
1-
r:' ',J,_1__ ~:~ ~ n,_~li~ __ -:_ __'2_.;.
<.:..
.~
( J_
n
t'C ~
Lf=r ...
2n)r!
. ;,1
n '.--
-i-
2n
n~_-
~-_,.
,1 ;o,
l)
r.(
GUE::da:
r \1
(1
.ljT
r~
~alcular
e1
..,
,_::.
C~!cul~ndo
A y
.i..
.,. 2 1
n de
l.; ., :: :-(~
de la sucesin:
-l
~0~0
~uo
Tj
-n.. r
')
k~
luego
,. J: --
i\k
U: - 1
+ nk se encuen--
7 3.
Ejercicio 37.-
Calcular el lmite de la sucesi6n
Sol:
De la conocj.Ja desjgnaJdad
(l
+ 1/n)n < e se deduce f-
cilmente que:
< 2 - ~-;- < 1
dando a n los valores 2,3,
-n1
n, y multiplican<lo miembro
a lftiembro las desigunld<1dcs notc.:in1as, resulta:
o
luego:
l:i a
<
( 2 --
"'
._;) {2
Ve> . .. . {2 - Ye)
<
.Ejercicio 32.Establecer la convergencia de la sucesi6n:

en
1 + 3
l + ....
l + 2
+!.
n
- L n
Haremos ver que en es una succsi6n decreciente y acotada

inferiormente.
F~cilmente
- en
=n
se encuentra que:
1
1
+ l - L(l + )
< O
78.
= -2(
y +E
+ Ln) + 2( y +
..... ,
f~
"-
luego
lim a
2L2 - 1
Ejercicio 44.Determinar el lmite de la sucesin:
r.--2 -
(-\JU+~
= n
2)
Sol:
Teniendo presente la igualdad algebraica:
3
X -
y 3 __ 2
X
+
y
tomemos
/a + ~
entonces:
= n (X -
luego:
(x -
y) (x2 + xy + y2)
X
n = n x2
an
y)-= n
=n
Jcs
lim a
xy
= 6l
+ xy + y
y2
8 + 2/n
2/n) + 2
~8
+ 2/n + 4
81.
Ejercicio 47.Si
!al
> l y 9 <O calcular el l!mite de la su-
cesi6n
Sol:
=- e y
Pongamos :
nido en E; +, 1.
sea p el mayor entero positivo conte-
Adem-s tornemos h > O de modo que a
1 + h,
entonces:
Inen
a I=
(l+h)n>(l+h)n
~~
_p
de donde
n
+ 1
>(
r'
ln 9
hp + 1
anl >
Ine anl
n(n
"
1) (n -
nP
hp + 1
>
(p + 1) !
(1
"!"
- !)
n
(1
2)
fn
~,
n
.....
1)
(n - ,E)
.....
(1 - E)n
n
y luego
'
lim n
11
= 00
Ejercicio 48.Si
cesi6n:
la!
< 1 y 9 > O calcular el lmite de la E~-
82.
Sol:
Sean p el mayor entero positivo contenido en
elijamos h de modo q11e
1a1 -
+ 1;
i + h
Tendremos:
para n > p + 1
In
jn
n,
nP
~
anl <
n
n
1 + ( )h + { )h2 +
2
1
n
)hp + 1 + + ( )hn
....
+
p + 1
nP
{n - p)
n(n - 1) (n - 2)
1 2 3
(~
ln 9 anl <
(1
!.)
(1
n
......
1) ! h
(p + 1)
hp + 1
-(p + 1)
-1
n
(1 .- E.)
n
!.)
n
luego
lim
ne
an =
Ejercicio 49.Si las sucesiones a
y b
convergen
mente hacia a y b, demostrar que la sucesi6n:
respectiv~-
83.
converge hacia ab.

Sol:
Hagamos K
=a
+ eK, con lirn 9K
O, entonces:
=a
+ b
+ . + b
1
2
~~~~~~~~~~nn
e1 b
e2 b
+
n - 1
n
El l!mite del primer sumando evidentemente es ab, bastar

entonces demostrar que el lmite de la segunda fraccin es cero.
Como la sucesin bn es convergente por hiptesis, ella
ser acotada, es decir hay un n11mero B > O tal que 1bn1 < B,
entonces:
2 +
n
y como
li~
en
= O,
queda establecida la tesis.
Ejercicio 50.Dadas las sucesiones n y bn por las f6rmulas

de concurrencia:
84.
n - 1 + bn - 1
2
con
a + b
a > b > O, se pide demostrar
que son convergentes a un mismo lmite.

Sol:
Operando algebraicamente es fcil establecer que:
a
a
n -
n 2-
n-1
Ahora como del enunciado se desprende que a

n
= 2,
>
b , haciendo
1
resulta:
asS: entonces:
1
3
< a
es decir a
n es decreciente
y acotada inferiormente y b
n es ere-
ciente y acotada superiormente, luego ambas tienen lmite.

Suponiendo que estos lmites son a y $, haciendo tender n a
infinito, la igualdad:
an
a n - 1 + bn - 1
de donde resulta a
s.
se convierte en a
a +
2

Sucesiones Cato

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Sucesiones Cato

Încărcat de

Drepturi de autor:

Formate disponibile

UNCVERSIDAD CATOLlCA DE CHILE

lng. MARIO RAUL AZOCAR

UNIVERSIDAD CATOLICA DE CHILE

lng. MARIO RAUL AZOCAR

Desde los estudios de

n'..lr:str;s alumnos estn familiarizados con el conjunto

nmeros reales, de tal modo que conocen y manejan con seguridad

racin llamada suma, que a::iocia

nt se define una ope

cada par o:cdei;ado de nmeros

reales: a y b un nmero real a + b, de tal modo que se cumplen

Para todo a e !P. y b e IR

D un nGrnero: O, tal que:

oraica conviene obsE:rvar que la pareja { JR, "'-} cc:.nst.i.-cuye u.t.

def ;.ne ..ina

raci6n llamada producto, que asocia a cada pareja. ordenac'.e. de

rifican las axiomas siguientes:

Ml) Para todo a e lR y b

existe un elemento a -l e rn,

Observamos al lector que el conJunto

tituye un grupo abeliano.

lR, b e JR y e e JR, se tiene:

En el conjunto IR, para cada par de

define una relaci6n binaria: "menor que" ex-

presada por el smbolo, <, de tal modo que se verifican los

e IR, se tiene que:

se tiene una y slo una de las

rl :onjunto IR de los ndrneros reales,

los axioma:; (DlJ.

(a>4) se dicen que

Desde estos postulados se obtiene

los teoremas usuales sobre desigualdades.

"menor que" se puede introducir sin

dificultad las relaciones

( 2_ ) "mayor o igual que", en efecto, basta tomar

significa (no a < b)

Creernos que no ocurre lo mismo

con el llamado axioma de completitud o axioma de completividad,

el que realmente permite diferenciar al campo de los nme-

ros reales de cualquier otro campo ordenado.Con el propsito de presentar en forma

b se llama cota superior del conjunto

Como ejemplo de conjunto acotado superiormente, podemos mencionar el conjunto

De acuerdo a la definicin anterior

s de nmeros reales es acotado supe-

riormente, ningn nmero de S es mayor que la cota superior b.

Finalmente, conviene observar que,

dice acotado inferiorrnente si existe un nmero real a, tal que:

El nmero a se llamo. cota inferior del conjunto

En todos ellos el nmero-a es cota inferior y el nmero bes

S tal que x > M

indicar que M es supremo del conjunto S, pondremos:

De acuerdo a esta definicin teneiaos

Mes cota superior de S.

M es la menor cota superior de

De esta observacin se infiere de

De todos modos para no dejar ninguna duda al respecto,

demostraremos esta afirmacin.

tiene un supremo, ste es nico.

supongamosque el conjunto S tenga dos supremos M , y M ,

iunto S frecuentemente se da por una formulacin equivalente

Un nfimero real M es supremo de un

- Mn, resulta M,..

s se verifican las dos condiciones in-

Reciprocamente sea M un nmero que