Está en la página 1de 10

Tema

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 denida 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 innita 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 signicado 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 nito aunque tengamos una aplicacin denida en todo el conjunto N. No hay nada de extrao en que la imagen de una aplicacin denida en un conjunto innito sea un conjunto nito. 38

5. Sucesiones convergentes

39

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, jado R, podemos tomar (n) = para todo n N. Obtenemos una sucesin bastante aburrida: , , . . . , , . . . La sucesin de los nmeros naturales viene denida 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} denida 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, denida 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 denicin que sigue es una de las ms tiles e importantes 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, para cualquier n N que verique n m, se tenga |xn x| < . 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 arma 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 sucientemente avanzados. Dicho de otra forma, como |xn x| es la distancia entre los puntos xn y x de la recta real, tenemos que {xn } x cuando podemos conseguir que xn est tan cerca de x como queramos (a distancia menor que cualquier > 0 que hayamos jado previamente), sin ms que tomar n sucientemente grande (n m para un cierto m N que usualmente depender de ). As pues, los trminos de la sucesin se aproximan al nmero real x, de una forma muy concreta.

5. Sucesiones convergentes

40

Podemos tambin reformular la denicin de convergencia, pensando en los trminos que no verican 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}. Que exista un m N vericando la inclusin anterior es tanto como decir que el conjunto A es nito. En resumen, tenemos que {xn } x si, y slo si, para todo > 0, el conjunto A es nito. Esta forma de expresar la convergencia es til cuando queremos negarla: decir que {xn } no converge a x equivale a decir que existe > 0 tal que A es innito. Lgicamente, diremos que una sucesin de nmeros reales {xn } es convergente cuando exista x R tal que {xn } x. Veamos que entonces x es nico: Si una sucesin {xn } verica que {xn } x y que {xn } y, con x, y R, entonces x = y. Para comprobarlo, jamos > 0 y usamos la denicin de convergencia para encontrar m1 , m2 N tales que |xn x| < para n m1 y |xn y| < para n m2 . Tomando entonces n = m ax {m1 , m2 } tenemos claramente |x y| = |x xn + xn y| |x xn | + |xn y| < 2

Como > 0 era arbitrario, hemos demostrado que |x y|/2 es un minorante de R+ , luego |x y| 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 = l m {xn }, o bien, x = l m xn . Veamos n los primeros ejemplos de sucesiones convergentes y de sucesiones que no son convergentes: Toda sucesin constante es convergente. Si, para R jo, 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. Veamos que {1/n} 0. En efecto, dado > 0, por la propiedad arquimediana existe m N tal que m > 1/ y, para n m, tendremos |1/n 0| = 1/n 1/m < . Resaltamos la regla que permite 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 vericando 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

41

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 deniciones que hacemos a continuacin. Se dice que una aplicacin : N N es estrictamente creciente, cuando verica 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 denicin 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. Intuitivamente: xk+1 , xk+2 , . . . , xk+n , . . . Tomando (n) = 2n n N, obtenemos la sucesin parcial {x2n }, en la que aparecen los trminos de {xn } que ocupan los lugares pares: x2 , x4 , . . . , x2n , . . . Para seleccionar los trminos en lugares impares, tomamos (n) = 2n 1 n N, con lo que obtenemos la sucesin parcial {x2n1 }. Intuitivamente: x1 , x3 , . . . , x2n1 , . . .

5. Sucesiones convergentes

42

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 verica 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 l m {x(n) } = l m {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)2n1 } 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: {xn } x {x2n } x y {x2n1 } x

De nuevo basta probar la implicacin hacia la izquierda. Dado > 0, tenemos m1 , m2 N tales que |x2k x| < para k m1 y |x2k1 x| < para k m2 . Tomando m = m ax{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

43

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 {xn } minorada R : n N 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 | Rpidamente relacionamos convergencia y acotacin: Toda sucesin convergente est acotada. La demostracin no es difcil. Si {xn } x, la denicin de convergencia nos proporciona un m N tal que |xn x| < 1 para n m. Tenemos por tanto: n m = |xn | = |xn x + x| |xn x| + |x| < 1 + |x| K n N

Por otra parte, el conjunto {|xn | : n m} es un subconjunto de R no vaco y nito, luego tendr un mximo, digamos A. Tenemos claramente |xn | 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.

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 efecto, basta usar la denicin de convergencia para ver que ambas armaciones se expresan exactamente de la misma forma. En el caso particular x = 0 tenemos:

5. Sucesiones convergentes

44

Para cualquier sucesin {xn }, se tiene: {xn } 0 {|xn |} 0. 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| |xn x| para todo n N. En general, el n recproco no es cierto: tomando xn = (1) 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 verica que l m {xn + yn } = l m {xn } + l m {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 = m ax {m1 , m2 }, para n m tenemos |(xn + yn ) (x + y)| |xn x| + |yn y| < + = 2 2

Para el producto tendremos un resultado anlogo, pero conviene probar antes lo siguiente: Si una sucesin {yn } est acotada y {zn } 0, entonces {yn zn } 0. En efecto, existe K R+ tal que |yn | m N de forma que |zn | < /K para n K para todo n N y, dado > 0, podemos encontrar m, luego para n m tenemos K |zn | < K = K

|yn zn | = |yn | |zn |

Por ejemplo, si {zn } 0, tendremos tambin {(1)n zn } 0, pues la sucesin {(1)n } est acotada. 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 verica que l m {xn yn } = l m {xn } l m {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 x)yn + x(yn y)} 0, es decir {xn yn xy} 0, de donde {xn yn } xy, como queramos. Para estudiar un cociente de dos sucesiones convergentes, bastar ver lo que ocurre al invertir los trminos de una sucesin convergente:

5. Sucesiones convergentes

45

Si xn R para todo n N y {xn } x R , entonces

1 xn

1 x

1 1 x xn = para todo n N, bastar ver que la sucesin {1/xn } est acotada. xn x xn x Ahora bien, tomando = |x|/2 > 0 encontramos m N tal que, |xn x| < |x|/2 para n m. Entonces, tambin para n m, tenemos Puesto que |xn | = |x (x xn )| |x| |x xn | > |x| |x| |x| = , 2 2 luego 1 xn 2 |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 armar 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 verica que: l m {yn /xn } = l m {yn }/ l m {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 l m {yn } < l m{xn }, entonces existe m N tal que yn < xn para n m. Para comprobarlo, sea y = l m {yn } < l m {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 = = x = x < xn yn < y + = y + 2 2 2 Si queremos que las desigualdades entre los trminos de las dos sucesiones se reejen en sus lmites, basta enunciar equivalentemente el ltimo resultado: Sean {xn } e {yn } sucesiones convergentes. Si el conjunto {n N : xn entonces: l m {xn } l m {yn }. yn } es innito,

En efecto, si fuese l m {yn } < l m {xn }, el resultado anterior nos dara un m N tal que yn < xn para n m, luego el conjunto {n N : xn yn } sera nito. Obviamente, si xn yn para todo n N, se tendr tambin l m {xn } l m {yn }. Conviene sin embargo resaltar que de la desigualdad estricta xn < yn , aunque sea vlida para todo n N, no podemos deducir l m {xn } < l m {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

46

Sea {xn } una sucesin convergente y , R. Si el conjunto {n N : xn } es innito, entonces l m {xn } . Si el conjunto {n N : xn } es innito, entonces l m {xn }. En particular, se tiene: nf {xn : n N} l m {xn } 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 yn 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 = l m {xn } = l m {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 yn zn < x + , luego |yn x| < como queramos. Obsrvese que el resultado anterior sigue siendo cierto si se supone solamente que la doble desigualdad xn yn zn se verica para todo n sucientemente grande. Sin embargo, para asegurar la convergencia de {yn }, no basta que el conjunto {n N : xn yn zn } sea innito. 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 clarica las nociones de supremo e nmo: 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 vericando que sup A 1 < xn n sup A

Formamos as una sucesin {xn } de elementos de A que evidentemente converge a sup A. Para el nmo de un conjunto minorado se razona de forma anloga. La relacin entre supremo y mximo, o entre nmo 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 nmo 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} deducimos claramente lo siguiente: x R

5. Sucesiones convergentes

47

Para todo x R, existen sucesiones {rn } y {sn } de nmeros racionales, tales que: rn < x < sn n N , x = l m{rn } = l m{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 verican 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 = , denir una sucesin {xn } de puntos del conjunto {, } tal que los conjuntos {n N : xn = } y {n N : xn = } sean innitos. 3. Dadas dos sucesiones {xn } e {yn } pongamos {yn } {xn } cuando {yn } sea una sucesin parcial de {xn }. Probar que la relacin es reexiva 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: (a) (1)n n n2 + 1 (b) 2n + 5(1)n n+1 (c) (1)n n 2 3n + 4 n3 + 1

7. Dado un conjunto D R, probar que D es denso en R si, y slo si, para cada x R existe una sucesin {dn } vericando que dn D para todo n N y {dn } x.