Funciones Continuas

Funciones Continuas.
Continuidad en un punto.

f ( x0 )
lm f ( x)

Definicin: f es continua en x 0

x x0

f ( x) f ( x 0 )
xlm
x

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

Si

0, 0 / x x0 f ( x) f ( x0 )
E ( f ( x0 ), ) , E( x0 , ) / x E ( x0 , ) f ( x) E( f ( x0 ), )

lm f ( x) f ( x0 )

x x0

f ( x) f ( x0 ) .

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

x0

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

x0

f ( x) f ( x 0 ) .

Incrementos (otra definicin de continuidad en un punto)

Definiciones. Dada f , si

pasa del valor x 0 al valor x1 , la diferencia x1 x 0 se llama incremento de la variable

se la designa: x x1 x0 x1 x0 x .
Al incrementar x 0 en x su imagen f ( x 0 ) se incrementa a f ( x 0 x) y a la diferencia f ( x0 x) f ( x 0 ) se le llama
incremento de la variable y , y se lo designa y f ( x 0 x ) f ( x0 ) f ( x 0 ) y f ( x 0 x ) .
Definicin: f continua en x 0 ( x 0 y 0) .
Clasificacin de discontinuidades.
Estudie la continuidad de las siguientes funciones en el punto que se indica;
2

a) f ( x) 2 ( sgx ) en x 0 , b) f ( x)

f ( x)

x 2 2x
x2 4

en x 2 , c)

f ( x)

2
1
1 e x

en x 0 d) f ( x) e 2 x en x 2 , e)

4x 1
2x 3
en x 2 f) f ( x )
en x 1 g) f ( x ) ln(4 2 x ) en x 2 , h) f ( x)
( x 1) 2
x2

x 3 i)

f ( x)

x 2 ( x 2 9)

9 x 2 en

en x 0

Continuidad en un intervalo.
Definicin: f continua en a, b f continua en
izquierda en b.

f ( x ) f (c ) ,
lm
x c
Teorema: Si f y

interior al a, b ;

g son continuas en x 0

c interior al a, b , continua por la derecha en a y continua por la

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

x a

x b

( f g )( x ) es continua en x 0 .

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

lm f ( x) f ( x0 ) 0 f tiene en un E ( x

x x0

0,

el mismo signo que f ( x 0 ) .

Prof. Carlos A. Guerrero. Notas para 3 C.M. Abril 2007.

Funciones Continuas
Demostracin:
Teoremas sobre las funciones continuas.
Teorema de encaje de intervalos.
Teorema: Sea F una familia de intervalos a i , bi , tales que cumplan:

1- a n , bn a n 1 , bn 1 .

2- 0, n N / a n bn .

Entonces: p, nico / p ai , bi , i .
Demostracin:
Como ai bi a n tiene k a n tiene e bi

bn

extremos)

tiene k bn tiene e ai . Debe ser ai e e bi (Por el teorema de aproximacin de los

bi a i e e

Supongo e e ; sea e e n N / a n bn a n bn e e , absurdo e e p e e .

1er. Teorema de Weierstrass.
Teorema: Si f continua en a, b f acotada en a, b k , k / k f ( x) k , x a, b .
Demostracin: Supongamos que f no es acotada en a, b .

a b
ab
, b , entonces f no es acotada en al menos uno de los
y

a b

subintervalos. Si no es acotada en los dos, elegimos uno de ellos, por ejemplo a,

obteniendo as un nuevo intervalo
2

I- Dividamos a, b en dos partes iguales a,

de no acotacin, el que volvemos a subdividir en dos y as sucesivamente.

Se obtiene entonces una sucesin de intervalos encajados a n , bn , tales que:

1- a n , bn a n 1 , bn 1 .
2- 0, n N / a n bn ; pues como bn a n

ba
log(b a) log
ba
bn a n n n
n
log 2
2
2

Entonces a n , bn nico.

f ( x) f ( ) f ( ) 1 f ( x) f ( ) 1 , para un E ( , ) f ( ) 1 es cota
II- Como f continua en a, b xlm

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

III- Luego a n ' , bn ' del encaje / a n ' , bn ' E ( , ) ; por lo que resulta: f acotada en E ( , ) y f no es acotada en

a n ' , bn '

E ( , )

, absurdo.

f acotada en a, b k , k / k f ( x) k , x a, b .
2do. Teorema de Weierstrass.
Teorema: Si f continua en a, b x1 a, b / f ( x1 ) m; x 2 a, b /
Demostracin:
Si f continua en a, b f acotada en a, b f tiene un e y un e
1
a, b Sea g ( x)
, g continua y g ( x ) 0 en a, b g
e f ( x)
1
1
1
0
k f ( x) e e
cota superior de f menor que
e f ( x)
k
k
Del mismo modo se demuestra que e m .

f ( x2 ) m .
en a, b supongamos que f ( x ) e en
acotada en a, b 0 g ( x ) k
e . Absurdo e m .

Teorema de Bolzano.
Teorema: Si f continua en a, b , f ( a ). f (b) 0 c a, b / f (c ) 0 .

Demostracin: Supongamos f (a ) 0 y f (b) 0 . Sea S x / x a, b, f ( x) 0 , en particular a S

y S

tiene k S tiene e puede ser f (e) 0 , f (e) 0 o f (e) 0 .

Prof. Carlos A. Guerrero. Notas para 3 C.M. Abril 2007.

Funciones Continuas
Si f (e) 0 E e, / f ( x) 0 e cota superior de S , absurdo no puede ser f (e) 0 .
Si f (e) 0 E e, / f ( x) 0 f ( x) 0 para algn x e , absurdo no puede ser f (e) 0 .
Entonces f (e) 0 es la nica posibilidad c a, b / f (c ) 0 .
Teorema de Darboux.
Teorema: Si f continua en a, b , f (a ) K f (b) o f (a ) K f (b) c a, b / f (c) K
Demostracin: Consideremos g ( x ) f ( x ) K g continua en a, b , g ( a ).g (b) 0 c a, b / g (c ) 0
f (c ) K 0 f (c ) K .
Teorema: Si f continua en a, b , y a, b , f ( ) y f ( ) arbitrarios f toma en a, b todos los valores del

f (a), f (b) .

Demostracin: Basta aplicar el teorema de Darboux para todo

c / f (c) f (a), f (b)

Prof. Carlos A. Guerrero. Notas para 3 C.M. Abril 2007.