Tema

Sucesiones y funciones divergentes

Nuestro prximo objetivo es ampliar el estudio de los dos tipos de convergencia, o de las dos nociones de lmite, que hasta ahora conocemos: el lmite de una sucesin de nmeros reales y el lmite en un punto de una funcin real de variable real. Empezamos prestando atencin a determinadas sucesiones no acotadas de nmeros reales, que llamaremos sucesiones divergentes. Adaptaremos las reglas sobre clculo de lmites de sucesiones, para contemplar tambin la posibilidad de manejar sucesiones divergentes. Podremos entonces ampliar el conocimiento del lmite funcional en dos sentidos. Por una parte, analizaremos el tipo de comportamiento que puede tener una funcin cuando la variable crece o decrece indenidamente, mediante la nocin de lmites en el innito. Por otra, en claro paralelismo con las sucesiones divergentes, estudiaremos tambin la divergencia de funciones, explicando este nuevo tipo de comportamiento que una funcin puede presentar, tanto en un punto de la recta real como en el innito.

2.1.

Sucesiones divergentes

Hasta ahora, el estudio de las sucesiones de nmeros reales se ha reducido prcticamente a considerar sucesiones acotadas, que ciertamente son las ms tiles. Sin embargo, hay preguntas sobre sucesiones acotadas, o incluso sobre sucesiones convergentes, que no tienen an respuesta satisfactoria, precisamente porque no hemos prestado ms atencin a las sucesiones no acotadas. Para ver una pregunta concreta del tipo indicado, recordemos que si {xn } es una sucesin de nmeros reales no nulos tal que {xn } 0, entonces la sucesin {yn } = {1/xn } no est acotada, pero el recproco no es cierto. Por ejemplo, tomando yn = n + (1)n n + 1 n N , es decir, xn = 1 n N n + (1)n n + 1

tenemos claramente que la sucesin {yn } no est acotada, ya que {y2n } = {4n + 1}, pero {xn } no converge a cero, ya que x2n1 = 1 para todo n N. Es razonable por tanto la siguiente pregunta: qu condicin necesaria y suciente debe cumplir {yn } para tener {xn } 0? Pues bien, esta pregunta, y otras ms complicadas que podramos plantear, encontrarn una respuesta satisfactoria con el estudio de las sucesiones divergentes que ahora vamos a iniciar. 10

2. Sucesiones y funciones divergentes

11

Tomemos como gua la sucesin {n} de los nmeros naturales, la sucesin {n} de sus opuestos y la sucesin alternante {(1)n n}. Las tres son sucesiones no acotadas, pero muestran comportamientos especiales que ahora vamos a catalogar. Se dice que una sucesin {xn } de nmeros reales diverge positivamente, cuando para todo K R puede encontrarse m N tal que, para n m, se tiene xn > K. En tal caso, decimos tambin que {xn } tiende a + y escribimos {xn } +. Simblicamente: {xn } + K R m N : n m xn > K K} es nito.

Equivalentemente, {xn } + cuando para todo K R el conjunto {n N : xn

De forma anloga, decimos que la sucesin {xn } diverge negativamente, o que tiende a , y escribimos {xn } , cuando para todo K R existe m N tal que, para n m se tiene xn < K: {xn } K R m N : n m xn < K Equivalentemente, {xn } cuando para todo K R el conjunto {n N : xn K} es nito. Por ejemplo, es evidente que {n} + mientras que {n} . De hecho, para cualquier sucesin {xn } de nmeros reales, es claro que {xn } {xn } + Decimos nalmente que una sucesin {xn } es divergente cuando la sucesin {|xn |} diverge positivamente. Es claro que si {xn } + o {xn } , entonces {xn } es divergente, pero el recproco no es cierto. Por ejemplo la sucesin {xn } = {(1)n n} es divergente, puesto que {|xn |} = {n}, pero {xn } no diverge positivamente, porque el conjunto {n N : xn 0} es innito, y tampoco diverge negativamente, porque {n N : xn 0} tambin es innito. Merece la pena hacer un par de observaciones sobre las nociones recin introducidas, para aclarar su signicado y evitar malentendidos. En primer lugar, debe quedar claro una vez ms que + y son meros smbolos. Cuando escribimos {xn } + no estamos diciendo que la sucesin {xn } sea convergente (nada ms lejos de la realidad) ni que {xn } tenga lmite +. Las sucesiones convergentes siguen siendo las mismas que hasta ahora y el concepto de lmite de una sucesin tampoco debe cambiar. Por tanto, expresiones que a veces se usan, como decir que {xn } converge a +, o notaciones que a veces tambin se usan, como lm {xn } = + pueden crear confusin y deben evitarse, pues no aportan ninguna utilidad o comodidad. En segundo lugar, debe quedar claro que para una sucesin de nmeros reales, ser divergente no es lo contrario de ser convergente. Cierto que una sucesin divergente no es convergente, pero hay sucesiones que no son convergentes ni divergentes, como {(1)n }, sin ir ms lejos.

2.2.

Relacin con otros tipos de sucesiones

Vamos ahora a discutir brevemente la relacin entre las sucesiones divergentes y otros tipos de sucesiones manejadas anteriormente. Conviene empezar observando lo que ocurre con las sucesiones parciales de sucesiones divergentes:

2. Sucesiones y funciones divergentes

12

Sea {x(n) } una sucesin parcial de una sucesin de nmeros reales {xn }. Entonces: (i) {xn } + = {x(n) } + (ii) {xn } = {x(n) } (iii) Si {xn } es divergente, lo mismo le ocurre a {x(n) } La comprobacin de estos hechos es bastante inmediata. Si {xn } +, para todo K R existe m N tal que, para n m es xn > K. Entonces, tambin para n m, por ser (n) n m, tenemos x(n) > K. Para obtener (ii) basta aplicar (i) a la sucesin {xn }. Finalmente, si {xn } es divergente, tenemos {|xn |} + luego {|x(n) |} + y {x(n) } tambin es divergente. Como consecuencia de lo anterior, usando el Teorema de Bolzano-Weierstrass, obtenemos una caracterizacin de las sucesiones divergentes que explica por qu las llamamos as: Para una sucesin {xn } de nmeros reales, son equivalentes: (i) {xn } no es divergente (ii) {xn } admite una sucesin parcial acotada (iii) {xn } admite una sucesin parcial convergente (i) (ii). Si {xn } no es divergente, sabemos que {|xn |} no tiende a +, luego existe K R tal que el conjunto A = {n N : |xn | K} es innito. Por tanto existe una aplicacin estrictamente creciente : N A, con lo que {yn } = {x(n) } es una sucesin parcial de {xn } que est acotada, ya que |yn | K para todo n N. (ii) (iii). Si {yn } = {x(n) } est acotada, el Teorema de Bolzano-Weierstrass nos dice que {yn } admite a su vez una sucesin parcial {zn } = {y(n) } que es convergente. Pero {zn } tambin es una sucesin parcial de {xn }, ya que zn = y(n) = x((n)) = x(n) para todo n N y la aplicacin : N N es estrictamente creciente, por serlo y . (iii) (i). Hemos visto anteriormente que una sucesin parcial de una sucesin divergente tambin es divergente. As pues, una sucesin de nmeros reales es divergente si, y slo si, no admite ninguna sucesin parcial convergente. Pero completemos la relacin entre divergencia y acotacin. Es claro que una sucesin que diverge positivamente est minorada pero no mayorada. El recproco no es cierto, como muestra la sucesin {xn } dada por n 1 + (1)n n N xn = 4 Est minorada, ya que xn 0 para todo n N, y no est mayorada, porque x2n = n para todo n N, pero no es divergente, pues x2n1 = 0 para todo n N. Anlogamente, si una sucesin diverge negativamente, est mayorada pero no minorada y tampoco es cierto el recproco, basta pensar en la sucesin {xn } donde {xn } se dene como antes. Es claro que una sucesin divergente nunca est acotada, puede estar minorada, como le ocurre a {n}, mayorada como le ocurre a {n}, y puede no estar mayorada ni minorada, como le ocurre a la sucesin {(1)n n}. Completamos la discusin con un ejemplo de una sucesin que no est mayorada, tampoco est minorada, pero no es divergente. Basta considerar la sucesin {yn } denida por y3k2 = k , y3k1 = k , y3k = 0 para todo k N. Intuitivamente, se trata de la sucesin: 1 , 1 , 0 , 2 , 2 , 0 , 3 , 3 , 0 . . . La situacin se clarica enormemente si consideramos sucesiones montonas:

2. Sucesiones y funciones divergentes

13

Toda sucesin de nmeros reales creciente y no mayorada diverge positivamente. Toda sucesin decreciente y no minorada diverge negativamente. En efecto, si {xn } es creciente y no mayorada, dado K R, existe m N tal que xm > K, pero entonces, para n m tenemos xn xm > K, luego {xn } +. Si {xn } es decreciente y no minorada, entonces {xn } es creciente y no mayorada, luego {xn } + y {xn } . Queda claro por tanto que toda sucesin montona es convergente o divergente. La versin para series del ltimo resultado merece ser destacada: Toda serie de nmeros positivos es convergente o diverge positivamente.

2.3.

Sumas con sucesiones divergentes

En lo que sigue vamos a revisar las reglas de clculo de lmites, involucrando sucesiones divergentes. En primer lugar, anotemos criterios de comparacin bastante obvios: Sean {xn } e {yn } sucesiones de nmeros reales y supongamos que existe m N tal que, para todo n m, se tiene xn yn . Entonces: {xn } + = {yn } + ; {yn } = {xn }

Veamos ya lo que ocurre al sumar dos sucesiones convergentes o divergentes. Partimos claro est del hecho conocido de que si {xn } e {yn } son sucesiones convergentes, entonces {xn + yn } es convergente. Se trata de considerar las restantes posibilidades y todo se deducir de la siguiente observacin: Sean {xn } e {yn } sucesiones de nmeros reales. (i) Si {xn } + e {yn } est minorada, entonces {xn + yn } + (ii) Si {xn } e {yn } est mayorada, entonces {xn + yn } . La comprobacin es inmediata. En el caso (i), existe R tal que yn para todo n N y, dado K R, existir m N tal que, para n m, se tiene xn > K , luego xn + yn > K. Para (ii) basta aplicar (i) a las sucesiones {xn } y {yn }. Conviene observar que si la sucesin {yn } es convergente, podemos aplicar (i) y (ii). Por tanto, para cualquier sucesin convergente {yn }, tenemos que {xn + yn } + si {xn } + y que {xn + yn } si {xn } . Por otra parte, si {yn } + tambin podemos aplicar (i), luego si {xn } e {yn } divergen positivamente, lo mismo le ocurre a {xn + yn }. Anlogamente, si {yn } podemos aplicar (ii), obteniendo que {xn + yn } siempre que {xn } e {yn } . Cuando tenemos informacin menos precisa, el resultado anterior sigue siendo til. Ms concretamente, si {xn } es divergente e {yn } est acotada, entonces {xn + yn } es divergente. Basta observar que |xn + yn | |xn | |yn | para todo n N, luego como {|xn |} + y {|yn |} est acotada, deducimos que {|xn | |yn |} + y, por comparacin, {|xn + yn |} +.

2. Sucesiones y funciones divergentes

14

Hay una posibilidad que no est contemplada en la discusin anterior: nada hemos dicho sobre lo que ocurre con {xn + yn } cuando {xn } + e {yn } . Planteada de forma ms genrica, la pregunta sera si podemos armar algo sobre la suma de dos sucesiones divergentes. Vamos a ver que, en general, nada se puede armar, puede ocurrir de todo. De hecho, toda sucesin {zn } de nmeros reales puede escribirse en la forma {xn + yn } con {xn } + , {yn } . En efecto, para cada n N, tomamos xn = zn + |zn | + n y, lgicamente, yn = zn xn , con lo que tenemos xn n , yn = |zn | n n. Deducimos que {xn } + y que {yn } , como se quera. En particular, queda claro que toda sucesin de nmeros reales se expresa como suma de dos sucesiones divergentes. En una situacin como la anterior, se dice que tenemos una indeterminacin. En el caso que nos ocupa, decimos que la indeterminacin es del tipo [ ]. Se trata solo de una forma de hablar: cuando decimos que tenemos una indeterminacin del tipo [ ] solo estamos recordando que no existe (no puede existir) ningn resultado general que nos d informacin sobre la suma de una sucesin que diverge positivamente con otra que diverge negativamente. Por supuesto, ello no quiere decir que en cada caso concreto no podamos describir con toda precisin el comportamiento de tal sucesin. De hecho, ms adelante estudiaremos mtodos bastante generales para evitar, bajo ciertas hiptesis, esta y otras indeterminaciones.

2.4.

Productos y cocientes

Para poder discutir lo que ocurre con un producto de sucesiones, al menos una de las cuales es divergente, la observacin bsica es la siguiente: Sean {xn } e {yn } sucesiones de nmeros reales. Supongamos que {xn } + y que existen > 0 y p N tales que para n p se tiene yn > . Entonces {xn yn } + En efecto, dado K R+ , existe m N tal que, para n xn yn > K, lo que prueba que {xn yn } +. m, se tiene xn > K/ y, por tanto,

Las hiptesis del resultado anterior parecen muy restrictivas, pero es fcil aplicarlo para obtener interesantes consecuencias: (a) Si {xn } e {yn } son sucesiones divergentes, entonces {xn yn } tambin es divergente. En efecto, basta usar que {|xn |} + y que existe p N tal que |yn | > 1 para n p. (b) De hecho, aplicando el resultado anterior a {xn } o {xn }, as como a {yn } o {yn } segn convenga, obtenemos lo siguiente: Si {xn } e {yn } divergen ambas positivamente o ambas negativamente, entonces {xn yn } +, mientras que si una diverge positivamente y otra diverge negativamente, entonces {xn yn } . (c) Si {xn } es divergente e {yn } converge a un nmero real no nulo, {yn } R , entonces {xn yn } es divergente. En efecto, basta observar que tomando 0 < < ||, existir p N tal que para n p se tenga |yn | > . (d) Seguimos suponiendo que {yn } R . Usando otra vez las sucesiones {xn } y {yn } cuando convenga, tenemos: Si {xn } + y > 0 o {xn } y < 0, entonces {xn yn } +. Si {xn } + y < 0 o {xn } y > 0, entonces {xn yn } .

2. Sucesiones y funciones divergentes

15

Nada hemos dicho an sobre el producto de una sucesin divergente por una sucesin que converja a cero. Nada se puede armar, tenemos aqu la indeterminacin del tipo [ 0 ]. De nuevo vemos que toda sucesin {zn } se escribe en la forma {xn yn }, con {xn } + , {yn } 0. Basta tomar, para cada n N, xn = n(|zn | + 1) y, lgicamente, yn = zn /xn , con lo que se tiene claramente xn n , |yn | 1/n. As pues, {xn } + , {yn } 0, como queramos. Pasemos ahora a considerar el cociente de dos sucesiones. Discutido ya el comportamiento de un producto, basta pensar lo que ocurre con la sucesin {1/yn } donde {yn } es una sucesin convergente o divergente de nmeros reales no nulos. La observacin clave es la siguiente, que contesta una pregunta planteada como motivacin al principio del tema: Sea yn R para todo n N. Entonces {yn } 0 si, y slo si, {1/yn } es divergente. La demostracin de ambas implicaciones es inmediata. Si {yn } 0, dado K R+ podemos encontrar m N de forma que, para n m, se tenga |yn | < 1/K y, por tanto, |1/yn | > K, luego {|1/yn |} +. Recprocamente, dado > 0, la divergencia de {1/yn } nos proporciona un m N tal que, para n m, se tiene |1/yn | > 1/ , luego |yn | < . Naturalmente, dadas dos sucesiones convergentes o divergentes {xn } e {yn }, con yn = 0 para todo n N, para obtener informacin sobre la sucesin cociente {xn /yn } podemos verla como producto de {xn } con {1/yn }. Entonces podemos encontrarnos con la indeterminacin [ 0 ]. Ms concretamente, ello ocurre cuando {xn } e {yn } convergen a cero, y tambin cuando ambas son divergentes. Por ello se habla a veces de indeterminaciones del tipo [ 0 / 0 ] o [ / ]. No se trata en realidad de nuevos tipos de indeterminacin, solo son diferentes aspectos que puede tomar la indeterminacin [ 0 ].

2.5.

Lmites en el innito

Las sucesiones divergentes nos van a permitir ahora analizar el comportamiento de una funcin cuando la variable crece o decrece sin lmite, o dicho de forma ms intuitiva, cuando nos alejamos indenidamente sobre la recta real hacia la derecha o hacia la izquierda. Sea f : A R una funcin real de variable real y supongamos que el conjunto A no est mayorado, con lo cual existen sucesiones de puntos de A que divergen positivamente. Pues bien, decimos que f tiene lmite en + cuando existe L R con la siguiente propiedad: para toda sucesin {xn } de puntos de A que tienda a +, se tiene que { f (xn )} L. Naturalmente L es nico, le llamamos lmite en + de la funcin f y escribimos L = lm f (x). Simblicamente:
x+ x+

lm f (x) = L

xn A n N , {xn } + { f (xn )} L

Ntese que en la denicin anterior podemos tomar A = N, un conjunto no mayorado, y entonces f es una sucesin de nmeros reales. Podemos comprobar sin dicultad que la nocin recin introducida de lmite en + para la funcin f coincide con la nocin de lmite de la sucesin { f (n)}. Ms concretamente, para cualquier funcin f : N R y L R se tiene:
x+

lm f (x) = L { f (n)} L

2. Sucesiones y funciones divergentes

16

La implicacin hacia la derecha es evidente, puesto que {n} es un sucesin de puntos de N que diverge positivamente. Recprocamente, supongamos que { f (n)} L y sea {xn } una sucesin de puntos de N que diverge positivamente. Dado > 0 existe p N tal que, para k N con k p se tiene | f (k) L| < . Por ser {xn } +, existe m N tal que para n m se tiene xn > p y por tanto | f (xn ) L| < . Queda claro que la nocin de lmite en el innito de una funcin generaliza ampliamente la nocin de lmite de una sucesin de nmeros reales. La nocin de lmite en se dene de forma enteramente anloga al caso de +: si A es un conjunto no minorado de nmeros reales, se dice que una funcin f : A R tiene lmite en cuando existe L R tal que { f (xn )} L para toda sucesin {xn } de puntos de A que diverja negativamente. Entonces L es nico, le llamamos lmite en de la funcin f y escribimos L = lm f (x). As pues,
x x

lm f (x) = L

xn A n N , {xn } { f (xn )} L

Las nociones de lmite en el innito se transforman una en otra fcilmente: Sea A un conjunto de nmeros reales no minorado y f : A R una funcin. Consideremos el conjunto no mayorado B = {x : x A} y la funcin g : B R dada por g(x) = f (x), para todo x B. Entonces, para cualquier L R se tiene
x

lm f (x) = L

x+

lm g(x) = L

Para comprobar esta equivalencia, basta observar que las sucesiones de puntos de A que divergen negativamente son exactamente las sucesiones de la forma {xn } donde {xn } es una sucesin de puntos de B que diverge positivamente, y decir que { f (xn )} L es tanto como decir que {g(xn )} L. Obsrvese que, teniendo en cuenta la denicin de g, la equivalencia probada puede escribirse de forma intuitivamente muy clara: lm f (x) = L lm f (x) = L.
x x+

En realidad el lmite en + de una funcin, y por tanto tambin el lmite en , pueden reducirse al estudio del lmite ordinario en 0 de otra funcin. Los detalles son como sigue: Sea A R un conjunto no mayorado y f : A R una funcin. Consideremos el conjunto B = {1/x : x A R+ } y la funcin h : B R denida por h(x) = f (1/x) para todo x B. Entonces 0 B y para L R se tiene
x+

lm f (x) = L lm h(x) = L
x0

La demostracin no ofrece dicultad. Tomamos una sucesin {xn } de puntos de A que diverja positivamente y m N de forma que para n m se tenga xn = 0. Entonces {yn } = {1/xm+n } es una sucesin de puntos de B que converge a cero. Esto prueba que 0 B , pero adems, suponiendo que lm h(x) = L, tendremos {h(yn )} L, es decir, { f (xm+n )} L, con lo que
x0

{ f (xn )} L y hemos probado que lm f (x) = L. Finalmente, para la implicacin hacia la

x+

derecha, si {yn } 0 con yn B para todo n N, es claro que {1/yn } + con 1/yn A para todo n N, luego { f (1/yn )} L es decir, {h(yn )} L.

2. Sucesiones y funciones divergentes

17

Ntese que la forma de denir el conjunto B, ms concretamente el hecho de que B R+ , ha jugado un papel clave en la demostracin anterior. Si queremos escribir la equivalencia recin probada omitiendo la funcin h para que slo aparezca f , debemos hacerlo como sigue
x+

lm f (x) = L

x0+

lm f (1/x) = L

En cierto modo, el lmite en + debe entenderse como un lmite lateral. Queda claro en cualquier caso que los resultados sobre el lmite de una funcin en un punto pueden aplicarse a los lmites en el innito, prestando atencin al cambio de funcin requerido. Por ejemplo, usando esta idea, junto con la caracterizacin ( ) del lmite en un punto, se consigue una caracterizacin anloga para el lmite en el innito. El enunciado es el que sigue y se puede probar tambin usando directamente la denicin de lmite en + . Sea A un conjunto no mayorado de nmeros reales, f : A R una funcin y L R. Las siguientes armaciones son equivalentes: (i) lm f (x) = L
x+

(ii) Si {xn } es una sucesin creciente y no mayorada de elementos de A, entonces { f (xn )} L (iii) > 0 K R : x A , x > K | f (x) L| < Veamos nalmente cmo el carcter local del lmite de una funcin tiene tambin su versin para lmites en el innito. La demostracin del siguiente hecho es inmediata: Sea A R un conjunto no mayorado y f : A R una funcin. Sea > 0 arbitrario y consideremos el conjunto B = {x A : x > }. Entonces, para cualquier L R se tiene
x+

lm f (x) = L

x+

lm f |B (x) = L

2.6.

Funciones divergentes en un punto

Del mismo modo que hemos estudiado las sucesiones divergentes, podemos ahora analizar la divergencia para funciones reales de variable real. Haremos primero este anlisis en un punto de la recta real, para pasar despus al caso de + o . Diremos que una funcin f : A R diverge positivamente en un punto A cuando, para toda sucesin {xn } de puntos de A distintos de , con {xn } , se tenga que { f (xn )} +. Podemos decir tambin que f tiende a + en el punto y escribimos: f (x) + (x ). Diremos que f diverge negativamente en el punto , o que f tiende a en , cuando la funcin f diverja positivamente en , en cuyo caso escribimos: f (x) (x ). Finalmente, diremos que f diverge en el punto cuando la funcin | f | diverja positivamente en , en cuyo caso escribimos lgicamente | f (x)| + (x ). Cabe hacer aqu comentarios similares a los que hicimos para sucesiones, la divergencia de una funcin en un punto es incompatible con la existencia de lmite en dicho punto. No se debe decir que una funcin tiene lmite + en un punto, ni usar notaciones como lm f (x) = +.
x

2. Sucesiones y funciones divergentes

18

La divergencia, de cualquier tipo, de una funcin en un punto, admite dos reformulaciones equivalentes, en clara analoga con la caracterizacin ( ) del lmite funcional. Damos el enunciado para la divergencia positiva, a la que se reducen las otras dos. La demostracin a estas alturas debera ser un ejercicio bien sencillo. Sea f : A R una funcin real de variable real y A . Las siguientes armaciones son equivalentes: (i) f (x) + (x ) (ii) Si {xn } es una sucesin montona de puntos de A distintos de , con {xn } , entonces { f (xn )} + (iii) K R > 0 : x A , 0 < |x | < f (x) > K Finalmente, tambin es claro que cualquier tipo de divergencia de una funcin en un punto es una propiedad local. Para una funcin f : A R y A , podemos jar r > 0 arbitrario y considerar el conjunto B = {x A : |x | < r}. Entonces f diverge positivamente, diverge negativamente o simplemente diverge en el punto si, y slo si, lo mismo le ocurre a f |B .

2.7.

Divergencia lateral

En paralelismo con las nociones de lmite lateral podemos considerar la posibilidad de que una funcin diverja al aproximarnos a un punto de la recta real, por la izquierda o por la derecha. De nuevo las deniciones se adivinan fcilmente. Sea f : A R una funcin real de variable real, sea R y consideremos los conjuntos denidos por A = {x A : x < } , A+ = {x A : x > }. Suponiendo (A ) , diremos que f diverge positivamente por la izquierda en el punto cuando para toda sucesin {xn } de puntos de A vericando que xn < para todo n N y {xn } , se tenga que { f (xn )} +. En tal caso decimos tambin que f tiende a + por la izquierda en el punto y escribimos f (x) + (x ). Se comprueba fcilmente que la denicin anterior no cambia si se exige que la sucesin {xn } sea creciente, as como la siguiente caracterizacin: f (x) + (x +) K R > 0 : x A , < < f (x) > K

Cuando f (x) + (x ) decimos que f diverge negativamente por la izquierda en el punto o tiende a por la izquierda en el punto y escribimos f (x) (x ). Finalmente, si | f (x)| + (x ) decimos que f diverge por la izquierda en el punto . Suponiendo que (A+ ) , podemos denir anlogamente las tres nociones de divergencia por la derecha de la funcin f en el punto . Para ello se usan lgicamente sucesiones {xn } de puntos de A+ que converjan a o, si se quiere, slo sucesiones decrecientes. Como ocurra con los lmites laterales, cada tipo de divergencia lateral de una funcin f : A R en un punto A , equivale a la divergencia (ordinaria) en , del mismo tipo, para una conveniente restriccin de la funcin, concretamente la restriccin a A cuando estamos trabajando con divergencias por la izquierda o a A+ cuando trabajamos por la derecha.

2. Sucesiones y funciones divergentes

19

Finalmente, la relacin entre divergencia en un punto y divergencia lateral para la misma funcin, sigue un esquema anlogo al que vimos en su momento para la relacin entre lmite ordinario y lmites laterales. Lo enunciamos con detalle para la divergencia positiva y omitimos la demostracin, que no encierra dicultad alguna. Sean f : A R y A . (a) Si (A ) pero (A+ ) , entonces / f (x) + (x ) f (x) + (x ) (b) Si (A+ ) pero (A ) , entonces / f (x) + (x ) f (x) + (x +) (c) Finalmente, si (A+ ) (A+ ) , entonces f (x) + (x ) f (x) + (x ) y f (x) + (x +)

Naturalmente, podemos sustituir + por en todas la armaciones anteriores, obteniendo la relacin entre divergencia negativa ordinaria y las laterales que tengan sentido, pero es tanto como aplicar el resultado anterior a la funcin f . Igualmente aplicando el ltimo resultado a la funcin | f | relacionamos la divergencia de f con las laterales. Merece la pena comentar que en el caso ms interesante, (A+ ) (A+ ) , puede ocurrir que que f (x) + (x ) y f (x) (x +). Entonces f diverge en el punto , es decir, | f (x)| + (x ), pero f no diverge positivamente ni negativamente en el punto . Para ver un ejemplo concreto, consideremos la funcin f : R R denida por f (x) = 1/x para todo x R . Observamos claramente que 1/x + (x 0+) y 1/x (x 0), as que f diverge en el origen pero no lo hace ni positiva ni negativamente.

2.8.

Divergencia en el innito

Para completar todo el esquema que hemos venido desarrollando, discutimos brevemente la divergencia de una funcin en + o en . Si A R no est mayorado, una funcin f : A R diverge positivamente en + cuando, para toda sucesin {xn } de puntos de A que tienda a +, se tiene tambin que { f (xn )} +. En tal caso escribimos f (x) + (x +). Si f diverge positivamente en + decimos que f diverge negativamente en + y escribimos f (x) (x +). Finalmente, cuando | f (x)| + (x +) decimos que f diverge en +. La divergencia en se dene anlogamente. Para un conjunto no minorado A R, una funcin f : A R diverge positivamente en cuando, para toda sucesin {xn } de puntos de A que tienda a , se tiene que { f (xn )} +, y escribimos f (x) + (x ). Si f diverge positivamente en decimos que f diverge negativamente en y escribimos f (x) (x ). Finalmente, cuando | f (x)| + (x +) decimos que f diverge en +.

2. Sucesiones y funciones divergentes

20

Como ocurra con los lmites en el innito, la divergencia en se reduce a la divergencia en + mediante el apropiado cambio de funcin. Sea A R un conjunto no minorado y f : A R una funcin. Consideremos el conjunto no mayorado B = {x : x A} y la funcin g : B R denida por g(x) = f (x) para todo x B. Entonces, cada tipo de divergencia de f en equivale al mismo tipo de divergencia de g en +. El resultado anterior puede expresarse de la siguiente forma, que resulta ms intuitiva: f (x) + (x ) f (x) + (x +) f (x) (x ) f (x) (x +) | f (x)| + (x ) | f (x)| + (x +) La divergencia en +, y por tanto tambin en , puede reducirse a la divergencia en un punto de la recta real: Sea A R un conjunto no mayorado y f : A R una funcin. Consideremos el conjunto B = {1/x : x A R+ }, que verica 0 B , y sea g : B R la funcin denida por g(x) = f (1/x) para todo x B. Entonces, cada tipo de divergencia de f en + equivale al mismo tipo de divergencia de g en 0. De forma ms intuitiva, pero sin olvidar que la inclusin B R+ juega un papel esencial, podemos escribir f (x) + (x +) f (1/x) + (x 0+) f (x) (x +) f (1/x) (x 0+) | f (x)| + (x +) | f (1/x)| + (x 0+) De cualquier forma que se exprese, queda claro que la divergencia de una funcin en + o en puede verse como la divergencia en 0 de otra funcin. Esta idea puede usarse por ejemplo, para obtener caracterizaciones de la divergencia en + o en mediante sucesiones montonas, o sin usar sucesiones. Enunciamos una caracterizacin de este tipo que tambin puede probarse directamente: Sea A R un conjunto no mayorado y f : A R una funcin. Las siguientes armaciones son equivalentes: (i) f (x) + (x +) (ii) Para toda sucesin creciente y no mayorada {xn } de puntos de A, se tiene que { f (xn } + (iii) K R M R : x A , x > M f (x) > K En general, toda la discusin desarrollada en este tema adolece claramente de una ausencia de ejemplos ilustrativos de las diferentes situaciones que se han ido analizando. El prximo tema se dedica especcamente a rellenar esa laguna.