Está en la página 1de 87

N umeros Reales

Sucesiones de N umeros Reales


Analisis Matematico
Edgardo Alvarez Pardo, Ph.D.
10 de agosto de 2012
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico
N umeros Reales
Sucesiones de N umeros Reales
Tabla de Contenido
1
N umeros Reales
Axiomas de Cuerpo
Axiomas de Orden
Induccion Matematica
N umeros Racionales e Irracionales
Supremo e

Inmo
Valor Absoluto y Desigualdad Triangular
2
Sucesiones de N umeros Reales
Sucesiones y sus Lmites
Teoremas Sobre Lmites
Sucesiones Monotonas
Subsucesiones y Teorema de Bolzano-Weierstrass
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
Junto con el conjunto de n umeros reales se supone la existencia de
dos operaciones llamadas adicion y multiplicacion, tales que para
cada par de n umeros reales x, y se puede formar la suma que es
otro n umero real designado por x + y y el producto x y. La suma
x + y y el producto xy estan unvocamente determinados por x y
y. Presentamos los axiomas relacionados con las operaciones
indicadas.
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 Adici on y Multiplicacion
1
PROPIEDAD CONMUTATIVA: x + y = y + x, xy = yx.
2
PROPIEDAD ASOCIATIVA: x + (y + z) = (x + y) + z,
x(yz) = (xy)z.
3
PROPIEDAD DISTRIBUTIVA: x(y + z) = xy + yz.
4
EXISTENCIA DE ELEMENTOS NEUTROS: Existen dos
n umeros reales distintos, que se indican por 0 y 1 tales que
para cada n umero real x se tiene que x + 0 = 0 + x = x y
x 1 = 1 x = x.
5
EXISTENCIA DE NEGATIVOS: Para cada n umero real x
existe un n umero real y tal que x + y = y + x = 0.
6
EXISTENCIA DEL RECIPROCO: Para cada n umero real
x = 0 existe un n umero real y tal que xy = yx = 1.
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
Teoremas
Teorema (Ley de cancelacion para suma)
Si a + b = a + c entonces b = c. En particular, el n umero cero es
unico.
Demostracion.
En virtud de la existencia de negativos existe y R tal que
a + y = y + a = 0. Entonces,
b = b + 0
= b + (a + y)
= (b + a) + y
= (c + a) + y
= c + (a + y) = c + 0 = c.
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.
Por lo tanto b = c. Veamos ahora que el 0 es unico. Suponga que
existe 0

R tal que satisface el axioma 4. En efecto, si 0

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

IA: Para a, b R se verica


solo una de las tres realciones a < b, b < a, a = b.
2
PROPIEDAD TRANSITIVA: Si a < b y b < c entonces a < c.
3
Si a < b entonces a + c < b + c.
4
Si a < b y c > 0, entonces ac < bc.
5
Si a = 0 entonces a
2
> 0.
6
1 > 0.
7
Si a < b y c < 0 entonces ac > bc.
8
Si a < b, entonces a > b. En particular si a < 0 entonces
a > 0.
9
Si ab > 0 entonces a y b son ambos positivos o ambos
negativos.
10
Si a < c y b < d entonces a + b < c + d 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.
1
Propiedad de tricotoma. Sea x := b a. Si x = 0, entonces
b a = a b = 0 / R
+
, y por tanto, del axioma 3 vemos que
no puede ser a > b no b > a. Si x = 0, el axioma 2 arma
que x > 0 o x < 0, pero no ambos. Entonces se verica una y
solo una de las tres relaciones a = b, a < b, b < a.
2
Propiedad transitiva. Sea a < b y b < c. Entonces b a > 0
y c b > 0. Por el axioma 1 tenemos que
c a = (b a) + (c b) > 0. Por lo tanto a < c.
3
Demostremos la armacion 3. Sea a < b. Entonces b a > 0.
Luego (b + c) (a + c) = b a > 0. Por lo tanto
a + c < b + c.
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
Induccion matematica es un metodo importante de demostracion
que va a ser usado durante este curso. Este metodo es usado para
validar armaciones que son dadas en terminos de los n umeros
naturales
N := {1, 2, 3, ...},
con las operaciones aritmeticas de adicion y multiplicacion y con el
signicado de que un n umero natural es menor que otro.
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
Principio del Buen Orden (PBO)
Teorema
Todo subconjunto no vaco de N tiene un elemento mnimo.
Esta propiedad en detalle se puede expresar como: Si S N y
S = , entonces existe un elemento m S tal que m k para
todo k S. Demostraremos que el Principio del Buen Orden
implica el Principio de Induccion Matematica.
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
Principio de Inducci on Matematica (PIM I)
Teorema
Sea S N que satisface las siguientes propiedades:
1
1 S;
2
Si k S, entonces k + 1 S.
Entonces S = 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
Demostraci on del PIM I
Demostracion.
Suponga por el contrario que S = N. Entonces N \ S = , y por lo
tanto del PBO este contiene al menos un elemento mnimo. Sea
m := mn(N \ S). Puesto que 1 S por la primera condicion,
entonces m = 1. Por lo tanto m > 1 y as m 1 es un n umero
natural. Puesto que m 1 < m y puesto que m es el mnmo
elemnto de N tal que m / S debemos tener que m 1 S. Ahora
aplicando la segunda hipotesis al elemento k := m 1 tenemos
que k +1 = (m1) +1 = m S. Una contradiccion. Por lo tanto
N \ S = o S = 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
PIM II
El principio de induccion matematica es a veces descrito en
terminos de armaciones sobre n umeros naturales.
Teorema
Para cada n N, sea P(n) una armacion acerca de n. Suponga
que:
1
P(1) es cierto;
2
Si P(k) es cierto entonces P(k + 1) es cierto;
Entonces P(n) es cierto para todo n N.
Ejercicio. Demuestre que PIMI PIMII .
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
Principio de Inducci on Fuerte (PIM III)
Teorema
Sea S N tal que 1 S y si {1, 2, 3, ..., k} S entonces
k + 1 S. Entonces S = N.
Ejercicio. Demuestre que PIMI PIMIII .
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
Ejemplo
Demuestre por induccion matematica la desigualdad de Bernoulli.
Si x > 1, entonces
(1 + x)
n
1 + nx, para todo n 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.
Sea S := {n N : (1 + x)
n
1 + nx}. Debemos vercar las
condiciones del PIM I. 1 S pues (1 + x)
1
= 1 + 1x. Suponga que
k S. Queremos demostrar que k + 1 S. Si k S entonces
(1 + x)
k
1 + kx.
Como x + 1 > 0 la hipotesis de induccion implica
(1 + x)
k+1
= (1 + x)
k
(1 + x)
(1 + kx)(1 + x) = 1 + (k + 1)x + kx
2
1 + (k + 1)x.
Por lo tanto k + 1 S. Se sigue del PIM I que S = N y as la
desigualdad es valida para todo n 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
Naturales y Enteros
Consideramos el conjunto de los n umero naturales (o el conjunto
de los enteros positivos) como un subconjunto de R, identicando
el n umero natural n N con la suma enesima del elemento
unitario 1 R. Similarmente, identicamos 0 Z con el elemento
0 R, e identicamos la suma enesima de 1 con el entero n.
Por consiguiente, consideramos a N y Z como subconjuntos de 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
Racionales e Irracionales
Elementos de R que pueden escribirse en la forma
b
a
donde
a, b Z y a = 0 son llamados n umeros racionales y se denotan
por Q. Se puede demostrar que Q es un cuerpo ordenado. Todos
los elementos que estan en R y no estan en Q son llamados
n umeros irracionales y se denotan por I. Esto es, I = R \ Q.
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
No existe un n umero racional r tal que r
2
= 2.
Demostracion.
Suponga por el contrario que existen enteros p y q con q = 0 tales
que (
p
q
)
2
= 2. Podemos suponer que p y q son positivos y el
maximo com un divisor es 1. Puesto que p
2
= 2q
2
entonces p
2
es
par. Esto implica que p es par. En efecto, si p fuera impar entonces
p = 2n + 1 y p
2
= 4n
2
+ 4n + 1 = 2(2n
2
+ 2n) + 1 es impar, una
contradiccion. Por lo tanto, al no tener p y q factores en com un, 2
no puede ser factor de q y de esta forma q debe ser impar. Puesto
que p es par, entonces p = 2m para alg un m N, y por lo tanto
4m
2
= p
2
= 2q
2
. De aqu tenemos que q
2
= 2m
2
y por
consiguiente q
2
es par. Pero por el mismo razonamiento de arriba
obtenemos que q es par. Contradiccion.
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
Denicion
Sea S R. Decimos que M R es una cota superior de S si y
solo si x M para todo x S. Decimos que S esta acotado
superiormente si tiene una cota superior.
Ejemplo
Sea S := {
n1
n
: n = 1, 2, 3, ...}. S esta acotado superiormente, y
el conjunto de sus cotas superiores es {x R : x 1}.
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
Supremo
Denicion
Sea S R acotado superiormente. Un elemento L R es llamado
el supremo de S (o extremo superior de S o mnima cota superior
de S)si y solo si
1
L es una cota superior de S,
2
Si M es una cota superior de S, entonces L M.
En tal caso, escribimos
L = sup S.
Ejemplo
En el ejemplo de arriba tenemos que sup S = 1.
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
Proposicion (Propiedad Fundamental del Supremo)
1
El supremo de un conjunto, si existe, es unico.
2
Si L R es el supremo de S, entonces dado > 0 existe
x S tal que
x > L . (1)
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.
Veamos primeroq que el supremo es unico. Supongamos que L, L

son supremos de S. Por ser L el extremo superior y L

una cota
superior, tenemos que L L

. Analogamente obtenemos que


L

L. Por lo tanto L = L

. Suponga por el contrario que existe


> 0 tal que para todo x S se cumpla que x L . Por lo
anterior L es una cota superior para S y por la denicion de
supremo debemos tener que L L . Lo anterior implica que
0; lo cual es una contradiccion.
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
Axioma del Extremo Superior
Todo subconjunto no vaco de R que esta acotado superiormente
tiene supremo.
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
Propiedad Arquimediana
Teorema
Dado cualquier n umero real x existe un entero positivo n tal que
x < n.
Demostracion.
Supongamos por el contrario que existe un n umero real x tal que
para todo entero positivo n ocurre que n x. Esto dice que x es
una cota superior para el conjunto de los enteros positivos. Por el
axioma del extremo superior este conjunto tiene un supremo L.
Usando la propiedad fundamental del supremo con = 1 tenemos
que existe un entero positivo n tal que
n > L 1.
De lo anterior se deduce que n + 1 > L, y como n + 1 es un entero
positivo, esto contradice la denicion de extremo superior.
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
Consecuencias de la Propiedad Arquimediana
Corolario
Sean y y z n umeros reales positivos. Entonces:
1
Existe un entero positivo n tal que z < ny.
2
Existe un entero positivo n tal que 0 <
1
n
< y.
3
Existe un entero positivo n tal que n 1 z < n.
Demostracion.
Recuerde el principio del buen orden de los n umeros naturales:
Todo subconjunto no vaco de N tiene un elemento mnimo.
Veamos 3. La propiedad arquimediana asegura que el conjunto
S = {m N : z < m}
es no vaco. Por el principio del buen orden existe n := mn S.
Entonces n 1 / S y por tanto n 1 z < 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
Densidad de los N umeros Racionales
Teorema (Densidad de los N umeros Racionales)
Si x e y son n umeros reales con x < y, entonces existe un n umero
racional r tal que x < r < y.
Demostracion.
Sin perdidad de generalidad podemos suponer que x > 0. Como
y x > 0 entonces, por la propiedad arquimediana, existe n N
tal que n >
1
yx
. De esta manera tenemos que ny nx > 1.
Aplicando la tercera propiedad del corolario arriba a nx > 0,
obtenemos que existe m N tal que m 1 nx < m. De
aqu que m nx + 1 < ny. Asi tenemos que
nx < m < ny.
Sea r :=
m
n
. Entonces r es racional y x < r < 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
Proposicion
Sean a, b n umeros reales que satisfacen
a < b
para todo > 0, entonces a b.
Demostracion.
Suponga por el contrario que a > b. Tome
0
=
ba
2
> 0, entonces
b < a
0
contradiciendo la hipotesis. Por lo tanto a b.
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
Propiedad aditiva del extremo superior
Teorema
Dados dos subconjuntos no vacos A y B de R, Sea
C := {a + b : a A, b B}.
Si A y B poseen extremo superior, entonces C tiene supremo, y
sup C = sup A + sup B
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.
Supongamos que A y B tengan supremo. Si c C, entonces
c = a + b con a A y b B. Por consiguiente
c sup A + sup B;
de modo que sup A + sup B es una cota superior para el conjunto
C. Luego de la denicion del supremo tenemos que
sup C sup A + sup B.
Sea ahora n un entero positivo cualquiera. Por la propiedad del
supremo (con =
1
n
) existe un a A y un b B tales que
a > sup A
1
n
, b > sup B
1
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
Cont. de la demostracion.
Sumando estas desigualdades, se obtiene que
a + b > sup A + sup B
2
n
;
sup A + sup B < a + b +
2
n
= c +
2
n
sup C +
2
n
para todo entero n 1. En virtud de la ultima proposicion
tenemos que
sup A + sup B sup C.
En resumen, hemos demostrado que sup C = sup A + sup B.
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

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). En este caso decimos que la sucesion converge


a x y lo denotaremos por
lm
n
x
n
= x.
Si una sucesion tiene lmite decimos que converge; si no tiene
lmite, decimos que 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
Nota
Una consecuencia de la denicion de vecindad es la siguiente: la
sucesion X = (x
n
) converge a x si
( > 0)(K() N)(n K()) |x
n
x| < .
Proposicion (Unicidad del Lmite)
Una sucesion de n umeros reales puede tener a lo mas un lmite.
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
1
y x
2
son lmites de la sucesion
X = (x
n
) y x
1
= x
2
. Escojamos > 0 tal que las -vecindades
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

> 0. Luego de la Propiedad Arquimediana


existe un n umero natural K = K() tal que
1

< K. Luego para


cualquier n N tal que n K, tenemos que n >
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

:= (1, 3, 5, ..., 2n 1, ...) y


X

:= (2, 4, 6, ..., 2n, ...) son subsucesiones de X.


Teorema
Si una sucesion X := (x
n
) de n umeros reales converge a un n umero
real x, entonces toda subsucesion converge a 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
Demostracion.
Primero que todo veamos por induccion que r
n
n para todo
n N. Note que al ser {r
1
, r
2
, ...} un subconjunto del conjunto de
ndices de {1, 2, 3, ...} debemos tener que r
1
1. De esta manera,
como r
2
> r
1
1 entonces r
2
2. Supongamos que r
k
k. Como
r
k+1
> r
k
k, de aqu tenemos que r
k+1
(k + 1). Se sigue del
PIM que r
n
n para todo n N.
Demostremos el teorema. Sea > 0. Por la convergencia de la
sucesion (x
n
), existe K() tal que si n K() entonces
|x
n
x| < . Por lo tanto, si n K() entonces r
n
n K() y,
en particular, |x
r
n
x| < . Por lo tanto la sucesion (x
r
n
) converge
a 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 (Criterio de Divergencia)
Sea X := (x
n
) una sucesion de n umeros reales. Las siguientes
condiciones son equivalentes.
1
La sucesion no converge a x R.
2
Existe un
0
> 0 tal que para cualquier k N, existe r
k
N
tal que r
k
k y |x
r
k
x|
0
.
3
Existe un
0
> 0 y una subsucesion X

= (x
r
n
) de X tal que
|x
r
k
x|
0
.
Edgardo Alvarez Pardo, Ph.D. Analisis Matematico

También podría gustarte