Calculo Cap04

Captulo 4
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 denicin que vamos a dar de continuidad, consideremos una
ley fsica de la forma P = (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 V
0
de la variable
V , y es inevitable que al hacerlo cometamos algn error el cual, naturalmente, inuye en el
correspondiente valor de P, que ya no ser exactamente igual a P
0
= (V
0
). 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 V
0
obtengo valores de P muy diferentes entre
s, la ley 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 P
0
. Lo que s puede hacerse es jar una cota de error admisible para P (la
cual depender de cada situacin concreta), llamemos c a dicha cota (c > 0), y tratar de
obtener otra cota de error ( > 0), de tal forma que siempre que midamos V
0
con un
error menor que tengamos la seguridad de que el valor resultante para P se diferencia de
P
0
en menos que c. Esto es, [ (V ) (V
0
)[ < c siempre que [V V
0
[ < . Cuando esto
efectivamente pueda hacerse para cualquier cota de error c > 0 decimos que la ley es
continua en V
0
.
Observa que cabe esperar que la cota de error dependa del c jado en cada caso. Intuitiva-
mente, cuanto ms pequeo sea el error permitido en los datos nales, tanto mejor tendremos
102
Continuidad 103
que medir la variable independiente. En general, la precisin con la que debemos medir V
0
para obtener un error nal menor que c, depende no solamente del valor jado de c sino tambin
del valor de V
0
. 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 denicin 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
: A R quiere decir que 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 depende tanto de la regla que la dene
como del conjunto en donde estamos trabajando. Enseguida pondremos ejemplos para aclarar
esto.
4.2. Continuidad
4.1 Denicin (Continuidad en un punto). Una funcin : A R se dice que es continua
en un punto a A si, para cada nmero c > 0, se puede encontrar un nmero > 0 (que,
en general, depender de c y de a) tal que para todo x A con [x a[ < se verica que
[ (x) (a)[ < c.
La denicin anterior suele escribirse, con abuso del formalismo lgico, de la siguiente
forma:
VcR
C
J R
C
:
[x a[ <
xA
_
=[ (x) (a)[ < c (4.1)
Comentarios a la denicin. Observa que en esta denicin el conjunto A tiene mucho pro-
tagonismo: slo se consideran los valores de en A, lo que le pueda pasar a fuera de A no
nos interesa. El siguiente ejemplo es ilustrativo.
a) Sea : R R la funcin de Dirichlet dada por (x)=1 si xQ, (x)=1 si xR\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 oscila constantemente
entre 1 y 1.
b) Las funciones g: Q R dada por g(x) = 1 y h: R \ Q R dada por h(x) = 1
son continuas (son funciones constantes!) en todo punto de sus respectivos dominios de
denicin.
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 denida en dicho punto. La condicin (4.1) exige que el
nmero (a) est denido. Si no se conoce el valor de en a no puede comprobarse si dicha
condicin se verica 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 (x) =
1
x
en x =0.
b) Estudiar la continuidad de la funcin g(x) =
[x[
x
en x =0.
c) Estudiar la continuidad de la funcin h(x) =x sen(1,x) en x =0.
Respuesta: Las funciones , g y h no estn denidas 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
denirlas en 0. Por ejemplo, podemos denir (0) =0, g(0) =1, h(0) =0. Ahora la respuesta
es: 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 Denicin (Continuidad en un conjunto). Se dice que es continua en un conjunto
C A, si 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 , g funciones reales denidas en A. Se verica que:
a) Las funciones g y g son continuas en todo punto de A en el que las dos funciones
y g sean continuas. En particular, las funciones suma y producto de funciones continuas
son funciones continuas.
b) Si g(x) =0 para todo x A, la funcin
1
g
es continua en todo punto de A en el que g sea
continua. En consecuencia, la funcin cociente de dos funciones continuas cuyo denomina-
dor no se anula nunca es una funcin continua.
Demostracin. a) Sea a A un punto de A en el que y g son continuas. Debemos probar
que g y g son continuas en a. Escribamos nuestras hiptesis:
Vc
1
R
C
J
1
R
C
: xA. [x a[ <
1
= [ (x) (a)[ < c
1
(4.2)
Vc
2
R
C
J
2
R
C
: xA. [x a[ <
2
= [g(x) g(a)[ < c
2
(4.3)
Naturalmente,
1
=
1
(c
1
) y
2
=
2
(c
2
) dependen del valor de c
1
y c
2
. Debemos rela-
cionar los nmeros [( g)(x) ( g)(a)[ y [(g)(x) (g)(a)[ con [ (x) (a)[ y
[g(x) g(a)[.
Para la suma la cosa es muy sencilla.
[( g)(x) ( g)(a)[ =
_
(x) (a)
_
_
g(x) g(a)
_
6
6 [ (x) (a)[ [g(x) g(a)[
(4.4)
Prof. Javier Prez
Propiedades bsicas de las funciones continuas 105
Dado c > 0, hagamos en (4.2) c
1
=
t
2
y en (4.3) c
2
=
t
2
y sean
1
=
1
(
t
2
) y
2
=
2
(
t
2
).
Pongamos = mn {
1
.
2
]. Entonces, como consecuencia de las desigualdades (4.4), (4.2) y
(4.3), se deduce que [( g)(x) ( g)(a)[ <
t
2
t
2
=c, siempre que xAy [x a[ < .
Para el producto hay que pensar un poquito ms.
[(g)(x) (g)(a)[ =
(x)
_
g(x) g(a)
_
g(a)
_
(x) (a)
_
6
6 [ (x)[ [g(x) g(a)[ [g(a)[ [ (x) (a)[
(4.5)
La cantidad [g(a)[ [ (x) (a)[ puede controlarse fcilmente usando (4.2). Dado c > 0,
hagamos en (4.2) c
1
=
t
2(jg(a)jC1)
(la precaucin de dividir por [g(a)[ 1 es porque pudiera
ocurrir que g(a) =0), y sea
1
=
1
(c
1
). Tenemos que
xA. [x a[ <
1
= [g(a)[ [ (x) (a)[ < [g(a)[
c
2([g(a)[ 1)
<
c
2
xA. [x a[ <
1
= [ (x)[ =[ (a) ( (x) (a))[ < [ (a)[ c
1
(4.6)
Pongamos M = [ (a)[ c
1
, hagamos en (4.3) c
2
=
t
2M
y sea
2
=
2
(
t
2M
). Denamos
=mn {
1
.
2
]. Teniendo ahora en cuenta las desigualdades (4.5) y (4.6), deducimos que
xA.[x a[ < =
_
_
[ (x)[ [g(x) g(a)[ < M
c
2M
=
c
2
[g(a)[ [ (x) (a)[ <
c
2
_
_
=[(g)(x) (g)(a)[ < c
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 la funcin de Dirichlet que, como sabemos, es discontinua en todo
punto. Sea g una funcin continua cualquiera; por ejemplo, la identidad g(x) = x para todo
xR. Las funciones g y g son discontinuas en todo punto pero su suma es la funcin
2g que es continua. Por otra parte, el cuadrado de , esto es la funcin h(x) = (x)(x) =
( (x))
2
=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 denicin.
De hecho, todas las funciones elementales que conoces son continuas en sus dominios
naturales de denicin. 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 : A R y g: B R
funciones tales que (A) B. Supongamos que es continua en un punto aA y que g es
continua en el punto (a). Entonces la funcin compuesta g : A R es continua en el
punto a. En particular, si g es continua en (A), entonces g es continua en todo punto de
A en el que sea continua. Ms en particular, la composicin de funciones continuas es una
funcin continua.
Demostracin. Dado c > 0, por la continuidad de g en (a), existe , > 0 tal que para todo
y B con [y (a)[ < , se tiene que [g(y) g( (a))[ < c. Ahora, por la continuidad de
en a, existe > 0 tal que para todo x A con [x a[ < se tiene que [ (x) (a)[ < ,.
Deducimos as que [g( (x)) g( (a))[ < c para todo x A con [x a[ < . Es decir, la
funcin compuesta g es continua en a.
4.2.2. Propiedades locales
Intuitivamente, la continuidad de una funcin en un punto depende nicamente del com-
portamiento 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 Denicin. Dados una funcin : A R y un conjunto no vaco C A, podemos
denir una nueva funcin, llamada restriccin de a C que se representa por
jC
, que es la
funcin denida en el conjunto C que viene dada por
jC
(x) = (x) para todo xC.
Dada una funcin : A R, se dice que una funcin g : B R es una extensin de
, si B A y es la restriccin de g al conjunto A, es decir (x) =g(x) para todo xA.
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 ejem-
plo 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 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 denida para todo xR por las condiciones siguientes:
E(x)Z y E(x) 6x < E(x) 1.
1
2
3
4
5
-1
-2
-3
-4
-1 -2 -3 -4 -5 1 2 3 4 5
Figura 4.1. Funcin parte entera
No es difcil probar que esta funcin es discon-
tinua en todos los enteros. Ahora, si considera-
mos a dicha funcin trabajando solamente en el
intervalo 1. 2, es decir, la funcin 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, (x) =E(x), para 1 6 x < 2;
entonces la funcin es constante pues, clara-
mente (x) =1 para todo x1. 2, luego es
continua en todos los puntos de su dominio, en
particular es continua en 1 a pesar de que la
funcin parte entera es discontinua en dicho
punto.
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 armacin b) anterior tiene el hecho de que el intervalo
sea abierto. El ejemplo de la funcin parte entera, antes visto, pone de maniesto que una
extensin de una funcin continua en un intervalo no abierto puede no ser continua.
De las armaciones anteriores se deduce el siguiente resultado.
4.10 Teorema (Teorema de localizacin). Una funcin es continua en un intervalo abierto
I si, y slo si, la restriccin
jI
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 1 (nZ), 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 compor-
tamiento de la funcin en los puntos prximos al mismo. Estos resultados se llaman locales.
Prof. Javier Prez
Teorema de Bolzano. Supremo e nmo 108
4.11 Teorema (Conservacin local del signo). Sea : A R continua en un punto aA
con (a) = 0. Entonces hay un nmero r > 0 tal que para todo x A con [x a[ < r se
verica que (x)(a) > 0. Es decir, (x) > 0 si (a) > 0, o (x) < 0 si (a) < 0, en todo
punto x |a r. a rA.
Demostracin. Supondremos que (a) > 0. Podemos entonces tomar c = (a),2 en (4.1)
para obtener, en virtud de la continuidad de en a, un r > 0 tal que para todo x A con
[x a[ < r se verica que [ (x) (a)[ < (a),2, lo que implica que (x) > (a),2 > 0.
El caso en que (a) < 0 se reduce al anterior sin ms que sustituir por .
4.12 Proposicin (Acotacin local). Sea : A R continua en un punto aA. Entonces
hay nmeros, M
a
> 0, r
a
> 0 tales que para todo x A con [x a[ < r
a
se verica que
[ (x)[ 6M
a
.
Demostracin. Hagamos c =1 en (4.1) para obtener, en virtud de la continuidad de en a, un
r
a
> 0 tal que para todo xA con [x a[ < r
a
se verica que [ (x) (a)[ < 1. Pongamos
M
a
=1 [ (a)[. Entonces, para todo x |a r
a
. a r
a
A tenemos que:
[ (x)[ =[ (a) ( (x) (a))[ 6[ (a)[ [ (x) (a)[ < 1 [ (a)[ =M
a
4.3. Teorema de Bolzano. Supremo e nmo

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 4
99e. Seguro? No, a

ningn empresario de cine le parecera bien cobrar 4
99e 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 4
5e
a 5e.
La grca de una funcin continua en un intervalo, : a. b| R, la imaginamos como
una curva continua, por ello, si (a) < 0 < (b), la grca de 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, tiene que anularse en algn punto entre a y b. Esto es precisamente lo que arma
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 res-
pecto 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 reeren a las funciones continuas. Podemos aadir, adems, que suele ser particular-
mente 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 (x) =x
2
2 es continua y (0) < 0 < (2), el teorema de Bolzano asegura
que existe un nmero positivo en el que se anula. En otras palabras, el teorema prueba la
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
nmero
_
2, pero al menos deberamos de tener alguna forma de probar su existencia; es decir,
de las propiedades de los nmeros reales se debera poder deducir que hay un nmero cuyo
cuadrado es igual a 2. Qu sabemos de
_
2? No es racional, pero podemos aproximarlo por
racionales. Con una calculadora obtenemos sucesivas aproximaciones racionales de
_
2 por
defecto:
1
41, 1
414, 1
4142, 1
41421, 1
414213,. . .
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 Denicin. Sea E un conjunto no vaco de nmeros reales. Un nmero zR se dice que
es un mayorante o cota superior (resp. minorante o cota inferior) de E si x6z (resp. z6x)
para todo xE.
Si hay algn elemento de E que tambin sea mayorante (resp. minorante) de E, dicho ele-
mento es necesariamente nico y se llama mximo (resp. mnimo) de E y lo representaremos
por m ax(E) (resp. mn(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 optimi-
zacin 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
verica que el conjunto de sus mayorantes tiene mnimo.
4.15 Denicin. Dado un conjunto ER, 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 nmo). Para todo conjunto de nmeros reales no vaco y
minorado se verica que el conjunto de sus minorantes tiene mximo.
Demostracin. Sea ER, un conjunto no vaco y minorado. Denamos A ={x : xE].
El conjunto A es no vaco y mayorado (pues si z es un minorante de E entonces z es mayo-
rante 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 E se
tiene que x 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 A tal que u < x. Pero entonces tenemos que x < u y,
como xE, concluimos que u no es minorante de E.
4.17 Denicin. Dado un conjunto E R, no vaco y minorado, se llama nmo o extremo
inferior de E, al mximo minorante de E y lo notaremos por nf(E).
Con esta terminologa lo que dice la propiedad del nmo es que todo conjunto de nmeros
reales no vaco y minorado tiene nmo (pero ntese que el nmo no tiene por qu pertenecer
al conjunto).
4.18 Estrategia. Para probar desigualdades en las que intervienen supremos o nmos las
siguientes observaciones, aunque evidentes, pueden ser tiles. Sea C R un conjunto no
vaco.
a) Si queremos probar que un nmero real x verica 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 verica que x 6 nf(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 =nf(C), =sup(C).
Los siguientes razonamientos son de uso constante:
a) Si un nmero real x verica que x < entonces x no puede ser mayorante de C (porque
es el mnimo mayorante de C), por tanto tiene que haber algn z C tal que x < z.
b) Si un nmero real x verica que x > entonces x no puede ser minorante de C (porque
es el mximo minorante de C), por tanto tiene que haber algn uC 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 suciente probar que si : a. b| R es continua y (a) < 0 < (b), entonces 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 |a. b tal que
(c) = 0. Por supuesto, puede haber muchos puntos donde 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 xa. b| tales que toma valores negativos en a. x|:
E ={xa. b| : (t ) < 0 para todo t a. x|]
Por su denicin, tenemos que E a. b| y a 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 < b y es
negativa en todos los puntos del intervalo a. a | y positiva en todos los puntos del intervalo
b . b|. Esto implica que a < c < b.
Veamos que a. c E. Sea a < x
0
< c. Como x
0
< c y c es el mnimo mayorante de
E, tiene que existir algn punto z
0
E tal que x
0
< z
0
6 c. Por tanto, si t a. x
0
| tambin
t a. z
0
| y, como, z
0
E, ser (t ) < 0, luego x
0
E. Ntese que hemos probado tambin
que (x) < 0 para todo xa. c.
Finalmente, probaremos que (c) =0. Como a la izquierda de c la funcin toma valores
negativos y es continua, deducimos que no puede ser (c) > 0 y, por tanto, (c) 6 0. Pero
tampoco puede ser (c) < 0, pues entonces, por la conservacin local del signo, habra un
intervalo de la forma c ,. c ,| a. b| tal que (t ) < 0 para todo t c ,. c ,| lo
que implica que en E hay puntos mayores que c lo que es contradictorio. Concluimos as que
(c) =0.
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 de-
mostracin, algo ms constructiva, en la que se basa un algoritmo bastante ecaz 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 : I R es una funcin continua en I.
Queremos probar que la imagen de , esto es, el conjunto J = (I) es un intervalo. Teniendo
en cuenta la denicin 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. :
Prof. Javier Prez
Consecuencias del teorema de Bolzano 112
elementos de J con u < :. Debe haber elementos . en I tales que () = u, () = :.
Como es una funcin, debe ser =; podemos suponer que < . Sea z |u. :, esto es,
u < z < :. Denamos la funcin h: I R dada por h(x) = z (x) para todo x I.
Como es continua, h es continua en I. Tenemos que h() = z () = z u > 0 y
h() = z () = z : < 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 z |. tal que h(z) = z (z) = 0. Hemos probado as que
(z) =z. Como z. | I, concluimos que z J = (I). Como esto es cierto cualquiera
sea el punto z |u. :, concluimos que u. :| 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 : I R es una funcin continua en un intervalo I que toma valores positivos
y negativos, entonces J = (I) es un intervalo en el que hay nmeros negativos y positivos,
luego debe contener al 0, es decir tiene que anularse en algn punto de I.
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 (c) =g(c) o, dicho de otra forma, que la ecuacin (x) =g(x)
tiene soluciones. La forma de proceder para aplicar el teorema de Bolzano es la siguiente.
v Se pasan todos los trminos de la ecuacin a un lado y se dene h(x) = (x) g(x).
v Se comprueba que la funcin h es continua y est denida en un intervalo I. Unas veces
el intervalo donde h est denida debemos elegirlo nosotros de forma adecuada, y otras
veces viene impuesto por el enunciado del ejercicio.
v 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 simultnea-
mente 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 N hay un nico nmero c > 0 tal
que c
k
=a.
Prof. Javier Prez
Demostracin. La funcin :R
C
o
R dada por (x)=x
k
a, es continua y (0)=a < 0,
(1a) =(1a)
k
a > 0. Deducimos que hay algn nmero c > 0 tal que (c) =0. Dicho
nmero es nico porque la funcin es estrictamente creciente.
4.22 Corolario (Ceros de polinomios de grado impar). Toda funcin polinmica de grado
impar se anula en algn punto.
Demostracin. Sea
P(x) =c
0
c
1
x c
2
x
2
c
n1
x
n1
c
n
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 c
n
> 0. Supongamos en lo que sigue que [x[ >1.
Dividiendo por x
n
tenemos que
P(x)
x
n
=
c
0
x
n

c
1
x
n1

c
2
x
n2

c
n1
x
c
n
(4.7)
Para 0 6k 6n 1, tenemos, por ser [x[ >1 y n k >1, que:
[c
k
[
[x[
nk
6
[c
k
[
[x[
Por otra parte
[c
k
[
[x[
6
c
n
2n
[x[ >
[c
k
[
c
n
2n
Denamos
M =m ax
_
[c
k
[
c
n
2n : k =0. 1. 2 . . . . n 1
_
. K =m ax {M. 1]
Para [x[ >K y para k =0. 1. 2. . . . . n 1, tenemos que:
c
k
x
nk
>
[c
k
[
[x[
nk
>
[c
k
[
[x[
>
c
n
2n
Deducimos que para [x[ >K es:
P(x)
x
n
>(n 1)
c
n
2n
c
n
>
c
n
2
c
n
=
c
n
2
> 0 (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 denida en un intervalo, R, concluimos que debe anularse en algn punto.
Prof. Javier Prez
4.3.3.1. Continuidad y monotona
Hemos visto que la imagen de un intervalo por una funcin continua es un intervalo. Pode-
mos 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 monto-
na es discontinua es porque su grca 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 intervalo
1
cuya imagen es un intervalo es conti-
nua.
Demostracin. Sea : I R una funcin creciente en un intervalo I cuya imagen J = (I)
es un intervalo. Queremos probar que es continua. Sea a I y supongamos que a no es un
punto extremo de I, esto es, que los conjuntos
I
a
={xI : x < a] . I
C
a
={xI : x > a]
no son vacos. Para demostrar que es continua en a, probaremos que
sup (I
a
) =sup { (x) : xI. x < a] = (a) =nf { (x) : xI. x > a] =nf (I
C
a
)
Probemos que (a) = sup (I
a
). Pongamos = sup (I
a
). Para todo x I
a
tenemos que
x < a y, como es creciente, (x) 6 (a). Luego (a) es un mayorante del conjunto (I
a
)
y, en consecuencia, debe ser 6 (a). Veamos que no puede ocurrir que < (a). Para
ello supondremos que < (a) y llegaremos a una contradiccin. Tomemos un elemento
cualquiera z |. (a). Sea u I
a
. Entonces (u) 6 < z < (a). Como (u) y (a)
estn en J = (I) y J es, por hiptesis, un intervalo, deducimos que z J, esto es, z = (s)
para algn s I. No puede ser s =a y, como es creciente y z < (a), debe vericarse que
s < a, esto es, s I
a
en cuyo caso debe ser (s) 6 , es decir, z 6 lo cual es claramente
contradictorio pues < z.
Anlogamente se prueba que (a) = =nf (I
C
a
).
Sea ahora c > 0. Tiene que haber elementos u I
a
y : I
C
a
tales que c < (u) y
(:) < c, es decir
(a) c < (u) 6 (:) < (a) c.
Denamos =mn {a u. : a] > 0. Entonces para todo x I vericando que [x a[ <
se tiene que x |a . a |u. : y, por tanto, (u) 6 (x) 6 (:) lo que implica que
(a) c < (x) < (a) c, esto es, [ (x) (a)[ < c.
Los casos en que a es un posible extremo de I se hacen de forma anloga.
4.24 Corolario. Una funcin montona denida en un intervalo es continua si, y slo si, su
imagen es un intervalo.
1
No es necesario suponer que la funcin est denida 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
4.25 Corolario. La funcin inversa de una funcin estrictamente montona denida en un
intervalo es continua.
Demostracin. Sea : I R una funcin estrictamente montona denida en un intervalo
I. Como es inyectiva en I su inversa,
1
, est denida en el conjunto imagen J = (I)
y, claramente,
1
(J) = I. Como la inversa de una funcin estrictamente montona es
tambin estrictamente montona (y del mismo tipo que ) e I es, por hiptesis, un intervalo,
el teorema anterior, aplicado a
1
, nos dice que
1
es continua en J
2
.
Considera una funcin inyectiva y continua en un intervalo e intenta dibujar su grca;
comprobars que la funcin no puede subir y bajar porque en tal caso se pierde la inyecti-
vidad, por tanto, o bien siempre sube y es estrictamente creciente, o bien siempre baja y
es estrictamente decreciente. Eso es lo que arma 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 : I R continua e inyectiva en el intervalo I. Sean a
0
< b
0
dos
puntos de I. Como es inyectiva debe ser (a
0
)= (b
0
). Por tanto, o bien (b
0
) (a
0
) > 0,
o bien (b
0
) (a
0
) < 0. Supongamos que es (b
0
) (a
0
) > 0 y demostremos que es
estrictamente creciente en I. Para ello sean a
1
< b
1
puntos de I. Pongamos
x(t ) =(1 t )a
0
t a
1
y(t ) =(1 t )b
0
t b
1
_
para 0 6t 61
Tenemos que x(0) =a
0
, x(1) =a
1
, y(0) =b
0
, y(1) =b
1
. Adems, poniendo =mn {a
0
. a
1
]
y =m ax {a
0
. a
1
], se tiene que:
=(1 t ) t 6x(t ) 6(1 t ) t =
Como I es un intervalo y . I, se verica que . | I, por lo que x(t ) I. Anloga-
mente, se tiene que y(t ) I. Adems, como a
0
< b
0
y a
1
< b
1
, se verica que x(t ) < y(t )
para 0 6t 61. Consideremos la funcin:
g(t ) = (y(t )) (x(t )) 0 6t 61
La funcin g es continua en 0. 1| por ser composicin y diferencia de funciones continuas.
Como es inyectiva y x(t ) < y(t ), se tiene que g(t ) =0 para todo t 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 0. 1|. Por tanto g(1) = (b
1
) (a
1
) > 0. Hemos probado as que
es estrictamente creciente.
Anlogamente, si se supone que es (b
0
) (a
0
) < 0 se demuestra que es estrictamente
decreciente en I.
2
Este resultado es cierto tal como est enunciado, sin necesidad de suponer que la funcin es continua.
3
Esta 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 denida 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 (0. 1) no sea acotado.
e) Da un ejemplo de una funcin continua denida en un intervalo abierto acotado y
cuya imagen sea un intervalo cerrado y acotado.
116. Prueba que si : A R es continua en a entonces tambin lo es [ [. 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 grcas de
las siguientes funciones y estudia su continuidad.
a) (x) =x E(x)
b) (x) =E(1,x)
118. Estudia la continuidad de la funcin : R R dada por (x) =E(x
2
).
119. Estudia la continuidad de la funcin : R R, denida por (x) =xE(1,x) si x=0,
(0) =1.
120. Estudia la continuidad de la funcin : R R dada por (x) =x sen(1,x) si x =0
y (0) =0.
121. Estudia la continuidad de la funcin : 0. 4| R dada por (1) =1,4 y:
(x) =
_
_
[x 1[
(x
2
1)E(1 x)
si x0. 1L|1. 2|
E(x) 7,4 si x |2. 4|
122. Estudia la continuidad de la funcin : 0. 1| R dada por:
(x) =
_
0 si x =0 o x es irracional
1,q si x =p,q (fraccin irreducible)
123. Sea : a. b| R continua. Supongamos que a6 (x)6b para todo x en a. b|. Prueba
que hay algn punto c a. b| tal que (c) =c.
124. Sea a > 1. Prueba que la ecuacin x e
x
=a tiene al menos una solucin positiva y
otra negativa.
125. Prueba que la ecuacin x e
x
arc tg x = 0 tiene una sola raz real. Da un intervalo
de longitud uno en el que se encuentre dicha raz.
126. Prueba que hay un nmero real x > 0 tal que log x
_
x =0.
Prof. Javier Prez
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 : a. b| R continua con (a) = (b). Dado nN, n>2, prueba que hay algn
punto c a. b (b a),n| tal que (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, pe-
ro cuenta con exactitud perodos de 12 horas, es decir, pasadas 12 horas el reloj marca un
tiempo t
0
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 . g funciones continuas que no se anulan en un intervalo I, vericando que
( (x))
2
= (g(x))
2
para todo x I. Prueba que o bien (x) = g(x) para todo x I,
o bien (x) =g(x) para todo x I. Cuntas funciones hay : R R continuas y
vericando que ((x))
2
=x
2
para todo xR?.
133. Demuestra el apartado b) del teorema (4.3).
134. Justica las armaciones del corolario (4.4).
135. Sea : R R continua y decreciente. Prueba que hay un nico aR vericando que
(a) =a.
136. Sea : R R continua y tal que (x)
_
( )(x)
_
= 1 para todo x R. Sabiendo
que (1000) =999, calcula (500).
137. Cuntas soluciones tiene la ecuacin sin x =
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)E si, y slo si, E tiene mximo, en tal caso m ax(E)=sup(E).
b) Prueba que nf(E)E si, y slo si, E tiene mnimo, en tal caso mn(E) =nf(E).
140. Sean A. B conjuntos no vacos de nmeros reales. Supongamos que a 6 b para todo
aA y para todo bB. Prueba que sup A6nf B.
141. Sean A, B, conjuntos no vacos y acotados de nmeros reales. Justica las siguientes
armaciones:
a) Si A B entonces sup(A) 6sup(B) e nf(A) >nf(B).
Prof. Javier Prez
b) sup(AL B) =m ax{sup(A). sup(B)].
142. Sean A, B, conjuntos no vacos y acotados de nmeros reales. Denamos
A B ={a b : aA. bB]: AB ={ab : aA. bB]
Prueba que sup(A B) =sup Anf B y, supuesto que A R
C
y B R
C
, prueba
que sup(AB) =sup A sup B.
143. Usando solamente la denicin de intervalo (2.10), y las propiedades del supremo e
nmo, describe todos los posibles tipos de intervalo.
144. Sea A un conjunto no vaco de nmeros reales. Para cada xRdenamos la distancia
de x a A por dist(x. A) = nf{[x a[ : a A]. Prueba que para todos x. y R se
verica que:
[ dist(x. A) dist(y. A)[ 6[x y[
Deduce que la aplicacin x dist(x. A) es continua.
145. Sea : R R continua, mayorada y tal que para todos a. bR con a < b, se verica
que sup (|a. b) =sup (R). Prueba que es constante.
146. Sea : a. b| R una funcin continua tal que (a) < 0, (b) < 0 y (c) > 0
para algn c |a. b. Prueba que hay dos nmeros u, : vericando que a < u < : < b,
(u) = (:) =0 y (x) > 0 para todo x |u. :.
147. Sea : a. b| R creciente. Supongamos que a6 (x)6b para todo x en a. b|. Prueba
que hay algn punto c a. b| tal que (c) =c.
Sugerencia. Considera el supremo del conjunto {x a. b| : x 6 (x)]. Fjate que no
suponemos que sea continua.
148. Justica que, dado x R, la ecuacin log t t
5
= x tiene una nica solucin, que
representamos por (x). Justica que la funcin x (x), (x R), as denida es
continua.
149. Prueba que la funcin :| 1. 1 R denida por (x) =ln
_
_
1 x
1 x
_
es biyectiva.
Calcula
1
y comprueba que es una funcin continua.
150. Sea : 0. 1| R continua vericando que [ (s) (t )[>[st [ para todos s. t 0. 1|,
y ({0. 1]) = {0. 1]. Prueba que o bien es (x) = x para todo x 0. 1|, o bien es
(x) =1 x para todo x0. 1|.
151. Sean
A={xQ: x 60 o x
2
< 2]. B ={xQ: x > 0 y x
2
>2].
Prueba que A=, B =, Q=AL B y a < b para todos aA. bB. Adems:
a) Para cada r A hay algn s A tal que r < s.
b) Para cada uB hay algn t B tal que t < u.
Prof. Javier Prez
Ejercicios resueltos 119
c) No hay ningn z 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={xR: x 60 o x
2
< 2]. B ={xR: x > 0 y x
2
>2].
Prueba que A =, B =, R =A L B y a < b para todos aA y b B. Sea z R el
extremo superior de A. Prueba que z
2
=2, A=| o. z, B =z. o.
4.3.5. Ejercicios resueltos
Antes de ver la solucin de un ejercicio debes intentar resolverlo!
Ejercicio resuelto 50 a) Da un ejemplo de una funcin continua cuya imagen no sea un
intervalo.
b) Da un ejemplo de una funcin denida 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 (0. 1) no sea acotado.
e) Da un ejemplo de una funcin continua denida 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 de-
nida en un intervalo. Una vez que caes en este detalle, se te deben de ocurrir muchos
ejemplos. Como la funcin :|0. 1L|2. 3R dada por (x) = 1 para x |0. 1 y
(x) =2 para x |2. 3. Es claro que es continua (usa, si quieres el teorema de loca-
lizacin para justicarlo en media lnea) y su imagen es el conjunto {1. 2] 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 : 0. 2| R dada por (x) =2x para x 0. 1|, (x) =x,2 para
x|1. 2|. Claramente es discontinua en x =1, pero su imagen es el intervalo 0. 2|.
c) Esto es muy fcil. Por ejemplo, la funcin (x) =
1
1 x
2
. Claramente, (R)=|0. 1|.
d) Esto es muy fcil. Por ejemplo, (x) =
1
1 x
, x 0. 1. Claramente, (0. 1) =
1. o.
e) Por ejemplo, la restriccin de la funcin seno al intervalo | . . Si quieres otro
ejemplo ms elemental, puedes modicar de forma apropiada el ejemplo del punto b).
Ejercicio resuelto 51 Prueba que si : A R es continua en a entonces tambin lo es
[ [. Da un ejemplo de funcin discontinua cuyo valor absoluto es continua.
Prof. Javier Prez
Demostracin. Todo lo que se necesita es la desigualdad

[u[ [:[
6[u:[. En nuestro
caso tenemos:
[ (x)[ [ (a)[
6[ (x) (a)[
Supuesto que es continua en a, dado c > 0, existe > 0 tal que si [x a[ <
y x A entonces [ (x) (a)[ < c lo que, por la desigualdad anterior, implica que
[ (x)[ [ (a)[
< c y, por tanto, [ [ es continua en a.

La funcin dada por (x) = 1 si x > 0 y (x) = 1 si x < 0 , es discontinua en 0
pero [ [ es continua en 0.
Ejercicio resuelto 52 Estudia la continuidad de la funcin : R R dada por (x) =
E(x
2
).
Demostracin. Claramente =E donde (x) =x
2
. Puesto que es continua en
todo punto y la funcin parte entera es continua en R \ Z, deducimos por el teorema
de composicin de funciones continuas, que es continua en todo punto a R tal que
(a) =a
2
, Z. Es decir, es continua en R\ B donde B ={
_
n : nN] L{
_
n : n
N] L {0]. Los puntos de B requieren un estudio particular pues, a priori, no podemos
asegurar que sea discontinua en ellos.
Empecemos estudiando la posible continuidad de en 0. Es claro que para 1 < x < 1
tenemos que 0 6 x
2
< 1 por lo que (x) =0 para todo x| 1. 1. Es decir, la funcin
jj1,1
( restriccin de al intervalo | 1. 1) es la funcin constante igual a 0 y por
tanto
jj1,1
es continua. Como el intervalo |1. 1 es abierto deducimos, por el teorema
de localizacin que es continua en | 1. 1 y, en particular, es continua en 0.
Consideremos ahora un punto de la forma
_
q donde q N (jo en lo que sigue). Para
todo x |
_
q 1.
_
q se tiene que q 1 < x
2
< q por lo que (x) =q 1. Cualquiera
sea > 0, hay puntos
x|
_
q .
_
q |
_
q 1.
_
q
para los que [ (
_
q) (x)[ =[q (q 1)[ =1, por lo que tomando c
0
< 1 deducimos
que no es continua en
_
q.
De forma anloga se prueba que es discontinua en los puntos de la forma
_
q donde
q N.
Ejercicio resuelto 53 Estudia la continuidad de la funcin : R R, denida por (x) =
xE(1,x) si x =0, (0) =1.
Solucin. El teorema de localizacin puede usarse en este tipo de ejercicios. En nuestro
caso, es evidente que para x > 1 es (x) =0, y para x < 1 es (x) =x. Por tanto la
restriccin de a los intervalos |1. o y |o. 1 es continua y, como estos intervalos
son abiertos, deducimos por el teorema de localizacin que es continua en dichos
intervalos. De forma parecida podemos razonar con un intervalo del tipo |1,(n1). 1,n
donde nN pues, para x |1,(n 1). 1,n se tiene que (x) =nx, luego la restriccin
de a dicho intervalo es continua y, por tratarse de un intervalo abierto, deducimos que
es continua en |1,(n 1). 1,n. Anlogamente se razona con un intervalo del tipo
| 1,n. 1,(n 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
nZ
, y tampoco en 0.
Prof. Javier Prez
Estudiemos qu ocurre en un punto de la forma 1,p donde p > 2 es un entero (jo en
lo que sigue). Tenemos que (1,p) = 1. Para todo x |1,(p 1). 1,p se tiene que
p 1 < 1,x < p, por lo que E(1,x) =p 1 y (x) =(p 1)x, y por tanto
(1,p) (x) =1 (p 1)x > 1 (p 1),p =1,p.
En consecuencia, dado c
0
=1,2p, cualquiera sea > 0 hay puntos x |1,(p1). 1,p
cuya distancia al punto 1,p es menor que , para los cuales no se verica la desigualdad
[ (1,p) (x)[ < c
0
. Concluimos que es discontinua en 1,p. De forma parecida se
prueba que es discontinua en los puntos de la forma 1,q donde q 6 2 es un entero.
Igualmente se prueba que es discontinua en los puntos 1 y 1.
Queda por ver qu pasa en 0. Si dibujamos con paciencia (con lpiz y regla) la grca de
obtenemos la gura 4.2 (los segmentos verticales indican discontinuidades de salto):
1
O -1 -2 1
Figura 4.2. La funcin xE(1,x)
Parece que es continua en 0. Para probarlo hay que probar que [ (x) (0)[ es tan
pequeo como queramos (< c) siempre que [x 0[ = [x[ sea sucientemente pequeo
(< ). Lo usual en estos casos es trabajar para atrs. Empezamos acotando (x) 1.
Recordemos que
E(1,x) 61,x 6E(1,x) 1 (4.9)
Si x > 0 podemos multiplicar por x dicha desigualdad para obtener que
xE(1,x) 61 6xE(1,x) x.
Resulta as que para x > 0 es:
0 61 xE(1,x) = (0) (x) 6x (4.10)
Si x < 0 podemos multiplicar por x la desigualdad (4.9) para obtener que
xE(1,x) >1 >xE(1,x) x.
Resulta as que para x < 0 es:
0 >1 xE(1,x) = (0) (x) >x es decir 0 6 (x) (0) 6x (4.11)
Prof. Javier Prez
De (4.10) y (4.11) deducimos que [ (x) (0)[ 6 [x[. En consecuencia, dado c > 0,
tomamos =c con lo que, evidentemente, si [x[ < entonces [ (x) (0)[ < c. Luego
es continua en 0.
Ejercicio resuelto 54 Estudia la continuidad de la funcin : R R dada por (x) =
x sen(1,x) si x =0 y (0) =0.
Solucin. El propsito de este ejercicio es que no olvides que [sen z[61 para todo z R.
Da igual como escribas z, esta desigualdad es vlida para todo nmero real z (recuerda
cmo deben leerse las matemticas). Por tanto [sen(1,x)[ 61. En consecuencia, [ (x)[6
[x[ de donde se sigue inmediatamente que es continua en 0.
Ejercicio resuelto 55 Estudia la continuidad de la funcin : 0. 1| R dada por:
(x) =
_
0 si x =0 o x es irracional
1,q si x =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 =
p
q
|0. 1| un nmero racional escrito como fraccin irreducible.
Tenemos que (r) =
1
q
. Tomemos ahora un c > 0 menor que
1
q
; por ejemplo c =
1
2q
.
Cualquiera sea > 0, en el intervalo |r . r 0. 1| hay nmeros irracionales, si x
es uno de ellos, se tiene que x 0. 1|, [x r[ < pero [ (x) (r)[ =
1
q
no es menor
que c =
1
2q
. Concluimos que es discontinua en r.
Para probar que 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 c > 0, quitar los puntos de 0. 1|
donde la funcin toma un valor mayor que c. Dichos puntos son los puntos racionales de
la forma r =
p
q
(fraccin irreducible p. q N) con
1
q
>c, esto es, q 6
1
t
. Fijado un valor
de c > 0, el conjunto de valores de q N para los que se verica que
1
q
> c es nito.
Llamemos a este conjunto Q
t
. Para cada nmero q Q
t
las fracciones irreducibles de la
forma
p
q
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 toma un valor mayor o igual que c, es
nito. Llamemos a este conjunto R
t
. Sea ahora a un nmero irracional de 0. 1| o a =0.
Tenemos que a , R
t
por lo que para todo r R
t
el nmero [a r[ es positivo. Sabemos
que todos conjunto nito tiene mximo y mnimo. Denamos =mn {[a r[ : r R
t
].
Entonces > 0 y para todo x 0. 1| con [x a[ < se tiene que x , R
t
, luego
[ (x) (a)[ = (x) < c, lo que prueba que es continua en a.
Ejercicio resuelto 56 Sea : a. b| R continua. Supongamos que a6 (x)6b para todo
x en a. b|. Prueba que hay algn punto c a. b| tal que (c) =c.
Solucin. Este ejercicio es muy sencillo. Basta hacer una representacin grca. Imagina
la grca de una funcin continua en a. b| que toma valores en a. b|. Lo que te dicen
en el ejercicio es que pruebes que la grca de corta a la diagonal del rectngulo
a. b| a. b|. Grcamente eso es evidente. Para hacerlo, seguiremos la estrategia (4.20).
La ecuacin que debemos considerar es (x) = x. Denamos h(x) = x (x) para
x a. b|. La funcin h es continua, porque nos dicen que es continua, y est denida
en el intervalo a. b|. Tenemos que h(a) =a (a) 60 y h(b) =b (b) >0. Si alguno
de estos nmeros es igual a 0 entonces c = a o c = b; en otro caso debe ser h(a) < 0
Prof. Javier Prez
y h(b) > 0, en cuyo caso el teorema de Bolzano asegura que hay algn c |a. b tal que
h(c) =0, es decir, (c) =c.
Ejercicio resuelto 57 Prueba que la ecuacin x e
x
arc tg x =0 tiene una sola raz real.
Da un intervalo de longitud uno en el que se encuentre dicha raz.
Solucin. Sea (x) = x e
x
arc tg x para todo x R. Es evidente que (x) > 0
para todo x > 0. Observa que si x < 0 y est muy alejado del origen, entonces e
x
es
positivo pero muy pequeo y arc tg x ser negativo (cercano a ,2). Vemos as que
para estos valores de x la funcin ser negativa. De alguna forma debemos justicar
esto que vemos. Podramos hacerlo estudiando el lmite en o pero an no tenemos
esa herramienta. Para lo que nos pide el ejercicio, es suciente que encontremos un
punto a < 0 en el que (a) < 0. En estos ejercicios no hay que buscar valores raros.
Tomemos a=1. Tenemos que (1)=11, e arc tg(1)=11, e ,4, como
e > 2, claramente es (1) < 0. Como es continua, est denida 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 es estrictamente creciente, por ser suma de
funciones estrictamente crecientes, es inyectiva, por lo que se anula en un nico punto.
Adems, como (0) =1, el teorema de Bolzano nos dice que el punto donde 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 tempera-
tura.
Solucin. Llamemos L a la longitud del ecuador terrestre (unos cuarenta mil Kilme-
tros). Sea : 0. L| R la funcin que a cada punto x 0. L| hace corresponder la
temperatura, (x), medida en grados centgrados, que hay en dicho punto del ecuador.
Suponemos que es una funcin continua (cosa muy razonable). Se trata de probar que
hay algn punto c 0. L,2| tal que (c) = (c L,2). Para ello, aplicando la estrate-
gia (4.20), consideramos la funcin h(x) = (x L,2) (x) denida en el intervalo
0. L,2|. Tenemos que h(0)= (L,2) (0) y h(L,2)= (L) (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 (L) = (0) y, h(L,2) = (0) (L,2).
Observamos que h(0) y h(L,2) son nmeros opuestos. O los dos son cero, en cuyo caso
podemos tomar c =0, o uno es negativo y otro positivo, en cuyo caso el teorema de Bol-
zano asegura que h tiene que anularse en algn c |0. L,2, esto es, (c L,2) = (c),
como se quera probar.
Ejercicio resuelto 59 Sea : a. b| R continua con (a) = (b). Dado n N, n > 2,
prueba que hay algn punto c a. b (b a),n| tal que (c) = (c (b a),n).
Solucin. Sea : a. b| R una funcin continua. Llamemos al nmero (b) (a)
el incremento de en a. b|. Dado un nmero natural n>2, nos preguntamos si hay algn
intervalo de longitud (ba),n en el cual el incremento de sea igual a ( (b) (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 x
k
. x
kC1
|, donde x
k
=a k(b a),n, k =0. 1. . . . . n 1.
Es claro que la suma de los incrementos de en cada uno de los n intervalos x
k
. x
kC1
|
Prof. Javier Prez
es igual al incremento de en el intervalo a. b|. Es decir:
n1
kD0
( (x
kC1
) (x
k
)) = (b) (a).
Como en esta suma hay n sumando en total, deducimos que o bien todos ellos son igual
a ( (b) (a)),n o bien alguno de ellos es mayor que ( (b) (a)),n en cuyo caso
tiene que haber necesariamente otro que sea menor que ( (b) (a)),n.
Denamos la funcin g : a. b (b a),n| R por g(x)= (x(ba),n) (x).
Ntese que g(x
k
) = (x
kC1
) (x
k
). Segn acabamos de ver:
v O bien para todo k = 0. 1. . . . . n 1 es g(x
k
) =
(b) (a)
n
, en cuyo caso se
verica que (x
kC1
) (x
k
) =
(b) (a)
n
.
v O bien hay puntos x
p
. x
q
tales que g(x
p
) < ( (b) (a)),n < g(x
q
), en cuyo
caso, como la funcin g es continua, el teorema de Bolzano implica que tiene que
haber algn punto t
0
comprendido entre x
p
y x
q
tal que g(t
0
) =( (b) (a)),n,
es decir se verica que (t
0
(b a),n) (t
0
) =( (b) (a)),n.
Hemos probado as que hay un intervalo de longitud (b a),n en el cual el incremento
de es igual a ( (b) (a)),n.
Ejercicio resuelto 60 Un reloj averiado marca inicialmente un tiempo t
0
. El reloj puede ade-
lantar o atrasar, pero cuenta con exactitud perodos de 12 horas, es decir, pasadas 12
horas el reloj marca un tiempo t
0
12 horas. Demuestra que en algn momento dicho
reloj mide con exactitud una hora.
Solucin. Sea : 0. 12| R la funcin denida por: (t )=tiempo (medido en horas)
que marca el reloj en el tiempo t . Podemos admitir que es continua. El incremento de
en el intervalo 0. 12| es igual a (12) (0) = 12. Deducimos, por lo antes visto
que, para cada n>2, hay algn intervalo de longitud (120),n en el cual el incremento
de es igual a ( (12) (0)),n. Es decir, que en algn instante c
0
el reloj mide con
exactitud un perodo de tiempo igual a
12
n
horas: (c
0
12,n) (c
0
)=12,n. Tomando
n =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
: 8. 12| R la funcin que en el tiempo t (medido horas) nos da la distancia (t )
(medida en kilmetros) que el automovilista ha recorrido el sbado, y g : 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 (8) =g(8) =0,
(12) =g(12) = donde es la distancia entre Granada y Madrid.
Como las funciones y g son continuas, la funcin h(t ) = (t ) ( g(t )) tambin
es continua. Como h(8) = < 0, h(12) = > 0, deducimos que h(t
0
) =0 para algn
Prof. Javier Prez
t
0
8. 12|, es decir (t
0
) = g(t
0
). Por tanto, el sbado y el domingo, en el instante
t
0
el automovilista se encuentra a la misma distancia de Granada.
Si dibujas las grcas de y de g vers que este resultado es evidente.
Ejercicio resuelto 62 Sean . g funciones continuas que no se anulan en un intervalo I,
vericando que ( (x))
2
=(g(x))
2
para todo xI. Prueba que o bien (x) =g(x) para
todo x I, o bien (x) =g(x) para todo x I. Cuntas funciones hay : R R
continuas y vericando que ((x))
2
=x
2
para todo xR?.
Solucin. La funcin h(x) =
(x)
g(x)
es continua en I y verica que h(x)
2
=1 para todo
xI, luego h(x)=1 o h(x)=1 para cada xI. Como I es un intervalo y h es continua,
el conjunto h(I) tiene que ser un intervalo, luego deber ser h(I) ={1] o h(I) ={1].
En el primer caso es (x) = g(x) para todo x I, en el segundo (x) = g(x) para
todo xI.
La igualdad (x)
2
= x
2
para todo x R equivale a [(x)[ = [x[. Lo que da cuatro
posibilidades; a saber:
1
(x) =x,
2
(x) = x,
3
(x) =[x[,
4
(x) =[x[, donde, en
cada caso, se entiende que las igualdades son para todo xR.
Ejercicio resuelto 63 Sea : R R continua y decreciente. Prueba que hay un nico
aR vericando que (a) =a.
Solucin. Naturalmente, se trata de probar que la funcin g: R R dada por g(x) =
x (x) para todo xR se anula en algn punto. Como es continua (porque nos dicen
que lo es) y est denida en un intervalo, intentaremos aplicar el teorema de Bolzano.
Tomemos un punto c R. Si (c) = c hemos acabado. En otro caso ser (c) = c.
Supongamos que (c) < c. Entonces, como es decreciente, ser ( (c)) > (c). Si
( (c)) = (c), hemos acabado. En otro caso ser ( (c)) > (c). Pero en este caso
obtenemos que g(c) > 0 y g( (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 < (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. Dena-
mos
A B ={a b : aA. bB]: AB ={ab : aA. bB]
Prueba que sup(A B) =sup Anf B y, supuesto que A R
C
y B R
C
, prueba
que sup(AB) =sup A sup B.
Solucin. Sea =sup(A). =nf(B). ; =sup(AB). Cualesquiera sean aA. bB
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 aA. bB se tiene que a b 6;, es decir, a 6b ;. Esta ltima
desigualdad nos dice que, jado un elemento b B, el nmero b ; es un mayorante
de A, por lo que 6 b ;. Hemos obtenido as que para todo b B se verica que
; 6 b, es decir, ; es un minorante de B, y por tanto ; 6 , es decir,
6;.
Sea = sup(A). = sup(B). j = sup(AB). Cualesquiera sean a A, b 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
es un mayorante de AB y por tanto j 6 .
Probaremos ahora que 6 j. Cualesquiera sean a A, b B se tiene que ab 6 j,
esto es, a 6 j,b. Esta ltima desigualdad nos dice que, jado un elemento b B, el
nmero j,b es un mayorante de A, por lo que 6j,b. Hemos obtenido as que para
todo b B se verica que b 6 j,, es decir,j, es un mayorante de B, y por tanto
6j,, es decir, 6j.
Ejercicio resuelto 65 Sea A un conjunto no vaco de nmeros reales. Para cada x R
denamos la distancia de x a A por dist(x. A) =nf{[x a[ : aA]. Prueba que para
todos x. yR se verica que:
[ dist(x. A) dist(y. A)[ 6[x y[.
Deduce que la aplicacin x dist(x. A) es continua.
Solucin. Teniendo en cuenta que [a[ 6b equivale a que a 6b y a 6b, la desigualdad
que nos piden probar equivale a estas dos desigualdades:
dist(x. A) dist(y. A) 6[x y[ y dist(y. A) dist(x. A) 6[x y[ (4.12)
Pero es claro que basta con probar una sola de ellas pues entonces cambiando x por
y obtenemos la otra (porque [x y[ = [y x[). Probaremos la primera de las dos
desigualdades (4.12). Escribamos la desigualdad en la forma:
dist(x. A) 6[x y[ dist(y. A)
En todo lo que sigue x e y estn jos. Tenemos que para todo aA:
dist(x. A) 6[x a[ 6[x y[ [y a[.
Es decir
dist(x. A) [x y[ 6[y a[ para todo aA.
Deducimos que dist(x. A) [x y[ es un minorante del conjunto {[y a[ : a A],
y por tanto ser menor o igual que el mximo minorante de dicho conjunto, que es por
denicin dist(y. A). Hemos probado as que
dist(x. A) [x y[ 6dist(y. A).
Que es la desigualdad que queramos probar.
Es evidente, teniendo en cuenta la desigualdad que acabamos de probar, que la funcin
(x)=dist(x. A) es continua, pues dado c > 0, tomamos =c con lo que, evidentemente,
[(x) (y)[ 6 [x y[ < c siempre que [x y[ < . Observa que aqu un mismo
vale para todo punto.
Ejercicio resuelto 66 Sea : R R continua, mayorada y tal que para todos a. bR con
a < b, se verica que sup (|a. b) =sup (R). Prueba que es constante.
Solucin. Llamemos = sup (R). Es claro que (x) 6 para todo x R. Y, si
es constante deber darse la igualdad (x) = en todo punto x de R. Luego tenemos
que probar que, dado a R, es imposible que ocurra (a) < . Pero eso es claro, pues
si fuera (a) < , entonces tomando z | (a). , por el teorema de conservacin del
Prof. Javier Prez
signo aplicado a la funcin g(x) = z (x) en el punto a, deducimos que existe un
intervalo abierto |u. : que contiene al punto a y tal que para todo x |u. : es g(x) > 0,
es decir, (x) < z. Pero entonces sup (|u. :)6z < en contradiccin con la hiptesis
hecha.
Ejercicio resuelto 67 Sea : a. b| R creciente. Supongamos que a 6 (x) 6 b para
todo x en a. b|. Prueba que hay algn punto c a. b| tal que (c) =c.
Sugerencia. Considera el supremo del conjunto {x a. b| : x 6 (x)]. Fjate que no
suponemos que sea continua.
Solucin. Sea M = {x a. b| : x 6 (x)]. El conjunto M no es vaco (a M) y
est mayorado (b es un mayorante de M). Sea c =sup(M). Evidentemente c a. b|.
Probaremos que (c) =c. Probaremos para ello que no puede ser (c) =c.
a) Si fuera c < (c), entonces, como c es un mayorante de M, tendramos que
(c) , M, es decir, (c) > ( (c)). Y tambin, por ser creciente, tendramos
que (c) 6 ( (c)), resultando as una contradiccin.
b) Si fuera (c) < c, entonces hay algn z M tal que (c) < z. Y como z 6 (z)
deducimos que (c) < (z) lo cual, por ser creciente, implica que c < z lo que es
contradictorio.
Ejercicio resuelto 68 Justica que, dado x R, la ecuacin log t t
5
=x tiene una nica
solucin, que representamos por (x). Justica que la funcin x (x), (x R), as
denida es continua.
Solucin. La funcin : R
C
R dada por (t )=log t t
5
es continua. Como R
C
es
un intervalo, el conjunto imagen (R
C
) tambin es un intervalo. Claramente (R
C
) es
un intervalo no minorado ni mayorado, luego (R
C
)=R. La funcin es estrictamente
creciente, por tanto es inyectiva. Deducimos que dado x R hay un nico t R
C
tal
que (t ) = x. Sea : R R la funcin inversa de . La funcin es estrictamente
creciente y su imagen es un intervalo (R
C
), luego es continua en virtud del teorema
(4.23).
Ejercicio resuelto 69 Sea : 0. 1| R continua vericando que [ (s) (t )[ > [s t [
para todos s. t 0. 1|, y ({0. 1]) = {0. 1]. Prueba que o bien es (x) = x para todo
x0. 1|, o bien es (x) =1 x para todo x0. 1|.
Solucin. La clave de este ejercicio consiste en darse cuenta de que la condicin del
enunciado [ (s) (t )[ >[s t [ implica que es inyectiva en 0. 1|. Como se supone
continua, el teorema (4.26) nos dice que es estrictamente montona.
La condicin ({0. 1]) = {0. 1] nos dice que o bien es (0) = 0 y (1) = 1 o bien es
(0) =1 y (1) =0. En el primer caso ser estrictamente creciente y en el segundo
estrictamente decreciente.
Supongamos que (0) =0 y (1) =1. Probaremos que (x) =x para todo x 0. 1|.
Como es estrictamente creciente, ser 06 (x)61 para todo x0. 1|. Haciendo t =0
y s =x en la desigualdad [ (s) (t )[ > [s t [, obtenemos que (x) > x. Haciendo
t = 1 y s = x obtenemos que 1 (x) > 1 x, es decir, (x) 6 x. Concluimos que
(x) =x.
El caso en que (0) =1 y (1) =0 se hace de forma parecida.
Prof. Javier Prez
Continuidad en intervalos cerrados y acotados 128
Ejercicio resuelto 70 Sean
A={xQ: x 60 o x
2
< 2]. B ={xQ: x > 0 y x
2
>2].
Prueba que A=, B =, Q=AL B y a < b para todos aA. bB. Adems:
a) Para cada r A hay algn s A tal que r < s.
b) Para cada uB hay algn t B tal que t < u.
c) No hay ningn z 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 A. Si r < 1 basta tomar s =1. Supongamos, pues, que 1 6r. Un
nmero racional que sea mayor que r ser de la forma r c donde c es un nmero
racional positivo. Para que dicho nmero est en A deber vericarse que (r c)
2
< 2.
Si, adems c < 1, entonces c
2
< c, por lo que (r c)
2
< r
2
2rc c. Es por tanto
suciente que r
2
2rcc62 para lo cual basta tomar c =
2 r
2
2r 1
. Es claro que dicho
nmero c es racional. Adems, como 1 6 r y r
2
< 2, es 0 < c < 1 y por tanto el
nmero s =r
2 r
2
2r 1
verica que r < s y s A.
b) Este apartado se hace de manera anloga al anterior. Dado u B hay que tratar de
determinar un nmero racional positivo, c tal que 0 < uc y (uc)
2
>2. Esta ltima
condicin es lo mismo que:
u
2
2 >2uc c
2
(1)
Como queremos que 0 < c < u, debemos tener 2uc c
2
> c
2
> 0. Sabemos que
no hay ningn nmero racional cuyo cuadrado sea igual a 2, en consecuencia si u B
entonces u
2
> 2. Puesto que 2uc > 2uc c
2
, para que se verique (1) es suciente
que u
2
2 >2uc, para lo cual basta tomar c =
u
2
2
2u
se tiene con ello que el nmero
t =u
u
2
2
2u
est en B y t < u.
c) Sea z Q. Como A L B = Q, deber ser z A o z B. Si z A, sabemos, por
a), que hay elementos s A con z < s. Si z B, sabemos, por b), que hay elementos
t B con t < z. Concluimos as que no hay ningn z Q vericando 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, (I), de un intervalo I por una funcin continua es un intervalo.
Tambin sabemos, porque hemos visto ejemplos (50), que, en general, el intervalo (I) no es
del mismo tipo que I. Aqu tiene algunos ejemplos ms.
1. (x) =x
2
; (1. 1) = (| 1. 1|) =0. 1|;
Prof. Javier Prez
2. (x) =1,x; (|0. 1|) =1. o; (1. o)=|0. 1|.
3. (x) =sen x; (| . =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 : a. b| R
es continua, como ya sabemos que (a. b|) es un intervalo, para probar que (a. b|) es un
intervalo cerrado y acotado basta probar que el intervalo (a. b|) tiene mximo y mnimo, es
decir, que hay nmeros u. : a. b| tales que para todo x a. b| es (u) 6 (x) 6 (:), pues
entonces ser (a. b|) = (u). (:)|.
En la siguiente denicin introducimos la terminologa que se usa.
4.27 Denicin. Sea : B R. Se dice que est mayorada (resp. minorada) en B, si el
conjunto (B) est mayorado (resp. minorado). Se dice que est acotada en B si el conjunto
(B) est acotado. Se dice que alcanza en B un mximo (resp. un mnimo) absoluto si el
conjunto (B) tiene mximo (resp. mnimo), es decir, existe algn punto : B (resp. u B)
tal que (x) 6 (:) (resp. (u) 6 (x)) para todo xB.
El siguiente resultado que vamos a ver es uno de los ms importantes del Anlisis Matem-
tico. 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 grca de una funcin como el perl de una cadena de
montaas con sus cumbres y valles alternndose. Supongamos que iluminamos la grca desde
la izquierda con un haz de luz de rayos paralelos al eje de abscisas tal como se indica en la gura
(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 gura he representado en trazo ms
grueso los puntos de luz. La condicin que debe cumplir un punto (x. (x)) para ser un punto
de luz es que a la izquierda de x la funcin tome valores ms pequeos que (x), es decir,
(x. (x)) es un punto de luz si para todo t a. x| es (t ) 6 (x). Cuando esta condicin se
verica diremos tambin que x es un punto de luz para . Observa que el mximo de la funcin
se alcanza en un punto c que, por supuesto, es un punto de luz para pero que es el ltimo
punto de luz para , porque a la derecha de c la funcin no puede tomar valores mayores que
(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 : a. b| R una funcin continua en a. b|. Queremos probar que hay
algn punto c a. b| en el que alcanza un mximo absoluto. Segn hemos visto en el ejemplo
anterior, el punto c debe ser el ltimo punto de luz para . Esto lleva a considerar el conjunto
de todos los puntos x a. b| que son puntos de luz para .
E =
x a. b| : (t ) 6 (x) para todo t a. x|

_
(4.13)
Prof. Javier Prez
a
b
c
(x, ( (x))
z
v
Figura 4.3. Visualizacin de la demostracin del teorema de Weierstrass
En la gura (4.3) he representado el conjunto E con trazo grueso sobre el eje de abscisas.
Observa que, en la gura, 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 E. Adems, por su misma denicin, 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 =sup(E). La intuicin nos dice que
el punto c as denido cumple lo que queremos, pero hay que probarlo. En primer lugar, como
aE y b es un mayorante de E, tenemos que a 6c 6b, esto es, c a. b|.
Empezaremos probando que c E. Si c =a nada hay que probar porque aE. Supondre-
mos que a < c 6 b. Sea ua. b| tal que u < c. Probaremos que no puede ser (c) < (u).
Si as fuera, llamando g(x) = (u) (x); pon la continuidad de y el teorema de conser-
vacin del signo, tiene que haber un nmero > 0 tal que u < c y para todo z |c . c|
se cumpla que g(z) > 0, es decir (z) < (u). Por ser c el mnimo mayorante de E, tiene
que haber algn z
0
|c . c| E. Tenemos entonces que (z
0
) < (u) y, como z
0
E y
a6u < z
0
, deber ser (u)6 (z
0
), lo que nos lleva a que (z
0
) < (u)6 (z
0
) y, por tanto,
(z
0
) < (z
0
), lo cual es claramente contradictorio. Concluimos que (u) 6 (c). Como esto
es cierto para todo ua. b| tal que u 6c, resulta que c E.
Probaremos ahora que (x) 6 (c) para todo xa. b|. Como c E, para todo x a. c|
es (x) 6 (c). Por tanto, en el caso de que fuera c =b nada nuevo habra que probar. Consi-
deremos que a 6c < b, en cuyo caso debemos probar que si c < : 6b entonces (:) 6 (c).
Observa que cada punto : |c. b| es un punto de sombra de y, por eso, tiene que haber
puntos anteriores a l en los que tome un valor mayor que (:), entre estos puntos tiene
que haber puntos de luz. La idea ahora va a ser asociar a cada punto : |c. b| un punto de luz
z
E, tal que (:) 6 (z
). Esta es la parte ms tcnica de la demostracin. En la gura

(4.3) he representado un punto : y su correspondiente z
.
En lo que sigue consideramos un punto : |c. b| jo. Notemos que como c < : 6 b,
entonces : , E por lo que tiene que haber algn z a. : tal que (:) < (z). Se trata de
Prof. Javier Prez
cazar al menor de tales z. Consideramos para ello el conjunto
A
z a. b| : (:) 6 (z)
_
Denamos z
=nf(A
). Por la observacin antes hecha, tenemos que a 6z
< :. Queremos
probar que z
, es decir que (:) 6 (z
). Para ello razonamos como antes para probar

que la desigualdad (z
) < (:) lleva a contradiccin. En efecto, si fuera (z
) < (:),
llamando h(x) = (:) (x); por la continuidad de y el teorema de conservacin del signo,
tiene que haber un nmero > 0 tal que z
6 b, y para todo z z
. z
se cumpla
que h(z) > 0, es decir (z) < (:). Por ser z
el mximo minorante de A
, tiene que haber

algn z
0
z
. z
. Tenemos entonces que (z

0
) < (:) y, como z
0
A
deber ser
(:) 6 (z
0
), lo que nos lleva a que (z
0
) < (:) 6 (z
0
) y, por tanto, (z
0
) < (z
0
), lo
cual es claramente contradictorio. Concluimos que (:) 6 (z
).
Deducimos ahora fcilmente que z
E. En efecto, si t a. z
entonces t , A
, es decir,
(t ) < (:) y como (:) 6 (z
), resulta que (t ) < (z
). En consecuencia, z
E y,
por tanto z
6c. Finalmente, como c E, concluimos que (:) 6 (z
) 6 (c).
La consideracin de la funcin prueba que tambin alcanza un mnimo absoluto en
a. b|. Queda as demostrado el teorema.
Siempre que leas la demostracin de un teorema debes jarte 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 ecaces 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 coeciente lder de una fun-
cin polinmica al coeciente de la mayor potencia de la variable. Seguramente sabes que una
parbola cuyo coeciente lder es positivo (lo que suele llamarse una parbola con los cuernos
para arriba) tiene un mnimo absoluto en R, y si el coeciente lder es negativo (lo que suele
llamarse una parbola con los cuernos para abajo) tiene un mximo absoluto en R. Este com-
portamiento 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 coeciente lder es positivo
alcanza un mnimo absoluto en R y si el coeciente lder es negativo alcanza un mximo
absoluto en R.
Prof. Javier Prez
Demostracin. Sea
P(x) =c
0
c
1
x c
2
x
2
c
n1
x
n1
c
n
x
n
una funcin polinmica de grado par n > 2. Podemos suponer que c
n
> 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 [x[ >K es:
P(x)
x
n
>
c
n
2
> 0 (4.14)
Pongamos en lo que sigue =
c
n
2
. Como n es par, se tiene que x
n
> 0 para todo x=0. Adems,
como K >1, para [x[ >K es [x[
n
>[x[ por tanto:
P(x) >x
n
=[x[
n
>[x[ ([x[ >K)
Haciendo ahora M =m ax {K. [P(0)[,], tenemos que para [x[ >M es
P(x) >[x[ >M
La razn de elegir M en la forma que lo hemos hecho, es porque ahora podemos asegurar que
M > [P(0)[. En el intervalo M. M| la funcin P(x) alcanza, en virtud del teorema de
Weierstrass, un mnimo absoluto en algn punto c M. M|. Si ahora x es un nmero real
podemos considerar dos posibilidades:
v xM. M| en cuyo caso ser P(x) >P(c).
v x , M. M|, esto es [x[ > M, en cuyo caso P(x) >M >[P(0)[ >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.
153. Sea : a. b| R continua. Supongamos que para cada x a. b| hay algn y a. b|
tal que [ (y)[ 6
2
10
[ (x)[. Prueba que se anula en algn punto de a. b|.
154. Sea : a. b| R continua. Prueba que la funcin g : a. b| R dada para todo x
a. b| por g(x) =m ax (a. x|), es continua.
155. Sea : a. b| R continua, pongamos M = m ax (a. b|), m = mn (a. b|) y su-
pongamos que (a) = (b) y que m < (a) < M. Prueba que toma todo valor de
(a). ML|m. (a)| en al menos dos puntos de a. b|.
Prof. Javier Prez
Ejercicio resuelto 71 Sea : a. b| R continua. Prueba que la funcin g : a. b| R
dada para todo x a. b| por g(x) =m ax (a. x|), es continua.
Solucin. La funcin g es claramente creciente en a. b|. Para probar que es conti-
nua es suciente, por el teorema (4.23), probar que su imagen es un intervalo. Sea
M =m ax (a. b|). Probaremos que ga. b| = (a). M|. Para ello sea u | (a). M y
sea t
u
= sup {x a. b| : (s) 6u para todo s a. x|]. Entonces (t
u
) = u y tambin
g(t
u
) =u. Los detalles que faltan debes completarlos t.
4.5. Lmite funcional
Sean I un intervalo, a un punto de I, y una funcin denida en I \{a]. Naturalmente,
como no est denida en a no tiene sentido hablar de la continuidad de en a. Sin embargo,
podemos preguntarnos es posible encontrar un nmero L R tal que deniendo (a) = L,
la nueva funcin as obtenida sea continua en a? Para ello el nmero L tendra que cumplir la
siguiente propiedad:
VcR
C
J R
C
:
0 < [x a[ <
xI
_
=[ (x) L[ < c (4.15)
La condicin 0 < [x a[ se pone para excluir la posibilidad de hacer x=a en la desigualdad
[x a[ < , lo cual es obligado porque la funcin no est denida en a.
Podemos modicar un poco la situacin anterior, suponiendo ahora que est denida
en todo el intervalo I pero no es continua en a . En este caso queremos cambiar el valor de
en a , es decir, encontrar, si es posible, un nmero LR tal que deniendo el valor de
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 < [x a[ es obligada porque aunque nuestra funcin
est denida en a, el valor que toma en a no es el apropiado. Observa que el valor que
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 est o no denida en a, y, en caso de estarlo, del posible valor que
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 ser
una funcin que supondremos denida en I \{a] sin excluir la posibilidad de que dicha funcin
pueda estar denida 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 Denicin. Se dice que tiene lmite en el punto a si existe un nmero LR tal que
se verica lo siguiente:
VcR
C
J R
C
:
0 < [x a[ <
xI
_
=[ (x) L[ < c (4.16)
Dicho nmero se llama lmite de en a y escribimos lm
x!a
(x) =L.
Observa que la existencia del lmite es independiente de que est o no denida en a
y, en caso de estarlo, del valor que pueda tener en a. Tambin debe advertirse que en la
denicin de la igualdad lm
x!a
(x) =L, slo intervienen desigualdades.
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 denicin dada de lmite y de la denicin de continuidad (4.1), es el siguiente resultado.
4.33 Proposicin. Sea : I R una funcin denida en un intervalo y sea aI. Equivalen
las armaciones siguientes:
i) es continua en a.
ii) lm
x!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 denir.
4.34 Denicin. v Supongamos que el conjunto {xI : a < x] no es vaco. En tal caso,
se dice que tiene lmite por la derecha en a, si existe un nmero R tal que se
verica lo siguiente:
VcR
C
J R
C
:
a < x < a
xI
_
=[ (x) [ < c (4.17)
Dicho nmero se llama lmite por la derecha de en a y, simblicamente, escribimos
lm
x!a
x>a
(x) = .
v Supongamos que el conjunto {x I : x < a] no es vaco. En tal caso, se dice que
tiene lmite por la izquierda en a, si existe un nmero R tal que se verica lo
siguiente:
Vc R
C
J R
C
:
a < x < a
xI
_
=[ (x) [ < c (4.18)
Dicho nmero se llama lmite por la izquierda de en a y, simblicamente, escribimos
lm
x!a
x~a
(x) = .
Prof. Javier Prez
Lmites innitos 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 denicin (4.32). Para convencerte
de ello, basta que consideres la restriccin de la funcin a la derecha del punto a, esto es,
la restriccin de al intervalo {xI : x > a], en cuyo caso el lmite por la derecha de en
a no es otra cosa que el lmite en el punto a (en el sentido de la denicin (4.32)) de dicha
restriccin. Igual pasa con el lmite por la izquierda.
En particular, es claro que:
v Si a =sup I , entonces lm
x!a
(x) = lm
x!a
x~a
(x).
v Si a =nf I , entonces lm
x!a
(x) = lm
x!a
x>a
(x).
Por ello, cualquier resultado referente a lmites de funciones en un punto puede ser convenien-
temente 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 deniciones dadas.
4.35 Proposicin. Si a no es un extremo de I, entonces tiene lmite en a si, y slo si, los
dos lmites laterales de en a existen y son iguales, en cuyo su valor comn coincide con el
valor del lmite de en a.
lm
x!a
(x) =L lm
x!a
x~a
(x) = lm
x!a
x>a
(x) =L (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
lm
x!a
C
(x). lm
x!a
(x)
El problema es que hay estudiantes que leen los smbolos y no leen lo que signican, y terminan
interpretando que a
C
y a
son nmeros. Claro est que no son nmeros, son smbolos que
signican que en los lmites lm
x!a
C
(x) y lm
x!a
(x) se consideran solamente los valores

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 signicado de los smbolos. Lo repito una vez ms: no se deben leer los smbolos sino su
signicado.
4.5.2. Lmites innitos
4.5.2.1. Funciones divergentes en un punto
4.36 Denicin. Se dice que es positivamente divergente en a si se verica lo siguiente:
VMR
C
J R
C
:
0 < [x a[ <
xI
_
= (x) > M (4.20)
Prof. Javier Prez
Lmites innitos 136
Simblicamente, escribimos lm
x!a
(x) =.
Se dice que es positivamente divergente por la izquierda en a si se verica lo si-
guiente:
VM R
C
J R
C
:
a < x < a
xI
_
= (x) > M (4.21)
x!a
x~a
(x) =.
Se dice que es positivamente divergente por la derecha en a si se verica lo siguiente:
VM R
C
J R
C
:
a < x < a
xI
_
= (x) > M (4.22)
x!a
x>a
(x) =.
De forma anloga se denen los conceptos:
v es negativamente divergente en a. Simblicamente lm
x!a
(x) =.
v es negativamente divergente por la izquierda o por la derecha en a. Simblica-
mente lm
x!a
x~a
(x) = lm
x!a
x>a
(x) =
Grcamente, el hecho de que una funcin sea divergente en un punto a, se traduce en que
la recta de ecuacin x =a es una asntota vertical de su grca.
4.5.2.2. Lmites en innito
4.37 Denicin. Sea : I R una funcin denida en un intervalo no mayorado I. Se dice
que tiene lmite en si existe un nmero LR tal que se verica lo siguiente:
Vc R
C
J KR
C
:
x > K
xI
_
=[ (x) L[ < c (4.23)
Dicho nmero se llama lmite de en y escribimos lm
x!C1
(x) =L.
Anlogamente se dene el lmite en .
Grcamente, el hecho de que una funcin tenga lmite igual a L en o o en o, se
traduce en que la recta de ecuacin y =L es una asntota horizontal de su grca.
4.5.2.3. Funciones divergentes en innito
4.38 Denicin. Sea : I R una funcin denida en un intervalo no mayorado I. Se dice
que es positivamente divergente en si se verica lo siguiente:
VM R
C
J KR
C
:
x > K
xI
_
= (x) > M (4.24)
Prof. Javier Prez
lgebra de lmites 137
En cuyo caso escribimos lm
x!C1
(x) =.
Llegados aqu, no debes tener dicultad en precisar el signicado de:
lm
x!C1
(x) =. lm
x!1
(x) =. lm
x!1
(x) =.
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
lm
x!a
(x), podemos restringir la funcin a un intervalo abierto que contenga al punto a. Eso
es lo que se arma en el siguiente resultado que es de comprobacin inmediata.
4.39 Proposicin. Sea J un intervalo abierto que contiene al punto a. Entonces se verica
que lm
x!a
(x) =L si, y slo si, lm
x!a
jJ
(x) =L.
El siguiente resultado pone de maniesto la compatibilidad de la operacin de paso al
lmite con la estructura algebraica y de orden de R.
4.40 Teorema. Supongamos que y g tienen lmite en a donde aceptamos que a puede ser
un nmero real, o o, o o. Se verica entonces que:
i) Las funciones g y g tienen lmite en a y
lm
x!a
( g)(x) = lm
x!a
(x) lm
x!a
g(x). lm
x!a
(g)(x) = lm
x!a
(x) lm
x!a
g(x)
ii) Si lm
x!a
(x) =0, entonces lm
x!a
1
(x)
=
1
lm
x!a
(x)
.
iii) Si (x) 6g(x) para todo xI, x =a, entonces lm
x!a
(x) 6 lm
x!a
g(x).
iv) Supongamos que (x)6h(x)6g(x) para todo xI, x=a y lm
x!a
(x)=lm
x!a
g(x)=L.
Entonces se verica que h tiene lmite en a y lm
x!a
h(x) =L.
En el siguiente resultado se establecen condiciones que garantizan la divergencia de una
suma o de un producto.
4.41 Teorema. Supongamos que es positivamente divergente en a, lm
x!a
(x) = ,
donde aceptamos que a puede ser un nmero real, o , o .
i) Supongamos que hay un nmero M R tal que g(x) > M para todo x I, x = a .
Entonces lm
x!a
( g)(x) =.
ii) Supongamos que hay un nmero M > 0 tal que g(x) > M para todo x I, x = a .
Entonces lm
x!a
(g)(x) =.
Prof. Javier Prez
lgebra de lmites 138
Observa que la condicin en i) se cumple si tiene lmite en a o diverge positivamente en
a; y la condicin ii) se cumple si 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 lm
x!a
(x) = 0, y que hay un nmero M > 0 tal que
[g(x)[ 6M para todo xI, x =a . Entonces lm
x!a
(g)(x) =0.
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 tiene lmite en el punto a y sea L = lm
x!a
(x). Sea g una
funcin continua en L. Entonces se verica que la funcin compuesta g tiene lmite en a
igual a g(L), esto es, lm
x!a
(g )(x) =g(L). Simblicamente:
lm
x!a
(g )(x) =g( lm
x!a
(x)) (4.25)
Demostracin. Apoyndonos en la proposicin (4.33), podemos demostrar este resultado re-
ducindolo a un resultado ya conocido de funciones continuas. Para ello basta con denir
(a) = L con lo que, usando (4.33), resulta que (seguimos llamando a la funcin as
modicada) es continua en a. Ahora aplicamos el teorema (4.6) de continuidad de una compo-
sicin de funciones para obtener que g es continua en a y de nuevo volvemos a usar (4.33),
para obtener que
lm
x!a
(g )(x) =(g )(a) =g( (a)) =g(L) =g
_
lm
x!a
(x)
_
4.44 Denicin. Se dice que dos funciones y g son asintticamente equivalentes en un

punto aRL {o. o], y escribimos (x) ~ g(x)(x a), cuando lm
x!a
(x)
g(x)
=1.
El siguiente resultado, consecuencia inmediata de la denicin 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 y g funciones asintticamente equivalentes en un punto a R o
bien a =oo a =o, y h : I \ {a] R una funcin cualquiera. Se verica que:
a) lm
x!a
(x)h(x) =L lm
x!a
g(x)h(x) =L.
b) lm
x!a
(x)h(x) =o lm
x!a
g(x)h(x) =o.
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 denicin.
4.46 Denicin (Clasicacin de las discontinuidades). Sea : I R una funcin deni-
da en un intervalo y sea aI.
v Si tiene lmite en a y lm
x!a
(x) = (a), se dice que tiene en el punto a una
discontinuidad evitable.
v Si los dos lmites laterales de en a existen y son distintos:
lm
x!a
x~a
(x) = lm
x!a
x>a
(x)
se dice que tiene en el punto a una discontinuidad de salto.
v Si alguno de los lmites laterales no existe se dice que tiene en el punto a una dis-
continuidad esencial.
4.47 Denicin (Continuidad por un lado). Se dice que una funcin : I R es continua
por la izquierda en un punto aI si lm
x!a
x ~a
(x)= (a); y se dice que es continua por la derecha
en un punto aI si lm
x!a
x >a
(x) = (a).
Puedes comprobar fcilmente lo que arma el siguiente resultado sin ms que hacer la
grca 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 una funcin creciente denida en
un intervalo I.
i) Para todo punto aI que no sea un extremo de I se verica que:
lm
x!a
x~a
(x) =sup{ (x) : xI. x < a]. lm
x!a
x>a
(x) =nf{ (x) : xI. x > a]
ii) Si aRL {] es el extremo izquierdo de I, entonces:
a) Si est minorada en I es lm
x!a
(x) =nf{ (x) : xI \ {a]].
b) Si no est minorada en I es lm
x!a
(x) =.
iii) Si aRL {] es el extremo derecho de I, entonces:
a) Si est mayorada en I es lm
x!a
(x) =sup{ (x) : xI \ {a]].
b) Si no est mayorada en I es lm
x!a
(x) =.
Prof. Javier Prez
Comportamientos asintticos de las funciones elementales 140
Demostracin. Supongamos que aI no es el extremo izquierdo de I, es decir que el conjunto
{xI : x < a] no es vaco. Entonces, el conjunto B={ (x):xI. x<a] tampoco es vaco y,
por ser creciente, el nmero (a) es un mayorante de B. Sea =sup{ (x) : xI. x < a].
Dado c > 0, el nmero c no puede ser mayorante de B, es decir, tiene que haber algn
punto x
0
I, x
0
< a tal que c < (x
0
). Sea =ax
0
> 0. Entonces para a < x < a,
esto es, para x
0
< x < a, se verica que c < (x
0
) 6 (x) 6 , lo que claramente
implica que c < (x) < c, es decir, [ (x) [ < c. Hemos probado as que
lm
x!a
x~a
(x) =sup{ (x) : xI. 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.
Como consecuencia inmediata de este resultado obtenemos el siguiente teorema.
4.49 Teorema (Discontinuidades de las funciones montonas). Sea una funcin montona
en un intervalo. Entonces:
i) En los puntos del intervalo que no son extremos del mismo, solamente puede tener
discontinuidades de salto.
ii) Si el intervalo tiene mximo o mnimo, 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 con-
secuencia de la continuidad y crecimiento de las funciones exponencial y logaritmo naturales.
4.50 Proposicin. Sea a un nmero real o a =o a =. En los apartados b1), b2) y
b3) se supone que (x) > 0.
a1) lm
x!a
(x) =L lm
x!a
e
((x)
=e
L
.
a2) lm
x!a
(x) = lm
x!a
e
( (x)
=.
a3) lm
x!a
(x) = lm
x!a
e
((x)
=0.
b1) lm
x!a
(x) =L > 0 lm
x!a
log (x) =log L.
b2) lm
x!a
(x) = lm
x!a
log (x) =.
b3) lm
x!a
(x) =0 lm
x!a
log (x) =.
El siguiente resultado, cuya justicacin se ver ms adelante, es de gran importancia. En
l se comparan los rdenes de crecimiento de las funciones logaritmo, potencias y exponen-
ciales, resultando lo siguiente.
Prof. Javier Prez
Indeterminaciones en el clculo de lmites 141
v Para valores de x > 0 muy grandes, cualquier potencia del logaritmo (log x)
(por muy
grande que sea j > 0) es muy pequea comparada con x
para > 0 (por muy pequea

que sea > 0).
v Para valores de x > 0 muy grandes, cualquier potencia x
(por muy grande que sea

> 0) es muy pequea comparada con e
x
para j > 0 (por muy pequeo que sea
j > 0).
4.51 Proposicin. a) lm
x!C1
[log x[
=0 para todos > 0 y jR.

b) lm
x!0
[x[
log[x[
=0 para todos > 0 y jR.

c) lm
x!C1
x
e
x
=0 para todos > 0 y j > 0.
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 pre-
cisamente cuando las reglas que hemos visto anteriormente no pueden aplicarse. Se trata de
aquellos casos en que el comportamiento de las funciones g, g, no est determinado por
el de y g. Por ejemplo, si sabemos que lm
x!a
(x) = y que lm
x!a
g(x) = , qu
podemos decir en general del comportamiento en el punto a de la funcin g? Respuesta:
absolutamente nada. En consecuencia, para calcular un lmite del tipo lm
x!a
( g)(x) donde
lm
x!a
(x) = y lm
x!a
g(x) = se requiere un estudio particular en cada caso. Suele
decirse que estos lmites son una indeterminacin del tipo .
Anlogamente, si sabemos que lm
x!a
(x) = 0 y que la funcin g es divergente (positi-
vamente o negativamente) en el punto a, ello no proporciona ninguna informacin sobre el
comportamiento de la funcin g en dicho punto. Cuando esto ocurre se dice que el lmite
lm
x!a
(g)(x) es una indeterminacin del tipo 0 . Las indeterminaciones que aparecen
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 fun-
ciones de la forma (x)
g(x)
donde es una funcin que toma valores positivos y g es una
funcin cualquiera. Puesto que:
(x)
g(x)
=exp(g(x) log (x))
teniendo en cuenta los resultados anteriores, el lmite lm
x!a
(x)
g(x)
vendr determinado por
el lmite lm
x!a
g(x) log (x), el cual, a su vez, est determinado en todos los casos por el
comportamiento en el punto a de las funciones y g, excepto cuando dicho lmite es una
indeterminacin del tipo 0 , lo que ocurre en los siguientes casos:
Prof. Javier Prez
v lm
x!a
(x) =1, lm
x!a
[g(x)[ = (indeterminacin 1
1
)
v lm
x!a
(x) =, lm
x!a
g(x) =0 (indeterminacin
0
)
v lm
x!a
(x) =0, lm
x!a
g(x) =0 (indeterminacin 0
0
")
Ni que decir tiene que no hay tcnicas generales que permitan resolver las indeterminacio-
nes, 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 aRL {o. o]. Prueba que
lm
x!a
[ (x)[ =o lm
x!a
1
[ (x)[
=0 (4.26)
Particulariza este resultado para los casos en que solamente toma valores positivos o
negativos.
157. Sea LRL {o. o]. Prueba que
lm
x!0
x >0
(x) =L lm
x!C1
(1,x) =L (4.27)
lm
x!0
x ~0
(x) =L lm
x!1
(1,x) =L (4.28)
158. Sea :|0. 1R la funcin dada para x |0. 1 por:
(x) =
2
x
1
x(x 1)
.
Prueba que lm
x!0
(x) = o y que lm
x!1
(x) = o. Deduce que la imagen de es
todo R.
159. Calcula la imagen de la funcin :| 1. 1R, denida por
(x) =x (1 x
2
)
1{2
. Vx | 1. 1.
160. Sea : R R la funcin denida por (x) =e
1
x
2
. Vx R
. (0) =0. Justica que

es continua en R, estrictamente decreciente en R
y estrictamente creciente en R
C
.
Calcula la imagen de .
Prof. Javier Prez
161. Sean . g : R R las funciones denidas por
(x) =
_
1
1Ce
1=x
. si x =0
0 . si x =0
g(x) =
_
_
_
e
x
x
. si x < 0
x . si 0 6x < 1
5
_
x . si x >1
Estudia la continuidad de y g en todo punto de R y la existencia de lmites de y g
en oy en o.
162. Sea : R R la funcin denida por (0) =0 y (x) =sen(x) sen(1,x), para todo
x =0. Estudia la continuidad de y la existencia de lmites en oy en o.
163. Sea : 0. 1R una funcin continua. Denamos g(x) = (x E(x)) para todo
xR. Prueba que la funcin g, as denida, es continua si, y slo si, lm
x!1
(x) = (0).
Supuesto que esta condicin se cumple, y que no es constante, denamos h : R R
por h(x) =g(1,x) si x =0, y h(0) = (0). Justica 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 R y : R
C
o
R la funcin denida por (0) =0 y:
(x) =x
sen
1
x
. (x > 0).
Estudia la continuidad de segn los valores de .
165. Supongamos que a < 0 < b. Estudia el comportamiento en cero de las funciones
. g : R
R dadas para todo x =0 por :

(x) =arc tg
b
x
arc tg
a
x
. g(x) =x (x).
166. Determina la imagen de la funcin : R
R dada para todo x = 0 por (x) =

arc tg(log [x[).
167. Sea : R\ {1] R la funcin dada para todo x =1 por
(x) =arc tg
1 x
1 x
.
Estudia la continuidad de y su comportamiento en el punto 1, en o y en o.
Calcula la imagen de .
168. La ecuacin ax
2
2x 1 = 0 donde a > 1, a = 0 tiene dos soluciones que repre-
sentaremos por z(a) y por j(a). Calcula los lmites de dichas funciones en a =0 y en
a =1.
169. Estudia los lmites en y en de:
a) Una funcin polinmica.
b) Una funcin racional.
Prof. Javier Prez
170. Sea : R R una funcin continua no nula tal que lm
x!1
(x)=0 y lm
x!C1
(x)=0.
Prueba que si toma algn valor positivo entonces alcanza un mximo absoluto en
R.
Ejercicio resuelto 72 Sea aRL {o. o]. Prueba que
lm
x!a
[ (x)[ =0 lm
x!a
1
[ (x)[
=o
Particulariza este resultado para los casos en que solamente toma valores positivos o
negativos.
Solucin. Basta advertir que
[ (x)[ < c
1
[ (x)[
>
1
c
y notar que c es positivo y muy pequeo equivale a que 1,c sea positivo y muy grande.
En particular, tenemos que
(x) > 0 . lm
x!a
(x) =0 lm
x!a
1
(x)
=o (4.29)
(x) < 0 . lm
x!a
(x) =0 lm
x!a
1
(x)
=o (4.30)
Ejercicio resuelto 73 Sea LR L {o. o]. Prueba que

lm
x!0
x >0
(x) =L lm
x!C1
(1,x) =L
lm
x!0
x ~0
(x) =L lm
x!1
(1,x) =L
Solucin. Basta advertir que
0 < x <
1
x
>
1
. < x < 0
1
x
<
1
y notar que es positivo y muy pequeo equivale a que 1, sea positivo y muy grande.
Ejercicio resuelto 74 Sea :|0. 1R la funcin dada para x |0. 1 por:
(x) =
2
x
1
x(x 1)
.
Prof. Javier Prez
Prueba que lm
x!0
(x) = o y que lm
x!1
(x) = o. Deduce que la imagen de es
todo R.
Solucin. Solamente debemos considerar valores de x en el intervalo |0. 1 que es donde
est denida . Teniendo en cuenta que por (4.29), y (4.30) es:
lm
x!0
x >0
2
x
=o. lm
x!0
x >0
1
x(x 1)
=o. lm
x!1
x ~1
1
x(x 1)
=o
Deducimos que lm
x!1
(x)=oy que en x =0 el lmite pedido es una indeterminacin
del tipo oo. Pero eso se debe solamente a la forma en que est escrita . Basta hacer
la suma indicada:
(x) =
2
x
1
x(x 1)
=
2x 1
x(x 1)
para darse cuenta, por (4.29) pues (x) > 0 para 0 < x < 1,2, que lm
x!0
(x) =o.
Finalmente, como es continua en |0. 1, el teorema de Bolzano nos dice que la ima-
gen de , el conjunto (|0. 1), es un intervalo. Como diverge positivamente en 0 y
diverge negativamente en 1, deducimos que no est mayorada ni minorada en |0. 1,
concluimos que (|0. 1) es un intervalo no mayorado ni minorado, esto es, (|0. 1)=R.
Comentario. Observa que los lmites que hemos calculado de son realmente lmites
laterales pues nos dicen que est denida en |0. 1. La cosa cambia mucho si consi-
deramos que est denida en su dominio natural que es el conjunto A = R \ {0. 1],
que es una unin de tres intervalos. En ese caso no tiene, por supuesto, lmite en 0; ni
tampoco diverge positivamente ni negativamente en 0 pues el lmite de por la izquierda
en 0 es o. Anlogamente, el lmite de por la derecha en 1 es o.
Ejercicio resuelto 75 Sea : 0. 1R continua. Denamos g(x)= (xE(x)) para to-
do xR. Prueba que la funcin g, as denida, es continua si, y slo si, lm
x!1
(x)=(0).
Supuesto que esta condicin se cumple, y que no es constante, denamos h : R R
por h(x) =g(1,x) si x =0, y h(0) = (0). Justica 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 1) = (x 1 E(x 1)) = (x E(x)) =g(x).
Tambin es claro que g(x) = (x) para todo x 0. 1. Por la propiedad local de la
continuidad, como 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 \ Z. Para estudiar la continuidad de
g en los enteros, es suciente estudiarla en 0. Por la continuidad de en 0, tenemos que
lm
x!0
x >0
g(x) = lm
x!0
x >0
(x) = (0). Ahora, por la periodicidad de g:
lm
x!0
x ~0
g(x) = lm
x!0
x ~0
g(1 x) = lm
x!1
x ~1
g(x) = lm
x!1
x ~1
(x) = lm
x!1
(x).
Prof. Javier Prez
Deducimos que g es continua en 0 si, y slo si, lm
x!0
x ~0
g(x) = lm
x!1
(x) =g(0) = (0).
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 |0. 1, sea x 0. 1.
Podemos tomar un nmero nN tal que z =
1
n x
|0. r. Tenemos que:
h(z) = (n x E(n x)) = (x E(x)) =g(x).
Por tanto h(|0. r) g(0. 1) = 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) = g(0. 1|). Deducimos que h(R) = g(R) = g(0. 1|) es un conjunto acotado, es
decir, h es una funcin acotada. De lo anterior deducimos que h(|0. r) = g(0. 1|) para
todo r |0. 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 justica 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 R
C
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 |0. 1. En
cualquier caso, se sigue por lo antes visto que h(I) = g(0. 1|) y, por tanto, h(I) es un
intervalo.
Ejercicio resuelto 76 Sea R y : R
C
o
R la funcin denida por (0) =0 y:
(x) =x
sen
1
x
. (x > 0).
Estudia la continuidad de segn los valores de .
Solucin. Observa que la funcin solamente est denida para x > 0. La razn de esto
es que para x < 0 la potencia x
no siempre est denida.

Para hacer este ejercicio debes recordar que la funcin seno est acotada: [sen z[ 61 para
todo z R. Por tanto, cualquiera sea x =0 se tiene que [sen(1,x)[ 61.
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)=x
, denida para x>0, tiene lmite en 0 igual a 0. Concluimos

que lm
x!0
(x)=0 porque (x) =h(x) sen(1,x) es producto de una funcin acotada por
otra con lmite 0.Por tanto, es continua en 0.
Consideremos que = 0, en cuyo caso, (x) = 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
1
a
|0. y, en consecuencia (|0. )
sen(|a. o) 1. 1|. Se deduce enseguida que (x) =sen(1,x) no tiene lmite en 0,
es decir, tiene una discontinuidad esencial en 0.
Es imposible representar grcamente esta funcin porque su grca contiene innitas
ondas de amplitud cada vez ms pequea que se van aplastando sobre el eje de ordenadas.
Observa que la imagen por la funcin sen(1,x) del intervalo
_
1
2ntt{2
.
1
2ntCt{2
_
es el
Prof. Javier Prez
1 -1
Figura 4.4. La funcin (x) =sen(1,x)
intervalo 1. 1|. La grca siguiente puede ser til para que imagines cmo es la grca
de (x) =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 . g : R
R dadas para todo x =0 por :

(x) =arc tg
b
x
arc tg
a
x
. g(x) =x (x).
Solucin. En este ejercicio (y en los siguientes) debes tener en cuenta que:
lm
x!1
arc tg x =
2
. lm
x!C1
arc tg x =

2
.
2
< arc tg x <
2
Tenemos que:
lm
x!0
x ~0
a
x
=o. lm
x!0
x ~0
b
x
=o. lm
x!0
x >0
a
x
=o. lm
x!0
x >0
b
x
=o
Deducimos que:
lm
x!0
x ~0
(x) =

2
=. lm
x!0
x >0
(x) =

2

2
=
Observa que la funcin est acotada:
[ (x)[ 6
arc tg
b
x
arc tg
b
x

2
=
Por tanto g(x) es el producto de un funcin con lmite 0 por una funcin acotada. Se
sigue que lm
x!0
g(x) =0. Eso es todo lo que podemos decir del comportamiento de y
g en 0. No tiene sentido considerar su continuidad en 0 porque no estn denidas en 0.
Si se dene (0) = y g(0) =0, entonces tiene una discontinuidad de salto en 0 y es
continua por la derecha en 0, y g es continua en 0.
Prof. Javier Prez
Ejercicio resuelto 78 Estudia los lmites en y en de:
a) Una funcin polinmica.
b) Una funcin racional.
Solucin. a) Sea
P(x) =c
0
c
1
x c
2
x
2
c
n1
x
n1
c
n
x
n
una funcin polinmica de grado par n > 1. Podemos suponer que c
n
> 0. Usando la
desigualdad (4.8) del corolario (4.22), sabemos que hay un nmero K > 1 tal que para
[x[ >K es:
P(x)
x
n
>
c
n
2
> 0 (1)
Pongamos en lo que sigue =
c
n
2
.
Supongamos que n es par. Entonces x
n
= > 0 y, por tanto x
n
= [x[
n
para todo x = 0.
Deducimos de (1) que para todo x =0 es
P(x) >[x[
n
.
Como lm
x!1
[x[
n
= lm
x!C1
[x[
n
= o, deducimos, por la desigualdad anterior, que
lm
x!1
P(x) = lm
x!C1
P(x) =o.
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) 6x
n
(x < 0).
Como lm
x!1
x
n
=oy lm
x!C1
x
n
=o, deducimos, por las desigualdades anteriores,
que lm
x!1
P(x) =o, lm
x!C1
P(x) =o.
El caso en que c
n
< 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
P(x)
x
n
=c
n
c
n1
x
c
n2
x
2

c
1
x
n1

c
0
x
n
obtenida dividiendo el polinomio P(x) por x
n
, se sigue enseguida que
lm
x!1
P(x)
x
n
= lm
x!C1
P(x)
x
n
=c
n
De aqu se sigue que las funciones P(x) y c
n
x
n
son asintticamente equivalentes para
x o y para x o, de donde se deducen de forma inmediata los mismos
resultados antes obtenidos.
b) Supongamos ahora que Q(x) =b
m
x
m
b
m1
x
m1
b
1
x b
0
es otra funcin
polinmica de grado mcon b
m
> 0. Para estudiar los lmites en ode la funcin racio-
nal (x) =
P(x)
Q(x)
podemos sustituir P y Q por funciones asintticamente equivalentes
Prof. Javier Prez
a ellas en o. Por lo antes visto, tenemos que P(x) c
n
x
n
y Q(x) b
m
x
m
para
x o, por tanto:
(x) =
P(x)
Q(x)
c
n
x
n
b
m
x
m
=
c
n
b
m
x
nm
(x o)
Deducimos que:
lm
x!1
P(x)
Q(x)
=
_
_
o. n > m n m par
o. n > m n m impar
c
n
b
m
. n =m
0. m > n
lm
x!C1
P(x)
Q(x)
=
_
_
o. n > m
c
n
b
m
. n =m
0. m > n
Prof. Javier Prez

Calculo Cap04

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Calculo Cap04

Transféré par

Droits d'auteur :

Formats disponibles

Captulo 4

Funciones Continuas y lmite funcional

4.3. Teorema de Bolzano. Supremo e nmo

99e. Seguro? No, a

99e por la entrada.

< c y, por tanto, [ [ es continua en a.

4.29 Teorema (Teorema de Weierstrass). Toda funcin continua en un intervalo cerrado y

x a. b| : (t ) 6 (x) para todo t a. x|

E, tal que (:) 6 (z

). Esta es la parte ms tcnica de la demostracin. En la gura

). Por la observacin antes hecha, tenemos que a 6z

, es decir que (:) 6 (z

). Para ello razonamos como antes para probar

) < (:) lleva a contradiccin. En efecto, si fuera (z

, tiene que haber

. Tenemos entonces que (z

), resulta que (t ) < (z

6c. Finalmente, como c E, concluimos que (:) 6 (z

(x) se consideran solamente los valores

4.44 Denicin. Se dice que dos funciones y g son asintticamente equivalentes en un

para > 0 (por muy pequea

(por muy grande que sea

=0 para todos > 0 y jR.

=0 para todos > 0 y jR.

. (0) =0. Justica que

R dadas para todo x =0 por :

R dada para todo x = 0 por (x) =

Ejercicio resuelto 73 Sea LR L {o. o]. Prueba que

es consecuencia de la propiedad local de la continuidad y de

, se sigue que h es continua en I

no siempre est denida.

, denida para x>0, tiene lmite en 0 igual a 0. Concluimos

R dadas para todo x =0 por :

Vous aimerez peut-être aussi