Documentos de Académico
Documentos de Profesional
Documentos de Cultura
y 0
tuvieran ambos esta propiedad, entonces 0 + 0
= 0 y 0 + 0 = 0;
por tanto
0 + 0
= 0 + 0.
Por la ley de cancelacion obtenemos 0
= 0. En consecuencia el 0
es unico.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Axiomas de Cuerpo
Axiomas de Orden
Induccion Matematica
N umeros Racionales e Irracionales
Supremo e
Inmo
Valor Absoluto y Desigualdad Triangular
Teorema (Posibilidad de Sustraccion)
Dados a y b en R existe un solo x tal que a + x = b. Este x se
denota por b a. En particular, 0 a se escribe simplemente por
a y se denomina negativo de a.
Demostracion.
Dado a se elige y tal que a + y = 0. Sea x := y + b. Entonces
a + x = a + (y + b) = (a + y) + b = 0 + b = b.
Por lo menos existe una x tal que a + x = b. Para demostrar la
unicidad, suponga que existe un z R tal que a + z = b. Luego
a + x = a + z. De la ley de cancelacion obtenemos que x = z. Por
lo tanto este elemento es unico. En particular, a + y = 0 implica
y = 0 a := a .
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Axiomas de Cuerpo
Axiomas de Orden
Induccion Matematica
N umeros Racionales e Irracionales
Supremo e
Inmo
Valor Absoluto y Desigualdad Triangular
Teorema
b a = b + (a)
Demostracion.
Veamos que el n umero real b + (a) satisface la ecuacion
a + x = b. En efecto,
a + [b + (a)] = a + [(a) + b] = (a + (a)) + b = 0 + b = b.
De la unicidad del teorema anterior obtenemos que
b a = b + (a).
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Axiomas de Cuerpo
Axiomas de Orden
Induccion Matematica
N umeros Racionales e Irracionales
Supremo e
Inmo
Valor Absoluto y Desigualdad Triangular
Teorema
1
(a) = a,
2
a(b +c) = ab ac,
3
a 0 = 0 a = 0.
Demostracion.
Dado a tenemos que a + (a) = (a) + a = 0. Como (a) es un
n umero real entonces (a) + ((a)) = 0. Por la unicidad del
negativo concluimos que (a) = a. Las dos ultimas partes son
ejercicios que debe realizar el estudiante.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Axiomas de Cuerpo
Axiomas de Orden
Induccion Matematica
N umeros Racionales e Irracionales
Supremo e
Inmo
Valor Absoluto y Desigualdad Triangular
Teorema (Ley de cancelacion para multiplicacion)
Si ab = ac para c = 0 entonces b = c. En particular, el n umero
uno es unico.
Teorema (Posibilidad de division)
Dados a y b en R con a = 0, existe un solo x tal que ax = b. Este
x se denota por b/a o
b
a
y se denomina cociente de b y a. En
particular, 1/a se escribe simplemente por a
1
y se denomina el
recproco de a.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Axiomas de Cuerpo
Axiomas de Orden
Induccion Matematica
N umeros Racionales e Irracionales
Supremo e
Inmo
Valor Absoluto y Desigualdad Triangular
Teorema
1
Si a = 0, entonces b/a = b a
1
.
2
Si a = 0, entonces (a
1
)
1
= a.
3
Si ab = 0, entonces a = 0 o b = 0.
4
(a)b = (ab) y (a)(b) = ab.
5
a
b
+
c
d
=
ad+bc
bd
si b = 0 y d = 0.
6
a
b
c
d
=
ac
bd
si b = 0 y d = 0.
7
a
b
/
c
d
=
ad
bc
si b = 0, c = 0, y d = 0.
Demostracion.
Solo demostraremos la tercera armacion. Sea ab = 0 y a = 0.
Veamos que b = 0 (p q (p q)).
b = b 1 = b(a a
1
) = (ba)a
1
= (ab)a
1
= 0a
1
= 0.
Por lo tanto se tiene que b = 0.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Axiomas de Cuerpo
Axiomas de Orden
Induccion Matematica
N umeros Racionales e Irracionales
Supremo e
Inmo
Valor Absoluto y Desigualdad Triangular
Este grupo de axiomas se reere a un concepto por el que
establece una ordenacion entre los n umeros reales. Segun esta
ordenacion se puede decidir si un n umero real es mayor o menor
que otro. Introducimos aqu las propiedades de orden, como un
conjunto de axiomas referentes al nuevo concepto primitivo de
positivo, para denir los conceptos de mayor que y menor que a
partir del positivo. Supondremos que existe un cierto subconjunto
R
+
R, llamado conjunto de n umeros positivos, que satisfacen
los tres axiomas de orden siguientes:
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Axiomas de Cuerpo
Axiomas de Orden
Induccion Matematica
N umeros Racionales e Irracionales
Supremo e
Inmo
Valor Absoluto y Desigualdad Triangular
Axiomas de orden
1
Si x, y R
+
, entonces x + y, xy R
+
.
2
Para todo real x = 0, x R
+
o x R
+
pero no ambos.
3
0 / R
+
.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Axiomas de Cuerpo
Axiomas de Orden
Induccion Matematica
N umeros Racionales e Irracionales
Supremo e
Inmo
Valor Absoluto y Desigualdad Triangular
Ahora se pueden denir los simbolos <, >, , llamados
respectivamente menor que, mayor que, menor o igual que y mayor
o igual que, de la manera siguiente. x < y signica que y x es
positivo; y > x signica x < y; x y signica x < y o x = y y
y x signica x y. Por lo tanto, se tiene que x > 0 si y solo si
x es positivo. Si x < 0 se dice que x es negativo; si x 0 se dice
que x es no negativo.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Axiomas de Cuerpo
Axiomas de Orden
Induccion Matematica
N umeros Racionales e Irracionales
Supremo e
Inmo
Valor Absoluto y Desigualdad Triangular
Teorema
1
PROPIEDAD DE TRICOTOM
una cota
superior, tenemos que L L
L. Por lo tanto L = L
Inmo
Ejercicio
1
Denir apropiadamente los terminos cota inferior y extremo
inferior o nmo. Formular el axioma del nmo.
2
Enunciar y demostrar la propiedad fundamental de nmo.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Axiomas de Cuerpo
Axiomas de Orden
Induccion Matematica
N umeros Racionales e Irracionales
Supremo e
Inmo
Valor Absoluto y Desigualdad Triangular
Valor Absoluto
Denicion
Si x es un n umero real, entonces el valor absoluto de x es un
n umero real no negativo que se designa por |x| y se dene por
|x| =
_
x, x 0,
x, x 0.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Axiomas de Cuerpo
Axiomas de Orden
Induccion Matematica
N umeros Racionales e Irracionales
Supremo e
Inmo
Valor Absoluto y Desigualdad Triangular
Teorema
Si a 0, entonces |x| a si y solo si a x a.
Demostracion.
Suponga que |x| a, veamos que a x a. como |x| a
entonces a |x|. Pero x = |x| o x = |x| y, por tanto,
a |x| x |x| a, lo cual prueba que a x a.
Recprocamente, suponga que a x a, veamos que |x| a. Si
x 0 se tiene que |x| = x a; si por el contrario x 0, entonces
|x| = x a. En ambos casos se tiene que |x| a.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Axiomas de Cuerpo
Axiomas de Orden
Induccion Matematica
N umeros Racionales e Irracionales
Supremo e
Inmo
Valor Absoluto y Desigualdad Triangular
Desigualdad Triangular
Teorema (Desigualdad Triangular)
Para cualesquiera x e y n umeros reales
|x + y| |x| +|y|. (2)
Demostracion.
Puesto que x = |x| o x = |x|, entonces |x| x |x|. De la
misma forma |y| y |y|. Sumando ambas desigualdades se
tiene que
(|x| +|y|) x + y |x| +|y|,
y por tanto, en virtud del teorema anterior tenemos que
|x + y| |x| +|y|.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Axiomas de Cuerpo
Axiomas de Orden
Induccion Matematica
N umeros Racionales e Irracionales
Supremo e
Inmo
Valor Absoluto y Desigualdad Triangular
Desigualdad Triangular Generalizada
Teorema
Si a
1
, a
2
, ..., a
n
son n umeros reales
k=1
a
k
k=1
|a
k
| (3)
Demostracion.
Por induccion sobre n.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Axiomas de Cuerpo
Axiomas de Orden
Induccion Matematica
N umeros Racionales e Irracionales
Supremo e
Inmo
Valor Absoluto y Desigualdad Triangular
Desigualdad de Cauchy-Schwarz
Teorema (Desigualdad de Cauchy-Schwarz)
Si a
1
, a
2
, ..., a
n
y b
1
, b
2
, ..., b
n
son n umeros reales cualesquiera, se
tiene que
_
n
k=1
a
k
b
k
_
2
_
n
k=1
a
2
k
__
n
k=1
b
2
k
_
. (4)
El signo de la igualdad es valido si y solo si hay un n umero real x
tal que a
k
x + b
k
= 0 para cada valor de k = 1, 2, 3, ..., n.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Axiomas de Cuerpo
Axiomas de Orden
Induccion Matematica
N umeros Racionales e Irracionales
Supremo e
Inmo
Valor Absoluto y Desigualdad Triangular
Demostracion.
Para todo real x se tiene que
n
k=1
(a
k
x + b
k
)
2
0 pues una
suma de cuadrados nunca es negativa. Ahora,
n
k=1
(a
k
x + b
k
)
2
=
n
k=1
(a
2
k
x
2
+ 2a
k
b
k
x + b
2
k
)
=
_
n
k=1
a
2
k
_
x
2
+ 2
_
n
k=1
a
k
b
k
_
x +
_
n
k=1
b
2
k
_
= Ax
2
+ 2Bx + C 0
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Axiomas de Cuerpo
Axiomas de Orden
Induccion Matematica
N umeros Racionales e Irracionales
Supremo e
Inmo
Valor Absoluto y Desigualdad Triangular
Cont. de la Demostracion.
Queremos demostrar que B
2
AC. Si A = 0, cada a
k
= 0, con lo
que B = 0 y el resultado es trivial. Si A = 0, podemos completar el
cuadrado y escribir
Ax
2
+ 2Bx + C = A
_
x +
B
A
_
2
+
AC B
2
A
.
El segundo miembro alcanza su valor mnimo cuando x =
B
A
.
Sustituyendo este valor de x en la desiguladad de arriba
A
_
B
A
_
2
+ 2B
_
B
A
_
+ C =
B
2
A
+ C 0;
lo que implica que B
2
AC. De aqu se sigue la conclusion.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Denicion
Sea a R y > 0. Entonces la -vecindad de a es el conjunto
V
(a) := {x R : |x a| < }.
Por las propiedades de valor absoluto, x V
(a) si y solo si
< x a < a < x < a + .
Denicion
Una sucesion de n umeros reales (o sucesion en R) es una funcion
cuyo dominio es el conjunto de los n umero naturales N y cuyo
campo de valores esta contenido en R.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Notaci on. Para la sucesion X : N R denimos X(n) := x
n
para
todo n N. Denotaremos el conjunto de puntos de la sucesion por
X, o (x
n
)
nN
o (x
n
).
Usamos el parentesis para indicar el orden inducido por N. As,
distinguimos notacionalmente entre la sucesion (x
n
), cuyos
terminos estan ordenados, y el conjunto {x
n
} de valores de esta
sucesion que no estan ordenados.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Ejemplos
1
Si b R, la sucesion (b, b, b, ...) es llamada la sucesion
constante.
2
_
1
2
n
_
nN
=
_
1
2
,
1
4
,
1
8
, ...,
1
2
n
, ...
_
3
Sucesiones denidas inductvamente. Por ejemplo la sucesion
de Fibonacci (f
n
)
nN
dada por
f
1
:= 1, f
2
:= 1, f
n+1
:= f
n1
+ f
n
(n 2).
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Operaciones con Sucesiones Sean X = (x
n
)
nN
y Y = (y
n
)
nN
suceiones de n umeros reales. Denimos
1
X + Y := (x
n
+ y
n
)
nN
,
2
X Y := (x
n
y
n
)
nN
,
3
si c R, cX =:= (cx
n
)
nN
,
4
X Y := (x
n
y
n
)
nN
,
5
si Y = (y
n
) es una sucesion de n umeros reales con y
n
= 0
para todo n N, entonces
X
Y
:=
_
x
n
y
n
_
nN
.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Denicion (Lmite de una Sucesion)
Sea X = (x
n
) una sucesion de n umeros reales. Un n umero real x se
dice lmite de (x
n
) si para todo > 0 existe un n umero natural
K = K() tal que para todo n K, los terminos x
n
pertenecen a
la -vecindad V
(x
1
) y V
(x
2
) sean disjuntas (esto es, tal que <
1
2
|x
1
x
2
|).
Ahora, sean K
1
y K
2
n umeros naturales tal que n > K
1
implica
x
n
V
(x
1
) y n > K
2
implica x
n
V
(x
2
). Sea K := max{K
1
, K
2
}
entonces para n > K encontramos que x
n
V
(x
1
) V
(x
2
) = ;
lo cual es una contradiccion. Por lo tanto x
1
= x
2
.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Ejemplos
Ejemplo
Demostrar que lm
n
_
1
n
_
= 0.
Demostracion.
Sea > 0. Entonces
1
y as
1
n
< .
Esto es, si n K, entonces
1
n
0
=
1
n
< .
Por lo tanto
_
1
n
_
converge a 0.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Ejemplo
La sucesion (0, 2, 0, 2, 0, 2, ...) es divergente. En efecto, podemos
construir una vecindad centrada en cero que no contenga el punto
x = 2. Esto viola la denicion de convergencia y por lo tanto la
sucesion diverge.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Denicion
Si X = (x
1
, x
2
, ..., x
n
, ...) es una sucesion de n umeros reales y si
m N, entonces la m-cola de X es
X
m
:= (x
m+n
)
nN
= (x
m
, x
m+1
, x
m+2
, ...).
Teorema
Sea X = (x
n
)
nN
una sucesion de n umeros reales y m N.
Entonces la m-cola X
m
:= (x
m+n
)
nN
converge si y solo si X
converge. En este caso, lm
n
X
m
= lm
n
X.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Teorema (Teorema de Convergencia Dominada)
Sea A = (a
n
)
nN
, X = (x
n
)
nN
sucesiones de n umeros reales y sea
x R. Si para alg un C > 0 y alg un m N tenemos que
|x
n
x| C|a
n
|, para todo n m,
y si lm
n
(a
n
) = 0,entonces se sigue que
lm
n
(x
n
) = 0.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Demostracion.
Sea > 0 arbitrario. Como lm
n
(a
n
) = 0 entonces existe
K = K
A
_
C
_
tal que n K implica que
|a
n
0| = |a
n
| <
C
.
Sea K() := max{K, m}. Si n K() entonces
|x
n
x| C|a
n
| < C
C
= .
Por lo tanto lm
n
(x
n
) = 0.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Ejemplo
Demostrar que si 0 < b < 1, entonces
lm
n
(b
n
) = 0.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Demostracion.
Puesto que 0 < b < 1, podemos escribir b =
1
1 + a
, donde
a :=
1
b
1 > 0. Por la Desigualdadd de Bernoulli tenemos que
(1 + a)
n
1 + na. Por lo tanto
0 < b
n
=
1
(1 + a)
n
1
1 + na
<
1
na
=
_
1
a
_
1
n
.
Se sigue del Teorema de Convergencia Dominada que
lm
n
(b
n
) = 0.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Ejemplo
Demostrar que si 0 < b < 1, entonces
lm
n
_
n
1
n
_
= 1.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Demostracion.
Si n = 1 entonces n
1
n
= 1 y es la sucesion constante cuyo lmite es
1. Suponga entonces que n > 1. Puesto que n
1
n
> 1 para n > 1,
podemos escribir n
1
n
= 1 + k
n
(k
n
:= n
1
n
1 > 0) para alg un k
n
cuando n > 1. Por lo tanto n = (1 + k
n
)
n
para n > 1. Por el
Teorema del Binomio, si n > 1 tenemos
n = 1 + nk
n
+
1
2
n(n 1)k
2
n
+ 1 +
1
2
n(n 1)k
2
n
.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Cont. de la Demostracion.
Por lo tanto k
2
n
2
n
. Por la Propiedad Arquimediana existe N
N
tal que
2
2
< N
o
2
N
<
2
. Se sigue que si n max{2, N
}
entonces
2
n
2
N
<
2
, de donde
0 < n
1
n
1 = k
n
_
2
n
_1
2
< .
Puesto que fue arbitrario, se deduce que lm
n
_
n
1
n
_
= 1.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Denicion
Una sucesion X = (x
n
) de n umeros reales se dice acotada si existe
un M > 0 tal que
|x
n
| M para todo n N.
Teorema
Una sucesion convergente de n umeros reales es acotada.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Demostracion.
Suponga que lm
n
(x
n
) = x y sea := 1. Entonces existe un
n umero natural K = K(1) tal que si n K entonces |x
n
x| 1.
De la Desigualdad Triangular
|x
n
| = |(x
n
x) + x| |x
n
x| +|x| < 1 +|x|, n K.
Sea
M := max{|x
1
|, |x
2
|, ..., |x
K1
|, 1 +|x|}.
Por lo tanto |x
n
| M para todo n N.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Teorema
1
Sean c R y X := (x
n
), Y := (y
n
) sucesiones de n umeros
reales que convergen a x e y respectvamente. Entonces
X +Y, X Y X Y y cX convergen a x +y, x y x y y cx
respectvamente.
2
Si Z = (z
n
) es una sucesion de n umeros reales diferente de
cero que converge a z = 0 entonces
X
Y
converge a
x
z
.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Demostracion.
Veamos que si X converge a x y Y converge a y entonces X + y
converge a x + y. Sea > 0 dado. Puesto que (x
n
) converge a x y
,(y
n
) converge a y, existen K
1
, K
2
N tales que para n K
1
y
n K
2
tenemos que
|x
n
x| <
2
, y |y
n
y| <
2
.
Escoga K := max{K
1
, K
2
}. Si n K entonces
|(x
n
+ y
n
) (x + y)| |x
n
x| +|y
n
y| <
2
+
2
= .
Por lo tanto, lm
n
(x
n
+ y
n
) = x + y.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Demostracion.
Veamos que si (z
n
) es diferente de cero para todo n N converge
a z = 0, entonces
1
z
n
converge a
1
z
. En efecto, como existe
K = K
_
1
2
|z|
_
N tal que si n K entonces
|z
n
z| <
1
2
|z|;
y de esta forma,
|z
n
| |z| |z
n
z| |z|
1
2
|z| =
1
2
|z|.
Por lo tanto
1
|z
n
|
<
2
|z|
.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Cont. de la Demostracion.
Sea > 0 dado. Entonces
1
z
n
1
z
z
n
z
z
n
z
=
|z
n
z|
|z
n
||z|
<
2
|z|
2
|z
n
z| <
cuando |z
n
z| <
2
|z|
2
. Como
2
|z|
2
> 0 existe N N tal que
|z
n
z| <
2
|z|
2
. Entonces n N > K implica que
1
z
n
1
z
< .
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Cont. de la Demostracion.
Por lo tanto,
lm
n
_
1
z
n
_
=
1
z
.
Para completar la demostracion de la segunda parte solo hay que
combinar el resultado del lmite de un producto con este
ultimo.
Teorema
Sea (x
n
) una sucesion de n umeros reales tal que x
n
0 para todo
n N. Entonces
x := lm
n
(x
n
) 0.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Demostracion.
Suponga por el contrario que x < 0. Sea := x > 0. Por la
convergencia de la sucesion existe K N tal que
|x
n
x| < para todo n K;
o equivalentemente,
x < x
n
< x + para todo n K.
En particular, tenemos que x
K
< x + = x + (x) = 0. Pero esto
contradice la hipotesis que x
n
0 para todo n N.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Teorema (Criterio de la Razon)
Sea (x
n
) una sucesion de n umeros reales positivos tales que
L := lm
n
_
x
n+1
x
n
_
< 1.
Entonces (x
n
) converge y lm
n
(x
n
) = 0.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Demostracion.
Por el Teorema 2.7 tenemos que L 0. como L < 1 por la
densidad de los n umeros reales existe r tal que L < r < 1. Sea
: L r > 0. Entonces existe un n umero K N tal que si n K
entonces
x
n+1
x
n
L
< .
Se sigue de aqu que si n K
x
n+1
x
n
< L + = L + (r L) = r .
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Cont. de la Demostracion.
Notemos que para n = K tenemos que x
K+1
< rx
K
; para
n = K + 1 tenemos que
x
K+2
< rx
K+1
< r
2
x
K
.
En general, para n K
0 < x
n+1
< x
n
r < x
n1
r
2
< < x
K
r
nK+1
.
Sea C :=
x
K
r
K
; luego 0 < x
n+1
< Cr
n+1
para todo n K. Puesto
que 0 < r < 1 entonces lm
n
r
n
= 0. La conclusion se sigue del
Teorema de Convergencia Dominada.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Denicion
Sea X := (x
n
) una sucesion de n umeros reales. Decimos que X es
creciente si satisface
x
1
x
2
x
n
x
n+1
.
Decimos que X es decreciente si satisface
x
1
x
2
x
n
x
n+1
.
Decimos que X es monotona si es creciente o decreciente.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Ejemplos
1
La sucesion (1, 2, ..., n, ...) es creciente.
2
La sucesion (1,
1
2
, ...,
1
n
, ...) es decreciente.
3
La sucesion (1, 1, 1, 1, ...) no es monotona (no es creciente
ni decreciente).
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Teorema (Teorema de Convergencia Monotona)
Una sucesion monotona de n umeros reales es convergente si y solo
si es acotada. Ademas,
1
Si X := (x
n
) es creciente y acotada, entonces
lm
n
(x
n
) = sup{x
n
}.
2
Si Y := (y
n
) es decreciente y acotada, entonces
lm
n
(x
n
) =nf{x
n
}.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Demostracion.
Si la sucesion es convergente entonces es acotada por Teorema
2.5. Recprocamente, sea X := (x
n
) una sucesion monotona y
acotada. Entonces X es creciente o decreciente.
Sea X creciente y acotada. Como es acotada existe M R tal que
x
n
M para todo n N. Por el Axioma del Supremo existe
x
:= sup{x
n
: n N}.
Veamos que x
= lm
n
(x
n
). Sea > 0. Por la Propiedad
Fundamental del Supremo existe K N con
x
K
x
.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Cont. de la Demostracion.
Ahora, puesto que (x
n
) es creciente entonces x
K
x
n
para todo
n K. Por lo tanto
x
< x
K
x
n
x
< x
+ , para todo n K.
En consecuencia |x
n
x| < para todo n K. Por consiguiente
lm
n
(x
n
) = x
= sup{x
n
}. Para demostrar la segunda parte se
procede de la misma forma.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Ejemplo
Sea Y := (y
n
) la sucesion denida inductvamente por
y
1
: 1, y
n+1
:=
1
4
(2y
n
+ 3), n 1.
Demostrar que esta sucesion converge y que lm
n
(y
n
) =
3
2
.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Sustituyendo n = 2 encontramos que y
2
=
5
4
. Por lo tanto
y
1
< y
2
< 2. Demostremos por induccion que y
n
< 2 para todo
n N. En efecto, ya hemos visto que esta desigualdad es valida
para n = 1, 2. Si y
k
< 2 para algun k N, entonces
y
k+1
:=
1
4
(2y
k
+ 3) <
1
4
(2(2) + 3) =
7
4
< 2.
Por lo tanto Y
k+1
< 2. Se sigue del PIM que y
n
< 2 para todo
n N. Veamos ahora por induccion que y
n
< y
n+1
para todo
n N. Ya hemos visto que esta relacion es valida para n = 1.
Suponga que y
k
< y
k+1
para algun k N. Multiplicando por dos y
sumando tres a ambos lados de la desigualdad anterior obtenemos
2y
k
+ 3 < 2y
k+1
+ 3; de donde se sigue que
y
k+1
=
1
4
(2y
k
+ 3) <
1
4
(2y
k+1
+ 3) = y
k+2
.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
As y
k
< y
k+1
implica y
k+1
< y
k+2
. Por lo tanto y
n
< y
n+1
para
todo n N. Hemos demostrado que la sucesion es creciente y
acotada; luego, por el Teorema de Convergencia Monotona
tenemos que la sucesion converge al sup{x
n
: n N}. Sin embargo,
no es trivial encontrar este supremo. En este caso, usaremos el
Teorema 2.3 para evaluar el lmite. En efecto, como
L := lm
n
(y
n
) = lm
n
(y
n+1
) y
y
n+1
:=
1
4
(2y
n
+ 3)
es valido para todo n N entonces
L =
1
4
(2L + 3).
De aqu obtenemos que L = lm
n
(y
n
) =
3
2
.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Denicion
Sea (x
n
) una sucesion de n umeros reales y sea
r
1
< r
2
< r
3
< < r
n
< una sucesion estrctamente creciente
de n umeros naturales. Entonces la sucesion X
en R dada por
(x
r
1
, x
r
2
, x
r
3
, ..., x
r
n
, ...)
es llamada una subsucesion de X.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
Ejemplo
Sea X := (1, 2, 3, ..., n, ...). Entonces X
= (x
r
n
) de X tal que
|x
r
k
x|
0
.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico