Funciones Continuas

Funciones Continuas.
Continuidad en un punto.
Definicin:
f
es continua en
0
x

'

) ( ) (
) (
) (
0
0
0
0
x f x f lm
x f lm
x f
x x
x x
Si en
0
x
no se cumple alguna de estas tres condiciones f es discontinua en
0
x
.
Si
) ( ) (
0
0
x f x f lm
x x

'

< < > >
) ), ( ( ) , ( ) , ( ) ), ( (
0 0
0 0 0 0
) ( / ,
) ( ) ( / 0 , 0


x f x x x f
E x f E x E E
x f x f x x
Definicin:
f
es continua por la derecha en
0
x

) ( ) (
0
0
x f x f lm
x x

+

.
Definicin:
f
es continua por la izquierda en
0
x

) ( ) (
0
0
x f x f lm
x x

.
Incrementos (otra definicin de continuidad en un punto)
Definiciones. Dada
f
, si x pasa del valor
0
x
al valor
1
x , la diferencia
0 1
x x
se llama incremento de la variable x y
se la designa:
0 1
x x x

x x x +
0 1
.
Al incrementar
0
x
en x su imagen
) (
0
x f
se incrementa a
) (
0
x x f +
y a la diferencia
) ( ) (
0 0
x f x x f +
se le
llama incremento de la variable
y
, y se lo designa
) ( ) (
0 0
x f x x f y +

) ( ) (
0 0
x x f y x f + +
.
Definicin:
f
continua en
0
x

) 0 0 ( y x
.
Clasificacin de discontinuidades.
Estudie la continuidad de las siguientes funciones en el punto que se indica;
a)
2
) (
2 ) (
sgx
x f en 0 x , b)
4
2
) (
2
2

x
x x
x f en 2 x , c)
x
e
x f
1
1
2
) (
+

en 0 x d)
x
e x f

2
4
) (
en 2 x , e)
2
3 2
) (
+
+

x
x
x f en 2 x f)
2
) 1 (
1 4
) (
+

x
x
x f
en 1 x g)
) 2 4 ln( ) ( x x f
en 2 x , h)
2
9 ) ( x x f en
3 x i) ) 9 ( ) (
2 2
x x x f en 0 x
Continuidad en un intervalo.
Definicin:
f
continua en [ ] b a,
f
continua en c interior al [ ] b a, , continua por la derecha en a y continua por la
izquierda en b.

) ( ) ( c f x f lm
c x

,
c
interior al
[ ] b a,
;
) ( ) ( a f x f lm
a x

+

;
) ( ) ( b f x f lm
b x

Teorema: Si
f
y
g
son continuas en
0
x
) )( ( x g f

t
es continua en
0
x .
Demostracin.
Teorema: Si
) (x f
continua en
0
x
,
) (x g
continua en
) (
0
x f

)) ( ( ) )( ( x f g x f g
es continua en
0
x
.
Demostracin:
Teorema de acotacin de las funciones continuas.
Teorema: Si
f
continua en
0
x
f
acotada en
) , (
0
x
E
Demostracin:
Teorema de la conservacin del signo.
Teorema:
0 ) ( ) (
0
0

x f x f lm
x x

f
tiene en un
) , (
0
x
E
el mismo signo que
) (
0
x f
.
Prof. Carlos A. Guerrero. Notas para 3 C.M. Abril 2007. 1
Funciones Continuas
Demostracin:
Teoremas sobre las funciones continuas.
Teorema de encaje de intervalos.
Teorema: Sea
F
una familia de intervalos [ ]
i i
b a , , tales que cumplan:
1- [ ] [ ]
1 1
, ,

n n n n
b a b a .
2- < >

n n
b a N n / , 0 .
Entonces: [ ] i b a p nico p
i i
, , / , .
Demostracin:
Como
i i
b a <
{
n
a tiene k {
n
a tiene
i
b e
{
n
b
tiene
k

{
n
b
tiene
i
a e
. Debe ser
i i
b e e a (Por el teorema de aproximacin de los extremos)
e e a b
i i

.
Supongo e e < ; sea e e <

n n
b a N n /
e e b a
n n
<
, absurdo e e e e p .
1er. Teorema de Weierstrass.
Teorema: Si
f
continua en [ ] b a,
f
acotada en[ ] b a, [ ] b a x k x f k k k , , ) ( / , .
Demostracin: Supongamos que
f
no es acotada en[ ] b a, .
I- Dividamos [ ] b a, en dos partes iguales
]
]
]

+
2
,
b a
a y
]
]
]

+
b
b a
,
2
, entonces
f
no es acotada en al menos uno de los
subintervalos. Si no es acotada en los dos, elegimos uno de ellos, por ejemplo
]
]
]

+
2
,
b a
a obteniendo as un nuevo intervalo
de no acotacin, el que volvemos a subdividir en dos y as sucesivamente.
Se obtiene entonces una sucesin de intervalos encajados [ ]
n n
b a , , tales que:
1- [ ] [ ]
1 1
, ,

n n n n
b a b a .
2- < >

n n
b a N n / , 0 ; pues como
n
n n
a b
a b
2

2 log
log ) log(
2



> <

<
a b
n
a b
a b
n
n n
Entonces [ ]
n n
b a , nico.
II- Como
f
continua en [ ] b a,
) ( ) (

f x f lm
x

1 ) ( ) ( 1 ) ( + < < f x f f , para un

) , (
E 1 ) ( f es
cota inferior y
1 ) ( + f
es cota superior de
f
en

) , (
E
f
acotada en

) , (
E .
III- Luego [ ]
' '
,
n n
b a del encaje / [ ]

) , ( ' '
,

E b a
n n
; por lo que resulta:
f
acotada en

) , (
E y
f
no es acotada en
[ ]

) , ( ' '
,

E b a
n n
, absurdo.

f
acotada en
[ ] b a,
[ ] b a x k x f k k k , , ) ( / , .
2do. Teorema de Weierstrass.
Teorema: Si
f
continua en [ ] b a, [ ] [ ] m x f b a x m x f b a x ) ( / , ; ) ( / ,
2 2 1 1
.
Demostracin:
Si
f
continua en [ ] b a,
f
acotada en [ ] b a,
f
tiene un e y un e en [ ] b a, supongamos que e x f < ) ( en
[ ] b a,
Sea
) (
1
) (
x f e
x g

,
g
continua y
0 ) ( > x g
en
[ ] b a,

g
acotada en
[ ] b a,
k x g < ) ( 0
k
x f e
<

<
) (
1
0

k
e x f
1
) (
k
e
1
cota superior de
f
menor que e . Absurdo m e .
Del mismo modo se demuestra que m e .
Teorema de Bolzano.
Teorema: Si
f
continua en [ ] b a, ,
0 ) ( ). ( < b f a f
[ ] 0 ) ( / , c f b a c .
Demostracin: Supongamos
0 ) ( < a f
y
0 ) ( > b f
. Sea [ ] { 0 ) ( , , / x f b a x x S , en particular S a S y
S tiene k S tiene e puede ser 0 ) ( < e f , 0 ) ( e f o 0 ) ( > e f .
Prof. Carlos A. Guerrero. Notas para 3 C.M. Abril 2007. 2
Funciones Continuas
Si 0 ) ( > e f
, e
E
/
0 ) ( > x f
e cota superior de S , absurdo no puede ser 0 ) ( > e f .
Si 0 ) ( < e f
, e
E
/
0 ) ( < x f

0 ) ( < x f
para algn e x > , absurdo no puede ser 0 ) ( < e f .
Entonces 0 ) ( e f es la nica posibilidad [ ] 0 ) ( / , c f b a c .
Teorema de Darboux.
Teorema: Si
f
continua en [ ] b a, ,
) ( ) ( b f K a f < <
o
) ( ) ( b f K a f > >
[ ] K c f b a c ) ( / ,
Demostracin: Consideremos
K x f x g ) ( ) (

g
continua en [ ] b a, ,
0 ) ( ). ( < b g a g
[ ] 0 ) ( / , c g b a c
0 ) ( K c f

K c f ) (
.
Teorema: Si
f
continua en [ ] b a, , y

( ) b a, ,
) ( f
y
) ( f
arbitrarios
f
toma en [ ] b a, todos los valores
del [ ] ) ( ), ( b f a f .
Demostracin: Basta aplicar el teorema de Darboux para todo c / [ ] ) ( ), ( ) ( b f a f c f
Prof. Carlos A. Guerrero. Notas para 3 C.M. Abril 2007. 3