Aunque todos sabemoscomo sumardos o ms nmeros,no resultatan

claro cmo sumaruna cantidadinfinita de nmeros.En este captulo estudiaremosprecisamenteesacuestinal analizarel tema de lateora de seriesinfinitas. En ocasioneslas
seriesinfinitas consistende una sumafinita. como en
I,l,l,1

t+ 4*E*to+

...- t.

Esta suma se representaen forma geomtricapor medio de las reasde las obtenidasal
cortar sucesivamenteen dos el rea de un cuadradounitario como se muestra aqu. La
suma de las reasde los pequeosrectngulosy cuadrados da el readel cuadradounitario que ellos llenan.Al sumarcadavez ms trminosnos vamos aproximandogradualmenteal total.

Otrasseriesinfinitas no tienensumafinita, como sta:

l+2+3+4+5+-...
La sumase hace cadavezms grandeconformese agreganms y ms trminos.Al tomar
suficientestrminos,estassumasse r,'uelvenmayoresque cualquierconstantepreestablecida.
En el casode alsunasseriesinfinitas como la seriearmnica

,*+*l*1.+
-, l l

- "'

no es obvio si existeuna sumafinita. Es decir,no sabemoscon claridadsi al sumarms y

ms trminosnos acercamosa algn resultadodeterminado,o si la sumacrecesin cota.
A medida que desarrollemosla teora de sucesionesy seriesinfinitas, conoceremos
una importante aplicacin que nos proporciona un mtodo para representaruna funcin
diferenciable"/(x)como una suma infinita de potenciasde x. Con estemtodopodremos
ampliar nuestroconocimientode cmo evaluar,derivare integrarpolinomios a una clase
de funcionesmucho ms generalesque los polinomios. Tambin analizaremosun mtodo
para representaruna funcin como una suma infinita de funcionesseno y coseno.Este
mtodoseruna poderosaherramientaparanuestroestudiode las funciones.

746

1.1..1.
Sucesiones 7 47

Una sucesines una lista de nmeros

ENsnvo HISToRIcto
Sucesionesy series

lrA2.Q3r...rAttr...

representaun nmero.stosson los trminos

en un orden dado.Cadaat, a2,a3 etetera.
de la sucesin.Por ejemplo,la sucesin
2 , 4 , 6 , 8 , 10 , 1 2 ,. . . , 2 n ,. . .
como segundotrmi noe2: 4, y com o n- sim ot r ti e n ec omo pri mertrmi noat:2,
mino a,, : 2n. El enteror se denominandice de a,,,,e indica en dondeaparecea,,en la
lista. Podemosconsiderarla sucesin

-iIl

QIrA2rA3r...rArr...
JS

c o m o u n a f u n c i n q u e la l e a s i g n aa 1 , & 2 l e a s i g n a 2 , 3 3 l e a s i g n aa 3 , y , d e m a n e r a m s
general,al enteropositivon le asignael n-simotrmino a,. Esto nos lleva a la definicin
formal de sucesin.
r'l

.tt
T L q

:I.1

,ll-

Una sucesininfinita de nmerosesuna funcin cuyo dominio es el conjuntode

enterospositivos.

La funcin asociadaa la sucesin

2 , 4 , 6 , 8 , 10 , 1 2 ,. . . , 2 n ,. . .
geneEl comportamiento
a 1 le asignaat : 2,a2le asignaaz -- 4, y as sucesivamente.
ral de estasucesinse describepor medio de la frmula
ar:2n.
Igualmentepodemoshacer que el dominio de los enterosseamayor que un nmero
de estetipo.
dadone, y tambinpermitimoslas sucesiones
La sucesin
1 2 , 1 4 , 1 61, 8 ,2 0 . 2 2 . . .
se describepor medio de la frmula e, : I0 -l 2n. Tambinpuedehacersemediantela
frmula ms sencillabn : 2n, dondeel ndice n inicia en 6 y aumenta.Parapermitir este
tipo de frmulasms sencillas,permitimos que el ndice de la sucesinseacualquierentero. En la sucesinanterior,{o,} inicia cofl /1,mientrasque { b,} inicia con ,..El orden
e si m p o r t a n t Le a. s u c e s i 1n, 2 , 3 , 4 . . . n o e sl a m i s m aq u el a s u c e s i n 2 , 1 , 3 , 4 . . . .
Las sucesiones
puedendescribirseescribiendolas reglasque especificansuselementos, por ejemplo
or, :

\/,.
,l

b , ,: ( - l ) , ' * ' ; .
n-l
L/?

dn:

(-1)'t+l

748

infinitas
y series
1].:Sucesiones
Captulo
o bien, listandosustrminos,

{o,}: {\'4, {', {3, " ' ,li' ' "

:{' - t +-i .(-rY-'

+' \I
\b,\
{.n}:
{'} iii + }
+l

-1'-1'"''(-1)'
{rf',} {1,-1, 1,-1,

,"'l'

En ocasionestambinescribimos

{o,)

--

{l;}:'

de maneragrfica las sucesiones'

La figura I l.l muestrados manerasde representar
. Q,t,.. . se colocanen el eje real' El seEn la primera,los primerospuntos,at, a2,a3,. . ,
que define la sucesin'La funcin slo
gundo mtodo mrrestralu gr{rfi"a de la funcin
de algunospuntosen el plano xy'
estdefinida para entradasenteras,y la grfica consiste
u b i c a d oesn ( 1 ,a ) , ( 2 , a z ) , . . ' , ( n ,a , ) ," ' '

0 t1

Divergencias
0t

3
2

02 aj

012
u,r: \/i

(hAt

2 3 4 5

A1

(.)

1
I
ou: n
Convergencias
Para0

Q1

(t4

a5 t\

a1

gl
II
d, : (-l )'+

como puntosen la recpuedenrepresentarse

Las sucesiones
tarealocomopuntosenelplano,endondeelejehorizontalneselnmero
es su valor'
de ndice del trmino y el eje vertical l?

a un solo valor conforme el

En ocasioneslos nmeros en una sucesinse aproximan
ndice n erece.Esto ocurreen la sucesin

l,lll

\''z'3'4""'n"")
grande' y enla sucesin
cuyos trminos se aproximana 0 cuandon se hace

\
,1+'
{0,},?,1,+, I

1.1..1.
Sucesiones 7 49
cuyostrminosse aproximana 1. Por otra parte,sucesiones
como

{f r,ft, fi,. .., V;,...}

tienen trminos que se hacenms grandesque cualquiernmero a medida qven aumenta,
y las sucesiones
como

----+
U

oru.

ut

L-

aN

e L
--]_
l '

Lie
i

un

{1,

- 1 , 1 ,- 1 , l , - 1 , . . . , ( - l ) r n t , . . . }

que saltan de 1 a - I , y viceversa,nunca convergenen un solo valor. La definicin siguienterefleja el significadode tener una sucesinque convergea un valor lmite. Dice
que si aYanzamos
en la sucesintomando el ndice n mayor que algn valor 14 la diferencia entreany el lmite de la sucesinse hacemenor que cualquiernmeropreestablecido
e)0.

. .\ .
!es-r10

La sucesin{o,} convergeal nmeroZ si paratodo nmeropositivoe existeun

enteroi/tal que paratoda n

. , . 1.

ar+L si-y: Zesuna

,sntotahorizontalde la sucesinde pun.,s {(n, ar)} .En estafigura, todas7asa,
-. partir de a estna lo ms
.edeL.

3rocnnpe HrsrRlce
'ricoleOresme
- - a .1 3 2 0 - 1 3 8 2 )

-)

nll{

lo,-Ll

(e.

Si no existetal nmeroZ, decimosque {a,} diverge.

Si {ar} convergea z, escribimoslmn+cn ct1: L, o simplementea, --- L , y
llamamosa L el lmite de la sucesin(figura IL2).

Esta definicin es muy similar a la del lmite de una funcin.l(r) cuando tiende a oo
(lm'-oo /(x) en la seccin2.4).Explotaremosestaconexinparacalcularlmites de sucesiones.

Aplicacin
de |.adefinicin
Demostrarque
(b) limk:k
n-->@

(es cualquier constantefr)

(a) Seae ) 0 dado. Debemosdemostrarque existeun entero1/ tal que para todan,

nlr,,r =
3el

l+-ol..

Estaimplicacinse cumplesi (lln) ( e o n > lf e. Si Mes cualquierenteromayor

que llr, la implicacin se cumplir para toda n ) I{. Esto demuestra
u.
lmn--Qln):0.
(b) Seae > 0 dado. Debemosdemostrarque existeun enteroN tal que para todan
n)

l{

lk-kl<.

Como k - k : 0, podemosutilizar cualquierenteropositivo paraN y la implicacin

se cumplir. Esto demuestraquelm,- * k : k paracualquierconstantefr.

7s0

y seriesinfinjtas
CaptutoLL: Sucesiones

U nasucesi ndi vergente

D e m o s t r a r q luaes u c e s i { n1 , - 1 , l , - 1 , l , - 1 , . . . , ( - - l ) ' * ' . . . . } d i v e r g e .
Supongaque la sucesinconvergea algnnmeroZ. Eligiendoe : I 12 enla
definicin de lmite, todos los trminosde la sucesincon ndice n mayor que algunaN
debe estar a no ms de e : ll2 de l. Como el nmero I se repite tantasvecescomo
cualquierotro trmino de la secuencia,debemostener que el nmero I esta menos de
e : I 12 de distanciade L. De ello se deduceque lL - | | < 112,o de maneraequivalente, l12 < L < 312. De la misma forma, el nmero - I aparecede manerarepetidaen
la sucesincon un ndice arbitrariamentegrande. En consecuencia,tambin debemos
-3f2 < L < - 112. Per oel
te n erque l - (-1)l < l l 2 o, de maneraequi val ente,
( - 3 1 2 , - l l 2 ) , y a q u en o s e
n m e r oZ n o p u e d ee s t a re n a m b o si n t e r v a l o s( 1
, 1 2 , 3 1 2V
traslapan.Por lo tanto,no existeel lmite L y, en consecuencia,
la sucesindiverge.
Observeque el mismo argumentofuncionapara cualquiernmeropositivo menor
que 1, no slo paralf 2.
La sucesi
n {\l hmbin diverge,pero por una razndiferente.A medidaque n aumenta,sustrminosse hacenmayoresque cualquiernmerofijo. Describimosel comportamientode estasucesinescribiendo
oo.

m \Ct:
/?--too

Al escribirinfinito como el limite de una sucesinno queremosdecir que la diferenciaentre los trminosatl e cn se hagams pequeacuandozaumenta;tampocoestamosasegurando que existealgn nmero infinito al que se aproximela sucesin.Slo estamosempleandouna notacinque refleja la idea de que tardeo tempranorl?
se hacemuy grandey
resultamayor que cualquiernmerofijo a rnedidaque n aumenta.

La sucesin{o,} diverge a infinito si paratodo nmeroM existeun enterol/ tal

que paratodo r mayor que lV' a, ) M . Si se cumpleestacondicin,escribimos

De manerasimilar, si para todo nmeo nt existeun entero1/ tal que para todo
n ) N tenemose, 1nl, entoncesdecimosque {a,,} diverge a menosinfinito,
y escribimos
lim a,,:

-oo

ar+

-@

-->oo

Una sucesinpuededivergir sin que seaa infinito o a menosinfinito. Esto lo vimos

enel ejemplo
2 ; l a ss u c e s i o n {e ls, - 2 , 3 , - 4 , 5 , - 6 , J , - 8 , . . . } V { 1 , 0 , 2 , 0 ,3 , 0 , . . . }
tambinsonejemplosde talesdivergencias.

Si siempretuviramosque utilizar la definicin formal del lmite de una sucesin,trabajando con y y',el clculo de lmites de sucesionesserauna tareapesada.Por fortuna,
podemosdeducir unos cuantosejemplosbsicosy despusutilizarlos para analizarcon
raprdezlos lmites de muchasotrassucesiones.
Paraello sernecesarioque comprendendamoscmo combinary compararsucesiones.
Como las sucesiones
son funcionescon dominio restringidoa los enterospositivos,no es demasiadosorprendenteque los teoremas
acercade lmitesde fncionesdadosen el captulo2 tenganversionesparasucesiones.

1,1.1.Sucesiones 7 57

de nmeros reales, y sean Ay B nmeros reales.

Sean{a,} y {b,,} sucesiones
Las reglassiguientesse cumplensi lmr-- a, : A y lm,r-"o bn : B.
:t la
.1rV

1.

Reglade la suma:

\1110

2.

Regla de lu di.ferencia:

-- A + B
lmr-o. (an * bu)
lm,,--(an - br) : A - B

,de
1 \a ,r en

3.

Regla del producto:

l m r , - - ( . a r 'b r ) : A ' B

4.

Regla de la multiplicacin
por una conslanle:

lmr-"o(k. b,,) : k'B

(es cualquier nmero /r)

5.

Regla del c:ociente:

a,,
lm,,-r;,:E

:llos
el

siB#0

r) S

r'llOf

La demostracines semejantea la del teoremaI de la seccin2.2, por lo que la omitiremosen estecaptulo.

: au:Ior-

A pl i caci ndel teorema1

Combinandoel teoremaI con los lmites del ejemplo 1, tenemos

i eni3gu-

/ r\
|
(a) linr l-; l:-l'lm7--l'0:0
"/

i emrdey

(b) ri'.'r(+l:

/+OO'-

,+OO\

/,-

n-*!

t\

"

,/

l\

l m ( t - ; ) ":

r---m

lml-['l;:t
/

-0:l

tl

,?+o-

(c) lim 5' : 5. lm*' lim ) - s'o'o : o

"
tt+\)

,?+\

lf

A -'7n6

(d)

lm i^
/r+oo

n.

:
^-

"

,t+OO

(4fn6)-7

0_ 1

Seacuidadosoal aplicar el teorema1. Por ejemplo,en l no se dice que cadauna de

Por ejemplo,tanto
las sucesiones
{a,,} y {b,} tienelmitessi su suma{o, + b,,} lo tiene.
d
i
v
e
r
g
e
np. e r o s u s u m a .
c
o
m
o
{b,}: {-1,-2,-3,...}
{o,):{1,2,3,...}
: { 0 , 0 , 0 , . . . } , c l a r a m e n tceo n v e r gae 0 .
+
b
r
}
{o,
del teorema1 es que todo mltiplo diferentede cero de una suceUna consecuencia
sin divergente,{o,,} .diverge. Suponga1ocontrario,es decir, que {ca,} convergepata algn nmero c * 0. ntonces,tomandok : I lc en la regla de la multiplicacinpor una
constanteen el teorema1, vemosque la sucesin

It

'l

\ Z ' c a , ,l :
tlnos

,. ,

7an)

converge.Por 1otanto, {ro,} no puedeconverger,a menosque {4,,} tambinlo haga.Si

{ar} no converge,entonces{ror} no converge.
del teoremadel sandwich(llamadtr
El siguienteteoremaes la versinpara sucesiones
tambin delemparedado)que analizamosen la seccin2.2.En el ejercicio95 se pide que
demuestreel teorema.

. traba'rl'tU11&,
.lf con
",'nden-.ll do\rel1las
..r'S.

de nmerosreales'Si a,, < b, { c,,secumple

Sean{a,,}, {br\ y {c,} sucesiones
para toda n mayor que algn ndice { y lm,,-cx: att : lmn-o', c, : L' e11toncestambinlm,,-- b, : L

752

y seriesinfinitas
LL:Sucesiones
CaptuLo
inmediatadel teorema2es que,Silbrl = cnY cr- 0, entonces
Una consecuencia
-+ 0, ya que -c,? s b, 1 c,. Utilizaremosestehechoen el ejemplosiguiente.
A pl i caci ndel teoremadel sandw i ch
Como lf n --->0, sabemosque

(a) qY--o

yaque

- n I < c o s / ?< l .
n-n)

(b)#-o

yaque

0 <

yaque

- ! <I

.t

(c) (-l)"i-o

I = 1.
2'- n,
I

(-l)"i=.

La aplicacinde los teoremasI y 2 se ampli para dar lugar a un teoremaque establece que la aplicacin de funciones continuasa una sucesinconvergenteda por resultado una sucesin convergente.Enunciaremosel teorema sin rcalizar la demostracin
(ejercicio 96).
correspondiente

(1 )\
\

! /

QL,,',)
*

(l rri-r)
[3''
)

reales.Si a,---Z y si/es unafuncinconde nmeros

Sea{a,} unasucesin
--tinuaenL y definidaparatodaan, entonces
f (a,) f (L) .

3
delteorema
Aplicacin
quel@
Demostrar

+ W+

l.

S a b e m o s q u e+( nl ) l n - - + l . T o m a n df o
(x):
seobtieneI@ +1W --->fI : I .
#x
11

;-) /,

f,

VL :

I enelteorema3,

L as u c e s i {nz 1 l '
I

0
Cuando n __) @, I ln ___>

an : llr, f (*) : 2' , en el teorema3, vea 0. Tomando

La sucesin
{lln} converge
:
:20
:
1(figura11.3).
l.
Lasucesin
mosque211' f\.l--- f(L)
{2tl'} convergea

y 2tl' --- 20(ejemplo6).

El teoremasiguientenos permite utllizar la regla de I- Hpital para determinarlos lmites

En 1se formalizala relacinentrelmn-- a, y lim,-* /(x).
de algunassucesiones.

Supongaque/(x) es una funcin definida para toda x 2 no y que {a,}

sucesinde nmerosrealestal que a, : f (n) parun > fi'1.Entonces

: L
,tggfG)

,q

es una

a,: L.

Demostracin Supongaque lm,,-- /(x) : Z. Entonces,para cadanmero positivo e

existeun nmero M tal que para toda x,
x)

==)

l/(')-11 <.

1,1,.1Sucesiones 7 53
Sea,V un enteromayor queM y mayor que o igual ne' Entonces
=

nlN

a,:f(n)

lo,-Ll:lf(")-tl(e.

Ap[icacinde Lareg[ade IJHpitaL

Demostrarque
l nn

llm

,t+OO

,Ia-

u l:on

:U.

La funcin (ln x)f x estdefinida para toda x > 1, y coincidecon la sucesin

dadaen los enterospositivos.Por lo tanto, de acuerdocon el teorema5, lmn--Qnn)ln
ser igual a lm"----(lnx)lx si este ltimo existe. Una sola aplicacin de la regla de
LHpital demuestraque

'q+:,.rjg+:f : o
Concluimosque lm,--

(ln n)f n : 0 .

Cuando utilizamos la regla de L Hpital para determinar el lmite de una sucesin,

con frecuenciatratamosa rucomo si fueseuna variable continua real y derivamosdirectamenterespectode n. Esto nos ahorrael trabajode reescribirla frmulaparaan,como hicimos en el ejemplo7.
Ap[icacinde LaregLade IJHpitaL
Determinar
r J3 ,
llm-.

2"

n---->'x.. )h

Por medio de la regla de L Hpital (derivandocon respectoa n),

,3).

,lg#:,1gry
:

itites

Oo.

paradetermi narconver gencia

de Lareg[ade IJH pi taI
A pl " i caci n
La sucesincuyo z-simotrmino es

(n + r\"

an:\r-t/
an.
converge?De ser as,determinarlmn- cxt

El lmite conducea la forma indeterminada1*. Podemosaplicar la regla de

L Hpital, si cambiamosprimero la forma a oo ' 0 tomandoel logaritmonaturalde a,:

tvo

tnan:r"(;+)'

__ntn(;+)

754

L L :S u c e s i o nyesse ri eisn fi n i ta s
Captu to
Entonces,

'\

lim ln a,

/, +
:,ljL,r"(;=-i)

?->oc

,' n
- /\' , + l )
:

- r,

iim --,
|ln
,-o(

- z l @ 2- t )

:lim---,.,
-lltr
n-\
:

)-2

L t a

l ,

Ilffl
-t?-)oo n' -

Como|na,--->2yf(x):e"rescontinua,elteorema4nosdiceque
a,, :

etno'---> et '

e ae2.
L a sucesin { a,} converg

El teoremasiguienteproporcionaalgunoslmites que surgencon frecuencia'

siguientesconvergena los lmites que se listan:

Las seissucesiones

r. , ,

l nn

;--:o

z. m.Vi:
n+CX)

lim xtl' :

3.

(x>0)

i?--+oo

( l " l< 1 )

lmx':0

4.

2+OO

5.

/
lm Il+
l+m

.{l

n)

(cualquierx)

(- - Y

I Notacin factorial
I La notacinnt ("n factorial")significa
e l p r o d u c t o| ' 2 ' 3 ' ' ' n d e l o s e n t e r o s
de I a n. Observeque
( n + l ) ! : ( , + l ) ' n ! . P o rl o t a n t o ,
4 t : 1 . 2 . 3 . 4 : 2 4y
5 ! : 1 . 2 . 3 . 4 . 5 : 5 . 4t : 120.
Definimos0! como 1. Como sugierela
tabla,los factorialescrecenan ms
rpido que las exPonenciales.

1
5
10
20

e'(redondeado)

3l
148
22,026
4 . 9x 1 0 8

6.

lm4:0
n+Cx:

--->@ '
En las frmulas (3) a (6) r permanecefija conforme n
Demostracin El primer lmite se calcul en el ejemplo 7. Los siguientesdos pueden
y 94).
demostrarsetomando logaritmos y aplicando el teorema 4 (ejercicios 93
r
3'
restantesse dan en el Apndice
Las demostraciones
del teorema5
A P ti caci n

nl

r20
3,628,800
2 . 4x l 0 r 8

(cualquierx)

llt

(a)

l n (n2)
nn

2In n

(b) { r } :

n 2 l , - ( n t r n ' z - - - ( 1 ) 2I:

(c) \ / 3 , :

l.l
3tl,,(ilin)_+

1,1,.1,
Sucesiones 7 55

(d)

.-o
(-+)"

(e) (n .n')''

('

_,

- ?- l \ , ,
---) e -)
n)

(0 1!g ---o

Hasta ahora hemos calculado cadaa,, de maneradirectaa partir del valor de n; pero en
ocasioneslas sucesiones
se definen de manerarecursiva,dando
1.

El valor (o valores)del (de los) trmino(s)inicial(es),y

2.

Una regla,denominadafrmula recursiva,para calcularcualquiertrmino posterior

a partir de los trminosque le preceden.
construi das
de manerarecursi va
S ucesi ones

( a ) L a s a f i r m a c i o n east :

I y e , : a r - t I 1 d e f i n e nl a s u c e s i 7n , 2 , 3 , . . . , n ) . . . d e
e n t e r o ps o s i t i v o sC. o n a 1 : l , t e n e f i r oas2 : a t I I : 2 , a 3 :
e2+ I :3, y as
sucesivamente.

(b) L a sa f i r m a c i o naets: l y e n : t ' ! ' e n - 1

, n
1,2,6,24,...,fl1.,...
d e f i n e n l a s u c e s il
d e f a c t o r i a l e sC. o n a t : 1 , t e n e m o sa 2 : 2 ' a t : 2 , 3 : 3 ' a z : 6 , a 4 : 4 ' a 3
: 24, etctera.
( c ) Las afirmaciones at : l, a2 -- l, y anl t -- a,, * a, 1 definen la sucesin
I , 1 , 2 , 3 , 5 , . . . d e n m e r o s d e F i b o n a c c i .C o n a 1 : I y a z : 7 , t e n e m o s
+ l:3,as:3
+ 2:5,yassucesivamente.
a3: | * I :2,e4:2
(d) Como podemos ver al aplicar el mtodo de Newton, las afirmacioflesx6 : 1 y
- 2xr)] definen una sucesinque convergea
xr+t: x,, - [(senxr- r,,2\flcos.r,.,
una solucinde la ecuacinsen
.r2 : 0.

L.ostrminosde una sucesingeneralpuedenir de un valor a otro, a vecesmayores,a vecesmenores.Una claseimportantede sucesines aquellaen que cadatrmino es al menos
tan grandecomo su predecesor.

.1c-fl

Una sucesin{a,,} con la propiedadde qrrean = a,*1 para todan se llama sucesin no decreciente.

r_+).
I

no decreci entes
S ucesi ones
(a) L a s u c e s i 1n. 2 , 3 , . . . , n . . . . d e n m e r ons a t u r a l e s

.. | 2 3
,
(b) L
asuceslonZ
j . "4 .

n
"n+ t....

(c) La sucesinconstante{3}

756

y series
infinitas
].1:Sucesiones
Captulo
aquellascuyostrminosaumentanms
no decrecientes:
Existendos clasesde sucesiones
no lo hacen.
y
trminos
cuyos
all de cualquiercota finita, aquellas

Una sucesin{a,} est acotada por arriba si existe un nmero M tal que
an 3 M para todan, El nmeroM es una cota superior para {o,} . Si M es una
cota superiorpara {ar} pero ningn nmeromenor a M es una cota superiorpara
{o,}, decimosqueM es la mnima cota superior para{a,} .

Aplicacinde [a definicinparadeterminarlas cotas

( a ) L a s u c e s i 1
n , 2 , 3 , . . . , t r , . . . n o t i e n ec o t as u p e r i o r .
123
( b ) L a s u c e s i " ; ,j . i , . . . , ; ;

n
1,...

e s t a c o t a d pa o r a r r i b ap o r M :

l.

Ningn nmeromenor que I es una cota superiorpara la sucesin,por lo que 1 es la

mnimacotasuperior(ejercicio113).

( 5 ,d s )

( 8 ,a s )

Si los trminos de una sucesinno decrecientetieneuna cota superior M. entoncestienen un lmite L = M.

Una sucesinno decrecienteque estacotadapor arriba siempretiene una cota superior mnima. staes la propiedadde completezde los nmerosreales,que se analizaen el
Apndice4. Probaremosque si Z es la cota superiormnima, la sucesinconvergea L.
Supongaque trazamoslos puntos (1, at), (2, a), . . . , (n, a,), . .. en el plano 4t. Si M
es una cota superiorde la sucesin,todos estospuntos estarnsobreo por debajo de la
Ningunode
re c tay : M (fi gura 11.4).Larectay: L sermsbaj aconesapropiedad.
los puntos(n, ar) estarpor arriba de -y : l, pero algunosestarnpor arriba de cualquier
rectainferior y : L - e, si es un nmeropositivo.La sucesinconvergea L,ya que
(a) an 3 L para todos los valoresde n, y
(b) dadocualquiere
) 0,existealmenosunenteroNparaelqa
uu
e)

L - e.

El hechode que {a,} seano decrecientenos indica,adems,que

an 2 av) L - e

paratodan >- N.

Por 1otanto, todos los nmerose, posterioresal N-simo nmero estarna una distancia
la condicinparaque Z seae1lmite de la sucesin
menorque de Z. staes precisamente
.
Ianl
no decrecientesse resumenen el teoremasiguiente.
Las condicionespara sucesiones
no crecientes(ejercicio 107).
Un resultadosimilar se cumplepara sucesiones

Una sucesinde nmerosrealesno decrecienteconvergesi y slo si estacotada

por arriba.Si una sucesinno decrecienteconverge,lo hacea su mnima cota superior.

El teorema6 implica que una sucesinno decrecienteconvergecuandoestacotada

por arriba.Si no estacotadapor arriba divergeal infinito.