Ejercicios resueltos

18 de septiembre de 2003

1
Ejercicios Tema I

Ejercicio 1 Demostrar que una clase no vaca A es un

algebra en si
y s
olo si se verifican las siguientes propiedades:
i) Si A A entonces Ac A.
ii) Si A, B A, entonces A B A.
on F : 0 , 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 : 0 , demostrar que:
(a) Si A es una
algebra de , A0 = {B 0 : F 1 (B) A} lo es de
0
.
(b) Si A0 es una
algebra de 0 , A = F 1 [A0 ] = {F 1 (B) : B
0
A } lo es de .
(c) Si C P(0 ), [F 1 (C)] = F 1 [(C)].
(d) Demostrar que si (, T ) y (0 , T 0 ) son espacios topol
ogicos y F es
continua, entonces F 1 (B) B(), para todo B B(0 ).
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 infinita 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
verifique (An ) () = 0.
Ejercicio 11 Consideremos (N, P(N), ), para (A) = 0 si A es finito
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 verifique
(An ) (A).
Ejercicio 12 Dada una medida y una sucesi
on An A, demostrar
que

[
X
(
An )
(An ).
n=1

n=1

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

[
X
(
An )
(An ).
n=1

n=1

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

(Cn ) <

(lim sup Cn ) = 0.

n=1

Ejercicio 16 Dada una medida finita 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
lim lim xnm = lim lim xnm .

n m

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) define una medida en
el espacio.
P
b) Sean como sean las n , (A) =
n (A), define una medida en
el espacio.
Ejercicio 19 Dado un espacio no numerable y
A = {E : E
o E c es numerable},
(
0, si E es numerable,
(E) =
1, si E c es numerable,
para cada E A,
demostrar que A es
algebra y medida.
Ejercicio 20 Dado un espacio de medida semifinita (, 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 finita es semifinita. Dar
un contraejemplo para el recproco.

4
Ejercicio 22 Dado un espacio de medida (, A, ), definimos : A
[0, ], de la siguiente manera
(A) = sup{(B) : B A, B A y (B) < },
demostrar que:
a) es una medida semifinita.
b) Que si es semifinita entonces = .
Ejercicio 23 Demostrar que la medida exterior de Lebesgue en R, se
puede definir 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 tambien 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

6= .
Ejercicio 25 Dado un espacio de medida (, A, ). Demostrar:
(a) Si A, B A y (A4B) = 0 entonces (A) = (B).
(b) La relaci
on entre conjuntos medibles A ' B si y s
olo si (A4B) =
0, es de equivalencia.
(c) En el espacio cociente X = {A A : (A) < }/ ' la aplicaci
on
(A, B) = (A4B),
define una metrica, respecto de la que la aplicaci
on A X Ac X es
una isometra (si () < ) y las aplicaciones de X X X
(A, B) A B,

(A, B) A B,

(A, B) A4B,

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},

5
y que si definimos la medida interior
(A) = sup{(B) : B A, B A},
entonces si A A se tiene que (A) = (A) = (A) y recprocamente
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 finita. Encontrar una que sea finita pero no de LebesgueStieltjes.
Encontrar una que sea finita pero no regular.
Ejercicio 29 Demostrar que toda medida semifinita : 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 0 y consideremos el espacio metrico (0 , d), con
la metrica inducida. Demostrar que la medida exterior de Hausdorff en
0 , Hp0 = Hp|P(0 ) .
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 metrica eucldea, demostrar que la dimensi
on vectorial y la de Hausdorff 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
(
f (x) si x A,
h(x) =
g(x) 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)},

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

{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 finito 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.

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 6= IB } =

AB.
Ejercicio 48 Si f : R R tiene derivada en todo punto, demostrar que
f 0 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
R de medida y f =
con an (0, ) y An A, calcular f d.

P
n=1

an IAn ,

Ejercicio 51 Sea f 0 integrable.

que > 0 existe un
R Demostrar
R
medible A, con (A) < tal que f < A f + .
Ejercicio 52 Sea f integrable
y > 0. Demostrar que existe una funR
ci
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
R fn R0 medibles tales que fn f . Demostrar que si
f1 es integrable, fn f . Es cierto si f1 no es integrable?
Ejercicio
R 55 Sean
R f, fnR 0 integrables, tales que fn f c.s. Demostrar que fn f sii |fn f | 0.
Ejercicio 56 Sea () < y fn integrables tales
queRfn f uniforR
memente. Demostrar que f es integrable y que fn f .
Ejercicio
57 Sean f, fRn integrables,
tales que fn f c.s. Demostrar
R
R
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 finita 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.
R
R
que si f R g c.s.,
Ejercicio 61 Demostrar
R
R existe la f y < R f ,
entonces existe la R g y siR 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:
Z

lim

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

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

Z
Z
f (x)dm =
f (x a)dm,

en el sentido de que si una integral existe tambien la otra y coinciden.

Ejercicio 65 Sea f : R R medible tal que
etx f (x) es integrable para
R tx
todo t (a, b)
R R. Demostrar que F (t) = e f (x) dm es diferenciable
y que F 0 (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 tambien es creciente.
Ejercicio 67 Demostrar que
Z n
Z
(a)
lim
(1 (t/n))n log t dm =
n

(b)

et log t dm.

lim

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

et log t dm.

9
R
Ejercicio 68 Sea f no negativa e integrable, con 0 < f d = c < y
sea 0 < < . Demostrar que

si 0 < < 1,
Z
,
f
lim
n log 1 +
d = c,
si = 1,
n

0,
si 1 < < .
Ejercicio 69 Demostrar que si f es integrable, entonces para cada
> 0, existe un > 0, tal que
Z
(E) <
|f | d < .
E

70 Demostrar que si f : R R es Lebesgue integrable F (x) =

REjercicio
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 recprocamente.
Ejercicio 72 Sea f : R R no negativa, con integral impropia de Riemann finita, 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
Z
Z
f dm =
lim
f dm.
[,]

a, b

[a,b]

Es cierto si existe la integral pero no es finita?

R n x
Ejercicio 74 Demostrar por inducci
on que
x e dm = n!.
R tx 0
(b) Demostrar que para t > 0, 0 e
dm = 1/t y utilizarlo para
demostrar (a) sabiendo que la integral es finita, derivando respecto
de t.
Ejercicio 75 Calcular:
R
(a) limn 0 (1 + (x/n))n sen(x/n) dm.
R
(b) limn 0 n sen(x/n)[x(1 + x2 )]1 dm.
R
(c) limn a n(1 + n2 x2 )1 dm, en funci
on de a.

10
Ejercicio 76 Dadas las funciones
Z
f (x) =

t2

2
dt ,

g(x) =
0

ex (t +1)
dt,
t2 + 1

demostrar que:
R

2
(a) f (x) + g(x) = /4. (b) 0 ex dm = /2.
Ejercicio
R 77 Demostrar:

2
(1) x2n ex dm = 2n! /4n n!.
R x2

2
cos ax dm = ea /4 .
(2) Para a 0, e
R 1 p1
P

(3) Para p > 0, 0 x (x 1)1 log x dm = n=0 1/(p + n)2 .

Ejercicio 78 Demostrar que es de clase infinito la funci
on en (0, )
Z
(y) =
ex xy1 dm,
0

y que verifica: (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 topologas 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
finita y completos, es necesariamente completo el espacio producto?.
Ejercicio 84 Sean (1 , A1 , 1 ) y (2 , A2 , 2 ) espacios de medida
finita 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
Z
(B) = B d,
es una medida en (2 , A2 ).
(b) Si g 0 es medible en (2 , A2 ),
Z
f (x) = g dx ,
es medible en (1 , A1 ) y se tiene que
Z
Z
f d = g d.

12
Ejercicio 86 Demostrar que: (a) Si F : (, A) (0 , A0 ) es medible y
es una medida en (, A), = F (), para
(A) = [F 1 (A)],
es una medida en (0 , A0 ) y si es finita, tambien lo es.
(b) Si F1 : (1 , A1 ) (01 , A01 ) y F2 : (2 , A2 ) (02 , A02 ) son medibles entonces tambien es medible
F1 F2 : 1 2 01 02 ,

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 finitas, se verifica que
F1 F2 (1 2 ) = 1 2 .
Ejercicio 87 Sean (1 , A1 , 1 ) y (2 , A2 , 2 ) espacios de medida
finita 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
Z
Z

Z
h d =
f d1
g d2 .
Ejercicio 88 Sea (, A, ) un espacio de medida finita y f : R
medible y no negativa. Demostrar que la gr
afica 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 finita 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 finita y f, g :

[0, ) medibles y tales que para cada x > 0, {f > x} {g > x}.
Demostrar que
Z
Z
f d

g d.

13
Ejercicio 91 Sea (, A, ) un espacio de medida finita, f : [0, ]
medible y 1 p < . Demostrar que
Z
Z
f p d =
ptp1 {f > t} dt.
0

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 0 , N 0 son descomposiciones de Hahn, ||(P 4P 0 ) = 0.
Ejercicio 94 Sean 1R, 2 medidas, =R 1 +2 y fR una funci
on medible.
Demostrar que existe f d sii existen f d1 la f d2 y su suma est
a
definida. Y en tal caso
Z
Z
Z
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,
Z
Z

g d |g| d||.

(c) Existe una medida y una funci

on medible f , con integral respecto
de , tal que para todo E A
Z
(E) =
f d.
E

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
Z
Z
Z
+
+

(A) =
f d, (A) =
f d, ||(A) =
|f | d.
A

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
X

||(A) = sup{

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

i=1

Es cierto el resultado si ponemos

P
i=1

en lugar de sumas finitas?.

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 Rf una funci

dible no negativa. Si definimos la medida (A) = A f d, demostrar
que para cada funci
on medible g
Z
Z
g d = f g d,
en el sentido de que si una de las integrales existe tambien la otra y son
iguales.

15
Ejercicio 102 Sean 1 , 2 y 3 medidas, 2 y 3 finitas, 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 finitas, 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 finitas en (, A), demostrar que
son equivalentes las condiciones:
(a) y .
(b) {A A : (A) = 0} = {A A : (A) = 0}.
on medible g : (0, ), tal que (A) =
R (c) Existe una funci
g
d.
A
Ejercicio 105 Demostrar que si (, A, ) es un espacio de medida
finita, existe una medida finita , que tiene los mismos conjuntos nulos
que .
Ejercicio 106 Sea (, A, ) un espacio de medida finita 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.
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).
Ejercicio 108 Sean 1 1 en (1 , A1 ) y 2 2 en (2 , A2 ), medidas finitas. 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
Z
Z

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

H1 ([a, b]) =

k (t)k dt =
a

v
u n
uX
t
x0 (t)2 dt.
i

i=1

afica 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

R2 R3 , F (x, y) =

1 + fx2 + fy2 dxdy.

area de la esfera de radio r es 4r2 .

Ejercicio 114 (1) Demostrar que el
(2) Demostrar que el
area del casquete esferico de radio r y altura h es 2rh.

Ejercicios Tema VI
Ejercicio 115 Demostrar que si f L , entonces {x :
kf k } es localmente nulo.

|f (x)| >

17
Ejercicio 116 Demostrar que si f L y es integrable, entonces {x :
|f (x)| > kf k } es nulo.
Ejercicio 117 Sea (, A, ) un espacio de medida finita. 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 isomorfismo.
Ejercicio 118 Sea (, A, ) un espacio de medida finita 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 0 : |z 0 z| < } y que
kf k = 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
Z
(p) = log |f |p d,
es convexa en [r, s] y que kf kp max{kf kr , kf ks }.
Ejercicio 121 Demostrar que un espacio normado E es completo sii
para cada sucesi
on xn E
X
X
kxn k <
xn
es convergente.
Ejercicio 122 Demostrar la desigualdad
de Holder generalizada: Si 1
P
p1 , . . . , pn son tales que (1/pi ) = 1/r 1 y fi Lpi , entonces
n
Y
i=1

f i Lr ,

n
Y
i=1

fi kr

n
Y
i=1

kfi kpi .

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

kf + gkp 2 p 1 (kf kp + kgkp )

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

kf kr kf ks () r 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
Z
Z

f d

f d.

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

y tales que f g 1, entonces
Z
Z
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 kGk = kgk .

19

Ejercicios resueltos
Ejercicio 3.- Dada una aplicaci
on F : 0 , demostrar que:
(a) Si A es una
algebra de , A0 = {B 0 : F 1 (B) A} lo es de 0 .
(b) Si A0 es una
algebra de 0 , A = F 1 [A0 ] = {F 1 (B) : B A0 } lo
es de .
(c) Si C P(0 ), [F 1 (C)] = F 1 [(C)].
(d) Demostrar que si (, T ) y (0 , T 0 ) son espacios topol
ogicos y F es continua,
entonces F 1 (B) B(), para todo B B(0 ).
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

mn
1
Ac = Ac1 Acn = (m
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 finitas.

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 =Ac1 2 n
A1 Ac2 n . . .
A1 An1 Acn A0 .

Ejercicio 9.- Puede una

algebra infinita contener s
olo una colecci
on numerable de elementos?

20
Ind. No porque al menos tendra una colecci
on numerable An de conjuntos
disjuntos y las uniones arbitrarias de estos seran distintas e identificando cada An
con n , estas uniones se identificaran con partes de que es no numerable.

Ejercicio 12.- Dada una medida y una sucesi

on An A, demostrar que
(

An )

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

(Cn ) <

(lim sup Cn ) = 0.

n=1

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
lim lim xnm = lim lim xnm .

n m

m n

Ind. Demostrar que existen los lmites 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 simetra.

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.
Ind. Si An A y para todo n An es numerable, entonces An A por ser
numerable y si existe un i tal que Aci es numerable, entonces (An )c = Acn Aci 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 6= i, Aj Aci 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 semifinitas), 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 valdra c < y para todo n , podramos encontrar

Fn E tal que (Fn ) > c (1/n) y considerando Bn = n
y su uni
on expansiva
i=1 FiP
Bn B, tendramos que (Bn ) c, pues Bn E y (Bn ) n
i=1 (Fi ) < , por
tanto tomando lmites (B) c, pero como
(Bn ) (Fn ) c

1
,
n

tomando lmites (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 definici
on existe un
medible A E\B con 0 < (A) < , por lo que B A E tiene medida finita
mayor que c.

Ejercicio 22.- Dado un espacio de medida (, A, ), definimos : A [0, ],

de la siguiente manera
(A) = sup{(B) : B A, B A y (B) < },
demostrar que:
(a) es una medida semifinita.
(b) Que si es semifinita 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 A0 A, B 0 B, de A con medidas finitas por ,
tendremos que son disjuntos y
(A0 ) + (B 0 ) = (A0 B 0 ) (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 semifinita.
(b) Es consecuencia del ejercicio 20.

Ejercicio 23.- Demostrar que la medida exterior de Lebesgue en R, se puede

definir 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

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

n=1

R,

R,

(an , bn ]},

n=1

(cn , dn )},

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 6= .
Ind. (a) ParaP
A , (A) = inf{
de estos n
umeros
(Ai ),

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

(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 definimos la medida interior
(A) = sup{(B) : B A, B A},

23
entonces si A A se tiene que (A) = (A) = (A) y recprocamente 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

finita. Encontrar una que sea finita pero no de LebesgueStieltjes. Encontrar
una que sea finita pero no regular.
Ind. En

R, (A) el numero de racionales de A.

Ejercicio 29.- Demostrar que toda medida semifinita : B(Rn ) [0, ] es

regular interior.
Ind. Se ha demostrado que toda medida es regular interior en los borelianos de
medida finita, sea B un boreliano con (B) = , entonces por ser semifinita 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.

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 ).

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],

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),

Rn ), entonces tB L(Rn ).

y se demuestra f
acilmente que si B L(

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 0 y consideremos el espacio metrico (0 , d), con la

metrica inducida. Demostrar que la medida exterior de Hausdorff en 0 , Hp0 =
Hp|P(0 ) .
Ind. Para A 0 ,
X
0
Hp,
(A) = inf{
d(An )p : A An 0 , 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 metrica eucldea, demostrar que

la dimensi
on vectorial y la de Hausdorff 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)},

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

{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)}) ,

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 0 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 0 , f 0 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. Recprocamente sea (a, b] un semirrect
angulo, con a < b n , entonces

f 1 (a, b] = {x : a < f (x) b} =

n
\

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

i=1

Rn ), f es medible.

y como estos semirect

angulos generan B(

Ejercicio 50.- Sea (, A, ) un

R espacio de medida y f =
an (0, ) y An A, calcular f d.
Ind.

RP

fn =

PR

P
n=1

an IAn , con

fn .

Ejercicio 51.- Sea f 0R integrable.

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

An

f =

f.

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

f sii

|fn f | 0.

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.

Ejercicio 57.- Sean

R
R f, fn Rintegrables, tales que fn f c.s. Demostrar que
|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

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
tx
t (a, b)
R txR. Demostrar que F (t) = e f (x) dm es diferenciable y que
0
F (t) = x e 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:
lim (1 + 1/an )an = e,

|an |

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) ) tambien 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 0, en cuyo caso f (x) f (0), para todo x 0. El otro es

similar.

Ejercicio 67.- Demostrar que

Z

(a)
(b)

lim

1
1

lim

t
n

n

t
1
n

log t dm =

et log t dm.

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


lim

n log 1 +

8
>
<,

  

f
n

d =

>
:

c,
0,

si
si
si

f d = c < y sea

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 h0 (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 > 0,

existe un > 0, tal que
Z

(E) <

|f | d < .
E

R
Ind. Sea (A) = A |f | d, que es una medida Rfinita 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
EBn
EBn
E

y basta tomar /2n.

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

es Lebesgue integrable F (x) =

Ind. Aplicar el ejercicio anterior.

Ejercicio 71.- Demostrar que si f tiene integral impropia de Riemann, entonces

es continua c.s. (m), pero no recprocamente.

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 recproco 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

finita, 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

Si quitamos la no negatividad es falso pues por ejemplo para

f =
existe

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

f (x)dx =

X
(1)n
,
n
n=1

y es finita y sin embargo no es Lebesgue integrable, pues no lo es |f |, ya que

P
(1/n) = .

|f |dm =

R R es Lebesgue integrable

Ejercicio 73.- Demostrar que si f :

Z

f dm =
[,]

lim

a, b

f dm.
[a,b]

Es cierto si existe la integral pero no es finita?

Soluci
on.- (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.
R
(b)=/2 pues | sen t/t| 1 y 0x dx/(1 + x2 ) = arctan(x) y para (c) se hace el cambio
t = nx.

Ejercicio 76.- Dadas las funciones

Z

f (x) =
0

demostrar que:

et dt

2

g(x) =
0

ex (t +1)
dt,
t2 + 1

29
(1) f (x) + g(x) = /4.
R

2
(2) 0 ex dm = /2.
Ind. (1) f 0 (x) + g 0 (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 =

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 )0 = (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 infinito la funci

on en (0, )
Z

(y) =

ex xy1 dm,

y que verifica: (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
(


a1 | log x|, si 0 < x 1,
 f 

 = ex xy1 | log x| h(x) = x
 y 
N ex/2 ,
si 1 < x,
(pues limx ex xb1 | log x| = 0) y h es integrable, por tanto
Z
0 (y) =
ex xy1 log x dm,
0

como el integrando es continuo, 0 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
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 topologas 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 ),
A B = 11 (A) 21 (B) B(1 2 ),
y se sigue la inclusi
on de (a).
(b) Si Ci es una base numerable de la topologa Ti de i ,
C = {U V : U C1 , V C2 } B(1 ) B(2 ),
es una base numerable de la topologa 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 ,

verifica 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 finita y f : R medible

y no negativa. Demostrar que la gr
afica 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 finita 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 finita, f : [0, ]
medible y 1 p < . Demostrar que
Z

f p d =

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

Ejercicio 95.- Sea (, A, ) un espacio medible con una carga. Demostrar:

(a) g es integrable si y s
Rolo si es ||integrable.
R
(b) Si g es integrable,  g d |g| d||.
(c) Existe una medida y una Rfunci
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
n
X

||(A) = sup{

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

i=1

Es cierto el resultado si ponemos

P
i=1

en lugar de sumas finitas?.

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

n
X
i=1

|(Ei )|

n
X

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

i=1

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 definimos 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 tambien la otra y son iguales.
Ind. Demu
estrese para indicadores, funciones simples, funciones no negativas y
en general.

Ejercicio 103.- Sean y medidas finitas, 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 /(1f )
c.s.().

Ejercicio 104.- Sean y medidas finitas 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.
Como existe g 1 y es no negativa tiene integral y si consideramos (A) =
R (c)(a)
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 finita,

existe una medida finita , 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

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

R
A

g d.

Ejercicio 106.- Sea (, A, ) un espacio de medida finita 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) 6= 0,
entonces para 0 < r |(A)| y k k < r, M M , pues
|(A) (A)| k k < r,
y por tanto (A) 6= 0.

Ejercicio 108.- Sean 1 1 en (1 , A1 ) y 2 2 en (2 , A2 ), medidas

finitas. Demostrar que 1 2 1 2 y que
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

Ex

Z Z
Z
= ( IEx hx d2 ) d1 =
h d.

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

+ yb2 1}, y B = {(x, y) : x2 + y 2 1}, T (B) = E,
a2
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 esferico de radio r y altura h es 2rh.
Ind. Basta demostrar (b). La proyecci
on del casquete es el crculo
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
p
1 + zx2 + zy2 dx dy = r
,
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 finita 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 0 : |z 0 z| < } y que
kf k = 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 0 B(z, ), existe un > 0, tal que B(z 0 , ) B(z, ), por tanto f [B(z 0 , )] = 0 y
z 0 K c . Ahora veamos que K es acotado, para ello veamos que si z K, |z| kf k

o recprocamente sea z con kf k < |z|, entonces existe > 0 tal que

kf k < |z|

{x : |f (x) z| < } {|f | > kf k },

pues |z||f (x)| |z f (x)| y f [B(z, )] = {x : |f (x)z| < } {|f | > kf k } =

0, por tanto z K c .
Ahora veamos que el supremo es kf k . 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 kf k 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

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

|f |p d,

es convexa en [r, s] y que kf kp max{kf kr , kf ks }.

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/(1t),
obviamente conjugados y las funciones g p = |f |a , hq = |f |b , tendremos que g Lp ,
h Lq , y
a+b
q

gh = |f | p

= |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
kf kc =
|f |c d

|f |r d
|f |s d
tr/c

= kf kr

(1t)s/c

kf ks

max{kf kr , kf ks }.

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

kxn k <

xn

es convergente.

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

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

kf + gkp 2 p

(kf kp + kgkp )

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

1/p

1/p !p
R
R
R
|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
kf kr kf k , cuando r .
Soluci
on.- Si f Lp L , entonces
{|f | > 0} es finito y {|f | > kf k } es loc. nulo,
por tanto su intersecci
on A = {|f | > kf k } es nulo y para r p
Z
1/r
Z
1/r
kf kr =
|f |p |f |rp d
=
|f |p |f |rp d
(rp)/r

kf k

Z
Ac

Ac

1/r
p/r
(rp)/r
kf kp < ,
|f |p d
= kf k

y haciendo r se sigue que lim sup kf kr kf k . Ahora para cada > 0,

B = {|f | > kf k } no es localmente nulo, por tanto (B) > 0 y
Z
1/r
(B)1/r (kf k )
|f |r d
kf kr ,
B

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

kf k lim inf kf kr ,
y el resultado se sigue. Si por el contrario kf k = , entonces para todo n, {|f | >
n} > 0 y
!1/r
Z
1/r
r
{|f | > n} n
|f | d
kf kr ,
{|f |>n}

y haciendo r , tendremos que n lim inf kf kr y el resultado se sigue.

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

Ls Lr y que para f Ls
1

kf kr kf ks () r 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 kf r kp k1kq =
|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

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

y para cada > 0 y An () = {|fn f | > }, como la medida es finita se tiene (ver
ejercicio 14)
lim sup {An ()} {lim sup An ()} = 0

lim {An ()} = 0.

(b) Para p < , por la desigualdad de Tchebycheff

{An ()}

kfn f kpp
0,
p

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

Ejercicio 127.- Demostrar la Desigualdad de Jensen, es decir que si () =

1, fR :

(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 afn, 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 finito, pongamos b < , si fuera x0 = b, como f < b, b f > 0 y tiene integral
nula, lo cual implicara 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 finito 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
kGk = kgk .
Soluci
on.- Si f Lp y g L , entonces |f g| |f |kgk c.s., por tanto |f g|p
|f |p kgkp c.s. y kG(f )kp kgk kf kp , por tanto G es acotada y kGk kgk ,
veamos la otra desigualdad, para ello sea > 0, entonces {|g| > kgk } no es
localmente nulo y tiene un subconjunto medible A, con 0 < (A) < , por tanto
f = IA Lp , kf kp = (A)1/p y
Z
(kgk )(A)1/p ( |f g|p )1/p = kG(f )kp kGkkf kp .