3.3. El lmite funcional. Discontinuidades AP93, p.

119
Hasta ahora slo hemos clasificado los elementos del dominio de una funcin atendiendo a si verifican
o no la propiedad de continuidad. Vamos a completar esta clasificacin introduciendo el concepto de
lmite de una funcin en un punto de la recta real. A diferencia de la continuidad, el lmite de una funcin
se puede estudiar en puntos que no pertenecen al dominio de la funcin, pero que si estn suficientemente
cerca del dominio. Para poder precisar que entenderemos por estar suficientemente cerca a un conjunto
de la recta real necesitamos dar la siguiente definicin. Sean A R y x0 R. Se dice que x0 es punto
de acumulacin de A si verifica algunas de las siguientes propiedades equivalentes:
ii) existe una (xn ) S(A {x0 }) tal que (xn ) x0
iii) para todo > 0 se verifica que (x0 , x0 + ) A {x0 } =
6 .
Notacin: A0 = {puntos de acumulacin de A}
Diremos que a A es un punto aislado de A si a
/ A0 o, equivalentemente:
- existe un > 0 tal que (x0 , x0 + ) A = {x0 }
Demostracion. AP93 p. 120
Ejemplos. i) La acumulacin de los intervalos no triviales de la recta real es fcil de determinar: basta
aadirle aquellos de sus extremos que no pertenecen al intervalo.


1
: n N , entonces A0 = {0}.
i) Si A =
n
ii) Si A = (0, 1) {2}, entonces A0 = [0, 1] y x0 = 2 es el nico punto aislado de A.
Los ejemplos anteriores ponen de manifiesto que para cualquier conjunto A R no tiene por que
darse ninguna de las inclusiones: A0 A A A0 .
Ya podemos dar el concepto de lmite de una funcin en un punto. Sean f F(A), x0 A0 y L R.
Se dice que f tiene lmite L en x0 si:
- para toda (xn ) S(A {x0 }) tal que xn x0 , se tiene f (xn ) L
Por la definicin dada, si existe el lmite de una funcin en un punto, es nico.
Si L = L = , diremos que f tiene lmite infinito en x0 .
Notacin: limxx0 f (x) = L
Esta definicin tiene sentido porque x0 A0 . Recordemos que un punto de acumulacin de A no
tiene porque pertenecer al conjunto A. Por tanto, a diferencia de lo que ocurra con la continuidad, puede
tener sentido hablar de la exitencia de lmite de una funcin en puntos donde la funcin no este definida.
Por otra parte, si x0 es un punto aislado del conjunto no tiene sentido hablar de lmite en el punto x0
para funciones definidas en A. Finalmente, notemos tambin que si x0 A A0 , el valor que tome una
funcin f F(A) en x0 no afecta para nada a la existencia del lmite de f en x0 , ni el valor de dicho
lmite en caso de que exista.
Vamos presentar una caracterizacin anloga a la de continuidad:
Caracterizacin del lmite funcional. Sea f F(A), x0 A0 , L R. Equivalen:
i) limxx0 f (x) = L
ii) para todo (xn ) S(A {x0 }) montona y convergente a x0 , (f (xn )) converge a L
iii) > 0

> 0 : x A, 0 < |x x0 | < |f (x) L| <

Demostracin. Casi literalmente la demostracin de la caracterizacin para continuidad. 2

1

El siguiente resultado expresa la relacin existente entre la continuidad y el lmite funcional.

Relacin entre continuidad y limite funcional. Sean f F(A) y x0 A A0 . Son equivalentes:
i) f es continua en x0
ii) limxx0 f (x) = f (x0 )
Si x0 es un punto aislado de A, entonces f siempre es continua en x0 .
Demostracin. AP93; p.124
Ser precisamente esta proposicin la que nos motivar las definiciones que clasifican los puntos de
no continuidad de A. Sean f F(A), x0 A A0 , L R. Se dice que f presenta una discontinuidad
evitable en x0 si f tiene lmite L en x0 , pero L 6= f (x0 ).
El nombre de discontinuidad evitable se justifica por el hecho de que si cambiamos el valor de la
funcin f en el punto x0 , dndole el valor L, obtenemos otra funcin que si es continua en x0 y que
coincide con f en A {x0 }.
Ejemplo. La funcion f F(R):

f (x) =

0 x 6= 0
1 x=0

tiene una discontinuidad evitable en x0 = 0, ya que:

limxx0 f (x) = 0 6= 1 = f (0)
Para seguir estudiando las discontinuidades necesitaremos definir los lmites laterales. Sabemos que
para comprobar la existencia del lmite de una funcin en un punto, basta considerar sucesiones montonas (ya sean sucesiones crecientes o sucesiones decrecientes). Cuando se consideran unas y otras por
separado se llega al concepto de lmite lateral.
Sea f F(A) y L R se dice que:
i) f tiene lmite por la derecha L si para toda (xn ) S(A {x0 }) tal que (xn ) x0 se verifica que
f (xn ) L
ii) f tiene lmite por la izquierda L si para toda (xn ) S(A {x0 }) tal que (xn ) x0 se verifica
que f (xn ) L
En i) suponemos que el conjunto de (xn ) S(A {x0 }) tales que (xn ) x0 es no vaco. Anlogo
comentario para ii).
Notacin: limxx+ f (x) = L y limxx f (x) = L
0

En la siguiente proposicin vamos a estudiar la relacin existente entre los conceptos de lmites laterales y lmite.
Proposicin. Sean f F(A) y x0 A0 . Sea L R:
i) si slo existen (xn ) S(A {x0 }) decrecientes tales que (xn ) x0 , entonces:
limxx0 f (x) = L limxx+ f (x) = L
0

ii) si slo existen (xn ) S(A {x0 }) crecientes tales que (xn ) x0 , entonces:
limxx0 f (x) = L limxx f (x) = L
0

iii) si existen (xn ) S(A {x0 }) tales que (xn ) x0 de los dos tipos de monotona, entonces:
limxx0 f (x) = L limxx+ f (x) = limxx f (x) = L
0

Demostracin. AP93 p.130

Sean f F(A). Si x0 A, se dice que f tiene salto finito en x0 si f tiene lmites laterales reales en
x0 , pero son distintos. Si x0 A0 , se dice que f tiene salto infinito en x0 si f tiene algn lmite lateral
infinito en x0 .
Ejemplo. La funcin parte entera tiene una discontinuidad de salto finito en todo punto de Z.
El concepto de sucesin divergente nos permite estudiar el comportamiento de una funcin cuando la
variable crece (resp. decrece) indefinidamente, es decir, cuando nos alejamos en la recta real por la derecha (resp. izquierda) indefinidamente. Por tanto, si A es el dominio de la funcin a estudiar la condicin
x0 A0 que apareca en la definicin de lmite se sustituye por la de A no acotado superiormente (resp.
no acotado inferiormente).
Sea f F(A) y L R:
i) si A no acotado superiormente, se dice que f tiene lmite L en + si para cada (xn ) S(A) tal
que (xn ) +, se tiene que (f (xn )) L
ii) si A no acotado inferiormente, se dice que f tiene lmite L en si para cada (xn ) S(A) tal
que (xn ) , se tiene que (f (xn )) L
Cada uno de dichos lmites, si existen, es nico, en cuyo caso se expresan limx+ f (x) = L (resp.
limx f (x) = L).
La condicin de que A sea no acotado superiormente es equivalente a que la de la existencia de
una sucesin de elementos de A que diverge positivamente. Por tanto, la definicin i) tendra sentido.
Anlogamente, se dira para la definicin ii).
Ejemplo. i) Si f F(R+ ) tal que f (x) = 1/x, entonces:
limx+ f (x) = 0
ya que para toda (xn ) S(R+ ) tal que (xn ) +, se tiene que ( x1n ) 0
ii) limx+ exp(x) = + ya que exp(x) > 1 + x si x > 0
iii) limx exp(x) = 0, usando ii) y la propiedad exp(x) =

1
para todo x R
exp(x)

iv) Para todo x R limx+ xn exp(x) = + para todo n N {0}. Esto es cierto por la
definicin de la funcin exp, para x > 0:
xn exp(x) > xn

xn+1
x
=
(n + 1)!
(n + 1)!

As dado > 0:
(n + 1)! < x < xn exp(x)