TEOREMAS SOBRE FUNCIONES CONTINUAS

1.- Continuidad en un punto. Continuidad lateral.

2.- Continuidad en un intervalo.
3.- Operaione! on "unione! ontinua!.
#.- $i!ontinuidade!. Tipo!.
%.- Teore&a! !o're "unione! ontinua!.
1.- Continuidad en un punto. Continuidad (ateral.
Intuitivamente, una funcin es continua si su grfica puede dibujarse
sin levantar el lpiz del papel. Los puntos en que haya que levantar el
lpiz se llaman puntos de discontinuidad.

En las figuras anteriores vemos algunos casos no todos! que
pueden presentarse al pasar por un punto "
#
. en este caso, para "
#
$%!
En la primera figura la funcin no es continua porque desde los
dos lados no vamos hacia el mismo punto, es decir, no e"iste
f(x) lim
0
x x .
En la segunda figura s& van hacia el mismo sitio, pero falta no
e"iste! el punto de unin entre los dos trozos o ramas, que ser&a f"
#
!.
En la tercera e"iste ese punto de unin f"
#
! pero no est
colocado en el sitio adecuado'
) f(x f(x) lim
0
x x
0

.
( por )ltimo, en la cuarta figura todo est bien y la funcin es
continua.
* la vista de esto podemos dar la definicin formal de funcin
continua en un punto.
*s&, diremos que una funcin f(x) es continua en un punto x
0
si cumple las tres condiciones siguientes'
) f(x f(x) lim 3.
) f(x 2.
f(x) lim 1.
0 x x
0
x x
0
0

Nota) E"isten otras formas equivalentes de dar la definicin.

+or ejemplo' una funcin f(x) es continua en un punto a si:
,. E"iste el l&mite de la funcin f(x) en x $ a.
%. La funcin est definida en x $ a- es decir, e"iste f(a)
.. Los dos valores anteriores coinciden.
/ tambi0n, 1i tenemos en cuenta la definicin m0trica de l&mite
podemos escribir'
es continua en 0 0 / | | | ( ) ( ) | f x a x a f x f a > > < <
E*e&plo!)
La funcin 2es continua en el punto x $ .3
4eamos si se cumplen las tres condiciones anteriores'
,.
%.
..
+or tanto, f(x) es continua en el punto x $ ..
5ada la funcin , estudiar la continuidad de dicha funcin
en x $ ,.
4eamos si se cumplen las condiciones necesarias'
1.
2. no e"iste, pues se anula el denominador.
3. El no son iguales porque f,! no e"iste y, en
consecuencia, no se pueden comparar.
+or tanto, al no estar definida la funcin en el punto x $ , no
podemos hablar de la continuidad en dicho punto.
$ada la "uni+n , e!tudiar la ontinuidad de di-a
"uni+n en x . /1
1eguiremos el mismo proceso que en los ejemplos anteriores'
1. Estudiamos la e"istencia del
). (
1
x f lim
x
6omo en el punto x $ 7, la funcin e"perimenta un cambio de
definicin, para estudiar la e"istencia de dicho l&mite, tendremos que
calcular los l&mites laterales de la funcin en el punto. +or tanto'
En consecuencia, e"iste pues los l&mites
laterales son iguales.
2. f 7,! $ 7%
3.
Luego la funcin es discontinua en el punto x $ 7,.
$ada la "uni+n , e!tudiar la ontinuidad de di-a
"uni+n en x . 2.
1eguiremos el mismo proceso que en los ejemplos anteriores'
1. Estudiamos la e"istencia del
) (
2
x f lim
x
6omo en el punto x $ % la funcin e"perimenta un cambio
de definicin, para estudiar la e"istencia de dicho l&mite,
tendremos que calcular los l&mites laterales de la funcin en
el punto. +or tanto'
En consecuencia, no e"iste pues los l&mites
laterales son distintos.
2. f %! $ 8
Luego la funcin es discontinua en el punto x $ %.
Continuidad lateral
6uando una funcin no es continua en un punto podemos preguntarnos
si lo es lateralmente- es decir, si desde alg)n lado llegamos a f"
#
!. En
concreto'
9na funcin f"! es continua por la izquierda en un punto "
#
si y slo
si
) x ( f ) x ( f lim
0
x x
0

.
9na funcin f"! es continua por la derecha en un punto "
#
si y slo si
) x ( f ) x ( f lim
0
x x
0

+
.
2.- Continuidad en un intervalo.
El concepto de continuidad no tiene e"cesivo inter0s y aplicacin
prctica mientras no se e"tienda a un intervalo para poder tener
propiedades en un :trozo; ms amplio que un entorno, a veces muy
peque<o, alrededor de un punto.
Una funcin es continua en un intervalo si lo es en todos los
puntos del intervalo.
*s&, en la funcin adjunta,
podemos apreciar que hay
continuidad en el intervalo =>?, >,@,
pero no en el intervalo =>,,,@
En caso de que el intervalo sea cerrado,
=a, b@, es necesario que la funcin
tambi0n sea continua lateralmente
en los e"tremos.
Estas apreciaciones sern de vital importancia para aplicarlas
posteriormente a los teoremas sobre funciones continuas.
3.- Operaione! on "unione! ontinua!. 0ropiedade!.
Aeniendo en cuenta las propiedades de las funciones y de los l&mites,
podemos deducir las siguientes propiedades'
1i son funciones continuas en , entonces la funcin
f B g!x! es continua en .
1i son funciones continuas en , entonces la funcin
fg!x! es continua en .
1i son funciones continuas en , y gx! no se anula
en , entonces la funcin es continua en .
1i fx! es continua en , entonces f!x! es continua en
, para todo C.
1i fx! es continua en y gx! es continua en , entonces la
funcin es continua en .
Nota) 6omo ejemplo de que cmo se debe realizar una demostracin
de esas afirmaciones, veamos el caso de la suma de dos funciones
continuas en un punto y comprobemos que tambi0n es una funcin
continua en ese punto.

Demostracin:




*plicando una de las propiedades de los l&mites de funciones,


En resumen:
Las operaciones con funciones continuas tienen como
resultado otra funcin continua, siempre que tenga sentido la
operacin !e hecho, la ma"or#a de las funciones m$s usuales son
continuas
1. (a "uni+n on!tante f1x2 . % e! ontinua en &.
En efecto, sea un n)mero cualquiera a

C y estudiemos la
continuidad de la funcin constante en dicho punto'
lim ( ) lim ( )
x a x a
f x k k f a


+or tanto, la funcin es continua en el punto a

C y como :a; es un
n)mero real cualquiera, la funcin es continua para cualquier valor
real, es decir, es continua en R.
2. (a "uni+n identidad f1x2 . x e! ontinua en R.
En efecto, sea un n)mero cualquiera a

C y estudiemos la
continuidad de la funcin identidad en dicho punto'
lim ( ) lim ( )
x a x a
f x x a f a


+or tanto, la funcin es continua en el punto a

C y como :a; es un
n)mero real cualquiera, la funcin es continua para cualquier valor
real, es decir, es continua en R.
3. (a "uni+n potenial
( )
n
f x x
,
N n
e! ontinua en R.
1i tenemos en cuenta que , la funcin potencial
es un producto de n funciones continuas y, por tanto, ser otra
funcin continua.
4. (a "uni+n polin+&ia , e! una
"uni+n ontinua en R.
La funcin polinmica est formada por la suma de un n)mero
finito de productos de una funcin constante por una funcin
potencial' si tenemos en cuenta que el producto de funciones
continuas es otra funcin continua y la suma de funciones continuas
tambi0n es continua, la funcin polinmica ser continua en todo R.
5. (a "uni+n raional
) (
) (
) (
x Q
x P
x f
e! ontinua en todo !u do&inio,
e! deir, en todo R &eno! en a3uello! valore! 3ue anulen el
deno&inador.
El dominio de la funcin racional est formado por todos los
n)meros reales que no anulan el denominador de la fraccin'
{ } 0 ) ( / )) ( ( x Q R x R x f Dom
Entonces,
Dom( ) a f
se verifica que'
( ) ( )
lim ( ) lim ( )
( ) ( )
x a x a
P x P a
f x f a
Q x Q a


y la funcin es continua en aDomf! y como a es un punto
cualquiera del dominio, ser continua en 0ste.
0ropiedade! de la! "unione! ontinua!.
Si una "uni+n e! ontinua en un punto, entone! tiene l4&ite en
di-o punto.
Esta propiedad es consecuencia directa de la definicin de la
continuidad.
Teore&a de aotai+n.
1i una funcin es continua en un punto x $ a, entonces est
acotada en ese punto, es decir, e"iste un entorno sim0trico de x $ a
en el que la funcin est acotada.
Teore&a del !i5no.
1i f(x) es continua en un punto x $ a y fa! #, entonces e"iste un
entorno de x $ a en el que f(x) tiene el mismo signo que fa!.
#.- $i!ontinuidade!. Tipo!.
'uando una funcin no es continua en un punto x
0
decimos que
tiene o que presenta una discontinuidad en ese punto.
Aeniendo en cuenta que una funcin es continua en un punto x $ a si,
y solo si,
lim ( ) ( ).
x a
f x f a

, en caso de que esta condicin no se cumpla

por alg)n motivo, tendremos uno de los siguientes tipo! de
di!ontinuidade!.
+ ) (a f
) (a f
) (a f
) (a f
+ ) (a f
) (a f
O
a a + a
O a a + a
) (
) (
Nota) En las discontinuidades evitables va a e"istir el l&mite pero en las
inevitables, no
$i!ontinuidad evita'le.
9na funcin presenta una discontinuidad evitable en un punto "
#
cuando'
f(x) lim
0
x x

pero o bien no coincide con f"

#
! o bien no e"iste f"
#
!.
Este tipo de discontinuidad se llama evita'le porque se resolver&a o
evitar&a definiendo una nueva funcin a partir de la que tenemos, de
la siguiente manera'
( ) si
( )
si
f x x a
g x
L x a

'

es decir, definimos la nueva funcin igual que la funcin que tenemos

en todos los puntos donde no hay problema y en el punto donde
presenta la discontinuidad le asignamos el valor del l&mite.
E*e&plo)
E"plica como har&as para que la siguiente funcin sea continua'
en el punto x $ ..
1i observamos la funcin, resulta que no est definida en el punto
x $ . pero, si calculamos el l&mite de la funcin en ese punto,
obtenemos'
2
3 3 3
5 6 ( 3) ( 2)
lim lim lim( 2) 3 2 1
3 3
x x x
x x x x
x
x x

+


que ser&a el verdadero valor de la funcin en ese punto. La nueva
funcin
ser&a continua en el punto x $ ..
$i!ontinuidad de !alto "inito.
'uando, no existe
f(x) lim
0
x x pero si existen los l#mites laterales, que
son finitos aunque distintos
En este caso, puede e"istir o no
fa!
*dems, llamamos !alto a la
diferencia entre los l&mites laterales de
la funcin en el punto.
Salto .
E*e&plo)
Estudiar la continuidad de la funcin en el punto x $ ,.
+ara estudiar la continuidad en el punto x $ ,, analizamos si se
verifican los tres puntos de los que hablamos con anterioridad'
,D.> La funcin est definida en el punto x $ ,'
%D.> Estudiamos la e"istencia del l&mite en x $ ,, para lo cual tenemos
que recurrir a calcular los l&mites laterales en 0l puesto que en dicho
punto e"iste un cambio de definicin de la funcin
1 1
lim ( ) lim(3 1) 4
x x
f x x


+
1 1
lim ( ) lim(3 2 ) 1
x x
f x x
+ +


*l ser los l&mites laterales distintos, la funcin no tiene l&mite en
dicho punto.
En consecuencia, en x $ ,, la funcin presenta una
discontinuidad inevitable de salto finito'
Salto .
1 1
lim ( ) lim ( ) 4 1 3
x x
f x f x
+


1i observamos los valores de los l&mites laterales, vemos que el
l&mite a la izquierda coincide con el valor que toma la funcin en el
punto, por lo que la funcin tiene una continuidad lateral a la izquierda
en el punto x $ ,.
$i!ontinuidad de !alto in"inito.
'uando no existe
f(x) lim
0
x x y alguno de los l#mites laterales (o los
dos) es infinito

E*e&plo
Estudiar la continuidad de la funcin

'

>

1
1
1
1 1 3x
) (
x si
x
x si
x f en el punto x $ ,.
+ara estudiar la continuidad en el punto x $ ,, analizamos si se
verifican los tres puntos de los que hablamos con anterioridad'
,D.> La funcin est definida en el punto x $ ,'
%D.> Estudiamos la e"istencia del l&mite en x $ ,, para lo cual tenemos
que recurrir a calcular los l&mites laterales en 0l puesto que en dicho
punto e"iste un cambio de definicin de la funcin
1 1
lim ( ) lim(3 1) 4
x x
f x x


+
+

+ +

1
1
lim ) ( lim
1 1
x
x f
x x
En consecuencia, en x $ ,, la funcin presenta una
discontinuidad inevitable de salto infinito'
Eota' 1i observamos los valores de los l&mites laterales, vemos que el
l&mite a la izquierda coincide con el valor que toma la funcin en el
punto, por lo que podemos decir que la funcin es continua por la
izquierda en el punto x $ ,.
$i!ontinuidad e!enial
'uando no existe alguno de los l#mites laterales (o los dos)
+or ejemplo, la funcin ) ( ) (
1
x
sen x f no
tiene l&mites laterales en el # porque
oscila infinitas veces entre , y F,
cada vez mas cerca del #. +or tanto,
presenta un discontinuidad esencial
en "$#

E*e&plo
Estudiar la continuidad de la funcin 2 x ) (
2
x si x f en el punto x $ %.
Aeniendo en cuenta que su grfica es la que se
adjunta, podemos observar que en " $ % hay una
discontinuidad esencial porque no e"iste el l&mite
por la derecha.
%.- Teore&a! !o're "unione! ontinua!.
Teore&a de Bol6ano)
Si una funcin f(x) es continua en un intervalo cerrado y
toma valores de signo opuesto en los extremos, entonces existe al
menos un punto interior c del intervalo en el que f(c) = .
Interpretacin geom0trica'
Geom0tricamente este teorema significa que una funcin
continua no puede pasar de un lado a otro del eje H sin cortarlo lo que,
evidentemente, corresponde a la idea intuitiva de continuidad!.
/bservaciones'
,.> El teorema afirma que e"iste un punto c en a, b! tal que fc! $
#, pero no afirma que ese punto sea )nico. +uede haber varios como
en la segunda figura.
%.> El teorema establece una condicin suficiente pero no
necesaria, para que una funcin se anule en un punto. 9na funcin
puede ser continua en =a, b@, no cambiar de signo y sin embargo
anularse en alg)n punto c de a, b!. +or ejemplo f"! $ "
%
en =>,, ,@.
..> La hiptesis de continuidad es
fundamental. 1i la funcin no es continua la
conclusin puede no ser cierta. +or
ejemplo'
Con!euenia!) (a prinipal utilidad de di-o teore&a e!t7 en 3ue
!irve para deter&inar ero! de "unione! 8 !oluione! de
euaione!. ya lo veremos en los ejercicios!

Teore&a de $ar'ou9 o de lo! valore! inter&edio!
Si una funcin f(x) es continua en un intervalo cerrado !a, "#,
entonces, para cualquier valor $ comprendido entre f(a) y f(") existe al
menos un c en (a, ") tal que f(c)=$.
Es decir, f(x) toma todos los valores comprendidos entre f(a) y f(")
!emostracin
Este teorema es consecuencia del anterior y lo podr&amos
demostrar sin ms que considerar una nueva funcin que
cumplir&a las condiciones del teorema de Iolzano'
gx! es continua en por ser diferencia de dos funciones
continuas
1upuesto que fa! J f"!, entonces'
1e verifican, por tanto, las hiptesis del teorema de Iolzano y, en
consecuencia, tambi0n se verificar la tesis, es decir'
Teore&a de
:eier!tra!!)
1i una funcin f"! es continua en un intervalo cerrado =a, b@
e"isten en ese intervalo dos puntos en los que la funcin alcanza,
respectivamente, sus valores m"imo y m&nimo.
Es evidente que si la grfica
comienza en a,fa!! y termina en
b,fb!!, sin levantar el lpiz del papel
por ser f continua, no puede
dispararse al infinito, luego ha de
tener un punto de m"ima altura y otro de m&nima altura.
Interpretacin geom0trica'
Geom0tricamente este
teorema significa que dada una
funcin continua en un intervalo
cerrado =a, b@, su grfica queda
comprendida entre las rectas y $
K e y $ E, siendo K y E los
valores m"imo y m&nimo que
alcanza la funcin en el intervalo.
/bservaciones'
,.> +uede ocurrir que los valores m"imo y
m&nimo se alcancen en los e"tremos del
intervalo.
%.> Las hiptesis de continuidad y de ser
cerrado el intervalo son fundamentales. 1i
falla alguna de ellas la conclusin puede no ser cierta, como puede
verse con los ejemplos siguientes'
a! la funcin f"! $ ,L" en el intervalo #,%! no
tiene m"imo ni m&nimo.
b! la siguiente funcin, en el intervalo
cerrado =#, ,@ no tiene m"imo a pesar de
ser cerrado el intervalo por fallar la
continuidad.

Apliaione! de lo! teore&a! !o're "unione! ontinua!
Los teoremas sobre funciones continuas nos sirven para saber si una
ecuacin tiene o no solucin en un intervalo e, incluso, para apro"imar
dicha solucin hasta un determinado orden.
$e&o!trar 3ue la euai+n 0 3 5
3
+ x x tiene una !olui+n en el
intervalo [ ]
1, 2 .
La funcin
3 5 ) (
3
+ x x x f
es una funcin continua en todo C por
ser polinmica y, por tanto, tambi0n es continua en el intervalo
[ ]
1, 2 ,
.
*dems, se verifica que'
1 ) 2 ( y 0 1 ) 1 ( + < f f
M#
En consecuencia, se cumplen las hiptesis del teorema de Iolzano
tenemos una funcin continua en un cerrado que toma valores de
signo opuesto en los e"tremos del mismo! y, por tanto, tambi0n se
cumplir la tesis'
[ ]
1, 2 / ( ) 0 c f c
y nuestra ecuacin tiene una solucin en el intervalo
[ ]
1, 2 .
(a "uni+n
tgx x f ) (
to&a valore! de di!tinto !i5no en lo!
e9tre&o! del intervalo
1
]
1

4
3
,
4

8, !in e&'ar5o, no !e anula en
;l. <Contradie e!to el teore&a de Bol6ano=
La funcin
x
x
x x f
cos
sen
tg ) (
es continua en todo C menos en los
puntos en los que se anula la funcin coseno y, dentro del intervalo
dado, e"iste un punto en el que se anula
.
4
3
,
4 2
1
]
1

x
En consecuencia, la funcin tangente no es continua en el intervalo
1
]
1

4
3
,
4

1e verifica que'
1
4
3
tg
4
3
y 1
4
tg
4

,
_

,
_

f f
Eo se cumplen las hiptesis de Iolzano y, por tanto, tampoco se
cumplir la tesis.
En consecuencia, no se contradice el teorema ya que si no se
cumplen las hiptesis, no se cumplir la tesis.