Anda di halaman 1dari 86

Parte I

Teora
1
Los autores, 2002; Edicions UPC, 2002.
Los autores, 2002; Edicions UPC, 2002.
Captulo 1
Nmeros reales
En las siguientes secciones se introducir el conjunto de los nmeros reales
de forma axiomtica, en el sentido de que sus propiedades se deducirn de un
cierto nmero de proposiciones tomadas como axiomas (hechos que se supone
que cumple este conjunto). De estos axiomas se seguir que el conjunto de los
nmeros reales tiene una estructura de cuerpo ordenado completo.
Se puede demostrar por simple construccin la existencia de un modelo que
sea un cuerpo ordenado completo. Puede denirse a los nmeros reales a partir
del conjunto de los nmeros racionales; existen dos procedimientos clsicos para
hacer esto: uno es el mtodo de las cortaduras de Dedekind que se analiza
en el libro de Rudin. El otro es el mtodo de las sucesiones de Cauchy de
Cantor que se analiza en el libro de Hamilton y Landin. Tambin es posible
construir un modelo a partir del conjunto de los nmeros naturales, aunque es
ms satisfactorio construir primero el conjunto de los nmeros naturales a partir
de nociones primitivas de la teora de conjuntos, despus construir el conjunto
de los nmeros enteros, luego el de los racionales y por ltimo el de los nmeros
reales.
De las observaciones ya hechas es claro que hay varias maneras de construir
un modelo de cuerpo ordenado completo. De este modo no se puede armar que
hay un cuerpo ordenado completo nico. No obstante, de los modelos obtenidos
por los mtodos de construccin sugeridos anteriormente se dice que son iso-
morfos, esto signica que entre cualquier par de modelos se puede establecer
una correspondencia biyectiva compatible con la suma, la multiplicacin y la
relacin de orden. Adems, con base en la teora de conjuntos elemental, se
puede establecer un razonamiento por el que se demuestra que cualquier par
de cuerpos ordenados completos son isomorfos en el sentido descrito anterior-
mente. Aunque esto no lo desarrollaremos aqu por tratarse de un problema
ms de Lgica que de Anlisis, para nuestros propsitos esta unicidad (o falta
de ella) no es tan importante, ya que se puede elegir cualquier cuerpo ordenado
completo en particular como modelo para el conjunto de los nmeros reales.
1.1. Propiedades algebraicas
En el conjunto de los nmeros reales R hay dos operaciones internas, deno-
tadas por + y que se denominan adicin y multiplicacin, respectivamente.
3
Los autores, 2002; Edicions UPC, 2002.
4 CAPTULO 1. NMEROS REALES
Estas operaciones satisfacen las siguientes propiedades conocidas como axiomas
de cuerpo:
1. Propiedad conmutativa de la adicin: para todo a, b R se cumple
a +b = b +a.
2. Propiedad asociativa de la adicin: para todo a, b, c R se cumple
(a +b) +c = a + (b +c).
3. Existencia de elemento neutro de la adicin (o cero): existe en R
el nmero 0 tal que 0 +a = a + 0 = a, para todo a R.
4. Existencia de elemento simtrico para la adicin (o elemento
negativo): para cada nmero a en R existe un nmero a en R tal que
a + (a) = (a) +a = 0.
5. Propiedad conmutativa de la multiplicacin: para todo a, b R se
cumple a b = b a.
6. Propiedad asociativa de la multiplicacin: para todo a, b, c R se
cumple a (b c) = (a b) c.
7. Existencia de elemento neutro de la multiplicacin (o unidad):
existe en R el nmero 1 tal que 1 6= 0 y 1 a = a 1 = a, para todo a R.
8. Existencia de elemento simtrico para la multiplicacin (o ele-
mento recproco): para cada nmero a 6= 0 en R existe un nmero 1/a
en R tal que a (1/a) = (1/a) a = 1.
9. Propiedad distributiva de la multiplicacin respecto de la adi-
cin: para todo a, b, c R se cumple a (b + c) = (a b) + (a c) y
(b +c) a = (b a) + (c a).
Se supone que se conoce las consecuencias elementales de estos axiomas por
la teora general de cuerpos. Sin embargo, a continuacin se muestra a modo de
ejemplo algunas propiedades algebraicas de los nmeros reales.
Teorema 1 Si a es un nmero real cualesquiera, entonces
1. a 0 = 0
2. (1) a = a
3. (a) = a
4. (1) (1) = 1
Demostracin: (1) a +a 0 = a 1 +a 0 = a (1 + 0) = a 1 = a. Por tanto,
de la unicidad del elemento 0, se sigue a 0 = 0.
(2) a + (1) a = 1 a + (1) a = (1 + (1)) a = 0 a = a 0 = 0. Por
tanto, de la unicidad del elemento negativo, se sigue (1) a = a.
(3) De (a) +a = 0 se sigue a = (a), por la misma razn de antes.
(4) De (2), tomando a = 1, se tiene (1) (1) = (1) = 1, por (3).
Teorema 2 Sean a, b, c tres nmeros reales cualesquiera, se cumple:
Los autores, 2002; Edicions UPC, 2002.
1.1. PROPIEDADES ALGEBRAICAS 5
1. Si a 6= 0, entonces 1/a 6= 0 y 1/(1/a) = a
2. Si a b = a c y a 6= 0, entonces b = c
3. Si a b = 0, entonces a = 0 o b = 0
Demostracin: (1) Si a 6= 0, existe 1/a. Si fuera 1/a = 0, entonces 1 =
a (1/a) = a 0 = 0, lo cual es contradictorio. Por tanto, 1/a 6= 0 y, en
consecuencia, existe 1/(1/a). Adems, puesto que (1/a) a = 1, por la unicidad
del elemento recproco, se tiene 1/(1/a) = a.
(2) Multiplicando por 1/a ambos miembros de la igualdad, se tiene (1/a)
(a b) = (1/a) (a c). Por la propiedad asociativa, tenemos ((1/a) a) b =
((1/a) a) c, de donde se deduce 1 b = 1 c, o sea b = c.
(3) Basta suponer que a 6= 0 y deducir b = 0, porque de lo contrario, a = 0
y acabamos. Supongamos pues que a 6= 0, de la igualdad a b = a 0 = 0 y (2)
se sigue b = 0.
Observacin 1 Hacemos las siguientes observaciones importantes:
1. A partir de la adicin se dene la operacin de sustraccin por
a b = a + (b)
para todo a, b R. De manera similar, a partir de la multiplicacin se
dene la divisin por
a
b
= a
1
b
para todo a, b R y b 6= 0.
2. Por lo general, se omite el uso del punto para denotar la multiplicacin y
se escribir ab en lugar de a b. Se escribir a
2
en lugar de aa, a
3
para
(a
2
)a, y en general, para n N se dene
a
n+1
= (a
n
)a
Por convenio se tiene a
0
= 1 y a
1
= a para todo a R. Por induccin se
demuestra que si a R, entonces
a
m+n
= a
m
a
n
para todo m, n N. Si a 6= 0, se utiliza la notacin a
1
para 1/a, y si
n N, se escribir a
n
en lugar de (1/a)
n
.
3. Se considera al conjunto de los nmeros naturales como un subconjunto
de R al identicar n N con la suma iterada n veces de la unidad. Del
mismo modo, se identica 0 Z con el cero de R, y a la suma iterada n
veces de 1 la identicamos con el nmero entero n. Por consiguiente, se
considera tambin al conjunto de los nmeros enteros como un subconjunto
de R.
4. A los elementos de R que pueden escribirse en la forma m/n, con m, n
Z y n 6= 0, se les llama nmeros racionales. El conjunto de todos los
nmeros racionales en R se denota por la notacin usual Q. Se puede
demostrar que Q satisface los axiomas de cuerpo mencionados ms arriba.
Los autores, 2002; Edicions UPC, 2002.
6 CAPTULO 1. NMEROS REALES
5. A los elementos de R que no estn en Q se les llama nmeros irra-
cionales.
Teorema 3 No existe un nmero racional r tal que r
2
= 2.
Demostracin: Supongamos, por el contrario, que p y q son enteros tales que
(
p
q
)
2
= 2
Se puede suponer adems que p y q son positivos y que la fraccin
p
q
es irre-
ducible. De la igualdad anterior se deduce
p
2
= 2q
2
que signica que p
2
es par. Entonces p es par, porque si fuera impar sera de
la forma p = 2n + 1, con n N, y entonces p
2
= (2n + 1)
2
= 4n
2
+ 4n + 1 =
2(2n
2
+2n) +1, esto es impar, que es una contradiccin. Por consiguiente, q es
impar ya que no puede tener ningn factor comn con p, por hiptesis.
Por otra parte, como p es par, entonces p = 2m para algn m N, y por
tanto
4m
2
= 2q
2
de donde 2m
2
= q
2
. Por lo tanto, q
2
es par, y por el razonamiento del prrafo
anterior se sigue que q es par.
En consecuencia, hemos llegado a una contradiccin ya que habamos de-
ducido que q era impar. Por consiguiente, no existen tales p y q y, como conse-
cuencia, no existe un nmero racional r tal que r
2
= 2.
Ejemplo 1 Demostrar que

2 +

3 +

5 es irracional.
Solucin: Se har la demostracin por el mtodo de reduccin al absurdo.
Esto es, supondremos que

2+

3+

5 es racional y llegaremos a una contradic-


cin. Supongamos que

2 +

3 +

5 = p, p Q. De aqu,

2 +

3 = p

5
y, elevando al cuadrado ambos miembros de la igualdad, obtenemos
5 + 2

3 = p
2
+ 5 2p

3 +p

5 =
p
2
2
Elevando de nuevo al cuadrado, se obtiene
6 + 5p
2
+ 2p

5 =
p
4
4
De aqu

5 =
p
4
4
5p
2
6
2p
Si p es racional, (p
4
/25p
2
6)/2p es tambin racional y, por tanto, de la ltima
igualdad se deduce que

5 es racional. Sean m, n N, con mcd(m, n) = 1,


tales que

5 =
m
n
Entonces, elevando al cuadrado ambos miembros de la igualdad, se obtiene
30n
2
= m
2
Los autores, 2002; Edicions UPC, 2002.
1.2. PROPIEDADES DE ORDEN 7
De donde se deduce que m
2
es par y, en consecuencia, m es par. Escribimos
m = 2k, k N. Entonces tenemos
15n
2
= 2k
2
De donde se deduce que n
2
debe ser par y, en consecuencia, n es par. Por
consiguiente, m y n son pares, lo que contradice el hecho de que m y n sean
primos entre si.
1.2. Propiedades de orden
La siguiente proposicin sobre el conjunto de los nmeros reales se la conoce
como los axiomas de orden: existe un subconjunto no vaco P de R, llamado
el conjunto de los nmeros reales positivos, que satisface las siguientes
propiedades:
1. a, b P =a +b P
2. a, b P =ab P
3. Si a P, entonces una sola de las siguientes armaciones es verdadera
a P a = 0 a P
Observacin 2 Las dos primeras propiedades aseguran la compatibilidad del
orden con las operaciones de adicin y multiplicacin, respectivamente. La ter-
cera condicin se la conoce como propiedad de tricotoma, ya que divide al
conjunto de los nmeros reales en tres partes disjuntas.
Denicin 1 Si a P se dice que a es un nmero real positivo (o estric-
tamente positivo) y se escribe a > 0. Si a P {0}, se dice que a es un
nmero real no negativo y se escribe a 0. Si a P, se dice que a es
un nmero real negativo (o estrictamente negativo) y se escribe a < 0.
Si a P {0}, se dice que a es un nmero real no positivo y se escribe
a 0.
Denicin 2 Dados dos nmeros reales cualesquiera a y b
1. Si a b P, entonces se dice que a es estrictamente mayor que b y
escribimos a > b o b < a
2. Si a b P {0}, entonces se dice que a es mayor o igual que b y
escribimos a b o b a
Teorema 4 Dados tres nmeros reales cualesquiera a, b y c, se cumplen las
siguientes propiedades:
1. Propiedad transitiva: si a > b y b > c, entonces a > c
2. Propiedad de tricotoma (o de ordenacin total): una sola de las siguientes
armaciones es verdadera:
a > b a = b a < b
Los autores, 2002; Edicions UPC, 2002.
8 CAPTULO 1. NMEROS REALES
3. Propiedad antisimtrica: si a b y b a, entonces a = b
Demostracin: (1.) Si a b P y b c P, entonces por los axiomas de
orden, se sigue (a b) + (b c) = a c P. Por tanto, a > c.
(2.) Por la propiedad de tricotoma de los axiomas de orden, slo es ver-
dadera una de las siguientes armaciones: a b P, a b = 0, (a b) =
b a P. Por tanto, tenemos lo que queramos probar.
(3.) Si fuera a 6= b, por (2) se sigue que, o a > b o bien b > a. En cualquiera
de los dos casos, una de las hiptesis se contradice. Por lo tanto, se debe tener
que a = b.
Teorema 5 Se verican los hechos siguientes:
1. Si a R y a 6= 0, entonces a
2
> 0
2. 1 > 0
3. Si n N, entonces n > 0
Demostracin: (1.) Por la propiedad de tricotoma de los axiomas de orden,
si a 6= 0, entonces a P o bien a P. Si a P, entonces por los axiomas
de orden, se tiene a
2
= aa P. Del mismo modo, si a P, entonces por los
exiomas de orden y propiedades de clculo algebraico se tiene
(a)(a) = [(1)a] [(1)a] = [(1)(1)] a
2
= a
2
P
(2.) Puesto que 1 6= 0 y 1
2
= 1, de (1) se sigue 1 > 0
(3.) La prueba se hace por induccin. La armacin para n = 1 es verdadera
por (2). Si se supone que la armacin es verdadera para n = k, entonces k P.
Puesto que 1 P, se sigue de los axiomas de orden que k + 1 P. Por tanto,
la armacin es verdadera para todos los nmeros naturales.
Teorema 6 Dados cuatro nmeros reales cualesquiera a, b, c y d, se cumplen
las siguientes propiedades:
1. Si a > b, entonces a +c > b +c
2. Si a > b y c > d, entonces a +c > b +d
3. Si a > b y c > 0, entonces a c > b c
4. Si a > b y c < 0, entonces a c < b c
5. Si a > 0, entonces
1
a
> 0
6. Si a < 0, entonces
1
a
< 0
Demostracin: (1.) Puesto que (a+c)(b+c) = ab P, se tiene a+c > b+c.
(2.) Si a b P y c d P, entonces por los axiomas de orden, se tiene
(a +c) (b +d) = (a b) + (c d) P. Por tanto, a +c > b +d.
(3.) Si a b P y c P, entonces por los axiomas de orden, se tiene
a c b c = (a b) c P. Por tanto, a c > b c.
(4.) Del mismo modo que antes, si ab P y c P, entonces b ca c =
(a b) (c) P. Por tanto, a c < b c.
Los autores, 2002; Edicions UPC, 2002.
1.2. PROPIEDADES DE ORDEN 9
(5.) Si a > 0, por la propiedad de tricotoma se sigue a 6= 0. De aqu se tiene
1
a
6= 0. Si fuera
1
a
< 0, por (4) se tendra a
1
a
= 1 < 0, que contradice el hecho
de que 1 > 0. Por lo tanto, se tiene
1
a
> 0 ya que las otras dos posibilidades se
han excluido.
(6.) Del mismo modo que antes, si a < 0, entonces la posibilidad
1
a
> 0 lleva
de nuevo a la contradiccin 1 = a
1
a
< 0.
Observacin 3 Hemos visto que para todo n N se tiene n > 0 y, por tanto,
1
n
> 0, es decir, se deduce que el inverso de cualquier nmero natural es positivo.
Por consiguiente, los nmeros racionales de la forma
m
n
= m
1
n
, donde m y n
son nmeros naturales, son tambin positivos.
Teorema 7 Dados dos nmeros reales cualesquiera a y b, si a < b, entonces
a <
1
2
(a +b) < b
Demostracin: Puesto que a < b, por (1) del teorema anterior, se tiene que
2a = a +a < a +b y tambin que a +b < b +b = 2b. Por lo tanto se tiene
2a < a +b < 2b
Sabemos que 2 > 0 y, por tanto,
1
2
> 0. De (3) del teorema anterior, se sigue
que
a =
1
2
(2a) <
1
2
(a +b) <
1
2
(2b) = b
Corolario 1 Si b R y b > 0, entonces 0 <
1
2
b < b.
Demostracin: Basta tomar a = 0 en el teorema anterior.
Observacin 4 Este ltimo resultado signica que no puede existir un nmero
real positivo mnimo.
Teorema 8 Si a R es tal que 0 a < para todo nmero real positivo ,
entonces a = 0.
Demostracin: Supongamos por el contrario que a > 0. Entonces, por el coro-
lario anterior, se sigue que
0 <
1
2
a < a
Ahora bien, si se toma =
1
2
a, entonces se tiene
0 < < a
Por lo tanto, es falso que a < para todo nmero real positivo. En consecuencia,
a = 0.
Observacin 5 Este resultado signica que para demostrar que un nmero real
a 0 es igual a 0, basta probar que el nmero a es menor que cualquier nmero
real positivo.
Los autores, 2002; Edicions UPC, 2002.
10 CAPTULO 1. NMEROS REALES
Teorema 9 Dados dos nmeros reales cualesquiera a y b, tales que
a < b
para todo > 0, entonces a b.
Demostracin: Supongamos por el contrario que b < a. Entonces a b > 0 y
por el ltimo corolario, se tiene
0 <
1
2
(a b) < a b
Si se toma =
1
2
(a b) > 0, entonces
0 < < a b
de donde se obtiene
b < a
lo cual contradice la hiptesis.
Teorema 10 Si a b > 0, entonces slo una de las siguientes armaciones es
verdadera:
1. a > 0 y b > 0
2. a < 0 y b < 0
Demostracin: (1) Si a b > 0, entonces a 6= 0 y b 6= 0. Por la propiedad de
tricotoma, a > 0 o bien a < 0. Si a > 0, entonces
1
a
> 0. De aqu se tiene
b = 1 b = (
1
a
a) b =
1
a
(a b) > 0
(2) De forma anloga, si a < 0, entonces
1
a
< 0. De donde
b = 1 b = (
1
a
a) b =
1
a
(a b) < 0
Corolario 2 Si a b < 0, entonces slo una de las siguientes armaciones es
verdadera:
1. a < 0 y b > 0
2. a > 0 y b < 0
Demostracin: Si a b < 0, entonces (a b) = (a) b = a (b) > 0. Por el
teorema anterior se sigue que a > 0 y b > 0 o bien a > 0 y b > 0, y de aqu
se tiene lo que queramos probar.
Ejemplo 2 Examnese con detalle los siguientes ejemplos:
Los autores, 2002; Edicions UPC, 2002.
1.3. DESIGUALDADES 11
1. Determinar el conjunto A = {x R : 5x + 2 3}.
Solucin:
x A 5x + 2 3 5x 1 x
1
5
Por lo tanto, se tiene
A =

x R : x
1
5

2. Determinar el conjunto B =

x R : x
2
+x > 2

.
Solucin: La desigualdad se reescribe como sigue
x B x
2
+x 2 > 0 (x 1)(x + 2) > 0
Por lo tanto, se tienen dos casos posibles: (1) x1 > 0 y x+2 > 0 o bien
(2) x 1 < 0 y x + 2 < 0. En el primer caso, se tienen las desigualdades
x > 1 y x > 2, que se satisfacen si y slo si x > 1. En el caso (2), se
tienen las desigualdades x < 1 y x < 2 que se satisfacen si y slo si
x < 2. En consecuencia, se tiene
B = {x R : x > 1} {x R : x < 2}
3. Determinar el conjunto C =
n
x R :
2x+1
x+2
< 1
o
.
Solucin:
x C
2x + 1
x + 2
1 < 0
x 1
x + 2
< 0
Por lo tanto, se tienen dos casos (1) x 1 < 0 y x + 2 > 0 o bien (2)
x 1 > 0 y x + 2 < 0. En el caso (1) se tienen las desigualdades x < 1
y x > 2, que se satisfacen si y slo si 2 < x < 1. En el caso (2)
se tienen las desigualdades x > 1 y x < 2, que nunca se satisfacen
simultneamente. En consecuencia, se tiene
C = {x R : 2 < x < 1}
1.3. Desigualdades
A continuacin se establecen algunas desigualdades importantes que con
frecuencia se usan en el desarrollo del anlisis real.
Teorema 11 Sean a 0 y b 0, entonces se tienen
1. a < b a
2
< b
2

a <

b
2. a b a
2
b
2

b
Los autores, 2002; Edicions UPC, 2002.
12 CAPTULO 1. NMEROS REALES
Demostracin: (1) Distinguimos dos casos: (a) a = 0 y b > 0 y (b) a > 0 y
b > 0.
(a) Para la primera implicacin, se tiene b > 0 y por tanto, b
2
> 0. Recp-
rocamente, si b
2
= b b > 0 entonces se tiene claramente b > 0, ya que por
hiptesis b es no negativo.
Para la segunda implicacin, si b > 0, entonces

b > 0. Puesto que b =
(

b)
2
, por la primera implicacin, se tiene
0 < (

b)
2
= b 0 <

b
(b) Para la primera implicacin, si a > 0 y b > 0, se sigue que b + a > 0.
Puesto que b a > 0 y b
2
a
2
= (b + a) (b a), tenemos que b
2
a
2
> 0.
Recprocamente, si b
2
a
2
= (b + a) (b a) > 0, se deduce b a > 0, ya que
por hiptesis b +a 0.
Para la segunda implicacin, si a > 0 y b > 0, entonces

a > 0 y

b > 0.
Puesto que a = (

a)
2
y b = (

b)
2
, por la primera implicacin, se tiene
a = (

a)
2
< (

b)
2
= b

a <

b
(2) Distinguimos tres casos: (a) a = b = 0, (b) a = 0 y b > 0 (c) a > 0
y b > 0. En el primer caso, las implicaciones son evidentes. En los otros dos
casos simplemente hay que repetir los razonamientos anteriores.
Observacin 6 En la prueba, se ha supuesto la existencia de las races cuadradas
de nmeros reales no negativos.
Teorema 12 Si a 0 y b 0, se cumple la desigualdad de la medias
aritmtica y geomtrica

ab
1
2
(a +b)
La igualdad ocurre si y slo si a = b.
Demostracin: Si a > 0, b > 0 y a 6= b, entonces

a > 0,

b > 0 y

a 6=

b.
Adems, al ser

b 6= 0, se tiene (

b)
2
> 0. Al desarrollar el cuadrado
se obtiene
(

b)
2
= a 2

ab +b > 0
de donde se sigue que

ab <
1
2
(a +b)
Por lo tanto, hemos probado la desigualdad estricta cuando a 6= b. Si a =
b, entonces ambos miembros de la desigualdad son iguales. Con esto hemos
demostrado que la desigualdad es vlida para a > 0 y b > 0.
Por otro lado, supongamos que a > 0, b > 0 y que

ab =
1
2
(a +b)
Entonces, al elevar al cuadrado ambos miembros de la igualdad y multiplicarlos
por 4, se obtiene
4ab = (a +b)
2
= a
2
+ 2ab +b
2
de donde se deduce
a
2
2ab +b
2
= (a b)
2
= 0
De aqu, se sigue a = b. Por lo tanto, la igualdad signica que a = b.
Los autores, 2002; Edicions UPC, 2002.
1.3. DESIGUALDADES 13
Observacin 7 La desigualdad de las medias aritmtica y geomtrica se gen-
eraliza para los nmeros reales positivos a
1
, a
2
, ..., a
n
como sigue
(a
1
a
2
a
n
)
1/n

a
1
+a
2
+ +a
n
n
donde la igualdad ocurre si y slo si a
1
= a
2
= = a
n
. Es posible demostrar
este enunciado ms general usando la induccin matemtica, pero la demostracin
es un tanto intrincada. Una demostracin ms elegante usa las propiedades de
la funcin exponencial.
Teorema 13 Si x > 1, entonces se cumple la desigualdad de Bernouilli
(1 +x)
n
1 +nx
para todo n N.
Demostracin: La demostracin se hace por induccin. El caso n = 1 produce
la igualdad, de donde la armacin es verdadera en este caso. Ahora, suponemos
la validez de la desigualdad para un entero positivo k, y se debe probar su validez
para k + 1. La hiptesis de induccin
(1 +x)
k
1 +kx
y el hecho de que x + 1 > 0, indican que
(1 +x)
k+1
= (1 +x)
k
(1 +x)
(1 +kx)(1 +x) = 1 + (k + 1)x +kx
2
1 + (k + 1)x
Por tanto, se deduce la desigualdad para k +1. En consecuencia, la desigualdad
es vlida para todo n N.
Teorema 14 Si n N y a
1
, ..., a
n
, b
1
, ..., b
n
son nmeros reales, entonces se
cumple la desigualdad de Cauchy
(a
1
b
1
+ +a
n
b
n
)
2
(a
2
1
+ +a
2
n
)(b
2
1
+ +b
2
n
)
Adems, si no todas las b
i
son iguales a cero, entonces la igualdad ocurre si y
slo si existe un nmero s R tal que a
1
= sb
1
, ..., a
n
= sb
n
.
Demostracin: Para demostrar esto se dene la funcin F : R R por
F(x) = (a
1
xb
1
)
2
+ + (a
n
xb
n
)
2
para x R. Podemos asegurar que para todo x R, se tiene F(x) 0, ya
que se trata de una suma de nmeros reales al cuadrado. Al desarrollar estos
cuadrados, se obtiene una expresin de la forma
F(x) = A2Bx +Cx
2
0
donde se ha hecho
A = a
2
1
+ +a
2
n
B = a
1
b
1
+ +a
n
b
n
C = b
2
1
+ +b
2
n
Los autores, 2002; Edicions UPC, 2002.
14 CAPTULO 1. NMEROS REALES
Puesto que la funcin cuadrtica es no negativa para todo x R, no puede tener
dos races reales distintas. Por lo tanto, su discriminante
= 4B
2
4AC = 4(B
2
AC)
debe satisfacer 0. En consecuencia, se debe tener
B
2
AC
que es precisamente la desigualdad de Cauchy.
Si b
i
= 0 para todo i = 1, ..., n, entonces ocurre la igualdad, cualesquiera
que sean los a
i
. Supongamos ahora que no todas los b
i
son iguales a cero. Es
inmediato comprobar que si a
i
= sb
i
, para un cierto s R y i = 1, ..., n, entonces
ambos miembros de la desigualdad son iguales a s
2
(b
2
1
+ +b
2
n
)
2
. Por otra parte,
si se cumple la igualdad, entonces = 0, por lo que existe una nica raz real s
de la ecuacin cuadrtica F(x) = 0. Pero esto signica que F(s) = 0, es decir,
(a
1
sb
1
)
2
+ + (a
n
sb
n
)
2
= 0
lo que slo es posible si
a
1
sb
1
= 0
.
.
.
a
n
sb
n
= 0
de donde se inere que a
i
= sb
i
para todo i = 1, ..., n.
Teorema 15 Si n N y a
1
, ..., a
n
, b
1
, ..., b
n
son nmeros reales, entonces se
cumple la desigualdad triangular

(a
1
+b
1
)
2
+ + (a
n
+b
n
)
2

1/2
(a
2
1
+ +a
2
n
)
1/2
+ (b
2
1
+ +b
2
n
)
1/2
Adems, si no todas las b
i
son iguales a cero, entonces la igualdad ocurre si y
slo si existe un nmero real s tal que a
1
= sb
1
, ..., a
n
= sb
n
.
Demostracin: Puesto que
(a
i
+b
i
)
2
= a
2
i
+ 2a
i
b
i
+b
2
i
para i = 1, ..., n. De la desigualdad de Cauchy, se deduce que
(a
1
+b
1
)
2
+ + (a
n
+b
n
)
2
= A+ 2B +C
A+ 2

AC +C
= (

A+

C)
2
siendo
A = a
2
1
+ +a
2
n
B = a
1
b
1
+ +a
n
b
n
C = b
2
1
+ +b
2
n
De aqu, por una de las equivalencias del apartado 1(b), se deduce que

(a
1
+b
1
)
2
+ + (a
n
+b
n
)
2

1/2

A+

C
que es la desigualdad triangular.
Si ocurre la igualdad, entonces se debe tener B =

AC, por lo que la igual-


dad se cumple en la desigualdad de Cauchy.
Los autores, 2002; Edicions UPC, 2002.
1.4. VALOR ABSOLUTO 15
1.4. Valor absoluto
Denicin 3 Si a R, el valor absoluto de a, denotado por |a|, est denido
por
|a| =

a si a > 0
0 si a = 0
a si a < 0
Observacin 8 La propiedad de tricotoma asegura que si a R y a 6= 0 ,
entonces uno de los nmeros a y a es positivo. El valor absoluto de a 6= 0 se
dene como el nmero que sea positivo de los dos. El valor absoluto de 0 es 0
por denicin.
Teorema 16 Se cumplen las siguientes propiedades:
1. |a| = 0 a = 0
2. |a| = |a|
3. |ab| = |a| |b|
4. Si c 0, entonces |a| c si y slo si c a c
5. |a| a |a|
para todo a, b R
Demostracin: (1.) Si a = 0, entonces |a| = 0. Si a 6= 0, entonces a 6= 0 y
|a| 6= 0. Por tanto, si |a| = 0, entonces a = 0.
(2.) Si a = 0, entonces |0| = 0 = |0|. Si a > 0, entonces a < 0, de manera
que |a| = a y |a| = (a) = a. Si a < 0, entonces a > 0, de modo que
|a| = a y |a| = a.
(3.) Si a = 0 o b = 0, entonces |ab| como |a| |b| son iguales a cero. Si a > 0 y
b > 0, entonces ab > 0, de donde |ab| = ab = |a| |b|. Si a > 0 y b < 0, entonces
ab < 0, de donde |ab| ab = a(b) = |a| |b|. Los otros dos casos se tratan del
mismo modo.
(4.) Supongamos que |a| c. Entonces se tiene tanto a c como a c, o
sea a c. Recprocamente, si c a c, entonces se tiene tanto a c como
a c. Por tanto, |a| c.
(5.) Se hace c = |a| y se aplica (4.).
Teorema 17 Para cualesquiera nmeros reales a y b, se cumple la desigual-
dad triangular
|a +b| |a| + |b|
Demostracin: Por el apartado (5.) del teorema anterior, se tiene |a| a
|a| y |b| b |b|. Entonces, sumando miembro a miembro, se tiene
(|a| + |b|) a +b |a| + |b|
de donde se deduce la desigualdad triangular.
Corolario 3 Para cualesquiera nmeros reales a y b, se cumple:
Los autores, 2002; Edicions UPC, 2002.
16 CAPTULO 1. NMEROS REALES
1. ||a| |b|| |a b|
2. |a b| |a +b|
Demostracin: (1.) Se escribe a = ab+b y se aplica la desigualdad triangular
para obtener
|a| = |(a b) +b| |a b| + |b|
De aqu se obtiene
|a| |b| |a b|
De manera similar, escribimos b = b a + a y aplicamos la desigualdad trian-
gular, y obtenemos
|b| = |(b a) +a| |b a| + |a|
De aqu, tenemos
|a b| = |b a| |a| |b|
Combinando las dos desigualdades obtenidas, se obtiene la desigualdad pedida.
(2.) Se sustituye b por b en la desigualdad triangular para obtener
|a b| |a| + |b| = |a| + |b|
Observacin 9 Mediante induccin se generaliza la desigualdad triangular para
cualquier nmero nito de nmeros reales. As, para cualesquiera nmeros reales
a
1
, a
2
, ..., a
n
, se tiene
|a
1
+a
2
+ +a
n
| |a
1
| + |a
2
| + + |a
n
|
Ejemplo 3 Examinar con detalle los siguientes ejemplos:
1. Determinar el conjunto A = {x R : |2x + 3| < 6}.
Solucin: Se tiene que
x A |2x + 3| < 6 6 < 2x + 3 < 6
Esta ltima se satisface si y slo si 9 < 2x < 3. Dividiendo por 2, se
tiene 9/2 < x < 3/2. Por tanto, A = {x R : 9/2 < x < 3/2}.
2. Determinar el conjunto B = {x R : |x 1| < |x|}.
Solucin: Un procedimiento es considerar los casos para los que los sm-
bolos de valor absoluto se pueden omitir. Estos casos son: (a) x < 0, (b)
0 x < 1, y (c) x 1. Obsrvese que 1 y 0 son los valores de x en los que
se anulan x 1 y x, respectivamente, y en consecuencia, donde cambian
de signo.
(a) En este caso, la desigualdad se convierte en (x 1) < x, que es
equivalente a 1 < 0. Puesto que esta armacin es falsa, ningn valor de
x considerado en este caso satisface la desigualdad.
(b) En este caso, la desigualdad se convierte en (x 1) < x, que es
equivalente a x > 1/2. Por tanto, los valores de x que satisfacen 1/2 <
x < 1 cumplen la desigualdad en cuestin.
Los autores, 2002; Edicions UPC, 2002.
1.4. VALOR ABSOLUTO 17
(c) En este caso, la desigualdad se convierte en x 1 < x, que es equiva-
lente a 1 < 0. Puesto que esta armacin es verdadera, todos los valores
de x considerados en este caso satisfacen la desigualdad.
Combinando los tres casos, se concluye que B = {x R : x > 1/2}.
Otro procedimiento para determinar B se basa en el hecho de que a < b es
equivalente a a
2
< b
2
, cuando a 0 y b 0. De este modo, |x 1| < |x| es
equivalente a |x 1|
2
< |x|
2
. Puesto que |a|
2
= a
2
, para cualquier nmero
real a, se puede desarrollar el cuadrado para obtener
x
2
2x + 1 < x
2
De aqu se tiene
x >
1
2
Por tanto, B = {x R : x > 1/2}.
3. Dada la funcin f denida por
f(x) =
2x
2
3x + 1
2x 1
para 2 x 3. Determinar una constante M tal que |f(x)| M, para
todo x que satisface 2 x 3.
Solucin: Se tiene

2x
2
3x + 1
2x 1

M
equivalente a

2x
2
3x + 1

|2x 1|
M
De la desigualdad triangular y del hecho de que |x| 3, se obtiene

2x
2
3x + 1

2 |x|
2
+ 3 |x| + 1 2 3
2
+ 3 3 + 1 = 28
Asimismo,
|2x 1| |2 |x| 1| 2 |x| 1 2 2 1 = 3
porque |x| 2. De este modo, tenemos

2x
2
3x + 1

|2x 1|

28
3
Por tanto, se puede tomar M = 28/3. Obsrvese que se ha encontrado una
de tales constantes: es claro que cualquier M > 28/3 tambin cumplir
|f(x)| M. Tambin es posible que 28/3 no sea el menor valor posible de
M.
Los autores, 2002; Edicions UPC, 2002.
18 CAPTULO 1. NMEROS REALES
1.5. La recta real
Una interpretacin geomtrica y familiar del conjunto de los nmeros reales
es la recta real. En esta representacin el valor absoluto |a| de un nmero real
a se considera como la distancia de a al origen 0. En general, la distancia entre
dos nmeros reales a y b es |a b|.
Distancia entre a = 2 y b = 3
Denicin 4 Sea a R y un nmero real > 0. Se llama entorno de centro
a y radio al conjunto
E

(a) = {x R : |x a| < }
Observacin 10 Obsrvese que la armacin x E

(a) es equivalente a una


cualquiera de las siguientes proposiciones
< x a <
a < x < a +
Teorema 18 Sea a R. Si x E

(a) para todo > 0, entonces x = a.


Demostracin: Si x es tal que 0 |x a| < para todo > 0, entonces
|x a| = 0. Por tanto, x = a.
Ejemplo 4 Examina los ejemplos siguientes:
1. Sea A = {x R : 0 < x < 1}. Si a A, entonces se toma como el menor
de los dos nmeros 1 a y a. De este modo, E

(a) A. Por tanto, cada


elemento de A tiene un entorno que est contenido en A.
2. Sea B = {x R : 0 x 1}. Entonces, para cualquier > 0 el entorno
E

(0) contiene puntos que no estn en B y, en consecuencia, E

(0) no
est contenido en B. Por ejemplo, el nmero x = /2 est en E

(0) pero
no en B.
Los autores, 2002; Edicions UPC, 2002.
1.6. LA PROPIEDAD DE COMPLETITUD 19
1.6. La propiedad de completitud
Los axiomas de cuerpo ordenado no son sucientes para caracterizar a los
nmeros reales, porque los nmeros racionales tambin satisfacen estos axiomas.
Sin embargo, hay nmeros que deberan estar ah, pero no estn; por ejemplo, no
hay ningn nmero racional que cumpla la ecuacin x
2
= 2. Necesitamos pues
otra condicin que nos asegure la presencia de estos nmeros en el conjunto de
los nmeros reales. Esta condicin se conoce como la propiedad de completitud
de los nmeros reales.
Por la propiedad de densidad de los nmeros racionales sabemos que entre
dos nmeros racionales existen innitos nmeros racionales, por tanto al visu-
alizar el conjunto Q, representando cada uno de sus elementos por un punto,
parecer como si tuviramos una recta. Sin embargo, la realidad es que Q no
forma un todo continuo, ya que como hemos dicho hay nmeros, llamados
irracionales, como por ejemplo

2, que reclaman su punto en la recta (huecos).


Los nmeros racionales representados por puntos en un recta.
Por tanto, es evidente que este conjunto carece de nmeros que estn todo lo
cercanos que queramos a un nmero racional, lo que muestra el concepto de
incompletitud de Q. En cambio, al representar el conjunto de los nmeros
reales R, formado por la unin del conjunto de los nmeros racionales y del
conjunto de los nmeros irracionales, s que estamos ante un continuo y cuya
visualizacin da lugar a lo que llamamos habitualmente recta real
La recta real
Hay varias formas de introducir la propiedad de completitud. Una de ellas,
consiste en introducirla a travs de la propiedad del supremo que se toma como
otro axioma de los nmeros reales. Otra, es introducirla a travs de la propiedad
de la sucesin monotona. Este otro mtodo, ms cercano a nuestra intuicin,
consiste en construir los nmeros reales, como

2 = 1,414213..., en forma de
lmite de una sucesin que lo aproxima.
Aqu introduciremos la completitud de R por la propiedad del supremo,
tomndola como axioma. Una descripcin del otro mtodo puede encontrarse
en Marsden y Homan.
Denicin 5 Sea S un subconjunto de R. Se dice que un nmero real u es una
cota superior (resp. inferior) de S si para todo s S se cumple s u (resp.
u s).
Observacin 11 Hacemos las siguientes constataciones importantes:
1. Un nmero real v no es una cota superior (resp. inferior) de S si y slo
si existe algn s
0
S tal que v s
0
(resp. s
0
v)
Los autores, 2002; Edicions UPC, 2002.
20 CAPTULO 1. NMEROS REALES
2. Cualquier nmero real es una cota superior (resp. inferior) del conjunto
vaco .
3. Un conjunto de nmeros reales puede no tener una cota superior (resp.
inferior). Por ejemplo, el mismo R no tiene cotas superiores ni inferiores.
Sin embargo, si un conjunto de nmeros reales tiene una cota superior
(resp. inferior) tendr una innidad de ellas porque si u es una cota supe-
rior (resp. inferior), entonces cualquier nmero real v tal que u < v (resp.
v < u) tambin es una cota superior (resp. inferior).
Denicin 6 Sea S un subconjunto de R. Se dice que S est acotado supe-
riormente (resp. inferiormente) si tiene una cota superior (resp. inferior).
Se dice que S est acotado si tiene tanto cota superior como inferior.
Denicin 7 Sea S un subconjunto de R. Si S est acotado superiormente
(resp. inferiormente), entonces se dice que una cota superior (resp. inferior) u
es un supremo o una mnima cota superior (resp. nmo o una mxima
cota inferior) de S, si ningn nmero menor (resp. mayor) que u es cota
superior (inferior) de S.
Observacin 12 Otro modo de denir estos nmeros es: un nmero real u es
un supremo (resp. nmo) de un subconjunto S de R si satisface las siguientes
condiciones:
1. para todo s S se tiene s u (resp. u s)
2. Si s v (resp. v s) para todo s S, entonces u v (resp. v u)
De hecho, la condicin (1) establece que u es una cota superior (resp. infe-
rior) de S y (2), que u es menor (resp. mayor) que cualquier otra cota superior
(resp. inferior) de S.
Lema 1 Un nmero real u es el supremo (resp. nmo) de un subconjunto S
no vaco de R si y slo si verica las siguientes condiciones:
1. No existen nmeros s S tales que u s (resp. s u)
2. Si v < u (resp. u < v), entonces existe un nmero s
0
S tal que v < s
0
(resp. s
0
< v)
Demostracin: Supongamos que u satisface (1) y (2). La condicin (1) implica
que u es una cota superior de S. Si v es cualquier nmero con v < u, entonces
la condicin (2) prueba que v no puede ser cota superior de S. Por lo tanto, u
es un supremo de S.
Recprocamente, sea u un supremo de S. Dado que u es una cota superior
de S, la condicin (1) se satisface trivialmente. Si v < u, entonces v no es cota
superior de S. Por lo tanto, existe algn s
0
S tal que v s
0
.
Del mismo modo se hace la prueba para el caso de que u es un nmo de S.
Observacin 13 Es claro que slo puede haber un supremo (nmo) para un
subconjunto dado S de R. En efecto, si u
1
y u
2
son supremos (nmos) de S,
entonces ambos son cotas superiores (inferiores) de S. Como u
1
es supremo
Los autores, 2002; Edicions UPC, 2002.
1.6. LA PROPIEDAD DE COMPLETITUD 21
(nmo) de S y u
2
es cota superior (inferior) de S, se debe tener u
2
u
1
(u
1
u
2
). Siguiendo el mismo razonamiento se prueba que u
1
u
2
(u
2
u
1
).
Por consiguiente, en cualquier caso se tiene u
1
= u
2
.
Cuando estos nmeros existan se denotarn por
supS y inf S
Es claro que si u es una cota superior arbitraria de S, entonces
supS u
Asimismo, si u es una cota inferior arbitraria de S, entonces
u inf S
Esto quiere decir que supS (inf S) es la menor (mayor) de las cotas superiores
(inferiores) de S.
supS y inf S
Lema 2 Una cota superior (resp. inferior) u de un subconjunto no vaco S de
R es el supremo (resp. nmo) de S si y slo si para cada > 0 existe s

S
tal que u < s

(u + > s

).
Demostracin: Supongamos que u es una cota superior de S y que satisface
la condicin del enunciado. Si v < u y se toma = u v, entonces > 0 y
entonces existe s

S tal que v = u < s

. Por lo tanto, v no es una cota


superior de S. Puesto que v es un nmero arbitrario menor que u, se sigue que
u = supS.
Recprocamente, supongamos que u = supS y sea > 0. Puesto que u < u,
entonces u no es cota superior de S. Por lo tanto, existe algn s

S tal
que u < s

.
Mediante un razonamiento anlogo se prueba el otro caso.
u = supS
Observacin 14 Es muy importante entender que el supremo (nmo) de un
conjunto puede ser elemento o no del conjunto en consideracin.
Los autores, 2002; Edicions UPC, 2002.
22 CAPTULO 1. NMEROS REALES
Denicin 8 Sea S un subconjunto de R. Se dice que un elemento u S es
el elemento mximo (resp. elemento mnimo) de S si se cumple s u (resp.
u s) para todo s S.
Observacin 15 Si u = supS y adems se cumple que u S, entonces u es
el mximo de S. Anlogamente, si u = inf S y se cumple u S, entonces u es
el mnimo de S.
Ejemplo 5 Examina con detalle los siguientes ejemplos:
1. Si S
1
es un subconjunto no vaco de nmeros reales que tiene un nmero
nito de elementos, entonces es fcil probar que S
1
tiene mximo y mn-
imo. Esto resulta evidente si S
1
tiene un solo elemento, y para cualquier
nmero nito de elementos se demuestra por induccin respecto al nmero
de elementos de S.
2. El conjunto S
2
= {x R : 0 x 1} tiene evidentemente a 1 y a 0 como
cotas superior e inferior respectivamente. Adems, 1 es el supremo y 0
es el nmo de S
2
. Por ejemplo, se prueba que 1 es el supremo de la
siguiente manera: si v < 1, existe un elemento s S
2
tal que v < s <
1. En consecuencia, v no es una cota superior de S
2
y, puesto que v
es un nmero arbitrario menor que 1, se sigue que supS
2
= 1. Con un
razonamiento similar se prueba que inf S
2
= 0. Obsrvese que tanto supS
2
como inf S
2
estn contenidos en S
2
. En tal caso podemos armar que 1 y
0 son respectivamente el mximo y el mnimo de S
2
.
3. Es evidente que 1 y 0 son respectivamente cota superior e inferior del
conjunto S
3
= {x R : 0 < x < 1}. Aplicando el mismo razonamiento de
antes se ve que supS
3
= 1 y inf S
3
= 0. En este caso, el conjunto no
contiene a estos dos elementos. Por consiguiente, S
3
no tiene mximo ni
mnimo.
4. El conjunto vaco no tiene supremo ni nmo porque cualquier nmero
real es cota superior e inferior de dicho conjunto.
Axioma 1 (Propiedad del supremo) Todo conjunto no vaco de nmeros
reales y acotado superiormente tiene supremo en R.
Observacin 16 Constatamos los siguientes hechos importantes:
1. Con todos los supuestos que se han hecho hasta ahora sobre el conjun-
to R, con los cuales R es un cuerpo ordenado, no es posible demostrar
que cualquier subconjunto no vaco que est acotado superiormente tiene
supremo en R. Esta propiedad que suele denominarse de completitud de R
es la hiptesis nal acerca de R. De este modo, se dice que R es un cuerpo
ordenado completo.
2. La propiedad anloga del nmo se puede deducir del axioma del supre-
mo. Supongamos que S es un subconjunto no vaco de R que est acotado
inferiormente. Entonces el conjunto S = {s : s S} est acotado su-
periormente y por el axioma del supremo tiene supremo. Sea u = supS,
entonces es fcil probar que u es el nmo de S. De este modo tenemos:
todo conjunto de nmeros reales no vaco y acotado inferiormente tiene
nmo en R.
Los autores, 2002; Edicions UPC, 2002.
1.6. LA PROPIEDAD DE COMPLETITUD 23
Teorema 19 (Propiedad arquimediana) Si x R, entonces existe un nmero
natural n
x
tal que x < n
x
.
Demostracin: Si la conclusin es falsa, entonces x es una cota superior de
N. Por el axioma del supremo, el conjunto no vaco N tiene supremo u R.
Puesto que u1 < u, por el lema 2 se sigue que existe m N tal que u1 < m.
Pero entonces u < m + 1 y puesto que m + 1 N, esto contradice la hiptesis
de que u es cota superior de N.
Corolario 4 Dados dos nmeros reales positivos y y z, entonces:
1. Existe n N tal que z < ny
2. Existe n N tal que
1
n
< y
3. Existe n N tal que n 1 z < n
Demostracin: (1) Puesto que x =
z
y
> 0, por la propiedad arquimediana
existe n N tal que
z
y
< n y, por tanto, z < ny.
(2) Si hacemos z = 1 en (1) se tiene 1 < ny, lo cual implica que
1
n
< y.
(3) La propiedad arquimediana asegura que el conjunto {m N : z < m} de
N es no vaco. Sea n el mnimo de este conjunto, que existe por la propiedad
del buen orden de N. Entonces n 1 no pertenece a este conjunto y por tanto
se tiene n 1 z < n.
Observacin 17 Hacemos las siguientes observaciones importantes:
1. La propiedad arquimediana es una consecuencia importante del axioma
del supremo. Esta propiedad asegura que el subconjunto N de los nmeros
naturales no est acotado superiormente en R. Debido a la familiaridad
en representar los nmeros sobre la recta real, esto parece un hecho obvio.
Sin embargo, resulta signicativo que esta propiedad no se pueda deducir
sin el axioma del supremo.
2. El apartado (2) del corolario anterior muestra que dado cualquier nmero
real z > 0 hay un nmero racional de la forma
1
n
con 0 <
1
n
< z. Por
lo tanto, no existe ningn nmero real mnimo estrictamente positivo, o
bien, existen nmeros racionales arbitrariamente pequeos de la forma
1
n
.
3. La propiedad arquimediana tambin se satisface en Q.
Teorema 20 (Existencia de

2) Existe un nmero real positivo x tal que
x
2
= 2.
Demostracin: Sea S =

s R : 0 s, s
2
< 2

. Puesto que 1 S, el conjunto


es no vaco. Asimismo, S est acotado superiormente por 2, ya que de no ser
as existira un elemento t S tal que 2 < t por lo que se tendra entonces que
4 < t
2
, lo que es una contradiccin. Por el axioma del supremo se tiene que S
tiene supremo en R. Sea x = supS. Es claro que x > 1. Probaremos que x
2
= 2,
descartando las otras dos posibilidades: x
2
< 2 y x
2
> 2.
Supongamos que x
2
< 2. Evidentemente se cumple
1
n
2

1
n
Los autores, 2002; Edicions UPC, 2002.
24 CAPTULO 1. NMEROS REALES
de donde

x +
1
n

2
= x
2
+
2x
n
+
1
n
2
x
2
+
1
n
(2x + 1)
Por tanto, si se puede elegir n de manera que
x
2
+
1
n
(2x + 1) < 2
es decir
1
n
(2x + 1) < 2 x
2
entonces

x +
1
n

2
< 2
lo que signica que
x +
1
n
S
Ahora bien, por hiptesis sabemos que 2 x
2
> 0 y 2x + 1 > 0, de donde
2 x
2
2x + 1
> 0
Por tanto, por la propiedad arquimediana, existe n N tal que
1
n
<
2 x
2
2x + 1
Para este valor de n se tiene como hemos visto, que
x +
1
n
S
lo cual contradice el hecho de que x es cota superior de S. Por lo tanto no es
posible que x
2
< 2.
Supongamos ahora que x
2
> 2. Obsrvese que

x
1
m

2
= x
2

2x
m
+
1
m
2
> x
2

2x
m
Por tanto, si se puede elegir m de manera que
x
2

2x
m
> 2
es decir
2x
m
< x
2
2
entonces

x
1
m

2
> 2
Por hiptesis se tiene que x
2
2 > 0 y x > 0, de donde
x
2
2
2x
> 0
Los autores, 2002; Edicions UPC, 2002.
1.6. LA PROPIEDAD DE COMPLETITUD 25
Por tanto, por la propiedad arquimediana, existe m N tal que
1
m
<
x
2
2
2x
Para este valor de m se tiene como hemos visto, que

x
1
m

2
> 2
Ahora bien, si s S, entonces
s
2
< 2 <

x
1
m

2
de donde se sigue por teorema 11 que
s < x
1
m
lo que signica que el nmero
x
1
m
es una cota superior de S, pero es contradictorio con el hecho de que x = supS.
Por consiguiente, no se puede tener x
2
> 2.
A la vista de ambos resultados se debe tener x
2
= 2.
Observacin 18 Hacemos las siguientes observaciones importantes:
1. Este ltimo resultado pone de relieve la importancia del axioma del supre-
mo al asegurar la existencia de un nmero real positivo x tal que x
2
= 2.
Ya se demostr en el teorema 3 que dicho x no puede ser un nmero
racional, por tanto, se ha demostrado tambin la existencia de al menos
un nmero irracional.
2. El conjunto de los nmeros racionales Q no cumple la propiedad del supre-
mo. Por ejemplo, el conjunto A =

x Q : x
2
< 2

no posee supremo en
Q. El ltimo teorema prueba este hecho.
3. Haciendo ligeras modicaciones en el razonamiento usado en la demostracin
del teorema anterior, puede probarse que si a > 0, entonces existe un
nmero b > 0 nico tal que b
2
= a. A este nmero se le llama raz cuadrada
positiva de a y se denota por b =

a o bien por b = a
1/2
. Un razonamiento
similar pero un tanto ms complicado en el que interviene la frmula del
binomio hace posible establecer la existencia de la raz nsima positiva
nica de a, denotada por
n

a o bien por a
1/n
, para cada n N.
Corolario 5 Sea x > 0 un nmero irracional y sea z > 0. Entonces existe un
nmero natural n tal que el nmero irracional x/n satisface
0 <
x
n
< z
Los autores, 2002; Edicions UPC, 2002.
26 CAPTULO 1. NMEROS REALES
Demostracin: Dado que x > 0 y z > 0, se sigue que x/z > 0. Por la propiedad
arquimediana, existe un nmero natural n tal que
0 <
x
z
< n
Por lo tanto, se tiene
0 <
x
n
< z
y es fcil probar que x/n es irracional.
Observacin 19 En el corolario anterior hemos probado que existen nmeros
irracionales innitamente pequeos de la forma x/n, siendo x un nmero irra-
cional dado y n cualquier nmero natural.
Teorema 21 (Propiedad de densidad de los nmeros racionales) Si x e
y son nmeros reales con x < y, entonces existe un nmero racional q tal que
x < q < y.
Demostracin: Sin ninguna prdida de generalidad podemos suponer que x >
0, por qu? porque si no es as, debe ser x = 0 o bien x < 0. En el primer
caso, se tiene 0 < y y el teorema resulta del corolario 4. Si x < 0, entonces
puede ocurrir que uno slo de los siguientes casos: (1) y = 0, (2) y > 0 y (3)
y < 0. En (1), se tiene x > 0 y el teorema resulta del mismo corolario. En (2),
se tiene x < 0 y y > 0. Por tanto, el nmero racional 0 cumple la condicin
del teorema. Finalmente, en (3) se tiene x < y < 0, o sea 0 < y < x, y
se proceder como el caso supuesto que a continuacin exponemos. Puesto que
y x > 0, por el corolario 4, existe n N tal que
1
n
< y x
de donde
ny nx > 1
Por ser x > 0, entonces nx > 0. Por el corolario 4, existe m N tal que
m1 nx < m
Este valor de m satisface tambin m < ny, ya que m nx+1 < ny. Por tanto,
se tiene
nx < m < ny
de donde q = m/n es un nmero racional que satisface
x < q < y
Corolario 6 (Propiedad de densidad de los nmeros irracionales) Si x
e y son dos nmeros reales con x < y, entonces existe un nmero irracional z
tal que
x < z < y
Los autores, 2002; Edicions UPC, 2002.
1.7. INTERVALOS 27
Demostracin: Aplicando el teorema anterior a los nmeros x/

2 y y/

2, se
obtiene un nmero racional q 6= 0 tal que
x

2
< q <
y

2
De aqu, tomando z = q

2, se tiene
x < z < y
Finalmente, es fcil probar que q

2 es irracional.
Observacin 20 A partir de los dos resultados anteriores podemos armar que
el conjunto de los nmeros racionales es denso en R, en el sentido de que es
posible hallar un nmero racional (de hecho, un nmero indenido de ellos)
entre dos nmeros reales diferentes (teorema 21), y se tiene la misma propiedad
de densidad para el conjunto de los nmeros irracionales (corolario 6).
1.7. Intervalos
Denicin 9 Si a, b R y a b, se llama
1. Intervalo abierto de extremos a y b al subconjunto siguiente:
]a, b[ = {x R : a < x < b}
2. Intervalo cerrado de extremos a y b al subconjunto siguiente:
[a, b] = {x R : a x b}
3. Intervalo semiabierto por la derecha de extremos a y b al subconjunto
siguiente:
[a, b[ = {x R : a x < b}
4. Intervalo semiabierto por la izquierda de extremos a y b al subcon-
junto siguiente:
]a, b] = {x R : a < x b}
5. Semirrectas abiertas de extremo a a los subconjuntos siguientes:
]a, +[ = {x R : x > a}
], a[ = {x R : x < a}
6. Semirrectas cerradas de extremo a a los subconjuntos siguientes:
[a, +[ = {x R : x a}
], a] = {x R : x a}
Observacin 21 Hacemos las siguientes anotaciones:
Los autores, 2002; Edicions UPC, 2002.
28 CAPTULO 1. NMEROS REALES
1. Es frecuente pensar en el conjunto completo R como un intervalo innito.
En este caso se escribe
], +[ = R
2. Cada uno de los intervalos del (1) al (4) tiene una longitud denida por
b a. Obsrvese que si a = b, el intervalo abierto correspondiente es el
conjunto vaco
]a, a[ =
y el intervalo cerrado correspondiente es el conjunto de un solo elemento
[a, a] = {a}
3. Se observar que los intervalos (1) al (4) son conjuntos acotados. Las
semirrectas (5) y (6) son conjuntos no acotados. En la denotacin de las
semirrectas se han usado los smbolos y +. Estos smbolos debern
considerarse solamente como acuerdos de notacin; no son elementos de
R.
4. Se llama intervalo unitario al intervalo cerrado [0, 1].
Denicin 10 Se dice que una sucesin de intervalos I
1
, I
2
, ..., I
n
, ... es una
sucesin de intervalos encajados si se cumple la siguiente cadena de inclusiones
I
1
I
2
I
n
I
n+1

Ejemplo 6 Si
I
n
=

0,
1
n

entonces se cumple
I
n
I
n+1
para cada n, por lo que los intervalos estn encajados. En este caso, el nmero
0 pertenece a todo I
n
y adems se cumple

\
n=1
I
n
= {0}
Los autores, 2002; Edicions UPC, 2002.
1.7. INTERVALOS 29
En efecto, de la propiedad arquimediana se sigue que para cualquier x > 0 existe
m N tal que
0 <
1
m
< x
de donde
x / I
m
Por lo tanto,
x /

\
n=1
I
n
Observacin 22 Es importante entender que, en general, una sucesin de in-
tervalos encajados no necesariamente tiene un punto comn. Por ejemplo, si
I
n
=

0,
1
n

entonces esta sucesin es de intervalos encajados, pero los intervalos no tienen


ningn punto en comn. En efecto, para cualquier x > 0 existe m N tal que
1
m
< x
lo cual quiere decir que
x / I
m
Por lo tanto
x /

\
n=1
I
n
Teorema 22 (Propiedad de los intervalos encajados) Si I
n
= [a
n
, b
n
], n
N, es una sucesin de intervalos cerrados encajados no vacos, entonces existe
R tal que I
n
para todo n N.
Demostracin: Puesto que los intervalos estn encajados, se tiene I
n
I
1
para todo n N, por lo que a
n
b
1
para todo n N. Por tanto, el conjunto
no vaco {a
n
: n N} est acotado superiormente y, por el axioma del supremo,
existe su supremo. Sea = sup{a
n
: n N}. Evidentemente, a
n
para todo
n N. Se tiene adems que b
n
para todo n N, ya que de no ser as,
existira algn m N tal que b
m
< . Dado que = sup{a
n
: n N}, debe
existir a
p
tal que b
m
< a
p
. Sea q el mayor de los nmeros naturales m y p.
Puesto que
a
1
a
2
a
n

b
1
b
2
b
n

se deduce que b
q
b
m
< a
p
a
q
. Pero esto implica que b
q
< a
q
, lo cual no
es posible ya que I
q
= [a
q
, b
q
] es un intervalo cerrado no vaco. Por lo tanto,
b
n
para todo n N. Como a
n
b
n
para todo n N, de aqu se sigue
I
n
= [a
n
, b
n
] para todo n N.
Los autores, 2002; Edicions UPC, 2002.
30 CAPTULO 1. NMEROS REALES
Observacin 23 En las mismas hiptesis del teorema anterior, se demuestra
que puede haber ms de un elemento comn. De hecho, si se supone que =
inf {b
n
: n N}, entonces se tiene
[, ] =

\
n=1
I
n
Teorema 23 Si I
n
= [a
n
, b
n
], n N, es una sucesin de intervalos cerrados
encajados no vacos tales que las longitudes b
n
a
n
de I
n
cumplen
inf {b
n
a
n
: n N} = 0
entonces existe un nico nmero real perteneciente a todos los intervalos de
la sucesin.
Demostracin: Puesto que los intervalos estn encajados, se tiene I
n
I
1
para todo n N, por lo que a
1
b
n
para todo n N. Por tanto, el conjunto
{b
n
: n N} est acotado inferiormente y, en consecuencia, existe su nmo.
Sea = inf {b
n
: n N}. Evidentemente, b
n
para todo n N. Mediante
un razonamiento similar al de la demostracin del teorema 22, se prueba que
a
n
para todo n N. Por consiguientem se tiene a
n
b
n
. De hecho,
como hemos observado antes, se puede demostrar que x I
n
para todo n N si
y slo si x . Ahora bien, si tenemos inf {b
n
a
n
: n N} = 0, entonces
para cualquier > 0 existe m N tal que 0 b
m
a
m
< . Puesto que
esto se cumple para cualquier > 0, por el teorema 8 se deduce que = 0.
Por lo tanto, se concluye que = es el nico elemento que pertenece a I
n
para
todo n N.
1.8. Conjuntos innitos
Denicin 11 Si n N, se dice que un conjujnto S tiene n elementos si existe
una aplicacin biyectiva del subconjunto {1, 2, ..., n} de N en S. Se dice que S
es nito si es vaco, o bien tiene n elementos, para un cierto n N. Se dice que
un conjunto es innito si no es nito.
Teorema 24 Un conjunto S
1
tiene n elementos si y slo si existe una aplicacin
biyectiva de S
1
en un conjunto S
2
que tiene n elementos.
Demostracin: Si S
1
tiene n elementos, por denicin S
1
es biyectable con
el conjunto {1, 2, ..., n} que tiene n elementos. Por tanto, es suciente tomar
S
2
= {1, 2, ..., n}. Recprocamente, sea : S
1
S
2
la aplicacin biyectiva.
Como S
2
tiene n elementos, por denicin existe una aplicacin biyectiva
de {1, 2, ..., n} en S
2
. Entonces la aplicacin
1
de {1, 2, ..., n} en S
1
es
biyectiva y, en consecuencia, S
1
tiene n elementos.
Corolario 7 Un conjunto S
1
es nito si y slo si existe una biyeccin de S
1
en
un conjunto S
2
que es nito.
Demostracin: La prueba es anloga a la realizada en la demostracin ante-
rior, sabiendo que un conjunto no vaco es nito si tiene n elementos.
Teorema 25 1. Sean m, n N tales que m n. Entonces existe una apli-
cacin inyectiva del conjunto {1, 2, ..., m} en el conjunto {1, 2, ..., n}.
Los autores, 2002; Edicions UPC, 2002.
1.8. CONJUNTOS INFINITOS 31
2. Sean m, n N tales que m > n. Entonces no existe una inyeccin de
{1, 2, ..., m} en {1, 2, ..., n}.
Demostracin: (1) Denimos la aplicacin : {1, 2, ..., m} {1, 2, ..., n} por
(k) = k para 1 k m. Es obvio que es inyectiva.
(2) La demostracin se hace por induccin. Para n = 1, cualquier aplicacin
: {1, 2, ..., m} {1}, con m > 1, cumple (1) = = (m) = 1, lo que
nos asegura que no es inyectiva. Supongamos ahora que para k > 1 ninguna
aplicacin de {1, 2, ..., m} en {1, 2, ..., k}, con m > k, no es inyectiva. Se probar
que tampoco ninguna aplicacin de {1, 2, ..., m} en {1, 2, ..., k + 1}, con m >
k + 1, es inyectiva. En efecto, si ({1, 2, ..., m}) est contenido en {1, 2, ..., k},
entonces por la hiptesis de induccin no es una inyeccin en {1, 2, ..., k} y, por
tanto, no es una inyeccin en {1, 2, ..., k, k + 1}. En consecuencia, suponemos
que ({1, 2, ..., m}) no est contenido en {1, 2, ..., k}. Si ms de un elemento de
{1, 2, ..., m} se corresponde con k + 1, entonces no es inyectiva. Por tanto,
debemos suponer que slo un cierto p N se corresponde con k + 1. Denimos
ahora la aplicacin
1
: {1, 2, ..., m1} {1, 2, ..., k} por

1
(q) =

(q) si 1 q < p
(q 1) si p q m1
que, por hiptesis de induccin, no es inyectiva. Por consiguiente, no es in-
yectiva.
Teorema 26 1. Si m N, entonces existe una aplicacin inyectiva de {1, 2, ..., m}
en N.
2. Si m N, entonces no existe una aplicacin inyectiva de N en {1, 2, ..., m}.
Demostracin: La prueba es anloga a la demostracin del teorema anterior.
Corolario 8 El conjunto de los nmeros naturales N es un conjunto innito.
Demostracin: Si N fuera nito, entonces existira un m N y una aplicacin
biyectiva de {1, ..., m} en N. Pero esto signica que la aplicacin inversa de N
en {1, ..., m} es inyectiva, lo que no es posible por el teorema anterior.
Teorema 27 Un subconjunto T de un conjunto nito S es nito.
Demostracin: Se puede suponer que T es no vaco, porque si fuera vaco sera
nito. La demostracin se hace por induccin sobre el nmero de elementos del
conjunto S. Si S tiene un elemento, entonces es evidente que el nico subcon-
junto no vaco T de S debe coincidir con S, y, por tanto, es un conjunto nito.
Supongamos ahora que todo subconjunto no vaco de un conjunto de k elementos
es nito. Si ahora S tiene k + 1 elementos, entonces existe una biyeccin de
N
k+1
en S. Si T es un subconjunto no vaco de S y (k + 1) / T, entonces se
puede considerar que T es un subconjunto del conjunto S
1
= S {(k + 1)}, el
cual tiene k elementos. Por tanto, por hiptesis de induccin, T es nito. Sin
embargo, si (k + 1) T, entonces el conjunto T
1
= T {(k + 1)} es un sub-
conjunto de S
1
, el cual tiene k elementos. Por consiguiente, T
1
es un conjunto
nito, y en consecuencia, T = T
1
{(k + 1)} tambin es un conjunto nito.
Teorema 28 Si S es un conjunto innito y S U, entonces U es un conjunto
innito.
Demostracin: Si U fuera nito, entonces por el teorema anterior se seguira
que S es un conjunto nito, lo cual contradice la hiptesis.
Los autores, 2002; Edicions UPC, 2002.
32 CAPTULO 1. NMEROS REALES
Ejemplo 7 Sea f : N N una aplicacin inyectiva. Demostrar que el conjunto
A = {n N : f(n) n}
es innito.
Solucin: Supongamos que A fuera nito. Entonces existen
n
0
= m ax
nA
{f(n)}
n
1
= m ax
nA
{n}
por el principio del buen orden de los nmeros naturales. Adems, por denicin
de A, se tiene n
0
n
1
. Puesto que por hiptesis f es inyectiva, se tiene
{1, 2, ..., n
0
} {f(1), f(2), ..., f(n
0
)}
Sea n {1, 2, ..., n
0
}, entonces se cumple una de las siguientes posibilidades:
n A o n / A. Si n A, entonces n f(n) n
0
. Si n / A, entonces
f(n) < n n
0
. En cualquier caso, se deduce
{f(1), f(2), ..., f(n
0
)} {1, 2, ..., n
0
}
Por tanto,
{f(1), f(2), ..., f(n
0
)} = {1, 2, ..., n
0
}
Finalmente, se cumple
n
0
+ 1 > n
0
n
1
y por tanto, n
0
+ 1 / A. De aqu, se deduce
f(n
0
+ 1) < n
0
+ 1
de donde
f(n
0
+ 1) n
0
lo que es una contradiccin por el hecho de que {f(1), f(2), ..., f(n
0
)} = {1, 2, ..., n
0
}
y f inyectiva.
1.9. Conjuntos numerables
Denicin 12 Se dice que un conjunto S es innito numerable si existe una
aplicacin biyectiva de N en S. Se dice que un conjunto S es numerable si es
nito o bien innito numerable. Se dice que un conjunto S es no numerable
si no es nito ni innito numerable.
Ejemplo 8 Examnense los siguientes ejemplos con detalle.
1. El conjunto de los nmeros naturales pares P = {2n : n N} es innito
numerable, ya que la aplicacin : N P denida por (n) = 2n, n N,
es biyectiva. De manera similar, el conjunto de los nmeros naturales
impares I = {2n 1 : n N} es innito numerable.
Los autores, 2002; Edicions UPC, 2002.
1.9. CONJUNTOS NUMERABLES 33
2. El conjunto de los nmeros enteros Z es innito numerable. Para verlo,
consideremos la disposicin siguiente de los conjuntos Z y N:
0, 1, 1, 2, 2, 3, 3, ...
1, 2, 3, 4, 5, 6, 7, ...
La correspondencia entre estas dos listas se establece mediante la siguiente
aplicacin:
f(n) =

n
2
si n es par

n1
2
si n es impar
que es biyectiva.
3. Utilizando el mismo razonamiento anterior, puede demostrarse ensegui-
da que la unin disjunta de dos conjuntos innito numerables es innito
numerable. Uno de los dos conjuntos se enumera mediante los nmeros
naturales pares y el otro, mediante los impares.
Teorema 29 Un conjunto S
1
es innito numerable (resp. numerable) si y slo
si existe una biyeccin de S
1
en un conjunto S
2
que es innito numerable (resp.
numerable).
Demostracin: Si S
1
es innito numerable, existe una biyeccin de N en S
1
,
y N es un conjunto innito numerable. Recprocamente, sea : S
1
S
2
la
biyeccin. Puesto que S
2
es innito numerable existe una biyeccin de N en
S
2
. Entonces,
1
es una aplicacin biyectiva de N en S
1
.
De manera anloga se procede para el caso de conjuntos numerables.
Teorema 30 Si un conjunto S es numerable y T S, entonces T es numerable.
Demostracin: Si S es nito, por el teorema 27, T es nito. Si T es nito,
entonces se ha terminado la prueba. De este modo, podemos suponer que S es
innito numerable y T S es innito. Sea f una biyeccin de N en S y sea
U = {n N : f(n) T} = f
1
(T). Puesto que T no es vaco, se sigue que U
es no vaco. Podemos ahora aplicar la propiedad de buena ordenacin de N para
obtener el elemento mnimo u
1
de U. Entonces se hace que u
2
sea el elemento
mnimo de U {u
1
}, que debe ser no vaco, porque T es innito. Procediendo
de este modo, obtenemos u
1
, u
2
, ..., u
k
de U. Hacemos que u
k+1
sea el elemento
mnimo de U{u
1
, u
2
, ..., u
k
}, que debe ser tambin no vaco por la misma razn
de antes. Por construccin, tenemos 1 u
1
< u
2
< < u
k
< u
k+1
< ,
de donde se deduce por induccin que r u
r
para todo r N. Ahora se dene
la aplicacin g : N N por g(r) = u
r
, para cada r N. Del hecho de que
u
k+1
/ {u
1
, u
2
, ..., u
k
}, se deduce que g es inyectiva. Por lo tanto, la aplicacin
f g es inyectiva de N en S. Puesto que los valores que toma esta aplicacin
estn contenidos en T S, podemos considerarla como una inyeccin de N
en T. Puesto que f es exhaustiva, para todo t T S se tiene f(n
t
) = t
para un cierto n
t
U N. Sin embargo, como r u
r
= g(r) para r N,
se tiene n
t
= g(m
t
) para un cierto m
t
N y m
t
n
t
. Por consiguiente,
t = f(n
t
) = f(g(m
t
)) = (f g)(m
t
), con lo cual se demuestra que f g es una
aplicacin exhaustiva de N en T. Por consiguiente, f g es biyectiva y T es
innito numerable.
Observacin 24 El teorema anterior muestra que los conjuntos innito nu-
merables representan la "menor innidad"posible, en el sentido de que un con-
junto que es numerable puede ser un subconjunto de uno numerable.
Los autores, 2002; Edicions UPC, 2002.
34 CAPTULO 1. NMEROS REALES
Teorema 31 1. El conjunto S es numerable si y slo si existe una inyeccin
de S en N.
2. El conjunto S es numerable si y slo si existe una aplicacin exhaustiva
de N sobre S.
Demostracin: Como una biyeccin es una aplicacin inyectiva y exhaustiva,
la condicin de que S es numerable lleva consigo las condiciones enunciadas.
Por tanto, es necesario demostrar que cada una de las condiciones dadas implica
que S sea numerable.
1. Sea f : S N una aplicacin inyectiva. Entonces f es una biyeccin de
S en f(S) N. Ahora bien, por el teorema 30, f(S) es numerable. De
aqu, por el teorema 29, S es numerable.
2. Sea g : N S una aplicacin exhaustiva. Denimos la aplicacin g
1
:
S N de la siguiente manera: para cada s S, g
1
(s) es el elemento
mnimo del conjunto {n N : g(n) = s} que es no vaco, ya que g es
exhaustiva Sean s, t S y s 6= t, entonces los subconjuntos {n N :
g(n) = s} y {n N : g(n) = t} de N son disjuntos. Por el buen orden de
N, se sigue que g
1
(s) 6= g
1
(t). Por consiguiente, g
1
es inyectiva y, por (1),
se concluye que S es numerable.
Observacin 25 La parte (2) del teorema anterior nos muestra como un con-
junto numerable es un conjunto S cuyos elementos se pueden presentar como
los valores de una sucesin
S = {x
1
, x
2
, ..., x
n
, ...}
en donde se permiten las repeticiones. En consecuencia, ya no es tan indispens-
able que la aplicacin sea inyectiva.
Teorema 32 El conjunto de los nmeros racionales Q es numerable.
Demostracin: Se demostrar que el conjunto Q
+
de los nmeros racionales
positivos es innito numerable. Entonces, como Q = Q
+
{0} Q

, donde Q

es el conjunto de los nmeros racionales negativos, se seguir que Q es innito


numerable, del mismo modo que Z en el ejemplo 8.
Se muestra el conjunto F de todas las fracciones m/n, con m, n N de
acuerdo con la siguiente ordenacin: la n sima la se compone de todas las
fracciones con n en el denominador
La aplicacin de N en F se dene segn lo indican las echas. Se tiene entonces
F =

1
1
,
1
2
,
2
1
,
1
3
,
2
2
,
3
1
, ...

Los autores, 2002; Edicions UPC, 2002.


1.9. CONJUNTOS NUMERABLES 35
Por lo tanto, el conjunto F es innito numerable. Cada nmero racional est
representado por muchos elementos diferentes de F; por ejemplo, 1 = 1/1 =
2/2 = . Para cada r Q
+
se puede elegir como representante la fraccin
con el menor denominador y, por tanto, es posible considerar Q
+
como un
subconjunto de F. De este modo, por el teorema 30, Q
+
es innito numerable.
Teorema 33 El conjunto [0, 1] = {x R : 0 x 1} no es numerable.
Demostracin: Se supone que se sabe que todo nmero real x tal que 0 x 1
tiene una representacin decimal de la forma x = 0.a
1
a
2
a
3
, en donde cada
a
k
es un dgito entre 0 y 9. Se debe tener presente que ciertos nmeros reales
tienen dos representaciones de esta forma; por ejemplo, el nmero racional 1/10
puede representarse de dos maneras
0,1000 y 0,0999
Dado que Q cumple la propiedad arquimediana, hay una innidad de nmeros
racionales en dicho intervalo. Por tanto, el conjunto [0, 1] no puede ser nito.
Ahora se probar que no es innito numerable. Supongamos que hay una enu-
meracin x
1
, x
2
, ... de todos los nmeros reales en [0, 1]. Expresemos cada x
k
en
forma decimal:
x
1
= 0.a
11
a
12
a
13

x
2
= 0.a
21
a
22
a
23

.
.
.
x
n
= 0.a
n1
a
n2
a
n3

.
.
.
Sea ahora b
1
un dgito distinto de 0, a
11
y 9, b
2
un dgito distinto de 0, a
22
y
9, b
3
un dgito distinto de 0, a
33
y 9, etc. Consideremos el nmero real x cuya
representacin decimal es
x = 0.b
1
b
2
b
3

que claramente satisface 0 x 1. El nmero x no es uno de los nmeros con
dos representaciones decimales, ya que b
n
6= 0 y b
n
6= 9. Adems, x 6= x
n
para
cualquier n N, porque x y x
n
tienen dgitos diferentes en la n sima cifra
decimal. Por lo tanto, cualquier lista de nmeros reales en este intervalo omitir
al menos un nmero real que pertenece a este intervalo. En consecuencia, este
intervalo no es un conjunto numerable.
Corolario 9 1. El conjunto de los nmeros reales R no es numerable.
2. Un intervalo (no vaco) de R no es numerable.
Demostracin:
1. Es evidente a partir del teorema 33, pues si fuera numerable, por el teorema
30, cualquier subconjunto sera numerable y esto es contradictorio con el
hecho de que [0, 1] es no numerable
2. Un cambio de escala mediante la aplicacin f(x) = a + (b a)x pone el
intervalo [0, 1] en correspondencia biyectiva con el intervalo [a, b]. Por el
teorema 33, el intervalo [a, b] no es numerable.
Los autores, 2002; Edicions UPC, 2002.
36 CAPTULO 1. NMEROS REALES
Observacin 26 Hacemos las siguientes consideraciones importantes:
1. Del hecho de que R es no numerable y de que Q es numerable se sigue que
el conjunto de los nmeros irracionales RQ es no numerable. En efecto,
puesto que la unin de dos conjuntos disjuntos numerables es numerable,
si R Q fuera numerable se deducira que R sera numerable, lo cual es
contradictorio con el corolario anterior.
2. Un conjunto nito no puede ser biyectable a uno de sus subconjuntos pro-
pios. Sin embargo, esto es posible para conjuntos innitos (segn se mues-
tra en el ejemplo 8, en el que N es un subconjunto propio de Z). Se con-
sidera el siguiente resultado como un axioma de la teora de conjuntos:
todo conjunto innito tiene un subconjunto innito numerable. De este
resultado se sigue que un conjunto es innito si es biyectable a uno de sus
subconjuntos propios. De este modo, podemos sustituir la denicin 11 por
la que acabamos de encunciar.
Los autores, 2002; Edicions UPC, 2002.
Captulo 2
Sucesiones de nmeros
reales
2.1. Denicin
Denicin 13 Una sucesin de nmeros reales es una aplicacin f : N
R. Dicho de otro modo, una sucesin en R asigna a cada nmero natural un
nmero real determinado de manera nica. Los nmeros reales as obtenidos se
llaman los elementos, valores o trminos de la sucesin. Es habitual denotar
por x
n
, en lugar de f(n), al nmero real asignado a n por la sucesin. De este
modo, la sucesin se denotar por
X = (x
n
: n N)
o simplemente X = (x
n
).
Observacin 27 Hacemos las siguientes anotaciones:
1. No hay que confundir la sucesin (x
n
: n N), cuyos elementos tienen un
orden, y el conjunto {x
n
: n N} de los valores de esta sucesin, los cuales
no se consideran ordenados. Por ejemplo, la sucesin ((1)
n
: n N)
viene dada por enumeracin como sigue
(1, 1, 1, 1, ...)
mientras que el conjunto {(1)
n
: n N} de los valores de la sucesin es
igual al siguiente conjunto
{1, 1}
2. Al denir una sucesin es costumbre enumerar en orden los trminos de
la misma, detenindose cuando la regla de formacin parece evidente. As,
la sucesin de los nmeros naturales pares se puede escribir como sigue
(2, 4, 6, 8, ...)
Del mismo modo escribimos por ejemplo la sucesin de los inversos de los
cubos de los nmeros naturales
(
1
2
3
,
1
4
3
,
1
6
3
,
1
8
3
, ...)
37
Los autores, 2002; Edicions UPC, 2002.
38 CAPTULO 2. SUCESIONES DE NMEROS REALES
3. Otro mtodo ms satisfactorio para denir una sucesin consiste en dar
una frmula para el trmino general de la sucesin. De esta manera, las
sucesiones del apartado anterior se escriben como sigue
(2n : n N)
(
1
m
3
: m N)
4. Finalmente, tambin podemos encontrar las sucesiones denidas recursi-
vamente. Esto es as cuando se especica el valor de x
1
y una frmula
para obtener x
n+1
a partir de x
1
, x
2
, ..., x
n
. De esta manera, la sucesin
de los nmeros naturales pares se puede denir por
x
1
:= 2 x
n+1
:= x
n
+ 2 (n 1)
o tambin por
x
1
:= 2 x
n+1
:= x
n
+x
1
(n 1)
Ejemplo 9 Examina detenidamente los siguientes ejemplos:
1. Si a R, la sucesin (a, a, a, ...), cuyos trminos son iguales a a, se llama
sucesin constante a. Por tanto, la sucesin constante 0 es la sucesin
(0, 0, 0, ...), cuyos trminos son iguales a 0.
2. La sucesin de los cuadrados de los nmeros naturales es la sucesin
(1
2
, 2
2
, 3
2
, ...) = (n
2
: n N).
3. La sucesin cuyo trmino general viene dado por la frmula
x
n
=
n
n + 1
es la sucesin
(
1
2
,
2
3
,
3
4
,
4
5
, ...)
4. La sucesin de Fibonacci es la sucesin (f
n
) denida recursivamente como
sigue:
f
1
= 1 f
2
= 1 f
n+1
= f
n1
+f
n
(n 2)
Los diez primeros trminos de esta sucesin son
(1, 1, 2, 3, 5, 8, 13, 21, 34, 55, ...)
2.2. Operaciones con sucesiones
Denicin 14 Si X = (x
n
) y Y = (y
n
) son dos sucesiones de nmeros reales
cualesquiera, entonces su suma se dene como la sucesin
X +Y = (x
n
+y
n
: n N)
su diferencia se dene como la sucesin
X Y = (x
n
y
n
: n N)
Los autores, 2002; Edicions UPC, 2002.
2.2. OPERACIONES CON SUCESIONES 39
y su producto como la sucesin
XY = (x
n
y
n
: n N)
Si a R, se dene el producto de (x
n
) por a como la sucesin
aX = (a x
n
: n N)
Por ltimo, si Z = (z
n
) es una sucesin de nmeros reales con z
n
6= 0 para todo
n N, entonces se dene el cociente de X y Z como la sucesin
X
Z
= (
x
n
z
n
: n N)
Ejemplo 10 Dadas las sucesiones
X = (1, 3, 5, 7, ...) = (2n 1 : n N)
Y = (1,
1
2
,
1
3
,
1
4
, ...) = (
1
n
: n N)
entonces tenemos:
1. La suma X +Y , es la sucesin
(2,
7
2
,
16
3
,
29
4
, ...) = (
2n
2
n + 1
n
: n N)
2. La diferencia X Y , es la sucesin
(0,
5
2
,
14
3
,
27
4
, ...) = (
2n
2
n 1
n
: n N)
3. El producto XY , es la sucesin
(1,
3
2
,
5
3
,
7
4
, ...) = (
2n 1
n
: n N)
4. El producto 2X, es la sucesin
(2, 6, 10, 14, ...) = (4n 2 : n N)
5. El cociente
X
Y
, es la sucesin
(1, 6, 15, 28, ...) = (2n
2
n : n N)
Si Z denota la sucesin cuyo trmino general es z
n
= 1 + (1)
n
, es decir,
la sucesin
(0, 2, 0, 2, ...)
entonces estn denidas las sucesiones X+Z, XZ y XZ, pero no est denida
la sucesin
X
Z
porque algunos de los trminos de Z son iguales a 0.
Los autores, 2002; Edicions UPC, 2002.
40 CAPTULO 2. SUCESIONES DE NMEROS REALES
2.3. El lmite de una sucesin
Denicin 15 Sea X = (x
n
) una sucesin de nmeros reales. Se dice que un
nmero real x es un lmite de (x
n
) si para todo > 0 existe un nmero natural
m() tal que para todo n m(), los trminos x
n
de la sucesin pertenecen al
entorno V

(x).
Observacin 28 Hacemos las siguientes anotaciones importantes:
1. La notacin m() se usa para hacer explcito que la eleccin de m puede
depender del valor de > 0.
2. Decir que los trminos x
n
pertenecen al entorno V

(x) puede tambin ex-


presarse de cualquiera de las siguientes maneras equivalentes:
x
n
V

(x) |x
n
x| < < x
n
x < x < x
n
< x+
Denicin 16 Si x es un lmite de la sucesin X = (x
n
), entonces se dice que
la sucesin converge a x o que tiene un lmite x. Si una sucesin tiene un lmite,
se dice que la sucesin es convergente; si no tiene ningn lmite, se dice que la
sucesin es divergente.
Observacin 29 La denicin de convergencia de una sucesin X = (x
n
) se
puede expresar tambin diciendo: para cualquier entorno de x, V

(x), todos los


trminos de la sucesin, excepto un nmero nito, pertenecen a dicho entorno.
Teorema 34 Una sucesin convergente de nmeros reales tiene un nico lmite.
Demostracin: Supongamos, por el contrario, que una sucesin X = (x
n
)
tuviera dos lmites distintos x
1
y x
2
. Elegimos > 0 de manera que los entornos
V

(x
1
) y V

(x
2
) sean disjuntos (es decir <
1
2
|x
1
x
2
|). Por denicin, existen
dos nmeros naturales m
1
() y m
2
() tales que, si n m
1
() entonces x
n

V

(x
1
), y si n m
2
() entonces x
n
V

(x
2
). Sin embargo, esto contradice la
hiptesis de que estos entornos sean disjuntos. En consecuencia x
1
= x
2
.
Notacin 1 Cuando una sucesin X = (x
n
) tiene lmite x en R, se usar la
siguiente notacin
lmX = x o lm x
n
= x
Tambin se usa en ocasiones la simbologa (x
n
) x, que representa la idea
intuitiva de que los valores x
n
tienden al nmero x cuando n .
Observacin 30 Hacemos las aclaraciones siguientes:
1. La denicin de lmite de una sucesin de nmeros reales se usa para com-
probar que un valor propuesto x es en realidad el lmite. No proporciona
ningn mtodo para determinar inicialmente cul podra ser ese valor. En
la prctica lo que se hace es conjeturar un valor del lmite a partir del
clculo mediante calculadoras de varios trminos sucientemente grandes
de la sucesin.
2. Para probar que un nmero real x no es lmite de una sucesin X = (x
n
),
basta hallar un
0
> 0 tal que independientemente del nmero natural m
que se elija, es posible encontrar un n
m
concreto que satisface n
m
m tal
que x
n
m
no pertenece al entorno V

0
(x), o dicho en otras palabras, que
|x
n
m
x|
0
Los autores, 2002; Edicions UPC, 2002.
2.3. EL LMITE DE UNA SUCESIN 41
Ejemplo 11 Examnense con detalle los siguientes ejemplos:
1. lm
1
n
= 0
Solucin: Para probar esto, se observa que dado > 0, entonces
1

>
0. Por la propiedad arquimediana, hay un nmero natural m() tal que
m() >
1

. Entonces, para todo n m() se tiene n >


1

, de donde
1
n
< .
Es decir, si n m() entonces

1
n
0

=
1
n
<
En consecuencia, la sucesin (
1
n
) converge a 0, pues independientemente
del valor que se elija para > 0, siempre existir un nmero natural
m() >
1

.
2. lm
1
n
2
= 0
Solucin: Dado > 0, queremos obtener

1
n
2
0

=
1
n
2
<
para n sucientemente grande. De aqu deducimos
1
n
<

o n >
1

Por tanto, podemos tomar m() como un nmero natural tal que
m() >
1

cuya existencia queda asegurada por la propiedad arquimediana. Una vez


hallado m() debemos comprobar que funciona, es decir, que si n m()
entonces
n >
1

de aqu se tiene
n
2
>
1

de donde se deduce
1
n
2
<
con lo cual queda probado que la sucesin converge a 0.
3. La sucesin (0, 2, 0, 2, ...) no converge a 0.
Solucin: Elegimos < 2, por ejemplo = 1. Entonces, independiente-
mente del valor que escojamos para m(1), se podr seleccionar un nmero
par n > m(1) para el cual el valor correspondiente x
n
= 2 y para el cual
se tiene
|x
n
0| = |2 0| = 2 > 1
Por consiguiente, 0 no es lmite de la sucesin.
Los autores, 2002; Edicions UPC, 2002.
42 CAPTULO 2. SUCESIONES DE NMEROS REALES
4. lm

3n+2
n+1

= 3
Solucin: Dado > 0 queremos obtener la desigualdad

3n + 2
n + 1
3

<
para n sucientemente grande. Efectuando operaciones tenemos

3n + 2
n + 1
3

1
n + 1

=
1
n + 1
<
1
n
<
De aqu deducimos
n >
1

Por tanto, podemos tomar m() como un nmero natural tal que
m() >
1

cuya existencia queda garantizada por la propiedad arquimediana. En-


tonces para cualquier n m(), se tiene
n >
1

y por tanto se cumple la desigualdad.


Denicin 17 Si X = (x
1
, x
2
, x
3
, ..., x
n
, ...) es una sucesin de nmeros reales
y p es un nmero natural dado, entonces se llama p cola de X a la sucesin
X
p
= (x
p+1
, x
p+2
, ...) = (x
p+n
: n N)
Ejemplo 12 Dada la sucesin X = (2, 4, 6, 8, ..., 2n, ...), la 3 cola de X es la
sucesin
X
3
= (8, 10, 12, ..., 2n + 6, ...)
Observacin 31 El concepto de cola de una sucesin proviene del hecho de
que la convergencia (o divergencia) de una sucesin depende slo del compor-
tamiento nal de sus trminos. Con esto se quiere decir que si para cualquier
nmero natural p se omiten los p primeros trminos de la sucesin, entonces la
sucesin resultante X
p
converge si y slo si la sucesin original converge y, en
este caso, los lmites son iguales.
Teorema 35 Dada una sucesin de nmeros reales X = (x
n
: n N) y un
nmero natural p. La p cola X
p
= (x
p+n
: n N) de X converge si y slo si
X converge. En tal caso, se cumple
lmX
p
= lmX
Demostracin: Supongamos que X converge a x. Dado cualquier > 0, existe
un nmero natural m() tal que para todo n m() se cumple la desigualdad
|x
n
x| <
Los autores, 2002; Edicions UPC, 2002.
2.3. EL LMITE DE UNA SUCESIN 43
Entonces los trminos de X
p
para k + p m(), es decir, para k m() p
cumplen la desigualdad
|x
k
x| <
Por tanto, se puede tomar m
p
() = m() p, de modo que X
k
tambin converge
a x.
Recprocamente, si los trminos de X
p
para k m
p
() cumplen la desigual-
dad
|x
k
x| <
entonces los trminos de X para los que n p m
p
(), es decir, para n
m
p
() +p cumplen la desigualdad
|x
n
x| <
Por tanto, podemos tomar m() = m
p
()+p, de manera que X tambin converge
a x.
Teorema 36 Dadas dos sucesiones de nmeros reales A = (a
n
) y X = (x
n
) y
x R. Si para algn c > 0 y k N se tiene
|x
n
x| < c |a
n
|
para todo n k, y lma
n
= 0, entonces lmx
n
= x.
Demostracin: Al ser lma
n
= 0, dado cualquier > 0 existe un nmero
natural m
A
(

c
) tal que para todo n m
A
(

c
) se tiene
|a
n
| = |a
n
0| <

c
De aqu se obtiene
|x
n
x| < c |a
n
| < c

c
=
para todo n m
A
(

c
) y n k. En consecuencia, X converge a x.
Observacin 32 Este teorema asegura la convergencia de una sucesin a par-
tir de sucesiones particulares convergentes a cero. A continuacin se ilustra su
aplicacin mediante algunos ejemplos.
Ejemplo 13 Examina con detalle los siguientes ejemplos:
1. Si a > 0, entonces lm
1
1+an
= 0.
Solucin: Puesto que a > 0, se sigue an > 0 y 0 < an < 1 +an. De aqu
se tiene
0 <
1
1 +an
<
1
an
y por tanto

1
1 +an
0

<
1
a

1
n
para todo n N. Puesto que lm
1
n
= 0, por el teorema anterior, tomando
c =
1
a
y m = 1, se deduce
lm
1
1 +an
= 0
Los autores, 2002; Edicions UPC, 2002.
44 CAPTULO 2. SUCESIONES DE NMEROS REALES
2. lim
1
2
n
= 0
Solucin: Puesto que 0 < n < 2
n
para todo n N, se tiene
0 <
1
2
n
<
1
n
De aqu

1
2
n
0

<
1
n
para todo n N. Puesto que lm
1
n
= 0, por el teorema anterior, tomando
c = 1 y m = 1, se deduce
lm
1
2
n
= 0
3. Si 0 < b < 1, entonces lmb
n
= 0
Solucin: Puesto que 0 < b < 1, se puede escribir
b =
1
1 +a
en donde a =
1
b
1. Por tanto, a > 0. Por la desigualdad de Bernoulli, se
tiene
(1 +a)
n
1 +na
De aqu se obtiene
0 < b
n
=
1
(1 +a)
n

1
1 +na
<
1
a

1
n
que, por el teorema anterior se sigue lmb
n
= 0.
4. Si c > 0, entonces lmc
1
n
= 1
Solucin: El caso c = 1 es trivial porque la sucesin es constante 1.
Si c > 1, entonces c
1
n
= 1 +d
n
para algn d
n
> 0. Por la desigualdad de
Bernoulli se tiene
c = (1 +d
n
)
n
1 +nd
n
para todo n N, de donde
d
n

c 1
n
Entonces se tiene

c
1
n
1

= d
n
(c 1)
1
n
para todo n N. Por el teorema anterior podemos deducir lo que queramos
probar siempre que c > 1.
Si 0 < c < 1, entonces podemos escribir
c
1
n
=
1
1 +h
n
Los autores, 2002; Edicions UPC, 2002.
2.3. EL LMITE DE UNA SUCESIN 45
para algn h
n
> 0. Por la desigualdad de Bernoulli se tiene
c =
1
(1 +h
n
)
n

1
1 +nh
n
<
1
nh
n
De aqu obtenemos
0 < h
n
<
1
nc
para n N. Por lo tanto, tenemos
0 < 1 c
1
n
=
h
n
1 +h
n
< h
n
<
1
nc
de modo que

c
1
n
1

<
1
c

1
n
y por el teorema anterior se tiene lo que queramos cuando 0 < c < 1.
5. lmn
1
n
= 1
Solucin: Puesto que n
1
n
> 1 para n > 1, podemos escribir
n
1
n
= 1 +k
n
para un cierto k
n
> 0. De aqu se tiene n = (1 + k
n
)
n
. Entonces, por la
frmula del binomio, podemos escribir
n = 1 +nk
n
+
1
2
n(n 1)k
2
n
+ 1 +
1
2
n(n 1)k
2
n
de donde se obtiene
n 1
1
2
n(n 1)k
2
n
y de aqu
k
2
n

2
n
para n > 1. Ahora bien, dado cualquier > 0, por la propiedad arquime-
diana se sigue que existe un nmero natural m() tal que
2
m()
<
2
Si n m(), entonces
2
n
<
2
de donde

n
1
n
1

= k
n

2
n
1
2
<
y, en consecuencia, se deduce lo que queramos probar.
Los autores, 2002; Edicions UPC, 2002.
46 CAPTULO 2. SUCESIONES DE NMEROS REALES
2.4. Teorema de lmites
Denicin 18 Se dice que una sucesin X = (x
n
) de nmeros reales est
acotada si existe un nmero real M > 0 tal que |x
n
| M para todo n N.
Por tanto la sucesin X = (x
n
) est acotada si y slo si el conjunto {x
n
:
n N} de sus valores est acotado en R.
Teorema 37 Una sucesin convergente de nmeros reales est acotada.
Demostracin: Supongamos que lmx
n
= x y tomemos = 1. Por denicin
de lmite, existe un nmero natural m(1) tal que si n m(1) se cumple
|x
n
x| < 1
De aqu, por la desigualdad triangular, se obtiene
|x
n
| < |x| + 1
Sea
M = sup{|x
1
| , |x
2
| , ...,

x
m(1)1

, |x| + 1}
entonces para todo n N se cumple
|x
n
| M
Teorema 38 Sean X = (x
n
) y Y = (y
n
) dos sucesiones de nmeros reales que
convergen a x e y, respectivamente, y sea c R.
1. Entonces las sucesiones X+Y, XY, XY y cX convergen a x+y, xy, xy
y cx, respectivamente.
2. Si Z = (z
n
) es una sucesin de nmeros reales diferentes de cero que
converge a z y z 6= 0, entonces la sucesin cociente X/Z converge a x/z.
Demostracin:
1. a) Debemos demostrar que
lm(X +Y ) = lmX + lmY
Para ello, observemos que por la desigualdad triangular se cumple
|(x
n
+y
n
) (x +y)| = |(x
n
x) + (y
n
y)|
|x
n
x| + |y
n
y|
Por hiptesis, si > 0 existe un nmero natural m
1
() tal que si
n m
1
() entonces
|x
n
x| <

2
asimismo, existe otro nmero natural m
2
() tal que si n m
2
()
entonces
|y
n
y| <

2
Los autores, 2002; Edicions UPC, 2002.
2.4. TEOREMA DE LMITES 47
Por tanto, si m() = sup{m
1
(), m
2
()}, entonces para todo n m()
se cumple
|(x
n
+y
n
) (x +y)| |x
n
x| + |y
n
y|
<

2
+

2
=
Puesto que > 0 es arbitrario, se deduce lo que queramos demostrar.
b) Debemos demostrar que
lm(X Y ) = lmX lmY
Un razonamiento anlogo al anterior sirve para demostrar este hecho.
c) Debemos demostrar que
lm(X Y ) = lmX lmY
Para ello, observemos que por la desigualdad triangular se cumple
|x
n
y
n
xy| = |x
n
y
n
x
n
y +x
n
y xy|
|x
n
(y
n
y)| + |(x
n
x)y|
= |x
n
| |y
n
y| + |x
n
x| |y|
Por hiptesis y segn el teorema anterior, existe un nmero real M
1
>
0 tal que |x
n
| M
1
para todo n N, y si tomamos M = sup{M
1
, |y|}
entonces se cumple
|x
n
y
n
xy| |x
n
| |y
n
y| + |x
n
x| |y|
M |y
n
y| +M |x
n
x|
De la convergencia de X y Y podemos asegurar que para cualquier
> 0 existen los nmeros naturales m
1
() y m
2
() tales que para todo
n m
1
() se cumple
|x
n
x| <

2M
y para todo n m
2
() se cumple
|y
n
y| <

2M
Si tomamos m() = sup{m
1
(), m
2
()}, entonces para todo n m()
se cumple
|x
n
x| M |y
n
y| +M |x
n
x|
< M(

2M
) +M(

2M
) =
Por tanto queda probado lo que queramos.
d) Debemos demostrar que
lm(cX) = c lmX
Un razonamiento anlogo al anterior haciendo que Y sea la sucesin
constante (c, c, ..., c, ...) sirve para probar este hecho.
Los autores, 2002; Edicions UPC, 2002.
48 CAPTULO 2. SUCESIONES DE NMEROS REALES
2. Primero demostraremos que
lm
1
Z
=
1
z
Puesto que lmZ = z 6= 0, dado =
1
2
|z| > 0 existe un nmero natural
m() tal que para todo n m() se verica
|z
n
z| <
De aqu, por la desigualdad triangular, se obtiene
< |z
n
z| ||z
n
| |z|| |z
n
| |z|
de aqu tenemos
1
2
|z| = |z| |z
n
|
Por tanto
1
|z
n
|

2
|z|
Entonces

1
z
n

1
z

z z
n
z
n
z

=
1
|z
n
z|
|z z
n
|

2
|z|
2
|z z
n
|
Dado cualquier > 0, existe un nmero natural m() tal que para todo
n m() se verica
|z
n
z| <
1
2
|z|
2

Por tanto, si tomamos m() = sup{m(), m()}, entonces

1
z
n

1
z


2
|z|
2
|z z
n
|
<
2
|z|
2

1
2
|z|
2
=
que demuestra lo que queramos.
La demostracin del hecho siguiente
lm
X
Z
=
lmX
lmZ
se completa ahora al tomar Y = 1/Z y aplicar (c). En efecto
lm
X
Z
= lm(X Y ) = lmX lmY = x
1
z
=
lmX
lmZ
Los autores, 2002; Edicions UPC, 2002.
2.4. TEOREMA DE LMITES 49
Observacin 33 Algunos de los resultados del teorema pueden generalizarse a
un nmero nito de sucesiones convergentes. Por ejemplo, si A = (a
n
), B =
(b
n
), ..., Z = (z
n
) son sucesiones convergentes, entonces su suma A+B + +
Z = (a
n
+b
n
+ +z
n
) es una sucesin convergente y se cumple
lm(a
n
+b
n
+ +z
n
) = lma
n
+ lmb
n
+ + lmz
n
Tambin su producto A B Z = (a
n
b
n
z
n
) es una sucesin convergente
y se verica
lm(a
n
b
n
z
n
) = lma
n
lmb
n
lmz
n
Por tanto, si k N y A = (a
n
) es una sucesin convergente, entonces
lma
k
n
= (lma
n
)
k
Las demostraciones de estos hechos son anlogas a las realizadas en el teorema.
Teorema 39 Si X = (x
n
) es una sucesin convergente y x
n
0 para todo
n N, entonces lmx
n
= x 0.
Demostracin: Supongamos que la conclusin es falsa, es decir, que x < 0.
Entonces = x > 0, y puesto que X es convergente hacia x, entonces existe
un nmero natural m() tal que para todo n m() se verica
x < x
n
< x +
En particular se tiene
x
m()
< x + = x x = 0
pero esto no es posible ya que por hiptesis x
n
0 para todo n N. Por lo
tanto, debe ser x 0.
Teorema 40 Si X = (x
n
) y Y = (y
n
) son sucesiones convergentes y x
n
y
n
para todo n N, entonces lmx
n
lmy
n
.
Demostracin: Sea z
n
= y
n
x
n
, entonces por hiptesis se tiene z
n
0.
Adems se cumple
lmz
n
= lmy
n
lmx
n
0
es decir
lmx
n
lmy
n
Teorema 41 Si X = (x
n
) es una sucesin convergente y a x
n
b para todo
n N, entonces a lmx
n
b.
Demostracin: Sea Y la sucesin constante (b, b, ..., b, ...), por el teorema an-
terior se deduce que
lmx
n
lmb = b
Del mismo modo se demuestra la otra desigualdad.
Teorema 42 (Teorema de compresin) Supongamos que X = (x
n
), Y =
(y
n
) y Z = (z
n
) son sucesiones de nmeros reales tales que
x
n
y
n
z
n
Los autores, 2002; Edicions UPC, 2002.
50 CAPTULO 2. SUCESIONES DE NMEROS REALES
para todo n N y que lmx
n
= lmz
n
, entonces Y es convergente y se verica
lmx
n
= lmy
n
= lmz
n
Demostracin: Supongamos que w = lmx
n
= lmz
n
. Dado cualquier > 0,
entonces existe un nmero natural m() tal que para todo n m() se cumple
< x
n
w < y < z
n
w <
Por la hiptesis se verica
x
n
w y
n
w z
n
w
para todo n N, entonces
< y
n
w <
es decir
|y
n
w| <
para todo n m(). Por tanto, Y es convergente y lmy
n
= w.
Observacin 34 Puesto que cualquier cola de una sucesin convergente tiene
el mismo lmite, las hiptesis de los cuatro ltimos teoremas pueden hacerse
menos rigurosas al aplicarlos a la cola de una sucesin. Por ejemplo, si la condi-
cin x
n
0 para todo n N del primer teorema se sustituye por x
n
0 para
todo n m, se cumplir la misma condicin de que x 0. Modicaciones
similares son vlidas para los dems teoremas.
Ejemplo 14 1. La sucesin (n) es divergente.
Solucin: Si la sucesin fuera convergente, la sucesin estara acotada,
es decir, existira un nmero M > 0 tal que n = |n| M para todo n N.
Pero esto no es posible por la propiedad arquimediana.
2. La sucesin ((1)
n
) es divergente.
Solucin: Si la sucesin fuera convergente, existira lm(1)
n
= x. En-
tonces, tomando = 1, debera existir un nmero natural m() tal que
para todo n m() se cumplira
|(1)
n
x| < 1
Si n es un nmero impar, entonces
|1 x| < 1
es decir
x 1 < 1 < x + 1
o bien
2 < x < 0
Por otra parte, si n es un nmero par, entonces
|1 x| < 1
Los autores, 2002; Edicions UPC, 2002.
2.4. TEOREMA DE LMITES 51
es decir
x 1 < 1 < x + 1
o bien
0 < x < 2
Por consiguiente, x no puede satisfacer ambas desigualdades y, en conse-
cuencia, la sucesin dada no puede ser convergente.
3. lm
2n+1
n
= 2
Solucin: Obsrvese que
2n + 1
n
= 2 +
1
n
Si ahora hacemos X = (2) y Y = (
1
n
), entonces
lm
2n + 1
n
= lm(X +Y ) = lmX + lmY = 2 + 0 = 2
4. lm
2n+1
n+5
= 2
Solucin: Es claro que las sucesiones (2n + 1) y (n + 5) no son conver-
gentes. Por ejemplo, (n + 5) no es convergente ya que si lo fuera, puesto
que (5) es convergente, entonces (n) sera convergente y esto no es posible.
Por tanto no es posible aplicar el teorema directamente. Sin embargo, si
se escribe
2n + 1
n + 5
=
2 + 1/n
1 + 5/n
la sucesin dada se expresa en una forma en la que se puede aplicar el
teorema cuando se toma X = (2 + 1/n) y Z = (1 + 5/n), ya que lm(2 +
1/n) = 2 y lm(1 + 5/n) = 1 6= 0. En efecto, entonces tenemos
lm
2 + 1/n
1 + 5/n
= lm
X
Z
=
lmX
lmZ
=
2
1
= 2
5. lm
2n
n
2
+1
= 0
Solucin: No puede aplicarse directamente el teorema. Sin embargo, si se
escribe
2n
n
2
+ 1
=
2/n
1 + 1/n
2
entonces se puede aplicar el teorema, ya que lm(2/n) = 0 y lm(1 +
1/n
2
) = 1 6= 0. Por lo tanto
lm
2n
n
2
+ 1
=
0
1
= 0
Los autores, 2002; Edicions UPC, 2002.
52 CAPTULO 2. SUCESIONES DE NMEROS REALES
6. lm
sin n
n
= 0
Solucin: No se puede aplicar directamente el teorema, ya que la sucesin
(n) no es convergente y tampoco lo es (sinn). Esta ltima no lo es porque
si lo fuera entonces existira lmsinn = a. Entonces, dado = a2 existe
m() tal que para todo n m() se cumple
|sinn a| < a 2
En particular
2 = a (a 2) < sinn
lo que no es posible. En este caso una operacin algebraica no nos permitir
reducir esta sucesin a una forma en la que se pueda aplicar el teorema.
Sin embargo, sabemos que 1 sinn 1, entonces

1
n

sinn
n

1
n
para todo n N. Por tanto, es posible aplicar el teorema de compresin
para inferir que
lm
sinn
n
= 0
7. Sea X = (x
n
) una sucesin de nmeros reales convergente hacia x R y
p(t) = a
0
+a
1
t +a
2
t
2
+ +a
k
t
k
un polinomio a coecientes reales de grado k. Probar que la sucesin
(p(x
n
)) converge hacia p(x).
Solucin: El trmino general de la sucesin (p(x
n
)) es
p(x
n
) = a
0
+a
1
x
n
+a
2
x
2
n
+ +a
k
x
k
n
Entonces por el teorema
lmp(x
n
) = a
0
+a
1
(lmx
n
) +a
2
(lmx
n
)
2
+ +a
k
(lmx
n
)
k
= a
0
+a
1
x +a
2
x
2
+ +a
k
x
k
= p(x)
8. Sea X = (x
n
) una sucesin de nmeros reales convergente hacia x R y
f una funcin racional denida como sigue
f(t) =
p(t)
q(t)
donde p y q son funciones polinmicas. Supongamos adems que q(x
n
) 6= 0
para todo n N y que q(x) 6= 0. Demostrar que la sucesin (f(x
n
)) es
convergente a f(x) = p(x)/q(x).
Solucin: La prueba consiste en aplicar el teorema de la misma manera
que el ejemplo anterior.
Los autores, 2002; Edicions UPC, 2002.
2.4. TEOREMA DE LMITES 53
Teorema 43 Supongamos que la sucesin X = (x
n
) es convergente a x. En-
tonces la sucesin (|x
n
|) de los valores absolutos converge a |x|. En otras pal-
abras, si lmx
n
= x entonces
lm|x
n
| = |lmx
n
|
Demostracin: Por la desigualdad triangular tenemos
||x
n
| |x|| |x
n
x|
para todo n N. Entonces la convergencia de (|x
n
|) a |x| es una consecuencia
inmediata de la convergencia de (x
n
) a x.
Teorema 44 Sea X = (x
n
) una sucesin de nmeros reales que converge a x
y supongamos que x
n
0 para todo n N. Entonces la sucesin (

x
n
) de las
races cuadradas positivas converge y
lm

x
n
=

x
Demostracin: Por el teorema 6 se tiene x = lmx
n
0 y, en consecuencia,
la armacin tiene sentido. Tenemos entonces dos casos: (1) x = 0 y (2) x > 0.
1. Si x = 0, entonces lmx
n
= 0. Dado > 0, existe un nmero natural m()
tal que para todo n m() se verica
0 |x
n
0| = x
n
<
2
Por tanto, tenemos
0

x
n
<
para todo n m(). Por tanto, lm

x
n
= 0.
2. Si x > 0, entonces

x > 0. Observemos que

x
n

x =
(

x
n

x)(

x
n
+

x)

x
n
+

x
=
x
n
x

x
n
+

x
De aqu tenemos

x
n

=
1

x
n
+

x
|x
n
x|

x
|x
n
x|
para todo n N. Puesto que lmx
n
= x, dado > 0 existe un nmero
natural m(

x) tal que para todo n m() se verica


|x
n
x| <

x
Por lo tanto

x
n

x
|x
n
x|
<
1

x =
Los autores, 2002; Edicions UPC, 2002.
54 CAPTULO 2. SUCESIONES DE NMEROS REALES
Teorema 45 Sea X = (x
n
) una sucesin de nmeros reales positivos tal que
existe L, siendo
L = lm
x
n+1
x
n
Si L < 1, entonces (x
n
) converge y lmx
n
= 0.
Demostracin: Por el teorema 6 se tiene L 0. Sea r un nmero real tal que
L < r < 1 y tomemos = r L > 0. Entonces existe un nmero natural m()
tal que para todo n m() se cumple

x
n+1
x
n
L

<
es decir
x
n+1
x
n
< L + = r
o bien
x
n+1
< rx
n
Por tanto, si n m() entonces
0 < x
n+1
< rx
n
< r
2
x
n1
< < r
nm()+1
x
m()
= r
n+1
x
m()
r
m()
Si ahora hacemos k = x
m()
/r
m()
, entonces
0 < x
n+1
< kr
n+1
Puesto que 0 < r < 1, entonces por el ejemplo 5 (3) lmr
n
= 0 y, por lo tanto,
por el teorema 3, se deduce
lmx
n
= 0
Ejemplo 15 Probar que lm(n/2
n
) = 0
Solucin: Se cumple
x
n+1
x
n
=
n + 1
2
n+1

2
n
n
=
1
2
(1 +
1
n
)
Por tanto
L = lm
x
n+1
x
n
=
1
2
lm(1 +
1
n
) =
1
2
Puesto que L < 1, por el teorema anterior, se sigue
lm
n
2
n
= 0
Los autores, 2002; Edicions UPC, 2002.
2.5. SUCESIONES MONTONAS 55
2.5. Sucesiones montonas
Denicin 19 Sea X = (x
n
) una sucesin de nmeros reales. Se dice que X
es creciente si
x
1
x
2
x
n
x
n+1

Se dice que X es estrictamente creciente si
x
1
< x
2
< < x
n
< x
n+1
<
Se dice que X es decreciente si
x
1
x
2
x
n
x
n+1

Se dice que X es estrictamente decreciente si
x
1
> x
2
> > x
n
> x
n+1
>
Se dice que X es montona si es creciente, o bien, decreciente.
Ejemplo 16 Las sucesiones siguientes son crecientes
1. (1, 2, 3, 4, ..., n, ...)
2. (1, 2, 2, 3, 3, 3, ...)
3. (a, a
2
, a
3
, ..., a
n
, ...) , si a > 1
Las sucesiones siguientes son decrecientes
1. (1, 1/2, 1/3, ..., 1/n, ...)
2. (1, 1/2, 1/2
2
, ..., 1/2
n1
, ...)
3. (b, b
2
, b
3
, ..., b
n
, ...), si 0 < b < 1
Las siguientes sucesiones no son montonas
1. (1, 1, 1, ..., (1)
n+1
, ...)
2. (1, 2, 3, ..., (1)
n
n, ...)
Las siguientes sucesiones no son montonas, pero son montonas en ltima
instancia
1. (7, 6, 2, 1, 2, 3, 4, ...)
2. (2, 0, 1, 1/2, 1/3, 1/4, ...)
Teorema 46 Una sucesin montona de nmeros reales es convergente si y
slo si es acotada. Adems:
1. Si X = (x
n
) es una sucesin creciente acotada, entonces sup{x
n
: n
N} = lmx
n
2. Si Y = (y
n
) es una sucesin decreciente acotada, entonces inf{x
n
: n
N} = lmx
n
Los autores, 2002; Edicions UPC, 2002.
56 CAPTULO 2. SUCESIONES DE NMEROS REALES
Demostracin: En el teorema 4 se demostr que una sucesin convergente es
acotada. Recprocamente, supongamos que X es una sucesin montona acota-
da. Entonces X es creciente, o bien, decreciente.
1. Supongamos que X es una sucesin creciente acotada. Por hiptesis, ex-
iste un nmero real M tal que x
n
|x
n
| M para todo n N. Como
consecuencia, el conjunto {x
n
: n N} de los valores de la sucesin est
acotado. Por el axioma del supremo, existe sup{x
n
: n N} = x. Dado
> 0, entonces x no es una cota superior del conjunto {x
n
: n N}.
Por tanto, existe un nmero natural m() tal que x < x
m()
. Pero como
(x
n
) es creciente, se cumple
x < x
m()
x
n
< x
para todo n m(). Por consiguiente
x < x
n
< x +
es decir
|x
n
x| <
y de aqu se sigue que (x
n
) converge a x.
2. Supongamos que Y es una sucesin decreciente acotada. Entonces, es claro
que X = Y = (y
n
) es una sucesin creciente acotada. En (1) se ha
visto que
lmX = sup{y
n
: n N}
Por el teorema 5, lmX = lmY y, por otra parte, se cumple
sup{y
n
: n N} = inf{y
n
: n N}
Por lo tanto,
lmY = lmX = inf{y
n
: n N}
Observacin 35 Este teorema establece la existencia del lmite de una sucesin
montona acotada. Proporciona asimismo un mtodo para calcular el lmite de la
sucesin siempre que sea posible determinar el supremo o el nmo del conjunto
de sus valores. A veces no es fcil calcular este supremo o nmo, pero una vez
que se conoce su existencia, es preferible hallar el lmite por otros mtodos.
Ejemplo 17 Probar que lm(1/

n) = 0
Solucin: Es claro que por el teorema 11
lm
1

n
= lm
r
1
n
=
r
lm
1
n
=

0 = 0
pero ahora se usar el teorema de convergencia de las sucesiones montonas.
Es evidente que 0 es una cota inferior del conjunto {1/

n : n N} y no es
difcil demostrar que 0 es el nmo de este conjunto. Por tanto, lm(1/

n) = 0.
Por otra parte, una vez se sabe que la sucesin es convergente a algn nmero
real x. Por el teorema 5 se cumple
x
2
= lmX
2
= lm
1
n
= 0
Por tanto, x = 0.
Los autores, 2002; Edicions UPC, 2002.
2.5. SUCESIONES MONTONAS 57
Ejemplo 18 Sea Y = (y
n
) la sucesin denida recursivamente por
y
1
= 0
y
n+1
=
1
4
(2y
n
+ 3)
Probar que lmY = 3/2.
Demostracin: Observemos que
y
1
= 0 < 2
y
2
=
1
4
(2y
1
+ 3) =
3
4
< 2
y
3
=
1
4
(2y
2
+ 3) =
1
4

9
2
=
9
8
< 2
.
.
.
Por induccin se demuestra que y
n
< 2 para todo n N. En efecto, supongamos
que y
k
< 2, entonces
y
k+1
=
1
4
(2y
k
+ 3) <
1
4
(4 + 3) =
7
4
< 2
Por tanto, Y es una sucesin acotada. Observemos que
0 = y
1
<
3
4
= y
2
<
9
8
= y
3
<
Por induccin se demuestra ahora que y
n
< y
n+1
para todo n N. En efecto,
supongamos que y
k
< y
k+1
, entonces
2y
k
+ 3 < 2y
k+1
+ 3
y
y
k+1
=
1
4
(2y
k
+ 3) <
1
4
(2y
k+1
+ 3) = y
k+2
Por tanto, Y es una sucesin creciente. Por el teorema de convergencia de las
sucesiones montonas se sigue que Y es convergente. En este caso no es fcil
hallar el supremos del conjunto de valores de la sucesin. Sin embargo, hay otra
manera de calcular el lmite. En efecto, consideremos la 1 cola Y
1
= (y
n+1
)
de Y = (y
n
). Por el teorema 2 se cumple
y = lmY = lmY
1
=
1
4
(2y + 3)
de donde se sigue que y = 3/2.
Ejemplo 19 Sean a > 0, b > 0 y X = (x
n
) una sucesin denida por
x
1
= b
x
n+1
=
1
2
(x
n
+
a
x
n
)
Demostrar que
lmx
n
=

a
Los autores, 2002; Edicions UPC, 2002.
58 CAPTULO 2. SUCESIONES DE NMEROS REALES
Solucin: Observemos que x
n
satisface
2x
n+1
x
n
= x
2
n
+a
es decir
x
2
n
2x
n+1
x
n
+a = 0
Esta ecuacin de segundo grado debe tener una solucin real. Por tanto, el
discriminante 4x
2
n+1
4a debe ser no negativo, es decir
x
2
n+1
a > 0
para todo n 1. Por tanto, la sucesin (x
n
) es acotada. Observemos entonces
que
x
n
x
n+1
= x
n

1
2
(x
n
+
a
x
n
) =
1
2

x
2
n
a
x
n
0
para todo n 2. Por tanto,
x
n+1
x
n
para todo n 2, y la sucesin (x
n
) es decreciente en ltima instancia. Por el
teorema de convergencia de sucesiones montonas, existe x = lmx
n
. Si ahora
en la relacin
x
n+1
=
1
2
(x
n
+
a
x
n
)
pasamos al lmite, se obtiene
x =
1
2
(x +
a
x
)
de donde resulta x
2
= a. Por tanto, x =

a, ya que x > 0.
Observacin 36 Este ejemplo da un mtodo para calcular las races cuadradas.
2.6. Teorema de Bolzano-Weierstrass
Denicin 20 Sea X = (x
n
) una sucesin de nmeros reales y sea
n
1
< n
2
< < n
k
< n
k+1
<
una sucesin estrictamente creciente de nmeros naturales. Entonces la sucesin
(x
n1
, x
n2
, ..., x
n
k
, ...)
se llama subsucesin de X.
Ejemplo 20 Las sucesiones siguientes son subsucesiones de X = (1,
1
2
,
1
3
, ...,
1
n
, ...)
(
1
3
,
1
4
,
1
5
...,
1
n + 2
, ...)
(1,
1
3
,
1
5
, ...,
1
2n 1
, ...)
(
1
2!
,
1
4!
,
1
6!
, ...,
1
(2n)!
, ...)
Los autores, 2002; Edicions UPC, 2002.
2.6. TEOREMA DE BOLZANO-WEIERSTRASS 59
En cambio, las siguientes sucesiones no son subsucesiones de X
(
1
2
, 1,
1
4
,
1
3
,
1
6
,
1
5
, ...)
(1, 0,
1
3
, 0,
1
5
, 0, ...)
Observacin 37 Cualquier cola de una sucesin es una subsucesin. De hecho,
m cola de la sucesin X = (x
n
) corresponde a la siguiente sucesin de nmeros
naturales (ndices)
n
1
= m+ 1 < n
2
= m+ 2 < < n
k
= m+k <
Sin embargo, no toda subsucesin de una sucesin dada es necesariamente una
cola de la misma.
Teorema 47 Si una sucesin X = (x
n
) de nmeros reales converge a un
nmero real x, entonces cualquier subsucesin de X tambin converge a x.
Demostracin: Dado cualquier > 0, existe un nmero natural m() tal que
para todo k m(), se cumple
|x
k
x| <
Sea (x
n
k
) una subsucesin cualquiera de X. Es fcil demostrar por induccin
que n
k
k. Por tanto, si k m() se tiene tambin n
k
k m() y, en
consecuencia, se cumple
|x
n
k
x| <
Por lo tanto, la subsucesin (x
n
k
) tambin converge a x.
Teorema 48 (Criterio de divergencia) Sea X = (x
n
) una sucesin de nmeros
reales. Entonces las siguientes armaciones son equivalentes:
1. La sucesin X = (x
n
) no converge a x R
2. Existe
0
> 0 tal que para cualquier k N existe m N tal que m k y
|x
m
x|
0
3. Existe
0
> 0 y una subsucesin X
0
= (x
n
k
) de X tal que |x
n
k
x|
0
para todo k N
Demostracin: (1) = (2) Si X = (x
n
) no converge a x, entonces para algn

0
> 0 no es posible hallar un nmero natural m tal que |x
n
x| <
0
sea
vlida para todo n m. En otras palabras, para cualquier k N la desigualdad
|x
n
x| <
0
no se cumple para todo n k; en particular, existe un nmero
natural m tal que m k y |x
n
x| <
0
.
(2) = (3) Supongamos que
0
> 0 satisface la condicin (2). Entonces,
para 1 N existe n
1
N tal que n
1
1 y |x
n
1
x|
0
. Para n
1
escogemos
n
2
N de manera que n
2
> n
1
y |x
n2
x|
0
, y as sucesivamente. De este
modo obtenemos una subsucesin X
0
= (x
n
k
) de X tal que |x
n
k
x|
0
para
todo k N.
(3) = (1) Supongamos que X tiene una subsucesin X
0
que satisface la
condicin (3). Entonces, X no puede converger a x, porque si lo hiciera, segn
el teorema 14, la subsucesin X
0
tambin convergera a x. Pero esto no es
posible, ya que segn (3), ningn trmino de X
0
est sucientemente prximo
a x.
Los autores, 2002; Edicions UPC, 2002.
60 CAPTULO 2. SUCESIONES DE NMEROS REALES
Ejemplo 21 La sucesin ((1)
n
) es divergente.
Solucin: Si la sucesin convergiera a un nmero real x, entonces por el
teorema ??? cualquier subsucesin debera converger a x. Puesto que hay una
subsucesin que converge a 1 y otra que converge a 1. Se concluye que la
sucesin dada es divergente.
Ejemplo 22 La sucesin X = (1,
1
2
, 3,
1
4
, ...) es divergente.
Demostracin: Obsrvese que esta sucesin puede denirse como sigue
x
n
=

n si n es impar
1
n
si n es par
Es claro que esta sucesin no est acotada y, en consecuencia, no puede ser
convergente. De otra manera, hay una subsucesin (
1
2
,
1
4
,
1
6
, ...) que converge a
0, y hay otra, (3, 5, 7, ...) que no converge a 0. Por tanto, la sucesin dada no
puede ser convergente.
Teorema 49 Si X = (x
n
) es una sucesin de nmeros reales, entonces existe
una subsucesin de X montona.
Demostracin: Para los nes de esta demostracin, diremos que el m simo
trmino x
m
es un pico si x
m
x
n
para todo n N con m n. En otras
palabras, x
m
es un pico si nunca es excedido por ningn trmino que va por de-
lante. Consideraremos dos casos, dependiendo de si X tiene un nmero innito
o nito de picos.
1. Si X tiene un nmero innito de picos, entonces los ordenamos mediante
subndices crecientes. De este modo se tienen x
n
1
, x
n
2
, ..., x
n
k
, ..., donde
n
1
< n
2
< < n
k
< . Puesto que cada uno de estos trminos es un
pico, se cumple
x
n1
x
n2
x
n
k

Por tanto, la sucesin (x
n
k
) de picos es una subsucesin decreciente de
X.
2. Supongamos ahora que X tiene un nmero nito (posiblemente cero) de
picos. Sean x
n
1
, x
n
2
, ..., x
n
r
estos picos. Supongamos que s
1
es el primer
ndice despus del ltimo pico, es decir, s
1
= n
r
+1. Puesto que x
s
1
no es
un pico, debe existir s
2
> s
1
tal que x
s
1
< x
s
2
. Puesto que x
s
2
no es un
pico, debe existir s
3
> s
2
tal que x
s2
< x
s3
; y as sucesivamente. De este
modo obtenemos una subsucesin (x
s
n
) creciente de X.
Teorema 50 (Teorema de Bolzano-Weierstrass) Una sucesin acotada de
nmeros reales tiene siempre una subsucesin convergente.
Demostracin: Sea X = (x
n
) una sucesin acotada de nmeros reales. Del
teorema anterior se sigue que X admite una subsucesin X
0
= (x
n
k
) que es
montona. Puesto que X es acotada, esta subsucesin tambin es acotada. Por
el teorema de convergencia de las sucesiones montonas, se sigue que X
0
es
convergente.
Los autores, 2002; Edicions UPC, 2002.
2.7. SUCESIONES DE CAUCHY 61
Observacin 38 Es fcil comprobar que una sucesin acotada puede tener
varias subsucesiones que convergen a nmeros reales diferentes; asimismo puede
tener subsucesiones que no convergen. Por ejemplo, la sucesin ((1)
n
) tiene
subsucesiones que convergen a 1, otras que convergen a 1 y otras que no con-
vergen.
Teorema 51 Sea X = (x
n
) una sucesin acotada de nmeros reales con la
propiedad de que todas sus subsucesiones convergentes convergen a un nmero
real x, entonces X es convergente a x.
Demostracin: Supongamos que M > 0 es una cota de la sucesin X = (x
n
).
Por tanto, |x
n
| M para todo n N. Supongamos asimismo que la sucesin X
no converge a x. Por el criterio de divergencia se sigue que existe
0
> 0 y una
subsucesin X
0
= (x
n
k
) de X tal que
|x
n
k
x|
0
para todo k N. Puesto que X
0
es una subsucesin de X, se sigue que M tam-
bin es una cota de X
0
. Por tanto, la sucesin X
0
es acotada. Por el teorema de
Bolzano-Weierstrass, X
0
admite una subsucesin X
00
de X
0
que es convergente.
Es claro que X
00
tambin es una subsucesin de X. Por tanto, X
00
es conver-
gente a x por hiptesis. Puesto que todo trmino de X
00
tambin es un trmino
de X
0
, la ltima armacin est en contradiccin con el hecho de que
|x
n
k
x|
0
para todo k N.
2.7. Sucesiones de Cauchy
Denicin 21 Se dice que una sucesin X = (x
n
) de nmeros reales es una
sucesin de Cauchy si para todo > 0 existe un nmero natural k() tal que
para todos los nmeros naturales n, m k() los trminos x
n
, x
m
satisfacen
|x
n
x
m
| <
Teorema 52 Si X = (x
n
) es una sucesin convergente de nmeros reales, en-
tonces X es una sucesin de Cauchy.
Demostracin: Supongamos que x = lmX. Entonces, dado cualquier > 0
existe un nmero natural k(/2) tal que si n k(/2) entonces
|x
n
x| <

2
Observemos que por la desigualdad triangular tenemos
|x
n
x
m
| = |(x
n
x) + (x x
m
)|
|x
n
x| + |x x
m
|
= |x
n
x| + |x
m
x|
Por tanto, para todo n, m k(/2) se cumple
|x
n
x
m
| |x
n
x| + |x
m
x|
<

2
+

2
=
y, en consecuencia, X es una sucesin de Cauchy.
Los autores, 2002; Edicions UPC, 2002.
62 CAPTULO 2. SUCESIONES DE NMEROS REALES
Teorema 53 Una sucesin de Cauchy de nmeros reales es acotada.
Demostracin: Supongamos que X = (x
n
) es una sucesin de Cauchy. En-
tonces, para = 1 existe un nmero natural k(1) tal que para todo n k(1) se
cumple

x
n
x
k(1)

< 1
Por la desigualdad triangular se tiene
|x
n
| <

x
k(1)

+ 1
para todo n k(1). Consideremos
M = sup{|x
1
| , |x
2
| , ...,

x
k(1)1

x
k(1)

+ 1}
entonces
|x
n
| M
para todo n N.
Teorema 54 (Criterio de convergencia de Cauchy) Una sucesin de nmeros
reales es convergente si y slo si es una sucesin de Cauchy.
Demostracin: Por el teorema 19, una sucesin convergente es una sucesin
de Cauchy.
Recprocamente, supongamos que X = (x
n
) es una sucesin de Cauchy.
Por el teorema 20, X est acotada. Por el teorema de Bolzano-Weierstrass,
X admite una subsucesin X
0
= (x
n
k
) de X que converge a un nmero real
x. Puesto que X es una sucesin de Cauchy, dado cualquier > 0 existe un
nmero natural k(/2) tal que si n, m k(/2) entonces
|x
n
x
m
| <

2
Puesto que X
0
converge a x, existe un nmero natural r k(/2) que pertenece
al conjunto {n
1
, n
2
, ...} tal que
|x
r
x| <

2
Para todo n k(/2) se cumple
|x
n
x
r
| <

2
pues r k(/2). Entonces se cumple
|x
n
x| = |(x
n
x
r
) + (x
r
x)|
|x
n
x
r
| + |x
r
x|
<

2
+

2
=
para todo n k(/2). Por lo tanto, la sucesin X es convergente.
Ejemplo 23 Probar que la sucesin (1/n) es convergente.
Solucin: Es claro que esta sucesin converge a 0. Por otra parte, podemos
demostrar que (1/n) es una sucesin de Cauchy y, en consecuencia, es una
Los autores, 2002; Edicions UPC, 2002.
2.7. SUCESIONES DE CAUCHY 63
sucesin convergente. En efecto, por la propiedad arquimediana, para cualquier
> 0 existe un nmero natural k() tal que k() > 2/. Por tanto, si n, m k()
entonces se tiene
1
n

1
k()
y
1
m

1
k()
De aqu
|x
n
x
m
| =

1
n

1
m

1
n
+
1
m

2
k()
<
Ejemplo 24 Probar que la sucesin X = (x
n
) de nmeros reales con la propiedad
de que
|x
n
x
n+1
|
1
2
n
para todo n N, es una sucesin convergente.
Solucin: Por la desigualdad triangular podemos escribir
|x
n
x
n+k
| = |(x
n
x
n+1
) + (x
n+1
x
n+2
) + + (x
n+k1
x
n+k
)|
|x
n
x
n+1
| + |x
n+1
x
n+2
| + + |x
n+k1
x
n+k
|

1
2
n
+
1
2
n+1
+ +
1
2
n+k1
=
1
2
n
(1 +
1
2
+ +
1
2
k1
)
<
2
2
n
ya que
1 +
1
2
+ +
1
2
k1
=
1
1
2
k
1
1
2
= 2(1
1
2
k
) < 2
Por tanto
|x
n
x
m
| <
2
2
n
para todo m n. Dado > 0, existe un nmero natural k() tal que
1
2
k()
<

2
Si m n k(), entonces
|x
n
x
m
| <
2
2
k()
<
2
2
=
Por lo tanto, X es una sucesin de Cauchy y, en consecuencia, por el criterio
de Cauchy, X es convergente.
Denicin 22 Se dice que una sucesin X = (x
n
) de nmeros reales es una
sucesin contractiva si existe una constante K, 0 < K < 1, tal que
|x
n+2
x
n+1
| K|x
n+1
x
n
|
para todo n N. Al nmero K se le llama constante de la sucesin con-
tractiva.
Los autores, 2002; Edicions UPC, 2002.
64 CAPTULO 2. SUCESIONES DE NMEROS REALES
Teorema 55 Toda sucesin contractiva es una sucesin convergente.
Demostracin: Si se aplica sucesivamente la condicin que dene a una suce-
sin contractiva, podemos escribir
|x
n+2
x
n+1
| K |x
n+1
x
n
|
K
2
|x
n
x
n1
|
K
3
|x
n1
x
n2
|
.
.
.
K
n
|x
2
x
1
|
para todo n N. Supongamos que m > n, entonces por la desigualdad triangular
podemos escribir
|x
m
x
n
| = |(x
m
x
m1
) + (x
m1
x
m2
) + + (x
n+1
x
n
)|
|x
m
x
m1
| + |x
m1
x
m2
| + + |x
n+1
x
n
|
K
m2
|x
2
x
1
| +K
m3
|x
2
x
1
| + +K
n1
|x
2
x
1
|
= K
n1

K
mn1
+K
mn2
+ + 1

|x
2
x
1
|
= K
n1

1 K
mn
1 K
|x
2
x
1
|
K
n1

1
1 K
|x
2
x
1
|
Puesto que 0 < K < 1, se sabe que
lmK
n
= 0
Por lo tanto, se deduce que X es una sucesin de Cauchy. Por el criterio de
convergencia de Cauchy se sigue que X es una sucesin convergente.
Corolario 10 Si X = (x
n
) es una sucesin contractiva con una constante K,
0 < K < 1, y lmX = x, entonces:
1. |x x
n
|
K
n1
1K
|x
2
x
1
|
2. |x x
n
|
K
1K
|x
n
x
n1
|
Demostracin:
1. En la demostracin del teorema anterior se vio que si m > n, entonces
|x
m
x
n
|
K
n1
1 K
|x
2
x
1
|
Si ahora en esta desigualdad se pasa al lmite con respecto a m se obtiene
|x x
n
|
K
n1
1 K
|x
2
x
1
|
2. Observemos que si m > n entonces
|x
m
x
n
| |x
m
x
m1
| + |x
m1
x
m2
| + + |x
n+1
x
n
|
Los autores, 2002; Edicions UPC, 2002.
2.8. SUCESIONES PROPIAMENTE DIVERGENTES 65
Del mismo modo que en la demostracin del teorema anterior
|x
n+k
x
n+k1
| K
k
|x
n
x
n1
|
De las dos desigualdades anteriores se sigue que
|x
m
x
n
|

K
mn
+K
mn1
+ +K

|x
n
x
n1
|
=
K(1 K
mn
)
1 K
|x
n
x
n1
|

K
1 K
|x
n
x
n1
|
Si ahora se pasa al lmite con respecto a m se obtiene
|x x
n
|
K
1 K
|x
n
x
n1
|
2.8. Sucesiones propiamente divergentes
Denicin 23 Sea X = (x
n
) una sucesin de nmeros reales. Se dice que X
tiende a +, y se denota por lmx
n
= +, si para todo R existe un
nmero natural K() tal que si n K(), entonces x
n
> . Se dice que X
tiende a , y se denota por lmx
n
= , si para todo R existe un
nmero natural K() tal que si n K(), entonces x
n
< . Se dice que X
es propiamente divergente en caso de que se tenga lmx
n
= +, o bien
lmx
n
= .
Observacin 39 Hay que tener presente que los smbolos + y se usan
tan solo como una notacin conveniente; en ningn caso, representan nmeros
reales. Por otra parte, los resultados obtenidos para lmites nitos, es decir,
lmx
n
= L y L R, pueden no seguir siendo vlidos cuando lmx
n
= .
Ejemplo 25 Probar que lmn = +
Solucin: Si se da R, cualquier nmero natural K() tal que K() >
hace que n K() > .
Ejemplo 26 Probar que lmn
2
= +
Solucin: Si se da R, cualquier nmero natural K() tal que K() >
hace que n
2
n K() > .
Ejemplo 27 Si c > 1, probar que lmc
n
= +
Solucin: Supongamos que c = 1+b, b > 0. Dado R, existe un nmero
natural tal que K() > /b, y si n K(), entonces por la desigualdad de
Bernouilli tenemos
c
n
= (1 +b)
n
1 +nb > 1 + >
Por lo tanto, lmc
n
= +.
Teorema 56 Una sucesin montona de nmeros reales X = (x
n
) es propia-
mente divergente si y slo si no est acotada. Adems
Los autores, 2002; Edicions UPC, 2002.
66 CAPTULO 2. SUCESIONES DE NMEROS REALES
1. Si X es una sucesin creciente no acotada, entonces lmx
n
= +
2. Si X es una sucesin decreciente no acotada, entonces lmx
n
=
Demostracin:
1. Supongamos que X es una sucesin creciente. Se sabe que si X est aco-
tada, entonces es convergente. Si (x
n
) no est acotada, entonces para
cualquier R existe K() N tal que < x
K()
. Pero como X es
creciente, se tiene < x
n
para todo n K(). Por tanto, lmx
n
= +.
2. La prueba es similar a la del apartado anterior.
Teorema 57 Sean X = (x
n
) y Y = (y
n
) dos sucesiones de nmeros reales y
supongamos que
x
n
y
n
para todo n N. Entonces se cumple:
1. Si lmx
n
= +, entonces lmy
n
= +
2. Si lmy
n
= , entonces lmx
n
=
Demostracin:
1. Si lmx
n
= + y R, entonces existe un nmero natural K() tal que
si n K(), entonces < x
n
. Por hiptesis, entonces < x
n
y
n
y, en
consecuencia, lmy
n
= +.
2. La prueba es similar a la del apartado anterior.
Observacin 40 1. Este teorema sigue siendo vlido si la condicin
x
n
y
n
se cumple en ltima instancia, es decir, si existe m N tal que x
n
y
n
para todo n m.
2. Al usar este teorema, para demostrar que una sucesin tiende a + o
bien a , es necesario demostrar que los trminos de la sucesin son en
ltima instancia mayores (menores) o iguales que los trminos correspon-
dientes de una sucesin que se sabe que tiende a + o bien a .
Teorema 58 Sean X = (x
n
) y Y = (y
n
) dos sucesiones de nmeros reales
positivos y supongamos que
lm
x
n
y
n
= L > 0
Entonces, lmx
n
= + si y slo si lmy
n
= +.
Demostracin: Por hiptesis, existe m N tal que

L
2
<
x
n
y
n
L <
L
2
Los autores, 2002; Edicions UPC, 2002.
2.9. PUNTOS LMITE DE UNA SUCESIN 67
es decir
L
2
<
x
n
y
n
<
3L
2
para todo n m. Por tanto
L
2
y
n
< x
n
<
3L
2
y
n
Si lmx
n
= + y R, entonces existe un nmero natural K() tal que si
n K(), entonces
3L
2
< x
n
es decir
<
2
3L
x
n
< y
n
Por tanto, lmy
n
= +. Mediante un razonamiento similar se prueba el recpro-
co.
Ejemplo 28 Establecer la divergencia propia de las siguientes sucesiones
1. X = (

n)
2. Y = (
n

n+1
)
Solucin: (1) Puesto que X es creciente y no acotada superiormente, se
sigue que
lm

n = +
(2) Observemos que
lm

n
n

n+1
= lm
n
q
1 +
1
n
n
= lm
r
1 +
1
n
= 1 > 0
Puesto que lm

n = +, por el teorema 25 se sigue que


lm
n

n + 1
= +
2.9. Puntos lmite de una sucesin
Denicin 24 Un punto x se llama punto lmite de la sucesin (x
n
) si para
todo > 0 hay innitos valores de n tales que
|x
n
x| <
Ejemplo 29 La sucesin (1, 1, 1, 1, ...) tiene a 1 y 1 como puntos lmites.
Sin embargo, esta sucesin no es convergente.
Teorema 59 Sea X = (x
n
) una sucesin de nmeros reales y x R. Entonces
se cumple:
Los autores, 2002; Edicions UPC, 2002.
68 CAPTULO 2. SUCESIONES DE NMEROS REALES
1. x es un punto lmite de X si y slo si para todo > 0 y para todo nmero
natural m existe otro n tal que n > m y |x
n
x| < .
2. x es un punto lmite de X si y slo si existe una subsucesin de X que
converge a x.
3. X converge a x si y slo si X est acotada y x es su nico punto lmite
Demostracin:
1. Si x es un punto lmite de X y > 0, entonces hay innitos valores de n
para los que |x
n
x| < . Dado cualquier m N, hay slo un nmero nito
de ellos que es menor que m. Por tanto, hay uno que debe ser mayor que
m. Recprocamente, elegimos los nmeros naturales de forma inductiva.
Por hiptesis dado cualquier m N, existe n
1
N tal que n
1
> m y
|x
n1
x| < . Despus, existe n
2
N tal que n
2
> n
1
y |x
n2
x| < , y
as sucesivamente. Obtenemos n
1
< n
2
< tales que |x
n
i
x| < y, en
consecuencia, x es un punto lmite de X.
2. Supongamos que x es un punto lmite de X. Por (1), existe n
1
N de
manera que |x
n1
x| < 1. De nuevo por (1), existe n
2
N tal que n
2
> n
1
y |x
n
2
x| <
1
2
. Continuando de esta forma, encontramos n
1
> n
2
>
> n
k
> de modo que |x
n
k
x| <
1
k
. De este modo, determinamos
una subsucesin (x
n
k
) de X que converge a x. En efecto, dado cualquier
> 0, existe m() N tal que
1
m()
< . Entonces, para todo k m() se
cumple
|x
n
k
x| <
1
k

1
m()
<
Recprocamente, si existe una subsucesin X
0
= (x
n
k
) de X que converge
a x. Entonces, dado cualquier > 0 y m N existe n
k
N tal que n
k
> m
y
|x
n
k
x| <
Por (1), x es un punto lmite de X.
3. Si X converge a x, entonces por el teorema 4 X est acotada y por el
teorema 14 toda subsucesin convergente de X converge a x. Por (2), x
es el nico punto lmite de X. Recprocamente, supongamos que X est
acotada y que x es el nico punto lmite de X. Si la sucesin no converge
a x, entonces existe
0
> 0 y una subsucesin X
0
= (x
n
k
) de X tal que
|x
n
k
x|
0
para todo k N. Como X
0
est acotada, por el teorema
de Bolzano-Weierstrass, debe tener una subsucesin X
00
convergente. El
lmite de X
00
es un punto lmite de X diferente de x, pero esto no es posible
ya que x es el nico punto lmite de X. Por tanto, X converge a x.
Denicin 25 Sea X = (x
n
) una sucesin de nmeros reales acotada superi-
ormente. Se llama lmite superior de X al supremo de los puntos lmite de X y
se denota por
lmsupx
n
o lmx
n
Los autores, 2002; Edicions UPC, 2002.
2.9. PUNTOS LMITE DE UNA SUCESIN 69
Si el conjunto de puntos lmite es vaco, denimos
lmsupx
n
=
si la sucesin no est acotada superiormente, denimos
lmsupx
n
= +
De manera similar, si X = (x
n
) es una sucesin acotada inferiormente, se llama
lmite inferior de X al nmo de los puntos lmite de X, denotndose por
lminf x
n
o lmx
n
Si el conjunto de puntos lmite de X es vaco, denimos
lminf x
n
= +
Si la sucesin no est acotada inferiormente, denimos
lminf x
n
=
Ejemplo 30 Probar que para la sucesin X = (1, 0, 1, 1, 0, 1, 1, 0, 1, ...),
lmsup = 1 y lminf = 1.
Solucin: La sucesin X est acotada y sus puntos lmite son 1, 0 y 1. Se
tiene
lmsupx
n
= sup{1, 0, 1} = 1
lminf x
n
= inf{1, 0, 1} = 1
Ejemplo 31 Sea X = (x
n
) denida por
x
n
=

0 si n es par
n si n es impar
es decir, X = (1, 0, 3, 0, 5, 0, 7, ...). Hallar lmsupx
n
y lminf x
n
.
Solucin: La sucesin est acotada inferiormente y
lminf x
n
= 0
En cambio, es claro que la sucesin no est acotada superiormente. Por tanto
lmsupx
n
= +
Observacin 41 Aunque una sucesin est acotada, lminf no es necesaria-
mente el nmo del conjunto de valores de la sucesin, ni lmsup su supremo.
Esto se debe a que slo estamos interesados en los puntos lmite, y podemos
eliminar cualquier nmero nito de trminos sin alterar el conjunto de puntos
lmite. La idea clave es que si x es un punto lmite de (x
n
), entonces x tambin
es un punto lmite de (x
n+p
), es decir, de la p cola de X.
Teorema 60 Sea X = (x
n
) una sucesin de nmeros reales. Entonces se cumple:
Los autores, 2002; Edicions UPC, 2002.
70 CAPTULO 2. SUCESIONES DE NMEROS REALES
1. Si X est acotada inferiormente, entonces lminf x
n
= a si y slo si
a) Para todo > 0, existe un nmero natural m() tal que a < x
n
siempre que n m(), y
b) Para todo > 0 y para todo M N existe un nmero natural n > M
tal que x
n
< a +
2. Si X est acotada superiormente, entonces lmsupx
n
= b si y slo si
a) Para todo > 0 existe un nmero natural m() tal que x
n
< b +
siempre que n m(), y
b) Para todo > 0 y para todo M N existe un nmero natural n > M
tal que b < x
n
Demostracin:
1. Supongamos que lminf x
n
= a. Por denicin
a = inf{x R : x es punto lmite de X}
Entonces, dado > 0, existe un punto lmite x tal que
x < a +

2
Si x es un punto lmite de X, entonces para todo nmero natural M existe
otro n tal que n > M y
|x
n
x| <

2
es decir,
x
n
< x +

2
< a +
lo que prueba (b). Si (a) es falsa, entonces existe
0
> 0 para el que existen
innitos x
n
que satisfacen
x
n
a
De este modo, podemos elegir una subsucesin X
0
= (x
n
k
) de X tal que
x
n
k
a
Como X est acotada inferiormente, X
0
est acotada inferiormente. Por
tanto, por Bolzano-Weierstrass, existe una subsucesin X
00
de X
0
que es
convergente. Supongamos que el lmite de X
00
es x. Entonces
x a < a
y, en consecuencia, x es un punto lmite de X menor que a, lo cual es
una contradiccin, ya que
a x
para todos los puntos lmite. El recproco se prueba de la misma manera.
2. La demostracin es similar a la del apartado anterior.
Los autores, 2002; Edicions UPC, 2002.
2.9. PUNTOS LMITE DE UNA SUCESIN 71
Teorema 61 Sea X = (x
n
) una sucesin acotada de nmeros reales. Entonces
se cumple:
lmsupx
n
= inf
nN
{supS
n
}
lminf x
n
= sup
nN
{inf S
n
}
en donde S
n
= {x
n
, x
n+1
, x
n+2
, ...}.
Demostracin: Supongamos que b R y
lmsupx
n
= b
Por estar acotada superiormente X, existen los supremos de cada uno de los
siguientes conjuntos
b
1
= sup{x
1
, x
2
, x
3
, ...}
b
2
= sup{x
2
, x
3
, x
4
, ...}
.
.
.
b
n
= sup{x
n
, x
n+1
, x
n+2
, ...}
.
.
.
y es claro que se cumple
b
1
b
2
b
3
b
n

La sucesin (b
n
) es decreciente y, como X est acotada inferiormente, (b
n
)
tambin lo est. Por tanto,
lmb
n
= inf{b
n
: n N}
Por (2a) del teorema anterior, dado cualquier > 0 existe un nmero nat-
ural m() tal que x
n
< b + siempre que n m(). Por tanto, si b
n
=
sup{x
n
, x
n+1
, x
n+2
, ...} y (b
n
) es decreciente, entonces
b
n
b +
para n m(). Por otra parte, como b < x
n
, para n M arbitrariamente
grande, entonces se tiene que b b
n
. Por tanto, tenemos
b b
n
b +
para n sucientemente grande, es decir, la sucesin (b
n
) converge a b, y
lmsupx
n
= b = lmb
n
= inf{b
n
: n N}
Mediante un razonamiento similar se demuestra la otra frmula.
Teorema 62 Sea X = (x
n
) una sucesin de nmeros reales. Entonces:
1. lminf x
n
lmsupx
n
2. Si x
n
M para todo n N, entonces lmsupx
n
M
Los autores, 2002; Edicions UPC, 2002.
72 CAPTULO 2. SUCESIONES DE NMEROS REALES
3. Si M x
n
para todo n N, entonces lminf x
n
M
4. lmsupx
n
= + si y slo si X no est acotada superiormente
5. lminf x
n
= si y slo si X no est acotada inferiormente
6. Si x es un punto lmite de X, entonces lminf x
n
x lmsupx
n
7. Si a = lminf x
n
es nito, entonces a es un punto lmite de X
8. Si b = lmsupx
n
es nito, entonces b es un punto lmite de X
9. X converge a x si y slo si lmsupx
n
= lminf x
n
= x
Demostracin:
1. Supongamos que S
n
= {x
n
, x
n+1
, x
n+2
, ...} y que a
n
= inf S
n
. Por deni-
cin, si S
n
no est acotado inferiormente, a
n
= . Supongamos que
b
n
= supS
n
. Por denicin, si S
n
no est acotado superiormente, b
n
=
+. Observemos que cada b
n
es una cota superior de {a
n
: n N}. Por
tanto,
lminf x
n
= sup{a
n
: n N} b
n
para todo n N. De aqu, se sigue
lminf x
n
inf{b
n
: n N} = lmsupx
n
2. Puesto que x
n
M para todo n N, se sigue supS
n
M para todo
n N. Por lo tanto,
lmsupx
n
= inf
nN
supS
n
M
3. La demostracin es similar a la del apartado (2).
4. Si X no est acotada superiormente, por denicin se tiene lmsupx
n
=
+. Recprocamente, si X est acotada superiormente, por (2), lmsupx
n
M, siendo M una cota superior de la sucesin.
5. La demostracin es similar a la del apartado (4).
6. Supongamos que x es un punto lmite de X. Entonces, para todo n N
existe k > n para el cual
x < x
k
< x +
Por tanto
inf S
n
x + y x supS
n
para todo n N. De aqu, se sigue
inf S
n
< x < supS
n
luego
lminf x
n
= sup
nN
{inf S
n
} x inf
nN
{supS
n
} = lmsupx
n
Los autores, 2002; Edicions UPC, 2002.
2.9. PUNTOS LMITE DE UNA SUCESIN 73
7. Por denicin,
a = sup{a
n
: n N}
donde
a
n
= inf S
n
Es evidente que
a
1
a
2
a
n
a
La sucesin (a
n
) es creciente y acotada superiormente. Por tanto, lma
n
=
a. Entonces, dados > 0 y k N, existe m() tal que
a < a
n
a
siempre que n m(). Si ahora escogemos n > sup{k, m()}, se sigue que
a < inf S
n
a
De aqu se deduce que existe M N tal que N > n k y
|x
M
x| <
y, en consecuencia, x es un punto lmite de X.
8. La demostracin es similar a la del apartado (7).
9. Si X converge a x, entonces para todo > 0 existe m() N tal que
x < x
n
< x +
siempre que n m(). De aqu, por el teorema 27 (1), se sigue que
lminf x
n
= x. Del mismo modo, por (2) se tiene lmsupx
n
= x. Recp-
rocamente, si se cumplen las condiciones del teorema 27 con x = a = b,
supongamos que M() es el mayor de los m() correspondientes a (1a) y
(2a), entonces
x < x
n
< x +
si n M(). Por tanto, X converge a x.
Ejemplo 32 Sea X = (x
n
) denida por
x
n
= 3 + (1)
n
(1 +
1
n
)
Calcular lminf x
n
y lmsupx
n
.
Solucin: La sucesin se dene por extensin como sigue
(3 1
1
1
, 3 + 1 +
1
2
, 3 1
1
3
, ...)
Los autores, 2002; Edicions UPC, 2002.
74 CAPTULO 2. SUCESIONES DE NMEROS REALES
Entonces
b
1
= supS
1
= 3 + 1 +
1
2
b
2
= supS
2
= 3 + 1 +
1
2
b
3
= supS
3
= 3 + 1 +
1
4
.
.
.
b
2n
= supS
2n
= 3 + 1 +
1
2n
.
.
.
y
lmb
n
= 4
Por tanto,
lmsupx
n
= inf{supS
n
: n N} = 4
Por otra parte, tenemos
a
1
= inf S
1
= 3 1
1
1
a
2
= inf S
2
= 3 1
1
1
a
3
= inf S
3
= 3 1
1
3
.
.
.
a
2n1
= inf S
2n1
= 3 1
1
2n 1
.
.
.
y
lma
n
= 2
Por tanto,
lminf x
n
= sup{inf S
n
: n N} = 2
Ejemplo 33 Hallar una sucesin X = (x
n
) tal que lmsupx
n
= 5 y lminf x
n
=
3.
Solucin: Es evidente que la sucesin
X = (5, 3, 5, 3, 5, 3, ...)
que se dene como sigue
x
n
=

5 si n es impar
3 si n es par
satisface las condiciones del enunciado.
Los autores, 2002; Edicions UPC, 2002.
2.10. CRITERIOS PARA EL CLCULO DE LMITES 75
2.10. Criterios para el clculo de lmites
Teorema 63 (Teorema de Toeplitz) Sea X = (x
n
) una sucesin de nmeros
reales tal que lmX = . Elegidos los nmeros reales
in
de manera que:
1. lm
in
= 0, para todo i N
2. lm(
1n
+
2n
+ +
nn
) =
3. |
in
| + |
2n
| + + |
nn
| < k, para todo n N
Entonces se cumple que
lm(x
1

1n
+x
2

2n
+ +x
n

nn
) =
Demostracin: Podemos escribir x
n
= +
n
, donde
n
= x
n
. Entonces
se cumple lm
n
= 0. Por tanto, dado > 0, existe m() N tal que
|
n
| <

k
siempre que n m(). Entonces

1n
x
1
+
2n
x
2
+ +
nn
x
n
=
1n
( +
1
) +
2n
( +
2
) + +
nn
( +
n
)
=
n
X
i=1

in
+
m()
X
i=1

in

i
+
n
X
i=m()+1

in

i
Puesto que |
in
| + |
2n
| + + |
nn
| < k y |
n
| <

k
para todo n m(), se
cumple
n
X
i=m()+1
|
in

i
| < k

k
=
Si ahora pasamos al lmite la igualdad anterior se sigue que
lm(
1n
x
1
+
2n
x
2
+ +
nn
x
n
) = lm

n
X
i=1

in
+
m()
X
i=1

in

= lm
n
X
i=1

in
=
ya que
lm
m()
X
i=1

in

i
= 0
porque lm
in
= 0 para todo i N.
Teorema 64 (Primer criterio de Stolz) Sean X = (x
n
) y Y = (y
n
) dos
sucesiones de nmeros reales tales que lmx
n
= R, y
n
> 0 para todo n N,
y (y
1
+ + y
n
) no est acotada superiormente (es decir, tiene lmite +).
Entonces
lm
x
1
y
1
+ +x
n
y
n
y
1
+ +y
n
=
Los autores, 2002; Edicions UPC, 2002.
76 CAPTULO 2. SUCESIONES DE NMEROS REALES
Demostracin: Haciendo

in
=
y
i
y
1
+ +y
n
Entonces se cumplen las hiptesis del teorema de Toeplitz (en este caso = 1)
y, en consecuencia, se tiene
lm
x
1
y
1
+ +x
n
y
n
y
1
+ +y
n
=
Corolario 11 Sean X = (x
n
) y Y = (y
n
) dos sucesiones de nmeros reales
tales que y
n
> 0 para todo n N, y lm(y
1
+ +y
n
) = +. Entonces, si
lm
x
n
y
n
=
entonces
lm
x
1
+ +x
n
y
1
+ +y
n
=
Demostracin: Tomando
a
n
=
x
n
y
n
para todo n N. Por hiptesis
lma
n
=
Por tanto, aplicando el primer criterio de Stolz, se sigue que
lm
a
1
y
1
+ +a
n
y
n
y
1
+ +y
n
= lm
x
1
+ +x
n
y
1
+ +y
n
=
Teorema 65 (Segundo criterio de Stolz) Se cumple
1. Sean X = (x
n
) y Y = (y
n
) dos sucesiones de nmeros reales tales que
lmx
n
= lmy
n
= 0, (y
n
) estrictamente creciente y
lm
x
n
x
n1
y
n
y
n1
= R {+}
Entonces
lm
x
n
y
n
=
2. Sean X = (x
n
) y Y = (y
n
) dos sucesiones de nmeros reales tales que
(y
n
) es estrictamente creciente (o decreciente) y no acotada superiormente
(respectivamente, no acotada inferiormente) y
lm
x
n
x
n1
y
n
y
n1
= R {}
Entonces
lm
x
n
y
n
=
Los autores, 2002; Edicions UPC, 2002.
2.10. CRITERIOS PARA EL CLCULO DE LMITES 77
Demostracin: (1) Por hiptesis, dado > 0, existe m() N tal que
<
x
n
x
n1
y
n
y
n1
< +
para todo n m(). Entonces, las fracciones
x
n+p
x
n+p1
y
n+p
y
n+p1
,
x
n+p1
x
n+p2
y
n+p1
y
n+p2
, ...,
x
n+2
x
n+1
y
n+2
y
n+1
,
x
n+1
x
n
y
n+1
y
n
para todo p N y n m(), estn comprendidas entre y + . Luego,
la fraccin obtenida de numerador igual a la suma de todos los numeradores y
denominador igual a la suma de todos los denominadores, siendo stos de signo
positivo (se cumple < y
n+p1
< y
n+p
< ), est tambin comprendida
entre estos nmeros. Por lo tanto, se cumple para todo p N y n m()
<
x
n+p
x
n
y
n+p
y
n
< +
Si ahora pasamos al lmite respecto a p (conservando jo n) en la desigualdad
anterior, como lmx
n+p
= lmy
n+p
= 0, entonces
<
x
n
y
n
< +
siempre que n m(). Por consiguiente
lm
x
n
y
n
=
Mediante un razonamiento similar se prueba el caso en que = +.
(2) Supongamos que Y es estrictamente creciente y no acotada superior-
mente, es decir, y
n1
< y
n
y lmy
n
= +. Hacemos a
1
= x
1
y b = y
1
, y
a
n
= x
n
x
n1
b
n
= y
n
y
n1
para todo n > 1. Entonces b
n
> 0 y lm(b
1
+ +b
n
) = +, adems de que
lm
a
n
b
n
= lm
x
n
x
n1
y
n
y
n1
=
por hiptesis. Entonces, aplicando el corolario anterior, se tiene
lm
a
1
+ +a
n
b
1
+ +b
n
= lm
x
n
y
n
=
Si Y es estrictamente decreciente y no acotada inferiormente, es decir,
y
n1
> y
n
y lmy
n
= . Hacemos a
1
= x
1
y b = y
1
, y
a
n
= x
n
x
n1
b
n
= y
n
y
n1
para todo n > 1. Entonces b
n
> 0 y lm(b
1
b
n
) = +, adems de que
lm
a
n
b
n
= lm
x
n
x
n1
(y
n
) (y
n1
)
=
Los autores, 2002; Edicions UPC, 2002.
78 CAPTULO 2. SUCESIONES DE NMEROS REALES
por hiptesis. Entonces, aplicando el corolario anterior, se tiene
lm
a
1
+ +a
n
b
1
b
n
= lm
x
n
y
n
=
Mediante un razonamiento similar se prueba el caso en que = .
Ejemplo 34 Calcular lm
ln n
n
Solucin: La sucesin (n) es estrictamente creciente y no acotada superi-
ormente. Calculamos el lmite siguiente
lm
lnn ln(n 1)
n (n 1)
= lmln
n
n 1
= ln1 = 0
Por tanto, segn Stolz, se sigue que
lm
lnn
n
= 0
Ejemplo 35 Calcular L = lm
1
2
+2
2
++n
2
n
3
Solucin: La sucesin (n
3
) es estrictamente creciente y no acotada superi-
ormente. Calculamos el lmite siguiente
L = lm
1
2
+ 2
2
+ + (n 1)
2
+n
2
(1
2
+ 2
2
+ + (n 1)
2
)
n
3
(n 1)
3
= lm
n
2
n
3
(n
3
3n
2
+ 3n 1)
= lm
n
2
3n
2
3n + 1
= lm
n
2
n
2
(3
3
n
+
1
n
2
)
= lm
1
3
3
n
+
1
n
2
=
1
3
Por tanto, segn Stolz, se sigue que
lm
1
2
+ 2
2
+ +n
2
n
3
=
1
3
Teorema 66 (Criterio de la media aritmtica) Sea X = (x
n
) una suce-
sin de nmeros reales tal que existe
lmx
n
= R {}
Entonces
lm
x
1
+ +x
n
n
=
Demostracin: Tomando a
n
= x
1
+ +x
n
y y
n
= n para todo n N. Puesto
que (n) es estrictamente creciente y no acotada superiormente, por el segundo
criterio de Stolz, se tiene
lm
a
n
a
n1
y
n
y
n1
= lmx
n
=
Los autores, 2002; Edicions UPC, 2002.
2.10. CRITERIOS PARA EL CLCULO DE LMITES 79
por hiptesis, implica que
lm
a
n
y
n
= lm
x
1
+ +x
n
n
=
Ejemplo 36 Calcular lm

1+

1
2
++

1
n
n
Solucin: Puesto que
lm
r
1
n
= 0
Segn el criterio de la media aritmtica
lm

1 +
q
1
2
+ +
q
1
n
n
= 0
Teorema 67 (Criterio de la media geomtrica) Sea X = (x
n
) una suce-
sin de nmeros reales tal que x
n
> 0 para todo n N y
lmx
n
= R {+}
Entonces
lm
n

x
1
x
n
=
Demostracin: Tomando logaritmos y aplicando el criterio de la media arit-
mtica, se tiene
lm
n

x
1
x
n
= e
ln
n

x
1
x
n
= e
ln z
1
++ln x
n
n
= e
ln
=
Ejemplo 37 Calcular lm
n
q
1
3

2
5

3
7

n
2n+1
Solucin: Puesto que la sucesin (
1
3

2
5

3
7

n
2n+1
) es de trminos positivos,
calculamos el lmite siguiente
lm
n
2n + 1
= lm
n
n(2 +
1
n
)
= lm
1
2 +
1
n
=
1
2
Por tanto, segn el criterio de la media geomtrica, se sigue que
lm
n
r
1
3

2
5

3
7

n
2n + 1
=
1
2
Los autores, 2002; Edicions UPC, 2002.
80 CAPTULO 2. SUCESIONES DE NMEROS REALES
Teorema 68 (Criterio de la raz) Sea X = (x
n
) una sucesin de nmeros
reales tal que x
n
> 0 para todo n N y existe
lm
x
n
x
n1
= R {+}
Entonces
lm
n

x
n
=
Demostracin: Hacemos a
1
= x
1
y
a
n
=
x
n
x
n1
para todo n > 1. Entonces, por hiptesis
lma
n
=
Por el criterio de la media geomtrica, se sigue que
lm
n

a
1
a
2
a
n
= lm
n
r
x
1
x
2
x
1

x
n
x
n1
= lm
n

x
n
=
Ejemplo 38 Calcular lm
n
q
1
n!
Solucin: Puesto que la sucesin (1/n!) es de trminos positivos, calculamos
el lmite siguiente
lm
1/(n + 1)!
1/n!
= lm
n!
(n + 1)!
= lm
1
n + 1
= 0
Por tanto, segn el criterio de la raz, se sigue que
lm
n
r
1
n!
= 0
Teorema 69 (Primer criterio del nmero e) Sea X = (x
n
) una sucesin
de nmeros reales tal que
lmx
n
=
Entonces
lm

1 +
1
x
n

x
n
= e
Demostracin: Si lmx
n
= + y
a
n
= E(x
n
)
es la parte entera de x
n
para todo n N, entonces se cumple
a
n
x
n
< a
n
+ 1
Los autores, 2002; Edicions UPC, 2002.
2.10. CRITERIOS PARA EL CLCULO DE LMITES 81
De aqu, se sigue que

1 +
1
a
n
+ 1

a
n
<

1 +
1
x
n

x
n
<

1 +
1
a
n

a
n
+1
Es claro que lma
n
= + y como que a partir de un cierto lugar en adelante
se cumple que a
n
N, entonces
lm

1 +
1
a
n
+ 1

a
n
=
lm

1 +
1
an+1

an+1
lm

1 +
1
a
n
+1
=
e
1
= e
Del mismo modo se tiene
lm

1 +
1
a
n

a
n
+1
= lm

1 +
1
a
n

a
n
lm

1 +
1
a
n

= e 1 = e
Por tanto, de la desigualdad anterior, se sigue que
lm

1 +
1
x
n

x
n
= e
Si lmx
n
= , hacemos b
n
= x
n
. De este modo, lmb
n
= + y
lm

1 +
1
b
n

b
n
= lm

b
n
b
n
1

b
n
= lm

1 +
1
b
n
1

bn1
lm

1 +
1
b
n
1

= e
Teorema 70 (Segundo criterio del nmero e) Si X = (x
n
) y Y = (y
n
)
son dos sucesiones de nmeros reales tales que
lmx
n
= 1 y lmy
n
= +
y existe
lm(x
n
1)y
n
= R
Entonces
lmx
y
n
n
= e

Demostracin: Puesto que


lm
1
x
n
1
=
Entonces se cumple
lmx
y
n
n
= lm[1 + (x
n
1)]
y
n
= lm
"

1 +
1
1/(x
n
1)

1/(xn1)
#
(xn1)yn
= e
lm(x
n
1)y
n
Los autores, 2002; Edicions UPC, 2002.
82 CAPTULO 2. SUCESIONES DE NMEROS REALES
Ejemplo 39 Calcular lm

n
2
5n+6
n
2
2n+1

n
2
+5
n+2
Solucin: Puesto que
lm
n
2
5n + 6
n
2
2n + 1
= lm
n
2
(1
5
n
+
6
n
2
)
n
2
(1
2
n
+
1
n
2
)
= lm
1
5
n
+
6
n
2
1
2
n
+
1
n
2
= 1
y
lm
n
2
+ 5
n + 2
= lm(
n
2
n + 2
+
5
n + 2
) = +
Calculamos el lmite siguiente
L = lm

n
2
5n + 6
n
2
2n + 1
1

n
2
+ 5
n + 2
= lm

3n + 5
n
2
2n + 1

n
2
+ 5
n + 2

= lm
3n
3
+ 5n
2
15n + 25
n
3
3n + 2
= 3
Por tanto,
lm

n
2
5n + 6
n
2
2n + 1

n
2
+5
n+2
= e
3
2.10.1. Innitsimos
Denicin 26 Se dice que una sucesin de nmeros reales X = (x
n
) es un
innitsimo si
lmx
n
= 0
Denicin 27 Decimos que dos innitsimos X = (x
n
) y Y = (y
n
) son in-
nitsimos equivalentes, y lo designaremos por X Y , si
lm
X
Y
= 1
siempre que x
n
6= 0 y y
n
6= 0 para todo n N.
Teorema 71 Si X = (x
n
) y Y = (y
n
) son dos innitsimos equivalentes, y
Z = (z
n
) es cualquier sucesin de nmeros reales, entonces se cumple
1. lm(XZ) = lm(Y Z)
2. lm
Z
X
= lm
Z
Y
o sea podemos sustituir un innitsimo por su equivalente, siempre que est
multiplicando o dividiendo.
Demostracin: (1) Se cumple
lm(XZ) = lm(
X
Y
Y Z) = lm(Y Z)
Los autores, 2002; Edicions UPC, 2002.
2.10. CRITERIOS PARA EL CLCULO DE LMITES 83
(2) Se cumple
lm
Z
Y
= lm

X
Y
Z
X

= lm
Z
X
Observacin 42 (Lista de algunos innitsimos) Si X = (x
n
) es un in-
nitsimo, entonces se demuestra que:
1. (sinx
n
) (x
n
)
2. (tanx
n
) (x
n
)
3. (ln(1 +x
n
)) (x
n
), siempre que x
n
> 1 para todo n N
4. (1 cos x
n
) (
1
2
x
2
n
)
5. (

a
2
+x
n
) (a +
x
n
2a
), siempre que a > 0
6. (a
x
n
1) (x
n
lna), siempre que a > 0
7. (
1
1+x
n
) (1 x
n
), siempre que x
n
6= 1 para todo n N
Ejemplo 40 Calcular los lmites siguientes:
1. lm

2nsin
1
n

2. lm
2
nln(1+
1
n
3
)
Solucin:
1. Puesto que (1/n) es un innitsimo, sabemos que (sin1/n) (1/n). Por
tanto,
lm

2nsin
1
n

= lm

2n
1
n

= 2
2. Puesto que (1/n
3
) es un innitsimo, sabemos que (ln(1 +
1
n
3
)) (1/n
3
).
Por tanto,
lm
2
nln(1 +
1
n
3
)
= lm
2
n
1
n
3
= lm2n
2
= +
2.10.2. Innitos
Denicin 28 Se dice que una sucesin de nmeros reales X = (x
n
) es un
innito si
lmx
n
=
Denicin 29 Decimos que dos innitos X = (x
n
) y Y = (y
n
) son innitos
equivalentes, y lo designamos por X Y , si
lm
X
Y
= 1
siempre que x
n
6= 0 y y
n
6= 0 para todo n N.
Los autores, 2002; Edicions UPC, 2002.
84 CAPTULO 2. SUCESIONES DE NMEROS REALES
Denicin 30 Dados dos innitos X = (x
n
) y Y = (y
n
), decimos que Y es un
innito de orden superior a X, designado por X Y , si
lm
X
Y
= 0
o lo que es equivalente
lm
Y
X
=
Teorema 72 Si X = (x
n
) y Y = (y
n
) son dos innitos equivalentes y Z = (z
n
)
una sucesin de nmeros reales, entonces se cumple
1. lm(XZ) = lm(Y Z)
2. lm
Z
X
= lm
Z
Y
Demostracin: (1) Se cumple
lm(XZ) = lm(
X
Y
Y Z) = lm(Y Z)
(2) Se cumple
lm
Z
Y
= lm

X
Y
Z
X

= lm
Z
X
Observacin 43 (Comparacin de algunos innitos) Si X = (x
n
) es un
innito, entonces se demuestra que
X X
2
2
X
e
X
X
X
Teorema 73 (Frmula de Euler) Se cumple
1 +
1
2
+
1
3
+ +
1
n
= lnn +C +
n
donde lm
n
= 0 y C es la constante de Euler.
Demostracin: Consideremos la sucesin X = (x
n
) denida por
x
n
= 1 +
1
2
+
1
3
+ +
1
n
lnn
Observemos que
x
n+1
x
n
=
1
n + 1
ln
n + 1
n
Puesto que

1 +
1
n

n
< e <

1 +
1
n

n+1
entonces
nln

1 +
1
n

< 1 < (n + 1) ln

1 +
1
n

de donde se obtiene
1
n + 1
< ln

1 +
1
n

<
1
n
Los autores, 2002; Edicions UPC, 2002.
2.10. CRITERIOS PARA EL CLCULO DE LMITES 85
Por tanto
x
n+1
x
n
=
1
n + 1
ln

1 +
1
n

< 0
para todo n N, luego X es una sucesin decreciente. Observemos tambin que
x
n
= 1 +
1
2
+
1
3
+ +
1
n
lnn
= 1 ln
2
1
+
1
2
ln
3
2
+ +
1
n
ln
n + 1
n
0
ya que
0 <
1
n
ln
n + 1
n
para todo n N. Por tanto, X est acotada inferiormente y, en consecuencia,
X es convergente. Su lmite es un nmero real que se designa por C y se llama
constante de Euler. Entonces la sucesin (
n
) denida como

n
= 1 +
1
2
+
1
3
+ +
1
n
lnn C
es un innitsimo. Por lo tanto, tenemos
1 +
1
2
+
1
3
+ +
1
n
= lnn +C +
n
Teorema 74 (Frmula de Stirling) Se cumple
lm
n!
e
n
n
n

2n
= 1
es decir (n!) y

e
n
n
n

2n

son dos innitos equivalentes.


Demostracin: Consideremos la sucesin X = (x
n
) denida por
x
n
=
n!e
n
n
n

n
Puesto que
x
n+1
x
n
=
(n + 1)!e
n+1
(n + 1)
n+1

n + 1

n
n

n
n!e
n
= e

n
n + 1

n+
1
2
=
e

1 +
1
n

n+
1
2
< 1
se sigue que x
n+1
< x
n
para todo n N. Por tanto, X es una sucesin decre-
ciente. Es claro que x
n
> 0 y, en consecuencia, X es convergente. Su lmite es

2 (no se demuestra aqu este hecho). Por lo tanto


lm
n!
e
n
n
n

2n
=
1

2
lm
n!e
n
n
n

n
= 1
Los autores, 2002; Edicions UPC, 2002.
86 CAPTULO 2. SUCESIONES DE NMEROS REALES
Ejemplo 41 Calcular los lmites siguientes:
1. lm
1+
1
2
+
1
3
++
1
n
ln n
2. lm
n
2
n
3. lm
n
n
e
n
n!
Solucin:
1. Segn la frmula de Euler,
lm
1 +
1
2
+
1
3
+ +
1
n
lnn
= lm
lnn +C +x
n
lnn
= lm(1 +
C +x
n
lnn
) = 1
Obsrvese entonces que (1 +
1
2
+
1
3
+ +
1
n
) (lnn).
2. Puesto que (n) (2
n
), entonces
lm
n
2
n
= 0
3. Puesto que (n!) y

e
n
n
n

2n

son dos innitos equivalentes, se sigue


que
lm
n
n
e
n
n!
= lm
n
n
e
n
e
n
n
n

2n
= lm
1

2n
= 0
2.10.3. Indeterminaciones
Las expresiones simblicas siguientes, se llaman indeterminaciones
+, 0 () ,
0
0
,

, ()
0
, 0
0
, 1

Por ejemplo, si lmX = + y lmY = , entonces nada puede armarse


sobre el lmite de X +Y . En efecto, si X = (1, 2, 3, ...) y Y = (1, 2, 3, ...),
entonces X+Y = (0, 0, 0, ...) que es covergente a 0; en cambio, si Y
1
= (y
n+1
) =
(2, 3, 4, ...), entonces X +Y
0
= (1, 1, 1, ...) que es convergente a 1.
La dicultad del clculo de lmites es averiguar si existe el l mite y cul es
su valor en el caso de que aparezca una de las indeterminaciones.
Los autores, 2002; Edicions UPC, 2002.