Вы находитесь на странице: 1из 6

U NIVERSIDAD D ISTRITAL F RANCISCO J OS DE C ALDAS , M ATEMTICAS

Lmite superior y lmite inferior

Edisson Arley Arcos


2 de junio de 2015

Este documento consiste en mostrar, que es un lmite superior y lmite inferior de una sucesin
de nmeros reales, algunos teoremas importantes y se presentan los procedimientos rigurosos
de sus demostraciones que en los libros dan como triviales, adems mostraremos algunos ejemplos.

1.

I NTRODUCCIN

El objetivo general de este documento, es definir las nociones de los lmites superior e inferior
de una sucesin. As que daremos dos definiciones equivalentes de ello, la primera del Tom
M. Apostol, Anlisis matemtico y la segunda del libro de Walter. Rudin Principios de Anlisis
matemtico.
Definicin 1. [1]Sea {sn } una sucesin de nmeros reales,y E el conjunto de los nmeros x (en
el sistema extendido de nmeros reales) tales que snk x para algunas subsucesin {snk }. Este
conjunto E contiene todos los lmites subsecuenciales, mas posiblemente los nmeros + y .
Y sea
s = supE
s = in f E

los numeros s y s se llaman lmite superior e inferior de {sn } y se nota


lm sup sn = s
n

lm inf sn = s
n

Definicin 2. [2]Sea { an } una sucesin de nmeros reales. Supongamos que existe un nmero
real U que satisface las dos condiciones siguientes:
i) Para cada e > 0, existe un entero N tal que n > N implica
an < U + e
ii) Dado e > 0, y dado m > 0, existe un entero n tal que n > m tal que
an > U e
Entonces U se llama el lmite superior de { an } y se escribe
U = lm sup an
n

Remark 1. La proposicin (i) implica que el conjunto a1 , a2 , . . . esta acotado superiormente. Si el


conjunto no esta acotado superiormente definimos
lm sup an = +
n

Remark 2. Si { an } es acotada, = lm inf an y = lm sup an , se deduce inmediatamente de la


n

definicin y del hecho que toda sucesin acotada tiene una subsucesin convergente, que para
cada e > 0, existe N N tal que
e < an < + e
para todo n >N.
Ejemplo: Sea { xn } la sucesin dada por:

0 si n = 3k para un k N

xn = n1 si n = 3k + 1 para un k N

n2 si n = 3k + 2 para un k N
Entonces

E = {0, +}
Observe que in f E = 0 y sup E = +
Ejemplo: Sea { xn } la sucesin dada por:

1 si n

n1
si n

xn = n2 si n

1
si n

n
si n

= 5k para un k N
= 5k + 1 para un k N
= 5k + 2 para un k N
= 5k + 3 para un k N
= 5k + 4 para un k N

Entonces
E = {1, 0, 1, +}
Observe que in f E = 1 y sup E = +

2.

P ROPIEDADES BASICAS

Teorema 1. [3]
Sea { an } una sucesin de nmeros reales. Se tiene entonces lm inf an lm sup an .
n

Demostracin. Si lm inf an = y lm sup an = +, pues ya se tendra, as que supongamos


n

que los lmites son finitos y llamemos

= lm inf an ; = lm sup an
n

y vamos a probar que .


Por reduccin al absurdo supongamos que < , tomemos a ( , ). Como es el lmite
superior, solo pueden haber finitos elementos de la sucesin mayores a , luego existe N N tal
que an para todo n N. Como hay infinitos elementos de la sucesin tal que an < ,
contradice que es el lmite inferior.
As que se concluye .
Teorema 2. Sea { an } una sucesin de nmeros reales, lm an = a (la sucesin converge) si y slo si
n

lm inf an = lm sup an = a
n

Demostracin. Sea e > 0, por ser lm inf an = a, debe haber una cantidad finita de elementos
n
de an menores que a e y por ser lm sup an = a, debe haber una cantidad finita de elementos
n

de an mayores que a + e. As existe un N N tal que


a e < an < a + e
para todo n N. Y esto es que lm an = a.
n
Si lm an = a, as toda subsucesin de an tambin va hacer a, mas an el lmite superior y el
n
lmite inferior, entonces
lm inf an = lm sup an = a
n

Teorema 3. Sea { xn } una sucesin acotada y sean {sn } y {tn } las sucesiones definidas por
sn = sup{ xn , xn+1 , . . .}
tn = in f { xn , a x+1 , . . .}
Entonces las sucesiones {sn } y {tn } son convergentes y
lm sn = lm sup xn

lm tn = lm inf xn

Teorema 4. Si an bn para cada n = 1, 2, . . . se tiene entonces


lm inf an lm inf bn
n
n
lm sup an lm sup bn
n

Demostracin. Como an bn , para todo n, tenemos que


xn := sup{ an , an+1 , . . .} yn := sup{bn , bn+1 , . . .}
de modo que
lm sup an = lm xn lm yn = lm sup bn
n

similar para el lmite inferior,


xn := in f { an , an+1 , . . .} yn := in f {bn , bn+1 , . . .}
de modo que
lm inf an = lm xn lm yn = lm inf bn
n

Ejemplo: an = (1)n (1 + n1 ) entones lm inf an = 1, lm sup an = 1


n

Demostracin. Sea xn = in f { an , an+1 , . . .} y yn = sup{ an , an+1 , . . .}

1
a
a = (1 + 1 )
=
(
1
+
)
si
n
es
par
n
n +1
n +1
n
xn =
yn =
a = (1 + 1 )

si n es impar
a
= (1 +
n

n +1

si n es impar
1
n +1 )

si n es par

por lo tanto

1
n

x n 1 y 1

1
n

x n 1

as xn 1 y yn 1 entonces lm inf an = 1, lm sup an = 1


n

2.1.

P ROPIEDADES ARITMTICAS

a) lm sup( an ) = lm inf an
n

b) lm sup( an + bn ) lm sup an + lm sup bn


n

R EFERENCIAS
[1] Walter Rudin. Principios de Anlisis matemtico. McGraw Hill, 1980.
[2] Tom M Apostol. Anlisis matemtico. Revert, 1996.
[3] Maria del Carmen Calvo. Resultados sobre lmite de sucesiones. 2005.

C OEVALUACIN
Nombre del estudiante evaluador:
Calificacin1 :
Argumente brevemente su calificacin:

C RITERIOS DE E VALUACIN
Para evaluar el trabajo de su compaero tenga en cuenta los siguientes aspectos. Originalidad: El trabajo debe reflejar un ejercicio acadmico autntico, no debe tener fragmentos argumentativos (demostraciones) copiados literalmente de libros o pginas internet. Puede tener demostraciones propias, demostraciones detalladas o reescrituras de demostraciones. El trabajo debe reflejar el esfuerzo personal
de aprendizaje y la intencin de comunicarlo. Profundidad: El trabajo tiene que demostrar la capacidad
del estudiante para preguntar y abordar sus preguntas. Considera ejemplos?, implicaciones?, analiza
las condiciones del teorema?, la veracidad de la recproca?, casos ms generales?, etc. Complejidad: El
trabajo debe tener ejemplos, demostraciones, implicaciones, etc. matemticamente retadores de acuerdo
al nivel del curso. Representaciones: El uso de representaciones puede aportar a la originalidad, profundidad y complejidad: simulaciones en geogebra, sage, Ipython, diagramas de demostraciones, etc. Rigor:
El rigor lgico, matemtico y de exposicin es fundamental. Si el trabajo carece de rigor matemtico no
vale nada. Redaccin: Claridad en la escritura general, buena redaccin y ortografa. Uso de las tildes,
las comas, los signos de puntuacin. Pulcritud en la escritura de las demostraciones. El trabajo debe ser
breve, alrededor de 4 pginas. Citacin: Uso debido de las citas, tanto en la tcnica del LATEXcomo en la
tcnica de citar.

1 Slo

puede usar las siguientes notas: 10 (deficiente), 20 (insuficiente), 40 (bueno), 50 (excelente).