1

3.2 Continuidad de funciones

Mara Concepcin Gonzlez Enrquez

Intuitivamente una funcin es continua en un punto a si su grfica no tiene
rupturas sobre el punto a .

Definicin. Sea R R f : y ) ( f Dom a , Se dice que ) ( x f es continua
en a si ) ( ) ( lim a f x f
a x
=

.

Es decir, si para cada 0 > , existe 0 > tal que si Domf x y < a x
entonces < ) ( ) ( a f x f .
En palabras se deben cumplir tres condiciones: a debe estar en el dominio
de ) ( x f , debe existir ) ( lim x f
a x
y se debe satisfacer la igualdad
) ( ) ( lim a f x f
a x
=

Ejemplos.
1. | | x x f = ) ( en 2 = a
Est definida en 2 = a , pero no existe
Por lo que ) (x f no es continua en 2 = a
1 2 3 4
1
1
2
3
x
y


2.
10 3
2
) (
2
+

=
x x
x
x f en 2 = a
No est definida en 2 = a , pero existe ) ( lim
2
x f
x

7
1
) 5 (
1
lim
) 5 )( 2 (
2
lim
10 3
2
lim ) ( lim
2 2
2
2 2
=
+
=
+

=
+

=

x x x
x
x x
x
x f
x x x x

Por lo que ) (x f no es continua en 2 = a
2
5 4 3 2 1 1 2 3 4
1
1
x
y


3.
2
1
) (

=
x
x f en 2 = a
No est definida en 2 = a , y no existe ) ( lim
2
x f
x

Por lo que ) (x f no es continua en 2 = a
2 1 1 2 3 4 5 6
3
2
1
1
2
x
y


4.
2
1
) (
+
=
x
x f en 2 = a
Si est definida en 2 = a , y si existe
) 2 (
4
1
2
1
lim ) ( lim
2 2
f
x
x f
x x
= =
+
=


Por lo que ) (x f si es continua en 2 = a

3
2 1 1 2 3 4 5
3
2
1
1
2
x
y



5. Encuentre valores de b a, para que ) (x f sea continua

< < +

=
1 si 3
1 2 si
2 si 6
) (
x
x b ax
x
x f
Para que sea continua los lmites laterales deben existir y ser iguales
En 2 = x y 1 = x que es donde la funcin cambia
Pero 6 ) ( lim
2
=

x f
x
, entonces 6 lim ) ( lim
2 2
= + =
+ +

b ax x f
x x

6 ) 2 ( = + b a
Luego 3 ) ( lim
1
=
+

x f
x
, entonces 3 lim ) ( lim
1 1
= + =


b ax x f
x x

3 ) 1 ( = + b a
Resolvemos el sistema de ecuaciones lineales

0 , 3
9 3

3 ) 1 (
6 ) 2 (
= =
=

= +
= +
b a
a
b a
b a

Por lo tanto la funcin

< <

=
1 si 3
1 2 si 3
2 si 6
) (
x
x x
x
x f
Es continua.
4 3 2 1 1 2 3 4 5
4
3
2
1
1
2
3
4
5
6
x
y

4
Definicin. Sea R R f : se dice que ) ( x f es discontinua en a , si
) ( x f no es continua en a .

Existen dos tipos de discontinuidad:

Discontinuidad removible.
) ( x f tiene una discontinuidad removible en a , si existe ) ( lim x f
a x

y ) ( x f no est definida en a o ) ( ) ( lim a f x f
a x

.

Discontinuidad escencial.
) ( x f tiene una discontinuidad escencial en a , si no existe ) ( lim x f
a x
.

Ejemplos.
i)
10 3
2
) (
2
+

=
x x
x
x f en 2 = a
No est definida en 2 = a , pero existe

7
1
) 5 (
1
lim
) 5 )( 2 (
2
lim
10 3
2
lim ) ( lim
2 2
2
2 2
=
+
=
+

=
+

=

x x x
x
x x
x
x f
x x x x

Por lo que ) ( x f no es continua en 2 = a
Y se tiene discontinuidad removible.
5 4 3 2 1 1 2 3 4
1
1
x
y

ii)
x
x f
1
) ( = en 0 = a
) ( x f no est definida en cero y tampoco existe ) ( lim
0
x f
x
por lo
tanto se tiene una discontinuidad esencial en 0 = a

iii) | | x x f = ) ( en 4 = a
| | | | 2 2 4 ) 4 ( = = = f est definida, pero 1 ) ( lim
4
=

x f
x
y
2 ) ( lim
4
=
+

x f
x

Por lo tanto no existe ) ( lim
4
x f
x

5
Tenemos una discontinuidad esencial en 4 = a
1 2 3 4 5 6 7 8 9
2
1
1
2
3
4
x
y



Una discontinuidad removible permite construir otra funcin a partir de la
inicial de tal manera que resulte continua.

Ejemplo.
2 3
1
) (
+

=
x
x
x f en 1 = a
0
0
) 1 ( = f es decir la funcin no est definida en 1 = a , luego trabajamos
algebraicamente el lmite correspondiente
4 2 3 lim
1
) 2 3 )( 1 (
lim
4 3
) 2 3 )( 1 (
lim
2 3
2 3
2 3
1
lim
2 3
1
lim ) ( lim
1
1
1
1 1 1
= + + =

+ +
=
+
+ +
=
+ +
+ +
+

=
+

x
x
x x
x
x x
x
x
x
x
x
x
x f
x
x
x
x x x

Como si existe el lmite, tenemos una discontinuidad removible en 1 = a ,
Lo cual nos permite definir la nueva funcin

=
1 si 4
1 si
2 3
1
) (
x
x
x
x
x g
La cual resulta continua en 1 = a .

Teorema. Sean ) ( y ) ( x g x f funciones continuas en a , entonces
i) ) )( ( x g f + es continuas en a ,
ii) ) )( ( x fg es continua en a
iii) ) )( / ( x g f es continua en a , si 0 ) ( a g .
Demostracin.
i) Como ) ( y ) ( x g x f son continuas en a ,
6
) ( ) ( lim a f x f
a x
=

y ) ( ) ( lim a g x g
a x
=

y por el teorema de lmites

) ( ) ( ) ( lim ) ( lim ) )( ( lim a g a f x g x f x g f
a x a x a x
+ = + = +


Por lo tanto ) )( ( x g f + es continua en a .

En forma similar se justifican las dems afirmaciones.

Ejemplo. x x x f =
3
) ( y x x x x g 4 2 ) (
2 4
+ + = son continuas en 2 = a
entonces
i) x x x x x g f 3 2 ) )( (
2 3 4
+ + + = + es continuas en 2 = a ,
ii)
2 3 4 5 7
4 2 4 ) )( ( x x x x x x fg + + = es continua en 2 = a
iii)
x x x
x x
x g f
4 2
) )( / (
2 4
3
+ +

= es continua en 2 = a porque
0 16 8 8 16 ) 2 ( 4 ) 2 ( 2 ) 2 ( ) 2 (
2 4
= + = + + = g

Teorema. Si ) ( ) ( lim a f x f
a x
=

y g es continua en ) (a f , entonces
) )( ( x f g o es continua en a .
Demostracin. Como g es continua en ) (a f , podemos escribir
)) ( ( ) ( lim
) (
a f g t g
a f t
=

Tambin ) ( ) ( lim a f x f
a x
=

, tomando L a f = ) (
Y aplicando el teorema de lmites:
Si L x f
a x
=

) ( lim y ) ( ) ( lim L g t g
L t
=

entonces existe ) )( ( lim x f g

a x
o

y
)) ( lim ( )) ( ( ) ( ) )( ( lim x f g a f g L g x f g
a x a x
= = = o .

Ejemplo. 5 3 ) ( + = x x f es continua en 5 = a y x x g = ) ( es continua en
20 ) 5 ( = f entonces 5 3 )) ( ( ) )( ( + = = x x f g x f g o es continua en 5 = a .

Tambin existen los trminos de continuidad por la izquierda o continuidad
por la derecha en un punto:

Una funcin f definida en a es continua por la izquierda en el punto a
si existe ) ( lim x f
a x

y ) ( ) ( lim a f x f
a x
=

Una funcin f definida en a es continua por la derecha en el punto a si
existe ) ( lim x f
a x
+

y ) ( ) ( lim a f x f
a x
=
+

Ejemplo.

=
0 si 2
0 si
) (
x
x
x
x x
x f
7
Para 0 > x tenemos 0
0
= =

x x
x x
x
x x

Para 0 < x tenemos 2
2 ) (
= =

=

x
x
x
x x
x
x x

La funcin es continua por la izquierda en cero y no es continua por la
derecha en cero. Su grfica es la siguiente:
3 2 1 1 2 3 4
4
3
2
1
1
2
3
x
y


Definicin. Sea R R f : se dice que ) ( x f es continua en un conjunto
R A si ) ( x f es continua en a para cada A a .

Ejemplo. Determine el conjunto donde es continua cada una de las
funciones
i) | | x x x f 2 2 ) ( = son continuas en a,
Notamos que si est definida en 1 2 + < k x k , entonces

2
1
2
+
<
k
x
k

y | | k x = 2 , la grfica de la funcin es la siguiente
2 1 1 2 3
2
1
1
2
x
y

Es continua en
)
`

Z k
k
R :
2

i) 5 4 ) (
2
+ = x x x f es continua en ( | | ) , 1 5 , U
8
ii)
2
1
1
) (
x
x f

= es continua en el intervalo abierto ( ) 1 , 1

iii)
x
x
x
x
x f
2 6
8 4
2 6
8 4
) (

+
=

+
=

x x x
x x x
> > >
+
3 2 6 0 2 6
2 8 4 0 8 4

Por lo tanto es continua en | ) 3 , 2

Funciones continuas.
i) C C
a x
=

lim
ii) a x
a x
=

lim
iii)
n
n
n
n
a x
a b a b b x b x b b + + + = + + +

K K
1 0 1 0
) ( lim

Implican que las funciones
n
n
x b x b b x f x x I C x f + + + = = = K
1 0
) ( , ) ( , ) (
son continuas en todos los reales y

m
m
n
n
x b x b b
x a x a a
x f
+ + +
+ + +
=
K
K
1 0
1 0
) ( es continua en R x donde
0
1 0
+ + +
m
m
x b x b b K


Teorema. Si f es continua en a y d a f c < < ) ( entonces existe 0 >
tal que si Domf x y < a x entonces d x f c < < ) ( .
Demostracin.
Como ) ( 0 y ) ( 0 a f d c a f < < , tomamos { } ) ( , ) ( min a f d c a f =

Entonces


< <
< + <
) ( ) (
) ( ) (
a f c c a f
d a f a f d


para 0 > , existe 0 > tal que si Domf x y < a x entonces
< ) ( ) ( a f x f o
< < ) ( ) ( a f x f

) ( ) ( ) ( a f x f a f + < < +

d a f x f a f c + < < + < ) ( ) ( ) (
Por lo tanto
d x f c < < ) ( .

9
Se pueden expresar algunas versiones particulares de este resultado, como
las siguientes.

i) Si f es continua en a y d a f < ) ( entonces existe 0 > tal
que si Domf x y < a x entonces d x f < ) ( .
ii) Si f es continua en a y ) (a f c < entonces existe 0 > tal que
si Domf x y < a x entonces ) ( x f c < .
iii) Si f es continua en a y ) ( 0 a f < entonces existe 0 > tal
que si Domf x y < a x entonces ) ( 0 x f < .
iv) Si f es continua en a y 0 ) ( < a f entonces existe 0 > tal que
si Domf x y < a x entonces 0 ) ( < x f .


Existen propiedades importantes para funciones continuas definidas en un
intervalo cerrado

Definicin. Se dice que una funcin f definida sobre | | b a, , es continua
sobre | | b a, , si f es continua en el intervalo abierto ( ) b a, , existen los
lmites ) ( lim x f
a x
+

, ) ( lim x f
b x

y ) ( ) ( lim a f x f
a x
=
+

y ) ( ) ( lim b f x f
b x
=

Teorema del valor intermedio. Sea f continua sobre | | b a, y
) ( ) ( b f a f < , si t es un nmero tal que ) ( ) ( b f t a f < < entonces existe
) , ( b a c tal que t c f = ) ( .
Demostracin.
Consideramos el conjunto | | { } t x f b a x S < = ) ( : , ,
Como S a , S y S est acotado superiormente por b , por el
axioma del supremo, S tiene supremo, sea c S = sup
| | b a c , implica que t c f < ) ( o t c f = ) ( o t c f > ) (
Por contradiccin.
Si t c f < ) ( , b c porque ) (b f t < , entonces f es continua en c y por
i) de las afirmaciones anteriores, existe 0 > tal que si Domf x y
< c x entonces t x f < ) ( .
Para las x tales que + < < c x c
Se tiene t x f < ) ( , lo que contradice que | | { } t x f b a x S c < = = ) ( : , sup sup ,
por lo que no puede ser que t c f < ) ( .

Si t c f > ) ( , entonces a c y f es continua en c y por ii) de las
afirmaciones anteriores, existe 0 > tal que si Domf x y < c x
entonces t x f > ) ( .
10
Como 0 > y c S = sup , existe S x tal que x c <
Pero si S x , t x f < ) ( lo cual contradice t x f > ) ( .

As que t c f = ) ( y a c , b c , es decir ) , ( b a c .

Ejemplo. La funcin x x x f 2 ) (
2
= en el intervalo | | 5 , 1 con 8 = t .
1 ) 1 ( = f , 15 ) 5 ( = f y 15 8 1 < <
) 2 )( 4 ( 0 8 2 8 2 8 ) (
2 2
+ = = = = c c c c c c c f
2 o 4 = = c c
Pero | | 5 , 1 4 = c y satisface 8 8 16 ) 4 ( = = f

Ejemplo. La funcin
1
) (
2

+
=
x
x x
x f en el intervalo
(

4 ,
2
5
con 6 = t .
6
35
2
5
= |

\
|
f ,
3
20
) 4 ( = f y
6
40
6
6
35
< <
6 6 6
1
6 ) (
2
2
= + =

+
= c c c
c
c c
c f
) 2 )( 3 ( 0 6 5
2
= = + c c c c
3 o 2 = = c c
Pero
(

= 4 ,
2
5
3 c y satisface 6
2
12
) 3 ( = = f

Ejemplo. La funcin
) 2 )( 5 (
5
10 3
5
) (
2
+

=


=
x x
x
x x
x
x f en el intervalo | | 6 , 4
no es continua,
8
1
) 6 ( ,
6
1
) 4 ( = = f f y
6
1
7
1
8
1
< < , pero no existe ) 6 , 4 ( c tal
que
7
1
) ( = c f

Corolario. Sea f continua sobre | | b a, , si ) (a f y ) (b f tienen signos
opuestos entonces existe ) , ( b a c tal que 0 ) ( = c f .

Este ltimo resultado es de gran utilidad para dar aproximaciones de las
races de polinomios que no son exactas.

Ejemplo. Demuestre que el polinomio 1 3
6
x x tiene un cero o raz en
| | 0 , 1 y otra en | | 2 , 1 .
Tomamos 1 3 ) (
6
= x x x f
0 3 1 3 1 ) 1 ( > = + = f , 0 1 ) 0 ( < = f y 3 0 1 < <
entonces existe ) 0 , 1 ( c tal que 0 ) ( = c f

11
luego:
0 3 1 3 1 ) 1 ( < = = f , 0 57 1 6 64 ) 2 ( > = = f y 57 0 3 < <
entonces existe ) 2 , 1 ( c tal que 0 ) ( = c f .

Ejemplo. Demuestre que el polinomio 8 10 3
2
+ x x tiene un cero o raz en
| | 1 , 0 y de una aproximacin de la raz.
Tomamos 8 10 3 ) (
2
+ = x x x f
0 8 ) 0 ( < = f , 0 5 8 10 3 ) 1 ( > = + = f y 5 0 8 < <
entonces existe ) 1 , 0 ( c tal que 0 ) ( = c f

la primera aproximacin para la raz en ) 1 , 0 ( c
es el punto medio del intervalo
2
1
2
1 0
1
=
+
= c con un error 5 . 0
2
0 1
=

< e

0 ) 1 ( , 0
4
9
8 5
4
3
2
1
> < = + = |

\
|
f f , entonces existe
|

\
|
1 ,
2
1
c tal que 0 ) ( = c f
la segunda aproximacin para la raz en
|

\
|
1 ,
2
1
c
es el punto medio del intervalo 75 . 0
4
3
2
1 ) 2 / 1 (
2
= =
+
= c con un error
25 . 0
2
) 2 / 1 ( 1
=

< e
0
2
1
, 0
16
19
8
4
30
16
27
4
3
< |

\
|
> = + = |

\
|
f f , entonces existe
|

\
|

4
3
,
2
1
c tal que
0 ) ( = c f
la tercera aproximacin para la raz en
|

\
|

4
3
,
2
1
c
es el punto medio del intervalo 625 . 0
8
5
2
) 4 / 3 ( ) 2 / 1 (
3
= =
+
= c con un error
125 . 0 < e
0
4
3
, 0
64
37
8
8
50
64
75
8
5
> |

\
|
< = + = |

\
|
f f , entonces existe
|

\
|

4
3
,
8
5
c tal que
0 ) ( = c f
la cuarta aproximacin para la raz en
|

\
|

4
3
,
8
5
c
es el punto medio del intervalo 6875 . 0
16
11
2
) 4 / 3 ( ) 8 / 5 (
4
= =
+
= c con un error
0625 . 0 < e , es decir el valor de la raz est en el intervalo
( ) ( ) 75 . 0 , 625 . 0 0625 . 0 6875 . 0 , 0625 . 0 6875 . 0 = + y se puede verificar que la raz
exacta es 666 . 0
3
2
= = c puesto que 0 8 8 8
3
20
3
4
8
3
20
9
12
3
2
= = + = + = |

\
|
f

12
Definicin. Una funcin f definida en un conjunto A se dice que est
acotada superiormente sobre A si existe un nmero real M tal que
M x f ) ( para todo A x .
f se dice acotada inferiormente sobre A si existe un nmero real N tal
que ) ( x f N para todo A x .
Si f est acotada superior e inferiormente sobre A se dice que f es
acotada sobre A.

Teorema fuerte de continuidad 1. Si f es continua sobre | | b a, , entonces
i) f est acotada superiormente en | | b a, .
ii) f est acotada inferiormente en | | b a, .

Demostracin.
i) Consideramos el conjunto
| | | | { } x a f b a x A , en nte superiorme acotada est : , =

Como A a , A y A est acotado superiormente por b , por el
axioma del supremo, A tiene supremo.
Como b es cota superior de A, b A sup
Si b A < sup ( f est acotada superiormente en | | x a, para A x sup ) y
como f es continua en A sup , por i) de las afirmaciones,
existe 0 > tal que si | | b a x , y < A x sup entonces f est acotada
superiormente en ) sup , (sup + A A
tomamos ) sup , (sup
0
A A x y ) sup , (sup
1
+ A A x
f est acotada en | |
0
, x a , y f est acotada en | |
1 0
, x x por lo que
f est acotada en | |
1
, x a de aqu que A x
1

y
1
sup x A < , lo que es una contradiccin
Por lo tanto b A = sup
Puede suceder que A sup no sea elemento de A

Pero f es continua por la izquierda en b , existe 0 > tal que f est
acotada en ( | b b , , para algn
0
x tal que b x b < <
0

f est acotada en | |
0
, x a y est acotada en | | b x ,
0
, por lo tanto esta acotada
en | | b a, .


ii) Si f es continua sobre | | b a, , entonces tambin f es continua sobre
| | b a, , y f es acotada superiormente, es decir existe R N tal que
N x f ) ( para todo | | b a x ,
13
Por lo tanto N x f ) ( , para todo | | b a x , , es decir f est acotada
inferiormente.

Ejemplo. La funcin
x
x f
1
) ( = en el intervalo | | 4 , 2 es continua y est
acotada superiormente e inferiormente por
4
1
y
2
1
respectivamente.
1 2 3 4 5 6
1
1
x
y


Ejemplo. La funcin
2
) 1 (
1
) (

=
x
x f en el intervalo | | 2 , 0 no es continua y
no est acotada superiormente y si inferiormente por cero.
1 1 2 3 4
1
1
2
3
4
5
6
7
8
x
y


Ejemplo. La funcin
6
1 3
) (
2


=
x x
x
x f en el intervalo ( ) 3 , 2 es continua y
no est acotada superiormente ni inferiormente.
14
4 3 2 1 1 2 3 4 5
5
4
3
2
1
1
2
3
4
x
y


Definicin. Sea f definida sobre | | b a, y | | b a c , . Se dice que c es un
punto mximo de f sobre | | b a, , si ) ( ) ( x f c f para todo | | b a x , .
A ) (c f se le llama valor mximo de f sobre | | b a, .

Definicin. Sea f definida sobre | | b a, y | | b a c , . Se dice que c es un
punto mnimo de f sobre | | b a, , si ) ( ) ( x f c f para todo | | b a x , .
A ) (c f se le llama valor mnimo de f sobre | | b a, .

Teorema fuerte de continuidad 2. Si f es continua sobre | | b a, , entonces
i) Existe | | b a c , tal que ) ( ) ( x f c f para todo | | b a x , .
ii) Existe | | b a c , tal que ) ( ) ( x f c f para todo | | b a x , .

En otras palabras, si f es continua sobre | | b a, , f alcanza su mximo y
alcanza su mnimo en | | b a, .

Demostracin.
i) Como f es continua sobre | | b a, , por el primer teorema fuerte, f est
acotada superiormente en | | b a, y
| | { } = b a x x f f , : ) ( ) Im(
Por el axioma del supremo, ) Im( f tiene supremo, digamos ( ) ) Im( sup f = .
P.D. ) (c f = para algn | | b a c ,
Si ) ( x f para todo | | b a x , , podemos definir la funcin
) (
1
) (
x f
x g

=

con | | b a x , , la cual es continua en el intervalo | | b a, y por
lo tanto acotada en | | b a, .
Pero como ( ) ) Im( sup f = , para 0 > , existe | | b a x , tal que
) ( x f < o < ) ( x f
Y ) ( 0 x f < porque ( ) ) Im( sup f =
15
Entonces
) (
1 1
x f
<

, es decir que
) (
1
) (
x f
x g

=

no es acotada, lo cual
es una contradiccin.
Por lo tanto ) (c f = para algn | | b a c , .

Ejemplo. La funcin 1 2 ) (
2
+ = x x x f en el intervalo | | 0 , 2 es continua
y alcanza su mximo en | | 0 , 2 1
1
= c , el mximo es 2 ) 1 ( = f . Su
mnimo lo alcanza en | | | | 0 , 2 0 en y 0 , 2 2
3 2
= = c c y el mnimo es
1 ) 2 ( = f
2 1 1
1
1
2
x
y

Ejemplo. Encuentre el mximo y el mnimo de
6 5
12
) (
2
+
=
x x
x f en
| | 10 , 5 .
f es continua sobre el intervalo y tenemos
56 ) 2 )( 3 ( 6
8 2 3
7 3 2
10 5
)
`

x x
x
x
x
6
1
) 2 )( 3 (
1
56
1

x x


6
12
6 5
12
56
12
2

+

x x


Su mximo es 2 y lo alcanza en 5 = x , su mnimo es
14
3
56
12
= y lo alcanza
en . 10 = x
16
1 2 3 4 5 6 7 8 9 10 11
1
2
x
y

Ejemplo. La funcin
1
) 1 )( 1 2 (
1
1 3
) (
2 2 3
+
+ +
=
+
+
=
x
x x x
x
x x x
x g en el
intervalo | | 0 , 2 , no es continua y no alcanza su mximo pero si su
mnimo.
2 1 1
1
2
x
y

Ejemplo. La funcin
2
5
) ( + = x x f en el intervalo ) 2 , 1 ( es continua,
pero no alcanza su mximo ni su mnimo.
1 1 2 3
1
1
2
3
4
x
y


BIBLIOGRAFIA
1. Haaser, LaSalle, Sullivan. Anlisis Matemtico. Vol. 1 Ed. Trillas
2. Spivak Michael. Clculus. Ed. Reverte.
3. Kosmala A. J. Witold. Advanced Calculus. Prentice Hall.