SUCESIONES Y SERIES NUMRICAS Mathema

Prof.: Christiam Huertas R. www.xhuertas.blogspot.com 1

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:

1
1

= +


n
n
e Lim
n
, o bien
0
1
!

=
=

n
e
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.
2 1.3.3.5.5.7.7.9.

,

que es la primera expresin conocida de
como lmite de nmeros racionales. Apareci
en la Arithmetica infinitorum en 1656.

Y se debe a Leibniz y Gregory la serie
obtenida a partir del arco tangente

1 1 1 1
1
4 3 5 7 9

= + +

Otro nmero con nombre propio es la
constante de Euler cuya definicin se hace
tambin como lmite de sucesin

1 1 1
1
2 3

= + + + +

n
Lim 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

1
10

=
+

n
n
n
a
N

donde N es un nmero entero y
n
a 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.
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
0
!

=
=

n
x
n
x
e
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.

: , con: ( ) =
n
f B f n a

donde
n
a se conoce como el trmino general
(o trmino n -simo) de la sucesin, y a la
sucesin se le simboliza por:

1
{ }

= n n
a , o bien por { }
n n
a , o simplemente
por { }
n
a .



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.
{ } { }
3 4 5
1, 2, 3, 4, 5, =
n
n
3.
1 3 2 5
1 ( 1) . 0, , , ,
2 3 4

+ =

n
n

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

Sucesiones recurrentes:
Son sucesiones cuyos trminos se definen en
funcin de los anteriores (definicin inductiva
o recursiva). Un ejemplo muy citado de este
tipo es la sucesin de Fibonacci, dada por

5.
1 2
1 1
{ } tal que 1, 1,
,
+ +
= =
= +
n
n n n
a a a
a a a n

Cuyos primeros trminos son 1, 1, 2, 3,
5, 8, 13, 21, 34, . . .

6. Sea la sucesin { }
n
z tal que
0
2
1
0 (trmino inicial)
(relacin de induccin)
+
=

= +

n n
z
z z c

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. { }
n
S tal que
2
( , ,1/ ) =
n
S n n n
entonces
{ } {(1;1;1), (2;4;1/2), (3;9;1/3), } =
n
S es
una sucesin en
3
.

8. { ( )}
n
f x tal que
( )
( ) =
n
sen nx
f x
n
entonces
(2 ) (3 )
{ ( )} ( ), , ,
2 3

=

n
sen x sen x
f x sen x
es una sucesin de funciones.

Sucesiones Montonas
Sea { }
n
a una sucesin de nmeros reales,
diremos que { }
n
a es una sucesin

Creciente si

1 +
<
n n
a a n

Decreciente si

1 +
>
n n
a a n

No decreciente si

1 +

n n
a a n

No creciente si
1 +

n n
a a n

Ejemplo:
Sea la sucesin { }
n
a tal que
1 1
1
2
= + + +
n
a
n
, vemos que
1
1 1 1 1
1
2 1 1
+
= + + + + = + >
+ +

n n n
a a a
n n n

de donde
1 +
>
n n
a a , n ; por lo tanto
{ }
n
a es una sucesin creciente.

SUCESIONES Y SERIES NUMRICAS Mathema

Prof.: Christiam Huertas R. www.xhuertas.blogspot.com 2


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

Se dice que la sucesin { }
n
b es acotada
inferiormente si existe una constante K tal
que
n
b K , para todo
+
n .

Se dice que una sucesin { }
n
a es acotada, si
es acotada superior e inferiormente, es decir
existe una constante
0
0 M tal que
0
| |
n
a M , para todo
+
n .

Lmite de una sucesin
Si los trminos de una sucesin { }
n
a 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 ( cuando )

=
n n
n
a L a L n

Ms precisamente la sucesin { }
n
a converge
a L , si dado un nmero cualquiera 0 > , es
posible la determinacin de un nmero natural
N tal que si | | <
n
n N a L

En forma simblica:
lim 0, /
| |

= >
<
n
n
n
a L N n N
a L


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


Definicin: Una sucesin que tiene lmite se
le llama sucesin convergente, en caso
contrario la sucesin se dice divergente.

Ejemplo:
Demuestre que
1
3 1 3

n
n
Lim
n
.

Resolucin:
Debemos demostrar que para cualquier 0 >
existe un nmero natural N tal que
1
,
3 1 3
< >

n
n N
n

Por lo tanto debemos encontrar un N tal que
1
,
9 3
< >

n N
n

Pero
1
9 3
<
n
es equivalente a
1 3
9

+
> n ,
luego basta tomar
1 3
9

+
> N ; es decir
1 1 3
0, /
3 1 3 9
1
3 1 3

= > > >

<

n
n
Lim N n N
n
n
n


Ejemplo:
Dada la sucesin { }
n
a tal que
1 1
2 ( 1)
2 ( 1)
+ +
+
=
+
n n
n n n
a , calcule su lmite.
Resolucin:
1
1 1 1
1
1 ( 1) 1
2 ( 1) 1
2 2 2
( 1) 2 ( 1) 1 2
1
2
+
+ + +

+

+
+
= = =
+
+
n
n n
n
n n n
n n
n
Lim Lim .

Teorema 1: Si { }
n
a es una sucesin de
nmeros no negativos y si lim

=
n
n
a L ,
entonces 0 L .

Demostracin: Supongamos que 0 < L .
Entonces para
2
=
L
existe N tal que
| | ( ) | |
2 2
2 2 2
< <
< < <
n N
N N
L L
a L n N a L
L L L
L a a L

o sea que
2 2
< =
N
L L
a L luego 0 <
N
a , as
los trminos de la sucesin son negativos, lo
cual es contradictorio ( ) . Luego 0 L .


Teorema 2: Si una sucesin { }
n
a es
convergente, entonces su lmite es nico. Es
decir, si

=
n
Lim L y

=
n
Lim M entonces
= L M .

Demostracin: Dado 0 > existen
1
N y
2
N tales que
1
2
| |
2
| |
2

<

<

n
n
n N a L
n N a M

Tomando entonces
1 2
max{ , } = N N N se tiene
que
| | | | | |
+| |
= + +
<
n n n
n
L M L a a M L a
a M

Luego | | < L M , y como es arbitrario
se tiene que = L M .

Teorema 3: Si la sucesin { }
n
a es
convergente, entonces es acotada.

Demostracin: Supongamos que

=
n
n
L Lima .
Entonces dado 1 = , existe N tal que
| | 1 ( ) <
n
a L n N . Esto implica
| | | | 1 ( ) < +
n
a L n N , pues
| | | ( )| | | | | = + +
n n n
a L a L L a L .
Si tomamos
1 2 1
max{| |, | |, , | |}

=
N
M a a a
entonces tenemos
| | | | 1 ( ) < + +
n
a M L n N , lo cual
demuestra que la sucesin { }
n
a es acotada.


Teorema 4 (sobre lmites de sucesiones):
Sean { }
n
a y { }
n
b dos sucesiones
convergentes a L y M respectivamente y c
una constante, entonces

1. lim

=
n
c c
2. lim . .lim .

= =
n n
n n
c a c a c L
3. lim( ) lim lim

+ = + = +
n n n n
n n n
a b a b L M

Demostracin:
|( ) ( )| |( ) ( ) |
| | | |
+ + = +
+
n n n n
n n
a b L M a L b M
a L b M

Por hiptesis, si 0 > existe un nmero
natural
1
N tal que si
1
n N entonces
| |
2

<
n
a L ; asimismo, existe un
nmero natural
2
N tal que si
2
n N ,
entonces | |
2

<
n
b M . Por tanto,
1 2
sup{ , } = N N N , se deduce que si
n N entonces
|( ) ( )| | | | |

2 2


+ + +
< + =
n n n n
a b L M a L b M

Puesto que es arbitrario, se tiene que
lim( )

+ = +
n n
n
a b L M .

4. lim( . ) lim .lim .

= =
n n n n
n n n
a b a b L M
5.
lim
lim , si 0
lim

= =


n
n n
n
n n
n
a
a L
M
b b M


Teorema 5: Si { }
n
a es una sucesin acotada
y { }
n
b es una sucesin convergente a 0,
entonces la sucesin { . }
n n
a b converge a 0.

Teorema 6: 0, si 0 1

= < <
n
n
Limr r .

Demostracin: De acuerdo a la definicin de
lmite de sucesiones: 0 > , buscaremos un
nmero N , de tal manera que | 0| <
n
r ,
> n N . Continua ..




http://chr1614.googlepages.com/home