SUCESIONES

DEFINICION Se denomina sucesin a una funcin cuyo dominio es el conjunto de los nmeros naturales. Para denotar el n-simo elemento de la sucesin se escribe a n en lu ar de f!n". Ejemplo: an # $%n a$ # $& a' # $%'& a( # $%(& a) # $%)& ... Sucesin montona creciente Una sucesin es montona creciente si se cum*le +ue *ara todo n natural a n ,# an-$ !a$ ,# a' ,# a( ,# ... ,# an". Ejemplo: an # n es montona creciente. a$ # $& a' # '& a( # (& a) # )& ... Sucesin montona decreciente Una sucesin es montona decreciente si se cum*le +ue *ara todo n natural a n .# an-$ !a$ .# a' .# a( .# ... .# an". Ejemplo: an # $%n es montona decreciente. a$ # $& a' # $%'& a( # $%(& a) # $%)& ... LMITE FINITO DE UNA SUCESIN Consideremos la sucesin an # $%n. a$ # $ a' # $%' # /.0 a( # $%( 1 /.(( a) # $%) # /.'0 a0 # $%0 # /.' a2 # $%2 1 /.$3 a3 # $%3 1 /.$) a4 # $%4 1 /.$' a5 # $%5 1 /.$$ a$/ # $%$/ # /.$ 6 medida +ue aumenta n& los trminos de la sucesin son cada 7e8 m9s cercanos a /. Si re*resentamos los trminos como *untos en una l:nea& esto si nifica +ue los *untos a n se a*i;an cada 7e8 m9s cerca del *unto / conforme n crece.

Se dice +ue an tiende a /& o +ue tiene l:mite /. Se e<*resa simblicamente *or= lim an # / o bien& ocasionalmente& *or la notacin abre7iada a n -. /.

>:mite finito lim an # a ,#. *ara todo ?./ e<iste N natural % *ara todo n . N a - ? , a n , a - ?& o lo +ue es lo mismo& @an - a@ , ?. Para cual+uier nmero *ositi7o ?& *or *e+ue;o +ue sea& *odemos encontrar un natural N suficientemente rande tal +ue a *artir del :ndice N en adelante se tiene +ue @a n - a@ , ?. Es decir& si tomamos un entorno de a de cual+uier radio siem*re Aabr9 un sub:ndice N tal +ue desde N en adelante todos los trminos de la sucesin *ertenecen a dicAo entorno. >:mite infinito de una sucesin Consideremos la sucesin an # n'. a$ # $ a' # ) a( # 5 a) # $2 ... a$/ # $// ... a$// # $/./// 6l crecer n& an no tiende a un l:mite definido& sino +ue crece m9s all9 de toda cota. Se dice +ue an tiende a infinito. >:mite infinito lim an # -inf ,#. *ara todo B./ e<iste N natural % *ara todo n . N a n . B. Para cual+uier nmero *ositi7o B !tan rande como se +uiera"& *odemos encontrar un natural N& tal +ue aN y todos los trminos si uientes son mayores +ue B. Esto +uiere decir +ue a n *uede Aacerse mayor +ue cual+uier cota& con tal de +ue n sea lo suficientemente rande. Cel mismo modo se define lim an # -inf ,#. *ara todo B,/ e<iste N natural % *ara todo n . N an , B. CONVERGENCIA Y DIVERGENCIA Cuando una sucesin tiene l:mite finito a se dice +ue es con7er ente y con7er e a a. Una sucesin +ue tiene l:mite infinito se llama di7er ente. Una sucesin +ue carece de l:mite se llama oscilante. >a sucesin an # $%n con7er e a /. >a sucesin an # n' es di7er ente. >a sucesin an # sen n es oscilante& *ues sus 7alores 7ar:an entre $ y -$. Pro*iedades del l:mite finito de sucesiones Unicidad del l:mite Si una sucesin tiene l:mite es nico. D" lim an # b E" b es nico Demostra !"#: >a demostracin se Aace *or reduccin al absurdo. Su*onemos +ue an tiene dos l:mites distintos b y c. Su*onemos +ue b . c. lim an # b #. !*or def. de l:mite finito de una sucesin" *ara todo ?./ e<iste n$ natural % *ara todo n . n$ b - ? , an , b - ?F

lim an # c #. !*or def. de l:mite finito de una sucesin" *ara todo ?./ e<iste n' natural % *ara todo n . n' c - ? , an , c - ? Consideremos un ? tal +ue c-? , b-?& o sea ? , !b - c"%'

Sea N # ma< Gn$&n'H Para todo n . N se cum*le b - ? , an , b - ? c - ? , an , c - ? 6bsurdo& *ues an no *uede *ertenecer a dos entornos disjuntos. 6bsurdo de su*oner b I c. Por lo tanto b # c. >:mite de la sucesin com*rendida Si una sucesin est9 com*rendida entre otras dos +ue tienen i ual l:mite& entonces tiene el mismo l:mite. D" lim an # lim bn # * Para todo n . n/ an ,# cn ,# bn E" lim cn # * Demostra !"#: lim an # * #. !*or def. de l:mite de una sucesin" *ara todo ?$ . / e<iste n$ natural % *ara todo n . n$ * - ? $ , a n , * - ? $ lim bn # * #. !*or def. de l:mite de una sucesin" *ara todo ?' . / e<iste n' natural % *ara todo n . n' * - ? ' , b n , * - ? ' Sea N # ma< Gn/& n$& n'H Para todo n . N se cum*le *-?$ , an ,# cn ,# bn , *-?' *-?$ , cn , *-?' Sea ? # min G?$& ?'H Para todo n . N *-? , cn , *-? !*or def. de l:mite de una sucesin" lim cn # *. O$ERACIONES CON LMITES El l:mite de la suma& *roducto y cociente de sucesiones se determina *or las mismas re las +ue *ara las funciones de 7ariable continua. >as demostraciones son i uales& basta sustituir f!<" *or an y considerar +ue la tendencia siem*re es Aacia -infinito. 6+u: slo demostraremos el l:mite de una suma. Para 7er las dem9s re las 7isitar la *9 ina sobre o*eraciones con l:mites. >:mite de la suma Si dos sucesiones tienen l:mite finito& entonces su suma tiene l:mite finito y es i ual a la suma de esos l:mites. D" lim an # a& lim bn # b E" lim an - bn # a - b Demostra !"#: Jueremos *robar +ue& dado ? . /& e<iste N . / tal +ue *ara todo n . N @!a n - bn" - !a-b"@ , ?. Sea ?K # ?%'

lim an # a #. !*or def. de l:mite finito de una sucesin" *ara todo ?K . / e<iste n/ natural % *ara todo n . n/ @an - a@ , ?K. lim bn # b #. !*or def. de l:mite finito de una sucesin" *ara todo ?K . / e<iste n$ natural % *ara todo n . n$ @bn - b@ , ?K. Sea N # ma< Gn/& n$H Para todo n . N se cum*le= @an - a@ , ?K @bn - b@ , ?K #. @an - a@ - @bn - b@ , '?K # ? @!an - bn" - !a-b"@ # @!an - a" - !bn - b"@ ,# !L" @an - a@ - @bn - b@ , ? !L" Cesi ualdad trian ular= @< - y@ ,# @<@ - @y@ Mesumiendo& dado ?./ e<iste N % *ara todo n . N @!an - bn" - !a-b"@ , ? !*or def. de l:mite finito de una sucesin" lim an - bn # a - b Sucesiones e+ui7alentes Cos sucesiones se dicen e+ui7alentes cuando el l:mite de su cociente es $. Sucesin acotada N es cota su*erior de la sucesin an si an , N *ara todo n. m es cota inferior de la sucesin an si an . m *ara todo n. Una sucesin es acotada si tiene tanto cota su*erior como inferior. Eeorema Eoda sucesin montona y acotada con7er e. D" an montona E<isten m y N % m , an , N *ara todo n. E" lim an # b Demostra !"#: an es con7er ente& eso si nifica +ue tiene l:mite finito= lim a n # a #. !*or def. de l:mite finito de una sucesin" *ara todo ?./ e<iste N % *ara todo n . N a-? , an , a-? #. !*or def. de sucesin acotada" an est9 acotada. Nota: El rec:*roco no es cierto. Jue una sucesin est acotada no im*lica +ue sea con7er ente. Contraejem*lo= an # !-$"n est9 acotada *ero no es con7er ente. -$& $& -$& $& -$& $& -$& $& ...

SEMIES
En matem9ticas& una ser!e es la suma de los trminos de una sucesin. Se re*resenta una serie con trminos an como

donde N es el :ndice final de la serie. >as series infinitas 7an desde $ Aasta

>as series convergen o divergen. En c9lculo& una serie di7er e si con7er e a infinito. Para otros& una serie di7er e si no con7er e a nada. Pero matem9ticamente& *odemos decir +ue la serie con7er e en la recta e<tendida

ALGUNOS TI$OS DE SERIES

Una serie geomtrica es una serie en la cual cada trmino se obtiene multi*licando el anterior *or una constante. Ejem*lo=

En eneral& *ara las series eomtricas

Oscila si z # !-$"& di7er e si @z@ >= $ o con7er e si @z@ , $. >a serie armnica es la serie

>a serie armnica es di7er ente. Una serie alternada es una serie donde los trminos alternan el si no. Ejem*lo=

CRITERIOS DE CONVERGENCIA

Clasificar una serie es determinar si con7er e a un nmero real o si di7er e ! u oscilante". Para esto e<isten distintos criterios +ue& a*licados a la serie en cuestin& mostrar9n de +ue ti*o es !con7er ente o di7er ente"..

Co#%! !"# #e esar!a

Si una serie

es con7er ente& entonces

El rec:*roco no es cierto. Por ello& el contra rec:*roco es=

Si Cemostracin= Por Di*tesis=

entonces

es di7er ente

Sk # a$ - a' - ... - ak *ara todo s ? Sabemos +ue Sk O $ # a$ - a' - ... - ak O $ y +ue Por lo tanto teniendo en cuenta +ue Sk O Sk O $ # ak entonces *ara todo s ?

Jueda demostrada la *ro*osicin.

CRITERIO DE D&ALEM'ERT O CRITERIO DEL COCIENTE

Sea una serie Si e<iste

& tal +ue ak . / ! serie de trminos *ositi7os".

con

& el Criterio de CK6lembert establece +ue= si l , $& la serie con7er e. si l . $& entonces la serie di7er e. si l # $& no es *osible decir nada sobre el com*ortamiento de la serie.

En este caso& es necesario *robar otro criterio& como el criterio de Maabe.

CRITERIO DE CAUC(Y )RA* EN+SIMA,

Sea una serie e<iste

& tal +ue ak . / !serie de trminos *ositi7os". P su*on amos +ue

& siendo Entonces& si=

l , $& la serie es con7er ente. l . $ entonces la serie es di7er ente. l#$& no *odemos concluir nada a *riori y tenemos +ue recurrir al criterio de Maabe& o de com*aracin& *ara 7er si *odemos lle ar a al una conclusin.

CRITERIO DE RAA'E

En al unas series& *uede ocurrir +ue ni el criterio de CK6lembert ni el de la ra:8 nos *ermitan determinar la con7er encia o di7er encia de la serie& entonces recurrimos al criterio de Maabe.

Sea una serie e<iste

& tal +ue ak . / !serie de trminos *ositi7os". P su*on amos +ue

& siendo Por tanto& si l . $& entonces la serie es con7er ente y si l , $& la serie es di7er ente Eener cuidado a+u:& *ues las conclusiones son al contrario +ue en los criterios de CK6lembert y de la ra:8.
CRITERIOS DE CONVERGENCIA COM$ARATIVOS

Son a*licables en caso de dis*oner de otra ser:e tal +ue se cono8ca su condicin& tal como la di7er encia *ara la ser:e eometrica. Entonces=
Cr!ter!o %e ompara !"# %!re ta ) %e la ma-ora#te o %e .a/ss ,

Si

Si Si

con7er e di7er e

con7er e di7er e

Cr!ter!o %e ompara !"# por paso al l0m!te %el o !e#te

Entonces=

Si l # / y

con7er e

con7er e

Si y di7er e di7er e En otro caso& ambas series com*arten la misma condicin !ambas con7er en& o bien ambas son di7er entes".

TI$OS DE CONVERGENCIA Co#1er.e# !a a2sol/ta

Una serie an con7er e a2sol/tame#te si

es una serie con7er ente. Se demuestra +ue una serie +ue con7er e absolutamente& es una serie con7er ente. >as series se utili8an en el an9lisis com*lejo y el an9lisis funcional& donde es rele7ante si una serie con7er e.