Ejercicios de Anlisis Matemtico

Continuidad y lmite funcional

1. 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 denida 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 localizacin 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 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).
2. Prueba que si : A R es continua en a entonces tambin lo es [ [. Da un ejemplo de funcin
discontinua cuyo valor absoluto es continua.
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 [xa[ < y xA 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.
3. 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 aR tal que (a) =a
2
, Z. Es decir,
es continua en R\ B donde B={
_
n: nN] L{
_
n: nN] 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 06x
2
< 1 por lo que (x)=0 para todo x| 1. 1. Es decir, la funcin
j1;1
( restriccin
de al intervalo | 1. 1) es la funcin constante igual a 0 y por tanto
j1;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.
Dpto. de Anlisis Matemtico Universidad de Granada
Ejercicios de Anlisis Matemtico 2
Consideremos ahora un punto de la forma
_
q donde q N (jo en lo que sigue). Para todo
x |
p
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 |
p
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.
4. 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,(n 1). 1,n donde n N 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,(n1). 1,n.
Anlogamente se razona con un intervalo del tipo |1,n. 1,(n1). 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.
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 dis-
tancia 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 1 (los segmentos verticales indican discontinuidades de salto):
1
O -1 -2 1
Figura 1: 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 (1)
Dpto. de Anlisis Matemtico Universidad de Granada
Ejercicios de Anlisis Matemtico 3
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 (2)
Si x < 0 podemos multiplicar por x la desigualdad (1) 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 (3)
De (2) y (3) 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.
5. 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.
6. 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 x0. 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
"
. 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
"
. Para cada nmero q Q
"
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
"
.
Sea ahora a un nmero irracional de 0. 1| o a = 0. Tenemos que a , R
"
por lo que para todo
r R
"
el nmero [a r[ es positivo. Sabemos que todos conjunto nito tiene mximo y mnimo.
Denamos =mn {[a r[ : r R
"
]. Entonces > 0 y para todo x 0. 1| con [x a[ < se
tiene que x , R
"
, luego [ (x) (a)[ = (x) < c, lo que prueba que es continua en a.
7. Sea : a. b| R continua. 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.
Solucin. Este ejercicio es muy sencillo. Basta hacer una representacin grca. Imagina la gr-
ca 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 (??). La ecuacin que debemos considerar
Dpto. de Anlisis Matemtico Universidad de Granada
Ejercicios de Anlisis Matemtico 4
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 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.
8. Prueba que la ecuacin xe
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)=xe
x
arc tg x para todo xR. 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) =1 1, e arc tg(1) =
1 1, 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|.
9. Suponiendo que la temperatura vara de forma continua, prueba que siempre hay dos puntos
antpodas en el ecuador terrestre que estn a la misma temperatura.
Solucin. Llamemos L a la longitud del ecuador terrestre (unos cuarenta mil Kilmetros). Sea
: 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 estrategia (??), consideramos la funcin
h(x)= (xL,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 Bolzano asegura que h tiene que anularse en algn c |0. L,2, esto es, (c L,2) = (c),
como se quera probar.
10. 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).
Solucin. Sea : a. b| R una funcin continua. Llamemos al nmero (b) (a) el in-
cremento de en a. b|. Dado un nmero natural n > 2, nos preguntamos si hay algn intervalo
de longitud (b a),n en el cual el incremento de 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
| es igual al incremento de en
el intervalo a. b|. Es decir:
n1
X
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 (b a),n) (x). Ntese
que g(x
k
) = (x
kC1
) (x
k
). Segn acabamos de ver:
Dpto. de Anlisis Matemtico Universidad de Granada
Ejercicios de Anlisis Matemtico 5
v O bien para todo k =0. 1. . . . . n1 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.
11. Un reloj averiado marca inicialmente un tiempo t
0
. El reloj puede adelantar o atrasar, pero cuenta
con exactitud perodos de 12 horas, es decir, pasadas 12 horas el reloj marca un tiempo t
0
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 (12 0),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.
12. 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 ) (medi-
da 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 automovi-
lista 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 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.
13. 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 xI, 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 x I,
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 xI, en el segundo (x) =g(x) para todo xI.
La igualdad (x)
2
=x
2
para todo xR 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.
14. Sea : R R continua y decreciente. Prueba que hay un nico aRvericando 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
Dpto. de Anlisis Matemtico Universidad de Granada
Ejercicios de Anlisis Matemtico 6
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.
15. Sean A, B, conjuntos no vacos y acotados de nmeros reales. Denamos
A B ={a b : aA. b B]: AB ={ab : aA. b B]
Prueba que sup(A B) = sup A nf 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. b B se tiene
que a 6. 6b. En consecuencia a b 6 , lo que prueba que es un mayorante de
AB, y por tanto ; 6 . Probaremos ahora que 6;. Cualesquiera sean aA. b B
se tiene que a b 6 ;, es decir, a 6 b ;. Esta ltima desigualdad nos dice que, jado un
elemento b B, el nmero b ; es un mayorante de A, por lo que 6b ;. Hemos obtenido
as que para todo b B se verica que ; 6b, es decir, ; es un minorante de B, y por
tanto ; 6, es decir, 6;.
Sea =sup(A). =sup(B). j=sup(AB). Cualesquiera sean aA, b B se tiene que a6 y
b 6. En consecuencia, por ser a > 0. b > 0, ab 6 , lo que prueba que 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 6j,b. Esta ltima desigualdad nos dice que, jado un elemento b B, el nmero j,b es un
mayorante de A, por lo que 6 j,b. Hemos obtenido as que para todo b B se verica que
b 6j,, es decir,j, es un mayorante de B, y por tanto 6j,, es decir, 6 j.
16. Sea A un conjunto no vaco de nmeros reales. Para cada xR denamos la distancia de x a
A por dist(x. A) =nf{[x a[ : aA]. 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.
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)
Pero es claro que basta con probar una sola de ellas pues entonces cambiando x por y obtenemos
la otra (porque [xy[=[yx[). Probaremos la primera de las dos desigualdades (4). 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[ : aA], 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).
Dpto. de Anlisis Matemtico Universidad de Granada
Ejercicios de Anlisis Matemtico 7
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.
17. Sea : R R continua, mayorada y tal que para todos a. b R 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 cons-
tante 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 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 se tiene que
sup (|u. :) 6z < en contradiccin con la hiptesis hecha.
18. 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.
19. Justica que, dado xR, la ecuacin log t t
5
=x tiene una nica solucin, que representamos
por (x). Justica que la funcin x (x), (xR), 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 xRhay 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 (??).
20. 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 (??) 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 x0. 1|. Como
es estrictamente creciente, ser 0 6 (x) 6 1 para todo x 0. 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) 6x. Concluimos que (x) =x.
El caso en que (0) =1 y (1) =0 se hace de forma parecida.
Dpto. de Anlisis Matemtico Universidad de Granada
Ejercicios de Anlisis Matemtico 8
21. Sean
A ={xQ: x 60 o x
2
< 2]. B ={xQ: x > 0 y x
2
>2].
Prueba que A=, B =, Q=ALB y a < b para todos aA. b B. 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 rc 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
2rc c 62 para
lo cual basta tomar c =
2 r
2
2r 1
. Es claro que dicho nmero c es racional. Adems, como 1 6r
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 uB hay que tratar de determinar
un nmero racional positivo, c tal que 0 < u c y (u c)
2
> 2. Esta ltima condicin es lo
mismo que:
u
2
2 >2uc c
2
(1)
Como queremos que 0 < c < u, debemos tener 2ucc
2
> c
2
> 0. Sabemos que no hay ningn
nmero racional cuyo cuadrado sea igual a 2, en consecuencia si uB 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 Qvericando que todo nmero racional menor que z est
en A y todo nmero racional mayor que z est en B.
22. Sea aR L{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 (5)
(x) < 0 . lm
x!a
(x) =0 lm
x!a
1
(x)
=o (6)

Dpto. de Anlisis Matemtico Universidad de Granada

Ejercicios de Anlisis Matemtico 9
23. 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.
24. Sea :|0. 1R la funcin dada para x |0. 1 por:
(x) =
2
x

1
x(x 1)
.
Prueba que lm
x!0
(x) =oy 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 (5), y (6) 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) = o y que en x = 0 el lmite pedido es una indeterminacin del
tipo o o. 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 (5) 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 imagen 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 consideramos 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.
25. Sea : 0. 1R continua. Denamos g(x) = (x E(x)) para todo x R. 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
Dpto. de Anlisis Matemtico Universidad de Granada
Ejercicios de Anlisis Matemtico 10
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).
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 inter-
valo 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.
26. 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[ 6 1 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
2n=2
.
1
2nC=2

es el 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.
Dpto. de Anlisis Matemtico Universidad de Granada
Ejercicios de Anlisis Matemtico 11
1 -1
Figura 2: La funcin (x) =sen(1,x)
27. 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.
28. 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. Es fcil probar que
hay un nmero K >1 tal que para [x[ >K es:
P(x)
x
n
>
c
n
2
> 0 (1)
Dpto. de Anlisis Matemtico Universidad de Granada
Ejercicios de Anlisis Matemtico 12
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
= o y 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
xb
0
es otra funcin polinmica
de grado m con b
m
> 0. Para estudiar los lmites en o de la funcin racional (x) =
P(x)
Q(x)
podemos sustituir P y Q por funciones asintticamente equivalentes 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)
=
8

<

:
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)
=
8

<

:
o. n > m
c
n
b
m
. n =m
0. m > n
Dpto. de Anlisis Matemtico Universidad de Granada