Tema 2

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 {x
n
} es una sucesin de
nmeros reales no nulos tal que {x
n
} 0, entonces la sucesin {y
n
} ={1/x
n
} no est acotada,
pero el recproco no es cierto. Por ejemplo, tomando
y
n
= n+(1)
n
n+1 n N, es decir, x
n
=
1
n+(1)
n
n+1
n N
tenemos claramente que la sucesin {y
n
} no est acotada, ya que {y
2n
} = {4n+1}, pero {x
n
}
no converge a cero, ya que x
2n1
= 1 para todo n N. Es razonable por tanto la siguiente
pregunta: qu condicin necesaria y suciente debe cumplir {y
n
} para tener {x
n
} 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 {x
n
} de nmeros reales diverge positivamente, cuando para todo
K R puede encontrarse m N tal que, para n m, se tiene x
n
> K. En tal caso, decimos
tambin que {x
n
} tiende a + y escribimos {x
n
} +. Simblicamente:
{x
n
} +

K R m N : n m x
n
> K

Equivalentemente, {x
n
} + cuando para todo K R el conjunto {n N : x
n
K} es nito.
De forma anloga, decimos que la sucesin {x
n
} diverge negativamente, o que tiende a ,
y escribimos {x
n
} , cuando para todo K R existe m N tal que, para n m se tiene
x
n
< K:
{x
n
}

K R m N : n m x
n
< K

Equivalentemente, {x
n
} cuando para todo K R el conjunto {n N : x
n
K} es nito.
Por ejemplo, es evidente que {n} +mientras que {n} . De hecho, para cualquier
sucesin {x
n
} de nmeros reales, es claro que
{x
n
} {x
n
} +
Decimos nalmente que una sucesin {x
n
} es divergente cuando la sucesin {|x
n
|} diverge
positivamente. Es claro que si {x
n
} + o {x
n
} , entonces {x
n
} es divergente, pero
el recproco no es cierto. Por ejemplo la sucesin {x
n
} = {(1)
n
n} es divergente, puesto que
{|x
n
|} = {n}, pero {x
n
} no diverge positivamente, porque el conjunto {n N : x
n
0} es
innito, y tampoco diverge negativamente, porque {n N : x
n
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 {x
n
} + no estamos diciendo que la sucesin {x
n
} sea convergente (nada ms
lejos de la realidad) ni que {x
n
} 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 {x
n
} converge a +, o notaciones que a
veces tambin se usan, como lm{x
n
} = + 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 {x
n
}. Entonces:
(i) {x
n
} + = {x
(n)
} +
(ii) {x
n
} = {x
(n)
}
(iii) Si {x
n
} es divergente, lo mismo le ocurre a {x
(n)
}
La comprobacin de estos hechos es bastante inmediata. Si {x
n
} +, para todo K R existe
m N tal que, para n m es x
n
> K. Entonces, tambin para n m, por ser (n) n m,
tenemos x
(n)
> K. Para obtener (ii) basta aplicar (i) a la sucesin {x
n
}. Finalmente, si {x
n
}
es divergente, tenemos {|x
n
|} + 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 {x
n
} de nmeros reales, son equivalentes:
(i) {x
n
} no es divergente
(ii) {x
n
} admite una sucesin parcial acotada
(iii) {x
n
} admite una sucesin parcial convergente
(i) (ii). Si {x
n
} no es divergente, sabemos que {|x
n
|} no tiende a +, luego existe K R tal
que el conjunto A ={n N : |x
n
| K} es innito. Por tanto existe una aplicacin estrictamente
creciente : NA, con lo que {y
n
} ={x
(n)
} es una sucesin parcial de {x
n
} que est acotada,
ya que |y
n
| K para todo n N.
(ii) (iii). Si {y
n
} = {x
(n)
} est acotada, el Teorema de Bolzano-Weierstrass nos dice que
{y
n
} admite a su vez una sucesin parcial {z
n
} ={y
(n)
} que es convergente. Pero {z
n
} tambin
es una sucesin parcial de {x
n
}, ya que z
n
= 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 {x
n
} dada por
x
n
=
n
4

1+(1)
n

n N
Est minorada, ya que x
n
0 para todo n N, y no est mayorada, porque x
2n
= n para todo
n N, pero no es divergente, pues x
2n1
= 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 {x
n
} donde {x
n
} 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
{y
n
} denida por y
3k2
= k, y
3k1
=k, y
3k
= 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 {x
n
} es creciente y no mayorada, dado K R, existe m N tal que x
m
> K, pero
entonces, para n m tenemos x
n
x
m
> K, luego {x
n
} +. Si {x
n
} es decreciente y no
minorada, entonces {x
n
} es creciente y no mayorada, luego {x
n
} + y {x
n
} .
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 {x
n
} e {y
n
} sucesiones de nmeros reales y supongamos que existe m N tal que,
para todo n m, se tiene x
n
y
n
. Entonces:
{x
n
} + = {y
n
} + ; {y
n
} = {x
n
}
Veamos ya lo que ocurre al sumar dos sucesiones convergentes o divergentes. Partimos
claro est del hecho conocido de que si {x
n
} e {y
n
} son sucesiones convergentes, entonces
{x
n
+y
n
} es convergente. Se trata de considerar las restantes posibilidades y todo se deducir
de la siguiente observacin:
Sean {x
n
} e {y
n
} sucesiones de nmeros reales.
(i) Si {x
n
} + e {y
n
} est minorada, entonces {x
n
+y
n
} +
(ii) Si {x
n
} e {y
n
} est mayorada, entonces {x
n
+y
n
} .
La comprobacin es inmediata. En el caso (i), existe R tal que y
n
para todo n N y,
dado K R, existir m N tal que, para n m, se tiene x
n
> K , luego x
n
+y
n
> K. Para
(ii) basta aplicar (i) a las sucesiones {x
n
} y {y
n
}.
Conviene observar que si la sucesin {y
n
} es convergente, podemos aplicar (i) y (ii). Por
tanto, para cualquier sucesin convergente {y
n
}, tenemos que {x
n
+y
n
} + si {x
n
} +
y que {x
n
+y
n
} si {x
n
} .
Por otra parte, si {y
n
} + tambin podemos aplicar (i), luego si {x
n
} e {y
n
} divergen
positivamente, lo mismo le ocurre a {x
n
+y
n
}. Anlogamente, si {y
n
} podemos aplicar
(ii), obteniendo que {x
n
+y
n
} siempre que {x
n
} e {y
n
} .
Cuando tenemos informacin menos precisa, el resultado anterior sigue siendo til. Ms
concretamente, si {x
n
} es divergente e {y
n
} est acotada, entonces {x
n
+y
n
} es divergente.
Basta observar que |x
n
+y
n
| |x
n
| |y
n
| para todo n N, luego como {|x
n
|} + y {|y
n
|}
est acotada, deducimos que {|x
n
| |y
n
|} + y, por comparacin, {|x
n
+y
n
|} +.
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 {x
n
+y
n
} cuando {x
n
} + e {y
n
} . 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 {z
n
} de nmeros reales puede escribirse en la forma {x
n
+y
n
}
con {x
n
} +, {y
n
} . En efecto, para cada n N, tomamos x
n
= z
n
+|z
n
| +n y,
lgicamente, y
n
= z
n
x
n
, con lo que tenemos x
n
n, y
n
= |z
n
| n n. Deducimos que
{x
n
} + y que {y
n
} , 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 {x
n
} e {y
n
} sucesiones de nmeros reales. Supongamos que {x
n
} + y que
existen > 0 y p N tales que para n p se tiene y
n
> . Entonces {x
n
y
n
} +
En efecto, dado K R
+
, existe m N tal que, para n m, se tiene x
n
> K/ y, por tanto,
x
n
y
n
> K, lo que prueba que {x
n
y
n
} +.
Las hiptesis del resultado anterior parecen muy restrictivas, pero es fcil aplicarlo para
obtener interesantes consecuencias:
(a) Si {x
n
} e {y
n
} son sucesiones divergentes, entonces {x
n
y
n
} tambin es divergente. En
efecto, basta usar que {|x
n
|} + y que existe p N tal que |y
n
| > 1 para n p.
(b) De hecho, aplicando el resultado anterior a {x
n
} o {x
n
}, as como a {y
n
} o {y
n
} segn
convenga, obtenemos lo siguiente: Si {x
n
} e {y
n
} divergen ambas positivamente o ambas
negativamente, entonces {x
n
y
n
} +, mientras que si una diverge positivamente y otra
diverge negativamente, entonces {x
n
y
n
} .
(c) Si {x
n
} es divergente e {y
n
} converge a un nmero real no nulo, {y
n
} R

, entonces
{x
n
y
n
} es divergente. En efecto, basta observar que tomando 0 < < ||, existir p N
tal que para n p se tenga |y
n
| > .
(d) Seguimos suponiendo que {y
n
} R

. Usando otra vez las sucesiones {x

n
} y {y
n
}
cuando convenga, tenemos: Si {x
n
} + y > 0 o {x
n
} y < 0, entonces
{x
n
y
n
} +. Si {x
n
} + y < 0 o {x
n
} y > 0, entonces {x
n
y
n
} .
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 {z
n
} se escribe en la forma {x
n
y
n
}, con {x
n
} +, {y
n
} 0.
Basta tomar, para cada n N, x
n
= n(|z
n
| +1) y, lgicamente, y
n
= z
n
/x
n
, con lo que se tiene
claramente x
n
n, |y
n
| 1/n. As pues, {x
n
} +, {y
n
} 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/y
n
} donde {y
n
} 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 y
n
R

para todo n N. Entonces {y

n
} 0 si, y slo si, {1/y
n
} es divergente.
La demostracin de ambas implicaciones es inmediata. Si {y
n
} 0, dado K R
+
podemos
encontrar m N de forma que, para n m, se tenga |y
n
| < 1/K y, por tanto, |1/y
n
| > K, luego
{|1/y
n
|} +. Recprocamente, dado > 0, la divergencia de {1/y
n
} nos proporciona un
m N tal que, para n m, se tiene |1/y
n
| > 1/, luego |y
n
| < .
Naturalmente, dadas dos sucesiones convergentes o divergentes {x
n
} e {y
n
}, con y
n
=0 para
todo n N, para obtener informacin sobre la sucesin cociente {x
n
/y
n
} podemos verla como
producto de {x
n
} con {1/y
n
}. Entonces podemos encontrarnos con la indeterminacin [ 0 ].
Ms concretamente, ello ocurre cuando {x
n
} e {y
n
} 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 {x
n
} de puntos de A que tienda a +, se tiene que { f (x
n
)} L. Naturalmente L es
nico, le llamamos lmite en + de la funcin f y escribimos L = lm
x+
f (x). Simblicamente:
lm
x+
f (x) = L

x
n
A n N, {x
n
} + { f (x
n
)} 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:
lm
x+
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 {x
n
} 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 {x
n
} +, existe m N tal que para n m se tiene
x
n
> p y por tanto | f (x
n
) 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 (x
n
)} L para toda sucesin {x
n
} de puntos de A que diverja
negativamente. Entonces L es nico, le llamamos lmite en de la funcin f y escribimos
L = lm
x
f (x). As pues,
lm
x
f (x) = L

x
n
A n N, {x
n
} { f (x
n
)} 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 : ARuna funcin. Consideremos
el conjunto no mayorado B={x : x A} y la funcin g : BRdada por g(x) = f (x),
para todo x B. Entonces, para cualquier L R se tiene
lm
x
f (x) = L lm
x+
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 {x
n
} donde {x
n
} es una sucesin
de puntos de B que diverge positivamente, y decir que { f (x
n
)} L es tanto como decir que
{g(x
n
)} L. Obsrvese que, teniendo en cuenta la denicin de g, la equivalencia probada
puede escribirse de forma intuitivamente muy clara: lm
x
f (x) = L lm
x+
f (x) = L.
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 AR
+
} 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
lm
x+
f (x) = L lm
x0
h(x) = L
La demostracin no ofrece dicultad. Tomamos una sucesin {x
n
} de puntos de A que diverja
positivamente y m N de forma que para n m se tenga x
n
= 0. Entonces {y
n
} = {1/x
m+n
}
es una sucesin de puntos de B que converge a cero. Esto prueba que 0 B

, pero adems,
suponiendo que lm
x0
h(x) = L, tendremos {h(y
n
)} L, es decir, {f (x
m+n
)} L, con lo que
{f (x
n
)} L y hemos probado que lm
x+
f (x) = L. Finalmente, para la implicacin hacia la
derecha, si {y
n
} 0 con y
n
B para todo n N, es claro que {1/y
n
} + con 1/y
n
A para
todo n N, luego { f (1/y
n
)} L es decir, {h(y
n
)} L.
2. Sucesiones y funciones divergentes 17
Ntese que la forma de denir el conjunto B, ms concretamente el hecho de que BR
+
, 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
lm
x+
f (x) = L lm
x0+
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
x+
f (x) = L
(ii) Si {x
n
} es una sucesin creciente y no mayorada de elementos de A, entonces
{f (x
n
)} 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
lm
x+
f (x) = L lm
x+
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 {x
n
} de puntos de A distintos de , con {x
n
} , se tenga que { f (x
n
)} +.
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
x
f (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 {x
n
} es una sucesin montona de puntos de A distintos de , con {x
n
} ,
entonces { f (x
n
)} +
(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 {x
n
} de
puntos de A vericando que x
n
< para todo n N y {x
n
} , se tenga que {f (x
n
)} +.
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 {x
n
} 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 {x
n
} 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 {x
n
} de puntos de A que tienda a +, se tiene tambin que { f (x
n
)} +.
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 {x
n
} de puntos
de A que tienda a , se tiene que { f (x
n
)} +, 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 AR
+
}, 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 ARun conjunto no mayorado y f : ARuna funcin. Las siguientes armaciones
son equivalentes:
(i) f (x) + (x +)
(ii) Para toda sucesin creciente y no mayorada {x
n
} de puntos de A, se tiene que
{ f (x
n
} +
(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.