Lmites y continuidad

2 Bachillerato

Presentacin elaborada por la profesora Ana M Zapatero a

partir de los materiales utilizados en el centro (Editorial
SM)

Funciones. Primeras definiciones

1.- Dado un n real a y un n real positivo , se llama entorno de

centro a y radio , al intervalo abierto de extremos a - , a + :
E(a, ) = (a - , a + ) = {xR/a - < x < a + }
2.- 2.1El conjunto A es el dominio de definicin.
Dom f = {x/ f(x) es un nmero real}
2.2. El conjunto de las imgenes de A es el recorrido de la
funcin.
Rec f = {y / y = f(x) con x del conjunto A}

Funcin real de variable real: ejemplo I

La frmula f(x)=x2 relaciona dos variables reales

f(x) = x2

R
Dominio

2
2,3
5

f(2) = 4
f(2,3) = 5,29
f(5) = 25

Recorrido

4
5,29
25

Para que sea aplicacin ha de cumplir dos condiciones:

Todo elemento de D ha de tener imagen.
Esta imagen ha de ser nica.

Funcin real de variable real: ejemplo II

(x, f(x))
x

1
Dominio

Recorrido

f(x)

Lmite de una funcin en un punto: definicin intuitiva

lim f(x) =b
Si a y b son dos nmeros, la expresin
x a
quiere decir que si la variable independiente x toma valores prximos al
nmero a,
los correspondientes valores de f(x) se aproximan al nmero b
Importante: si existe el lmite de una funcin en un punto, dicho lmite
debe ser un nmero y adems nico.
2

x 1
Ejemplo: La funcin f(x) = 2
x 3x + 2 no est definida en los puntos 1 y 2. Cmo se comporta
cuando x toma valores cada vez ms prximos a 1?

x
0,98
0,99
0,999 0,9999
1
1,0001 1,001
1,01
1,1
f(x) 1,9412 1,9703 1,9970 1,9997 no existe 2,0003 2,003 2,0303 2,3333
Cuando x se acerca a 1 por la derecha f(x) se acerca a 2
Cuando x se acerca a 1 por la izquierda f(x) se acerca a 2

x2 1
Se escribe lim 2
=2
x1 x 3x + 2

Lmite de una funcin en un punto: definicin formal

Def: Sean a y L dos nmeros reales. Una funcin f(x) tiene lmite L en el punto
x = a si para todo nmero real > 0 existe otro nmero real > 0, tal que si
0 < |x a | < |f(x) L | <

Para cada > 0

Hay un > 0

0 < |x a | <

La condicin 0 < | x a | < prohibe que x tome el valor a.

No es necesario que la funcin est definida en a.

|f(x) L | <

Lmites laterales de una funcin

Se dice que el nmero b es el lmite de f(x) cuando x tiende hacia a por la derecha (izquierda) , si al tomar valores x estrictamente mayores (menores) prximos
al nmero a, los correspondientes valores de f(x) se aproximan al nmero b. Se
designa lim + f (x) = b (lim
( f (x)= b).
x a

xa

Una funcin se dice que tiene lmite en un punto si y slo si existen los lmites
laterales y ambos son iguales.
Ejemplo: la funcin Ent(x) = mayor n entero menor o igual a x tiene una
grfica como la siguiente. Se observa que:

lim Ent(x) = 3

lim Ent(x) = 2

x3+

x3

Como los lmites laterales no coinciden

la funcin no tiene lmite cuando x3.

Teorema de la unicidad del lmite

Enunciado: Si una funcin tiene lmite en un punto, es nico.
Demostracin: La demostracin se hace por reduccin al absurdo
Suponemos que f(x) tiene 2 lmites distintos b y c, si x tiende a a. Y b > c.
limx->af(x)=b => (por

def. de lmite)

E(b, ) 1 x E*(a,1) f(x) E(b, )

limx->af(x)=c => (por def. de lmite) E(c, ) 2 x E*(a, 2) f(x) E(c, )

Consideremos un tal que E(b, ) E(c, ) = .
Por ej. c+ < b- => < (b - c)/2

sea = min {1 , 2}

Para todo x perteneciente al E*(a, ) se cumple

f(x) pertenece a E(b, )

f(x) pertenece a E(c, )

Absurdo, pues f(x) no puede pertenecer a dos entornos disjuntos. El absurdo
procede de suponer b c. Por lo tanto b = c.

Propiedades de los lmites de funciones

2. Si k es un nmero real lim(k f(x)) = k lim f(x) = k p

Propiedades de los lmites. Demostracin

Enunciado: El lmite de una suma es igual a la suma de los lmites
(si son finitos)
Demostracin: Queremos probar que, dado > 0, > 0 x E(a,
) f(x)+g(x) E(b+c, ). Es decir |(f(x) + g(x)) - (b+c)| < .
Sea ' = /2
limf(x)=b => (def. de lm.) '>0 1>0 x E(a,1) |f(x) - b| < '.
x a

limg(x)=c => (def. de lm.) '>0

x a

2>0 x E(a,2) |g(x) - c| < '.

Sea = min {1,2}. x E(a,) se cumple:|f(x) - b| < , |g(x) - c|<

=> |f(x) - b| + |g(x) - c| < 2' =
|(f(x) + g(x)) - (b+c)|=|(f(x) - b) + (g(x) - c)| |f(x) - b|+|g(x) - c| <
(*) Desigualdad triangular: |a + b| |a| + |b|
=> (por def. de lmite)

lim[f(x) + g(x)] = b + c
x a

Lmites infinitos de una funcin en un punto: definicin

Se dice que el lmite de f(x) cuando x tiende hacia el punto a es mas
infinito si la funcin f(x) se hace tan grande como se quiera (en valor
absoluto) siempre que se tomen valores de x suficientemente prximos al
nmero a, pero distintos de l. Se designa :

lim f ( x )
xa

Se dice que el lmite de f(x) cuando x tiende hacia el punto a es menos

infinito si la funcin f(x) se hace tan grande como se quiera (en valor
absoluto) siempre que se tomen valores de x suficientemente prximos al
nmero a, pero distintos de l. Se designa:

lim f ( x)
xa

Ejemplo: observando la grfica de la

funcin f(x) =

1
se ve que:
|x|

1
lim
=
|
x
|
x0+
1
lim
=
|
x
|

x0

1
=
|
x
|
x0

lim

Lmite infinito en un punto: definicin formal

Ejemplo: En la medida en que x se acerca o 0, con valores positivos a quin se
acerca
f(x) = (x+1) / x?

0,1

0,01

0,01

f(x) = (x+1)/x

11

101

1001

0+

x+1
lim +x = +
x
x+1
=
x
x

De igual manera si x se acerca a 0 con valores negativos se ve

que:
lim

El lmite de f(x) cuando x tiende a a por la derecha es infinito si para

cada nmero K > 0 existe otro nmero d > 0 tal que f(x) > K si a < x <
a + d donde d es funcin del K elegido .
El lmite de f(x) cuando x tiende a a por la izquierda es menos infinito
si para cada nmero K < 0 existe otro nmero d > 0 tal que f(x) < K si a
d < x < a donde d debe ser funcin de K.

Lmites finitos en el infinito: Definicin

Se dice que el n L es el lmite de f(x) cuando x tiende a infinito (menos
infinito), si la distancia | f(x) L | se hace tan pequea como se quiera
siempre que se tomen valores de x suficientemente grandes (en valor
absoluto). De denota

lim f ( x) L

lim f ( x) L

Ejemplo (comportamiento en el infinito, lmite finito) : En la medida en

que x se hace muy grande, con valores positivos a quin se acerca f(x) =
(x+1) / x?
x

10

102

103

104

f(x) = (x+1)/x 1,1 1,01 1,001 1,0001

x+1
lim
=1
x
x+

Lmites infinitos en el infinito: Definicin

Def: El lmite de f(x) cuando x tiende a infinito es infinito si para todo
nmero real M se puede encontrar otro nmero real K tal que f(x) > M si x
> K donde K debe ser funcin de M.
En la medida en que x se hace muy grande, con valores positivos a quin se
acerca
f(x) = x2?

lim x2 = +
x+

Otros comportamientos en el infinito, grficamente.

Ejemplo de comportamiento en el infinito: no existe lmite

Cuando x tiende a infinito o x tiende a menos infinito los valores de

estas funciones seno y coseno no tienden a ningn valor, ya que
oscilan entre 1 y 1. Ambos lmites no existen.

Clculo de lmites
Lmites simples
Cuando las funciones verifican
lim
xa
directamente

f ( x) f (a )

se pueden obtener

por el procedimiento de sustituir en la expresin de la funcin el valor de la

variable x por el de a hacia el que tiende.

Algunos lmites tpicos

sen x
x

lim

x 0

=1

a x a
lim 1 + x = e , para todo a
x

e
lim p =
, para todo p
x x

lim ln px = 0, para todo p > 0

x x

Clculo de lmites simples: ejemplos

Indeterminaciones: tipos
Cuando podemos calcular el lmite de la operacin de dos o ms funciones, aun sin
conocerlas, decimos que el lmite es determinado. Aplicando las propiedades de
los lmites podemos obtener el lmite buscado. En caso de que no podamos aplicar
ninguna propiedad que nos permita calcular el lmite, diremos que es
indeterminado.

lim f(x) = 2

lim f(x) = 0

lim g(x) = 3

lim g(x) = 0

f(x) 2
Entonces lim
=
xa g(x) 3

f(x)
No es posible obtenerlim
. Para
xa g(x)

xa

xa

xa

xa

poder salvar la indeterminacin hemos

de conocer f y g.
Este resultado no depende de las
funciones f y g. El lmite es
determinado.

Tipos de
indeterminaciones

0/ L 0

0
0

Este lmite depende de las funciones f y

g. El lmite es indeterminado.

0.

00

Cuadro de indeterminaciones: Forma de resolverlas

L
Tipos de
/ L 0
0
indeterminaciones

0
0

0.

00

En las del tipo L/0 con L no nulo, se calculan los lmites laterales
En las del tipo 0/0
expresin con

Si hay races, se multiplica por el conjugado de la

races y luego se factoriza y simplifica

Si no hay races, se factoriza y simplifica

En las del tipo

potencia

Se dividen numerador y denominador por la mxima

En las del tipo

anteriores

Se transforman, mediante operaciones, en uno de los

En las del tipo

Si no hay radicales se hacen operaciones y se transforma en uno de los
anteriores

0 ,00 y1

Si hay radicales, se multiplica y se divide por el conjugado y se

transforma en uno del tipo
En las de los tipos

Se aplican logaritmos o la expresin

Ejemplos de clculo de indeterminaciones: tipo L/0, con L 0

En estos casos el lmite si existe es + o dependiendo del signo de
la funcin a izquierda y derecha del valor al cual tiende la variable.

lim
x2

lim

lim

x2+

x2

1
=
x2

1
=+
x2

x2

1
=+
(x 2)2

1
lim
=+
(x 2)2
x2+

lim

lim
x2

1
x 2 no existe

1
=+
(x 2)2

Ejemplos de clculo de indeterminaciones: tipo 0/0

Cuando ellim

xa

P(x)
0
es indeterminado siendo P(x) y Q(x) polinomios, pod
eQ(x)
0

(x por
a)
mos salvar la indeterminacin dividindolos ambos

(x 3)(x 2) 0
(x 3)2(x 2)
18 + 21x 8x2 + x3
lim
= 6=0
lim
=
lim
2
=
(x
+
3)
x 9
x3 (x 3)(x + 3) x3
x3
0
Indet 0

1
18 + 33 x 20 x2 + 4 x3
(x 2)(2x 3)2
2
lim3
=
lim3 (2x 3)2 = lim (x 2) = 2
9

12
x
+
4
x
3

x 2

0
Indet 0

x 2

x2

Ejemplo de clculo de indeterminaciones: tipo 0 .

Estas indeterminaciones se resuelven a veces operando previamente para

0
obtener una expresin ms sencilla o reducindolas a otras delotipo
0
Recordando quelim

xpex = 0

x3ex + 5 lim x2ex + 7 lim xex =

lim (x3 + 5x2 + 7x)ex = lim
x
x
x
x

Indet 0.

= 0+5.0+7.0=0

ln x
lim
Recordando queX x = 0

ln y
ln
x
lim
lim
=0
lim +x ln x =
=
+
y
x0 1
y
x0
.
x
Indet 0
1/x = y
.

Ejemplos de clculo de indeterminaciones: tipo /

Cuando ellim

P(x)
es indeterminado
siendo P(x) y Q(x) polinomios,
Q(x)

podemos salvar la indeterminacin dividindolos ambos por la potencia m

alta de x que aparezca en ambos.

lim

2x3 + 3x 5
x3 2x + 5 =

Indet

lim

3 5
2 + x2 x3
2
=
1 = 2
2 5
1 x2 + x3

En otros casos un cambio de variable permite salvar la

indeterminacin.

lim

ln (ln x)
ln x =

Indet

lim

ln x = y

ln y
y =0

Ejemplos de clculo de indeterminaciones: tipo

En estos casos es aconsejable operar previamente para simplificar, si es posible, la
expresin antes de tomar el lmite.

Cuando la indeterminacin procede de una diferencia de radicales, es conveniente m

plicar y dividir por la expresin conjugada.

x2(x 1) = . =
lim (x3 x2) = lim
x
x

Indet
2

lim [ x + 1 x 1] =
x

Indet

[ x2 + 1 x2 1] [ x2 + 1+ x2 1]
lim
=
[ x2 + 1+ x2 1]
x

2
(x2 + 1) (x2 1)
2
lim
=
=0
= lim
=
2
2
2
2

x
+
1
+
x

1
x [ x + 1 + x 1] x

Ejemplos de clculo de indeterminaciones: tipos 0, 00

Estas indeterminaciones se resuelven frecuentemente tomando
logaritmos y expresando la funcin inicial como la exponencial de su
logaritmo.
x

lim +x =

ln (x )

lim +e

x0
x0
Indet 0 0

1
x

x
lim

lim e

x ln x
= lim +e = e0 = 1

x 0

1
ln x x

lim e
x

ln x
x

e0 1

Ejemplos de clculo de indeterminaciones: tipo 1

Para resolver estas indeterminaciones resulta til muchas veces recordar la expresi
a
de e como lmite, combinada con un cambio de variable.

x 2

x 2

1
1
1

2
lim 1 + x =lim 1+ x = lim 1+ x = e

x
x
2x

1
=y
2x2 + x4

Indet 1
4
2
4 x

1+ 1
2
lim
lim (1 + 2x + x ) =
1
x 0
x0
2
4

2x
+
x

4
x2

Indet 1

y
1
= lim 1 + y
y

4(2x2 + x4)
lim
x2
x0

= lim 1 + 1
x0

2x2 + x4

y
1
= lim 1 +
y
y

lim (8 + 4x2)
x0

1
4
4 (2x2 + x4)
2x + x
x2
2

= e8

Continuidad en un punto: primera aproximacin

Estatura medida cada 5

aos: hay grandes saltos
entre cada punto y el
siguiente.

Estatura medida cada ao: el

incremento entre cada punto
y el siguiente ser menor,
como lo es tambin el
incremento de tiempo.

Una funcin es continua cuando a pequeas variaciones de la

variable independiente le corresponden pequeas variaciones de la
variable dependiente.

Continuidad en un punto: definicin

Una funcin f(x), definida en x = a, es continua
en dicho punto cua
ndo:

lim [f(a + h) f(a)] = 0

h 0
Al hacer a + h = x, si
h0 entonces xa

Al llamar f(a + h) f(a) = Dy, si

Dx = h0 entonces Dy 0

Una funcin f(x), definida en x = a, es cont

en dicho punto cuando:

Una funcin f(x), definida en x = a, es continua

en dicho punto cua
ndo:

lim y =0
x 0

lim f(x) = f(a)

x a

Una funcin f(x), definida en x = a, es continua e

dicho punto cuando:
Desglosando la
definicin de lmite

Existe lim f(x)

x a

Existe f(a)
Los dos valores anteriores son iguales

Continuidad en un punto: definicin formal

Una funcin f(x), definida en x = a, es continua
en dicho punto cuando:

lim f(x) = f(a)

x a
Una funcin f(x) tiene lmite L en el punto x =
a si (real) >0 >0, si:
0 < |x a | < |f(x) L | <

Usando la definicin
de continuidad

Definicin formal continuidad

Una funcin f(x), definida en x=a, es continua
en dicho punto si (real) >0 >0, si:
|x a | < |f(x) f(a) | <

Usando la
definicin
formal de lmite

Continuidad en un intervalo: definicin

Una funcin f(x) es continua en a por la izquierd

Una funcin f(x) es continua en a por la derecha

si y slo silim f ( x ) = f(a)

x a +

si y slo silim f(x) = f(a)

x a

Una funcin es continua en un intervalo abierto (a, b) si es continua en cada uno de

sus puntos.
Una funcin es continua en un intervalo cerrado [a, b] si es continua en cada uno de
los puntos del intervalo (a, b), y adems es continua en a por la derecha y en b por la
izquierda.

x 2 si x < 1

f(x) =
no es
1
2
si
x

no es continua en

continua en
[ 1, 1], porque no
[1, 1], porque no est
en 1 ni en1 porque no lo es
es continua por la izquierda
definida en 0.
por la derecha o por la izquierda.
en 1.

f(x) = 1 x2 es continua en f(x) = 1

x
[1, 1], pero no es continua ni

Funcin discontinua en un punto

Cuando una funcin no cumple la definicin de funcin continua en un
punto se dice que es discontinua.

Estas funciones no son

continuas en el punto 1

4
3

Esta funcin no es
continua en los puntos 1
y1

Funcin discontinua en 0

Discontinuidad evitable
Una funcin tiene una discontinuidad evitable en un punto cuando existe
lmite en l y no coincide con el valor de la funcin en el mismo.

x2 1

si x 1
f(x) = x 1
3
si x = 1

Estudiamos el comportamiento de f(x) en el punto 1:

Por tanto f(x) presenta una discontinuidad evitable en el punto 1.

Evitando una discontinuidad evitable

El valor que deberamos dar a una funcin en un punto (en el que la
funcin presenta discontinuidad evitable) para que dicha funcin sea
continua es el verdadero valor de la funcin en el punto.
La siguiente funcin g(x), evita la discontinuidad que presenta f(x) en el punto 1:

x2 1

si x 1

g(x) = x 1
2
si x = 1

(x 1)( x + 1)

El verdadero valor de f(x)

en el punto 1 es 2.
La funcin g(x) es continua
en el punto 1.

x1

si x 1
si x = 1

x+1

Discontinuidad inevitable

Una funcin tiene en un punto una discontinuidad inevitable

cuando existen los lmites laterales en l y son distintos.

Si f(x) es discontinua en el punto x = a, la diferencia entre los dos

lmites se llama salto de la funcin en dicho punto.

Si alguno de los lmites laterales en el punto a son infinito, se dice que

el salto es infinito

x+1

x si x 0
0
si x = 0

y=
y = sig(x)
y = sig(x) presenta
discontinuidad inevitable en el
punto 0 de salto 2.

Esta funcin presenta

discontinuidad inevitable de salto
infinito en el punto 0.

Funciones acotadas superiormente

Una funcin est acotada superiormente cuando existe un
nmero real K' tal que todos los valores que toma la funcin son
menores o iguales que K'.
El nmero real K' se llama cota superior.

y=3
y=2
y=1

1, 1.5, 2, p, ... son cotas superiores de la funcin y = x 2

+1

Funcin acotada inferiormente

Una funcin est acotada inferiormente cuando existe un nmero real K tal
que todos los valores que toma la funcin son mayores o iguales que K.
El nmero real K se llama cota inferior.

y=0
y=1
y=2
0, 1, 1.5, p, .... son cotas inferiores de la funcin y = e x

Extremo superior. Mximo absoluto

Se llama extremo superior de una funcin a la menor de las cotas superiores.
Si ese valor lo alcanza la funcin, el extremo superior recibe entonces el
nombre de mximo absoluto.

y=3
y=2
y=1

La menor de las cotas superiores es

1.
1 es el extremo superior de esta
funcin.
Como f(0) = 1, 1 es mximo
absoluto de esta funcin.

y=2
y=1
y=0

La menor de las cotas superiores es

0.
0 es el extremo superior de esta
funcin.
Como no existe ningn valor de la
funcin tal que f(a) = 0, esta
funcin no tiene mximo
absoluto.

Extremo inferior. Mnimo absoluto

Se llama extremo inferior de una funcin a la mayor de las cotas inferiores.
Si ese valor lo alcanza la funcin, el extremo inferior recibe entonces el
nombre de mnimo absoluto.

y=5
y=4
y=3

y=0
y=1
y=2

La menor de las cotas superiores

es 3.
3 es el extremo superior de esta
funcin.
Como no existe ningn valor de la
funcin tal que f(a) = 3, esta
funcin no tiene mximo
absoluto.
La mayor de las cotas inferiores es
0.
0 es el extremo inferior de esta
funcin.
Como adems f(0) = 0, 0 es el
mnimo absoluto de esta
funcin.

Teorema de acotacin
Enunciado: Si una funcin tiene lmite finito en un punto a, est
acotada en un entorno reducido de a
Demostracin:

lim f ( x) b

(por def. de lmite)

xa

>0 existe >0 x E*(a, )

f(x) E( b, )
lo que indica
b - < f(x) < b +
--^---^-h
cota inferior

k
cota superior

Nota: tambin podemos expresar la tesis como

>0 >0 y h y k reales positivos x E*(a, )
h < |f(x)| < k.
Luego la funcin f(x) est acotada

Teorema de Bolzano: Enunciado e interpretacin geomtrica

Sea f(x) una funcin continua en un intervalo cerrado [a, b], que
toma en a y b valores de signo opuesto (es decir f(a) f(b) < 0),
entonces al menos un punto c interior al intervalo en el que f(c)
= 0.

c
f(x) continua en [a, b]
f(a) < 0
f(b) > 0

f(x) continua en [a, b]

f(a) > 0
f(b) < 0

Entonces c (a, b) f(c) = 0

Entonces c (a, b) f(c) = 0

Teorema de Bolzano: Demostracin (I)

Supongamos que f(a)<0 y f(b)>0. (La demostracin sera anloga si

supusiramos f(a)>0 y f(b)<0.)

Consideremos el punto medio de [a,b]: (a+b)/2.

Si f((a+b)/2)=0 queda demostrado el teorema.

Si no, f ser positiva o negativa en (a+b)/2.
Tomemos una de las mitades del intervalo [a,b] donde la funcin sea
negativa en un extremo y positiva en el otro. Llamemos a 1 y b1 a los
extremos de este intervalo. Ahora dividamos [a 1,b1] a la mitad.
Si f no vale cero en el punto medio, ser positiva o negativa. Tomemos la
mitad donde f tiene distinto signo en cada extremo, y llamemos a estos
puntos a2 y b2.

Si continuamos de esta manera, obtenemos una sucesin de intervalos [a,b],

[a1,b1], [a2,b2], etc., tales que
a a1 a2 ... an y b b1 b2 ... bn.

Es decir,
1) Los aI forman una sucesin creciente y los bI forman una sucesin
decreciente.
2) Los aI son siempre menores que los b I.

Teorema de Bolzano: Demostracin (II)

(bn an )
Veamos cul es el lim
n
La long. del intervalo [a1,b1] es,(b-a)/2 , la mitad de la long. de [a,b] que
es b - a.
La longitud del intervalo [a2,b2] es (b - a)/22, la mitad de la longitud de
[a1,b1] que
es (b - a)/2.
Y siguiendo de esta manera, la longitud del intervalo [an,bn] es (b - a)/2n.
3) De modo que,

ba
0
n 2 n

lim(bn an ) lim
n

1), 2) y 3) son las condiciones que permiten obtener un nico nmero

frontera entre ambas sucesiones y que est en todos los intervalos.
c n an c bn,
Esto significa que, para cualquier entorno de c que consideremos, un
intervalo [an,bn] contenido en dicho entorno.

Es decir, para todo >0 n1 / para todo n >= n1

c- < [an,bn] < c+.

Teorema de Bolzano: Demostracin (III)

Por otro lado, f es continua en [a,b] por hiptesis. Por lo tanto es
lim
continua en c. Por definicin de
continuidad,
f(x)=f(c).
xc

Vamos a proceder por reduccin al absurdo

Supongamos que f(c)<0, por teo. de conservacin del signo un
entorno de c donde f(x) es negativa.
Dentro de este entorno, un intervalo [an,bn], donde f(an) es de
distinto signo que f(bn).
Esto es una contradiccin, por lo tanto f(c) no puede ser negativo.
Si f(c)>0, por teo. de conservacin del signo un entorno de c donde
f(x) es positiva.
Pero, otra vez, dentro de ese entorno existe un intervalo [an,bn] tal
que f(an) es de distinto signo que f(bn).

Esto es una contradiccin, por lo tanto f(c) no puede ser positivo.

Por lo tanto, no existe otra posibilidad: f(c)=0.

Teorema del mximo mnimo. Teorema de

Weierstrass
Enunciado e interpretacin geomtrica
Enunciado: Toda funcin continua en un intervalo cerrado [a, b], alcanza en
dicho intervalo al menos un mximo absoluto y un mnimo absoluto.

m
x2

x1

Esta funcin, continua en [a, b],

presenta en x1 un mximo absoluto de
valor M y en x2 un mnimo absoluto de
valor m.

x1

x2

Esta funcin, continua en [a, b],

presenta en x1 un mximo absoluto de
valor M y en x2 un mnimo absoluto de
valor m.

Teorema del mximo mnimo. Teorema de Weierstrass

Demostracin (I)
Se hace la demostracin en dos partes
A)
La funcin est acotada en [a,b].
Lo haremos por reduccin al absurdo. Supongamos que f no est
acotada, Si tomamos x0 el punto intermedio del intervalo, la funcin
no estar acotada en [a,x0] o en [x0,b].
Elegimos de los dos aquel en el que no est acotada y reiteramos el
proceso obteniendo as un sucesin de intervalos cerrados encajados
y tales que la amplitud tiende a cero. Luego existe un n real c del
intervalo (a,b) que pertenece a todos ellos y por tanto f( c ) no est
acotada.
Sin embargo, f es continua en todo el intervalo y c est en l, luego es
continua en c y por el teorema de acotacin f( c ) est acotada, lo
que lleva a una contradiccin.
Por tanto la suposicin que hemos hecho no es vlida y por ello la
funcin f est acotada en todo el intervalo

Teorema del mximo mnimo. Teorema de Weierstrass

Demostracin (II)
B) Por el apartado A) existen un xtremo inferior m y un extremo

superior M. Si M es un valor de la funcin ya estara demostrado.

En caso contrario M-f(x) es distinto de cero.

Construimos la funcin g ( x )
M f ( x)
[a,b].

que est definida y es continua en

Por el apartado A) esta funcin est acotada, luego existe un n K tal que

g ( x)

1
1
K f ( x) M
M f ( x)
K

Y esto es cierto para todo x del dominio. Por lo que hemos encontrado una
cota menor que el extremo superior lo que indica una contradiccin.
Esta procede de suponer que M f (x) es no nulo luego M = f(x) por lo que
M es mximo.

Teorema de los valores intermedios o de Darboux

Enunciado e interpretacin geomtrica
Sea f(x) una funcin continua en un intervalo cerrado [a, b] y K un
nmero real tal que:
f(a)< K <f(b)
o
f(b)< K <f(a),
entonces existe al menos un punto c en el intervalo tal que f(c) =
K.

c
K

K
c
f(x) continua en [a, b]
f(a) < K< f(b)
Entonces c (a, b) / f(c) = M

f(x) continua en [a, b]

f(b) < K< f(a)
Entonces c (a, b) / f(c) = M

La demostracin se hace comprobando que la funcin g(x) = f(x) K

cumple el teorema de Bolzano luego g(c) = 0 por lo que f( c) = K