DEPARTAMENTO DE MATEMTICA Y CC.

NN

MATEMTICA APLICADA A LA
INGENIERA

Tema: Lmite y Continuidad de Funciones

Lic. Mg. Ricardo Alejandro CHUNG

CHING
rchung@uch.edu.pe
2017 - 1
Estudios
Generales
TEMA: Lmite y Continuidad de Funciones
DOCENTE: Ricardo Alejandro CHUNG CHING
Unidad

Sesin 10: Lmite y Continuidad de Funciones

Contenidos
a) Lmite de Funciones
b) Continuidad de Funciones
Aprendizajes esperados
Comprende la naturaleza de los Lmites y
Continuidad de Funciones.
Plantea y Resuelve las Lmites y Continuidad de 10MA
Funciones y las aplica la Teora de Inecuaciones CLASE
desarrollando ejercicios aplicativos.
 Lmites y continuidad

Presentacin elaborada por el profesor Ricardo Alejandro Chung

Ching
 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 R
Dominio Recorrido
f(2) = 4
2 4
2,3 f(2,3) = 5,29
5,29
5 f(5) = 25
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

f(x)
(x, f(x))

Recorrido
x
1 1
Dominio
Variable independiente Ley de asociacin Variable dependiente

x f y = f(x)
Dominio Recorrido
f(x) = 1 x2
D = [1, 1] f([1, 1]) = [0, 1]
 Lmite de una funcin en un punto: definicin intuitiva

Si a y b son dos nmeros, la expresin lim f(x) =b

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

x 1 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 | < |f(x) L | <

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

No es necesario que la funcin est definida en a.
 Lmites laterales de una funcin

Se dice que el nmero b es el lmite de f(x) cuando x tiende hacia a por la dere-
cha (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
x3

lim Ent(x) = 2
x3 3

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 y 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

Sean f(x) y g(x) dos funciones tales que lim f ( x) p y lim g ( x) .q

x a x a

1. lim f ( x) g ( x) lim f ( x) lim g ( x) p q.

x a x a x a

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

3. lim f ( x) g ( x) lim f ( x) lim g ( x) p q.

x a x a x a

f ( x) lim f ( x) p
4. Si q no es cero, lim x a
.
x a g ( x)
lim
x a
g ( x) q

5. Si p q es un nmero real, lim f ( x)

x a
g ( x)
x a

lim f ( x) xa
lim g ( x )
pq .
 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 2>0 x E(a,2) |g(x) - c| < '.
x a

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
1
funcin f(x) = se ve que:
|x|

1
lim =
x0 + | x | 1
lim =
1 x0 | x |
lim =
x0 | x |
 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?

x 1 0,1 0,01 0,01 0+

f(x) = (x+1)/x 2 11 101 1001 +

x+1
lim +x = +
x

x+1
De igual manera si x se acerca a 0 con valores negativos se ve que: lim x =
x
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
x x

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 1

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?

x 10 102 103 104 +

f(x) = x2 102 104 106 108 +

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 f ( x) f (a) se pueden obtener directamente

x a
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

ex

sen x lim p =
, para todo p
lim =1 x x
x 0 x

ax a lim ln px = 0, para todo p > 0
lim 1 + x = e , para todo a

x x
x
 Clculo de lmites simples: ejemplos

x2 cos x + e2x 0 . 1 + e0
lim ln (x + 1) + x3 + 1 = ln 1 + 0 + 1 = 1
x0

2 x3 + x 1
lim x 100 + x2 1 = 100 + 1 = 99

x0

3 2
2 2 .
(x 2x + 1) (1 1+1)
3
2x 2x + 1 3 . 3 .
2 1 2 1 + 1 0
lim 3
x x + 1 = 3
1 1+1 = 1 =1
x1

2x2 + 3 2 . 32 + 3 15
lim x3 2x + 5 = 3 = 16
x3 3 2 .3 + 5
 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

xa xa
lim g(x) = 3 lim g(x) = 0
xa xa
f(x) 2 f(x)
Entonces lim = No es posible obtener lim . Para
xa g(x) 3 xa g(x)
poder salvar la indeterminacin hemos
de conocer f y g.

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

L
Tipos de 0
indeterminaciones 0/ L 0 0 0. 0 00 1
 Cuadro de indeterminaciones: Forma de resolverlas

L
Tipos de
0 / L 0 0
0. 0 00 1

indeterminaciones 0

En las del tipo L/0 con L no nulo, se calculan los lmites laterales
En las del tipo 0/0 Si hay races, se multiplica por el conjugado de la expresin con
races y luego se factoriza y simplifica
Si no hay races, se factoriza y simplifica

En las del tipo Se dividen numerador y denominador por la mxima potencia

En las del tipo 0 Se transforman, mediante operaciones, en uno de los anteriores

En las del tipo
Si no hay radicales se hacen operaciones y se transforma en uno de los anteriores
Si hay radicales, se multiplica y se divide por el conjugado y se transforma en uno
del tipo
En las de los tipos 0 ,00 y1 Se aplican logaritmos o la expresin correspondiente
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.

1
lim =
x 2
x2 1
lim x 2 no existe
1 x2
lim =+
+x 2
x2

1
lim 2=+
(x 2)
x2 1
lim 2=+
1 x2
(x 2)
lim 2=+
+ (x 2)
x2
 Ejemplos de clculo de indeterminaciones: tipo 0/0

P(x) 0
Cuando el lim es indeterminado siendo P(x) y Q(x) polinomios, pod e-
xa Q(x) 0
mos salvar la indeterminacin dividindolos ambos por (x a)

18 + 21x 8x2 + x3 (x 3)2(x 2) (x 3)(x 2) 0

lim = lim (x 3)(x+ 3) = lim (x + 3) = 6 = 0
x3 x2 9 x3 x3
0
Indet 0

18 + 33 x 20 x2 + 4 x3 (x 2)(2x 3)2 1
lim 9 12 x + 4 x2 = lim 2 = lim (x 2) =
3 3 (2x 3) 3 2
x x x
2 2 2
0
Indet 0
 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 del tipo
0o

Recordando que lim xpex = 0

x
3 2 x 3 x 2 x x
lim
lim (x + 5x + 7x)e = x e + 5 lim x e + 7 lim xe =
x x x x

Indet 0 . = 0+5.0+7.0=0

ln x
lim
Recordando que X x = 0

. ln x ln y 0
lim +x ln x = lim = y =
lim
x0 +
x 0 1 y
Indet 0
.
x
1/x = y
 Ejemplos de clculo de indeterminaciones: tipo /

P(x)
Cuando el lim es indeterminado siendo P(x) y Q(x) polinomios,
x Q(x)
podemos salvar la indeterminacin dividindolos ambos por la potencia ms
alta de x que aparezca en ambos.

3 5
2 + x2 x3
2x3 + 3x 5 2
lim lim 2 5 = 1 = 2
x x3 2x + 5 = x
1 x2 + x3
Indet
En otros casos un cambio de variable permite salvar la indeterminacin.

ln (ln x) ln y
lim lim y =0
x ln x = y

Indet ln x = y
 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 multi-

plicar y dividir por la expresin conjugada.

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

x x
Indet

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

(x2 + 1) (x2 1) 2 2
= lim = lim = =0
x [ x 2
+ 1 + x2
1] x x2
+ 1 + x2
1
 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
x ln (x ) x ln x
lim +x = lim +e = lim +e = e0 = 1
x0 x0 x0
Indet 0 0

1
1
lim
x
x x lim e
x
ln x x
lim e
ln x
x
e0 1
x

Indet 0
 Ejemplos de clculo de indeterminaciones: tipo 1

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

x 2

x 2

1 2x
1 1
lim 1 + x =lim 1+ x = lim
1+ = e2
x 1
x x x =y
2x + x4
2

Indet 1

4
1 x2 4
1 2x2 + x4(2x2 + x4)
1 4
= lim 1 + 1
4 x
2 x2
lim (1 + 2x2 + x ) = lim 1+ =
x0 x0 1 x0
2x + x
2 4
2x + x
2 4

Indet 1
4(2x2 + x4)
lim lim (8 + 4x2)
1 y x0 x2
1 y x0

= lim 1 + y
= lim 1 + = e8
y y y
 Continuidad en un punto: primera aproximacin

Estatura medida cada ao: el

Estatura medida cada 5 aos:
incremento entre cada punto y el
hay grandes saltos entre cada
siguiente ser menor, como lo es
punto y el siguiente.
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 cuando:
lim [f(a + h) f(a)] = 0 Al llamar f(a + h) f(a) = Dy, si Dx
h 0 = h0 entonces Dy 0

Al hacer a + h = x, si h0
entonces xa
Una funcin f(x), definida en x = a, es continua
en dicho punto cuando:
Una funcin f(x), definida en x = a, es continua
en dicho punto cuando: lim Dy =0
Dx 0
lim f(x) = f(a)
x a

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

dicho punto cuando:
Desglosando la Existe lim f(x)
definicin de lmite 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 Usando la
definicin formal
de lmite

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) | <
 Continuidad en un intervalo: definicin
Una funcin f(x) es continua en a por la derecha Una funcin f(x) es continua en a por la izquierda
si y slo si lim f (+x ) = f(a) si y slo si lim f(x) = f(a)
x 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
f(x) = 1 x2 es continua en f(x) = 1 no es continua en 2 si x 1
[1, 1], pero no es continua ni x continua en [ 1, 1], porque no
en 1 ni en 1 porque no lo es [1, 1], porque no est
es continua por la izquierda
por la derecha o por la izquierda. definida en 0.
en 1.
 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 y
1

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.

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

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

x2 1 (x 1)(x + 1)
lim f(x) = lim x 1 = lim x 1 = lim (x + 1) = 2 3 = f(1)
x1 x1 x1 x1

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:

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

2 si x = 1
2 si x = 1

El verdadero valor de f(x) en el

punto 1 es 2.
La funcin g(x) es continua en
el punto 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
si x 0
y= x
0 si x = 0
y = sig(x)

y = sig(x) presenta discontinuidad Esta funcin presenta discontinuidad

inevitable en el punto 0 de salto 2. 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 = x2 + 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=2 y=1
y=1 y=0

La menor de las cotas superiores es 0.

La menor de las cotas superiores es 1.
0 es el extremo superior de esta funcin.
1 es el extremo superior de esta funcin.
Como no existe ningn valor de la funcin
Como f(0) = 1, 1 es mximo absoluto
tal que f(a) = 0, esta funcin no tiene
de esta funcin.
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.

La menor de las cotas superiores es 3.

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

y=0 La mayor de las cotas inferiores es 0.

y=1 0 es el extremo inferior de esta
funcin.
y=2 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:
(por def. de lmite)
lim f ( x) b
x a
>0 existe >0 x E*(a, ) f(x) E( b, )
lo que indica b - < f(x) < b +
--^-- --^--
h k
cota inferior 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.

f(x) continua en [a, b] f(x) continua en [a, b]

f(a) < 0 f(a) > 0
f(b) > 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 a1 y b1 a los extremos de este intervalo.
Ahora dividamos [a1,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 bI.

 Teorema de Bolzano: Demostracin (II)
Veamos cul es el lim (bn an )
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
lim (bn an ) lim 0
n n 2 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 continua en
c. Por definicin de continuidad, limf(x)=f(c).
x c

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
M

m m

x2 x1
x1 x2

Esta funcin, continua en [a, b], presenta Esta funcin, continua en [a, b], presenta
en x1 un mximo absoluto de valor M y en en x1 un mximo absoluto de valor M y en
x2 un mnimo absoluto de valor m. 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.

1
Construimos la funcin g ( x) que est definida y es continua en [a,b].
M f ( x)
Por el apartado A) esta funcin est acotada, luego existe un n K tal que
1 1
g ( x) 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.

K K

f(x) continua en [a, b]

f(x) continua en [a, b]
f(b) < K< f(a)
f(a) < K< f(b)
Entonces c (a, b) / f(c) = M
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