4.

Teorema de los valores extremos

Sea f : a, b continua en su dominio. Entonces existen puntos x 1 , x 2 a, b
tales que fx 1 inf fa, b y fx 2 sup fa, b.
Es decir, fx 1 es el nfimo de todas las imgenes del intervalo a, b y fx 2 es el
supremos de todas las imagenes del intervalo a, b
Demostracin:
La demostracin la haremos en dos partes
Demostraremos primero que toda funcin continua en un intervalo
cerrado y acotado a, b es acotada, es decir el conjunto fa, b es acotado.
Posteriormente probaremos que el supremo del conjunto acotado anterior
es la imagen de uno de los puntos del intervalo a, b. Lo mismo con el nfimo
Para demostrar definimos el conjunto
A x a, b : fa, x es acotado
Es decir, el conjunto A contiene todos los puntos del dominio x que cumplen
que la imagen del intervalo que va desde a hasta x resulta ser un conjunto
acotado.
Por ejemplo a A, ya que la imagen del intervalo a, a es acotado, de esta
forma A .
Claramente A a, b, por lo tanto el conjunto A esta acotado superiormente por
b e inferiormente por a
Por el axioma del supremo existe x 0 sup A. Como x 0 es un elemento del
dominio de f y f es contnua en x 0 , la funcin f es acotada en una vecindad de
x 0 , as x 0 a
Claramente x 0 b. Si suponemos x 0 b, por ser f acotada en una vecindad de
x 0 , existera un x x 0 tal que fa, x es un conjunto acotado y en tal caso x 0 no
podra ser supremos de A. De esta forma la nica posibilidad es que que cada
x 0 b.
Como conclusin tenemos que el conjunto fa, b es acotado.
Ahora probemos
Llamemos inf fa, x, w sup fa, x; podran o no estar y w en el
recorrido de f, debemos demostrar que w y estn en el recorrido de la funcin.
Supongamos w fx, x a, b. Se tendra que la funcin wfx 1

es contnua
en a, b y por lo tanto acotada all (por .
Esto, sin embargo, no es cierto, pues si nos damos K 0 y tomamos K1 ,
por definicin de supremo habra x a, b tal que
fx w que es equivalente a 0 w fx , luego wfx
1

1 K, es
1
decir no es acotada la funcin wfx
. Esto es una contradiccin con que se
produce al suponer que w fx, x a, b, as x 2 tal que fx 2 sup fa, b
Anlogamente ocurre con . Esto demuestra que ambos puntos son asumidos
por la funcin en el intervalo.