Está en la página 1de 2

SUCESIONES Y SERIES NUMRICAS

Introduccin:
Es interesante hacer una reflexin sobre el
papel de las sucesiones y series como
elementos de definicin de nmeros. Por
ejemplo, constituyen la manera de entender
los nmeros irracionales. Estos no se pueden
dar de forma exacta y nuestro conocimiento
prctico pasa por aproximarlos a travs de
sucesiones. Un ejemplo muy claro es el
nmero e que se puede definir a menudo de
una de las dos maneras siguientes:
n

1
1
e = Lim 1 + , o bien e = .
n
n
n = 0 n!

Se puede definir como la razn entre la


longitud de la circunferencia y su dimetro o,
como se hace modernamente, como el doble
del primer cero positivo de una cierta funcin
(la funcin coseno). Sin embargo, esas
definiciones no permiten conocer el valor
(aproximado) de y, con este fin, se recurre
a sucesiones y series. As ha sido desde la
antigedad: Arqumedes utilizaba una
sucesin de permetros de polgonos inscritos
en la circunferencia; Wallis dio la frmula

2.2.4.4.6.6.8.8.
,
1.3.3.5.5.7.7.9.

Mathema

Tambin se pueden definir funciones a partir


de sucesiones y series. El tratar de escribir una
funcin en forma de serie de potencias era ya
comn entre los analistas del siglo XVIII, que
aceptaban la serie como expresin de la
funcin. As solemos hacer tambin ahora
cuando definimos la funcin exponencial
como

xn
ex =
n = 0 n!
La serie converge para todo x real (e incluso
complejo) y aplicando las propiedades de las
series de potencias se deduce que la funcin
es indefinidamente diferenciable y que su
derivada es la misma funcin.
Sucesiones
Definicin: Una sucesin es una funcin cuyo
dominio es el conjunto de los naturales y su
rango es un conjunto arbitrario.
f:

B,

con: f ( n) = an

donde an se conoce como el trmino general


(o trmino n -simo) de la sucesin, y a la
sucesin se le simboliza por:

{an }n =1 , o bien por {an }n , o simplemente


por {an } .

que es la primera expresin conocida de


como lmite de nmeros racionales. Apareci
en la Arithmetica infinitorum en 1656.

=1

= Lim 1 +

1 1
+ +
2 3

Logn .
n

(Un problema abierto: todava no se sabe si


es un nmero racional o irracional)
Tampoco conviene olvidar que el desarrollo
decimal de un nmero real no es otra cosa que
la suma de una serie de la forma

a
N + nn
n =1 10

donde N es un nmero entero y an es un


entero entre 0 y 9.
Adems, ver los nmeros como lmites de
sucesiones apropiadas es una manera de
entender sus propiedades. Por ejemplo, la
representacin de e a travs de la serie
mencionada ms arriba permite probar
fcilmente que es irracional.
No olvidemos tampoco que en la construccin
de los nmeros reales a partir de los racionales
a la manera de Cantor, cada nmero real no es
otra cosa que una sucesin de Cauchy de
nmeros racionales.
Prof.: Christiam Huertas R.

{an } tal que a1 = 1, a2 = 1,


an +1 = an +1 + an , n
Cuyos primeros trminos son 1, 1, 2, 3,
5, 8, 13, 21, 34, . . .

6. Sea la sucesin {z n } tal que

(trmino inicial)
z0 = 0

2
zn +1 = zn + c (relacin de induccin)
donde z es un nmero complejo,
arbitrario pero fijo, y
usando un cierto
algoritmo
de
coloracin
de
puntos, resulta as el
conjunto
de
Mandelbrot.
Las sucesiones definidas por recurrencia
aparecen con frecuencia en clculos con
ordenadores.
Otros tipos de sucesiones
7. {Sn } tal que S n = (n, n 2 ,1/ n)
entonces
{S n } = {(1;1;1), (2;4;1/ 2), (3;9;1/ 3), } es
3

sen( nx)
entonces
n
sen(2 x ) sen(3 x)

{ f n ( x)} = sen( x ),
,
,
2
3

es una sucesin de funciones.

8. { f n ( x )} tal que f n ( x) =

1 1 1 1
+ +
3 5 7 9

Otro nmero con nombre propio es la


constante de Euler cuya definicin se hace
tambin como lmite de sucesin

5.

una sucesin en

Y se debe a Leibniz y Gregory la serie


obtenida a partir del arco tangente

o recursiva). Un ejemplo muy citado de este


tipo es la sucesin de Fibonacci, dada por

Observaciones:

Cuando los nmeros en el rango son


reales, se llamara sucesiones reales.

Cuando los nmeros en el rango son


complejos,
se
llamara
sucesin
compleja.

Cuando los nmeros en el rango es un


conjunto de m se llamara sucesin en
m
, y as sucesivamente.

Cada trmino de la sucesin lleva una


doble informacin: su valor y el lugar n
que ocupa.

Ejemplos:
1 1 1 1 1

1. = 1, , , , ,
2
3
4
5
n

2.

{ n} = {1,
n

2, 3 3, 4 4, 5 5,

1 3 2 5

3. 1 + (1) n . = 0, , , ,
n 2 3 4

4. {n 2 } = {1, 4, 9, 16, 25, }

Sucesiones recurrentes:
Son sucesiones cuyos trminos se definen en
funcin de los anteriores (definicin inductiva

www.xhuertas.blogspot.com

Sucesiones Montonas
Sea {an } una sucesin de nmeros reales,

diremos que {an } es una sucesin

Creciente si
an < an +1 n

Decreciente si
an > an +1 n

No decreciente si
an an +1 n

No creciente si
an an +1 n

Ejemplo:
Sea
la

sucesin

{an }

tal

que

1
1
vemos
que
an = 1 + + + ,
2
n
1
1
1
1
an +1 = 1 + + + +
= an +
> an
2
n n +1
n +1
de donde an +1 > an , n ; por lo tanto

{an } es una sucesin creciente.

SUCESIONES Y SERIES NUMRICAS

Se dice que una sucesin {an } es una


sucesin montona si es de alguno de los
tipos anteriores.
Una sucesin {an } se dice acotada
superiormente si existe una constante M tal
que an M , para todo n + .
Se dice que la sucesin {bn } es acotada
inferiormente si existe una constante K tal
que bn K , para todo n + .

Se dice que una sucesin {an } es acotada, si


es acotada superior e inferiormente, es decir
existe una constante M 0 0 tal que
| an | M 0 , para todo n

Lmite de una sucesin


Si los trminos de una sucesin {an } se

acercan a un nmero L , se dice que la


sucesin tiende al lmite L , (o que converge a
L ) y se denota por:

lim an = L ( an
L cuando n )

Ms precisamente la sucesin {an } converge


a L , si dado un nmero cualquiera > 0 , es
posible la determinacin de un nmero natural
N tal que si n N | an L |<
En forma simblica:
lim an = L > 0, N / n N
n

| an L |<
Esto es, a partir de un N -simo trmino todos
los elementos de la sucesin estn en un
entorno de L con radio .

Mathema

n
1
1 3
/n>N
=
> 0, N >
3n 1 3
9
1
n

<
3n 1 3

Lim
n

2n + (1) n
, calcule su lmite.
2 + (1) n +1
Resolucin:
1 (1) n
1
+ n +1
n
n
2 + (1)
1
Lim n +1
= Lim 2 2 n +1 = 2 = .
n 2
(1)
+ (1) n +1 n
1 2
1 + n +1
2
n +1

Teorema 1: Si {an } es una sucesin de

nmeros no negativos y si

| an | = | L + ( a n L ) | | L | + | a n L | .

Si tomamos M = max{| a1 |, | a2 |, , | aN 1 |}
entonces
tenemos
| an | < M + | L | +1 (n N ) ,
lo
cual
demuestra que la sucesin {an } es acotada.

Ejemplo:
Dada la sucesin {an } tal que
an =

| an | < | L | +1 (n N ) , pues

Teorema 4 (sobre lmites de sucesiones):


Sean {an } y {bn } dos sucesiones

convergentes a L y M respectivamente y c
una constante, entonces
1.
2.
3.

lim an = L ,

n
1
= .
n 3n 1
3

Resolucin:
Debemos demostrar que para cualquier > 0
existe un nmero natural N tal que
n
1
< , n > N
3n 1 3
Por lo tanto debemos encontrar un N tal que
1
< , n > N
9n 3
1
1 + 3
,
Pero
< es equivalente a n >
9n 3
9
1 + 3
luego basta tomar N >
; es decir
9
Prof.: Christiam Huertas R.

Por hiptesis, si > 0 existe un nmero


natural N1 tal que si n N1 entonces
| an L |<

Por

tanto,

N = sup{N1 , N 2 } , se deduce que si


n N entonces
| (an + bn ) ( L + M ) || an L | + | bn M |

<

Puesto que es arbitrario, se tiene que


lim(an + bn ) = L + M .

4.

tales que

n N1 | an L | < 2

n N | a M | <
2
n

2
Tomando entonces N = max{N1 , N 2 } se tiene
que
| L M |=| L an + an M || L an | +
+ | an M |<

Luego | L M | < , y como es arbitrario


se tiene que L = M .

{an }

| bn M |<

entonces

Teorema 3: Si la sucesin
convergente, entonces es acotada.

; asimismo, existe un
2
nmero natural N 2 tal que si n N 2 ,

Teorema 2: Si una sucesin {an } es


convergente, entonces su lmite es nico. Es
decir, si Lim = L y Lim = M entonces
n

| an L | + | bn M |

Supongamos que L < 0 .


L
Entonces para = existe N tal que
2
L
L
| an L |<
(n N ) | aN L |<
2
2
L
L
L
< L aN <
aN L <
2
2
2
L L
luego aN < 0 , as
o sea que a N < L =
2 2
los trminos de la sucesin son negativos, lo
cual es contradictorio ( ) . Luego L 0 .

N2

Demuestre que Lim

lim(an + bn ) = lim an + lim bn = L + M

Demostracin:

Demostracin: Dado > 0 existen N1 y

Ejemplo:

lim c.an = c.lim an = c.L

Demostracin:
| (an + bn ) ( L + M ) |=| (an L) + (bn M ) |

entonces L 0 .

L=M .

Definicin: Una sucesin que tiene lmite se


le llama sucesin convergente, en caso
contrario la sucesin se dice divergente.

lim c = c

es

Demostracin: Supongamos que L = Lim an .

5.

lim(an .bn ) = lim an .lim bn = L.M

a
L
lim n = n =
, si M 0
b
lim
b
M
n n n
lim an

Teorema 5: Si {an } es una sucesin acotada

y {bn } es una sucesin convergente a 0,


entonces la sucesin {an .bn } converge a 0.
Teorema 6: Lim r n = 0, si 0 < r < 1 .
n

Demostracin: De acuerdo a la definicin de


lmite de sucesiones: > 0 , buscaremos un
nmero N , de tal manera que | r n 0 |< ,
Continua ..
n > N .

Entonces dado = 1 , existe N tal que


| an L | < 1 (n N ) . Esto implica
http://chr1614.googlepages.com/home
www.xhuertas.blogspot.com