Tema 5

Sucesiones convergentes
Aparece por primera vez en este tema una de las nociones fundamentales del Anlisis
Matemtico, la nocin de convergencia. Estudiamos la convergencia de sucesiones de nmeros
reales, que nos permitir mejorar nuestro conocimiento de la recta real y ser posteriormente
una herramienta clave para estudiar las funciones reales de variable real.

5.1. Concepto de sucesin

Si A es un conjunto no vaco, se llama sucesin de elementos de A a cualquier aplicacin
de N en A. En particular, una sucesin de nmeros reales es una aplicacin de N en R. En lo
que sigue trabajaremos siempre con sucesiones de nmeros reales. Cuando hablemos de una
sucesin, sin ms explicaciones, se entender que se trata de una sucesin de nmeros reales.
Es habitual usar para las sucesiones una notacin ms acorde con su interpretacin intuitiva,
nmeros que se suceden, aunque esta idea debe usarse con precaucin. Concretamente, si
: N R es una sucesin, para cada n N tenemos un nmero real xn = (n) y denotamos
entonces por {xn } a la sucesin . Una ventaja de esta notacin es su brevedad: por ejemplo,
la sucesin {1/n} es la sucesin : N R definida por (n) = 1/n para todo n N, pero con
slo escribir {1/n} entendemos perfectamente la sucesin a la que nos referimos.
Intuitivamente, interpretamos la sucesin {xn } como una lista infinita de nmeros
x1 , x2 , . . . , xn , . . .
y es habitual decir que estos nmeros son trminos de la sucesin: x1 ser el primer trmino,
x2 el segundo y, en general, xn ser el n-simo trmino de la sucesin. Debe quedar claro que
esto es slo una idea intuitiva, una forma de hablar. No es necesario dar significado matemtico
riguroso a la palabra trmino.
Conviene resaltar la diferencia entre una sucesin {xn }, que es una aplicacin : N R,
y el conjunto {xn : n N} = (N), que es un subconjunto de R, la imagen de la aplicacin .
Por ejemplo, este conjunto puede muy bien ser finito aunque tengamos una aplicacin definida
en todo el conjunto N. No hay nada de extrao en que la imagen de una aplicacin definida en
un conjunto infinito sea un conjunto finito.

39
5. Sucesiones convergentes 40

Veamos algunos ejemplos en los que, junto a una sucesin : N R, damos la notacin
con la que se representa y la idea intuitiva que nos sugiere:

Una sucesin puede ser constante. Ms concretamente, fijado R, podemos tomar

(n) = para todo n N. Obtenemos una sucesin bastante aburrida: , , . . . , , . . .
La sucesin de los nmeros naturales viene definida por (n) = n para todo n N y se
denota simplemente por {n}. Intuitivamente pensamos en: 1 , 2 , 3 , . . . , n , . . .
Ya ha aparecido anteriormente la sucesin de los inversos de los nmeros naturales, es
decir, la sucesin {1/n} definida por (n) = 1/n para todo n N. Visualizamos esta
sucesin en la forma: 1 , 1/2 , 1/3 , . . . , 1/n , . . .
Las potencias de 1, con exponente natural, nos dan una sucesin : N R, definida
por (n) = (1)n para todo n N, que se denota simplemente por {(1)n } y nos hace
pensar en: 1 , 1 , 1 , 1 , . . . , 1 , 1 , . . .

5.2. Sucesiones convergentes

La definicin que sigue es una de las ms tiles en Matemticas. Preferimos exponerla
formalmente y luego comentarla detenidamente para su mejor comprensin.
Sea {xn } una sucesin de nmeros reales y sea x R. Decimos que {xn } converge a x, y
escribimos {xn } x, cuando, para cada nmero real y positivo , puede encontrarse un nmero
natural m, de forma que se tenga |xn x| < para cualquier n N que verifique n > m. As
pues, simblicamente:
 
{xn } x > 0 m N : n > m |xn x| < ()
Ntese que escribimos > 0 en lugar de R+ , se sobreentiende que es un nmero real y se
enfatiza que es positivo. Igualmente se sobreentiende que n N y se enfatiza que n > m.
Antes que nada conviene resaltar que el nmero natural m que aparece en () depender
usualmente del nmero positivo mencionado previamente. Para probar que {xn } x debemos
precisamente encontrar alguna regla que a cada nmero positivo asocie un nmero natural m
con la propiedad requerida: que se tenga |xn x| < para n > m.
La desigualdad |xn x| < es tanto ms exigente cuanto ms pequeo sea y equivale a
que se tenga x < xn < x + . Por tanto, en () se afirma que, por muy pequeo que sea > 0,
el intervalo ]x , x + [ contiene a todos los trminos de la sucesin a partir de uno en adelante
o, si se quiere, a todos los trminos suficientemente avanzados. Tambin debemos recordar que
|xn x| es la distancia entre los puntos xn y x de la recta real, luego {xn } x cuando podemos
asegurar que xn est tan cerca de x como queramos (a distancia menor que un > 0 dado) para
todo nmero natural n suficientemente grande.
Podemos tambin reformular la definicin de convergencia, pensando en los trminos que
no verifican la desigualdad que en ella aparece. Ms concretamente, para cada > 0 podemos
pensar en el conjunto A = {n N : |xn x| > }. Decir que |xn x| < para n > m equivale
a decir que A {n N : n < m}, lo que a su vez equivale a decir que A es finito.
5. Sucesiones convergentes 41

En resumen, tenemos que {xn } x si, y slo si, para todo > 0, el conjunto A es finito.
Esta forma de expresar la convergencia es til cuando queremos negar que la haya: tendremos
que {xn } no converge a x cuando A sea infinito para algn > 0.
Lgicamente, diremos que una sucesin de nmeros reales {xn } es convergente cuando
existe x R tal que {xn } x. Veamos que entonces x es nico:

Si una sucesin {xn } verifica que {xn } x y que {xn } y, con x, y R, entonces x = y.

Para comprobarlo, fijamos > 0 y usamos la definicin de convergencia para encontrar

m1 , m2 N tales que |xn x| < para n > m1 y |xn y| < para n > m2 . Tomando entonces
n = max {m1 , m2 } tenemos claramente

|x y| = |x xn + xn y| 6 |x xn | + |xn y| < 2

Como > 0 era arbitrario, hemos demostrado que |x y|/2 es un minorante de R+ , luego
|x y| 6 0, es decir, x = y. 
Podemos ya usar la siguiente nomenclatura: si una sucesin {xn } converge a un x R, se
dice que x es el lmite de la sucesin {xn } y se escribe x = lm {xn }, o bien, x = lm xn . Veamos
n
los primeros ejemplos de sucesiones convergentes y de sucesiones no convergentes:

Una sucesin constante es convergente. Si, para R fijo, tenemos xn = para todo
n N, es obvio que, cualquiera que sea > 0, la desigualdad |xn | < se cumple para
todo n N. Obsrvese que en este caso podemos tomar siempre m = 1, sea cual sea . En
cualquier otro caso, la situacin no ser tan favorable.

Vamos a comprobar que {1/n} 0. En efecto, dado > 0, la propiedad arquimediana

nos proporciona un m N tal que m > 1/ y, para n > m, tenemos entonces
 
1
 0 = 1 6 1 <

n  n m

Resaltamos la regla que nos ha permitido asociar a cada nmero positivo el nmero
natural m requerido: basta que sea m > 1/; por ejemplo, podemos tomar m = E(1/)+1.
Obsrvese que, recprocamente, de {1/n} 0 se deduce la propiedad arquimediana.

La sucesin {n} no es convergente. En efecto, si para algn x R se tuviese {n} x,

tomando = 1 encontraramos m N verificando que |n x| < 1, y por tanto n < x + 1,
para n > m ; pero esto es imposible, porque entonces x + 1 sera un mayorante de N,
contradiciendo la propiedad arquimediana.

La sucesin {(1)n } no es convergente. Razonando de nuevo por reduccin al absurdo,

supongamos que {(1)n } x R y tomemos otra vez = 1 para obtener m N tal que
|(1)n x| < 1 para n > m. Usando n = 2m tenemos |1 x| < 1, de donde x > 0. Pero
tambin podemos tomar n = 2m + 1 para obtener |(1) x| = |x + 1| < 1, de donde x < 0
y hemos llegado a una contradiccin.
5. Sucesiones convergentes 42

5.3. Sucesiones parciales

Acabamos de ver que la sucesin {(1)n } no es convergente, pero es intuitivamente claro
que con los trminos que ocupan un lugar impar podemos formar una sucesin convergente,
e igual ocurre con los trminos que ocupan un lugar par. Pues bien, vamos a formalizar la
idea intuitiva consistente en seleccionar trminos de una sucesin dada, para obtener una nueva
sucesin, de la que diremos que es una sucesin parcial de la de partida.
Veamos pues en qu consiste la idea de seleccionar trminos de una sucesin. Si llamamos
(n) al lugar que ocupa en la sucesin de partida el n-simo trmino de la sucesin parcial,
est claro que nuestra seleccin queda determinada por una aplicacin : N N. Siguiendo
con nuestra idea intuitiva, el (n + 1)-simo trmino de la sucesin parcial debe ocupar en la
sucesin de partida un lugar posterior al n-simo, es decir, debe ser (n) < (n + 1), de forma
que los trminos que vayamos seleccionando no aparezcan en la sucesin parcial permutados
ni repetidos. Finalmente es claro que si {xn } era la sucesin de partida, la seleccin descrita
mediante la aplicacin produce la sucesin {x(n) }. Quedan as explicadas las definiciones
que hacemos a continuacin.
Se dice que una aplicacin : N N es estrictamente creciente, cuando verifica que
(n) < (n + 1) n N
Si {xn } e {yn } son sucesiones, se dice que {yn } es una sucesin parcial de {xn } cuando existe
una aplicacin estrictamente creciente : N N tal que
yn = x(n) n N
Dicho de forma equivalente, las sucesiones parciales de una sucesin {xn } son las de la forma
{x(n) }, donde : N N es una aplicacin estrictamente creciente. Obsrvese que la definicin
anterior tiene perfecto sentido para sucesiones de elementos de un conjunto arbitrario, aunque
aqu slo nos interesen las de nmeros reales.
Para presentar ejemplos de sucesiones parciales basta mostrar aplicaciones estrictamente
crecientes de N en s mismo, cosa bien fcil. En los ejemplos que siguen, {xn } puede ser
cualquier sucesin de nmeros reales y explicamos la seleccin de sus trminos determinada
por la aplicacin que se considera, que siempre es estrictamente creciente.

Tomando (n) = n n N, observamos que {x(n) } = {xn } es una sucesin parcial de

s misma. Obviamente, una forma de seleccionar trminos de una sucesin consiste en
seleccionarlos todos, aunque este ejemplo de sucesin parcial sea poco interesante.
Fijado k N, podemos tomar (n) = k + n n N. Aparece as la sucesin {xk+n }, que
es la sucesin parcial de {xn } obtenida al suprimir los k primeros trminos y conservar
los restantes.
Tomando (n) = 2n n N, obtenemos la sucesin parcial {x2n }, en la que aparecen los
trminos de {xn } que ocupan los lugares pares.
Para seleccionar los trminos en lugares impares, tomamos (n) = 2n 1 n N, con
lo que obtenemos la sucesin parcial {x2n1 }.
5. Sucesiones convergentes 43

Vamos a ver enseguida que la convergencia de una sucesin obliga a todas sus sucesiones
parciales a converger al mismo lmite. Conviene hacer previamente la siguiente observacin,
sencilla pero importante:

Toda aplicacin estrictamente creciente : N N verifica que (n) > n n N.

La prueba por induccin es clara: (1) N, luego (1) > 1 y, suponiendo (n) > n, tenemos
(n + 1) > (n) > n, luego (n + 1) > n + 1. Podemos ya probar fcilmente lo siguiente:

Si {x(n) } es una sucesin parcial de una sucesin convergente {xn }, entonces {x(n) }
tambin es convergente, con lm {x(n) } = lm {xn }.

Si {xn } x R, para cada > 0 podemos encontrar m N tal que |xn x| < para n > m. Pero
entonces, la observacin previa nos dice que para n > m tenemos tambin (n) > n > m, luego
|x(n) x| < . Hemos demostrado que {x(n) } x, como se quera. Ntese que, para conseguir
la convergencia de cualquier sucesin parcial, podemos asociar a cada > 0 el mismo m N
que nos proporciona la convergencia de la sucesin de partida. 
Como clara consecuencia, si {xn } admite una sucesin parcial que no es convergente, o
admite dos sucesiones parciales que convergen a lmites diferentes, entonces {xn } no puede
ser convergente. Por ejemplo, el hecho ya conocido de que la sucesin {(1)n } no converge
se puede explicar rpidamente, observando lo que les ocurre a dos sucesiones parciales suyas:
{(1)2n } 1 y {(1)2n+1 } 1.
En ocasiones, se puede deducir la convergencia de una sucesin usando la convergencia de
una o varias sucesiones parciales. En lugar de hacer un enunciado general, que no ser difcil
adivinar, consideramos un par de ejemplos ilustrativos. El primero nos dice que la convergencia
de una sucesin no depende para nada de sus primeros k trminos, por muy grande que sea k:

Fijado k N, para toda sucesin {xn } y todo x R, se tiene: {xn } x {xk+n } x

Basta obviamente probar la implicacin hacia la izquierda. Dado > 0 tenemos m N tal que
|xk+n x| < para n > m. Para n > k + m ser n k > m luego |xn x| = |xk+nk x| < . 
En un segundo ejemplo, usaremos dos sucesiones parciales, las formadas por los trminos
pares y por los impares:

Para toda sucesin {xn } y todo x R, se tiene: {x2n } x , {x2n1 } x = {xn } x

Dado > 0 tenemos m1 , m2 N verificando que |x2k x| < para k > m1 y |x2k1 x| <
para k > m2 . Tomando m = max{2m1 , 2m2 + 1}, para n > m podrn darse dos casos. Si n es
par, tendremos n = 2k con k N y k > m1 , luego |xn x| = |x2k x| < . Si n es impar, ser
n = 2k 1 con k N y k > m2 , con lo que obtenemos tambin |xn x| = |x2k1 x| < . 
5. Sucesiones convergentes 44

5.4. Sucesiones acotadas

Ya se ha comentado la distincin que debemos tener presente entre una sucesin {xn } y el
conjunto de sus trminos {xn : n N}. Ello no impide, como vamos a hacer ahora, considerar
propiedades de una sucesin que slo dependen del conjunto de sus trminos:
Decimos que una sucesin de nmeros reales {xn } est mayorada o minorada cuando lo
est el conjunto {xn : n N}. Simblicamente:
{xn } mayorada R : xn 6 n N
{xn } minorada R : 6 xn n N
Naturalmente decimos que la sucesin {xn } est acotada cuando est mayorada y minorada.
Es fcil ver que esto equivale a que la sucesin {|xn |} est mayorada:
{xn } acotada K R : |xn | 6 K n N
Rpidamente relacionamos convergencia y acotacin:

Toda sucesin convergente est acotada.

La demostracin no es difcil. Si {xn } x, la definicin de convergencia nos proporciona un

m N tal que |xn x| < 1 para n > m. Tenemos por tanto:
n > m = |xn | = |xn x + x| 6 |xn x| + |x| < 1 + |x|
Por otra parte, el conjunto {|xn | : n 6 m} es un subconjunto de R no vaco y finito, luego
tendr un mximo, digamos A. Tenemos claramente |xn | 6 1 + |x| + A para todo n N, luego la
sucesin {xn } est acotada, como queramos demostrar. 
La implicacin recproca es falsa: la sucesin {(1)n } est acotada pero no es convergente.
Conviene resaltar una idea que ha aparecido claramente en la demostracin anterior y que
se usa muy a menudo. Dada una sucesin {xn }, si para cierto m N probamos que el conjunto
{xn : n > m} est acotado, entonces podemos asegurar que la sucesin {xn } est acotada.
De la implicacin recin demostrada podemos deducir claramente algo que ya sabamos: la
sucesin {n} no es convergente, puesto que no est acotada.

5.5. Operaciones con sucesiones convergentes

Vamos a presentar ahora algunas reglas prcticas para el clculo de lmites. Empezamos
con una observacin inmediata: la convergencia de una sucesin siempre equivale a que otra
sucesin, de nmeros no negativos, converja a cero.

Dada una sucesin {xn }, para x R, se tiene: {xn } x {|xn x|} 0. En particular,
{xn } 0 {|xn |} 0.

En efecto, basta usar la definicin de convergencia para ver que ambas afirmaciones se expresan
exactamente de la misma forma.
5. Sucesiones convergentes 45

Conviene observar que la convergencia de una sucesin {xn } siempre implica la de {|xn |}:

Dada una sucesin {xn }, para x R, se tiene: {xn } x {|xn |} |x|.

 
En efecto, basta tener en cuenta que  |xn | |x|  6 |xn x| para todo n N. En general, el
recproco no es cierto: tomando xn = (1)n para todo n N, es evidente que {|xn |} 1 pero
la sucesin {xn } no es convergente.
Pasamos a discutir la relacin entre la convergencia de sucesiones y la estructura de R:
suma, producto y orden. Para la suma, la situacin es difana:

Si {xn } , {yn } son sucesiones convergentes, entonces {xn +yn } es convergente y se verifica
que lm {xn + yn } = lm {xn } + lm {yn }.

En efecto, suponiendo que {xn } x y que {yn } y, debemos probar que {xn + yn } x + y.
Dado > 0 existen m1 , m2 N tales que |xn x| < /2 para n > m1 , mientras que |yn y| < /2
para n > m2 . Entonces, tomando m = max {m1 , m2 }, para n > m tenemos

|(xn + yn ) (x + y)| 6 |xn x| + |yn y| < + = 
2 2

Para el producto, esperamos un resultado anlogo, pero conviene probar previamente lo

siguiente:

Si una sucesin {yn } est acotada y {zn } 0, entonces {yn zn } 0.

En efecto, existe K R+ tal que |yn | 6 K para todo n N y podemos encontrar m N de forma
que |zn | < /K para n > m, luego para n > m tenemos

|yn zn | = |yn | |zn | 6 K |zn | < K = 
K

Lo que ocurre con un producto de sucesiones convergentes es ya fcil de comprobar:

Si {xn } e {yn } son sucesiones convergentes, entonces la sucesin {xn yn } es convergente

y se verifica que lm {xn yn } = lm {xn } lm {yn }.

Suponiendo que {xn } x y que {yn } y, debemos probar que {xn yn } xy. Empezamos
observando que, para cualquier n N, se tiene:

xn yn x y = xn yn x yn + x yn x y = (xn x)yn + x(yn y)

Puesto que {xn x} 0, e {yn } est acotada (por ser convergente), ser {(xn x)yn } 0,
pero tambin es claro que {x(yn y)} 0. El resultado anterior sobre sumas de sucesiones
convergentes nos dice que {xn yn x y} 0, luego {xn yn } xy, como queramos. 
Para aproximarnos al cociente de dos sucesiones convergentes, empecemos viendo lo que
ocurre al invertir los trminos de una sucesin convergente:
5. Sucesiones convergentes 46

 
1 1
Si xn R para todo n N y {xn } x R , entonces
xn x
 
1 1 x xn 1
Puesto que = para todo n N, bastar ver que la sucesin est acotada.
xn x xn x xn
Ahora bien, tomando = |x|/2 > 0 encontramos m N tal que, |xn x| < |x|/2 para n > m.
Entonces, tambin para n > m, tenemos
 
|x| |x| 1 2
|xn | = |x (x xn )| > |x| |x xn | > |x| = , luego   6 
2 2 xn |x|

La hiptesis x R del resultado anterior es esencial. Si x = 0, entonces la sucesin {1/xn }

no est acotada, pues si lo estuviera, tendramos {xn 1/xn } 0, lo cual es absurdo. Lo que se
puede afirmar sobre un cociente de sucesiones convergentes es ya inmediato:

Sea {yn } una sucesin convergente y {xn } una sucesin de nmeros reales no nulos que
converja a un nmero real no nulo. Entonces la sucesin {yn /xn } es convergente y se
verifica que: lm {yn /xn } = lm {yn }/ lm {xn }

Pasamos ahora a discutir brevemente la relacin entre la convergencia de sucesiones y el

orden de los nmeros reales. Dicho de forma ms intuitiva, queremos saber si las desigualdades
entre los lmites de dos sucesiones convergentes dan lugar a desigualdades entre los trminos y
viceversa. La respuesta es bien sencilla:

Sean {xn } e {yn } sucesiones convergentes. Si lm {yn } < lm{xn }, entonces existe m N
tal que yn < xn para n > m.

Para comprobarlo, sea y = lm {yn } < lm {xn } = x. Tomamos = (x y)/2 y encontramos

m N tal que |xn x| < y tambin |yn y| < para n > m. Entonces, para n > m tenemos
claramente
xy x+y xy
yn < y + = y + = = x = x < xn 
2 2 2
Si queremos que las desigualdades entre los trminos de las dos sucesiones se reflejen en
sus lmites, basta enunciar equivalentemente el ltimo resultado:

Sean {xn } e {yn } sucesiones convergentes. Si el conjunto {n N : xn 6 yn } es infinito,

entonces: lm {xn } 6 lm {yn }.

En efecto, si fuese lm {yn } < lm {xn }, el resultado anterior nos dara un m N tal que yn < xn
para n > m, luego el conjunto {n N : xn 6 yn } sera finito. 
Obviamente, si xn 6 yn para todo n N, se tendr tambin lm {xn } 6 lm {yn }. Conviene
sin embargo resaltar que de la desigualdad estricta xn < yn , aunque sea vlida para todo n N,
no podemos deducir lm {xn } < lm {yn }. Basta observar, por ejemplo, lo que ocurre cuando
xn = 0, yn = 1/n, para todo n N. Destacamos el caso particular del resultado anterior que se
utiliza con ms frecuencia.
5. Sucesiones convergentes 47

Sea {xn } una sucesin convergente y , R.

Si el conjunto {n N : xn 6 } es infinito, entonces lm {xn } 6 .
Si el conjunto {n N : 6 xn } es infinito, entonces 6 lm {xn }.
En particular, se tiene: nf {xn : n N} 6 lm {xn } 6 sup {xn : n N}.

En los resultados anteriores se supone que las sucesiones involucradas son convergentes. En
la situacin que ahora vamos a considerar se consigue la convergencia de una sucesin que, por
as decirlo, est emparedada entre dos sucesiones convergentes al mismo lmite.

Sean {xn } , {yn } , {zn } sucesiones tales que xn 6 yn 6 zn para todo n N. Si {xn } y {zn }
convergen a un mismo lmite, entonces {yn } tambin converge a dicho lmite.

En efecto, sea x = lm {xn } = lm {zn } y vamos a probar que {yn } x. Dado > 0 tenemos
m N tal que, para n > m se tiene |xn x| < y tambin |zn x| < . Entonces, para n > m ser
x < xn 6 yn 6 zn < x + , luego |yn x| < como queramos. 
Obsrvese que el resultado anterior sigue siendo cierto si se supone solamente que la doble
desigualdad xn 6 yn 6 zn se verifica para todo n suficientemente grande. Sin embargo, para
asegurar la convergencia de {yn }, no basta que el conjunto {n N : xn 6 yn 6 zn } sea infinito.
Concluimos este tema mostrando que algunas propiedades de R pueden interpretarse de
forma muy clara e intuitiva, mediante la convergencia de sucesiones. Un primer ejemplo ya se
ha comentado: la propiedad arquimediana de R equivale a decir que {1/n} 0. La siguiente
observacin clarifica las nociones de supremo e nfimo:

Si A es un conjunto de nmeros reales no vaco y mayorado, existe una sucesin {xn } de

elementos de A tal que {xn } sup A. Anlogamente, si A es no vaco y minorado, existe
una sucesin {yn } de elementos de A tal que {yn } nf A.

En efecto, si A est mayorado, para cada n N podemos encontrar xn A verificando que

1
sup A < xn 6 sup A
n
Formamos as una sucesin {xn } de elementos de A que evidentemente converge a sup A. Para
el nfimo de un conjunto minorado se razona de forma anloga. 
La relacin entre supremo y mximo, o entre nfimo y mnimo, puede entenderse ahora
con ms claridad. El supremo de un conjunto no vaco y mayorado, puede no pertenecer al
conjunto, pero siempre es el lmite de una sucesin de puntos del conjunto y, de hecho, es el
nico mayorante del conjunto que tiene esa propiedad. Anlogamente, el nfimo de un conjunto
no vaco y minorado es el nico minorante del conjunto que puede obtenerse como lmite de
una sucesin de puntos del conjunto. Por ejemplo, es ahora evidente que 0 = nf{1/n : n N}.
Podemos tambin interpretar la densidad de Q y R \ Q en R. Recordando que

sup{r Q : r < x} = x = nf{s Q : s > x} x R

deducimos claramente lo siguiente:

5. Sucesiones convergentes 48

Para todo x R, existen sucesiones {rn } y {sn } de nmeros racionales, tales que:

rn < x < sn n N , x = lm{rn } = lm{sn }

La misma idea puede usarse con R \ Q obteniendo, para cada x R, sendas sucesiones {n } y
{n } de nmeros irracionales que convergen a x y verifican que n < x < n para todo n N.
De hecho, se puede hacer el mismo razonamiento con cualquier conjunto denso en R.

5.6. Ejercicios de revisin

1. Probar que un conjunto A es numerable si, y slo si, existe una sucesin {an } de elementos
de A tal que A = {an : n N}. En particular, Q = {rn : n N} para conveniente sucesin
{rn }. Puede {rn } ser convergente?

2. Dados , R con 6= , definir una sucesin {xn } de puntos del conjunto {, } tal
que los conjuntos {n N : xn = } y {n N : xn = } sean infinitos.

3. Dadas dos sucesiones {xn } e {yn } pongamos {yn }  {xn } cuando {yn } sea una sucesin
parcial de {xn }. Probar que la relacin  es reflexiva y transitiva.Es antisimtrica?

4. Sea {xn } una sucesin convergente y : N N una aplicacin inyectiva. Probar que
{x(n) } converge al mismo lmite que {xn }. Es {x(n) } una sucesin parcial de {xn }?

5. Probar que las sucesiones {1/n2 }, {1/2n } y {1/n!} convergen a cero.

6. En cada uno de los siguientes casos, probar que la sucesin dada es convergente y calcular
su lmite:
(1)n n 2n + 5(1)n (1)n n 2 3n + 4
     
(a) (b) (c)
n2 + 1 n+1 n3 + 1

7. Sea D un conjunto denso en R.

a) Probar que, para cada x R, existen sucesiones {n } y {n } verificando:

n , n D , n < x < n n N , x = lm{n } = lm{n }

b) Recprocamente, sea A un subconjunto de R verificando que para cada x R existe

una sucesin de elementos de A que converge a x. Probar que A es denso en R.