Continuidad de una funcin en un punto

Antes de definir formalmente la continuidad de una funcin en un punto, veremos el

comportamiento de algunas funciones para diferentes valores de la variable
independiente (valores de x), para formarnos una idea de lo que puede pasar en
ciertos casos. Para ello utilizaremos todos los conceptos vistos previamente, como por
ejemplo: dominio de una funcin, puntos de acumulacin de un conjunto (en este caso
del dominio) y lmites.

Para comenzar analizaremos la funcin f ( x ) = x + 1 , cuyo dominio es Df = y su

grfico es el mostrado a continuacin.

Se observa que no existe ningn problema para trazar el grfico de la funcin, en

ningn punto x0 sucede que lim f ( x ) = lim f ( x ) = , y tampoco se observan
x x0 x x0
saltos entre lmites laterales en ningn punto del dominio. Diremos que la funcin es
continua x 0 , y por lo tanto continua x 0 Df.

x2 1
Qu sucede con la funcin g ( x ) = ?
x1
El dominio de esta funcin es Dg = - {1}.

La situacin no es igual a la anterior a pesar de que los grficos se parezcan! Para x =1

la funcin no est definida, y aparece un problema: para x =1 la funcin es
discontinua. El punto x=1 no pertenece al dominio, pero es un punto de acumulacin del
mismo y nos interesa el comportamiento de la funcin para valores de x cercanos a l.

x2 1
si x 1
Qu sucede con la funcin h( x) = x 1 ?
3 si x = 1

El dominio de esta funcin es Dh = , sin embargo tambin se observa en el grfico un
problema para x =1, es decir, que a pesar de que su dominio son todos los reales, hay
un valor de x donde la funcin es discontinua.

x x si x 0
En los siguientes grficos se observan las funciones i ( x ) = , j( x) = y
x x 1 si x < 0
1
k ( x) = .
x1

y y
i(x) j(x)

x x

y
k(x)

x
En los tres casos, existe algn punto del dominio o algn punto de acumulacin del
dominio donde no existe el lmite. En algn caso ser porque a pesar de que existen los
lmites laterales, ellos son diferentes y en otro caso porque el lmite es un lmite infinito.

Por medio de ejemplos, vimos diferentes problemas que se pueden presentar en

puntos de acumulacin del dominio:

- Caso g(x): lim g ( x ) pero / g(1) . Discontinua en x = 1

x1
- Caso h(x): lim h( x) , h(1) , pero lim h( x ) h(1) . Discontinua en x = 1
x 1 x1
- Caso i(x): / lim i ( x ) porque lim i ( x ) lim i ( x ) . Adems / i(0) . Discontinua
x 0 x 0 x 0+
en x=0.
- Caso j(x): / lim j ( x ) porque lim j ( x ) lim j ( x ) , a pesar de que j(0) .
x 0 x 0 x 0+
Discontinua en x=0.
- Caso k(x): / lim k ( x ) porque lim k ( x ) = y lim k ( x ) = . Tampoco la
x1 x1 x1+
funcin est definida en x=1. Discontinua en x=1.

Entonces, por qu una funcin f(x) puede ser discontinua en un punto x=x0? Puede
suceder que:
- / f ( x0 ) ,
- / lim f ( x ) , o
x x0
- f ( x0 ) y lim f ( x ) , pero f ( x0 ) lim f ( x)
x x0 x x0

A continuacin la definicin de funcin continua en un punto.

Una funcin f es continua en x = x0 sii:

a) f ( x0 )
b) lim f ( x )
x x0
c) f ( x0 ) = lim f ( x)
x x0

Conociendo la definicin de continuidad de una funcin en un punto, analicemos si la

funcin f ( x) = x + 1 es continua x 0 . Se cumplirn las tres condiciones
enumeradas anteriormente?

- Se cumple a) porque al ser una funcin lineal, la misma est definida x 0 .

- Se cumple b) porque lim ( x + 1) x 0
x x0
- Se cumple c) porque lim f ( x ) = lim ( x + 1) = x0 + 1 = f ( x0 ) x 0
x x0 x x0
Por lo tanto, la funcin f ( x) = x + 1 ES CONTINUA x 0

Se puede demostrar, de una manera similar, que las funciones polinmicas, la funcin
seno, la funcin coseno, y la funcin exponencial son continuas x 0 .
 TEOREMA:

Si f y g son funciones continuas en x = x0, entonces tambin son continuas en

x=x0:
a) f + g
b) f g
c) f . g
d) f/g si g(x0)0

Demostraremos solamente el inciso a):

Tenemos que demostrar que la funcin suma evaluada en x=x0 es igual al lmite de la
suma de las funciones cuando x tiende a x0, es decir, hay que demostrar:
(f + g )( x0 ) = lim ( f ( x) + g ( x ))
x x0

Por propiedad de lmite: lim ( f ( x ) + g ( x )) = lim f ( x ) + lim g ( x ) (1)

x x0 x x0 x x0

Sabemos por Hiptesis que f y g son continuas en x=x0, entonces:

lim f ( x ) = f ( x0 ) (2)
x x0
lim g ( x ) = g ( x0 ) (3)
x x0

Por lo que resulta:

lim f ( x ) + lim g ( x ) = f ( x0 ) + g ( x0 ) (4)
x x0 x x0

Adems: f ( x0 ) + g ( x0 ) = ( f + g )( x0 ) (5)

De (1), (4) y (5) resulta:

lim ( f ( x ) + g ( x )) = lim f ( x ) + lim g ( x ) = f ( x0 ) + g ( x0 ) = ( f + g )( x0 ) s.q.d.

x x0 x x0 x x0

Continuidad en los extremos de un intervalo:

Qu sucede si queremos analizar la continuidad de una funcin en un intervalo
cerrado?
Por ejemplo, para qu valores de x ser continua la funcin f ( x ) = 1 x 2 ?
Observemos el siguiente grfico teniendo en cuenta la definicin de continuidad dada
anteriormente.
Si aplicamos la definicin, resulta que la funcin es continua x 0 (-1,1), ya que para
cualquier x en ese intervalo se verifica simultneamente que:
a) f ( x0 ) , porque x0 0 (-1,1) y este intervalo est incluido en Df = [-1,1]
b) lim 1 x 02
x x0

c) f ( x0 ) = lim f ( x) porque lim 1 x 2 = 1 x 02

x x0 x x0

Pero, podemos decir que en este ejemplo la funcin no es continua en x = -1 o x =1,

simplemente porque la funcin no est definida para x <-1 o x>1?

Como se ve, surge la necesidad de definir continuidad por derecha y continuidad por
izquierda, y a partir de ellas analizar la continuidad de una funcin en los extremos de
un intervalo.

Continuidad por la derecha:

Una funcin f es continua por la derecha en x = x0 sii:
a) f ( x0 )
b) lim+ f ( x )
x x0

c) f ( x 0 ) = lim+ f ( x )
x x0

Continuidad por la izquierda:

Una funcin f es continua por la izquierda en x = x0 sii:
a) f ( x0 )
b) lim f ( x )
x x0

c) f ( x 0 ) = lim f ( x )
x x0
Dejar para despus lo que sigue

Continuidad
Sin en un intervalo
embargo, diremos que la cerrado:
funcin es continua x 0 Df . Por qu? Simplemente
Una funcin f es continua en un intervalo
porque es continua para todo x distinto de 1, cerrado b] sii es al
y x=1 no[a,pertenece continua en todos los
dominio.
puntos del intervalo abierto (a,b) y adems es continua por la derecha
A pesar de lo dicho anteriormente, a nosotros nos interesa el comportamiento en de
x =la a y
continua por la izquierda en x = b.

Simblicamente:
Una funcin f es continua x = x0 , x0 0 [a, b] sii:

a) f ( x0 ) x0 0 [a, b]

b) lim f ( x ) x0 0 (a, b)
x x0

lim+ f ( x )
x a
lim f ( x)
x b

c) f ( x 0 ) = lim f ( x ) x0 0 (a, b)
x x0

lim f ( x ) = f (a )
x a +
lim f ( x ) = f (b)
x b
Por lo tanto, en el ejemplo dado, la funcin es continua en el intervalo [-1, 1].

Si una funcin es continua en un intervalo cerrado [a, b], se dice que es de clase
cero en el cerrado [a, b], y se representa: f ( x) C[0a ,b ]

Si una funcin no es continua para algn x0, diremos que la funcin es discontinua en
x=x0. Podemos clasificar a las discontinuidades en distintos tipos: intuitivamente
podemos notar que las discontinuidades que presentan las funciones g, j y k no son
iguales, pero aparentemente g y h presentan el mismo tipo de discontinuidad, al igual
que las funciones i y j entre s.
Qu diferencias o similitudes se observan en las discontinuidades presentadas en los
ejemplos? Las diferencias o similitudes tienen que ver con la existencia de lim f ( x ) , y
x x0

es justamente este lmite el que vamos a analizar para clasificar una discontinuidad.

Discontinuidades: clasificacin

1) Discontinuidad evitable:
Una funcin f presenta una discontinuidad evitable en x=x0, si es discontinua en x0 y
existe lim f ( x ) .
x x0

Ejemplos:
x2 1
i) g ( x ) =
x1
La funcin g es discontinua en x=1 porque / g(1) . La discontinuidad que presenta es
x2 1 x2 1
del tipo evitable, porque lim , ya que lim =2
x1 x1 x1 x 1

x 1 2
si x 1
ii) h( x) = x 1
3 si x = 1

x2 1
h(1) = 3 y lim h( x ) = lim =2
x1 x1 x1

La funcin h es discontinua en x=1 porque a pesar de que existen tanto h(1) como
lim h( x ) , ellos no son iguales. La discontinuidad que presenta es del tipo evitable,
x1

porque lim h( x ) .
x 1

2) Discontinuidad esencial:
Una funcin f presenta una discontinuidad esencial en x=x0, si NO existe lim f ( x ) .
x x0

Se pueden distinguir dos tipos de discontinuidades esenciales:

a) Discontinuidad esencial de 1era especie:

Existen los lmites laterales pero son diferentes, por lo que / lim f ( x )
x x0

Ejemplo:
 x
i) i ( x ) =
x
Discontinua en x=0 porque / i(0)
x
lim+ i ( x ) = lim = lim(1) = 1
x 0 x 0 x x 0
/ lim i ( x )
x
= lim( 1) = 1
x 0
lim i ( x ) = lim
x 0 x 0 x x 0

Como existen los lmites laterales pero no existe el lmite, se dice que en x=0
hay una discontinuidad esencial de 1era especie.

x si x 0
ii) j ( x ) =
x 1 si x < 0
Discontinua en x=0 porque / j(0)
lim j ( x ) = lim x = 0
x 0+ x 0
/ lim j ( x )
lim j ( x ) = lim( x 1) = 1 x 0
x 0 x 0

Como existen los lmites laterales pero no existe el lmite, se dice que en x=0
hay una discontinuidad esencial de 1era especie.

b) Discontinuidad esencial de 2da especie:

Al menos uno de los lmites laterales es infinito o los lmites laterales no existen.

Ejemplos:
1
i) k ( x) =
x1

Discontinua en x=0 porque / k (0)

lim k ( x ) =
x 0+
lim k ( x ) = lim
/ k ( x)
x 0
x 0

En este caso los lmites laterales no existen, simbolizando esta falta de existencia
con 4 o -4. Por lo tanto en x=0 hay una discontinuidad esencial de 2da especie.

1
ii) l ( x ) = sen
x

Discontinua en x=0 porque / k (0)

/ lim+ l ( x )
/ lim l ( x ) lim
x 0
/ l ( x)
x 0
x 0
 En este caso los lmites laterales no existen, pero a diferencia del ejemplo
anterior no simbolizamos esta falta de existencia con 4 o -4. Por lo tanto en x=0
hay una discontinuidad esencial de 2da especie.

Observaciones:
(1) Los grficos de todas las funciones presentadas como ejemplos ya fueron presentadas
1
anteriormente, excepto el correspondiente a la funcin l ( x ) = sen . Se deja para el
x
alumno la construccin de este grfico, de esta manera podr observar por qu no existen los
lmites laterales cuando x60

(2) La existencia o no de la funcin en un punto no influye en la clasificacin de la

discontinuidad. Sabiendo que una funcin es discontinua en un punto, para clasificar la
discontinuidad evaluamos solamente el lmite de la funcin en el punto.

TEOREMAS:

A continuacin enunciaremos algunos teoremas que tratan sobre funciones continuas y

que nos sern de utilidad para, en un futuro, tratar otros temas.

Teorema del valor intermedio (Darboux)

Si una funcin f es continua en [a, b], y la funcin toma diferentes valores en los
extremos, entonces para cada valor k entre f(a) y f(b) existe un nmero c entre a y b
tal que f(c) = k.

A continuacin se presenta la interpretacin grfica del teorema.

y
f(b)

k =f(c)

f(a)

a c b x

Si elegimos otro k1 0 (f(a), f(b)), entonces podramos encontrar un valor c1 0 (a, b) tal
que k1=f(c1).
Por ejemplo:
 y
f(b)
k1=f(c1)

f(a)

a c1 b x

El teorema habla de que existe un valor c, esto quiere decir que existe al menos un
valor, no significa que ese valor sea nico. Esto se puede apreciar en el siguiente
grfico, donde por comodidad se representa la funcin f ( x ) = sen( x) slo en el
intervalo [0, 4BB].
Para cada valor k0 0 (-1, 1), existir slo un valor c 0 (B
B/2, 3BB/2) tal que f(c)=k? En
general existen ms de un valor c, pero en algunos casos existe slo uno. Por ejemplo, si
tomamos en ordenadas k=0.5, entonces existe slo un valor de c =5B B/6 (en abscisas) tal
que f(5B B/6)=0.5 . Pero si tomamos ahora el intervalo [B B/2, 7B
B/2], sucede tambin que
0(B
(f(b), f(a))= (-1, 1), para k=0.5, entonces existen ahora dos valores c0 B/2, 7B
B/2) tal que
f(c)=0.5, uno es 5B B/6 y el otro es 13B
B/6.

0.5
5/2 7/2 4
/6 /2 3/2 13/6
5/6
x

-1

Refirindonos al grfico anterior, tomando el intervalo [a, b]=[B B/2, 3B

B/2], vemos que
B/2)=1 y f(b)=f(3B
f(a)=f(B B/2)=-1. La pregunta es: dado k=0 (k0 0(-1, 1)), existir algn
0(B
valor c0 B/2, 3B
B/2) tal que f(c)=0? La respuesta, obviamente, es S, el teorema anterior
lo garantiza porque f ( x ) C0 3 , es decir, f ( x ) = sen( x) es continua en el intervalo
2 ,2

cerrado , .
3
2 2
Suceder siempre que una funcin continua en un intervalo cerrado [a, b] presente al
menos un cero en el intervalo (a, b)? Si f(a) y f(b) tienen diferentes signos, como en el
ejemplo anterior, entonces la respuesta es SI. A continuacin enunciaremos un teorema
que relaciona la continuidad de una funcin en un intervalo, los signos de la funcin
evaluada en los extremos del intervalo y la existencia de un cero (entendindose como
tal al valor de la variable independiente, en este caso x, para la cual f(x)=0).

Teorema del cero intermedio

Si la funcin f es continua en [a, b] y f(a).f(b)<0, entonces existe un nmero c entre a

y b tal que f(c) = 0.

y
f(b)

a (c,0)
c b x
f(a)

En el grfico se observa que f (a ) < 0 f (b) > 0 f (a ). f (b) < 0 , adems

f ( x) C[0a ,b ] , entonces existe c0
0(a, b) tal que f(c)=0.

Conservacin del signo en un entorno del punto x0

Sea f(x) continua en x0:
- Si f(x0)>0, entonces existe un entorno de x0 donde f(x)>0 x E ( x 0 )
- Si f(x0)<0, entonces existe un entorno de x0 donde f(x)<0 x E ( x 0 )

El teorema anterior asegura que la funcin, si es continua en un punto, conserva el signo

en un entorno del punto.

Propiedad de Bolzano-Weierstrass
0
Si f ( x ) C , entonces existe un valor mximo absoluto que no es superado por
[ a ,b ]

ningn valor de la funcin, y un valor mnimo absoluto que no supera a ningn valor
de la funcin.
 y M(c1,f(c1))

a c1 c2 b x
(b,f(b))

(a,f(a))
m(c2,f(c2))

El significado del teorema es que toda funcin continua en un intervalo cerrado es

acotada, es decir, tiene un valor mximo (en el grfico corresponde a f(c1)) y un valor
mnimo (f(c2) en el grfico). Tambin podra suceder que alguno, de estos valores
extremos sea f(a) o f(b), como se ilustra a continuacin.

y M(b,f(b))
M(a,f(a)) y

a b a b x
x

m(a,f(a)) m(b,f(b))