3.

FUNCIONES CONTINUAS
3.1. Introduccin.
El concepto de lmite, expuesto en la unidad precedente, abre paso a una clasificacin de las
funciones en familias, atendiendo a unas pocas propiedades fundamentales. La primera
caracterstica que separa a las funciones en dos familias bien diferenciadas es la continuidad. Esta
propiedad refleja la idea intuitiva de que ciertas grficas pueden trazarse sin levantar el lpiz del
papel, es decir de forma continua. Y de ah el nombre que se le asigna.
El hecho de que una funcin sea continua se refleja en varios aspectos. En primer lugar,
para ellas el clculo del lmite es un punto se reduce a la simple evaluacin de la funcin en dicho
punto. Es lo que denominamos mtodo de sustitucin directa.
Por otra parte, satisfacen algunas propiedades, recogidas en teoremas como los de Bolzano-
Weierstrass y del valor intermedio, que pueden parecer evidentes a primera vista, pero que juegan
un papel relevante en la teora de funciones. El que aparezcan como obvias se debe simplemente a
que estamos habituados a pensar en grficas continuas, lo que no tiene por qu ser el caso.
Pondremos especial nfasis en dejar claro que tales propiedades evidentes no son ciertas, en
general, para funciones no continuas.
Por la misma razn, dedicamos atencin especial a la clasificacin de los distintos tipos de
discontinuidades (puntos aislados donde una funcin no es continua) que pueden suceder,
acompaando cada uno de ellos de ejemplos explcitos que ponen de manifiesto sus respectivos
significados. A la sombra de una de estas clases de discontinuidades hacen acto de presencia las
asntotas verticales, tiles ms adelante como rasgos caractersticos de las grficas.
3.2. Funciones continuas.
La definicin de lmite de una funcin encierra cierta sutileza, puesto que al escribir xa
consideramos valores x = a, Por tanto, la existencia y el valor de ) (x f lm
a x
dependen de los calores
f(x) en puntos x prximos al a, pero no del valor f(a), que no juega ningn papel.
Incluso si f(x) no est definida en x = a podemos seguir indagando si existe ) (x f lm
a x
y, en
caso de que exista, cul es su valor.
Ejemplo 1.
La funcin
1
1
) (
2

=
x
x
x f tiene como dominio toda la
recta excepto el punto x = 1, donde el denominador se anula y
esa expresin no est definida.
En todos los puntos del dominio, o sea para todo x = 1,
podemos suprimir en la expresin de f(x) un factor no nulo (x
1), comn a numerador y denominador. Dicho de otro modo, la
funcin dada se puede escribir en su dominio como f(x) = x + 1.
Pues bien, aunque f(x) no est definida en x = 1, el lmite de f(x) cuando x 1 existe e
incluso es fcil de calcular. En efecto, en la definicin de lmite slo se consideran valores de x que
tienen hacia 1 pero distintos de 1! Luego:
2 1 1 ) 1 ( ) ( ) 1 ( ) (
1 1 1 1
= + = + = + =
x x x x
lm x lm x lm x f lm
Una vez aclarado ese matiz, hay que decir que la mayora de las veces estaremos
interesados en puntos del dominio de f(x), de modo que est definido el valor f(a) de la funcin. Y
adems, por fortuna, muchas funciones comunes se comportan en casi todos los puntos de sus
dominios como indica la siguiente definicin:






La continuidad exige dos cosas:
(1) La funcin tiene lmite en a.
(2) Ese lmite coincide con f(a), el valor de f en a.
Diremos que una funcin es continua en un intervalo abierto si lo es en todos sus puntos.
Tomaremos de ahora en adelante como dominio de una funcin dada mediante una
expresin en la variable x su dominio natural, es decir, el conjunto de todos los valores de x para los
que esa expresin tiene un valor real bien definido. Con esa definicin, todas las funciones
elementales resultan ser continuas en sus dominios. En particular:
- Las funciones polinmicas y las funciones sen(x), e
x
, e
x
(as como b
x
, b
x
b > 0) son
continuas en toda la recta real.
- Toda funcin racional
) (
) (
x Q
x P
, cociente de dos polinomios P(x) y Q(x), es continua en
toda la recta real excepto en los puntos donde Q(x) = 0.
- Las funciones
n
x
1
, con n impar, son continuas en toda la recta real. Si n es par, son
continuas en el intervalo (0, ).
- Las funciones log(x) y ln(x) son continuas en su dominio (0, ).
Claro est que si dejamos estas funciones sencillas y nos adentramos en el terreno de las
funciones extraas, podemos construir ejemplares curiosos, como el que sigue, inventado por Peter
Gustav Lejeune-Dirichlet (1805 1959), discpulo y sucesor de Gauss en Gttingen.
Ejemplo 2.
Da un ejemplo de una funcin f(x), discontinua en
todos los puntos de [0, 1] y tal que |f(x)| sea continua en el
mismo intervalo.
Solucin:
Definicin de continuidad en trminos de lmites
Una funcin f(x), definida en un entorno de x = a, se dice que es continua en x = a si

Un ejemplo tpico es

=
irracional es x si 1 -
racional es x si 1
) (x f , puesto que |f(x)| = 1 en todo punto x, de
modo que la funcin valor absoluto es constante y por lo tanto continua.

3.3. Operaciones con funciones continuas.
Las funciones continuas heredan de los lmites una
serie de propiedades que resumimos a continuacin.
Si f(x) y g(x) son funciones continuas en x =
a y k es un nmero real, entonces son continuas en x
= a las funciones del cuadro de la derecha:
Teorema
Si f y g son dos funciones continuas en x = a, entonces
a) Las funciones f +g , g f , y g f son funciones continuas en x = a.
b) Si g(a) 0, entonces la funcin
g
f
es continua en x = a.
Ejemplos de demostraciones:
Que f y g sean continuas en x = a significa que:
) ( ) ( lm a f x f
a x
=

y ) ( ) ( lm a g x g
a x
=

Para probar que f +g es continua en x = a , debemos probar que ( ) ( ) ) ( ) ( a g f x g f lm
a x
+ = +

Por definicin, ( ) ) ( ) ( ) ( x g x f x g f + = +
Luego
( ) ( ) ) ( ) ( ) ( x g x f lm x g f lm
a x a x
+ = +


Como el lmite de cada funcin existe cuando x tiende a a, y recordando que ambas funciones son
continuas en x = a entonces
( ) ( ) ( ) ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( a g f a g a f x g lm x f lm x g x f lm x g f lm
a x a x a x a x
+ = + = + = + = +


Con lo cual queda probado que ( ) ( ) ) ( ) ( a g f x g f lm
a x
+ = +

.
Para probar que
g
f
es continua en x = a , debemos probar que ) ( ) ( a
g
f
x
g
f
lm
a x
|
|
.
|

\
|
=
|
|
.
|

\
|

Por definicin,
) (
) (
) (
x g
x f
x
g
f
=
|
|
.
|

\
|

Luego
) (
) (
) (
x g
x f
lm x
g
f
lm
a x a x
=
|
|
.
|

\
|

Mltiplo k.f(x)
Suma o diferencia f(x) g(x)
Producto f(x) . g(x)
Cociente si g(a) = 0

Como el lmite de cada funcin existe cuando x tiende a a y 0 ) ( ) ( = =

a g x g lm
a x
, y recordando
que ambas funciones son continuas en x = a entonces

) (
) (
) (
) (
) (
) (
) (
) ( a
g
f
a g
a f
x g lm
x f lm
x g
x f
lm x
g
f
lm
a x
a x
a x a x
|
|
.
|

\
|
= = = =
|
|
.
|

\
|

Con lo cual queda probado que ) ( ) ( a
g
f
x
g
f
lm
a x
|
|
.
|

\
|
=
|
|
.
|

\
|

.
Las pruebas de resta y producto son similares, por lo que dejamos la prueba como ejercicio para el
lector.
Ejemplo 3.
De lo anterior concluimos que son continuas las siguientes funciones:
(a) f(x) = 3x 2cos(x)







(b)
) cos(
) (
) (
x
x sen
x tg = en su dominio (natural). Es decir, toda la recta real excepto los puntos
t
2
1 2 +
=
n
x , donde se anula el coseno.








3.3.1. Continuidad de las funciones compuestas
La composicin es otra operacin que produce funciones continuas a partir de funciones
continuas. Si g(x) es continua en a y f(x) es continua en g(a), la funcin compuesta f
o
g es continua
en a.
Teorema
Si g es continua en x=a y f es continua en x = g(a), entonces
(f

g ) es continua en x=a

Demostracin
La demostracin es muy sencilla y se basa en el lmite de una composicin.
Decir que f es continua en x = g(a), es equivalente a decir
)) ( ( ) (
) (
a g f x f lm
a g x
=

Recordando qu significa que g es continua en x = a, y usando el teorema de lmite de
composiciones, resulta
)) ( ( )) ( ( )) ( ( ) ( ) ( ) (
) (
a g f x g f lm a g f x f lm a g x g lm
a x a g x a x
= = . =


Luego
( ) ( ) ) ( )) ( ( ) ( )) ( ( ) (
) (
a g f a g f u f lm x g f lm x g f lm
a g u a x a x
= = = =

y esto es equivalente
a afirmar que (f

g ) es continua en x = a.
Ejemplo 4.
(a)
) (
) (
x sen
e x f = es continua en toda la recta real.
(b) ( ) x x g cos ) ( = es continua en x > 0, regin en la que x es continua.
3.4. Continuidad en intervalos cerrados.
Si f(x) tiene como dominio un intervalo cerrado [a, b], sabemos qu significa que sea
continua en cualquier punto x interior a ese intervalo, es decir tal que a < x < b, pero no hemos
definido una nocin de continuidad en los puntos frontera del intervalo x = a o x = b.
Lo mismo es cierto para funciones con dominios del tipo [a, ) o ( , b], en x = a y x = b,
respectivamente.
Una funcin f(x), definida quiz en [a, b] o en [a, +) se dice que es continua (por la
derecha) en el punto x = a si
) ( ) ( a f x f lm
a x
=
+

Una funcin f(x), definida quiz en [a, b] o en ( , b] se dice que es continua (por la
izquierda) en el punto x = b si
) ( ) ( b f x f lm
b x
=

Con estas definiciones adicionales, diremos que una funcin f(x) es
continua en [a, b] si es continua en todos los puntos de (a, b), y lo es
tambin por derecha en x =a y por izquierda en x= b.
Ejemplo 5.
La funcin x x x f + = 3 ) ( es continua en todo su dominio natural [0, 3]. Podemos
notar que x tiene dominio [0, +) y es continua (por la derecha) en x = 0. Por otra parte, x 3
tiene dominio ( , 3] y es continua (por la izquierda) en x = 3.
3.5. El teorema de Bolzano-Weierstrass (o de los valores extremos para una funcin continua
en un intervalo cerrado)
Las funciones continuas en un intervalo cerrado gozan de una propiedad interesante,
recogida en el siguiente teorema, que enunciamos sin demostracin.









A primera vista, puede parecer una propiedad obvia. Sin embargo, es falsa en general
cuando falla alguna de las dos condiciones del teorema: la funcin no es continua o el intervalo no
es cerrado.
Ejemplo 6.
Lo expresado anteriormente ocurre con tg(x) en ( t/2, t/2) donde no alcanza ni un valor
mximo absoluto ni un valor mnimo absoluto. Por otra parte, la funcin 1/x, que es continua en (0,
1], no alcanza en l un valor mximo absoluto, aunque s un mnimo absoluto, concretamente en
x=1.










a c d
b
Si f(x) es continua en un intervalo cerrado [a, b],
entonces
(a) hay al menos un punto c en [a, b] donde f(x)
alcanza su valor mximo absoluto, es decir,
f(c) > f(x), para cualquier x en [a, b].
(b) hay al menos un punto d en [a, b] donde f(x)
alcanza su valor mnimo absoluto, es decir,
f(d) s f(x), para cualquier x en [a, b].
y=tg(x)
y=
3.6. El Teorema del valor intermedio.
La idea intuitiva de que las grficas de las funciones continuas no dan saltos alcanza su
mxima expresin en la siguiente propiedad:



En palabras, una funcin
continua pasa por cualquier valor
intermedio k entre el valor inicial
f(a) y f(b).
El teorema asegura la
existencia de algn c en el que la
funcin toma exactamente ese
valor. Pero no dice que haya slo
uno. La representacin grfica
puesta de ejemplo muestra que hay
tres puntos, entre a y b, donde eso
sucede.
Lo que afirma este teorema resulta evidente en ciertas situaciones prcticas.
- Para la grfica la altura de una persona en funcin de la edad, es lgico pensar que si una
persona mide 175 cm a los 17 aos y meda 150 cm a los 10 aos, en algn momento ha
medido 160 cm.
- Si consideramos el consumo de combustible de un automvil en funcin de la distancia
recorrida, resulta evidente que si al recorrer 80 km se haban consumido 6 litros y al
recorrer 220 se haban consumido 18 litros, en algn lugar intermedio el consumo era de 14
litros.
De todos modos, no debemos olvidar que este
aspecto trivial del teorema se debe a que solemos
pensar, por inercia, en grficas continuas. Si de hecho
consideramos el costo de una llamada telefnica en
funcin del tiempo, podemos obtener que para 1 minuto
de llamada abonamos $ 0,23 y por 3 minutos abonamos
$ 0,46. No obstante, no es cierto que exista un
determinado tiempo para el cual abonaramos
exactamente $ 0,30, pus la funcin no es continua.

3.7. El teorema de Bolzano
El teorema del valor intermedio
(tambin nombrado por algunos autores,
como Corolario del Teorema de Bolzano) es
particularmente til cuando los valores de
f(x) en a y en b tienen signos opuestos, ya
sea f(a) > 0 y f(b) < 0 o a la inversa. Las dos
situaciones se resumen diciendo f(a).f(b) <
0.
Si f(x) es una funcin continua en el intervalo cerrado [a, b] y k es cualquier nmero
comprendido entre f(a) y f(b), existe al menos un punto c en [a, b] donde f(c) = k.
f(a)
f(b)
k
a b c
1
c
2
c
3
f(a)
f(b)
a
b
Ya que el valor 0 es intermedio a los valores f(a) y f(b) en ese caso, obtenemos como caso
especial del teorema del valor intermedio un resultado muy eficaz para localizar ceros de f(x), es
decir puntos x en los que f(x) = 0.



El teorema no dice que exista un solo punto c que cumpla f(c) = 0. De hecho, puede haber
varios, como ocurre con el ejemplo que ilustra el teorema.
3.8. Tipos de discontinuidades.
Decimos que una funcin f(x) tiene una discontinuidad en x = c si no es continua en x = c.
Para ellos tiene que fallar alguno de los requisitos de la continuidad o bien no existe lmite para
xc, o existe pero no coincide con el valor f(c).
Atendiendo a sus diferentes causas, conviene clasificar las discontinuidades en tres tipos
(evitables, de salto e infinitas), que presentamos ordenadas de mejor a peor comportamiento.
3.8.1. Discontinuidades evitables.


Son las discontinuidades ms dbiles. Se llaman evitables porque bastara modificar la
funcin f(x) slo en el punto x = a para conseguir una funcin continua, evitando as la
discontinuidad. Las dos situaciones tpicas de esta clase de discontinuidades las ilustran los
prximos ejemplos.
Ejemplo 7.
La funcin

>
=
<
=
1 si
1 si 2
1 si 1
) (
2
x x
x
x
x f
En x < 1 la funcin es continua (incluso constante) y
en x > 1 tambin por ser polinmica. En x = 1, los lmites
laterales son ambos iguales a 1, de modo que existe
1 ) (
1
=

x f lm
x
. Pero la funcin no es continua en x = 1 debido a que ese valor del lmite no coincide
con el que toma all la funcin, que es f(1) = 2. La discontinuidad se debe a una mala asignacin
del valor de f. Bastara redefinir ese valor como f(1) = 1 para
hacerla continua.
Ejemplo 8.
Si f(x) es continua en el intervalo cerrado
[a, b], con f(a).f(b) < 0, existe al menos un
punto c en (a, b) donde f(c) =0.
La funcin tiene lmite L cuando x a, pero L = f(a).
La funcin
1
1
) (
3

=
x
x
x f es discontinua en x = 1. De hecho, el valor del lmite es 3 ) (
1
=

x f lm
x
,
pero f(1) no est definido. La discontinuidad es evitable, ya que bastara definir f(1) = 3 para
conseguir una funcin continua.
2.8.2. Discontinuidades de salto (o finitas).


Son puntos en los que la funcin salta de un valor finito a otro distinto.
Ejemplo 9.
La funcin

> +
<
=
0 1
0 1
) (
x si
x si
x f tiene en x=0
lmites laterales finitos, a saber 1 ) (
0
=+

x f lm
x
y
1 ) (
0
=
+

x f lm
x
, pero no son iguales. La funcin no es
continua en x=0.

3.8.3. Discontinuidades infinitas.


Ejemplo 10.
La grfica de
9
2
) (
2

+
=
x
x
x f tiene discontinuidades
infinitas en x=3 y en x= 3, donde se anula el denominador
pero no el numerador. Es continua en todos los dems
puntos. El dominio (natural) son precisamente todos los
reales excepto esos dos valores.
3.9. Asntotas verticales.
Si f(x) tiene en c una discontinuidad infinita, su grfica se acerca arbitrariamente a la recta
vertical x = c. Por eso decimos que la recta x = c es una asntota vertical de la grfica de f(x).
En particular, si en una funcin racional
) (
) (
) (
x Q
x P
x f = se tiene Q(c) = 0 y P(c) = 0,
entonces x = c es una asntota vertical para f(x).
Comentario sobre las discontinuidades de funciones racionales: Cuidado! Las funciones
racionales (cociente entre dos polinomios) no siempre tienen discontinuidad infinita en un punto
donde el denominador se anula. Si en ese punto el numerador contiene el mismo factor de nulidad
elevado a la misma potencia, la discontinuidad es evitable.
La funcin tiene lmites laterales, pero no coinciden.
Al menos uno de los lmites laterales es infinito.
Ejemplo 11.
La funcin
2
1
) (
x
x f = tiene en x = 0 una
discontinuidad infinita y presenta una asntota vertical en x
= 0.

Ejemplo 12.
La funcin
10 7
6
) (
2
2
+
+
=
x x
x x
x f presenta discontinuidades en x =2 y en x =5 en tanto son los
valores que hacen cero al denominador. No obstante, en x =2 la funcin presenta una
discontinuidad evitable dado que
3
5
) (
2
x f lm
x
=

, y en x =5 la discontinuidad es inevitable pues los

lmites laterales son infinitos: =

x f lm
x
) (
5
y =+
+

x f lm
x
) (
5
.



A
s

n
t
o
t
a

v
e
r
t
i
c
a
l