Calculo Cap04 PDF

Captulo
Funciones Continuas y lmite funcional

En matemticas, la evidencia es enemiga de la correccin.
Bertrand Russell
4.1. Introduccin
En esta leccin vamos a estudiar con algn detalle un concepto terico importante que es el
de continuidad. Para motivar la definicin que vamos a dar de continuidad, consideremos una
ley fsica de la forma P D f .V /, que relaciona los valores de una variable independiente V
(podemos pensar que es el volumen de un gas) con otra variable dependiente P (podemos
pensar que es la presin). Si queremos usar dicha ley, hemos de medir un valor V0 de la variable
V , y es inevitable que al hacerlo cometamos algn error el cual, naturalmente, influye en el
correspondiente valor de P , que ya no ser exactamente igual a P0 D f .V0 /. Surge as la
pregunta natural: de qu forma el error en la medida de V afecta al valor resultante de P ? Es
claro que si para valores de V muy prximos a V0 obtengo valores de P muy diferentes entre
s, la ley f que relaciona V con P no tendr ninguna utilidad prctica.
Puesto que los errores de medida son inevitables, no es razonable tratar de obtener el
verdadero valor P0 . Lo que s puede hacerse es fijar una cota de error admisible para P (la
cual depender de cada situacin concreta), llamemos " a dicha cota (" > 0), y tratar de
obtener otra cota de error ( > 0), de tal forma que siempre que midamos V0 con un
error menor que tengamos la seguridad de que el valor resultante para P se diferencia de
P0 en menos que ". Esto es, jf .V / f .V0 /j < " siempre que jV V0 j < . Cuando esto
efectivamente pueda hacerse para cualquier cota de error " > 0 decimos que la ley f es
continua en V0 .
Observa que cabe esperar que la cota de error dependa del " fijado en cada caso. Intuitivamente, cuanto ms pequeo sea el error permitido en los datos finales, tanto mejor tendremos
102
Continuidad
103
que medir la variable independiente. En general, la precisin con la que debemos medir V0
para obtener un error final menor que ", depende no solamente del valor fijado de " sino tambin
del valor de V0 . Esto es fcil de entender, no es lo mismo medir un volumen de varios metros
cbicos que otro de unos pocos milmetros cbicos, la precisin de nuestra medida debe ser
mejor en este ltimo caso.
Las ideas anteriores conducen, de forma natural, a la definicin matemtica de continuidad.
En todo lo que sigue, la letra A representar un conjunto no vaco de nmeros reales. En
la prctica A ser siempre un intervalo o una unin de intervalos. Recuerda que la notacin
f W A ! R quiere decir que f es una funcin real cuyo dominio es A. Es muy importante
advertir que A no tiene por qu coincidir con el dominio natural de la funcin. Esto es as
porque con frecuencia estamos interesados en estudiar propiedades de una funcin en una parte
de su dominio natural. Adems, la continuidad de f depende tanto de la regla que la define
como del conjunto en donde estamos trabajando. Enseguida pondremos ejemplos para aclarar
esto.
4.2. Continuidad
4.1 Definicin (Continuidad en un punto). Una funcin f W A ! R se dice que es continua
en un punto a 2 A si, para cada nmero " > 0, se puede encontrar un nmero > 0 (que,
en general, depender de " y de a) tal que para todo x 2 A con jx aj < se verifica que
jf .x/ f .a/j < ".
La definicin anterior suele escribirse, con abuso del formalismo lgico, de la siguiente
forma:

jx aj <
C
C
jf .x/ f .a/j < "
(4.1)
8" 2 R 9 2 R W
x 2A
Comentarios a la definicin. Observa que en esta definicin el conjunto A tiene mucho protagonismo: slo se consideran los valores de f en A, lo que le pueda pasar a f fuera de A no
nos interesa. El siguiente ejemplo es ilustrativo.
a) Sea f W R ! R la funcin de Dirichlet dada por f .x/ D 1 si x 2 Q, f .x/ D 1 si x 2 R n Q.
Es la funcin que vale 1 en los puntos racionales y 1 en los irracionales. Esta funcin no es
continua en ningn punto. La razn es que en todo intervalo abierto, por pequeo que sea,
siempre hay nmeros racionales e irracionales. Por eso, la funcin f oscila constantemente
entre 1 y 1.
b) Las funciones g W Q ! R dada por g.x/ D 1 y h W R n Q ! R dada por h.x/ D 1
son continuas (son funciones constantes!) en todo punto de sus respectivos dominios de
definicin.
~ Debes tener claro que para poder hablar de la continuidad o de la no continuidad de una funcin
en un punto, la funcin debe estar definida en dicho punto. La condicin (4.1) exige que el
nmero f .a/ est definido. Si no se conoce el valor de f en a no puede comprobarse si dicha
condicin se verifica o no y, por ello, no tiene sentido considerar la continuidad de esa funcin
en dicho punto. Insisto en esta evidencia porque en muchos textos te vas a encontrar ejercicios
del siguiente estilo:
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez

Clculo diferencial e integral
Propiedades bsicas de las funciones continuas
104
a) Estudiar la continuidad de la funcin f .x/ D
1
en x D 0.
x
b) Estudiar la continuidad de la funcin g.x/ D
jxj
en x D 0.
x
c) Estudiar la continuidad de la funcin h.x/ D x sen.1=x/ en x D 0.

Respuesta: Las funciones f , g y h no estn definidas en 0, por tanto no tiene sentido estudiar su
continuidad en 0. Para poder estudiar la continuidad en 0 de estas funciones, primero hay que
definirlas en 0. Por ejemplo, podemos definir f .0/ D 0, g.0/ D 1, h.0/ D 0. Ahora la respuesta
es: f no es continua en 0, g no es continua en 0 pero es continua por la derecha en 0, y h es
continua en 0.
4.2 Definicin (Continuidad en un conjunto). Se dice que f es continua en un conjunto
C A, si f es continua en todo punto de C .
No suele ser tarea fcil demostrar que una funcin dada es continua. Generalmente, lo
que se hace es descomponer la funcin que queremos estudiar en otras ms sencillas cuya
continuidad ya es conocida previamente. Es por ello interesante saber qu tipo de operaciones
realizadas con funciones continuas conducen a nuevas funciones continuas.
4.2.1. Propiedades bsicas de las funciones continuas

4.3 Teorema. Sean f , g funciones reales definidas en A. Se verifica que:
a) Las funciones f C g y fg son continuas en todo punto de A en el que las dos funciones
f y g sean continuas. En particular, las funciones suma y producto de funciones continuas
son funciones continuas.
1
es continua en todo punto de A en el que g sea
g
continua. En consecuencia, la funcin cociente de dos funciones continuas cuyo denominador no se anula nunca es una funcin continua.
b) Si g.x/ 0 para todo x 2 A, la funcin
Demostracin. a) Sea a 2 A un punto de A en el que f y g son continuas. Debemos probar

que f C g y fg son continuas en a. Escribamos nuestras hiptesis:
8"1 2 RC 9 1 2 RC W x 2 A ^ jx
C
8"2 2 R 9 2 2 R
W x 2 A ^ jx
aj < 1 jf .x/
aj < 2 jg.x/
f .a/j < "1
(4.2)
g.a/j < "2
(4.3)
Naturalmente, 1 D 1 ."1 / y 2 D 2 ."2 / dependen del valor de "1 y "2 . Debemos relacionar los nmeros j.f C g/.x/ .f C g/.a/j y j.fg/.x/ .fg/.a/j con jf .x/ f .a/j y
jg.x/ g.a/j.
Para la suma la cosa es muy sencilla.
j.f C g/.x/
.f C g/.a/j D f .x/
6
jf .x/

f .a/ C g.x/
f .a/j C jg.x/

g.a/ 6
g.a/j
(4.4)
Prof. Javier Prez

Propiedades bsicas de las funciones continuas
105
Dado " > 0, hagamos en (4.2) "1 D 2" y en (4.3) "2 D 2" y sean 1 D 1 . 2" / y 2 D 2 . 2" /.
Pongamos D mKn f1 ; 2 g. Entonces, como consecuencia de las desigualdades (4.4), (4.2) y
(4.3), se deduce que j.f C g/.x/ .f C g/.a/j < 2" C 2" D", siempre que x 2 A y jx aj < .
Para el producto hay que pensar un poquito ms.

j.fg/.x/ .fg/.a/j D f .x/ g.x/ g.a/ C g.a/ f .x/
6
jf .x/j jg.x/
g.a/j C jg.a/j jf .x/

f .a/ 6
f .a/j
(4.5)
La cantidad jg.a/j jf .x/ f .a/j puede controlarse fcilmente usando (4.2). Dado " > 0,
"
hagamos en (4.2) "1 D 2.jg.a/jC1/
(la precaucin de dividir por jg.a/j C 1 es porque pudiera
ocurrir que g.a/ D 0), y sea 1 D 1 ."1 /. Tenemos que
x 2 A ^ jx
aj < 1 jg.a/j jf .x/
f .a/j < jg.a/j
x 2 A ^ jx
aj < 1 jf .x/j D jf .a/ C .f .x/
"
"
<
2.jg.a/j C 1/
2
(4.6)
f .a//j < jf .a/j C "1
"
"
Pongamos M D jf .a/j C "1 , hagamos en (4.3) "2 D 2M
y sea 2 D 2 . 2M
/. Definamos
D mKn f1 ; 2 g. Teniendo ahora en cuenta las desigualdades (4.5) y (4.6), deducimos que
8
" 9
"
D >
=
< jf .x/j jg.x/ g.a/j < M
2M
2 j.fg/.x/ .fg/.a/j < "
x 2 A^jx aj <
"
>
;
: jg.a/j jf .x/ f .a/j <
2
La demostracin del apartado b) se hace de forma parecida.
El teorema anterior es muy til pero con frecuencia no se entiende bien lo que dice o
se interpreta mal. Lo que dice es que la suma, producto y cociente de funciones continuas
(siempre que no dividamos por 0) tambin es continua. De aqu puedes deducir fcilmente
algunas consecuencias.
4.4 Corolario. a) Si la suma de dos funciones es continua y una de ellas es continua, la otra
funcin tambin es continua.
b) La suma de una funcin continua y otra discontinua es una funcin discontinua.
c) Si el producto de dos funciones es continuo y una de ellas es continua y no se anula, la otra
funcin es continua.
d) El producto de una funcin continua y que no se anula por otra discontinua es una funcin
discontinua.
Hasta aqu todo bien. El problema es cuando tenemos que estudiar la continuidad de la
suma o el producto de dos funciones discontinuas. En esta situacin el teorema anterior no nos
dice nada. Peor an; no puede haber ningn teorema que diga lo que pasa en este caso. La
~ razn es que puede pasar cualquier cosa. La suma o el producto de dos funciones discontinuas
puede ser unas veces continua y otras veces discontinua. Se trata de un problema que hay que
estudiar en cada caso concreto y que depende de cmo sean las funciones que sumamos o
multiplicamos.
Prof. Javier Prez

Propiedades locales
106
Por ejemplo, sea f la funcin de Dirichlet que, como sabemos, es discontinua en todo
punto. Sea g una funcin continua cualquiera; por ejemplo, la identidad g.x/ D x para todo
x 2 R. Las funciones g C f y g f son discontinuas en todo punto pero su suma es la funcin
2g que es continua. Por otra parte, el cuadrado de f , esto es la funcin h.x/ D f .x/f .x/ D
.f .x//2 D 1, es la funcin constante igual a 1 y, por tanto, es continua.
Teniendo en cuenta que las funciones polinmicas son sumas de productos de funciones
constantes por potencias de la funcin identidad, deducimos el siguiente corolario.
4.5 Corolario. Toda funcin racional es continua en su dominio natural de definicin.
De hecho, todas las funciones elementales que conoces son continuas en sus dominios
naturales de definicin. Esto no lo podemos probar todava pero lo aceptaremos y lo usaremos
cuando sea preciso; por ejemplo, para hacer ejercicios.
Adems de sumar y multiplicar funciones, tambin sabemos componerlas. Veamos cmo
se comporta la continuidad respecto de la composicin de funciones.
4.6 Teorema (Continuidad de una funcin compuesta). Sean f W A ! R y g W B ! R
funciones tales que f .A/ B. Supongamos que f es continua en un punto a 2 A y que g es
continua en el punto f .a/. Entonces la funcin compuesta g f W A ! R es continua en el
punto a. En particular, si g es continua en f .A/, entonces g f es continua en todo punto de
A en el que f sea continua. Ms en particular, la composicin de funciones continuas es una
funcin continua.
Demostracin. Dado " > 0, por la continuidad de g en f .a/, existe > 0 tal que para todo
y 2 B con jy f .a/j < se tiene que jg.y/ g.f .a//j < ". Ahora, por la continuidad de f
en a, existe > 0 tal que para todo x 2 A con jx aj < se tiene que jf .x/ f .a/j < .
Deducimos as que jg.f .x// g.f .a//j < " para todo x 2 A con jx aj < . Es decir, la
funcin compuesta g f es continua en a.
2
4.2.2. Propiedades locales

Intuitivamente, la continuidad de una funcin en un punto depende nicamente del comportamiento de la funcin en la proximidad de dicho punto. Esto se expresa diciendo que la
continuidad es una propiedad local. Vamos a precisar este concepto.
4.7 Definicin. Dados una funcin f W A ! R y un conjunto no vaco C A, podemos
definir una nueva funcin, llamada restriccin de f a C que se representa por fjC , que es la
funcin definida en el conjunto C que viene dada por fjC .x/ D f .x/ para todo x 2 C .
Dada una funcin f W A ! R , se dice que una funcin g W B ! R es una extensin de
f , si B A y f es la restriccin de g al conjunto A, es decir f .x/ D g.x/ para todo x 2 A.
Los conceptos de extensin y de restriccin de una funcin son esencialmente el mismo:
todo depende de que se mire para arriba o para abajo.
Es importante distinguir entre una funcin y su restriccin a un conjunto. Veamos un ejemplo que nos permitir introducir una funcin muy til.
Prof. Javier Prez

Propiedades locales
107
4.8 Ejemplo (Funcin parte entera). La funcin que a cada nmero x 2 R asigna el mayor
entero que es menor o igual que x se llama funcin parte entera. Dicha funcin se representa
con la letra E y est definida para todo x 2 R por las condiciones siguientes:
E.x/ 2 Z y E.x/ 6 x < E.x/ C 1:
5
4
3
2
1
-5 -4 -3 -2 -1
-1
-2
-3
-4
No es difcil probar que esta funcin es discontinua en todos los enteros. Ahora, si consideramos a dicha funcin trabajando solamente en el
intervalo 1; 2, es decir, la funcin f restriccin
de E a 1; 2 cuyo dominio es el intervalo 1; 2
y que a cada punto de dicho intervalo asigna su
parte entera, f .x/ D E.x/, para 1 6 x < 2;
entonces la funcin f es constante pues, claramente f .x/ D 1 para todo x 2 1; 2, luego f es
continua en todos los puntos de su dominio, en
particular f es continua en 1 a pesar de que la
funcin parte entera es discontinua en dicho
punto.
Figura 4.1. Funcin parte entera
El ejemplo anterior, y tambin el ejemplo de la funcin de Dirichlet antes visto, prueban que
una restriccin de una funcin discontinua puede ser continua o, lo que es igual, una extensin
de una funcin continua puede ser discontinua. Son importantes y tiles a este respecto los
siguientes resultados fciles de probar.
4.9 Proposicin. a) Cualquier restriccin de una funcin continua es tambin continua.
b) Cualquier extensin de una funcin continua en un intervalo abierto es tambin continua en
dicho intervalo abierto.
Observa la importancia que en la afirmacin b) anterior tiene el hecho de que el intervalo
sea abierto. El ejemplo de la funcin parte entera, antes visto, pone de manifiesto que una
extensin de una funcin continua en un intervalo no abierto puede no ser continua.
De las afirmaciones anteriores se deduce el siguiente resultado.
4.10 Teorema (Teorema de localizacin). Una funcin f es continua en un intervalo abierto
I si, y slo si, la restriccin fjI es continua en I .
Este resultado es bastante til para evitarnos hacer trabajo innecesario. Por ejemplo, si
queremos estudiar la continuidad de la funcin parte entera, como dicha funcin es constante
en los intervalos de la forma n; n C 1 (n 2 Z), el resultado anterior nos dice que dicha funcin
es continua en estos intervalos. Slo queda as estudiar lo que pasa en los enteros.
La continuidad de una funcin en un punto permite obtener informacin sobre el comportamiento de la funcin en los puntos prximos al mismo. Estos resultados se llaman locales.
Prof. Javier Prez

Teorema de Bolzano. Supremo e nfimo
108
4.11 Teorema (Conservacin local del signo). Sea f W A ! R continua en un punto a 2 A

con f .a/ 0. Entonces hay un nmero r > 0 tal que para todo x 2 A con jx aj < r se
verifica que f .x/f .a/ > 0. Es decir, f .x/ > 0 si f .a/ > 0, o f .x/ < 0 si f .a/ < 0, en todo
punto x 2a r; a C r \A.
Demostracin. Supondremos que f .a/ > 0. Podemos entonces tomar " D f .a/=2 en (4.1)
para obtener, en virtud de la continuidad de f en a, un r > 0 tal que para todo x 2 A con
jx aj < r se verifica que jf .x/ f .a/j < f .a/=2, lo que implica que f .x/ > f .a/=2 > 0.
El caso en que f .a/ < 0 se reduce al anterior sin ms que sustituir f por f .
2
4.12 Proposicin (Acotacin local). Sea f W A ! R continua en un punto a 2 A. Entonces

hay nmeros, Ma > 0, ra > 0 tales que para todo x 2 A con jx aj < ra se verifica que
jf .x/j 6 Ma .
Demostracin. Hagamos " D 1 en (4.1) para obtener, en virtud de la continuidad de f en a, un
ra > 0 tal que para todo x 2 A con jx aj < ra se verifica que jf .x/ f .a/j < 1. Pongamos
Ma D 1 C jf .a/j. Entonces, para todo x 2a ra ; a C ra \A tenemos que:
jf .x/j D jf .a/ C .f .x/
f .a//j 6 jf .a/j C jf .x/
f .a/j < 1 C jf .a/j D Ma

2
4.3. Teorema de Bolzano. Supremo e nfimo

Si ahora mides 175cm y hace 10 aos medas 135cm, es seguro que en algn momento
intermedio medas con exactitud 161cm. Si una entrada de cine cuesta 5e y hace 3 aos costaba
4e, es seguro que en algn momento ir al cine costaba exactamente 499e. Seguro? No, a
ningn empresario de cine le parecera bien cobrar 499e por la entrada.
La diferencia est en que la talla de una persona es una funcin continua del tiempo y para
pasar de 135cm a 175cm tiene que pasar por todos los valores intermedios, pero el precio de
las entradas de cine no vara de forma continua con el tiempo y puede pasar de golpe de 45e
a 5e.
La grfica de una funcin continua en un intervalo, f W a; b ! R , la imaginamos como

una curva continua, por ello, si f .a/ < 0 < f .b/, la grfica de f tiene que atravesar el eje de
abscisas para pasar de un punto situado por debajo de l a otro que se encuentra por encima y,
por tanto, f tiene que anularse en algn punto entre a y b. Esto es precisamente lo que afirma
el conocido teorema que sigue.
4.13 Teorema (Teorema de los ceros de Bolzano). Toda funcin continua en un intervalo que
toma valores positivos y negativos se anula en algn punto de dicho intervalo.
Lo primero que llama la atencin en este teorema es su evidencia. No est de ms a este respecto recordar que, como deca Bertrand Russell, en matemticas, la evidencia es enemiga de
Prof. Javier Prez

La propiedad del supremo
109
la correccin. Precisamente, el mrito de Bernard Bolzano (1781-1848) est en haber llamado

la atencin sobre la necesidad de demostrar muchas proposiciones, aparentemente evidentes,
que se refieren a las funciones continuas. Podemos aadir, adems, que suele ser particularmente difcil demostrar matemticamente lo que nuestra intuicin presenta como evidente; de
hecho, con las herramientas que tenemos hasta ahora no podemos demostrar el teorema.
La funcin f .x/ D x 2 2 es continua y f .0/ < 0 < f .2/, el teorema de Bolzano asegura
que existe un nmero positivo
en el que f se anula. En otras palabras, el teorema prueba la
p
existencia del nmero 2 y, como dicho nmero no es racional, deducimos que para probar
el teorema se precisa usar alguna propiedad que NO tienen los nmeros racionales. Pero todas
las propiedades de los nmeros reales que enunciamos en el Captulo 1 las tienen tambin
los nmeros racionales. Concluimos que los nmeros reales debern tener otra propiedad que
todava no hemos considerado.
4.3.1. La propiedad del supremo

Comentamos
en el Captulo 1 que no debemos preocuparnos mucho por lo que sea el
p
nmero 2, pero al menos deberamos de tener alguna forma de probar su existencia; es decir,
de las propiedades de los nmeros realespse debera poder deducir que hay un nmero cuyo
cuadrado es igual a 2. Qu sabemos de 2? No es racional, pero podemos aproximarlo
p por
racionales. Con una calculadora obtenemos sucesivas aproximaciones racionales de 2 por
defecto:
1 41, 1 414, 1 4142, 1 41421, 1 414213,. . .
p
Es claro que 2 debe ser el menor nmero mayor que todas ellas. Pues bien, justamente
necesitamos una propiedad que garantice la existencia de ese menor nmero mayor que. Nos
vendr bien introducir alguna terminologa nueva.
4.14 Definicin. Sea E un conjunto no vaco de nmeros reales. Un nmero z2R se dice que
es un mayorante o cota superior (resp. minorante o cota inferior) de E si x6z (resp. z6x)
para todo x2E.
Si hay algn elemento de E que tambin sea mayorante (resp. minorante) de E, dicho elemento es necesariamente nico y se llama mximo (resp. mnimo) de E y lo representaremos
por mKax.E/ (resp. mKn.E/ ).
Un conjunto que tiene algn mayorante (resp. minorante) se dice que est mayorado o
acotado superiormente (resp. minorado o acotado inferiormente). Un conjunto que est
mayorado y minorado se dice que est acotado.
Est claro que un conjunto puede no tener mnimo ni mximo. Los problemas de optimizacin consisten, justamente, en estudiar condiciones que garanticen la existencia de valores
mximos y mnimos para funciones de diversas clases. La siguiente propiedad garantiza que
ciertos conjuntos de nmeros reales tienen mnimo.
P8 Propiedad del supremo. Para todo conjunto de nmeros reales no vaco y mayorado se
verifica que el conjunto de sus mayorantes tiene mnimo.
4.15 Definicin. Dado un conjunto E R, no vaco y mayorado, se llama supremo o extremo
superior de E, al mnimo mayorante de E y lo notaremos por sup.E/.
Prof. Javier Prez

Propiedad de extremo inferior
110
Con esta terminologa lo que dice la propiedad P8 es que todo conjunto de nmeros reales
no vaco y mayorado tiene supremo (pero ntese que el supremo no tiene por qu pertenecer al
conjunto).
4.3.2. Propiedad de extremo inferior

A partir de la propiedad del supremo, se prueba con facilidad el siguiente resultado.
4.16 Proposicin (Propiedad del nfimo). Para todo conjunto de nmeros reales no vaco y
minorado se verifica que el conjunto de sus minorantes tiene mximo.
Demostracin. Sea E R, un conjunto no vaco y minorado. Definamos A D f x W x 2 Eg.
El conjunto A es no vaco y mayorado (pues si z es un minorante de E entonces z es mayorante de A). La propiedad del supremo nos dice que hay un nmero real c que es el mnimo
mayorante de A. Comprobemos que c es el mximo minorante de E. Para todo x 2 E se
tiene que x 2 A y como c es un mayorante de A, tenemos que x 6 c, esto es, c 6 x. Por
tanto c es un minorante de E. Veamos que es el mximo minorante, y para ello probaremos
que ningn nmero mayor que c es minorante de E. Sea, pues, u > c. Entonces u < c y,
como c es el mnimo mayorante de A, se sigue que u no puede ser mayorante de A, esto es,
tiene que haber algn elemento x 2 A tal que u < x. Pero entonces tenemos que x < u y,
como x 2 E, concluimos que u no es minorante de E.
2
4.17 Definicin. Dado un conjunto E R, no vaco y minorado, se llama nfimo o extremo
inferior de E, al mximo minorante de E y lo notaremos por Knf.E/.
Con esta terminologa lo que dice la propiedad del nfimo es que todo conjunto de nmeros
reales no vaco y minorado tiene nfimo (pero ntese que el nfimo no tiene por qu pertenecer
al conjunto).
4.18 Estrategia. Para probar desigualdades en las que intervienen supremos o nfimos las
siguientes observaciones, aunque evidentes, pueden ser tiles. Sea C R un conjunto no
vaco.
a) Si queremos probar que un nmero real x verifica que sup.C / 6 x, lo que tenemos que
hacer es probar que x es un mayorante de C .
b) Si queremos probar que un nmero real x verifica que x 6 Knf.C /, lo que tenemos que
hacer es probar que x es un minorante de C .
Sea C un conjunto no vaco y acotado de nmeros reales. Pongamos DKnf.C /, Dsup.C /.
Los siguientes razonamientos son de uso constante:
a) Si un nmero real x verifica que x < entonces x no puede ser mayorante de C (porque
es el mnimo mayorante de C ), por tanto tiene que haber algn z 2 C tal que x < z.
b) Si un nmero real x verifica que x > entonces x no puede ser minorante de C (porque
es el mximo minorante de C ), por tanto tiene que haber algn u 2 C tal que u < x.
Prof. Javier Prez

Propiedad de extremo inferior
111
La propiedad del supremo es lo que distingue a los nmeros reales de los racionales. Dicha
propiedad se usa para probar la existencia de nmeros reales que cumplen alguna determinada
condicin. La demostracin del teorema de Bolzano es un ejemplo importante de ello.
Demostracin del teorema de los ceros de Bolzano
Es suficiente probar que si f W a; b ! R es continua y f .a/ < 0 < f .b/, entonces f se
anula en algn punto del intervalo a; b . Una buena estrategia para demostrar un teorema es
darlo por demostrado y trabajar hacia atrs. Tenemos que buscar un punto c 2a; b tal que
f .c/ D 0. Por supuesto, puede haber muchos puntos donde f se anule (el teorema dice que
al menos hay uno), pero de todos ellos el ms fcil de caracterizar es el primero, porque a
la izquierda de l la funcin es siempre negativa. Esto lleva a considerar el conjunto E de los
puntos x 2 a; b tales que f toma valores negativos en a; x:
E D fx 2 a; b W f .t/ < 0 para todo t 2 a; xg
Por su definicin, tenemos que E a; b y a 2 E. La propiedad del supremo nos dice que
hay un nmero real, c, que es el supremo de E. Es evidente que a 6 c 6 b. La propiedad de
conservacin local del signo implica que existe algn > 0 tal que a C < b y f es
negativa en todos los puntos del intervalo a; a C y positiva en todos los puntos del intervalo
b ; b. Esto implica que a < c < b.
Veamos que a; c E. Sea a < x0 < c. Como x0 < c y c es el mnimo mayorante de
E, tiene que existir algn punto z0 2 E tal que x0 < z0 6 c. Por tanto, si t 2 a; x0 tambin
t 2 a; z0 y, como, z0 2 E, ser f .t/ < 0, luego x0 2 E. Ntese que hemos probado tambin
que f .x/ < 0 para todo x 2 a; c.
Finalmente, probaremos que f .c/ D 0. Como a la izquierda de c la funcin f toma valores
negativos y f es continua, deducimos que no puede ser f .c/ > 0 y, por tanto, f .c/ 6 0. Pero
tampoco puede ser f .c/ < 0, pues entonces, por la conservacin local del signo, habra un
intervalo de la forma c ; c C a; b tal que f .t/ < 0 para todo t 2 c ; c C lo
que implica que en E hay puntos mayores que c lo que es contradictorio. Concluimos as que
f .c/ D 0.
2
Observa que la demostracin que hemos dado no nos dice cmo calcular un punto en el
que la funcin se anule. Es una demostracin de existencia. Veremos ms adelante otra demostracin, algo ms constructiva, en la que se basa un algoritmo bastante eficaz para calcular
de forma aproximada races de ecuaciones.
Un enunciado equivalente del teorema de Bolzano es el siguiente.
4.19 Teorema (Teorema del valor intermedio). La imagen de un intervalo por una funcin
continua es un intervalo.
Demostracin. Supongamos que I es un intervalo y f W I ! R es una funcin continua en I .
Queremos probar que la imagen de f , esto es, el conjunto J D f .I / es un intervalo. Teniendo
en cuenta la definicin de intervalo (2.10), deberemos probar que si dos nmeros estn en J ,
todos los nmeros comprendidos entre ellos tambin se quedan dentro de J . Sean pues, u; v
Prof. Javier Prez

Consecuencias del teorema de Bolzano
112
elementos de J con u < v. Debe haber elementos ; en I tales que f ./ D u, f ./ D v.

Como f es una funcin, debe ser ; podemos suponer que < . Sea z 2u; v, esto es,
u < z < v. Definamos la funcin h W I ! R dada por h.x/ D z f .x/ para todo x 2 I .
Como f es continua, h es continua en I . Tenemos que h./ D z f ./ D z u > 0 y
h./ D z f ./ D z v < 0. Como I es un intervalo, tenemos que ; I . Podemos,
pues, aplicar el teorema antes demostrado a la funcin h en el intervalo ; y obtenemos que
tiene que haber algn punto 2; tal que h./ D z f ./ D 0. Hemos probado as que
f ./ D z. Como 2 ; I , concluimos que z 2 J D f .I /. Como esto es cierto cualquiera
sea el punto z 2u; v, concluimos que u; v J y, en consecuencia, J es un intervalo.
Recprocamente, si suponemos que la imagen de un intervalo por una funcin continua es
un intervalo, y f W I ! R es una funcin continua en un intervalo I que toma valores positivos
y negativos, entonces J D f .I / es un intervalo en el que hay nmeros negativos y positivos,
luego debe contener al 0, es decir f tiene que anularse en algn punto de I .
2
Observa que el teorema del valor intermedio dice que una funcin continua en un intervalo
toma todos los valores comprendidos entre dos cualesquiera de sus valores. Bueno, eso es lo
que nos dice la intuicin verdad?
4.20 Estrategia. El teorema de Bolzano proporciona una herramienta til para probar que
ciertas ecuaciones tienen solucin. Consideremos el siguiente problema. Se trata de probar que
hay un nmero real c tal que f .c/ D g.c/ o, dicho de otra forma, que la ecuacin f .x/ D g.x/
tiene soluciones. La forma de proceder para aplicar el teorema de Bolzano es la siguiente.
Se pasan todos los trminos de la ecuacin a un lado y se define h.x/ D f .x/
g.x/.
Se comprueba que la funcin h es continua y est definida en un intervalo I . Unas veces

el intervalo donde h est definida debemos elegirlo nosotros de forma adecuada, y otras
veces viene impuesto por el enunciado del ejercicio.
Se comprueba que hay puntos en I donde la funcin h es negativa y otros en los que h
es positiva. Se concluye, por el teorema de Bolzano, que h debe anularse en algn punto
de I , que es lo que queramos probar.
4.3.3. Consecuencias del teorema de Bolzano

Hay consecuencias de este teorema que estn lejos de ser evidentes. Algunas de ellas estn
expuestas en el excelente libro de R. Courant y H. Robbins Qu es la Matemtica? ([17]). Por
ejemplo, en dicho libro se demuestra, usando como herramienta bsica el teorema de Bolzano,
que, dadas dos regiones acotadas del plano, siempre existe una recta que divide simultneamente a cada una de ellas en dos partes con igual rea. Este resultado se puede generalizar.
Puede probarse, con la ayuda del teorema de Bolzano, que si tenemos tres slidos en el espacio
(imagina que son tres bocadillos de muy distintos tamaos), es siempre posible encontrar un
plano que los divida simultneamente en dos partes de igual volumen (puedes cortar a los tres
bocadillos exactamente por la mitad de un slo tajo). Nosotros aqu nos conformaremos con
obtener algunas consecuencias menos vistosas pero muy tiles.
4.21 Corolario (Existencia de races). Dados a > 0 y k 2 N hay un nico nmero c > 0 tal
que c k D a.
Prof. Javier Prez

113
k a, es continua y f .0/D a < 0,

Demostracin. La funcin f WRC
o ! R dada por f .x/Dx
k
f .1 C a/ D .1 C a/
a > 0. Deducimos que hay algn nmero c > 0 tal que f .c/ D 0. Dicho
nmero es nico porque la funcin f es estrictamente creciente.
2
4.22 Corolario (Ceros de polinomios de grado impar). Toda funcin polinmica de grado
impar se anula en algn punto.
Demostracin. Sea
P .x/ D c0 C c1 x C c2 x 2 C C cn
1x
n 1
C cn x n
una funcin polinmica de grado impar n>3. Nuestro objetivo es probar que P .x/ toma valores
positivos y negativos. Podemos suponer que cn > 0. Supongamos en lo que sigue que jxj > 1.
Dividiendo por x n tenemos que
P .x/
c0
c1
c2
cn 1
D n C n 1 C n 2 C C
C cn
n
x
x
x
x
x
Para 0 6 k 6 n
1, tenemos, por ser jxj > 1 y n
(4.7)
k > 1, que:
jck j
jck j
6
n
k
jxj
jxj
Por otra parte
cn
jck j
jck j
2n
6
jxj >
jxj
2n
cn
Definamos
M D mKax
jck j
2n W k D 0; 1; 2 : : : ; n
cn
Para jxj > K y para k D 0; 1; 2; : : : ; n

ck
xn k
>

1 ;
K D mKax fM; 1g
1, tenemos que:
jck j
>
jxjn k
jck j
>
jxj
cn
2n
Deducimos que para jxj > K es:

P .x/
> .n
xn
1/
cn
C cn >
2n
cn
cn
C cn D
>0
2
2
(4.8)
Ahora si x < K, se tiene por ser n impar que x n < 0, y la desigualdad anterior implica que
P .x/ < 0. Anlogamente, si x > k debe ser P .x/ > 0.
Hemos probado que P .x/ toma valores positivos y negativos, como es una funcin continua
y est definida en un intervalo, R, concluimos que debe anularse en algn punto.
2
Prof. Javier Prez


4.3.3.1.
114
Continuidad y monotona
Hemos visto que la imagen de un intervalo por una funcin continua es un intervalo. Podemos preguntarnos si esta propiedad caracteriza la continuidad. En general, la respuesta es que
no. Es fcil dar ejemplos de funciones discontinuas en un intervalo cuya imagen es un intervalo
pero estas funciones no pueden ser montonas. Es fcil entender que si una funcin montona es discontinua es porque su grfica da saltos, es decir, su imagen no es un intervalo. El
siguiente resultado deja claro este punto.
4.23 Teorema. Una funcin montona en un intervalo1 cuya imagen es un intervalo es continua.
Demostracin. Sea f W I ! R una funcin creciente en un intervalo I cuya imagen J Df .I /
es un intervalo. Queremos probar que f es continua. Sea a 2 I y supongamos que a no es un
punto extremo de I , esto es, que los conjuntos
Ia D fx 2 I W x < ag ;
IaC D fx 2 I W x > ag
no son vacos. Para demostrar que f es continua en a, probaremos que

sup f .Ia / D sup ff .x/ W x 2 I; x < ag D f .a/ D Knf ff .x/ W x 2 I; x > ag D Knf f .IaC /
Probemos que f .a/ D sup f .Ia /. Pongamos D sup f .Ia /. Para todo x 2 Ia tenemos que
x < a y, como f es creciente, f .x/ 6 f .a/. Luego f .a/ es un mayorante del conjunto f .Ia /
y, en consecuencia, debe ser 6 f .a/. Veamos que no puede ocurrir que < f .a/. Para
ello supondremos que < f .a/ y llegaremos a una contradiccin. Tomemos un elemento
cualquiera z 2; f .a/. Sea u 2 Ia . Entonces f .u/ 6 < z < f .a/. Como f .u/ y f .a/
estn en J D f .I / y J es, por hiptesis, un intervalo, deducimos que z 2 J , esto es, z D f .s/
para algn s 2 I . No puede ser s D a y, como f es creciente y z < f .a/, debe verificarse que
s < a, esto es, s 2 Ia en cuyo caso debe ser f .s/ 6 , es decir, z 6 lo cual es claramente
contradictorio pues < z.
Anlogamente se prueba que f .a/ D D Knf f .IaC /.
Sea ahora " > 0. Tiene que haber elementos u 2 Ia y v 2 IaC tales que
f .v/ < C ", es decir
f .a/
" < f .u/ y
" < f .u/ 6 f .v/ < f .a/ C ":
Definamos D mKn fa u; v ag > 0. Entonces para todo x 2 I verificando que jx aj <

se tiene que x 2a ; a C u; v y, por tanto, f .u/ 6 f .x/ 6 f .v/ lo que implica que
f .a/ " < f .x/ < f .a/ C ", esto es, jf .x/ f .a/j < ".
Los casos en que a es un posible extremo de I se hacen de forma anloga.
4.24 Corolario. Una funcin montona definida en un intervalo es continua si, y slo si, su
imagen es un intervalo.
1 No es necesario suponer que la funcin est definida en un intervalo, de hecho en la demostracin no se usa
esta hiptesis. El enunciado que damos es para facilitar su visualizacin.
Prof. Javier Prez

115
4.25 Corolario. La funcin inversa de una funcin estrictamente montona definida en un

intervalo es continua.
Demostracin. Sea f W I ! R una funcin estrictamente montona definida en un intervalo
I . Como f es inyectiva en I su inversa, f 1 , est definida en el conjunto imagen J D f .I /
y, claramente, f 1 .J / D I . Como la inversa de una funcin estrictamente montona f es
tambin estrictamente montona (y del mismo tipo que f ) e I es, por hiptesis, un intervalo,
el teorema anterior, aplicado a f 1 , nos dice que f 1 es continua en J 2 .
2
Considera una funcin inyectiva y continua en un intervalo e intenta dibujar su grfica;
comprobars que la funcin no puede subir y bajar porque en tal caso se pierde la inyectividad, por tanto, o bien siempre sube y es estrictamente creciente, o bien siempre baja y
es estrictamente decreciente. Eso es lo que afirma el siguiente resultado, que ser usado ms
adelante para obtener una importante propiedad de las funciones con derivada distinta de cero.
4.26 Teorema. Toda funcin inyectiva y continua en un intervalo es estrictamente montona.
Demostracin. 3 Sea f W I ! R continua e inyectiva en el intervalo I . Sean a0 < b0 dos
puntos de I . Como f es inyectiva debe ser f .a0 /f .b0 /. Por tanto, o bien f .b0 / f .a0 / > 0,
o bien f .b0 / f .a0 / < 0. Supongamos que es f .b0 / f .a0 / > 0 y demostremos que f es
estrictamente creciente en I . Para ello sean a1 < b1 puntos de I . Pongamos

x.t/ D .1 t/a0 C t a1
para 0 6 t 6 1
y.t/ D .1 t /b0 C t b1
Tenemos que x.0/ D a0 , x.1/ D a1 , y.0/ D b0 , y.1/ D b1 . Adems, poniendo D mKn fa0 ; a1 g
y D mKax fa0 ; a1 g, se tiene que:
D .1
t/ C t 6 x.t/ 6 .1
t/ C t D
Como I es un intervalo y ; 2 I , se verifica que ; I , por lo que x.t / 2 I . Anlogamente, se tiene que y.t/ 2 I . Adems, como a0 < b0 y a1 < b1 , se verifica que x.t / < y.t/
para 0 6 t 6 1. Consideremos la funcin:
g.t/ D f .y.t//
f .x.t //
06t 61
La funcin g es continua en 0; 1 por ser composicin y diferencia de funciones continuas.

Como f es inyectiva y x.t/ < y.t/, se tiene que g.t / 0 para todo t 2 0; 1. El teorema de
Bolzano implica que g debe tener signo constante en 0; 1 y, como g.0/ > 0, concluimos que
g.t / > 0 para todo t 2 0; 1. Por tanto g.1/ D f .b1 / f .a1 / > 0. Hemos probado as que f
es estrictamente creciente.
Anlogamente, si se supone que es f .b0 / f .a0 / < 0 se demuestra que f es estrictamente
decreciente en I .
2
2 Este
3 Esta
resultado es cierto tal como est enunciado, sin necesidad de suponer que la funcin es continua.
elegante demostracin est tomada del libro de M. Spivak [16].
Prof. Javier Prez

Ejercicios propuestos
116
4.3.4. Ejercicios propuestos
115.
a) Da un ejemplo de una funcin continua cuya imagen no sea un intervalo.

b) Da un ejemplo de una funcin definida en un intervalo cuya imagen sea un intervalo
y que no sea continua.
c) Da un ejemplo de una funcin continua en todo R, no constante y cuya imagen sea
un conjunto (obligatoriamente un intervalo) acotado.
d) Da un ejemplo de una funcin continua en 0; 1 tal que f .0; 1/ no sea acotado.
e) Da un ejemplo de una funcin continua definida en un intervalo abierto acotado y
cuya imagen sea un intervalo cerrado y acotado.
116. Prueba que si f W A ! R es continua en a entonces tambin lo es jf j. Da un ejemplo

de funcin discontinua cuyo valor absoluto es continua.
117. Representamos por E.x/ la parte entera de x (4.8). Haz un esquema de las grficas de
las siguientes funciones y estudia su continuidad.
a) f .x/ D x
E.x/
b) f .x/ D E.1=x/
118. Estudia la continuidad de la funcin f W R ! R dada por f .x/ D E.x 2 /.
119. Estudia la continuidad de la funcin f W R ! R, definida por f .x/ D xE.1=x/ si x 0,
f .0/ D 1.
120. Estudia la continuidad de la funcin f W R ! R dada por f .x/ D x sen.1=x/ si x 0
y f .0/ D 0.
121. Estudia la continuidad de la funcin f W 0; 4 ! R dada por f .1/ D 1=4 y:
8
jx 1j
<
si x 2 0; 1[1; 2
.x 2 1/E.1 C x/
f .x/ D
: E.x/ 7=4
si x 22; 4
122. Estudia la continuidad de la funcin f W 0; 1 ! R dada por:

0
si x D 0 o x es irracional
f .x/ D
1=q si x D p=q (fraccin irreducible)
123. Sea f W a; b ! R continua. Supongamos que a6f .x/6b para todo x en a; b. Prueba
que hay algn punto c 2 a; b tal que f .c/ D c.
124. Sea a > 1. Prueba que la ecuacin x C e
otra negativa.
Da tiene al menos una solucin positiva y
125. Prueba que la ecuacin x C ex C arc tg x D 0 tiene una sola raz real. Da un intervalo
de longitud uno en el que se encuentre dicha raz.
p
126. Prueba que hay un nmero real x > 0 tal que log x C x D 0.
Prof. Javier Prez

117
127. Suponiendo que la temperatura vara de forma continua, prueba que siempre hay dos
puntos antpodas en el ecuador terrestre que estn a la misma temperatura.
128. Sea f W a; b ! R continua con f .a/ D f .b/. Dado n 2 N, n > 2, prueba que hay algn
punto c 2 a; b .b a/=n tal que f .c/ D f .c C .b a/=n/.
129. Un corredor recorre 6 kilmetros en 30 minutos. Demuestra que en algn momento de
su carrera recorre 1 kilmetro en exactamente 5 minutos.
130. Un reloj averiado marca inicialmente un tiempo t 0 . El reloj puede adelantar o atrasar, pero cuenta con exactitud perodos de 12 horas, es decir, pasadas 12 horas el reloj marca un
tiempo t 0 C 12 horas. Demuestra que en algn momento dicho reloj mide con exactitud
una hora.
131. Un automovilista sale de Granada hacia Madrid un sbado a las 8h de la maana y el
domingo inicia el regreso a la misma hora. Sabiendo que invirti igual tiempo en ambos
viajes, prubese que en algn momento del domingo el automovilista se encuentra a igual
distancia de Granada que a la que se encontraba el sbado en ese mismo momento.
132. Sean f; g funciones continuas que no se anulan en un intervalo I , verificando que
.f .x//2 D .g.x//2 para todo x 2 I . Prueba que o bien f .x/ D g.x/ para todo x 2 I ,
o bien f .x/ D g.x/ para todo x 2 I . Cuntas funciones hay ' W R ! R continuas y
verificando que .'.x//2 D x 2 para todo x 2 R?.
133. Demuestra el apartado b) del teorema (4.3).
134. Justifica las afirmaciones del corolario (4.4).
135. Sea f W R ! R continua y decreciente. Prueba que hay un nico a 2 R verificando que
f .a/ D a.

136. Sea f W R ! R continua y tal que f .x/ .f f /.x/ D 1 para todo x 2 R. Sabiendo
que f .1000/ D 999, calcula f .500/.
137. Cuntas soluciones tiene la ecuacin sin x D
2x
?
101
138. Sea E un conjunto no vaco de nmeros reales acotado.

a) Describe el conjunto de todos los mayorantes de E.
b) Describe el conjunto de todos los minorantes de E.
139.
a) Prueba que sup.E/ 2 E si, y slo si, E tiene mximo, en tal caso mKax.E/Dsup.E/.
b) Prueba que Knf.E/ 2 E si, y slo si, E tiene mnimo, en tal caso mKn.E/ D Knf.E/.
140. Sean A; B conjuntos no vacos de nmeros reales. Supongamos que a 6 b para todo
a 2 A y para todo b 2 B. Prueba que sup A 6 Knf B.
141. Sean A, B, conjuntos no vacos y acotados de nmeros reales. Justifica las siguientes
afirmaciones:
a) Si A B entonces sup.A/ 6 sup.B/ e Knf.A/ > Knf.B/.
Prof. Javier Prez

118
b) sup.A [ B/ D mKaxfsup.A/; sup.B/g.

142. Sean A, B, conjuntos no vacos y acotados de nmeros reales. Definamos
A
B D fa
b W a 2 A; b 2 BgI AB D fab W a 2 A; b 2 Bg
Prueba que sup.A B/ D sup A

que sup.AB/ D sup A sup B.
Knf B y, supuesto que A RC y B RC , prueba
143. Usando solamente la definicin de intervalo (2.10), y las propiedades del supremo e
nfimo, describe todos los posibles tipos de intervalo.
144. Sea A un conjunto no vaco de nmeros reales. Para cada x 2 R definamos la distancia
de x a A por dist.x; A/ D Knffjx aj W a 2 Ag. Prueba que para todos x; y 2 R se
verifica que:
j dist.x; A/ dist.y; A/j 6 jx yj
Deduce que la aplicacin x 7! dist.x; A/ es continua.
145. Sea f W R ! R continua, mayorada y tal que para todos a; b 2 R con a < b, se verifica
que sup f .a; b/ D sup f .R/. Prueba que f es constante.
146. Sea f W a; b ! R una funcin continua tal que f .a/ < 0, f .b/ < 0 y f .c/ > 0
para algn c 2a; b. Prueba que hay dos nmeros u, v verificando que a < u < v < b,
f .u/ D f .v/ D 0 y f .x/ > 0 para todo x 2u; v.
147. Sea f W a; b ! R creciente. Supongamos que a6f .x/6b para todo x en a; b. Prueba
que hay algn punto c 2 a; b tal que f .c/ D c.
Sugerencia. Considera el supremo del conjunto fx 2 a; b W x 6 f .x/g. Fjate que no

suponemos que f sea continua.
148. Justifica que, dado x 2 R, la ecuacin log t C t 5 D x tiene una nica solucin, que
representamos por '.x/. Justifica que la funcin x 7! '.x/, .x 2 R/, as definida es
continua.
!
r
1Cx
149. Prueba que la funcin f W 1; 1! R definida por f .x/ D ln
es biyectiva.
1 x
Calcula f
y comprueba que es una funcin continua.
150. Sea f W 0; 1 ! R continua verificando que jf .s/ f .t /j>js tj para todos s; t 2 0; 1,

y f .f0; 1g/ D f0; 1g. Prueba que o bien es f .x/ D x para todo x 2 0; 1, o bien es
f .x/ D 1 x para todo x 2 0; 1.
151. Sean
A D fx 2 Q W x 6 0 o x 2 < 2g; B D fx 2 Q W x > 0 y x 2 > 2g:
Prueba que A , B , Q D A [ B y a < b para todos a 2 A; b 2 B. Adems:
a) Para cada r 2 A hay algn s 2 A tal que r < s.
b) Para cada u 2 B hay algn t 2 B tal que t < u.

Prof. Javier Prez

Ejercicios resueltos
119
c) No hay ningn z 2 Q con la propiedad de que todo nmero racional menor que z
est en A y todo nmero racional mayor que z est en B.
152. Sean
A D fx 2 R W x 6 0 o x 2 < 2g; B D fx 2 R W x > 0 y x 2 > 2g:
Prueba que A , B , R D A [ B y a < b para todos a 2 A y b 2 B. Sea z 2 R el
extremo superior de A. Prueba que z 2 D 2, AD 1; z, B D z; C1.
4.3.5. Ejercicios resueltos

Antes de ver la solucin de un ejercicio debes intentar resolverlo!
Ejercicio resuelto 50
intervalo.
a) Da un ejemplo de una funcin continua cuya imagen no sea un
b) Da un ejemplo de una funcin definida en un intervalo cuya imagen sea un intervalo

y que no sea continua.
c) Da un ejemplo de una funcin continua en todo R, no constante y cuya imagen sea
un conjunto (obligatoriamente un intervalo) acotado.
d) Da un ejemplo de una funcin continua en 0; 1 tal que f .0; 1/ no sea acotado.
e) Da un ejemplo de una funcin continua definida en un intervalo abierto acotado y
cuya imagen sea un intervalo cerrado y acotado.
Solucin. a) Una funcin continua cuya imagen no sea un intervalo no puede estar definida en un intervalo. Una vez que caes en este detalle, se te deben de ocurrir muchos
ejemplos. Como la funcin f W0; 1[2; 3! R dada por f .x/ D 1 para x 20; 1 y
f .x/ D 2 para x 22; 3. Es claro que f es continua (usa, si quieres el teorema de localizacin para justificarlo en media lnea) y su imagen es el conjunto f1; 2g que no es un
intervalo.
b) Aqu debes tener en cuenta que, por el teorema (4.23), la funcin que buscas no puede
ser montona. Una vez que caes en este detalle, se te deben de ocurrir muchos ejemplos.
Como la funcin f W 0; 2 ! R dada por f .x/ D 2x para x 2 0; 1, f .x/ D x=2 para
x 21; 2. Claramente f es discontinua en x D 1, pero su imagen es el intervalo 0; 2.
1
c) Esto es muy fcil. Por ejemplo, la funcin f .x/ D
. Claramente, f .R/D0; 1.
1 C x2
1
d) Esto es muy fcil. Por ejemplo, f .x/ D
, x 2 0; 1. Claramente, f .0; 1/ D
1 x
1; C1.
e) Por ejemplo, la restriccin de la funcin seno al intervalo ; . Si quieres otro
ejemplo ms elemental, puedes modificar de forma apropiada el ejemplo del punto b).
Ejercicio resuelto 51 Prueba que si f W A ! R es continua en a entonces tambin lo es

jf j. Da un ejemplo de funcin discontinua cuyo valor absoluto es continua.
Prof. Javier Prez

120
Demostracin. Todo lo que se necesita es la desigualdad juj jvj 6 ju vj. En nuestro

caso tenemos:
jf .x/j jf .a/j 6 jf .x/ f .a/j
Supuesto que f es continua en a, dado " > 0, existe > 0 tal que si jx aj <
y x 2 A entonces jf .x/ f .a/j < " lo que, por la desigualdad anterior, implica que
jf .x/j jf .a/j < " y, por tanto, jf j es continua en a.
La funcin dada por f .x/ D 1 si x > 0 y f .x/ D 1 si x < 0 , es discontinua en 0

pero jf j es continua en 0.
Ejercicio resuelto 52 Estudia la continuidad de la funcin f W R ! R dada por f .x/ D

E.x 2 /.
Demostracin. Claramente f D E ' donde '.x/ D x 2 . Puesto que ' es continua en
todo punto y la funcin parte entera es continua en R n Z, deducimos por el teorema
de composicin de funciones continuas, que f es continua en todo punto a 2 R tal que
p
p
n W n2
'.a/ D a2 62 Z. Es decir, f es continua en R n B donde B D f n W n 2 Ng [ f
Ng [ f0g. Los puntos de B requieren un estudio particular pues, a priori, no podemos
asegurar que f sea discontinua en ellos.
Empecemos estudiando la posible continuidad de f en 0. Es claro que para 1 < x < 1
tenemos que 0 6 x 2 < 1 por lo que f .x/ D 0 para todo x 2 1; 1. Es decir, la funcin
fj 1;1 ( restriccin de f al intervalo 1; 1) es la funcin constante igual a 0 y por
tanto fj 1;1 es continua. Como el intervalo 1; 1 es abierto deducimos, por el teorema
de localizacin que f es continua en 1; 1 y, en particular, f es continua en 0.
p
Consideremos ahora un punto de la forma q donde q 2 N (fijo en lo que sigue). Para
p
p
todo x 2 q 1; q se tiene que q 1 < x 2 < q por lo que f .x/ D q 1. Cualquiera
sea > 0, hay puntos
p
p
p
p
x 2 q ; q C \ q 1; q
p
para los que jf . q/ f .x/j D jq .q 1/j D 1, por lo que tomando "0 < 1 deducimos
p
que f no es continua en q.
p
q donde
De forma anloga se prueba que f es discontinua en los puntos de la forma
q 2 N.
Ejercicio resuelto 53 Estudia la continuidad de la funcin f W R ! R, definida por f .x/ D

xE.1=x/ si x 0, f .0/ D 1.
Solucin. El teorema de localizacin puede usarse en este tipo de ejercicios. En nuestro

caso, es evidente que para x > 1 es f .x/ D 0, y para x < 1 es f .x/ D x. Por tanto la
restriccin de f a los intervalos 1; C1 y 1; 1 es continua y, como estos intervalos
son abiertos, deducimos por el teorema de localizacin que f es continua en dichos
intervalos. De forma parecida podemos razonar con un intervalo del tipo 1=.nC1/; 1=n
donde n 2 N pues, para x 21=.n C 1/; 1=n se tiene que f .x/ D nx, luego la restriccin
de f a dicho intervalo es continua y, por tratarse de un intervalo abierto, deducimos que
f es continua en 1=.n C 1/; 1=n. Anlogamente se razona con un intervalo del tipo
1=n; 1=.n C 1/. El teorema de localizacin no nos dice qu pasa en los puntos
extremos de los intervalos considerados, es decir, en los puntos de la forma 1=n donde
n 2 Z , y tampoco en 0.
Prof. Javier Prez

121
Estudiemos qu ocurre en un punto de la forma 1=p donde p > 2 es un entero (fijo en

lo que sigue). Tenemos que f .1=p/ D 1. Para todo x 21=.p 1/; 1=p se tiene que
p 1 < 1=x < p, por lo que E.1=x/ D p 1 y f .x/ D .p 1/x, y por tanto
f .1=p/
f .x/ D 1
.p
1/x > 1
.p
1/=p D 1=p:
En consecuencia, dado "0 D 1=2p, cualquiera sea > 0 hay puntos x 21=.p 1/; 1=p
cuya distancia al punto 1=p es menor que , para los cuales no se verifica la desigualdad
jf .1=p/ f .x/j < "0 . Concluimos que f es discontinua en 1=p. De forma parecida se
prueba que f es discontinua en los puntos de la forma 1=q donde q 6 2 es un entero.
Igualmente se prueba que f es discontinua en los puntos 1 y 1.
Queda por ver qu pasa en 0. Si dibujamos con paciencia (con lpiz y regla) la grfica de
f obtenemos la figura 4.2 (los segmentos verticales indican discontinuidades de salto):
-2
-1
Figura 4.2. La funcin xE.1=x/
Parece que f es continua en 0. Para probarlo hay que probar que jf .x/ f .0/j es tan
pequeo como queramos (< ") siempre que jx 0j D jxj sea suficientemente pequeo
(< ). Lo usual en estos casos es trabajar para atrs. Empezamos acotando f .x/ 1.
Recordemos que
E.1=x/ 6 1=x 6 E.1=x/ C 1
(4.9)
Si x > 0 podemos multiplicar por x dicha desigualdad para obtener que
xE.1=x/ 6 1 6 xE.1=x/ C x:
Resulta as que para x > 0 es:
061
xE.1=x/ D f .0/
f .x/ 6 x
(4.10)
Si x < 0 podemos multiplicar por x la desigualdad (4.9) para obtener que

xE.1=x/ > 1 > xE.1=x/ C x:
Resulta as que para x < 0 es:
0>1
xE.1=x/ D f .0/
f .x/ > x
es decir
0 6 f .x/
f .0/ 6 x
(4.11)
Prof. Javier Prez

122
De (4.10) y (4.11) deducimos que jf .x/ f .0/j 6 jxj. En consecuencia, dado " > 0,
tomamos D " con lo que, evidentemente, si jxj < entonces jf .x/ f .0/j < ". Luego
f es continua en 0.
Ejercicio resuelto 54 Estudia la continuidad de la funcin f W R ! R dada por f .x/ D

x sen.1=x/ si x 0 y f .0/ D 0.
Solucin. El propsito de este ejercicio es que no olvides que jsen zj61 para todo z 2 R.
Da igual como escribas z, esta desigualdad es vlida para todo nmero real z (recuerda
cmo deben leerse las matemticas). Por tanto jsen.1=x/j 6 1. En consecuencia, jf .x/j6
jxj de donde se sigue inmediatamente que f es continua en 0.
Ejercicio resuelto 55 Estudia la continuidad de la funcin f W 0; 1 ! R dada por:

0
si x D 0 o x es irracional
f .x/ D
1=q si x D p=q (fraccin irreducible)
Solucin. Es fcil probar que la funcin es discontinua en todos los puntos racionales
de 0; 1. La idea es que en todo intervalo abierto hay nmeros irracionales en los que la
funcin vale 0. Sea r D pq 20; 1 un nmero racional escrito como fraccin irreducible.
1
.
Tenemos que f .r / D 1q . Tomemos ahora un " > 0 menor que q1 ; por ejemplo " D 2q
Cualquiera sea > 0, en el intervalo r ; r C \0; 1 hay nmeros irracionales, si x
es uno de ellos, se tiene que x 2 0; 1, jx r j < pero jf .x/ f .r /j D q1 no es menor
que " D
1
2q .
Concluimos que f es discontinua en r .
Para probar que f es continua en todos los puntos irracionales de 0; 1 y tambin en 0

hay que pensar un poquito. La idea es la siguiente: dado " > 0, quitar los puntos de 0; 1
donde la funcin toma un valor mayor que ". Dichos puntos son los puntos racionales de
la forma r D pq (fraccin irreducible p; q 2 N) con q1 > ", esto es, q 6 1" . Fijado un valor
de " > 0, el conjunto de valores de q 2 N para los que se verifica que q1 > " es finito.
Llamemos a este conjunto Q" . Para cada nmero q 2 Q" las fracciones irreducibles de la
forma pq que estn en 0; 1 son como mucho q 1. Concluimos que el conjunto de los
nmeros racionales de 0; 1 en los que la funcin f toma un valor mayor o igual que ", es
finito. Llamemos a este conjunto R" . Sea ahora a un nmero irracional de 0; 1 o a D 0.
Tenemos que a 62 R" por lo que para todo r 2 R" el nmero ja r j es positivo. Sabemos
que todos conjunto finito tiene mximo y mnimo. Definamos D mKn fja r j W r 2 R" g.
Entonces > 0 y para todo x 2 0; 1 con jx aj < se tiene que x 62 R" , luego
jf .x/ f .a/j D f .x/ < ", lo que prueba que f es continua en a.
Ejercicio resuelto 56 Sea f W a; b ! R continua. Supongamos que a6f .x/6b para todo
x en a; b. Prueba que hay algn punto c 2 a; b tal que f .c/ D c.
Solucin. Este ejercicio es muy sencillo. Basta hacer una representacin grfica. Imagina
la grfica de una funcin continua f en a; b que toma valores en a; b. Lo que te dicen
en el ejercicio es que pruebes que la grfica de f corta a la diagonal del rectngulo
a; b a; b. Grficamente eso es evidente. Para hacerlo, seguiremos la estrategia (4.20).
La ecuacin que debemos considerar es f .x/ D x. Definamos h.x/ D x f .x/ para
x 2 a; b. La funcin h es continua, porque nos dicen que f es continua, y est definida
en el intervalo a; b. Tenemos que h.a/ D a f .a/ 6 0 y h.b/ D b f .b/ > 0. Si alguno
de estos nmeros es igual a 0 entonces c D a o c D b; en otro caso debe ser h.a/ < 0
Prof. Javier Prez

123
y h.b/ > 0, en cuyo caso el teorema de Bolzano asegura que hay algn c 2a; b tal que
h.c/ D 0, es decir, f .c/ D c.
Ejercicio resuelto 57 Prueba que la ecuacin x C ex C arc tg x D 0 tiene una sola raz real.
Da un intervalo de longitud uno en el que se encuentre dicha raz.
Solucin. Sea f .x/ D x C ex C arc tg x para todo x 2 R. Es evidente que f .x/ > 0
para todo x > 0. Observa que si x < 0 y est muy alejado del origen, entonces ex es
positivo pero muy pequeo y arc tg x ser negativo (cercano a =2). Vemos as que
para estos valores de x la funcin f ser negativa. De alguna forma debemos justificar
esto que vemos. Podramos hacerlo estudiando el lmite en 1 pero an no tenemos
esa herramienta. Para lo que nos pide el ejercicio, es suficiente que encontremos un
punto a < 0 en el que f .a/ < 0. En estos ejercicios no hay que buscar valores raros.
Tomemos aD 1. Tenemos que f . 1/D 1C1= e C arc tg. 1/D 1C1= e =4, como
e > 2, claramente es f . 1/ < 0. Como f es continua, est definida en un intervalo
(todo R) y toma valores positivos y negativos, el teorema de Bolzano nos dice que debe
anularse en algn punto. Como la funcin f es estrictamente creciente, por ser suma de
funciones estrictamente crecientes, es inyectiva, por lo que se anula en un nico punto.
Adems, como f .0/ D 1, el teorema de Bolzano nos dice que el punto donde f se anula
est en 1; 0.
Ejercicio resuelto 58 Suponiendo que la temperatura vara de forma continua, prueba que
siempre hay dos puntos antpodas en el ecuador terrestre que estn a la misma temperatura.
Solucin. Llamemos L a la longitud del ecuador terrestre (unos cuarenta mil Kilmetros). Sea f W 0; L ! R la funcin que a cada punto x 2 0; L hace corresponder la
temperatura, f .x/, medida en grados centgrados, que hay en dicho punto del ecuador.
Suponemos que f es una funcin continua (cosa muy razonable). Se trata de probar que
hay algn punto c 2 0; L=2 tal que f .c/ D f .c C L=2/. Para ello, aplicando la estrategia (4.20), consideramos la funcin h.x/ D f .x C L=2/ f .x/ definida en el intervalo
0; L=2. Tenemos que h.0/Df .L=2/ f .0/ y h.L=2/Df .L/ f .L=2/. Lo nico que
hay que darse cuenta ahora es que el punto a distancia L vuelve a ser el punto de partida
(el ecuador es una curva cerrada), por tanto f .L/ D f .0/ y, h.L=2/ D f .0/ f .L=2/.
Observamos que h.0/ y h.L=2/ son nmeros opuestos. O los dos son cero, en cuyo caso
podemos tomar c D 0, o uno es negativo y otro positivo, en cuyo caso el teorema de Bolzano asegura que h tiene que anularse en algn c 20; L=2, esto es, f .c C L=2/ D f .c/,
como se quera probar.
Ejercicio resuelto 59 Sea f W a; b ! R continua con f .a/ D f .b/. Dado n 2 N, n > 2,

prueba que hay algn punto c 2 a; b .b a/=n tal que f .c/ D f .c C .b a/=n/.
Solucin. Sea f W a; b ! R una funcin continua. Llamemos al nmero f .b/ f .a/

el incremento de f en a; b. Dado un nmero natural n>2, nos preguntamos si hay algn
intervalo de longitud .b a/=n en el cual el incremento de f sea igual a .f .b/ f .a//=n.
Para ello dividimos el intervalo a; b en n intervalos de longitud igual a .b a/=n. Estos
intervalos son de la forma xk ; xkC1 , donde xk D a C k.b a/=n, k D 0; 1; : : : ; n 1.
Es claro que la suma de los incrementos de f en cada uno de los n intervalos xk ; xkC1
Prof. Javier Prez

124
es igual al incremento de f en el intervalo a; b. Es decir:

n
X1
.f .xkC1 /
kD0
f .xk // D f .b/
f .a/:
Como en esta suma hay n sumando en total, deducimos que o bien todos ellos son igual
a .f .b/ f .a//=n o bien alguno de ellos es mayor que .f .b/ f .a//=n en cuyo caso
tiene que haber necesariamente otro que sea menor que .f .b/ f .a//=n.
Definamos la funcin g W a; b
Ntese que g.xk / D f .xkC1 /
.b a/=n ! R por g.x/Df .x C.b a/=n/ f .x/.

f .xk /. Segn acabamos de ver:
O bien para todo k D 0; 1; : : : ; n

verifica que f .xkC1 /
f .xk / D
1 es g.xk / D
f .b/
f .a/
f .b/
f .a/
n
, en cuyo caso se
.
n
O bien hay puntos xp ; xq tales que g.xp / < .f .b/ f .a//=n < g.xq /, en cuyo
caso, como la funcin g es continua, el teorema de Bolzano implica que tiene que
haber algn punto t0 comprendido entre xp y xq tal que g.t0 / D .f .b/ f .a//=n,
es decir se verifica que f .t0 C .b a/=n/ f .t0 / D .f .b/ f .a//=n.
Hemos probado as que hay un intervalo de longitud .b
de f es igual a .f .b/ f .a//=n.
a/=n en el cual el incremento
Ejercicio resuelto 60 Un reloj averiado marca inicialmente un tiempo t0 . El reloj puede adelantar o atrasar, pero cuenta con exactitud perodos de 12 horas, es decir, pasadas 12
horas el reloj marca un tiempo t0 C 12 horas. Demuestra que en algn momento dicho
reloj mide con exactitud una hora.
Solucin. Sea f W 0; 12 ! R la funcin definida por: f .t /D tiempo (medido en horas)
que marca el reloj en el tiempo t. Podemos admitir que f es continua. El incremento de
f en el intervalo 0; 12 es igual a f .12/ f .0/ D 12. Deducimos, por lo antes visto
que, para cada n > 2, hay algn intervalo de longitud .12 0/=n en el cual el incremento
de f es igual a .f .12/ f .0//=n. Es decir, que en algn instante c0 el reloj mide con
exactitud un perodo de tiempo igual a 12
n horas: f .c0 C12=n/ f .c0 /D12=n. Tomando
n D 12 obtenemos la solucin del ejercicio.
Ejercicio resuelto 61 Un automovilista sale de Granada hacia Madrid un sbado a las 8h de

la maana y el domingo inicia el regreso a la misma hora. Sabiendo que invirti igual
tiempo en ambos viajes, prubese que en algn momento del domingo el automovilista
se encuentra a igual distancia de Granada que a la que se encontraba el sbado en ese
mismo momento.
Solucin. Supongamos que el automovilista tarda 4 horas en llegar a Madrid. Llamando
f W 8; 12 ! R la funcin que en el tiempo t (medido horas) nos da la distancia f .t /
(medida en kilmetros) que el automovilista ha recorrido el sbado, y g W 8; 12 ! R
a la funcin que en el tiempo t (medido horas) nos da la distancia g.t / (medida en
kilmetros) que el automovilista ha recorrido el domingo; tenemos que f .8/ D g.8/ D 0,
f .12/ D g.12/ D donde es la distancia entre Granada y Madrid.
Como las funciones f y g son continuas, la funcin h.t/ D f .t/ . g.t// tambin
es continua. Como h.8/ D < 0, h.12/ D > 0, deducimos que h.t0 / D 0 para algn
Prof. Javier Prez

125
t0 2 8; 12, es decir f .t0 / D g.t0 /. Por tanto, el sbado y el domingo, en el instante

t0 el automovilista se encuentra a la misma distancia de Granada.
Si dibujas las grficas de f y de
g vers que este resultado es evidente.
Ejercicio resuelto 62 Sean f; g funciones continuas que no se anulan en un intervalo I ,

verificando que .f .x//2 D .g.x//2 para todo x 2 I . Prueba que o bien f .x/ D g.x/ para
todo x 2 I , o bien f .x/ D g.x/ para todo x 2 I . Cuntas funciones hay ' W R ! R
continuas y verificando que .'.x//2 D x 2 para todo x 2 R?.
f .x/
es continua en I y verifica que h.x/2 D 1 para todo
Solucin. La funcin h.x/ D
g.x/
x 2 I , luego h.x/D1 o h.x/D 1 para cada x 2 I . Como I es un intervalo y h es continua,
el conjunto h.I / tiene que ser un intervalo, luego deber ser h.I / D f1g o h.I / D f 1g.
En el primer caso es f .x/ D g.x/ para todo x 2 I , en el segundo f .x/ D g.x/ para
todo x 2 I .
La igualdad '.x/2 D x 2 para todo x 2 R equivale a j'.x/j D jxj. Lo que da cuatro
posibilidades; a saber: '1 .x/ D x, '2 .x/ D x, '3 .x/ D jxj, '4 .x/ D jxj, donde, en
cada caso, se entiende que las igualdades son para todo x 2 R.
Ejercicio resuelto 63 Sea f W R ! R continua y decreciente. Prueba que hay un nico

a 2 R verificando que f .a/ D a.
Solucin. Naturalmente, se trata de probar que la funcin gW R ! R dada por g.x/ D

x f .x/ para todo x 2 R se anula en algn punto. Como es continua (porque nos dicen
que f lo es) y est definida en un intervalo, intentaremos aplicar el teorema de Bolzano.
Tomemos un punto c 2 R. Si f .c/ D c hemos acabado. En otro caso ser f .c/ c.
Supongamos que f .c/ < c. Entonces, como f es decreciente, ser f .f .c// > f .c/. Si
f .f .c// D f .c/, hemos acabado. En otro caso ser f .f .c// > f .c/. Pero en este caso
obtenemos que g.c/ > 0 y g.f .c// < 0 por lo que el teorema de Bolzano garantiza
que g tiene que anularse en algn punto. Se razona de forma anloga si suponemos que
c < f .c/. Finalmente, como g es estrictamente creciente, solamente puede anularse en
un nico punto.
Ejercicio resuelto 64 Sean A, B, conjuntos no vacos y acotados de nmeros reales. Definamos

A B D fa b W a 2 A; b 2 BgI AB D fab W a 2 A; b 2 Bg
Prueba que sup.A B/ D sup A
que sup.AB/ D sup A sup B.
Knf B y, supuesto que A RC y B RC , prueba
Solucin. Sea Dsup.A/; DKnf.B/; Dsup.A B/. Cualesquiera sean a 2 A; b 2 B

se tiene que a 6 ; 6 b. En consecuencia a b 6 , lo que prueba que
es un mayorante de A B, y por tanto 6 . Probaremos ahora que 6 .
Cualesquiera sean a 2 A; b 2 B se tiene que a b 6 , es decir, a 6 b C . Esta ltima
desigualdad nos dice que, fijado un elemento b 2 B, el nmero b C es un mayorante
de A, por lo que 6 b C . Hemos obtenido as que para todo b 2 B se verifica que
6 b, es decir, es un minorante de B, y por tanto 6 , es decir,
6 .
Sea D sup.A/; D sup.B/; D sup.AB/. Cualesquiera sean a 2 A, b 2 B se tiene
que a 6 y b 6 . En consecuencia, por ser a > 0; b > 0, ab 6 , lo que prueba que
Prof. Javier Prez

126
es un mayorante de AB y por tanto 6 .

Probaremos ahora que 6 . Cualesquiera sean a 2 A, b 2 B se tiene que ab 6 ,
esto es, a 6 =b. Esta ltima desigualdad nos dice que, fijado un elemento b 2 B, el
nmero =b es un mayorante de A, por lo que 6 =b. Hemos obtenido as que para
todo b 2 B se verifica que b 6 =, es decir,= es un mayorante de B, y por tanto
6 =, es decir, 6 .
Ejercicio resuelto 65 Sea A un conjunto no vaco de nmeros reales. Para cada x 2 R

definamos la distancia de x a A por dist.x; A/ D Knffjx aj W a 2 Ag. Prueba que para
todos x; y 2 R se verifica que:
j dist.x; A/
dist.y; A/j 6 jx
yj:
Deduce que la aplicacin x 7! dist.x; A/ es continua.
Solucin. Teniendo en cuenta que jaj 6 b equivale a que a 6 b y a 6 b, la desigualdad

que nos piden probar equivale a estas dos desigualdades:
dist.x; A/
dist.y; A/ 6 jx
yj
dist.y; A/
dist.x; A/ 6 jx
yj
(4.12)
Pero es claro que basta con probar una sola de ellas pues entonces cambiando x por
y obtenemos la otra (porque jx yj D jy xj). Probaremos la primera de las dos
desigualdades (4.12). Escribamos la desigualdad en la forma:
dist.x; A/ 6 jx
yj C dist.y; A/
En todo lo que sigue x e y estn fijos. Tenemos que para todo a 2 A:

dist.x; A/ 6 jx
aj 6 jx
yj C jy
aj:
Es decir
dist.x; A/
jx
yj 6 jy
aj para todo
a 2 A:
Deducimos que dist.x; A/ jx yj es un minorante del conjunto fjy aj W a 2 Ag,

y por tanto ser menor o igual que el mximo minorante de dicho conjunto, que es por
definicin dist.y; A/. Hemos probado as que
dist.x; A/
jx
yj 6 dist.y; A/:
Que es la desigualdad que queramos probar.

Es evidente, teniendo en cuenta la desigualdad que acabamos de probar, que la funcin
'.x/Ddist.x; A/ es continua, pues dado " > 0, tomamos D" con lo que, evidentemente,
j'.x/ '.y/j 6 jx yj < " siempre que jx yj < . Observa que aqu un mismo
vale para todo punto.
Ejercicio resuelto 66 Sea f W R ! R continua, mayorada y tal que para todos a; b 2 R con
a < b, se verifica que sup f .a; b/ D sup f .R/. Prueba que f es constante.
Solucin. Llamemos D sup f .R/. Es claro que f .x/ 6 para todo x 2 R. Y, si f
es constante deber darse la igualdad f .x/ D en todo punto x de R. Luego tenemos
que probar que, dado a 2 R, es imposible que ocurra f .a/ < . Pero eso es claro, pues
si fuera f .a/ < , entonces tomando 2f .a/; , por el teorema de conservacin del
Prof. Javier Prez

127
signo aplicado a la funcin g.x/ D f .x/ en el punto a, deducimos que existe un

intervalo abierto u; v que contiene al punto a y tal que para todo x 2u; v es g.x/ > 0,
es decir, f .x/ < . Pero entonces sup f .u; v/6 < en contradiccin con la hiptesis
hecha.
Ejercicio resuelto 67 Sea f W a; b ! R creciente. Supongamos que a 6 f .x/ 6 b para

todo x en a; b. Prueba que hay algn punto c 2 a; b tal que f .c/ D c.
Sugerencia. Considera el supremo del conjunto fx 2 a; b W x 6 f .x/g. Fjate que no

suponemos que f sea continua.
Solucin. Sea M D fx 2 a; b W x 6 f .x/g. El conjunto M no es vaco (a 2 M ) y

est mayorado (b es un mayorante de M ). Sea c D sup.M /. Evidentemente c 2 a; b.
Probaremos que f .c/ D c. Probaremos para ello que no puede ser f .c/ c.
a) Si fuera c < f .c/, entonces, como c es un mayorante de M , tendramos que

f .c/ 62 M , es decir, f .c/ > f .f .c//. Y tambin, por ser f creciente, tendramos
que f .c/ 6 f .f .c//, resultando as una contradiccin.
b) Si fuera f .c/ < c, entonces hay algn z 2 M tal que f .c/ < z. Y como z 6 f .z/
deducimos que f .c/ < f .z/ lo cual, por ser f creciente, implica que c < z lo que es
contradictorio.
Ejercicio resuelto 68 Justifica que, dado x 2 R, la ecuacin log t C t 5 D x tiene una nica
solucin, que representamos por '.x/. Justifica que la funcin x 7! '.x/, .x 2 R/, as
definida es continua.
Solucin. La funcin f W RC ! R dada por f .t / D log t C t 5 es continua. Como RC es
un intervalo, el conjunto imagen f .RC / tambin es un intervalo. Claramente f .RC / es
un intervalo no minorado ni mayorado, luego f .RC /DR. La funcin f es estrictamente
creciente, por tanto es inyectiva. Deducimos que dado x 2 R hay un nico t 2 RC tal
que f .t / D x. Sea ' W R ! R la funcin inversa de f . La funcin ' es estrictamente
creciente y su imagen es un intervalo (RC ), luego es continua en virtud del teorema
(4.23).
Ejercicio resuelto 69 Sea f W 0; 1 ! R continua verificando que jf .s/ f .t /j > js tj

para todos s; t 2 0; 1, y f .f0; 1g/ D f0; 1g. Prueba que o bien es f .x/ D x para todo
x 2 0; 1, o bien es f .x/ D 1 x para todo x 2 0; 1.
Solucin. La clave de este ejercicio consiste en darse cuenta de que la condicin del
enunciado jf .s/ f .t/j > js tj implica que f es inyectiva en 0; 1. Como f se supone
continua, el teorema (4.26) nos dice que f es estrictamente montona.
La condicin f .f0; 1g/ D f0; 1g nos dice que o bien es f .0/ D 0 y f .1/ D 1 o bien es
f .0/ D 1 y f .1/ D 0. En el primer caso f ser estrictamente creciente y en el segundo
estrictamente decreciente.
Supongamos que f .0/ D 0 y f .1/ D 1. Probaremos que f .x/ D x para todo x 2 0; 1.
Como f es estrictamente creciente, ser 0 6 f .x/ 6 1 para todo x 2 0; 1. Haciendo t D 0
y s D x en la desigualdad jf .s/ f .t/j > js t j, obtenemos que f .x/ > x. Haciendo
t D 1 y s D x obtenemos que 1 f .x/ > 1 x, es decir, f .x/ 6 x. Concluimos que
f .x/ D x.
El caso en que f .0/ D 1 y f .1/ D 0 se hace de forma parecida.
Prof. Javier Prez

Continuidad en intervalos cerrados y acotados
128
Ejercicio resuelto 70 Sean

A D fx 2 Q W x 6 0 o x 2 < 2g; B D fx 2 Q W x > 0 y x 2 > 2g:
Prueba que A , B , Q D A [ B y a < b para todos a 2 A; b 2 B. Adems:
a) Para cada r 2 A hay algn s 2 A tal que r < s.
b) Para cada u 2 B hay algn t 2 B tal que t < u.
c) No hay ningn z 2 Q con la propiedad de que todo nmero racional menor que z
est en A y todo nmero racional mayor que z est en B.
Solucin. a) Sea r 2 A. Si r < 1 basta tomar s D 1. Supongamos, pues, que 1 6 r . Un

nmero racional que sea mayor que r ser de la forma r C " donde " es un nmero
racional positivo. Para que dicho nmero est en A deber verificarse que .r C "/2 < 2.
Si, adems " < 1, entonces "2 < ", por lo que .r C "/2 < r 2 C 2r " C ". Es por tanto
2 r2
suficiente que r 2 C 2r " C " 6 2 para lo cual basta tomar " D
. Es claro que dicho
2r C 1
2
nmero " es racional. Adems, como 1 6 r y r < 2, es 0 < " < 1 y por tanto el
2 r2
nmero s D r C
verifica que r < s y s 2 A.
2r C 1
b) Este apartado se hace de manera anloga al anterior. Dado u 2 B hay que tratar de
determinar un nmero racional positivo, " tal que 0 < u " y .u "/2 > 2. Esta ltima
condicin es lo mismo que:
u2
2 > 2u"
"2
.1/
Como queremos que 0 < " < u, debemos tener 2u" "2 > "2 > 0. Sabemos que
no hay ningn nmero racional cuyo cuadrado sea igual a 2, en consecuencia si u 2 B
entonces u2 > 2. Puesto que 2u" > 2u" "2 , para que se verifique .1/ es suficiente
u2 2
se tiene con ello que el nmero
que u2 2 > 2u", para lo cual basta tomar " D
2u
2
u
2
t Du
est en B y t < u.
2u
c) Sea z 2 Q. Como A [ B D Q, deber ser z 2 A o z 2 B. Si z 2 A, sabemos, por
a), que hay elementos s 2 A con z < s. Si z 2 B, sabemos, por b), que hay elementos
t 2 B con t < z. Concluimos as que no hay ningn z 2 Q verificando que todo nmero
racional menor que z est en A y todo nmero racional mayor que z est en B.
4.4. Continuidad en intervalos cerrados y acotados

Sabemos que la imagen, f .I /, de un intervalo I por una funcin continua f es un intervalo.
Tambin sabemos, porque hemos visto ejemplos (50), que, en general, el intervalo f .I / no es
del mismo tipo que I . Aqu tiene algunos ejemplos ms.
1. f .x/ D x 2 ; f . 1; 1/ D f .
1; 1/ D 0; 1;
Prof. Javier Prez
129
2. f .x/ D 1=x; f .0; 1/ D 1; C1; f .1; C1/D0; 1.

3. f .x/ D sen x; f .
; D 1; 1.
Vemos as que la imagen por una funcin continua de un intervalo abierto, o semiabierto, o
de una semirrecta, puede ser un intervalo de distinto tipo. Queda por considerar qu ocurre
con los intervalos cerrados y acotados, es decir, los de la forma a; b. Vamos a probar que
este tipo de intervalos se conservan por funciones continuas. Ntese que si f W a; b ! R
es continua, como ya sabemos que f .a; b/ es un intervalo, para probar que f .a; b/ es un
intervalo cerrado y acotado basta probar que el intervalo f .a; b/ tiene mximo y mnimo, es
decir, que hay nmeros u; v 2 a; b tales que para todo x 2 a; b es f .u/ 6 f .x/ 6 f .v/, pues
entonces ser f .a; b/ D f .u/; f .v/.
En la siguiente definicin introducimos la terminologa que se usa.
4.27 Definicin. Sea f W B ! R . Se dice que f est mayorada (resp. minorada) en B, si el
conjunto f .B/ est mayorado (resp. minorado). Se dice que f est acotada en B si el conjunto
f .B/ est acotado. Se dice que f alcanza en B un mximo (resp. un mnimo) absoluto si el
conjunto f .B/ tiene mximo (resp. mnimo), es decir, existe algn punto v 2 B (resp. u 2 B)
tal que f .x/ 6 f .v/ (resp. f .u/ 6 f .x/) para todo x 2 B.
El siguiente resultado que vamos a ver es uno de los ms importantes del Anlisis Matemtico. Su demostracin no es del todo inmediata y su lectura requiere atencin. El ejemplo que
sigue te ayudar mucho a entenderla.
4.28 Ejemplo. Puedes considerar la grfica de una funcin como el perfil de una cadena de
montaas con sus cumbres y valles alternndose. Supongamos que iluminamos la grfica desde
la izquierda con un haz de luz de rayos paralelos al eje de abscisas tal como se indica en la figura
(4.3). Algunos puntos de las montaas quedarn expuestos a la luz y otros quedarn en sombra.
Se entiende que los valles quedan en la sombra. En la figura he representado en trazo ms
grueso los puntos de luz. La condicin que debe cumplir un punto .x; f .x// para ser un punto
de luz es que a la izquierda de x la funcin tome valores ms pequeos que f .x/, es decir,
.x; f .x// es un punto de luz si para todo t 2 a; x es f .t/ 6 f .x/. Cuando esta condicin se
verifica diremos tambin que x es un punto de luz para f . Observa que el mximo de la funcin
se alcanza en un punto c que, por supuesto, es un punto de luz para f pero que es el ltimo
punto de luz para f , porque a la derecha de c la funcin no puede tomar valores mayores que
f .c/. Esta idea es la que vamos a seguir en la demostracin del siguiente teorema.

4.29 Teorema (Teorema de Weierstrass). Toda funcin continua en un intervalo cerrado y
acotado alcanza en dicho intervalo un mximo y un mnimo absolutos.
Demostracin. Sea f W a; b ! R una funcin continua en a; b. Queremos probar que hay
algn punto c 2 a; b en el que f alcanza un mximo absoluto. Segn hemos visto en el ejemplo
anterior, el punto c debe ser el ltimo punto de luz para f . Esto lleva a considerar el conjunto
de todos los puntos x 2 a; b que son puntos de luz para f .

E D x 2 a; b W f .t/ 6 f .x/ para todo t 2 a; x
(4.13)
Prof. Javier Prez

130
.x; f .x//
a v
v
b
Figura 4.3. Visualizacin de la demostracin del teorema de Weierstrass
En la figura (4.3) he representado el conjunto E con trazo grueso sobre el eje de abscisas.
Observa que, en la figura, E es una unin de intervalos.
La idea siguiente es considerar el mximo de E. Pero no sabemos a priori que E tenga
mximo, por eso lo que hacemos es considerar el supremo de E. Lo que est claro es que
el conjunto E no es vaco porque a 2 E. Adems, por su misma definicin, es E a; b.
Por tanto, E est acotado. La propiedad del supremo garantiza la existencia de un mnimo
mayorante de E, es decir, del supremo de E. Sea, pues, c D sup.E/. La intuicin nos dice que
el punto c as definido cumple lo que queremos, pero hay que probarlo. En primer lugar, como
a 2 E y b es un mayorante de E, tenemos que a 6 c 6 b, esto es, c 2 a; b.
Empezaremos probando que c 2 E. Si c D a nada hay que probar porque a 2 E. Supondremos que a < c 6 b. Sea u 2 a; b tal que u < c. Probaremos que no puede ser f .c/ < f .u/.
Si as fuera, llamando g.x/ D f .u/ f .x/; pon la continuidad de f y el teorema de conservacin del signo, tiene que haber un nmero > 0 tal que u < c y para todo z 2c ; c
se cumpla que g.z/ > 0, es decir f .z/ < f .u/. Por ser c el mnimo mayorante de E, tiene
que haber algn z0 2c ; c \ E. Tenemos entonces que f .z0 / < f .u/ y, como z0 2 E y
a 6 u < z0 , deber ser f .u/ 6 f .z0 /, lo que nos lleva a que f .z0 / < f .u/ 6 f .z0 / y, por tanto,
f .z0 / < f .z0 /, lo cual es claramente contradictorio. Concluimos que f .u/ 6 f .c/. Como esto
es cierto para todo u 2 a; b tal que u 6 c, resulta que c 2 E.
Probaremos ahora que f .x/ 6 f .c/ para todo x 2 a; b. Como c 2 E, para todo x 2 a; c
es f .x/ 6 f .c/. Por tanto, en el caso de que fuera c D b nada nuevo habra que probar. Consideremos que a 6 c < b, en cuyo caso debemos probar que si c < v 6 b entonces f .v/ 6 f .c/.
Observa que cada punto v 2c; b es un punto de sombra de f y, por eso, tiene que haber
puntos anteriores a l en los que f tome un valor mayor que f .v/, entre estos puntos tiene
que haber puntos de luz. La idea ahora va a ser asociar a cada punto v 2c; b un punto de luz
v 2 E, tal que f .v/ 6 f .v /. Esta es la parte ms tcnica de la demostracin. En la figura
(4.3) he representado un punto v y su correspondiente v .
En lo que sigue consideramos un punto v 2c; b fijo. Notemos que como c < v 6 b,
entonces v 62 E por lo que tiene que haber algn z 2 a; v tal que f .v/ < f .z/. Se trata de
Prof. Javier Prez

131
cazar al menor de tales z. Consideramos para ello el conjunto

Av D z 2 a; b W f .v/ 6 f .z/
Definamos v D Knf.Av /. Por la observacin antes hecha, tenemos que a 6 v < v. Queremos
probar que v 2 Av , es decir que f .v/ 6 f .v /. Para ello razonamos como antes para probar
que la desigualdad f .v / < f .v/ lleva a contradiccin. En efecto, si fuera f .v / < f .v/,
llamando h.x/ D f .v/ f .x/; por la continuidad de f y el teorema de conservacin del signo,
tiene que haber un nmero > 0 tal que v C 6 b, y para todo z 2 v ; v C se cumpla
que h.z/ > 0, es decir f .z/ < f .v/. Por ser v el mximo minorante de Av , tiene que haber
algn z0 2 v ; v C \Av . Tenemos entonces que f .z0 / < f .v/ y, como z0 2 Av deber ser
f .v/ 6 f .z0 /, lo que nos lleva a que f .z0 / < f .v/ 6 f .z0 / y, por tanto, f .z0 / < f .z0 /, lo
cual es claramente contradictorio. Concluimos que f .v/ 6 f .v /.
Deducimos ahora fcilmente que v 2 E. En efecto, si t 2 a; v entonces t 62 Av , es decir,
f .t / < f .v/ y como f .v/ 6 f .v /, resulta que f .t / < f .v /. En consecuencia, v 2 E y,
por tanto v 6 c. Finalmente, como c 2 E, concluimos que f .v/ 6 f .v / 6 f .c/.
La consideracin de la funcin f prueba que tambin f alcanza un mnimo absoluto en
a; b. Queda as demostrado el teorema.
2
Siempre que leas la demostracin de un teorema debes fijarte dnde y cmo se usan todas
y cada una de las hiptesis. Dnde se ha usado en la demostracin anterior que el intervalo
a; b es cerrado y acotado? Si no lo sabes vuelve a leerla y fjate bien. Alternativamente, intenta
repetir la demostracin sustituyendo a; b por a; b o a; b y fjate hasta dnde puedes llegar.
Te ayudar un poco. Observa que el conjunto de los puntos de luz de una funcin creciente en
un intervalo I es el propio I . Y si la funcin es decreciente?
Al igual que el teorema de Bolzano, el teorema de Weierstrass es un teorema de existencia.
Su demostracin no proporciona un mtodo de clculo del mximo o mnimo absolutos de una
funcin. En el Captulo dedicado a derivadas veremos tcnicas eficaces para dicho clculo.
Con frecuencia, lo que interesa del teorema de Weierstrass es una consecuencia inmediata
del mismo que se recoge en el siguiente corolario.
4.30 Corolario. Toda funcin continua en un intervalo cerrado y acotado est acotada en
dicho intervalo.
Veamos una aplicacin del teorema de Weierstrass. Se llama coeficiente lder de una funcin polinmica al coeficiente de la mayor potencia de la variable. Seguramente sabes que una
parbola cuyo coeficiente lder es positivo (lo que suele llamarse una parbola con los cuernos
para arriba) tiene un mnimo absoluto en R, y si el coeficiente lder es negativo (lo que suele
llamarse una parbola con los cuernos para abajo) tiene un mximo absoluto en R. Este comportamiento no es exclusivo de las parbolas y se puede generalizar a toda funcin polinmica
de grado par. La idea de la demostracin es sencilla. Un polinomio de grado par es muy grande
cuando el valor absoluto de x es grande, por tanto para encontrar el mnimo podemos buscarlo
en un intervalo cerrado y acotado.
4.31 Proposicin. Una funcin polinmica de grado par cuyo coeficiente lder es positivo
alcanza un mnimo absoluto en R y si el coeficiente lder es negativo alcanza un mximo
absoluto en R.
Prof. Javier Prez

132
Demostracin. Sea
1x
n 1
C cn x n
una funcin polinmica de grado par n > 2. Podemos suponer que cn > 0 y probaremos que
P alcanza un mnimo absoluto en R. Razonando exactamente igual que en el corolario (4.22),
probamos (4.8) que hay un nmero K > 1 tal que para jxj > K es:
P .x/ cn
>0
>
xn
2
(4.14)
Pongamos en lo que sigue D c2n . Como n es par, se tiene que x n > 0 para todo x 0. Adems,
como K > 1, para jxj > K es jxjn > jxj por tanto:
P .x/ > x n D jxjn > jxj
.jxj > K/
Haciendo ahora M D mKax fK; jP .0/j=g, tenemos que para jxj > M es
P .x/ > jxj > M
La razn de elegir M en la forma que lo hemos hecho, es porque ahora podemos asegurar que
M > jP .0/j. En el intervalo M; M la funcin P .x/ alcanza, en virtud del teorema de
Weierstrass, un mnimo absoluto en algn punto c 2 M; M . Si ahora x es un nmero real
podemos considerar dos posibilidades:
x 2 M; M en cuyo caso ser P .x/ > P .c/.
x 62 M; M , esto es jxj > M , en cuyo caso P .x/ > M > jP .0/j > P .0/ > P .c/:
En cualquier caso resulta que P .x/ > P .c/, lo que prueba que P alcanza en c un mnimo
absoluto en R.
2
153. Sea f W a; b ! R continua. Supongamos que para cada x 2 a; b hay algn y 2 a; b

2
tal que jf .y/j 6 10
jf .x/j. Prueba que f se anula en algn punto de a; b.
154. Sea f W a; b ! R continua. Prueba que la funcin g W a; b ! R dada para todo x 2
a; b por g.x/ D mKax f .a; x/, es continua.
155. Sea f W a; b ! R continua, pongamos M D mKax f .a; b/, m D mKn f .a; b/ y supongamos que f .a/ D f .b/ y que m < f .a/ < M . Prueba que f toma todo valor de
f .a/; M [m; f .a/ en al menos dos puntos de a; b.
Prof. Javier Prez

133

Ejercicio resuelto 71 Sea f W a; b ! R continua. Prueba que la funcin g W a; b ! R
dada para todo x 2 a; b por g.x/ D mKax f .a; x/, es continua.
Solucin. La funcin g es claramente creciente en a; b. Para probar que es continua es suficiente, por el teorema (4.23), probar que su imagen es un intervalo. Sea
M D mKax f .a; b/. Probaremos que ga; b D f .a/; M . Para ello sea u 2f .a/; M y
sea tu D sup fx 2 a; b W f .s/ 6 u para todo s 2 a; xg. Entonces f .tu / D u y tambin
g.tu / D u. Los detalles que faltan debes completarlos t.
4.5. Lmite funcional

Sean I un intervalo, a un punto de I , y f una funcin definida en I nfag. Naturalmente,
como f no est definida en a no tiene sentido hablar de la continuidad de f en a. Sin embargo,
podemos preguntarnos es posible encontrar un nmero L 2 R tal que definiendo f .a/ D L,
la nueva funcin as obtenida sea continua en a? Para ello el nmero L tendra que cumplir la
siguiente propiedad:

0 < jx aj <
C
C
jf .x/ Lj < "
(4.15)
8" 2 R 9 2 R W
x 2I
La condicin 0 < jx aj se pone para excluir la posibilidad de hacer x D a en la desigualdad
jx aj < , lo cual es obligado porque la funcin f no est definida en a.
Podemos modificar un poco la situacin anterior, suponiendo ahora que f est definida
en todo el intervalo I pero no es continua en a . En este caso queremos cambiar el valor de
f en a , es decir, encontrar, si es posible, un nmero L 2 R tal que definiendo el valor de f
en a igual a L, la nueva funcin as obtenida sea continua en a . La condicin que tiene que
cumplir dicho nmero L es exactamente la misma de antes (4.15).
Ntese que ahora la condicin 0 < jx aj es obligada porque aunque nuestra funcin
f est definida en a, el valor que toma en a no es el apropiado. Observa que el valor que f
tiene en a no interviene para nada en la condicin (4.15).
En los dos casos considerados, la condicin obtenida (4.15) es la misma con independencia
del hecho de que f est o no definida en a, y, en caso de estarlo, del posible valor que f
pueda tener en a. Por ello, en lo que sigue consideraremos la siguiente situacin.
Notacin. En adelante, representaremos por I un intervalo; a ser un punto de I , y f ser
una funcin que supondremos definida en I nfag sin excluir la posibilidad de que dicha funcin
pueda estar definida en todo el intervalo I lo cual, para nuestros propsitos actuales, carece de
importancia.
Prof. Javier Prez

Lmites laterales de una funcin en un punto
134
4.32 Definicin. Se dice que f tiene lmite en el punto a si existe un nmero L 2 R tal que
se verifica lo siguiente:

0 < jx aj <
C
C
8" 2 R 9 2 R W
jf .x/ Lj < "
(4.16)
x 2I
Dicho nmero se llama lmite de f en a y escribimos lKm f .x/ D L :
x!a
Observa que la existencia del lmite es independiente de que f est o no definida en a

y, en caso de estarlo, del valor que f pueda tener en a. Tambin debe advertirse que en la
definicin de la igualdad lKm f .x/ D L , slo intervienen desigualdades.
x!a
Es fcil probar que la condicin (4.16) no puede ser satisfecha por dos nmeros distintos,
es decir, el lmite de una funcin en un punto, si existe, es nico. Una consecuencia inmediata
de la definicin dada de lmite y de la definicin de continuidad (4.1), es el siguiente resultado.
4.33 Proposicin. Sea f W I ! R una funcin definida en un intervalo y sea a 2 I . Equivalen
las afirmaciones siguientes:
i) f es continua en a.
ii) lKm f .x/ D f .a/.
x!a
4.5.1. Lmites laterales de una funcin en un punto

En la recta real es posible distinguir si nos acercamos por la derecha o por la izquierda a
un punto. Ello conduce de forma natural a la consideracin de los lmites laterales que pasamos
a definir.
4.34 Definicin.
Supongamos que el conjunto fx 2 I W a < xg no es vaco. En tal caso,
se dice que f tiene lmite por la derecha en a, si existe un nmero 2 R tal que se
verifica lo siguiente:

a<x <aC
C
C
8" 2 R 9 2 R W
jf .x/ j < "
(4.17)
x 2I
Dicho nmero se llama lmite por la derecha de f en a y, simblicamente, escribimos
lKm f .x/ D :
x!a
x>a
Supongamos que el conjunto fx 2 I W x < ag no es vaco. En tal caso, se dice que

f tiene lmite por la izquierda en a, si existe un nmero 2 R tal que se verifica lo
siguiente:

a <x<a
8" 2 RC 9 2 RC W
jf .x/ j < "
(4.18)
x 2I
Dicho nmero se llama lmite por la izquierda de f en a y, simblicamente, escribimos
lKm f .x/ D :
x!a
x<a
Prof. Javier Prez

Lmites infinitos
135
~ Observacin. Es importante advertir que los lmites laterales son casos particulares del concep-
to general de lmite de una funcin en un punto dado en la definicin (4.32). Para convencerte
de ello, basta que consideres la restriccin de la funcin f a la derecha del punto a, esto es,
la restriccin de f al intervalo fx 2 I W x > ag, en cuyo caso el lmite por la derecha de f en
a no es otra cosa que el lmite en el punto a (en el sentido de la definicin (4.32)) de dicha
restriccin. Igual pasa con el lmite por la izquierda.
En particular, es claro que:
Si a D sup I , entonces lKm f .x/ D lKm f .x/.
x!a
x!a
x<a
Si a D Knf I , entonces lKm f .x/ D lKm f .x/.

x!a
x!a
x>a
Por ello, cualquier resultado referente a lmites de funciones en un punto puede ser convenientemente enunciado para lmites laterales sin ms que considerar la restriccin de la funcin a
la derecha o a la izquierda del punto en cuestin.
La siguiente proposicin tambin es consecuencia inmediata de las definiciones dadas.
4.35 Proposicin. Si a no es un extremo de I , entonces f tiene lmite en a si, y slo si, los
dos lmites laterales de f en a existen y son iguales, en cuyo su valor comn coincide con el
valor del lmite de f en a.
lKm f .x/ D L lKm f .x/ D lKm f .x/ D L
x!a
x<a
x!a
x!a
x>a
(4.19)
Notacin. En la mayora de los textos de Clculo los lmites laterales por la derecha y por la
izquierda suelen representarse con las siguientes notaciones
lKm f .x/;
lKm f .x/
x!a
x!aC
El problema es que hay estudiantes que leen los smbolos y no leen lo que significan, y terminan
interpretando que aC y a son nmeros. Claro est que no son nmeros, son smbolos que
significan que en los lmites lKm f .x/ y lKm f .x/ se consideran solamente los valores
x!aC
x!a
de la variable x que son respectivamente mayores o menores que a. Esa es la forma correcta
de leer esos smbolos. Ya he advertido varias veces de la necesidad de traducir en palabras
el significado de los smbolos. Lo repito una vez ms: no se deben leer los smbolos sino su
significado.
4.5.2. Lmites infinitos

4.5.2.1.
Funciones divergentes en un punto
4.36 Definicin. Se dice que f es positivamente divergente en a si se verifica lo siguiente:

0 < jx aj <
C
C
8M 2 R 9 2 R W
f .x/ > M
(4.20)
x 2I
Prof. Javier Prez

Lmites infinitos
136
Simblicamente, escribimos lKm f .x/ D C.

x!a
Se dice que f es positivamente divergente por la izquierda en a si se verifica lo siguiente:

a <x<a
8M 2 RC 9 2 RC W
f .x/ > M
(4.21)
x 2I
x!a
x<a
Se dice que f es positivamente divergente por la derecha en a si se verifica lo siguiente:

a<x <aC
C
C
8M 2 R 9 2 R W
f .x/ > M
(4.22)
x 2I
x!a
x>a
De forma anloga se definen los conceptos:

f es negativamente divergente en a. Simblicamente lKm f .x/ D .
x!a
f es negativamente divergente por la izquierda o por la derecha en a. Simblicamente lKm f .x/ D lKm f .x/ D
x!a
x<a
x!a
x>a
Grficamente, el hecho de que una funcin sea divergente en un punto a, se traduce en que
la recta de ecuacin x D a es una asntota vertical de su grfica.
4.5.2.2.
Lmites en infinito
4.37 Definicin. Sea f W I ! R una funcin definida en un intervalo no mayorado I . Se dice

que f tiene lmite en C si existe un nmero L 2 R tal que se verifica lo siguiente:

x>K
C
C
jf .x/ Lj < "
(4.23)
8" 2 R 9 K 2 R W
x 2I
Dicho nmero se llama lmite de f en C y escribimos
lKm f .x/ D L.
x!C1
Anlogamente se define el lmite en .

Grficamente, el hecho de que una funcin tenga lmite igual a L en C1 o en
traduce en que la recta de ecuacin y D L es una asntota horizontal de su grfica.
4.5.2.3.
1, se
Funciones divergentes en infinito
4.38 Definicin. Sea f W I ! R una funcin definida en un intervalo no mayorado I . Se dice

que f es positivamente divergente en C si se verifica lo siguiente:

x>K
C
C
8M 2 R 9 K 2 R W
f .x/ > M
(4.24)
x 2I
Prof. Javier Prez

lgebra de lmites
En cuyo caso escribimos
137
lKm f .x/ D C.
x!C1
Llegados aqu, no debes tener dificultad en precisar el significado de:

lKm f .x/ D ;
x!C1
lKm f .x/ D C;
x! 1
lKm f .x/ D :
x! 1
4.6. lgebra de lmites

Es evidente que la existencia del lmite de una funcin en un punto a depende solamente
del comportamiento de la funcin en los puntos prximos al punto a, es decir, el concepto de
lmite, al igual que el de continuidad en un punto, es un concepto local. Para calcular un lmite
lKm f .x/, podemos restringir la funcin f a un intervalo abierto que contenga al punto a. Eso
x!a
es lo que se afirma en el siguiente resultado que es de comprobacin inmediata.
4.39 Proposicin. Sea J un intervalo abierto que contiene al punto a. Entonces se verifica
que lKm f .x/ D L si, y slo si, lKm fjJ .x/ D L.
x!a
x!a
El siguiente resultado pone de manifiesto la compatibilidad de la operacin de paso al

lmite con la estructura algebraica y de orden de R.
4.40 Teorema. Supongamos que f y g tienen lmite en a donde aceptamos que a puede ser
un nmero real, o C1, o 1. Se verifica entonces que:
i) Las funciones f C g y fg tienen lmite en a y
lKm .f C g/.x/ D lKm f .x/ C lKm g.x/;
x!a
x!a
x!a
lKm .fg/.x/ D lKm f .x/ lKm g.x/
x!a
x!a
x!a
1
1
D
.
x!a f .x/
lKm f .x/
ii) Si lKm f .x/ 0, entonces lKm

x!a
x!a
iii) Si f .x/ 6 g.x/ para todo x 2 I , x a, entonces lKm f .x/ 6 lKm g.x/.
x!a
x!a
iv) Supongamos que f .x/6h.x/6g.x/ para todo x 2 I , xa y lKm f .x/D lKm g.x/DL.
x!a
x!a
Entonces se verifica que h tiene lmite en a y lKm h.x/ D L.

x!a
En el siguiente resultado se establecen condiciones que garantizan la divergencia de una

suma o de un producto.
4.41 Teorema. Supongamos que f es positivamente divergente en a, lKm f .x/ D C,
x!a
donde aceptamos que a puede ser un nmero real, o C, o .
i) Supongamos que hay un nmero M 2 R tal que g.x/ > M para todo x 2 I , x a .
Entonces lKm .f C g/.x/ D C.
x!a
ii) Supongamos que hay un nmero M > 0 tal que g.x/ > M para todo x 2 I , x a .
Entonces lKm .fg/.x/ D C.
x!a
Prof. Javier Prez

lgebra de lmites
138
Observa que la condicin en i) se cumple si f tiene lmite en a o diverge positivamente en

a; y la condicin ii) se cumple si f tiene lmite positivo en a o diverge positivamente en a.
En el siguiente resultado se establece que el producto de una funcin con lmite 0 por una
funcin acotada tiene lmite cero.
4.42 Teorema. Supongamos que lKm f .x/ D 0, y que hay un nmero M > 0 tal que
x!a
jg.x/j 6 M para todo x 2 I , x a . Entonces lKm .fg/.x/ D 0.

x!a
Con frecuencia este resultado se aplica cuando la funcin g es alguna de las funciones
seno, coseno, arcoseno, arcocoseno o arcotangente. Todas ellas son, como ya sabes, funciones
acotadas.
El siguiente resultado establece que la continuidad permuta con el paso al lmite. Es un
resultado que se usar bastante cuando estudiemos tcnicas de clculo de lmites.
4.43 Teorema. Supongamos que f tiene lmite en el punto a y sea L D lKm f .x/. Sea g una
x!a
funcin continua en L. Entonces se verifica que la funcin compuesta g f tiene lmite en a

igual a g.L/, esto es, lKm .g f /.x/ D g.L/. Simblicamente:
x!a
lKm .g f /.x/ D g. lKm f .x//
x!a
(4.25)
x!a
Demostracin. Apoyndonos en la proposicin (4.33), podemos demostrar este resultado reducindolo a un resultado ya conocido de funciones continuas. Para ello basta con definir
f .a/ D L con lo que, usando (4.33), resulta que f (seguimos llamando f a la funcin as
modificada) es continua en a. Ahora aplicamos el teorema (4.6) de continuidad de una composicin de funciones para obtener que g f es continua en a y de nuevo volvemos a usar (4.33),
para obtener que

lKm .g f /.x/ D .g f /.a/ D g.f .a// D g.L/ D g lKm f .x/
x!a
x!a
4.44 Definicin. Se dice que dos funciones f y g son asintticamente equivalentes en un

f .x/
punto a 2 R [ fC1; 1g, y escribimos f .x/ g.x/.x ! a/, cuando lKm
D 1.
x!a g.x/
El siguiente resultado, consecuencia inmediata de la definicin dada y de las propiedades
de los lmites funcionales ya vistas, es muy til para calcular lmites funcionales. Nos dice que
para calcular el lmite de un producto o de un cociente de funciones podemos sustituir una de
ellas por otra asintticamente equivalente.
4.45 Proposicin. Sean f y g funciones asintticamente equivalentes en un punto a 2 R o
bien a D C1 o a D 1, y h W I n fag ! R una funcin cualquiera. Se verifica que:
a) lKm f .x/h.x/ D L lKm g.x/h.x/ D L.
x!a
x!a
b) lKm f .x/h.x/ D C1 lKm g.x/h.x/ D C1.

x!a
x!a
Prof. Javier Prez

Lmites y discontinuidades de funciones montonas
139
4.6.1. Lmites y discontinuidades de funciones montonas

El hecho de que una funcin sea discontinua en un punto puede deberse a causas diferentes
que se consideran en la siguiente definicin.
4.46 Definicin (Clasificacin de las discontinuidades). Sea f W I ! R una funcin definida en un intervalo y sea a 2 I .
Si f tiene lmite en a y lKm f .x/ f .a/, se dice que f tiene en el punto a una
x!a
discontinuidad evitable.
Si los dos lmites laterales de f en a existen y son distintos:
lKm f .x/ lKm f .x/
x!a
x<a
x!a
x>a
se dice que f tiene en el punto a una discontinuidad de salto.

Si alguno de los lmites laterales no existe se dice que f tiene en el punto a una discontinuidad esencial.
4.47 Definicin (Continuidad por un lado). Se dice que una funcin f W I ! R es continua
por la izquierda en un punto a 2 I si lKm f .x/D f .a/; y se dice que es continua por la derecha
x!a
x<a
en un punto a 2 I si lKm f .x/ D f .a/.

x!a
x>a
Puedes comprobar fcilmente lo que afirma el siguiente resultado sin ms que hacer la
grfica de una funcin creciente que tenga algunas discontinuidades. No obstante, se trata de
un resultado importante que se usar ms adelante para estudiar la convergencia de integrales.
4.48 Teorema (Lmites de una funcin montona). Sea f una funcin creciente definida en
un intervalo I .
i) Para todo punto a 2 I que no sea un extremo de I se verifica que:
lKm f .x/ D supff .x/ W x 2 I; x < ag;
x!a
x<a
lKm f .x/ D Knfff .x/ W x 2 I; x > ag
x!a
x>a
ii) Si a 2 R [ f g es el extremo izquierdo de I , entonces:

a) Si f est minorada en I es lKm f .x/ D Knfff .x/ W x 2 I n fagg.
x!a
b) Si f no est minorada en I es lKm f .x/ D .

x!a
iii) Si a 2 R [ fCg es el extremo derecho de I , entonces:

a) Si f est mayorada en I es lKm f .x/ D supff .x/ W x 2 I n fagg.
x!a
b) Si f no est mayorada en I es lKm f .x/ D C.

x!a
Prof. Javier Prez

Comportamientos asintticos de las funciones elementales
140
Demostracin. Supongamos que a 2 I no es el extremo izquierdo de I , es decir que el conjunto

fx 2 I W x < ag no es vaco. Entonces, el conjunto B Dff .x/Wx 2 I; x < ag tampoco es vaco y,
por ser f creciente, el nmero f .a/ es un mayorante de B. Sea D supff .x/ W x 2 I; x < ag.
Dado " > 0, el nmero " no puede ser mayorante de B, es decir, tiene que haber algn
punto x0 2 I , x0 < a tal que " < f .x0 /. Sea D a x0 > 0. Entonces para a < x < a,
esto es, para x0 < x < a, se verifica que " < f .x0 / 6 f .x/ 6 , lo que claramente
implica que " < f .x/ < C ", es decir, jf .x/ j < ". Hemos probado as que
lKm f .x/ D supff .x/ W x 2 I; x < ag.
x!a
x<a
Los dems casos se prueban de forma muy parecida y quedan como ejercicios. Igualmente,
queda como ejercicio considerar el caso en que la funcin es decreciente.
2
Como consecuencia inmediata de este resultado obtenemos el siguiente teorema.
4.49 Teorema (Discontinuidades de las funciones montonas). Sea f una funcin montona
en un intervalo. Entonces:
i) En los puntos del intervalo que no son extremos del mismo, f solamente puede tener
discontinuidades de salto.
ii) Si el intervalo tiene mximo o mnimo, f puede tener en dichos puntos discontinuidades
evitables.
4.6.2. Comportamientos asintticos de las funciones elementales

4.6.2.1.
Lmites de exponenciales y logaritmos
Los resultados que siguen son de gran utilidad para calcular lmites. Todos ellos son consecuencia de la continuidad y crecimiento de las funciones exponencial y logaritmo naturales.
4.50 Proposicin. Sea a un nmero real o a D C o a D . En los apartados b1), b2) y
b3) se supone que f .x/ > 0.
a1) lKm f .x/ D L lKm ef .x/ D e L .
x!a
x!a
a2) lKm f .x/ D C lKm ef .x/ D C .

x!a
x!a
a3) lKm f .x/ D lKm ef .x/ D0.

x!a
x!a
b1) lKm f .x/ D L > 0 lKm log f .x/ D log L.

x!a
x!a
b2) lKm f .x/ D C lKm log f .x/ D C.

x!a
x!a
b3) lKm f .x/ D 0 lKm log f .x/ D .

x!a
x!a
El siguiente resultado, cuya justificacin se ver ms adelante, es de gran importancia. En

l se comparan los rdenes de crecimiento de las funciones logaritmo, potencias y exponenciales, resultando lo siguiente.
Prof. Javier Prez

Indeterminaciones en el clculo de lmites
141
Para valores de x > 0 muy grandes, cualquier potencia del logaritmo .log x/ (por muy
grande que sea > 0) es muy pequea comparada con x para > 0 (por muy pequea
que sea > 0).
Para valores de x > 0 muy grandes, cualquier potencia x (por muy grande que sea
> 0) es muy pequea comparada con ex para > 0 (por muy pequeo que sea
> 0).
4.51 Proposicin. a)
b)
c)
jlog xj
D 0 para todos > 0 y 2 R.
x!C1
x
lKm

lKm jxj logjxj D 0 para todos > 0 y 2 R.
x!0
lKm
x!C1
x
D 0 para todos > 0 y > 0.
e x
Observa que los apartados a) y b) se deducen uno de otro cambiando x por 1=x.
4.7. Indeterminaciones en el clculo de lmites

Frecuentemente hay que estudiar el lmite de una suma o producto de dos funciones precisamente cuando las reglas que hemos visto anteriormente no pueden aplicarse. Se trata de
aquellos casos en que el comportamiento de las funciones f C g, fg, no est determinado por
el de f y g. Por ejemplo, si sabemos que lKm f .x/ D C y que lKm g.x/ D , qu
x!a
x!a
podemos decir en general del comportamiento en el punto a de la funcin f C g? Respuesta:

absolutamente nada. En consecuencia, para calcular un lmite del tipo lKm .f C g/.x/ donde
x!a
lKm f .x/ D C y lKm g.x/ D se requiere un estudio particular en cada caso. Suele
x!a
x!a
decirse que estos lmites son una indeterminacin del tipo .
Anlogamente, si sabemos que lKm f .x/ D 0 y que la funcin g es divergente (positix!a

vamente o negativamente) en el punto a, ello no proporciona ninguna informacin sobre el
comportamiento de la funcin fg en dicho punto. Cuando esto ocurre se dice que el lmite
lKm .fg/.x/ es una indeterminacin del tipo 0 . Las indeterminaciones que aparecen
x!a
al estudiar el cociente de dos funciones divergentes o de dos funciones con lmite cero, es
decir, las llamadas indeterminaciones de los tipos =, 0=0, pueden reducirse a una
indeterminacin del tipo 0 .
Todava hemos de considerar nuevas indeterminaciones que van a surgir al considerar funciones de la forma f .x/ g.x/ donde f es una funcin que toma valores positivos y g es una
funcin cualquiera. Puesto que:
f .x/ g.x/ D exp.g.x/ log f .x//
teniendo en cuenta los resultados anteriores, el lmite lKm f .x/ g.x/ vendr determinado por
x!a
el lmite lKm g.x/ log f .x/, el cual, a su vez, est determinado en todos los casos por el
x!a
comportamiento en el punto a de las funciones f y g, excepto cuando dicho lmite es una

indeterminacin del tipo 0 , lo que ocurre en los siguientes casos:
Prof. Javier Prez

142
lKm f .x/ D 1, lKm jg.x/j D C (indeterminacin 11 )

x!a
x!a
lKm f .x/ D C, lKm g.x/ D 0 (indeterminacin 0 )

x!a
x!a
lKm f .x/ D 0, lKm g.x/ D 0 (indeterminacin 0 0 ")

x!a
x!a
Ni que decir tiene que no hay tcnicas generales que permitan resolver las indeterminaciones, no seran tales si las hubiera! Es por ello que, los lmites indeterminados, requieren un
estudio particular en cada caso. Es un hecho que la mayora de los lmites que tienen algn
inters matemtico son lmites indeterminados. Cuando estudiemos las derivadas obtendremos
tcnicas que en muchos casos permitirn calcular con comodidad dichos lmites.
156. Sea a 2 R [ fC1; 1g. Prueba que

lKm jf .x/j D C1 lKm
x!a
x!a
1
D0
jf .x/j
(4.26)
Particulariza este resultado para los casos en que f solamente toma valores positivos o
negativos.
157. Sea L 2 R [ fC1; 1g. Prueba que
lKm f .x/ D L
x!C1
lKm f .x/ D L
x! 1
x!0
x >0
x!0
x <0
lKm f .1=x/ D L
(4.27)
lKm f .1=x/ D L
(4.28)
158. Sea f W0; 1! R la funcin dada para x 20; 1 por:

f .x/ D
1
2
C
:
x
x.x 1/
Prueba que lKm f .x/ D C1 y que lKm f .x/ D 1: Deduce que la imagen de f es
x!0
x!1
todo R:
159. Calcula la imagen de la funcin f W

f .x/ D x .1
1; 1! R, definida por
x 2/
1=2
; 8x 2
1; 1:
160. Sea f W R ! R la funcin definida por f .x/ D e x2 ; 8x 2 R ; f .0/ D 0: Justifica que

f es continua en R, estrictamente decreciente en R y estrictamente creciente en RC :
Calcula la imagen de f .
Prof. Javier Prez

143
161. Sean f; g W R ! R las funciones definidas por

f .x/ D
1
1C e1=x
; si x 0
; si x D 0
g.x/ D
8
<
ex
x
; si x < 0
x ; si 0 6 x < 1
: p
5
x ; si x > 1
Estudia la continuidad de f y g en todo punto de R y la existencia de lmites de f y g

en C1 y en 1.
162. Sea f W R ! R la funcin definida por f .0/ D 0 y f .x/ D sen.x/ sen.1=x/, para todo
x 0. Estudia la continuidad de f y la existencia de lmites en C1 y en 1:
163. Sea f W 0; 1! R una funcin continua. Definamos g.x/ D f .x E.x// para todo
x 2 R. Prueba que la funcin g, as definida, es continua si, y slo si, lKm f .x/ D f .0/.
x!1
Supuesto que esta condicin se cumple, y que f no es constante, definamos h W R ! R

por h.x/ D g.1=x/ si x 0, y h.0/ D f .0/. Justifica que h es continua y acotada en R .
Calcula la imagen por h de un intervalo de la forma 0; r donde 0 < r < 1. Deduce que
h no tiene lmite por la izquierda ni por la derecha en 0 y que la imagen por h de todo
intervalo es tambin un intervalo.
164. Sea 2 R y f W RC
o ! R la funcin definida por f .0/ D 0 y:
f .x/ D x sen
1
;
x
.x > 0/:
Estudia la continuidad de f segn los valores de .

165. Supongamos que a < 0 < b. Estudia el comportamiento en cero de las funciones
f; g W R ! R dadas para todo x 0 por :
f .x/ D arc tg
b
x
arc tg
a
;
x
g.x/ D xf .x/:
166. Determina la imagen de la funcin f W R ! R dada para todo x 0 por f .x/ D

arc tg.log jxj/:
167. Sea f W R n f1g ! R la funcin dada para todo x 1 por
f .x/ D arc tg
1Cx
:
1 x
Estudia la continuidad de f y su comportamiento en el punto 1, en C1 y en

Calcula la imagen de f .
1.
168. La ecuacin ax 2 C 2x 1 D 0 donde a > 1, a 0 tiene dos soluciones que representaremos por .a/ y por .a/. Calcula los lmites de dichas funciones en a D 0 y en
a D 1.
169. Estudia los lmites en C y en de:
a) Una funcin polinmica.
b) Una funcin racional.
Prof. Javier Prez

144
170. Sea f W R ! R una funcin continua no nula tal que lKm f .x/D0 y lKm f .x/D0.
x! 1
x!C1
Prueba que si f toma algn valor positivo entonces f alcanza un mximo absoluto en
R.

Ejercicio resuelto 72 Sea a 2 R [ fC1; 1g. Prueba que
lKm jf .x/j D 0 lKm
x!a
x!a
1
D C1
jf .x/j
Particulariza este resultado para los casos en que f solamente toma valores positivos o
negativos.
Solucin. Basta advertir que
jf .x/j < "
1
1
>
jf .x/j
"
y notar que " es positivo y muy pequeo equivale a que 1=" sea positivo y muy grande.
En particular, tenemos que
1
D C1
x!a
x!a f .x/
1
D 1
f .x/ < 0 ^ lKm f .x/ D 0 lKm
x!a
x!a f .x/
f .x/ > 0 ^ lKm f .x/ D 0
lKm
(4.29)
(4.30)
Ejercicio resuelto 73 Sea L 2 R [ fC1; 1g. Prueba que

lKm f .x/ D L
x!C1
lKm f .x/ D L
x! 1
x!0
x >0
x!0
x <0
lKm f .1=x/ D L
lKm f .1=x/ D L
Solucin. Basta advertir que

0<x<
1
1
> ;
x
<x <0
1
<
x
y notar que es positivo y muy pequeo equivale a que 1= sea positivo y muy grande.
Ejercicio resuelto 74 Sea f W0; 1! R la funcin dada para x 20; 1 por:
f .x/ D
2
1
C
:
x
x.x 1/
Prof. Javier Prez
145
Prueba que lKm f .x/ D C1 y que lKm f .x/ D 1: Deduce que la imagen de f es
x!0
x!1
todo R:
Solucin. Solamente debemos considerar valores de x en el intervalo 0; 1 que es donde

est definida f . Teniendo en cuenta que por (4.29), y (4.30) es:
2
D C1;
x!0 x
lKm
x>0
lKm
x!0
x >0
1
x.x
1/
D 1;
lKm
x!1
x<1
x.x
1/
D 1
Deducimos que lKm f .x/ D 1 y que en x D 0 el lmite pedido es una indeterminacin

x!1
del tipo 1 1. Pero eso se debe solamente a la forma en que est escrita f . Basta hacer
la suma indicada:
1
2x 1
2
D
f .x/ D C
x
x.x 1/
x.x 1/
para darse cuenta, por (4.29) pues f .x/ > 0 para 0 < x < 1=2, que lKm f .x/ D C1.
x!0
Finalmente, como f es continua en 0; 1, el teorema de Bolzano nos dice que la imagen de f , el conjunto f .0; 1/, es un intervalo. Como f diverge positivamente en 0 y
diverge negativamente en 1, deducimos que f no est mayorada ni minorada en 0; 1,
concluimos que f .0; 1/ es un intervalo no mayorado ni minorado, esto es, f .0; 1/DR.
Comentario. Observa que los lmites que hemos calculado de f son realmente lmites
laterales pues nos dicen que f est definida en 0; 1. La cosa cambia mucho si consideramos que f est definida en su dominio natural que es el conjunto A D R n f0; 1g,
que es una unin de tres intervalos. En ese caso f no tiene, por supuesto, lmite en 0; ni
tampoco diverge positivamente ni negativamente en 0 pues el lmite de f por la izquierda
en 0 es 1. Anlogamente, el lmite de f por la derecha en 1 es C1.
Ejercicio resuelto 75 Sea f W 0; 1! R continua. Definamos g.x/ D f .x E.x// para todo x 2 R. Prueba que la funcin g, as definida, es continua si, y slo si, lKm f .x/Df .0/.
x!1
Supuesto que esta condicin se cumple, y que f no es constante, definamos h W R ! R

por h.x/ D g.1=x/ si x 0, y h.0/ D f .0/. Justifica que h es continua y acotada en R .
Calcula la imagen por h de un intervalo de la forma 0; r donde 0 < r < 1. Deduce que
h no tiene lmite por la izquierda ni por la derecha en 0 y que la imagen por h de todo
intervalo es tambin un intervalo.
Solucin. La funcin g es peridica con perodo igual a 1 porque:
g.x C 1/ D f .x C 1
E.x C 1// D f .x
E.x// D g.x/:
Tambin es claro que g.x/ D f .x/ para todo x 2 0; 1. Por la propiedad local de la
continuidad, como f es continua en 0; 1, deducimos que g es continua en 0; 1. Por la
periodicidad de g, se sigue que g es continua en R n Z. Para estudiar la continuidad de
g en los enteros, es suficiente estudiarla en 0. Por la continuidad de f en 0, tenemos que
lKm g.x/ D lKm f .x/ D f .0/. Ahora, por la periodicidad de g:
x!0
x >0
x!0
x>0
lKm g.x/ D lKm g.1 C x/ D lKm g.x/ D lKm f .x/ D lKm f .x/:
x!0
x<0
x!0
x<0
x!1
x<1
x!1
x<1
x!1
Prof. Javier Prez

146
Deducimos que g es continua en 0 si, y slo si, lKm g.x/ D lKm f .x/ D g.0/ D f .0/.
x!0
x<0
x!1
La continuidad de h en R es consecuencia de la propiedad local de la continuidad y de

que la composicin de funciones continuas es continua. Dado r 20; 1, sea x 2 0; 1.
1
Podemos tomar un nmero n 2 N tal que z D
20; r . Tenemos que:
nCx
h.z/ D f .n C x
E.n C x// D f .x
E.x// D g.x/:
Por tanto h.0; r / g.0; 1/ D g.0; 1/. Como g es continua, el conjunto g.0; 1/ es
un intervalo cerrado y acotado, en particular est acotado. Por la periodicidad de g es
g.R/ D g.0; 1/. Deducimos que h.R/ D g.R/ D g.0; 1/ es un conjunto acotado, es
decir, h es una funcin acotada. De lo anterior deducimos que h.0; r / D g.0; 1/ para
todo r 20; 1 (y, como g no es constante, g0; 1 es un intervalo no reducido a un punto),
es evidente que h no tiene lmite por la derecha en 0. De forma parecida se justifica que
h no tiene lmite por la izquierda en 0.
Si I es un intervalo no reducido a un punto. Si I no contiene a 0, entonces debe ser
I RC o bien I R y, como h es continua en R , se sigue que h es continua en I
y, por tanto h.I / es un intervalo. Si el intervalo I contiene a 0, entonces I debe contener
un intervalo de la forma 0; r o un intervalo de la forma r; 0 para algn r 20; 1. En
cualquier caso, se sigue por lo antes visto que h.I / D g.0; 1/ y, por tanto, h.I / es un
intervalo.
Ejercicio resuelto 76 Sea 2 R y f W RC

o ! R la funcin definida por f .0/ D 0 y:
f .x/ D x sen
1
;
x
.x > 0/:
Estudia la continuidad de f segn los valores de .

Solucin. Observa que la funcin solamente est definida para x > 0. La razn de esto
es que para x < 0 la potencia x no siempre est definida.
Para hacer este ejercicio debes recordar que la funcin seno est acotada: jsen zj 6 1 para
todo z 2 R. Por tanto, cualquiera sea x 0 se tiene que jsen.1=x/j 6 1.
Debes tener tambin en cuenta que la funcin seno toma todos los valores del intervalo
1; 1 en cualquier intervalo de longitud mayor que 2.
Si > 0, la funcin h.x/Dx , definida para x>0, tiene lmite en 0 igual a 0. Concluimos
que lKm f .x/ D 0 porque f .x/ D h.x/ sen.1=x/ es producto de una funcin acotada por
x!0
otra con lmite 0.Por tanto, f es continua en 0.
Consideremos que D 0, en cuyo caso, f .x/ D sen.1=x/. Esta funcin toma todos
los valores del intervalo 1; 1 en cualquier intervalo de la forma 0; cualquiera sea
> 0. Pues tomando a > 1= tenemos que a1 20; y, en consecuencia f .0; /
sen.a; C1/ 1; 1. Se deduce enseguida que f .x/ D sen.1=x/ no tiene lmite en 0,
es decir, tiene una discontinuidad esencial en 0.
Es imposible representar grficamente esta funcin porque su grfica contiene infinitas
ondas de amplitud cada vez ms pequea que se van aplastando sobre el eje de ordenadas.

1
Observa que la imagen por la funcin sen.1=x/ del intervalo 2n 1 =2 ; 2nC=2
es el
Prof. Javier Prez

147
-1
Figura 4.4. La funcin f .x/ D sen.1=x/
intervalo 1; 1. La grfica siguiente puede ser til para que imagines cmo es la grfica
de f .x/ D sen.1=x/ para x cerca de 0.
Para valores de < 0 la cosa es todava peor. Te lo dejo para que lo acabes t.
Ejercicio resuelto 77 Supongamos que a < 0 < b. Estudia el comportamiento en cero de

las funciones f; g W R ! R dadas para todo x 0 por :
f .x/ D arc tg
b
x
arc tg
a
;
x
g.x/ D xf .x/:
Solucin. En este ejercicio (y en los siguientes) debes tener en cuenta que:

lKm arc tg x D
x! 1

;
2
lKm arc tg x D
x!C1

;
2

< arc tg x <
2
2
Tenemos que:
a
D C1;
x!0 x
lKm
x<0
b
D 1;
x!0 x
lKm
x<0
a
D 1;
x!0 x
lKm
x>0
b
D C1
x!0 x
lKm
x>0
Deducimos que:
lKm f .x/ D
x!0
x<0

2

D ;
2
lKm f .x/ D
x!0
x>0

C D
2
2
Observa que la funcin f est acotada:

b
b
jf .x/j 6 arc tg C arc tg 6 C D

x
x
2
2
Por tanto g.x/ es el producto de un funcin con lmite 0 por una funcin acotada. Se
sigue que lKm g.x/ D 0. Eso es todo lo que podemos decir del comportamiento de f y
x!0
g en 0. No tiene sentido considerar su continuidad en 0 porque no estn definidas en 0.

Si se define f .0/ D y g.0/ D 0, entonces f tiene una discontinuidad de salto en 0 y es
continua por la derecha en 0, y g es continua en 0.
Prof. Javier Prez

148
Ejercicio resuelto 78 Estudia los lmites en C y en de:

a) Una funcin polinmica.
b) Una funcin racional.
Solucin. a) Sea
1x
n 1
C cn x n
una funcin polinmica de grado par n > 1. Podemos suponer que cn > 0. Usando la
desigualdad (4.8) del corolario (4.22), sabemos que hay un nmero K > 1 tal que para
jxj > K es:
P .x/ cn
>
>0
.1/
xn
2
Pongamos en lo que sigue D c2n .
Supongamos que n es par. Entonces x n D > 0 y, por tanto x n D jxjn para todo x 0.
Deducimos de (1) que para todo x 0 es
P .x/ > jxjn:
lKm jxjn D
Como
x! 1
lKm jxjn D C1, deducimos, por la desigualdad anterior, que
x!C1
lKm P .x/ D lKm P .x/ D C1.
x! 1
x!C1
Supongamos que n es impar. Entonces para x < 0 se tiene que x n < 0. De la desigualdad
(1) deducimos que
P .x/ > x n
.x > 0/;
P .x/ 6 x n
.x < 0/:
Como lKm x n D 1 y lKm x n DC1, deducimos, por las desigualdades anteriores,

x! 1
x!C1
que lKm P .x/ D 1, lKm P .x/ D C1.

x! 1
x!C1
El caso en que cn < 0 se deduce de lo anterior sin ms que considerar el polinomio

P .x/.
Otra forma, quizs mejor, de obtener estos resultados es como sigue. De la igualdad
cn 2
c1
c0
cn 1
P .x/
C 2 C C n 1 C n
D cn C
n
x
x
x
x
x
obtenida dividiendo el polinomio P .x/ por x n , se sigue enseguida que
lKm
x! 1
P .x/
P .x/
D lKm
D cn
x!C1 x n
xn
De aqu se sigue que las funciones P .x/ y cn x n son asintticamente equivalentes para
x ! 1 y para x ! C1, de donde se deducen de forma inmediata los mismos
resultados antes obtenidos.
b) Supongamos ahora que Q.x/ D bm x m C bm 1 x m 1 C C b1 x C b0 es otra funcin
polinmica de grado m con bm > 0. Para estudiar los lmites en 1 de la funcin racioP .x/
nal f .x/ D
podemos sustituir P y Q por funciones asintticamente equivalentes
Q.x/
Prof. Javier Prez

149
a ellas en 1. Por lo antes visto, tenemos que P .x/ cn x n y Q.x/ bm x m para

x ! 1, por tanto:
f .x/ D
P .x/
cn x n
cn n
x
D
Q.x/
bm x m
bm
Deducimos que:
8
C1; n > m n
<
1; n > m n
P .x/
cn
D
lKm
; nDm
x! 1 Q.x/
bm
:
0;
m>n
m par
m impar
.x ! 1/
8
C1; n > m
P .x/ < cn
; nDm
D
lKm
x!C1 Q.x/
: bm
0;
m>n
Prof. Javier Prez


Calculo Cap04 PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Calculo Cap04 PDF

Cargado por

Copyright:

Formatos disponibles

Captulo

Funciones Continuas y lmite funcional

Prof. Javier Prez

Propiedades bsicas de las funciones continuas

a) Estudiar la continuidad de la funcin f .x/ D

b) Estudiar la continuidad de la funcin g.x/ D

c) Estudiar la continuidad de la funcin h.x/ D x sen.1=x/ en x D 0.

4.2.1. Propiedades bsicas de las funciones continuas

b) Si g.x/ 0 para todo x 2 A, la funcin

Demostracin. a) Sea a 2 A un punto de A en el que f y g son continuas. Debemos probar

f .a/j < "1

g.a/j < "2

Prof. Javier Prez

Propiedades bsicas de las funciones continuas

g.a/j C jg.a/j jf .x/

aj < 1 jg.a/j jf .x/

f .a/j < jg.a/j

aj < 1 jf .x/j D jf .a/ C .f .x/

f .a//j < jf .a/j C "1

La demostracin del apartado b) se hace de forma parecida.

Prof. Javier Prez

4.2.2. Propiedades locales

Prof. Javier Prez

Figura 4.1. Funcin parte entera

Prof. Javier Prez

Teorema de Bolzano. Supremo e nfimo

4.11 Teorema (Conservacin local del signo). Sea f W A ! R continua en un punto a 2 A

4.12 Proposicin (Acotacin local). Sea f W A ! R continua en un punto a 2 A. Entonces

f .a//j 6 jf .a/j C jf .x/

f .a/j < 1 C jf .a/j D Ma

4.3. Teorema de Bolzano. Supremo e nfimo

La grfica de una funcin continua en un intervalo, f W a; b ! R , la imaginamos como

Prof. Javier Prez

La propiedad del supremo

la correccin. Precisamente, el mrito de Bernard Bolzano (1781-1848) est en haber llamado

4.3.1. La propiedad del supremo

Prof. Javier Prez

Propiedad de extremo inferior

4.3.2. Propiedad de extremo inferior

Prof. Javier Prez

Propiedad de extremo inferior

Prof. Javier Prez

Consecuencias del teorema de Bolzano

elementos de J con u < v. Debe haber elementos ; en I tales que f ./ D u, f ./ D v.

 Se comprueba que la funcin h es continua y est definida en un intervalo I . Unas veces

4.3.3. Consecuencias del teorema de Bolzano

Prof. Javier Prez

Consecuencias del teorema de Bolzano

k a, es continua y f .0/D a < 0,

1, tenemos, por ser jxj > 1 y n

Para jxj > K y para k D 0; 1; 2; : : : ; n

Deducimos que para jxj > K es:

Prof. Javier Prez

Consecuencias del teorema de Bolzano

no son vacos. Para demostrar que f es continua en a, probaremos que

" < f .u/ y

" < f .u/ 6 f .v/ < f .a/ C ":

Definamos D mKn fa u; v ag > 0. Entonces para todo x 2 I verificando que jx aj <

Prof. Javier Prez

Consecuencias del teorema de Bolzano

4.25 Corolario. La funcin inversa de una funcin estrictamente montona definida en un

La funcin g es continua en 0; 1 por ser composicin y diferencia de funciones continuas.

Prof. Javier Prez

Se comprueba que la funcin h es continua y est definida en un intervalo I . Unas veces

Knf B y, supuesto que A RC y B RC , prueba

O bien para todo k D 0; 1; : : : ; n

Knf B y, supuesto que A RC y B RC , prueba

es un mayorante de AB y por tanto 6 .

signo aplicado a la funcin g.x/ D f .x/ en el punto a, deducimos que existe un