Ejercicios resueltos

18 de septiembre de 2003

1 Ejercicios Tema I

Ejercicio 1 Demostrar que una clase no vac a A es un algebra en si y s olo si se verican las siguientes propiedades: i) Si A A entonces Ac A. ii) Si A, B A, entonces A B A. on F : , demostrar las siguientes Ejercicio 2 Dada una aplicaci propiedades: (i) F 1 (Bi ) = F 1 (Bi ), F 1 (Bi ) = F 1 (Bi ), F 1 (B c ) = [F 1 (B )]c , (ii) F (Ai ) = F (Ai ), F (Ai ) F (Ai ), (iii) Si F es sobre F (A)c F (Ac ). (iv) Si F es inyectiva F (A)c F (Ac ) y F (A)c F () = F (Ac ). Ejercicio 3 Dada una aplicaci on F : , demostrar que: (a) Si A es una algebra de , A = {B : F 1 (B ) A} lo es de . (b) Si A es una algebra de , A = F 1 [A ] = {F 1 (B ) : B A } lo es de . (c) Si C P ( ), [F 1 (C )] = F 1 [ (C )]. (d) Demostrar que si (, T ) y ( , T ) son espacios topol ogicos y F es continua, entonces F 1 (B ) B (), para todo B B ( ). Ejercicio 4 Consideremos las siguientes extensiones de una familia C de subconjuntos de : C1 = {A : A C o Ac C}, C2 = {A1 An : Ai C1 , n N}, C3 = {A1 An : Ai C2 , n N}. Demostrar que C3 = (C ). Ejercicio 5 Sean (1 , A1 ), . . . , (n , An ) espacios medibles. Demostrar que la familia de los rect angulos medibles, R = {A1 An 1 n : Ai Ai }, es una clase elemental.

2 Ejercicio 6 Demostrar que la algebra B (R) se genera por las familias: C1 = {(a, b) : a, b R}, C2 = {(a, b] : a, b R}, C3 = {[a, b) : a, b R}, C4 = {[a, b] : a, b R}, C5 = {(, b) : b R}, C6 = {(, b] : b R}, Ejercicio 7 Demostrar que la algebra B(R) se genera por la familia C = {(a, b] : a, b R}. Ejercicio 8 Demostrar: (a) lim inf An lim sup An . (b) Si An A ( o An A), entonces lim sup An = lim inf An = A. Ejercicio 9 Puede una algebra innita contener s olo una colecci on numerable de elementos? Ejercicio 10 Consideremos (N, P (N), ), el espacio de medida de contar en los naturales. Encontrar una sucesi on An para la que no se verique (An ) () = 0. Ejercicio 11 Consideremos (N, P (N), ), para (A) = 0 si A es nito y (A) = en caso contrario. (a) Demostrar que es aditiva pero no numerablemente aditiva. (b) Encontrar una sucesi on An A para la que no se verique (An ) (A). Ejercicio 12 Dada una medida y una sucesi on An A, demostrar que

(
n=1

An )
n=1

(An ).

algebra A. Dada una Ejercicio 13 Sea : A [0, ], aditiva en un sucesi on An A de conjuntos disjuntos cuya uni on est a en A, demostrar que

(
n=1

An )
n=1

(An ).

on An Ejercicio 14 Dado un espacio de medida (, A, ) y una sucesi A, demostrar que: i) (lim inf An ) lim inf (An ). ii) Que si (An ) < , entonces lim sup (An ) (lim sup An ).

3 Ejercicio 15 Demostrar el Lema de BorelCantelli: Sea (, A, ) un espacio

de medida y Cn A, entonces
X n=1

(Cn ) <

(lim sup Cn ) = 0.

Ejercicio 16 Dada una medida nita sobre una algebra A y una sucesi on An A tal que lim inf An = lim sup An = A, demostrar que (A) = limn (An ). on doble xnm (, ], tal que para Ejercicio 17 Dada una sucesi cualesquiera n, m N, xnm xn+1,m y xnm xn,m+1 , demostrar que
n m

lim lim xnm = lim lim xnm .

m n

Ejercicio 18 Dado un espacio medible (, A) y una sucesi on de medidas en el n . Demostrar: a) Si n n+1 , entonces (A) = lim n (A) dene una medida en el espacio. b) Sean como sean las n , (A) = n (A), dene una medida en el espacio. Ejercicio 19 Dado un espacio no numerable y A = {E : E o E c es numerable}, (E ) = 0, 1, si E es numerable, si E c es numerable, para cada E A,

demostrar que A es algebra y medida. Ejercicio 20 Dado un espacio de medida seminita (, A, ), es decir tal que para todo E A con (E ) = existe F A, con F E y 0 < (F ) < , demostrar que para todo E A con (E ) = y todo r > 0 existe F A, con F E y r < (F ) < . Ejercicio 21 Demostrar que toda medida nita es seminita. Dar un contraejemplo para el rec proco.

4 Ejercicio 22 Dado un espacio de medida (, A, ), denimos : A [0, ], de la siguiente manera (A) = sup{(B ) : B A, B A y (B ) < }, demostrar que: a) es una medida seminita. b) Que si es seminita entonces = . Ejercicio 23 Demostrar que la medida exterior de Lebesgue en R, se puede denir en vez de con la clase C = {(a, b]}, como vimos en el ejemplo (??), de la p agina ??, con cualquiera de las clases C1 = {(a, b)}, C2 = {[a, b]}, C3 = {[a, b)} y con de cualquier intervalo tambi en la diferencia de extremos. Ejercicio 24 Sea una medida exterior en y la medida restricci on de a la algebra A . Demostrar que: (a) . (b) Si es la medida exterior generada por una medida en un algebra A, entonces = . (c) Encontrar una medida exterior en = {0, 1}, para la que = . Ejercicio 25 Dado un espacio de medida (, A, ). Demostrar: (a) Si A, B A y (A B ) = 0 entonces (A) = (B ). (b) La relaci on entre conjuntos medibles A B si y s olo si (A B ) = 0, es de equivalencia. (c) En el espacio cociente X = {A A : (A) < }/ la aplicaci on (A, B ) = (A B ), dene una m etrica, respecto de la que la aplicaci on A X Ac X es una isometr a (si () < ) y las aplicaciones de X X X (A, B ) A B, son continuas. Ejercicio 26 Sea (, A, ) un espacio de medida y sea A su completaci on y la medida exterior generada por . Demostrar que para cada A : (A) = inf {(B ) : B A, A B }, (A, B ) A B, (A, B ) A B,

5 y que si denimos la medida interior (A) = sup{(B ) : B A, B A}, entonces si A A se tiene que (A) = (A) = (A) y rec procamente si (A) = (A) < entonces A A . Ejercicio 27 Sean i : B (R) [0, ], para i = 1, . . . , n medidas de LebesgueStieltjes. Demostrar que existe una u nica medida : B (Rn )) [0, ], tal que para cada semirrect angulo acotado (a, b], (a, b] = 1 (a1 , b1 ] n (an , bn ]. Ejercicio 28 Demostrar que toda medida en B(Rn ) de LebesgueStieltjes es nita. Encontrar una que sea nita pero no de LebesgueStieltjes. Encontrar una que sea nita pero no regular. Ejercicio 29 Demostrar que toda medida seminita : B(Rn ) [0, ] es regular interior. Ejercicio 30 Demostrar que si t R y B L(Rn ), entonces tB L(Rn ) y m(tB ) = |t|n m(B ). Adem as si B B (Rn ), entonces tB n B (R ). Ejercicio 31 Se puede poner un cuadrado del plano como uni on numerable de segmentos? Ejercicio 32 Demostrar que para p = 0, Hp es la medida de contar. Ejercicio 33 Sea y consideremos el espacio m etrico ( , d), con la m etrica inducida. Demostrar que la medida exterior de Hausdor en , Hp = Hp|P ( ) . Ejercicio 34 Demostrar que si A y 0 < Hp (A) < , dimH (A) = p. Ejercicio 35 Demostrar que dimH ({x}) = 0, para cada x . Ejercicio 36 Demostrar que dimH (An ) = sup dimH (An ).

6 Ejercicio 37 En los subespacios de Rn con la m etrica eucl dea, demostrar que la dimensi on vectorial y la de Hausdor coinciden.

Ejercicios Tema II

Ejercicio 38 Sea f : (, A) (R, B (R)) acotada. Demostrar que existe una sucesi on de funciones simples sn tales que sn f uniformemente. Ejercicio 39 Sean f y g funciones medibles y A un conjunto medible. Demostrar que es medible la funci on h(x) = f (x) g (x) si x A, si x / A,

Ejercicio 40 Sea (, A, ) un espacio de medida. Probar que f : R es medible si para cualesquiera m, n Z, {x : mf (x) < n} es medible. Ejercicio 41 Sean h y g funciones medibles. Demostrar que los conjuntos {x : h(x) < g (x)}, son medibles. Ejercicio 42 a) Sea f medible y f = g c.s. es necesariamente g medible?, y si el espacio es completo?. b) Sean f g h, con f y h medibles tales que f = h c.s. es necesariamente g medible?, y si el espacio es completo?. Ejercicio 43 Sea fn una sucesi on de funciones medibles, demostrar que es medible el conjunto {x : existe y es nito el lim fn (x)}. Ejercicio 44 Sea f : R R mon otona creciente, es f borel medible? Ejercicio 45 Es cierto que f es medible si y s olo si |f | es medible? En caso contrario dar un contraejemplo. {x : h(x) g (x)}, {x : h(x) = g (x)},

7 Ejercicio 46 Sea An una sucesi on de subconjuntos de . Demostrar que inf IAn = IAn , lim inf IAn = Ilim inf An , sup IAn = IAn , lim sup IAn = Ilim sup An .

Ejercicio 47 Sean A, B . Demostrar que {x : IA = IB } = A B . Ejercicio 48 Si f : R R tiene derivada en todo punto, demostrar que f es Borel medible. Ejercicio 49 Demostrar que f = (f1 , . . . , fn ) : Rn es medible si y s olo si cada fi lo es. Ejercicio 50 Sea (, A, ) un espacio de medida y f = con an (0, ) y An A, calcular f d.
n=1

an IAn ,

Ejercicio 51 Sea f 0 integrable. Demostrar que > 0 existe un medible A, con (A) < tal que f < A f + . Ejercicio 52 Sea f integrable y > 0. Demostrar que existe una funci on simple s tal que |f s| < . Ejercicio 53 Sean 1 2 medidas. Demostrar que si una funci on medible compleja f es 2 integrable, entonces es 1 integrable. Ejercicio 54 Sean fn 0 medibles tales que fn f . Demostrar que si f1 es integrable, fn f . Es cierto si f1 no es integrable? Ejercicio 55 Sean f, fn 0 integrables, tales que fn f c.s. Demostrar que fn f sii |fn f | 0. Ejercicio 56 Sea () < y fn integrables tales que fn f uniformemente. Demostrar que f es integrable y que fn f . Ejercicio 57 Sean f, fn integrables, tales que fn f c.s. Demostrar que |fn f | 0 sii |fn | |f |. Ejercicio 58 Sea f integrable y g medible acotada, demostrar que f g es integrable.

8 Ejercicio 59 Demostrar que es nita si y s olo si existe una funci on medible estrictamente positiva e integrable. ogico, una medida en B() tal Ejercicio 60 Sea un espacio topol que (A) > 0, para cada abierto A y f, g : R continuas tales que f = g c.s., demostrar que f = g . Ejercicio 61 Demostrar que si f g c.s., existe la f y < f , entonces existe la g y si existe la g y g < , entonces existe la f y en ambos casos f g . Ejercicio 62 Demostrar el teorema de la convergencia mon otona cuando las condiciones son c.s. Ejercicio 63 Calcular:
1 n

lim

(1 + nx2 )(1 + x2 )n dm.

Ejercicio 64 Sea f : R R medible y a R. Demostrar que

f (x)dm =

f (x a)dm,

en el sentido de que si una integral existe tambi en la otra y coinciden. Ejercicio 65 Sea f : R R medible tal que etx f (x) es integrable para todo t (a, b) R. Demostrar que F (t) = etx f (x) dm es diferenciable y que F (t) = x etx f (x) dm. Ejercicio 66 Demostrar que para t 0 y 0 1, la sucesi on (1 + (t/n) )n es creciente y para 1 , (1 (t/n) )n tambi en es creciente. Ejercicio 67 Demostrar que
n

(a) (b)

lim

(1 (t/n))n log t dm =
1

et log t dm.

1 1

lim

(1 (t/n))n log t dm =
0

et log t dm.

9 Ejercicio 68 Sea f no negativa e integrable, con 0 < f d = c < y sea 0 < < . Demostrar que si 0 < < 1, , f lim n log 1 + d = c, si = 1, n n 0, si 1 < < . Ejercicio 69 Demostrar que si f es integrable, entonces para cada > 0, existe un > 0, tal que (E ) <
E

|f | d < .

Ejercicio 70 Demostrar que si f : R R es Lebesgue integrable F (x) = x f dm es uniformemente continua. Ejercicio 71 Demostrar que si f tiene integral impropia de Riemann, entonces es continua c.s. (m), pero no rec procamente. Ejercicio 72 Sea f : R R no negativa, con integral impropia de Riemann nita, demostrar que f es Lebesgue medible e integrable y las dos integrales coinciden. Dar un contraejemplo si quitamos la no negatividad. Ejercicio 73 Demostrar que si f : R R es Lebesgue integrable f dm =
[,] a, b

lim

f dm.
[a,b]

Es cierto si existe la integral pero no es nita? Ejercicio 74 Demostrar por inducci on que 0 xn ex dm = n!. (b) Demostrar que para t > 0, 0 etx dm = 1/t y utilizarlo para demostrar (a) sabiendo que la integral es nita, derivando respecto de t. Ejercicio 75 Calcular: (a) limn 0 (1 + (x/n))n sen(x/n) dm. (b) limn 0 n sen(x/n)[x(1 + x2 )]1 dm. (c) limn a n(1 + n2 x2 )1 dm, en funci on de a.

10 Ejercicio 76 Dadas las funciones

x

f (x) =
0

et dt

g (x) =
0

ex (t +1) dt, t2 + 1 /2.

demostrar que: (a) f (x) + g (x) = /4. (b)

x2 e 0

dm =

Ejercicio 77 Demostrar: 2 (1) x2n ex dm = 2n! /4n n!. (2) Para a 0, (3) Para p > 0,

2 2 ex cos ax dm = ea /4 . 1 p1 x (x 1)1 log x dm = n=0 0

1/(p + n)2 .

Ejercicio 78 Demostrar que es de clase innito la funci on en (0, )

(y ) =
0

ex xy1 dm,

y que verica: (y + 1) = y ( y ) para y > 0; que (n + 1) = n!, para n = 0, 1, 2, . . .; y que (1/2) = .

11 Ejercicios Tema III

Ejercicio 79 Sean 1 y 2 espacios topol ogicos. Demostrar que: (a) B (1 ) B (2 ) B (1 2 ). (b) Si sus topolog as tienen bases numerables, B (1 ) B (2 ) = B (1 2 ). Ejercicio 80 Sean (1 , A1 ) y (2 , A2 ) espacios medibles y f : 1 R y g : 2 R medibles, demostrar que h(x, y ) = f (x)g (y ) es A1 A2 medible. Ejercicio 81 Demostrar que (A1 An1 ) An = A1 An . Ejercicio 82 Sea f : R2 R, tal que fx es Borel medible para cada x y f y continua para cada y . Demostrar que f es Borel medible. Ejercicio 83 Sean (1 , A1 , 1 ) y (2 , A2 , 2 ) espacios de medida nita y completos, es necesariamente completo el espacio producto?. Ejercicio 84 Sean (1 , A1 , 1 ) y (2 , A2 , 2 ) espacios de medida nita y E, F A1 A2 , tales que para todo x 1 c.s. (1 ), 2 (Ex ) = 2 (Fx ). Demostrar que (E ) = (F ). Ejercicio 85 Sean (1 , A1 ) y (2 , A2 ) espacios medibles y : 1 A2 [0, ] una medida de transici on. Demostrar que: (a) Si es una medida en (1 , A1 ), entonces (B ) = B d,

es una medida en (2 , A2 ). (b) Si g 0 es medible en (2 , A2 ), f (x) = es medible en (1 , A1 ) y se tiene que f d = g d. g dx ,

12 Ejercicio 86 Demostrar que: (a) Si F : (, A) ( , A ) es medible y es una medida en (, A), = F (), para (A) = [F 1 (A)], es una medida en ( , A ) y si es nita, tambi en lo es. (b) Si F1 : (1 , A1 ) (1 , A1 ) y F2 : (2 , A2 ) (2 , A2 ) son medibles entonces tambi en es medible F1 F2 : 1 2 1 2 , F1 F2 (x, y ) = (F1 (x), F2 (y )),

y dadas medidas 1 en (1 , A1 ) y 2 en (2 , A2 ), tales que i = Fi (i ) son nitas, se verica que F1 F2 (1 2 ) = 1 2 . Ejercicio 87 Sean (1 , A1 , 1 ) y (2 , A2 , 2 ) espacios de medida nita y f : 1 R y g : 2 R medibles e integrables, demostrar que h(x, y ) = f (x)g (y ) es = 1 2 integrable y h d = f d1 g d2 .

Ejercicio 88 Sea (, A, ) un espacio de medida nita y f : R medible y no negativa. Demostrar que la gr aca de f es medible E = {(x, y ) [0, ] : y = f (x)} A B (R), y que m(E ) = 0. Ejercicio 89 Sea (, A, ) un espacio de medida nita y f : R medible y no negativa. Demostrar que la funci on F (y ) = {f 1 (y )} es medible y F = 0 c.s.

Ejercicio 90 Sea (, A, ) un espacio de medida nita y f, g : [0, ) medibles y tales que para cada x > 0, {f > x} {g > x}. Demostrar que f d g d.

13 Ejercicio 91 Sea (, A, ) un espacio de medida nita, f : [0, ] medible y 1 p < . Demostrar que f p d =
0

ptp1 {f > t} dt.

Ejercicios Tema IV

Ejercicio 92 Sean 1 , 2 : A (, ] cargas, demostrar que | 1 + 2 | | 1 | + | 2 | . Ejercicio 93 Sea (, A, ) un espacio medible con una carga. Demostrar: (a) E A es nulo si y s olo si ||(E ) = 0. (b) Si P, N y P , N son descomposiciones de Hahn, ||(P P ) = 0. Ejercicio 94 Sean 1 , 2 medidas, = 1 + 2 y f una funci on medible. Demostrar que existe f d sii existen f d1 la f d2 y su suma est a denida. Y en tal caso f d = f d1 + f d2 .

Ejercicio 95 Sea una carga. Demostrar: (a) g es integrable si y s olo si es ||integrable. (b) Si g es integrable, g d |g | d||.

(c) Existe una medida y una funci on medible f , con integral respecto de , tal que para todo E A ( E ) =
E

f d.

14 Ejercicio 96 Encontrar en B (R) la descomposici on de Jordan para la carga = P {0} , siendo P una probabilidad. Ejercicio 97 Sea f una funci on con integral en el espacio de medida (, A, ) y consideremos la carga = f . Demostrar que + (A) =
A

f + d,

(A) =
A

f d,

||(A) =
A

|f | d.

Ejercicio 98 Demostrar que si una carga = 1 2 es diferencia de dos medidas i , entonces + 1 y 2 .

Ejercicio 99 Sea una carga en un espacio medible (, A), demostrar que

n

||(A) = sup{
i=1

|(Ei )| : Ei A, disjuntos, Ei = A},

i=1

Es cierto el resultado si ponemos

en lugar de sumas nitas?.

Ejercicio 100 Sea (, A) un espacio medible con una medida compleja

+ = 1 + i2 = + 1 1 + i2 i2 ,

demostrar que
+ + i | i | | | 1 + 1 + 2 + 2 .

on meEjercicio 101 Sea (, A, ) un espacio de medida y f una funci dible no negativa. Si denimos la medida (A) = A f d, demostrar que para cada funci on medible g g d = f g d,

en el sentido de que si una de las integrales existe tambi en la otra y son iguales.

15 Ejercicio 102 Sean 1 , 2 y 3 medidas, 2 y 3 nitas, en (, A), demostrar que si 1 2 y 2 3 , entonces 1 3 y adem as se tiene que d1 d2 d1 = . d3 d2 d3 Ejercicio 103 Sean y medidas nitas, con y sea = + . Demostrar que y si f = d/d, entonces 0 f < 1 c.s () y que d/d = f /(1 f ). Ejercicio 104 Sean y medidas nitas en (, A), demostrar que son equivalentes las condiciones: (a) y . (b) {A A : (A) = 0} = {A A : (A) = 0}. (c) Existe una funci on medible g : (0, ), tal que (A) = g d . A Ejercicio 105 Demostrar que si (, A, ) es un espacio de medida nita, existe una medida nita , que tiene los mismos conjuntos nulos que . Ejercicio 106 Sea (, A, ) un espacio de medida nita y f : C integrable. Demostrar que si S es un cerrado de C, tal que para cada E A con (E ) > 0, se tiene 1 (E ) entonces f (x) S c.s. Ejercicio 107 Sea (, A, ) un espacio de medida. Demostrar que { M(A, R) : }, f d S
E

es un subespacio vectorial cerrado del espacio de Banach M(A, R). Ejercicio 108 Sean 1 1 en (1 , A1 ) y 2 2 en (2 , A2 ), medidas nitas. Demostrar que 1 2 1 2 y que d(1 2 ) d1 d2 (x, y ) = (x) (y ). d(1 2 ) d1 d2

16 Ejercicio 109 Sea f medible compleja integrable respecto de una medida compleja , demostrar que f d |f | d||.

Ejercicio 110 Demostrar que si 1 y 2 son complejas y 1 2 , entonces |1 + 2 | = |1 | + |2 |.

Ejercicios Tema V
Ejercicio 111 Calcular el area y el volumen de la elipse y elipsoide respectivamente x2 y2 x2 y2 z2 + 2 = 1, + 2 + 2 = 1. 2 2 a b a b c Ejercicio 112 Sea : R Rn una curva de clase 1, demostrar que para todo [a, b] R, si (t) = (xi (t))
Z
b

b a

H1 ( [a, b]) =
a

(t) dt =

v u n uX t xi (t)2 dt.
i=1

aca F : Ejercicio 113 Sea f C 1 (R2 ) y consideremos su gr (x, y, f (x, y )), demostrar que para todo A B(R2 ), 2 H2 [F (A)] =
Z q
A 2 + f 2 dxdy. 1 + fx y

R2 R3 , F (x, y) =

area de la esfera de radio r es 4r2 . Ejercicio 114 (1) Demostrar que el (2) Demostrar que el area del casquete esf erico de radio r y altura h es 2rh.

Ejercicios Tema VI Ejercicio 115 Demostrar que si f L , entonces {x : f } es localmente nulo. |f (x)| >

17 Ejercicio 116 Demostrar que si f L y es integrable, entonces {x : |f (x)| > f } es nulo. Ejercicio 117 Sea (, A, ) un espacio de medida nita. Demostrar que { M(A, R) : }, es un subespacio vectorial cerrado del espacio de Banach M(A, R), que es isomorfo a L1 (, A, , R). Dar un isomorsmo. Ejercicio 118 Sea (, A, ) un espacio de medida nita y f : C medible. Demostrar que f (B ) = [f 1 (B )] es una medida en B (C), y que si f L , entonces K = {z C : f [B (z, )] > 0, > 0}, es un compacto, donde B (z, ) = {z : |z z | < } y que f

= sup{|z | : z K }.

Ejercicio 119 Demostrar que si 0 < r < p < s < , entonces Lr Ls Lp Lr + Ls . Ejercicio 120 Demostrar que si 0 < r < s < y f Lr Ls , entonces f Lp , para todo p [r, s]; que la funci on (p) = log es convexa en [r, s] y que f
p

|f |p d,
r,

max{ f

s }.

Ejercicio 121 Demostrar que un espacio normado E es completo sii para cada sucesi on xn E xn < xn es convergente.

Ejercicio 122 Demostrar la desigualdad de Holder generalizada: Si 1 p1 , . . . , pn son tales que (1/pi ) = 1/r 1 y fi Lpi , entonces
n n n

f i Lr ,
i=1

y
i=1

fi

i=1

fi

pi .

18 Ejercicio 123 Demostrar que si f, g Lp para 0 < p < 1, entonces f +g

p

2 p 1 ( f

+ g p)

Ejercicio 124 Demostrar que si f Lp para alg un 0 < p < , entonces f r f , cuando r . Ejercicio 125 Demostrar que si () < y 0 < r < s < , entonces Ls Lr y que para f Ls f
r

s () r

1 s

Ejercicio 126 Demostrar que si () < y fn , f son medibles, entonces: (a) Si fn f c.s., entonces fn f en medida (es decir que para todo > 0 existe un N N, tal que para n N , {|fn f | > } < ). (b) Si fn f en Lp (con 1 p ), entonces fn f en medida. Ejercicio 127 Demostrar la Desigualdad de Jensen, es decir que si () = 1, f : (a, b) es medible e integrable y : (a, b) R es convexa, entonces f d f d.

Ejercicio 128 Demostrar que si () = 1 y f, g son medibles y positivas y tales que f g 1, entonces f d g d 1.

Ejercicio 129 Demostrar que si 0 < r < s , entonces lr ls . Ejercicio 130 Sea g L , demostrar que para 1 p < , si f Lp , gf Lp , que la aplicaci on G : Lp Lp , G(f ) = gf , es lineal y continua y que G = g .

19

Ejercicios resueltos

Ejercicio 3.- Dada una aplicaci on F : , demostrar que: (a) Si A es una algebra de , A = {B : F 1 (B ) A} lo es de . (b) Si A es una algebra de , A = F 1 [A ] = {F 1 (B ) : B A } lo es de . (c) Si C P ( ), [F 1 (C )] = F 1 [ (C )]. (d) Demostrar que si (, T ) y ( , T ) son espacios topol ogicos y F es continua, entonces F 1 (B ) B (), para todo B B ( ).
Ind.- (c) Aplicar el principio de los buenos conjuntos. (d) Aplicar (c).

Ejercicio 4.- Consideremos las siguientes extensiones de una familia C de subconjuntos de : C1 = {A : A C o Ac C}, C2 = {A1 An : Ai C1 , n N}, C3 = {A1 An : Ai C2 , n N}. Demostrar que C3 = (C ).
Soluci on.- Por una parte tenemos que C C1 C2 C3 (C ), por tanto (C3 ) = (C ) y basta demostrar que C3 es algebra. Que , C3 es obvio, A = A1 An C3
m1 mn c Ac = Ac 1 An = (j =1 B1j ) (j =1 Bnj ) mn n 1 = m j1 =1 jn =1 i=1 Biji C3 ,

donde los Bij C1 . Por u ltimo es cerrado para uniones nitas.

Ejercicio 5.- Sean (1 , A1 ), . . . , (n , An ) espacios medibles. Demostrar que la familia de los rect angulos medibles, R = {A1 An 1 n : Ai Ai }, es una clase elemental.
Soluci on.- R y (A1 An ) (B1 Bn ) = (A1 B1 ) (An Bn ), [A1 An ]c =Ac 1 2 n A1 Ac 2 n . . . A1 An1 Ac n A0 .

Ejercicio 9.- Puede una algebra innita contener s olo una colecci on numerable de elementos?

20
Ind. No porque al menos tendr a una colecci on numerable An de conjuntos disjuntos y las uniones arbitrarias de estos ser an distintas e identicando cada An con n , estas uniones se identicar an con partes de que es no numerable.

Ejercicio 12.- Dada una medida y una sucesi on An A, demostrar que (

[

An )

X n=1

(An ).

n=1

Ind. T omense los conjuntos disjuntos Bn = (A1 An1 )c An .

Ejercicio 14.- Dado un espacio de medida (, A, ) y una sucesi on An A, demostrar que: (a) (lim inf An ) lim inf (An ). (b) Que si (An ) < , entonces lim sup (An ) (lim sup An ).
Soluci on.- Sean Bn = i=n Ai y Cn = i=n Ai , entonces Bn An Cn , (Bn ) (An ) (Cn ) y Bn lim inf An , Cn lim sup An .

Ejercicio 15.- (Lema de BorelCantelli) Sea (, A, ) un espacio de medida y Cn A. Demostrar que

X n=1

(Cn ) <

(lim sup Cn ) = 0.

Ind. Sea Dn = i=1 Ci , (D1 ) < , (Dn ) 0 y Dn lim sup Cn .

Ejercicio 17.- Dada una sucesi on doble xnm (, ], tal que para cualesquiera n, m N, xnm xn+1,m y xnm xn,m+1 , demostrar que
n m

lim lim xnm = lim lim xnm .

m n

Ind. Demostrar que existen los l mites an = limm xnm , a = limn an , bm = limn xnm y b = limm bm , que xnm an a y por tanto b a, la otra desigualdad por simetr a.

Ejercicio 19.- Dado un espacio no numerable y

(

A = {E : E o E c es numerable}, 0, 1, si E es numerable, si E c es numerable, para cada E A,

(E ) =

demostrar que A es algebra y medida.

Ind. Si An A y para todo n An es numerable, entonces An A por ser c c c numerable y si existe un i tal que Ac i es numerable, entonces (An ) = An Ai es

21
P numerable. Y si los An son disjuntos y todos numerables, (An ) = 0 = (An ), y si un Ai no lo es, entonces para todo j = i, Aj Ac i es numerable y (An ) = 1 = P (Ai ) = (An ).

Ejercicio 20.- Dado un espacio de medida (, A, ), tal que para todo E A con (E ) = existe F A, con F E y 0 < (F ) < (estas medidas suelen llamarse seminitas ), demostrar que para todo E A con (E ) = y todo r > 0 existe F A, con F E y r < (F ) < .
Soluci on.- Basta demostrar que sup{(B ) : B A, B E y (B ) < } = . En caso contrario, el supremo valdr a c < y para todo n , podr amos encontrar Fn E tal que (Fn ) > c (1/n) y considerando Bn = n y su uni on expansiva i=1 Fi P Bn B , tendr amos que (Bn ) c, pues Bn E y (Bn ) n i=1 (Fi ) < , por tanto tomando l mites (B ) c, pero como (Bn ) (Fn ) c 1 , n

tomando l mites (B ) c, por tanto (B ) = c y como B E llegamos a contradicci on pues (E \B ) = ya que (E ) = (B ) + (E \B ), y por denici on existe un medible A E \B con 0 < (A) < , por lo que B A E tiene medida nita mayor que c.

Ejercicio 22.- Dado un espacio de medida (, A, ), denimos : A [0, ], de la siguiente manera (A) = sup{(B ) : B A, B A y (B ) < }, demostrar que: (a) es una medida seminita. (b) Que si es seminita entonces = .
Soluci on.- (a) Es aditiva, pues para A, B A disjuntos y cualquier C A B , con C A y (C ) < , tenemos A C A, B C B , con A C, B C A y (A C ) < , (B C ) < , por tanto como son disjuntos (C ) = (A C ) + (B C ) (A) + (B ), y como esto es v alido para cualquier C , (A B ) (A) + (B ). Veamos la otra desigualdad; para cualesquiera A A, B B , de A con medidas nitas por , tendremos que son disjuntos y (A ) + (B ) = (A B ) (A B ), y se sigue la otra desigualdad. Ahora basta demostrar que si An A, entonces (An ) (A). Ahora bien como es no negativa y aditiva es mon otona, por tanto (An ) (An+1 ) (A), para todo n y si consideramos un B A medible con (B ) < y la sucesi on Bn = B An B , tendremos (Bn ) (B ), (Bn ) (B ) < y Bn An , por tanto (Bn ) (An ), de donde (B ) = lim (Bn ) lim (An ) (A),

22
y tomando sup en (B ) se dan igualdades y por tanto es medida. Adem as si (A) < , (A) = (A) y si (A) = , existe Bn A medibles con (Bn ) < y (Bn ) , por tanto existe Bn A, con 0 < (Bn ) = (Bn ) < , lo que prueba que es seminita. (b) Es consecuencia del ejercicio 20.

Ejercicio 23.- Demostrar que la medida exterior de Lebesgue en R, se puede denir en vez de con la clase C = {(a, b]}, con cualquiera de las clases C1 = {(a, b)}, C2 = {[a, b]}, C3 = {[a, b)}.
Ind.- Para C y C1 , denotemos DA = { D1A = {
X n=1 X n=1

(bn an ) : an < bn (dn cn ) : cn < dn

R, R,

A A

(an , bn ]}, (cn , dn )},

n=1 [ n=1

entonces por un lado D1A DA , pues (c, d) (c, d] y por otro para cada x DA y P S > 0, x + D1A , pues para x = (bn an ), con A n=1 (an , bn ], tendremos S A n=1 (an , bn + /2n ) y la suma correspondiente a estos intervalos es + x.

Ejercicio 24.- Sea una medida exterior en y la medida restricci on de a la algebra A . Demostrar que: (a) . (b) Si es la medida exterior generada por una medida en un algebra A, entonces = . (c) Encontrar una medida exterior en = {0, 1}, para la que = .
Ind. (a) ParaP A , (A) = inf { de estos n umeros (Ai ),
P

(Ai ) : Ai A , A Ai }, y dado uno

X

(A) (Ai )

(Ai ),

por tanto (A) (A). P (b) Para P A , (A) = inf { (Ai ) : Ai A, A Ai }, y dado uno de estos n umeros (Ai ), como los Ai A X X (A) (Ai ) = (Ai ), por tanto (A) (A). (c) {0} = {1} = 2, {0, 1} = 3, por tanto A = {, } y {0} = 3.

Ejercicio 26.- Sea (, A, ) un espacio de medida y sea A su completaci on y la medida exterior generada por . Demostrar que para cada A : (A) = inf {(B ) : B A, A B }, y que si denimos la medida interior (A) = sup{(B ) : B A, B A},

23
entonces si A A se tiene que (A) = (A) = (A) y rec procamente si (A) = (A) < entonces A A .
Ind. Si A A , existen B, D A, con B A D y (D\B ) = 0, por tanto (D) = (A) = (B ) (A) (A) (D) y se tiene la igualdad. Ahora dado A se demuestra que existen B, D A, con B A D, (B ) = (A) y (A) = (D) y si (A) = (A) < entonces A A .

Ejercicio 27.- Sean i : B(R) [0, ], para i = 1, . . . , n medidas de Lebesgue Stieltjes. Demostrar que existe una u nica medida : B(Rn )) [0, ], tal que para cada semirrect angulo acotado (a, b], (a, b] = 1 (a1 , b1 ] n (an , bn ].

Ind. Consid erense funciones de distribuci on Fi que generen i , la funci on de distribuci on F (x1 , . . . , xn ) = F1 (x1 ) Fn (xn ) y la medida que genera.

Ejercicio 28.- Demostrar que toda medida en B(Rn ) de LebesgueStieltjes es nita. Encontrar una que sea nita pero no de LebesgueStieltjes. Encontrar una que sea nita pero no regular.
Ind. En

Ejercicio 29.- Demostrar que toda medida seminita : B(Rn ) [0, ] es regular interior.
Ind. Se ha demostrado que toda medida es regular interior en los borelianos de medida nita, sea B un boreliano con (B ) = , entonces por ser seminita hemos demostrado que para todo n existe un boreliano Bn B , tal que n < (Bn ) < , pero entonces existe un compacto Kn Bn , tal que n < (Kn ) y Kn B .

R, (A) el n umero de racionales de A.

Ind. Para t > 0, m(tB ) = |t|n m(B ), pues m (tB ) = tn m (B ) y para t < 0, m (tB ) = m [|t|(B )] = |t|n m (B ) y basta demostrar que m (B ) = m (B ). Observemos que para a, b n , a < b se tiene m(a, b) = m[a, b) = m[a, b] = m(a, b] = Q (bi ai ), pues por ejemplo (a 1/n, b] [a, b], entendiendo a 1/n el vector de coordenadas ai 1/n y Y Y m[a, b] = lim m(a 1/n, b] = lim (bi ai + 1/n) = (bi ai ) = m(a, b],

Ejercicio 30.- Demostrar que si t R y B L(Rn ), entonces tB L(Rn ) y m(tB ) = |t|n m(B ). Adem as si B B (Rn ), entonces tB B (Rn ).

y m(a, b) = m(a, b] por motivos an alogos considerando (a, b 1/n] (a, b), por u ltimo la igualdad que falta se sigue de las anteriores y de que (a, b) [a, b) [a, b]. Ahora se tiene que X m (A) = inf { m(ai , bi ] : A (ai , bi ]} X = inf { m[ai , bi ] : A [ai , bi ]} X = inf { m(ai , bi ) : A (ai , bi )} X = inf { m[ai , bi ) : A [ai , bi )} X = inf { m(bi , ai ] : A (bi , ai ]} = m (A), y se demuestra f acilmente que si B L(

Rn ), entonces tB L(Rn ).

24
Ejercicio 32.- Demostrar que para p = 0, Hp es la medida de contar.
Ind. Para A = {x1 , . . . , xm } y < min{d(xi , xj )}, H0 (A) = n.

Ejercicio 33.- Sea y consideremos el espacio m etrico ( , d), con la m etrica inducida. Demostrar que la medida exterior de Hausdor en , Hp = Hp|P ( ) .
Ind. Para A , X Hp, (A) = inf { d(An )p : A An , d(An ) } X = inf { d(Bn )p : A Bn , d(Bn ) } = Hp, (A).

Ejercicio 35.- Demostrar que dimH ({x}) = 0, para cada x

Ind. H0 ({x}) = 1.

Ejercicio 36.- Demostrar que dimH (An ) = sup dimH (An ).

P Ind. Si A = Ai , Hp (Ai ) Hp (A) Hp (An ), por tanto si p < sup dimH (An ), existe un i tal que p < dimH (Ai ), por tanto Hp (Ai ) = = Hp (A) y p dimH (A) y si sup dimH (An ) < p, Hp (An ) = 0 para todo n y Hp (A) = 0, por tanto dimH (A) p.

Ejercicio 37.- En los subespacios de Rn con la m etrica eucl dea, demostrar que la dimensi on vectorial y la de Hausdor coinciden.
Ind. Es consecuencia de los resultados anteriores y de que para un cubo Q, ndimensional, se tiene que 0 < Hn (Q) < , por tanto dimH (Q) = n.

Ejercicio 41.- Sean h y g funciones medibles. Demostrar que los conjuntos {x : h(x) < g (x)}, son medibles.
Ind. El primer conjunto es medible porque [ {x : h(x) < g (x)} = ({h(x) < r} {r < g (x)}) ,
r

{x : h(x) g (x)},

{x : h(x) = g (x)},

el segundo porque su complementario lo es y el tercero es la diferencia.

Ejercicio 48.- Si f : Borel medible.

R R tiene derivada en todo punto, demostrar que f

es

Soluci on.- Si f es derivable es continua y por tanto medible, como tambi en lo es fn (x) = n[f (x + 1/n) f (x)] y como fn f , f es medible.

Ejercicio 49.- Demostrar que f = (f1 , . . . , fn ) : (, A) (Rn , B(Rn )) es medible si y s olo si cada fi lo es.

25
Soluci on.- Si f es medible, fi = xi f es medible por que las proyecciones xi : n son continuas y por tanto medibles. Rec procamente sea (a, b] un semirrect angulo, con a < b n , entonces

f 1 (a, b] = {x : a < f (x) b} = y como estos semirect angulos generan B(

n \ i=1

{x : ai < fi (x) bi } A,

Rn ), f es medible.

Ejercicio 50.- Sea (, A, ) un R espacio de medida y f = an (0, ) y An A, calcular f d.

Ind.
RP

P
n=1

an IAn , con

fn =

PR

fn .

Ejercicio 51.- Sea f 0 Demostrar que > 0 existe un medible R integrable. R A, con (A) < tal que f < A f + .
Ind. An = {1/n f } A = {0 < f }, (An ) < y
R
An

f =

f.

Ejercicio R R 55.-RSean f, fn 0 integrables, tales que fn f c.s. Demostrar que

R R R Ind. | fn f | |fn f |. |f fn | = (f fn )+ + (f fn ) = fn f + 2(f fn )+ , (f fn )+ f y (f fn )+ 0.

fn

f sii

|fn f | 0.

Ejercicio 57.- Sean integrables, tales que fn f c.s. Demostrar que R R f, fn R |fn f | 0 sii | fn | |f |.
Ind. R Por el TCD para gn = |fn | |fn f |, |gn | |f | y gn |f |, por tanto |fn | R R R |fn f | = gn |f |.

Ejercicio 63.- Calcular:

Z
n 1 0

lim

(1 + nx2 )(1 + x2 )n dm.

Ind. Para fn las funciones del integrando f1 = 1 y fn 0, pues por un lado 1 + nx2 1 + (n + 1)x2 (1 + x2 )n (1 + x2 )n+1 1 + x2 1 + (n + 1)x2 x2 =1+ 1 + nx2 1 + nx2

y por otro (1 + x2 )n = 1 + nx2 + (1/2)n(n 1)x4 + . . ., por tanto (1 + x2 )n n1 2 x . nx2 2 Aplicar el TCM.

26
Ejercicio 65.- Sea f : R R medible tal Rque etx f (x) es integrable para todo t (a, b ) R. Demostrar que F (t) = etx f (x) dm es diferenciable y que R F (t) = x etx f (x) dm.
Ind. Para cada s (a, b) existe un > 0 tal que [s , s + ] (a, b). Basta demostrar que F es diferenciable en I = (s , s + ), para = /2. Existe r > 0, tal que para x > r, x ex , por lo que el m odulo de la derivada del integrando, |x etx f (x)|, est a acotado para t I por la funci on integrable 8 e(s )x |f (x)|, si x < r, > > > <r e(s )x |f (x)|, si r x 0, h(x) = >r e(s+ )x |f (x)|, si 0 x r, > > : (s+ )x e |f (x)|, si x > r, y el resultado se sigue del teorema de derivaci on bajo el signo integral.

Nota. Para los siguiente ejercicios puede ser u til recordar que:
|an |

lim (1 + 1/an )an = e,

Ejercicio 66.- Demostrar que para t > 0 y 0 1, la sucesi on (1 + (t/n) )n n es creciente y para 1 , (1 (t/n) ) tambi en es creciente.
Ind.
   n    n+1 t t 1 1 n n+1 (n t )n nn , ((n + 1) t )n+1 (n + 1)(n+1)

lo cual induce a considerar la funci on f (x) = (n x)n , ((n + 1) x)n+1

y demostrar que f 0, en cuyo caso f (x) f (0), para todo x 0. El otro es similar.

Ejercicio 67.- Demostrar que

Z
n 1 1 0

(a) (b)

lim

1
Z 

t n

n

1 1 0

log t dm =
n Z

et log t dm.

lim

t 1 n

log t dm =

et log t dm.

Ind. (a) Se puede hacer utilizando el ejercicio (66) y el TCM pues 0 I(1,n) (1 (t/n))n log t y (1 (t/n))n es creciente para 0 t n. Tambi en se puede hacer utilizando el TCD, probando que |I(1,n) (1 (t/n))n log t| = I(1,n) (1 (t/n))n log t et t, y demostrando que et t es integrable.

27
(b) se sigue del desarrollo de (a), utilizando el TCM y teniendo en cuenta que como en (0, 1) el log t es negativo, la sucesi on (1 (t/n))n log t 0 y es decreciente.

Ejercicio 68.- Sea f no negativa e integrable, con 0 < 0 < < . Demostrar que
Z
n

f d = c < y sea

  

lim

n log 1 +

f n

d =

8 > < , > :

c, 0,

si si si

0 < < 1, = 1, 1 < < .

Ind. La sucesi on 0 fn = n log[1 + (f /n) ], es creciente para 1, por el ejercicio (66) y 8 >    n (n/f ) n(f /n)  si > 1. < 0, f 1 1 1+ = 1+ , n = 1 , si = 1. > n (n/f ) : , si < 1. y fn f para = 1 y fn para < 1, en cuyo caso el resultado se sigue del TCM. Para 1, fn f , pues para x 0 y 1, 1 + x (1 + x) (ya que si h(x) = (1 + x) x 1, h(0) = 0 y h (x) > 0), y    n   f n f efn = 1 + 1+ ef , n n y se aplica el TCD.

Ejercicio 69.- Demostrar que si f es integrable, entonces para cada existe un > 0, tal que
Z

> 0,

(E ) <

|f | d < .

R Ind. Sea (A) = A |f | d, que es una medida R nita y Bn = {|f | > n}, entonces Bn B = {|f | = }, por tanto (Bn ) (B ) = B |f | d = 0, por tanto existe un N , tal que para n N , (Bn ) /2. Ahora bien Z Z Z |f | d + n(E ), |f | d + |f | d = c 2 E Bn E Bn E

y basta tomar /2n.

Ejercicio 70.- Demostrar que si f : R Rx f dm es uniformemente continua.

Ind. Aplicar el ejercicio anterior.

es Lebesgue integrable F (x) =

Ejercicio 71.- Demostrar que si f tiene integral impropia de Riemann, entonces es continua c.s. (m), pero no rec procamente.

28
Ind. Se sigue del teorema de caracterizaci on, pues es Riemann integrable en cada intervalo acotado y por tanto en el es continua c.s. El rec proco no es cierto para f (x) = x, ni siquiera para f acotada, f = I[0,) I(,0) .

Ejercicio 72.- Sea f : R R no negativa, con integral impropia de Riemann nita, demostrar que f es Lebesgue medible e integrable y las dos integrales coinciden. Dar un contraejemplo si quitamos la no negatividad.
Ind. Consideremos la sucesi on fn = f I[n,n] , para la que fn f , entonces es Lebesgue medible por serlo las fn y por el Teorema de caracterizaci on y el Teorema de la convergencia mon otona Z Z n Z Z f (x)dx = lim f (x)dx = lim fn dm = f dm,
n n n

Si quitamos la no negatividad es falso pues por ejemplo para f = existe

Z
X (1)n I[n1,n) , n n=1 X (1)n , n n=1

f (x)dx =

y es nita y sin embargo no es Lebesgue integrable, pues no lo es |f |, ya que P (1/n) = .

|f |dm =

Ejercicio 73.- Demostrar que si f :

Z

R R es Lebesgue integrable
Z
a, b

f dm =
[,]

lim

f dm.
[a,b]

Es cierto si existe la integral pero no es nita?

Soluci on.- (A) =
R
A

f dm es una carga y si An A, (An ) (A).

Ejercicio 75.- Calcular: R (a) limn R0 (1 + (x/n))n sen(x/n) dm. (b) limn R 0 n sen(x/n)[x(1 + x2 )]1 dm. on de a. (c) limn a n(1 + n2 x2 )1 dm, en funci
Ind. (a)= 0 por TCD, pues la sucesi on (1 + (x/n))n es creciente y converge a ex , por tanto, |(1+(x/n))n sen(x/n)| (1+(x/2))2 , y esta u ltima es integrable. Rx dx/(1 + x2 ) = arctan(x) y para (c) se hace el cambio (b)=/2 pues | sen t/t| 1 y 0 t = nx.

Ejercicio 76.- Dadas las funciones

Z
x 0

f (x) = demostrar que:

et dt

2

1 0

g (x) =

ex (t +1) dt, t2 + 1

29
(1) f (x) + g (x) = /4. R 2 (2) 0 ex dm = /2.
Ind. (1) f (x) + g (x) = 0. (2) limx g (x) = 0.

Ejercicio 77.- Demostrar: R 2 (1) x2n ex dm = (2n)! /4n n!. R x2 2 (2) Para a 0, e cos ax dm = ea /4 . (3) Para p > 0,
R1
0

xp1 (x 1)1 log x dm =

P
2

n=0

1/(p + n)2 .

Ind. (1) Por on derivando x2n+1 ex y utilizando el ejercicio anterior. Pinducci n x2n /(2n)!. (2) cos x = ( 1) n=0 P n (3) 1/(1 x) = n=0 x , (xn+p log x1 ) = (n + p)xn+p1 log x1 xn+p1 , por tanto
R1
0

xn+p1 log x1 dx = 1/(p + n)2 .

Ejercicio 78.- Demostrar que es de clase innito la funci on en (0, )

Z
0

(y ) =

ex xy1 dm,

y que verica: ( y +1) = y (y ) para y > 0; que (n+1) = n!, para n = 0, 1, 2, . . . y que (1/2) = .
Ind. Basta ver que lo es en cada intervalo (a, b) con 0 < a, para lo cual tenemos que probar que tanto la funci on f (x, y ) = ex xy1 , como sus derivadas parciales k f /y k = ex xy1 (log x)k est an acotadas por una funci on integrable para todo y (a, b). Para 0 < x < 1, xr = er log x es decreciente en r y para 1 < x creciente, por tanto para y (a, b) ( xa1 , si 0 < x 1, f (x, y ) = ex xy1 g (x) = M ex/2 , si 1 x, (pues sup{ex/2 xb1 : x 1} = M < ya que limx ex/2 xb1 = 0) y g es integrable. Como el integrando es continuo, tambi en lo es. Que es de clase 1 es an alogo pues basta verlo como antes en cada abierto (a, b) siendo ( f xa1 | log x|, si 0 < x 1, x y 1 =e x | log x| h(x) = N ex/2 , si 1 < x, y (pues limx ex xb1 | log x| = 0) y h es integrable, por tanto Z (y ) = ex xy1 log x dm,
0

como el integrando es continuo, tambi en. De modo an alogo se prueba para el resto de derivadas observando que xa1 | log x|k es integrable en (0, 1] y que
x

lim ex xb1 | log x|k = 0.

30
Por u ltimo derivando ex xy , respecto de x, se demuestra f acilmente que (y + 1) = y (y ), ahora bien por el ejercicio (74), (1) = 1 y haciendo el cambio x = t2 , se sigue del ejercicio (76) que (1/2) = .

Ejercicio 79.- Sean 1 y 2 espacios topol ogicos. Demostrar que: (a) B(1 ) B (2 ) B(1 2 ). (b) Si sus topolog as tienen bases numerables, B(1 ) B (2 ) = B(1 2 ).
Soluci on.- (a) Como las proyecciones i : 1 2 i son continuas son B(1 2 )medibles, por tanto dados A B(1 ) y B B(2 ),
1 1 A B = 1 (A) 2 (B ) B(1 2 ),

y se sigue la inclusi on de (a). (b) Si Ci es una base numerable de la topolog a Ti de i , C = {U V : U C1 , V C2 } B(1 ) B(2 ), es una base numerable de la topolog a producto T , por tanto T (C ) B(1 ) B(2 ), y se sigue el resultado.

Ejercicio 82.- Sea f : R2 R, tal que fx es Borel medible para cada x y f y continua para cada y . Demostrar que f es Borel medible.
Ind.- Basta observar que la sucesi on de funciones medibles fn (x, y ) =
X i=

f (i/n, y )I{(i1)/n<xi/n}R ,

verica fn f , pues fn (x, y ) = f (xn , y ), para un xn = i/n tal que |xn x| 1/n.

Ejercicio 88.- Sea (, A, ) un espacio de medida nita y f : R medible y no negativa. Demostrar que la gr aca de f es medible E = {(x, y ) [0, ] : y = f (x)} A B (R), y que m(E ) = 0.
Ind. Consideremos las funciones medibles 2 (x, y ) = y y h(x, y ) = f (x), entonces E = {h = 2 } y como m(Ex ) = 0, m(E ) = 0.

Ejercicio 89.- Sea (, A, ) un espacio de medida nita y f : R medible y no negativa. Demostrar que la funci on F (y ) = {f 1 (y )} es medible y F = 0 c.s.
R

Ind. En los t erminos del ejercicio anterior F (y ) = (E y ) y 0 = m(E ) = F (y ) dm.

31
Ejercicio 91.- Sea (, A, ) un espacio de medida nita, f : [0, ] medible y 1 p < . Demostrar que
Z

f p d =

Z
0

ptp1 {f > t} dt.

Ind. Haciendo el cambio de variable s = tp , Z Z Z ptp1 {f > t} dt. f p d = {f p > s} ds =

0 0

Ejercicio 95.- Sea (, A, ) un espacio medible con una carga. Demostrar: (a) g es integrable si y s |integrable. Rolo si es |R (b) Si g es integrable, g d |g | d||. (c) Existe una medida y una R funci on medible f , con integral respecto de , tal que para todo E A, (E ) = E f d.
Ind. (c) Considerar una descomposici on de Hahn, P, N , f = IP IN y = ||.

Ejercicio 99.- Sea una carga en un espacio medible (, A), demostrar que ||(A) = sup{
n X i=1

|(Ei )| : Ei A, disjuntos, Ei = A},

P
i=1

Es cierto el resultado si ponemos

n X i=1

en lugar de sumas nitas?.

Ind. Sean E1 , . . . , En A medibles y disjuntos, tales que Ei = A entonces |(Ei )|

n X i=1

||(Ei ) = ||(A),

por tanto ||(A) es una cota superior para el supremo. Veamos que se alcanza, para ello sea P, N una descomposici on de Hahn ||(A) = + (A) + (A) = |(A P )| + |(A N )|, y el resultado se sigue pues A P , A N es una partici on de A.

Ejercicio 100.- Sea (, A) un espacio medible con una medida compleja = + + + 1 + i2 = + 1 1 + i2 i2 , demostrar que i || 1 + 1 + 2 + 2 .
+ + + Ind. i i + i = |i | || |1 | + |2 | = 1 + 1 + 2 + 2 .

Ejercicio 101.- Sea (, A, ) un espacio deR medida y f una funci on medible no negativa. Si denimos la medida (A) = A f d, demostrar que para cada funci on medible g Z Z g d = f g d,

32
en el sentido de que si una de las integrales existe tambi en la otra y son iguales.
Ind. Demu estrese para indicadores, funciones simples, funciones no negativas y en general.

Ejercicio 103.- Sean y medidas nitas, con y sea = + . Demostrar que y si f = d/d, entonces 0 f < 1 c.s () y que d/d = f /(1 f ).
Ind. Existe g = d/d, con 0 g < , entonces g + 1 = d/d y f (g + 1) = d/d, por tanto g = f (g +1) c.s. () y 0 f = g/(g +1) < 1 c.s. () y g = f /(1 f ) c.s.().

Ejercicio 104.- Sean y medidas nitas en (, A), demostrar que son equivalentes las condiciones: (a) y . (b) {A A : (A) = 0} = {A A : (A) = 0}. R (c) Existe una funci on medible g : (0, ), tal que (A) = A g d.
Ind. (a)(b) es trivial. (a)(c) Por el Teorema de RadonNikodym 0 d/d < y por el ejercicio anterior d d d 1= = , d d d por tanto d/d es invertible c.s. y por tanto positiva c.s. (a) Como existe g 1 y es no negativa tiene integral y si consideramos (A) = R (c) 1 d, tendremos que g A d d d = = g 1 g = 1 d d d = .

Ejercicio 105.- Demostrar que si (, A, ) es un espacio de medida nita, existe una medida nita , que tiene los mismos conjuntos nulos que .
Ind. Sea An una partici on de , con 0 < (An ) < (observemos que los de medida nula los podemos unir a cualquier otro An de medida positiva) y sea g=
X n=1

1 IA , 2n (An ) n
R
A

entonces el resultado se sigue del ejercicio anterior para (A) =

g d.

Ejercicio 106.- Sea (, A, ) un espacio de medida nita y f : C integrable. Demostrar que si S es un cerrado de C, tal que para cada E A con (E ) > 0, se tiene Z 1 f d S (E ) E entonces f (x) S c.s.
Ind. Hay que demostrar que [f 1 (S c )] = 0, ahora bien como S c es abierto es una uni on numerable de discos cerrados y basta demostrar que para cualquiera de

33
ellos D[z, r], [f 1 (D[z, r])] = 0. Supongamos que no, que E = f 1 (D[z, r]), tiene (E ) > 0, entonces llegamos a un absurdo, pues Z Z Z 1 1 1 f d z = (f z ) d |f z | d r. r< (E ) E (E ) E (E ) E

Ejercicio 107.- Sea (, A, ) un espacio de medida. Demostrar que { M(A, R) : }, es un subespacio vectorial cerrado del espacio de Banach M(A, R).
Ind. Veamos que su complementario es abierto. Sea M = { M(A, ) : } y M M , entonces existe A A, tal que (A) = 0 y (A) = 0, entonces para 0 < r |(A)| y < r, M M , pues | (A) (A)| < r, y por tanto (A) = 0.

Ejercicio 108.- Sean 1 1 en (1 , A1 ) y 2 nitas. Demostrar que 1 2 1 2 y que

2 en (2 , A2 ), medidas

d(1 2 ) d1 d2 (x, y ) = (x) (y ). d(1 2 ) d1 d2

Soluci on.- Sea E A tal que (E ) = 1 2 (E ) = 0, entonces como (E ) = 2 (Ex ) d1 , 2 (Ex )R= 0 c.s. 1 , por tanto c.s. 1 y 2 (Ex ) = 0 c.s. 1 , por tanto (E ) = 1 2 (E ) = 2 (Ex ) d1 = 0. Ahora si f = d1 /d1 , g = d2 /d2 y h(x, y ) = f (x)g (y ), entonces como h 0, tiene integral y Z Z Z Z Z g d2 )f d1 g d2 ) d1 = ( (E ) = 2 (Ex ) d1 = (
R Z Z Z = ( IEx hx d2 ) d1 = h d.
E Ex Ex

Ejercicio 111.- Calcular el area y el volumen de la elipse y elipsoide respectivamente x2 y2 x2 y2 z2 + 2 = 1, + 2 + 2 = 1. 2 2 a b a b c

Ind. Consideremos la aplicaci on lineal  a T : 2 2 , (x, y ) 0
    0 x ax = , b y by

que para E = {(x, y ) 2 : x +y 1}, y B = {(x, y ) : x2 + y 2 1}, T (B ) = E , a2 b2 por tanto m[E ] = m[T (B )] = | det T |m[B ] = ab.

34
Ejercicio 114.- (a) Demostrar que el area de la esfera de radio r es 4r2 . (b) Demostrar que el area del casquete esf erico de radio r y altura h es 2rh.
Ind. Basta demostrar (b). La proyecci on del casquete es el c rculo de radio p k = 2rh h2 , pues k2 + (r h)2 = r2 , y su area es para z (x, y ) = r2 x2 y 2 y U = {x2 + y 2 k2 } Z q Z dx dy 2 + z 2 dx dy = r p 1 + zx , y r 2 x2 y 2 U U y por el teorema de cambio de variable para F = (f1 , f2 ) : V = (0, k) (0, 2 ) 2 , F (, ) = ( cos , sin ), como F (V ) = U = {x2 + y 2 k2 } y J (DF(,) ) = |f1 f2 f1 f2 | = , Z Z hp ik dx dy d d p p r2 2 = 2 r h. r =r = 2 r 2 2 2 2 2 0 r x y r F (V ) V

Ejercicio 118.- Sea (, A, ) un espacio de medida nita y f : C medible. Demostrar que f (B ) = [f 1 (B )] es una medida en B(C), y que si f L , entonces K = {z C : f [B (z, )] > 0, > 0}, es un compacto, donde B (z, ) = {z : |z z | < } y que f

= sup{|z | : z K }.

Soluci on.- Veamos que K c es abierto. Sea z K c , entonces existe > 0 tal que f [B (z, )] = 0, pero entonces B (z, ) K c , pues la bola es abierta y dado z B (z, ), existe un > 0, tal que B (z , ) B (z, ), por tanto f [B (z , )] = 0 y z K c . Ahora veamos que K es acotado, para ello veamos que si z K , |z | f o rec procamente sea z con f < |z |, entonces existe > 0 tal que

< |z |

{x : |f (x) z | < } {|f | > f

},

pues |z ||f (x)| |z f (x)| y f [B (z, )] = {x : |f (x) z | < } {|f | > f } = 0, por tanto z K c . Ahora veamos que el supremo es f . Para ello sea k > sup{|z | : z K }}, entonces f {|z | k} = 0, pues para z tal que k |z |, z K c y existe un > 0 tal que f [B (z, )] = 0, ahora basta considerar que {z : k |z |} es uni on numerable de compactos por tanto existe un recubrimiento numerable suyo por bolas del tipo anterior. Pero entonces {|f | k} = 0 y f k. Un argumento alternativo es: tomemos para cada |z | k de coordenadas racionales, la bola de radio m aximo rz tal que f [B (z, rz )] = 0. La uni on de esta colecci on numerable de bolas contiene a {z : k |z |} y tiene medida nula.

Ejercicio 119.- Demostrar que si 0 < r < p < s < , entonces Lr Ls Lp Lr + Ls .

35
Soluci on.- Sea A = {|f | 1}, entonces si f Lr Ls , Z Z Z |f |p d = |f |p d + |f |p d Ac A Z Z Z Z |f |s d + |f |r d |f |s d + |f |r d < ,
Ac A

y si f = IA f + IAc f Lp , IA f Ls , IAc f Lr .

Ejercicio 120.- Demostrar que si 0 < r < s < y f Lr Ls , entonces f Lp , para todo p [r, s]; que la funci on
Z

(p) = log es convexa en [r, s] y que f

p

|f |p d,
r,

max{ f

s }.

Soluci on.- Sean r a < b s y t [0, 1], entonces basta demostrar que e[ta+(1t)b] et(a)+(1t)(b) , es decir que, para c = ta + (1 t)b, Z t Z 1t Z |f |c d |f |a d |f |b d , y esto es consecuencia de la Desigualdad de Holder , pues para p = 1/t y q = 1/(1 t), obviamente conjugados y las funciones g p = |f |a , hq = |f |b , tendremos que g Lp , h Lq , y gh = |f | p
a+b q

= |f |ta+(1t)b = |f |c ,

adem as tomando ahora a = r y b = s y un valor intermedio c = tr + (1 t)s, tendremos que Z 1/c Z t/c Z (1t)/c f c= |f |c d |f |r d |f |s d = f
tr/c r

(1t)s/c s

max{ f

r,

s }.

Ejercicio 121.- Demostrar que un espacio normado E es completo sii para cada sucesi on xn E
X

xn <

xn

es convergente.

P P Soluci on.- ) Sea xn < , entonces vn = n i=1 xi es de Cauchy y tiene l mite por ser el espacio completo. ) Sea vn de Cauchy e yn una subsucesi on suya tal que yn+1 yn 2n , P entonces para xn = yn+1 yn , xn es convergente, por tanto tambi en es converP P 1 gente xn = x y como yn = y1 + n mite as como vn . i=1 xi , tiene l

36
Ejercicio 123.- Demostrar que si f, g Lp para 0 < p < 1, entonces f +g
p

2p

1 1

( f

+ g

p)

Ind. Por la desigualdad (a + b)r < ar + br , para 0 < r < 1 y a, b > 0 y por la concavidad de xp ! R R R R R 1/p 1/p p |f |p + |g |p |f + g |p d |f |p d + |g |p d . 2 2 2

Ejercicio 124.- Demostrar que si f Lp para alg un 0 < p < , entonces f

r

cuando r .
{|f | > 0} es nito y {|f | > f
}

Soluci on.- Si f Lp L , entonces es loc. nulo, por tanto su intersecci on A = {|f | > f } es nulo y para r p Z 1/r Z 1/r f r= |f |p |f |rp d = |f |p |f |rp d f
(r p)/r

Z
Ac

1/r |f |p d = f

Ac

(r p)/r

p/r p

< , > 0,

y haciendo r se sigue que lim sup f r f . Ahora para cada B = {|f | > f } no es localmente nulo, por tanto (B ) > 0 y Z 1/r (B )1/r ( f ) |f |r d f r,
B

por lo que (B ) < y haciendo r , tendremos que f

lim inf f

r,

y el resultado se sigue. Si por el contrario f n} > 0 y Z {|f | > n}1/r n

= , entonces para todo n, {|f | >

!1/r
r

|f | d
r

r,

{|f |>n}

y haciendo r , tendremos que n lim inf f

y el resultado se sigue.

Ejercicio 125.- Demostrar que si () < y 0 < r < s < , entonces Ls Lr y que para f Ls f
r

s () r

11 s

Ind. Sea f Ls , entonces para p y q conjugados, con 1 < p = s/r, f r Lp y como 1 Lq , tendremos por la Desigualdad de Holder que f r 1 = f r L1 , es decir f Lr y adem as Z 1/p Z |f |r f r p 1 q = |f |rp d ()1/q ,

37
el resto es simple.

Ejercicio 126.- Demostrar que si () < y fn , f son medibles, entonces: (a) Si fn f c.s., entonces fn f en medida (es decir que para todo > 0 existe un N N, tal que para n N , {|fn f | > } < ). (b) Si fn f en Lp (con 1 p ), entonces fn f en medida.
Soluci on.- (a) Observemos que fn (x) no converge a f (x) sii existe un > 0, tal que para todo N , hay un n N , para el que |fn (x) f (x)| > , por lo tanto

0 = {fn y para cada ejercicio 14)

9 f } = { >0 N =1 n=N |fn f | >

},

> 0 y An ( ) = {|fn f | > }, como la medida es nita se tiene (ver lim {An ( )} = 0.

lim sup {An ( )} {lim sup An ( )} = 0

p p

(b) Para p < , por la desigualdad de Tchebyche {An ( )} fn f

p

0,

y para p = , dado el > 0, basta considerar N tal que para n N , fn f pues {|fn f | > } {|fn f | > fn f } = 0.

< ,

Ejercicio 127.- Demostrar la Desigualdad de Jensen, es decir que si () = 1, f R : (a, R b) es medible e integrable y : (a, b) f d f d.

R es convexa, entonces

Soluci on.- Toda funci on convexa tiene la propiedad de que para todo x0 (a, b) existeRuna funci on af n, h(x) = px + c, tal que h(x) (x) y h(x0 ) = (x0 ). Tomemos x0 = f d, y veamos en primer lugar que x0 (a, b), para ello observemos que para a = , como f es integrable, a < x0 , por lo que tambi en si b = es x0 < b. En el caso nito, pongamos b < , si fuera x0 = b, como f < b, b f > 0 y tiene integral nula, lo cual implicar a que b f = 0 c.s., lo cual es absurdo. Ahora el resultado es evidente pues tomando la funci on h correspondiente tendremos que Z  Z  f d = (x0 ) = h(x0 ) = px0 + c = p f d + c Z Z Z = (pf + c) d = h[f ] d [f ] d.

Ejercicio 128.- DemostrarRque si () R = 1 y f, g son medibles y positivas y tales que f g 1, entonces ( f d) ( g d) 1.

Soluci on.- 1/f g y por la Desigualdad de Jensen , para (x) = 1/x, Z Z 1 1 R d g d. f f d

Ejercicio 129.- Demostrar que si 0 < r < s , entonces lr ls .

38
P Soluci on.- Para s = |xn |r < , en particular P esrobvio, pues si xn es tal que r tendremos que |xn | |xn | < y por tanto |xn | est a acotada. Sea ahora s < , como s olo hay P P un conjunto nito F de n para los que |xn | 1, pues en caso contrario |xn |r F |xn |r = , se tiene que
X n=1

|xn |s =

X
F

|xn |s +

NF

|xn |s

X
F

|xn |s +

NF

|xn |r < .

Ejercicio 130.- Sea g L , demostrar que para 1 p < , si f Lp , gf Lp , que la aplicaci on G : Lp Lp , G(f ) = gf , es lineal y continua y que G = g .
Soluci on.- Si f Lp y g L , entonces |f g | |f | g c.s., por tanto |f g |p |f |p g p c.s. y G(f ) p g f p , por tanto G es acotada y G g , veamos la otra desigualdad, para ello sea > 0, entonces {|g | > g } no es localmente nulo y tiene un subconjunto medible A, con 0 < (A) < , por tanto f = IA Lp , f p = (A)1/p y Z ( g )(A)1/p ( |f g |p )1/p = G(f ) p G f p .