Академический Документы
Профессиональный Документы
Культура Документы
Este documento consiste en mostrar, que es una 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 es 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 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
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, +}
1 si n
si n
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
= lm inf an ; = lm sup an
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
Teorema 3. Sea { xn } una sucesion 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
de modo que
lm inf an = lm xn lm yn = lm inf bn
n
1
a
a = (1 + 1 )
=
(
1
+
)
si
n
es
par
n
n +1
n +1
n
xn =
yn =
a = (1 + 1 )
a
= (1 +
si n es impar
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
2.1.
P ROPIEDADES ARITMTICAS
a) lm sup( an ) = lm inf an
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