Está en la página 1de 10

Soluciones a los ejercicios del

Captulo 3. Continuidad,
del libro
Anlisis Matemtico
de Mnica Clapp

por G3

October 20, 2017

Tabla de Ejercicios
3.35 . . . . . . . . . . 1 3.47 . . . . . . . . . . 7 3.59 . . . . . . . . . . 9

3.36 . . . . . . . . . . 1 3.48 . . . . . . . . . . 8 3.60 . . . . . . . . . . 9

3.37 . . . . . . . . . . 1 3.49 . . . . . . . . . . 8 3.61 . . . . . . . . . . 9

3.38 . . . . . . . . . . 3 3.50 . . . . . . . . . . 8 3.62 . . . . . . . . . . 9

3.39 . . . . . . . . . . 3 3.51 . . . . . . . . . . 8 3.63 . . . . . . . . . . 9

3.40 . . . . . . . . . . 3 3.52 . . . . . . . . . . 8 3.64 . . . . . . . . . . 9

3.41 . . . . . . . . . . 3 3.53 . . . . . . . . . . 9 3.66 . . . . . . . . . . 9

3.42 . . . . . . . . . . 4 3.54 . . . . . . . . . . 9 3.66 . . . . . . . . . . 9

3.43 . . . . . . . . . . 4 3.55 . . . . . . . . . . 9 3.67 . . . . . . . . . . 9

3.44 . . . . . . . . . . 4 3.56 . . . . . . . . . . 9 3.68 . . . . . . . . . . 9

3.45 . . . . . . . . . . 5 3.57 . . . . . . . . . . 9 3.69 . . . . . . . . . . 9

3.46 . . . . . . . . . . 5 3.58 . . . . . . . . . . 9 3.70 . . . . . . . . . . 9

Nota: Usamos la edicin impresa. Los resultados del libro se distinguirn con el smbolo *.
3.4. Ejercicios (Continuidad)
Ejercicio 3.35. Sea 0. Existe entonces un 0 (que depende de x0 y de ) tal que
1
dY ppxq, px0 qq si dX px, x0 q .
2
En particular,
dY ppxq, px0 qq si dX px, x0 q .

As que es continua en x0 . N

Ejercicio 3.36. r(a) (b)s Obvio.


r(b) (c)s Sea algn 0 0 y sea 0 0 tal que }Lv}W 0 si }v}V 0 . Para todo v P V ,
tal que v 0V , se cumple
0 0
2}v}V v 2 0 ,

V
y por lo tanto

L 0 0
v }Lv}W 0 .
2}v}V W 2}v} V

De donde
20
}Lv}W }v}V .
0
Hacemos c 20{0 .
r(c) (d)s Para todo v1 y v2 en V ,

}Lv1 Lv2 }W }Lpv1 v2 q}W c}v1 v2 }V .

Por lo que L es Lipschitz continua.


r(d) (a)s Obvio. N

Ejercicio 3.37. (a) Probamos un par de tiles resultados.

Lema 1. Dadas las constantes reales a y b, la funcin a,b : R2 R, dada por

a,b px, yq ax ` by, @px, yq P R2 ,

es continua.

Demostracin. Observamos que a,b es una transformacin lineal. En efecto, para todos px, yq, px1 , y 1 q P
R2 y cualesquiera escalares y 1 ,

a,b px, yq ` 1 px1 , y 1 q a,b px ` 1 x1 , y ` 1 y 1 q


`

apx ` 1 x1 q ` bpy ` 1 y 1 q
pax ` byq ` 1 pax1 ` by 1 q
a,b px, yq ` 1 a,b px1 , y 1 q.

1
Por la desigualdad de Cauchy-Schwarz,

pax ` byq2 a2 ` b2 x2 ` y 2 , @px, yq P R2 ,


` `
(1)

as que por el ejercicio anterior, a,b es continua.

Ahora, la funcin valor absoluto | | : R R es continua, as que por la Proposicin 3.5* (a), p.
33, la funcin |a,b |, de R2 a R es continua.

Lema 2. Dado un espacio mtrico pX, dX q, si f, g : X R son funciones continuas, entonces


: X R2 dada por pxq pf pxq, gpxqq, para toda x P X, es continua.

Demostracin. Sea x0 P X y sea 0. Existen constantes 1 0 y 2 0 tales que para toda


x P X,
|f pxq f px0 q| si dX px, x0 q 1 , y |gpxq gpx0 q| si dX px, x0 q 2 .

Sea mintd1 , 2 u. Para toda x P X, si dX px, x0 q ,


?
}pf pxq, gpxqq pf px0 q, gpx0 qq}2 2.

Se sigue que dadas cualesquiera constantes ai , bi , i 1, 2, 3, la funcin

a1 ,b1 p|a2 ,b2 |, a3 ,b3 q : R2 R,


px, yq a1 |a2 x ` b2 y| ` b1 pa3 x ` b3 yq.

es continua. En particular

|x y| ` x ` y |x y| px ` yq
maxtx, yu y mintx, yu , @px, yq P R2 , (2)
2 2
son funciones continuas de R2 a R.
En consecuencia, nuevamente del Lema 2 [p. 2] anterior y por la Proposicin* 3.5 (a), p. 33

maxtf pxq, gpxqu y mintf pxq, gpxqu, @x P X,

son funciones continuas de X a R.


(b) Igualmente probamos algunos utilsimos resultados.

Proposicin 1. Si f : pX, dX q pY, dY q y g : pY, dY q pZ, dZ q son Lipschitz continuas, entonces


la composicin g f : pX, dX q pZ, dZ q es Lipschitz continua.

Demostracin. Existe un cf 0, tal que para todos x1 , x2 P X, dY pf px1 q, f px2 qq cf dX px1 , x2 q;


y existe algn cg 0 tal que para todos y1 , y2 P Y , dZ pgpy1 q, gpy2 qq cg dY py1 , y2 q. En particular,
para todos x1 , x2 P X,

dZ pgpf px1 qq, gpf px2 qqq cg dY pf px1 q, f px2 qq cg cf dX px1 , x2 q.

2
Proposicin 2. Si f, g : pX, dX q R son Lipschitz continuas, entonces pf, gq : pX, dX q R2 es
Lipschitz continua.

Demostracin. Existen constantes positivas cf y cg tales que para todos x, y P X,

|f pxq f pyq|2 ` |gpxq gpyq|2 c2f ` c2g d2X px, yq.


`

Del Ejercicio 3.36 [p. 1], sabemos que toda transformacin lineal entre espacios normados es
continua si y slo si, es Lipschitz continua. As que por el Lema 1 [p. 1], se sigue que para cualesquiera
constantes a y b, a,b px, yq ax ` by, para todo px, yq P R2 , es una funcin Lipschitz continua de
R2 a R. Esto tambin se sigue directamente usando la desigualdad de Cauchy-Schwarz, como en la
desigualdad (1) [p. 2].
Por otra parte, es claro que el valor absoluto | | : R R es una funcin Lipschitz continua, por
lo que para cualesquiera constantes ai , bi , i 1, 2, 3, la composicin a1 ,b1 p|a2 ,b2 |, a3 ,b3 q : R2 R
es Lipschitz continua. En particular, las funciones max y min de R2 R, dadas por (2) [p. 2] son
Lipschitz continuas.
Finalmente, si f, g : pX, dX q R son Lipschitz continuas, maxtf, gu y mintf, gu son Lipschitz
continuas. N

Ejercicio 3.38. Sea la identidad de Rnp a Rn y sea la identidad de Rm a Rm r . Del Ejemplo*


n m
3.2, p. 32, y son homeomorfismos. Si una funcin f : R R es continua, de la Proposicin*
3.5 inciso (b), pp. 33-34, se sigue que f f : Rnp Rm es continua. Y por el inciso (c) del
mismo resultado, f f : Rnp Rm r es continua. N

Ejercicio 3.39. Sea 1 p 8 y sean f y h funciones en Cp0 ra, bs. Hacemos q p{pp 1q. De la
desigualdad de Hlder para integrales (Proposicin* 2.18, p. 18),
b b b 1{p
1{q p
pf hqg0 |f h||g0 | M0 pb aq |f h| ,

a a a

donde M0 0 es una cota superior de |g0 |.


Si p 8, por el Ejercicio 2.47 inciso (c),
b b

pf gqg0 |f h||g0 | M0 pb aq max |f pxq hpxq|.

a

a axb

Ejercicio 3.40. Inmediato del Ejercicio 2.42 (a). N

Ejercicio 3.41. Sea 1 p 8. Para todos x px1 , ..., xn q y y py1 , ..., yn q en Rn , si 1 k n,


1{p
n

1{p
|k pxq k pyq| |xk yk | p|xk yk |p q |xi yi |p }x y}p .
i1

3
Anlogamente, si x pxi q, y pyi q P `8 , y k 1,

|k pxq k pyq| |xk yk | sup |xi yi | }x y}8 .


i1

Ejercicio 3.42. (a) Si f : S X es acotada, entonces existe una constante c 0 y un x0 P X


tal que para todo s P S, dpf psq, x0 q c. En particular, para toda s1 P S 1 , dpf pps1 qq, x0 q c. As
que f es acotada.
Ahora, si f1 , f2 : S X son acotadas, es claro que

dpf1 pps1 qq, f2 pps1 qqq d8 pf1 , f2 q, @s1 P S 1 .

De donde
d8 pf1 , f2 q d8 pf1 , f2 q,
y por tanto es Lipschitz continua.
(b) Si es sobre, entonces existe (al menos) una funcin inversa por la derecha 1 . Si g : S 1 X
es acotada, entonces f g 1 : S X es acotada, como acabamos de ver. Y si f1 , f2 : S X
son acotadas tales que f1 f2 , componiendo por la derecha con 1 , se sigue f1 f2 . Esto
prueba que es biyectiva.
Nuevamente, sean f1 , f2 : S X acotadas. Dado que es sobre, para todo s P S, hay un
s P S 1 tal que s ps1 q, de manera que
1

dpf1 psq, f2 psqq d8 pf1 , f2 q, @s P S.

De donde
d8 pf1 , f2 q d8 pf1 , f2 q.
Luego,
d8 pf1 , f2 q d8 pf1 , f2 q
y por tanto es una isometra. N

Ejercicio 3.43. (a) Obvio.


(b) Ver Proposicin 1 [p. 2].
(c) Tanto : X Y como 1 : Y X son Lipschitz continuas, de modo que si : Y Z es
Lipschitz continua, la composicin lo es; y si es Lipschitz continua, as lo es 1 .
(d) Tanto : Y Z como 1 : Z Y son Lipschitz continuas, de modo que si : X Z es
Lipschitz continua, la composicin lo es; y si es Lipschitz continua, as lo es 1 .
N

Ejercicio 3.44. Sean x y en I. Entonces f es continua en rx, ys y diferenciable en px, yq, as


que por el Teorema del valor medio, par algn cx,y P px, yq,

|f pxq f pyq| |f 1 pcx,y q||x y| C|x y|

4
Observacin 1. No es indispensable la hiptesis de que f 1 sea continua.

Ejercicio 3.45. (a) : R R, pxq x2 no es Lipschitz continua: Supongamos que s lo es.


Habr alguna constante c 0 tal que |x2 y 2 | c|x y| para todo x, y P R. En particular, si
elegimos 0 y x tales que x ` y c,

px ` yqpx yq x2 y 2 cpx yq,

de donde x ` y x ` y. Absurdo.

Observacin 2. No obstante, la funcin pxq x2 es Lipschitz continua en cualquier intervalo


acotado I, puesto que 1 pxq 2x es acotada (de hecho continua) en I.
?
(b) : r0, 8q R, pxq x no es Lipschitz continua: En efecto, supongamos que s lo es.
? ?
Habr alguna constante c 0 tal que para todo x, y 0, | x y| c|x y|. Sean en particular,
? ?
x y en p0, 1q lo suficientemente pequeas tales que cp x ` yq 1. No obstante,
? ? ? ? ? ?
| x y| c|x y| c| x y|p x ` yq,

de donde c c. Absurdo.
?
Observacin 3. No obstante, la funcin pxq x es Lipschitz continua en r1, 8q. En efecto,
para todo x, y 1,
? ? ? ? ? ?
|x y| | x y|p x ` yq 2| x y|.
`
(c) : R 2 , 2 , pxq arctanpxq es Lispchitz continua. En efecto, 1 pxq 1`x
1
2 1 para
` 1
todo x P 2 , 2 . As que es Lipschitz continua. No obstante pxq tan x no es Lipschitz
`
continua sobre 2 , 2 . En efecto, supongamos que 1 pxq tan x es Lipschitz continua en el
intervalo indicado. Entonces hay algn c 0 tal que para todos 2 x, y 2 , se cumple
`
| tan x tan y| c|x y|, en particular, se sigue p1 q1 pxq c para todo x P 2 , 2 . Pero
p1 q1 pxq sec2 x, as que
8 lim p1 q1 pxq c.
x{2

Observacin 4. No obstante, la funcin tangente es Lipschitz continua en cualquier intervalo


`
ra, bs 2 , 2 , puesto que la funcin sec2 x es acotada en tales intervalos.

Ejercicio 3.46. (a) ~ ~1 es norma, puesto que el operador derivada D : C r0, 1s C 0 r0, 1s es
lineal y } }8 es norma en C 0 r0, 1s. Ver solucin del Ejercicio 2.56.
~ ~2 es norma. En efecto:

(N1) Para toda f P C 1 r0, 1s,

~f ~2 0 pf 1 0 y f p0q 0q f 0.

5
(N2) Para todo escalar y toda f P C 1 r0, 1s,
`
~f ~2 |f p0q| ` }f 1 }8 || |f p0q| ` }f 1 }8 ||~f ~2 .

(N3) Para todas f, g P C 1 r0, 1s,

~f ` g~2 |f p0q ` gp0q| ` }f ` g}8 |f p0q| ` }f }8 ` |gp0q| ` }g}8 ~f ~2 ` ~g~2

~ ~3 es norma. En efecto:

(N1) Para toda f P C 1 r0, 1s,


1
1
~f ~3 0 f 0 y f 0.
0
1
Lo cual ocurre slo si f es constante, digamos f a. Pero entonces 0 f a 0. Esto es,
f 0.

(N2) Para todo escalar y toda f P C 1 r0, 1s,


1 1
f || f

y }f 1 }8 ||}f 1 }8 .
0 0

De donde
~f ~3 ||~f ~3 .

(N3) Para todas f, g P C 1 r0, 1s, por linealidad de la integral,


1 1 1

pf ` gq f ` g .

0 0 0

Y dado que }f ` g}8 }f }8 ` }g}8 , se sigue

~f ` g~3 ~f ~3 ` ~g~3 .

Observacin 5. Para brobar el inciso (N3) anterior usamos el siguiente resultado:

Lema 3. Para todos a, b, c, d nmeros reales,

maxta ` b, c ` du maxta, cu ` maxtb, du.

Demostracin. Se sigue de inmediato del hecho de que a ` b maxta, cu ` maxtb, du y


c ` d maxta, cu ` maxtb, du.

~ ~4 no es norma, puesto que para cualquier escalar y f P C 1 r0, 1s, ~f ~4 || {2 ~f ~4 .


1

(b) La norma ~ ~1 no es equivalente a la norma } }1,8 . En efecto, si tomamos la funcin


constante f 1, entonces para cualquier k 0, 1 }f }8 k}f 1 }8 0.
La norma ~ ~2 no es equivalente a al norma } }1,8 . En efecto, si tomamos la funcin constante
f 1, entonces para cualquier k 0, 1 |f p0q| k}f 1 }8 0.

6
La norma ~ ~3 es equivalente a la norma } }1,8 . Prueba: Sea f P C 1 r0, 1s y sea c P r0, 1s tal que
|f pcq| min0x1 |f pxq|. Dado que f 1 es continua, usando el Teorema Fundamental del Clculo,
para cada x P r0, 1s,
x

|f pxq f pcq| f pyqdy |x c|}f 1 }8 }f 1 }8 ,
1
c
de donde
|f pxq| }f 1 }8 ` |f pcq|.
Por lo tanto,
}f }8 }f 1 }8 ` |f pcq|.
1
Ahora, en virtud del Teorema del valor medio para integrales, hay algn c P r0, 1s tal que 0 f pxqdx
f pcq. Luego,

}f }1,8 }f }8 ` }f 1 }8 2}f 1 }8 ` |f pcq|


1

2}f 1 }8 ` f pxqdx
0
" 1 *
1
3 max f pxqdx , }f }8 3~f ~3 .
0

1
Por otra parte, para toda f P C 1 r0, 1s, |f | }f }8 , de modo que, integrando, 0 f }f }8 . De
donde 1

~f ~3 f ` }f 1 }8 }f }8 ` }f 1 }8 }f }1,8 .
0
(c) Dada 0, para toda f P C 1 r0, 1s, si }f }1,8 , entonces en particular }f 1 }8 .
(d) Observamos que para cualquier f P C 1 r0, 1s, }f 1 }8 ~f ~i , para i 1, 2, 3. Por consiguiente,
dada 0, si ~f ~i , para i 1, 2, 3, entonces en particular }f 1 }8 . Por tanto D :
pC 1 r0, 1s, ~ ~i q C8
0 r0, 1s, es continua para i 1, 2, 3. N

Ejercicio 3.47. Primero hay que hacer una pequea aclaracin.


Definicin 1. Si X y Y son espacios normados con normas } }X y } }Y , resp., entonces decimos
que una funcin f : X Y es Lipschitz continua si lo es respecto a las mtricas inducidas por
las respectivas normas } }X y } }Y . Esto es, si para todas x, y P X,

}f pxq f pyq}Y c}x y}X

Observacin 6. En particular, si f : X Y es Lipschitz continua y f p0X q 0Y ,

}f pxq}Y c}x}X , @x P X.

(a) Si 1 r p 8, de acuerdo a la Proposicin* 2.23 (p. 21), para todas f, g P C 0 r0, 1s,

}f g}r }f g}p .

As que Id : Cp0 r0, 1s Cr0 r0, 1s es Lipschitz continua.


No obtante, de los Ejercicios 2.48 y 2.50 inciso (b), se sigue que si 1 p r 8, entonces
Id : Cp0 r0, 1s Cr0 r0, 1s no es Lipschitz continua.

7
(b) Si 1 r p 8, entonces Id : Cp0 r0, 1s Cr0 r0, 1s es continua pues es Lipschitz continua
(Proposicin* 3.7, p. 35).
Probaremos en seguida que si 1 p r 8, entonces Id : Cp0 r0, 1s Cr0 r0, 1s no es continua.
Sea 0. Elegimos un nmero a 0 tal que

p p rp
" *
r p
a 1 exp p a 1.
r p

Hacemos
ap
b .
p p 1 pr
`

Definimos f : r0, 1s r0, 1s dada por


! p )
f pxq a exp b 1 x , @x P r0, 1s.
r
Claramente f es continua y
1
|f pxq|p dx p 1 exp ap p p .
` (
0

Esto es, }f }p . No obstante,


1
p p rp
" *
r r p
|f pxq| dx a 1 exp p a 1.
0 r p

Esto es, }f }r 1.
(c) Solo si r p (ver inciso (a)).
(d) Solo si r p (ver inciso (c)). N

Ejercicio 3.48. (a) Para toda 0 x 1,


2
1 1
? sinpkxq ,
k k

de donde,
lim }k pxq pxq}2 0.
k8

(b) L N

Ejercicio 3.49. N

Ejercicio 3.50. N

Ejercicio 3.51. N

Ejercicio 3.52. N

8
Ejercicio 3.53. N

Ejercicio 3.54. N

Ejercicio 3.55. N

Ejercicio 3.56. N

Ejercicio 3.57. N

Ejercicio 3.58. N

Ejercicio 3.59. N

Ejercicio 3.60. N

Ejercicio 3.61. N

Ejercicio 3.62. N

Ejercicio 3.63. N

Ejercicio 3.64. N

Ejercicio 3.65. N

Ejercicio 3.66. N

Ejercicio 3.67. N

Ejercicio 3.68. N

Ejercicio 3.69. N

Ejercicio 3.70. N