Ejercicios resueltos

25 de septiembre de 2009

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.
Ejercicio 2 Dada una aplicaci
on F : 0 , demostrar las siguientes
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 productos de 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) lm inf An lm sup An .
(b) Si An A (
o An A), entonces lm sup An = lm inf An = A.
Ejercicio 9 Puede una
algebra infinita contener s
olo una colecci
on
numerable de elementos?
Ejercicio 10 Demostrar que para cada funci
on f : R R: (a) El conjunto de puntos de continuidad de f , C(f ) A y los de discontinuidad
D(f ) C . (b) Demostrar que C(f ) y D(f ) son borelianos.
Ejercicio 11 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 12 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 13 Dada una medida y una sucesi
on An A, demostrar
que

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

n=1

Ejercicio 14 Sea : A [0, ], aditiva en un a

lgebra A. Dada una
sucesi
on An A de conjuntos disjuntos cuya uni
on est
a en A, demostrar
que

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

n=1

3
Ejercicio 15 Dado un espacio de medida (, A, ) y una sucesi
on An
A, demostrar que:
i) (lm inf An ) lm inf (An ).
ii) Que si (An ) < , entonces lm sup (An ) (lm sup An ).
Ejercicio 16 Demostrar el Lema de BorelCantelli: Sea (, A, ) un
espacio de medida y Cn A, entonces

(Cn ) <

(lm sup Cn ) = 0.

n=1

Ejercicio 17 Dada una medida finita sobre una

algebra A y una
sucesi
on An A tal que lm inf An = lm sup An = A, demostrar que
(A) = lmn (An ).
Ejercicio 18 Dada una sucesi
on doble xnm (, ], tal que para
cualesquiera n, m N, xnm xn+1,m y xnm xn,m+1 , demostrar que
lm lm xnm = lm lm xnm .

n m

m n

Ejercicio 19 Dado un espacio medible (, A) y una sucesi

on de medidas
en el n . Demostrar:
a) Si n n+1 , entonces (A) = lm 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 20 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 21 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 ) < .

4
Ejercicio 22 Demostrar que toda medida finita es semifinita. Dar un
contraejemplo para el recproco.
Ejercicio 23 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 24 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 25 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 26 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/ ' la aplicaci
on
(A, B) = (A4B),
satisface (A, Ac ) = (), por tanto en general : X X [0, ]
toma el valor , sin embargo define una metrica en el sentido1 de que
verifica las tres propiedades habituales. Demostrar que para la topologa
natural en la que las bolas abiertas de radio finito son base, para
1 Observemos que el concepto habitual de m
etrica exige que d(x, y) < , aunque
no es esencial.

5
cada A X , los B que est
an a distancia finita de A es un abierto
y que estos abiertos o coinciden o son disjuntos y descomponen X en
componentes abiertas que s son espacios metricos y son tales que la
aplicaci
on A X Ac X es una isometra que lleva una componente
en otra (si () = ) y las aplicaciones de X X X
(A, B) A B,

(A, B) A B,

(A, B) A4B,

son continuas.
Ejercicio 27 Sea (, A, ) un espacio de medida y sea A su compleci
on y la medida exterior generada por . Demostrar que para cada
A :
(A) = nf{(B) : B A, A B},
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 28 Demostrar que la compleci
on de una medida regular es
regular.
Ejercicio 29 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 semirect
angulo acotado (a, b],
(a, b] = 1 (a1 , b1 ] n (an , bn ].
Ejercicio 30 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 31 Demostrar que toda medida semifinita : B(Rn ) [0, ]
es regular interior.
Ejercicio 32 Demostrar que para a < b Rn y la medida de Lebesgue
ndimensional
m(a, b) = m[a, b) = m(a, b] = m[a, b].

6
Ejercicio 33 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 ).
Ejercicio 34 Se puede poner un cuadrado del plano como uni
on numerable de segmentos?
Ejercicio 35 Demostrar que para p = 0, Hp es la medida de contar.
Ejercicio 36 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 37 Demostrar que si A y 0 < Hp (A) < , dimH (A) =
p.
Ejercicio 38 Demostrar que dimH ({x}) = 0, para cada x .
Ejercicio 39 Demostrar que dimH (An ) = sup dimH (An ).
Ejercicio 40 En los subespacios de Rn con la metrica eucldea, demostrar que la dimensi
on vectorial y la de Hausdorff coinciden.

Ejercicios Tema II

Ejercicio 41 Sea f : (, A) (R, B(R)) acotada. Demostrar que existe

una sucesi
on de funciones simples sn tales que sn f uniformemente.
Ejercicio 42 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 43 Sea (, A, ) un espacio de medida. Probar que f : R
es medible si para cualesquiera m, n Z, {x : mf (x) < n} es medible.

7
Ejercicio 44 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 45 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 46 Sea fn una sucesi
on de funciones medibles, demostrar que
es medible el conjunto {x : existe y es finito el lm fn (x)}.
Ejercicio 47 Sea f : R R mon
otona creciente, es f borel medible?
Ejercicio 48 Es cierto que f es medible si y s
olo si |f | es medible? En
caso contrario dar un contraejemplo.
Ejercicio 49 Sea An una sucesi
on de subconjuntos de . Demostrar
que
nf IAn = IAn ,
lm inf IAn = Ilm inf An ,

sup IAn = IAn ,

lm sup IAn = Ilm sup An .

Ejercicio 50 Sean A, B . Demostrar que {x : IA 6= IB } =

AB.
Ejercicio 51 Si f : R R tiene derivada en todo punto, demostrar que
f 0 es Borel medible.
Ejercicio 52 Demostrar que f = (f1 , . . . , fn ) : Rn es medible si y
s
olo si cada fi lo es.
Ejercicio 53 Sea (, A, ) un espacio
R de medida y f =
con an (0, ) y An A, calcular f d.

n=1

an IAn ,

Ejercicio 54 Sea f 0 integrable.

que  > 0 existe un
R Demostrar
R
medible A, con (A) < tal que f < A f + .

8
Ejercicio 55 Sea
on
R f integrable y  > 0. Demostrar que existe una funci
simple s tal que |f s| < .
Ejercicio 56 Sean 1 2 medidas. Demostrar que si una funci
on
medible compleja f es 2 integrable, entonces es 1 integrable.
Ejercicio 57 Sean
R fn R 0 medibles tales que fn f . Demostrar que si
f1 es integrable, fn f . Es cierto si f1 no es integrable?
Ejercicio
R 58 Sean
R f, fnR 0 integrables, tales que fn f c.s. Demostrar que fn f sii |fn f | 0.
Ejercicio 59 Sea () < y fn integrables tales
queR fn f uniforR
memente. Demostrar que f es integrable y que fn f .
Ejercicio
60 Sean f, fRn integrables,
tales que fn f c.s. Demostrar
R
R
que |fn f | 0 sii |fn | |f |.
Ejercicio 61 Sea f integrable y g medible acotada, demostrar que f g es
integrable.
Ejercicio 62 Demostrar que es finita si y s
olo si existe una funci
on
medible estrictamente positiva e integrable.
Ejercicio 63 Sea un espacio topol
ogico, una medida en B() tal
que (A) > 0, para cada abierto A 6= y f, g : R continuas tales
que f = g c.s., demostrar que f = g.
R
R
Ejercicio 64 Demostrar
que si f R g c.s.,
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 65 Demostrar el teorema de la convergencia mon
otona cuando las condiciones son c.s.
Ejercicio 66 Calcular:
Z
lm

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

9
Ejercicio 67 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 68 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 69 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 70 Demostrar que
Z n
Z
n
(a)
lm
(1 (t/n)) log t dm =
n

1
1

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

lm

et log t dm.

Z
(b)

et log t dm.

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


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

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

Ejercicio
73 Demostrar que si f : R R es Lebesgue integrable F (x) =
Rx
f dm es uniformemente continua.

Ejercicio 74 Demostrar que si F : (, A, ) (0 , A0 ) es medible, F =

F , para F (B) = [F 1 (B)], es una medida, llamada medida imagen,
para la que se verifica que si g es medible en 0 y B A0 , entonces
Z
Z
g dF =
(g T ) d.
B

F 1 (B)

10
en el sentido de que si una de las integrales existe tambien la otra y son
iguales.
Ejercicio 75 Demostrar que si fn : I R son Riemannintegrables y
fn f uniformemente, entonces f es Riemannintegrable.
Ejercicio 76 Sea C = [a, b] Q = {cn } y f : I = [a, b] R, f (x) = 0 si
x es irracional, x C c ; y f (cn ) = 1/n. Demostrar que f es Riemann
integrable y calcular su integral.
Ejercicio 77 (a) Demostrar que si f tiene integral impropia de Riemann, entonces es continua c.s. (m), pero no recprocamente.
(b) Si f 0 y es acotada en cada compacto, entonces se tiene la
equivalencia.
Ejercicio 78 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 79 Demostrar que si f : R R es Lebesgue integrable
Z
Z
f dm =
lm
f dm.
(,)

a, b

[a,b]

Es cierto si existe la integral pero no es finita?

R
Ejercicio 80 (a) Demostrar por inducci
on que 0 xn ex dm = n!.
R
(b) Demostrar que para t > 0, 0 etx dm = 1/t, y utilizarlo para
demostrar (a), derivando respecto de t.
Ejercicio 81 Sea f : [0, 1] R continua, tal que f (0) = 0 y existe f 0 (0).
Demostrar que f (x)x3/2 es Lebesgue integrable.
Ejercicio 82 Calcular:
R
(a) lmn 0 (1 + (x/n))n sen(x/n) dm.
R
(b) lmn 0 n sen(x/n)[x(1 + x2 )]1 dm.
R
(c) lmn a n(1 + n2 x2 )1 dm, en funci
on de a.

11
Ejercicio 83 Dadas las funciones definidas en (0, )
t

Z

ex dx

f (t) =
0

2

Z
,

g(t) =
0

et (x +1)
dx,
x2 + 1

demostrar que:
R

2
(a) f (t) + g(t) = /4. (b) 0 ex dm = /2.
R
2
Ejercicio 84 Dada f (t) = 0 ex cos 2xt dm, demostrar que satisface

2
f 0 (t) + 2tf (t) = 0 y que f (t) = (1/2) et .
Ejercicio
R 85 Demostrar:

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

2
2
(2) Para a 0, ex cos ax dm = ea /4 .
R1
P
(3) Para p > 0, 0 xp1 (x 1)1 log x dm = n=0 1/(p + n)2 .
Ejercicio 86 Demostrar que la funci
on f : (0, 1) R, f (x) = xr logn x1 ,
para 1 < r y n 0 es Lebesgue integrable y que
Z
Z 1
n!
xr logn x1 dm =
xr logn x1 dx =
(1 + r)n+1
(0,1)
0
Ejercicio 87 Demostrar que la funci
on g : [1, ) R, g(x) = ex xk ,
para k R es Lebesgue integrable.
Ejercicio 88 Sea k R y r > 0. Demostrar que
Z r
xk dm < 1 < k
0
Z
xk dm < k < 1
r

12
Ejercicios Tema III

Ejercicio 89 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 90 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 91 Demostrar que (A1 An1 ) An = A1 An .
Ejercicio 92 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 93 Demostrar que para cada r > 0 y A B(Rn ) es medible
la funci
on de Rn , f (x) = m[A B[x, r]].
Ejercicio 94 Sean (1 , A1 , 1 ) y (2 , A2 , 2 ) espacios de medida
finita y completos, es necesariamente completo el espacio producto?.
Ejercicio 95 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 96 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.

13
Ejercicio 97 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 ) (llamada medida imagen) y si es finita,
tambien lo es. Es cierto que si lo es, 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 98 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 99 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 100 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 101 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.

14
Ejercicio 102 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

y que si {f > t} et , entonces

f p d (p).

Ejercicios Tema IV

Ejercicio 103 Sean , : A (, ] cargas y a R, demostrar que

|a| = |a|||,

| + | || + ||.

Ejercicio 104 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 105 Sean 1 , R2 medidas, = 1R+ 2 y f una
on mediR funci
ble. 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 106 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

15
Ejercicio 107 Encontrar en B(R) la descomposici
on de Jordan para la
carga = P {0} , siendo P una probabilidad.
Ejercicio 108 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 109 Demostrar que si una carga = 1 2 es diferencia de

dos medidas i , entonces + 1 y 2 .
Ejercicio 110 Sean 1 y 2 medidas positivas y finitas y = 1 2 .
Demostrar que si f es 1 y 2 integrables entonces es integrable y
Z
Z
Z
f d = f d1 f d2 .
Ejercicio 111 Sea una carga en un espacio medible (, A), demostrar
que
||(A) = sup{

n
X

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

i=1

Es cierto el resultado si ponemos

i=1

en lugar de sumas finitas?.

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

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

demostrar que
+

i |i | || 1 + 1 + 2 + 2 .

Ejercicio 113 Sea (, A, ) un espacio de medida

on meR y f 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.

16
Ejercicio 114 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 115 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 116 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 117 Demostrar que si (, A, ) es un espacio de medida
finita, existe una medida finita , que tiene los mismos conjuntos nulos
que .
Ejercicio 118 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 119 Sea (, A, ) un espacio de medida. Demostrar que
{ M(A, R) :  },
es un subespacio vectorial cerrado del espacio de Banach M(A, R).
Ejercicio 120 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

17
Ejercicio 121 Sea f medible compleja integrable respecto de una medida
compleja , demostrar que
 Z
Z


 f d |f | d||.


Ejercicio 122 Sean y medidas
y f R-integrable y g -integrable,
R
tales que para todo
A

A,
f
d
= A gd, entonces para toda h
R
R A
medible acotada A f hd = A ghd
Ejercicio 123 Demostrar que si 1 y 2 son complejas y 1 2 , entonces |1 + 2 | = |1 | + |2 |.

Ejercicios Tema V

Ejercicio 124 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 125 Sea : R Rn una curva de clase 1, demostrar que para todo
[a, b] R, si (t) = (xi (t))
v
Z b
Z bu
n
uX
0
t
x0i (t)2 dt.
k (t)k dt =
1 H1 ([a, b]) =
a

i=1

Ejercicio 126 Sea f C 1 (R2 ) y consideremos su gr

afica F : R2 R3 , F (x, y) =
2
(x, y, f (x, y)), demostrar que para todo A B(R ),
Z q
2 H2 [F (A)] =
1 + fx2 + fy2 dxdy.
A

Ejercicio 127 (1) Demostrar que el

area de la esfera de radio r es 4r2 .
(2) Demostrar que el a
rea del casquete esferico de radio r y altura h es 2rh.
Ejercicio 128 Demostrar que para una rotaci
on o una traslaci
on T : Rn
n
R , el centro de masas C(B) de un boreliano B satisface C[T (B)] = T [C(B)].

18
Ejercicio 129 Demostrar que si B, Bi B(Rn ), tienen dimensi
on Hausdorff
p, con 0 < Hp (B), Hp (Bi ) < y Bi es una partici
on numerable disjunta de
B = Bn , entonces
X Hp (Bi )
C(Bi ).
C[B] =
Hp (B)
Ejercicio 130 Dado en el plano un tri
angulo T2 de vertices ABC, consideremos los tres conjuntos: T2 (la envolvente convexa de los vertices), T1 = T2
formado por los tres lados y T0 = {A, B, C} formado por los tres vertices.
Calcular el centro de masas de cada uno. coinciden?

Ejercicios Tema VI

Ejercicio 131 Demostrar que si f L , entonces {x :

kf k } es localmente nulo.

|f (x)| >

Ejercicio 132 Demostrar que si f L y es integrable, entonces {x :

|f (x)| > kf k } es nulo.
Ejercicio 133 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 134 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 135 Demostrar que si 0 < r < p < s < , entonces Lr Ls
Lp Lr + Ls .

19
Ejercicio 136 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 m
ax{kf kr , kf ks }.
Ejercicio 137 Demostrar que un espacio normado E es completo sii
para cada sucesi
on xn E
X
X
kxn k <
xn
es convergente.
Ejercicio 138 Demostrar la desigualdadPde Holder generalizada:
Si 1 p1 , . . . , pn son tales que (1/pi ) = 1/r 1 y fi Lpi ,
entonces
n
n
n
Y
Y
Y
fi Lr , y k
fi kr
kfi kpi .
i=1

i=1

i=1

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

1

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

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

kf kr kf ks () r s .
Ejercicio 142 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, {|fn f | > } 0).
(b) Si fn f en Lp (con 1 p ), entonces fn f en medida.
Ejercicio 143 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.

20
Ejercicio 144 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 145 Demostrar que si 0 < r < s , entonces lr ls .
Ejercicio 146 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 .

21

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 C 3

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 productos de 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?

22
Ind. No, porque al menos tendra una colecci
on numerable An de conjuntos
disjuntos pues de un medible no trivial A, sacamos dos A y Ac , y por inducci
on,
de n disjuntos A1 , . . . , An sacamos n + 1, pues o bien B = Ai 6= y consideramos
An+1 = B c o en caso contrario estos n conjuntos son una partici
on del espacio y
basta considerar cualquier medible E que no sea uni
on de algunos Ai , y por tanto
con intersecci
on no trivial con alguno de los Ai , al que parte en dos E Ai y E c Ai .
Ahora las uniones arbitrarias de estos seran distintas e identificando cada An con
n N, estas uniones se identificaran con partes de N que es no numerable.

Ejercicio 10.- Demostrar que para cada funci

on f : R R: (a) El conjunto de
puntos de continuidad de f , C(f ) A y los de discontinuidad D(f ) C . (b)
Demostrar que C(f ) y D(f ) son borelianos.
Ind. Como C(f ) = D(f )c basta verlo para uno. Consideremos para cada intervalo
cerrado y acotado I = [a, b], f (I) = supxI f (x) nf xI f (x), para la que se tiene
que
I J 0 f (I) f (J),
y sea para cada x, f (x) = nf

f (I). Se sigue de la definici

on que x es punto

xI

de continuidad de f (x C(f )) sii f (x) = 0. Por otra parte para cada k > 0, el
conjunto {x : f (x) < k} es abierto y por tanto son cerrados Cn = {x : f (x) 1/n}
y se tiene que D(f ) = {f 6= 0} = Cn .

Ejercicio 13.- 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 15.- Dado un espacio de medida (, A, ) y una sucesi

on An A,
demostrar que:
(a) (lm inf An ) lm inf (An ).
(b) Que si (An ) < , entonces lm sup (An ) (lm sup An ).

Soluci
on.- Sean Bn =
i=n Ai y Cn = i=n Ai , entonces Bn An Cn ,
(Bn ) (An ) (Cn ) y Bn lm inf An , Cn lm sup An .

Ejercicio (Lema de BorelCantelli) 16.- Sea (, A, ) un espacio de medida y

Cn A. Demostrar que

(Cn ) <

(lm sup Cn ) = 0.

n=1

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

Ejercicio 18.- Dada una sucesi

on doble xnm (, ], tal que para cualesquiera n, m N, xnm xn+1,m y xnm xn,m+1 , demostrar que
lm lm xnm = lm lm xnm .

n m

m n

23
Ind. Demostrar que existen los lmites an = lmm xnm , a = lmn an ,
bm = lmn xnm y b = lmm bm , que xnm an a y por tanto b a, la otra
desigualdad por simetra.

Ejercicio 20.- 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.
Ind. Si An A y para todo n An es numerable, entonces An A por ser
c
c
numerable y si existe un i tal que Aci es numerable, entonces (An )c = A
Pn Ai es
numerable. Y si los An son disjuntos y todos numerables, (An ) = 0 =
(An ), y
si un Ai P
no lo es, entonces para todo j 6= i, Aj Aci es numerable y (An ) = 1 =
(Ai ) =
(An ).

Ejercicio 21.- 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 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
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.
(Bn ) (Fn ) c

Ejercicio 23.- 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),

24
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) = lm (Bn ) lm (An ) (A),
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 21.

Ejercicio 24.- 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 = {

(bn an ) : an < bn R, A

(an , bn ]},

n=1

n=1

n=1

n=1

D1A = {

(dn cn ) : cn < dn R, A

(cn , dn )},

entonces por un lado D1A DA , pues

otro para cada x DA y
P (c, d) (c, d] y por 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 25.- 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) = nf{
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) = nf{ (Ai ) : Ai A, A Ai }, y dado uno de estos
n
umeros
(Ai ), como los Ai A
X
X
(A)
(Ai ) =
(Ai ),

25
por tanto (A) (A).
(c) {0} = {1} = 2, {0, 1} = 3, por tanto A = {, } y {0} = 3.

Ejercicio 27.- Sea (, A, ) un espacio de medida y sea A su compleci

on y
la medida exterior generada por . Demostrar que para cada A :
(A) = nf{(B) : B A, A B},
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 .
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 29.- 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 semirect
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 30.- 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 n
umero de racionales de A.

Ejercicio 31.- 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 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 32.- Demostrar que para a < b Rn y la medida de Lebesgue n

dimensional
m(a, b) = m[a, b) = m(a, b] = m[a, b].
Ind. Para a, b Rn , a < b, se tiene, entendiendo a1/m el vector de coordenadas
ai 1/m, (a 1/m, b] [a, b], por tanto
Y
Y
m[a, b] = lm m(a 1/m, b] = lm
(bi ai + 1/n) =
(bi ai ) = m(a, b].
y por lo mismo m[a, b] = m(a, b), pues (a, b 1/m] (a, b).

26
Ejercicio 33.- 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 Rn , a < b, se tiene, entendiendo a 1/n el vector de
coordenadas ai 1/n
Y
Y
m[a, b] = lm m(a 1/n, b] = lm
(bi ai + 1/n) =
(bi ai ) = m(a, b],
X

m (A) = nf{
m(ai , bi ] : A (ai , bi ]}
X
= nf{
m[ai , bi ] : A [ai , bi ]}
X
= nf{
m[bi , ai ] : A [bi , ai ]} = m (A),
y se demuestra f
acilmente que si B L(Rn ), entonces tB L(Rn ). Que las homotecias conservan Borelianos es por ser homeomorfismos. El ejercicio tambi
en se puede
demostrar utilizando esto u
ltimo, que los Lebesgue medibles son la compleci
on de los
Borel y que la medida de Lebesgue es la u
nica medida invariante por traslaciones que
verifica m([0, 1]n ) = 1, considerando para ello la medida de Borel (B) = m[tB]/|t|n .

Ejercicio 35.- Demostrar que para p = 0, Hp es la medida de contar.

Ind. Para A = {x1 , . . . , xm } y < mn{d(xi , xj )}, H0 (A) = n.

Ejercicio 36.- 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) = nf{
d(An )p : A An 0 , d(An ) }
X
= nf{
d(Bn )p : A Bn , d(Bn ) } = Hp, (A).

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

Ind. H0 ({x}) = 1.

Ejercicio 39.- 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 40.- 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 44.- 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)},

27
son medibles.
Ind. El primer conjunto es medible porque en
el h < , < g y en este
conjunto existe g h que es medible, o
tambi
en porque
[
{x : h(x) < g(x)} =
({h(x) < r} {r < g(x)}) ,
rQ

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

Ejercicio 51.- Si f : R R tiene derivada en todo punto, demostrar que f 0 es

Borel medible.
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 52.- Demostrar que f = (f1 , . . . , fn ) : (, A) (Rn , B(Rn )) es medible si y s

olo si cada fi lo es.
Soluci
on.- Si f es medible, fi = xi f es medible por que las proyecciones
xi : Rn R son continuas y por tanto medibles. Recprocamente sea (a, b] un semi
rect
angulo, con a < b Rn , entonces
f 1 (a, b] = {x : a < f (x) b} =

n
\

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

i=1

y como estos semirect

angulo generan B(Rn ), f es medible.

Ejercicio 53.- Sea (, A, ) un Respacio de medida y f =

an (0, ) y An A, calcular f d.
Ind.

RP

fn =

PR

n=1

an IAn , con

fn .

Ejercicio 54.- Sea f 0 integrable.

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

R
An

R
A

f =

f.

f, fn 0 integrables, tales que fn f c.s. Demostrar que

REjercicioR 58.- Sean
R
fn f sii |fn f | 0.
Ind. Por el TCD, pues f fn |f fn | f , por tanto

R
R
fn |fn f | f .

tales que fn f c.s. Demostrar que

REjercicio 60.- Sean
R f, fn integrables,
R
|fn f | 0 sii |fn | |f |.
R

Ind. Por el TCD pues |f | |fn | |fn f | |f |, por tanto

|f |.

R
|fn | |fn f |

Ejercicio 66.- Calcular:

1

Z
lm

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

Ind. Por el TCD, pues: 1 es integrable; 0 fn 1, ya que

(1 + x2 )n = 1 + nx2 + (1/2)n(n 1)x4 + . . . 1 + nx2 ,

28
y fn 0, pues
(1 + x2 )n
1 + nx2 + (1/2)n(n 1)x4

.
1 + nx2
1 + nx2

Ejercicio 68.- 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 2, s + 2] (a, b). Basta
demostrar que F es diferenciable en I = (s, s+). 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
(s2)x
e
|f (x)|,
si x < r,

r e(s2)x |f (x)|, si r x 0,
h(x) =

r e(s+2)x |f (x)|, si 0 x r,

(s+2)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:
lm (1 + 1/an )an = e,

|an |

Ejercicio 69.- 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.
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 70.- Demostrar que

n
Z n
Z
t
(a)
lm
1
log t dm =
et log t dm.
n 1
n
1
n
Z 1
Z 1
t
(b)
lm
1
log t dm =
et log t dm.
n 0
n
0
Ind. (a) Se puede hacer utilizando el ejercicio (69) 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.

29
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.
(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 71.- Sea f no negativa e integrable, con

0 < < . Demostrar que


  
Z
,
f
lm
n log 1 +
d = c,
n

0,

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 (69) y


  n 
(n/f ) n(f /n)
si > 1.
0,
f
1
1+
, n1 = 1, si = 1.
= 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
1+
ef ,
efn = 1 +
n
n
y se aplica el TCD.

Ejercicio 72.- Demostrar que si f es integrable, entonces para cada  > 0,

existe un > 0, tal que
Z
(E) <
|f | d < .
E

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 N, tal que para n N , (Bn ) /2. Ahora bien
Z
Z
Z

|f | d =
|f | d +
|f | d + n(E),
c
2
E
EBn
EBn
y basta tomar /2n.

Ejercicio
73.- Demostrar que si f : R R es Lebesgue integrable F (x) =
Rx
f
dm
es uniformemente continua.

Ind. Aplicar el ejercicio anterior.

30
Ejercicio 74.- Demostrar que si F : (, A, ) (0 , A0 ) es medible, F = F ,
para F (B) = [F 1 (B)], es una medida, llamada medida imagen, para la que
se verifica que si g es medible en 0 y B A0 , entonces
Z
Z
g dF =
(g T ) d.
F 1 (B)

en el sentido de que si una de las integrales existe tambien la otra y son iguales.
Ind. Para indicadores se sigue de la definici
on, para funciones simples por aditividad, para funciones no negativas por el teorema de la convergencia mon
otona,
p
ag.?? y para funciones con integral de la definici
on.

Ejercicio 75 Demostrar que si fn : I R son Riemannintegrables y fn f

uniformemente, entonces f es Riemannintegrable.
Ind. fn es continua salvo en un Borel medible nulo An . Por tanto todas las fn
son continuas fuera del Borel medible nulo A = An y por tanto f , pues
|f (x) f (y)| |f (x) fn (x)| + |fn (x) fn (y)| + |fn (y) f (y)|.

Ejercicio 76 Sea C = [a, b] Q = {cn } y f : I = [a, b] R, f (x) = 0 si x es

irracional, x C c ; y f (cn ) = 1/n. Demostrar que f es Riemannintegrable y
calcular su integral.
Ind. f es continua fuera del medible nulo C, pues si x es irracional 0 f (z) 
para los z del entorno de x Vx = {c1 , . . . , cn }c y 1/n .

Ejercicio 77.- (a) Demostrar que si f tiene integral impropia de Riemann,

entonces es continua c.s. (m), pero no recprocamente. (b) Si f 0 y es
acotada en cada compacto, entonces se tiene la equivalencia.
Ind. (a) 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) .
(b) Por el Teorema de caracterizaci
on f es Riemann integrable en cada intervalo
[an , bn ], para cualesquiera an y bn y f es lebesgue medible en [an , bn ].
R
R
R
adem
as fn = f I[an ,bn ] f y f es Lebesgue medible y abnn f (x)dx = fn f , por
el Teorema de la convergencia mon
otona.

Ejercicio 78.- 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 = lm
f (x)dx = lm
fn dm =
f dm,

Si quitamos la no negatividad es falso pues por ejemplo para

f =

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

31
existe

f (x)dx =
0

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 =

Ejercicio 79.- Demostrar que si f : R R es Lebesgue integrable

Z
Z
f dm =
lm
f dm.
a, b

[,]

[a,b]

Es cierto si existe la integral pero no es finita?

Soluci
on.- (A) =

R
A

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

R
Ejercicio 80.- (a) Demostrar por
inducci
on que 0 xn ex dm = n!.
R
tx
(b) Demostrar que para t > 0, 0 e
dm = 1/t y utilizarlo para demostrar
(a), derivando respecto de t.
R
R
Ind.- (b) 1 = 0 (etx )0 dx = (t) 0 etx dx. Por otra parte para todo
a > 0 y todo t > a, | etx /t| = x etx est
a uniformemente acotada por una
funci
on integrable. Pues existe M , tal que para x > M , x etx x eax eax/2 y
para 0 < x M , xR etx M eax . Similarmente para las derivadas sucesivas. Por
tanto para F (t) = 0 etx dm = 1/t tendremos
Z
F (n (t) =
(x)n etx = (1)n n!tn1 .
0

Ejercicio 81.- Sea f : [0, 1] R continua, tal que f (0) = 0 y existe f 0 (0).
Demostrar que f (x)x3/2 es Lebesgue integrable.

a acotada en un entorno de 0
Ind.- f (x) = xg(x) para g continua y g(x)/ x est

por M/ x que es integrable y fuera es integrable.

Ejercicio 82.- Calcular:

R
(a) lmn R0 (1 + (x/n))n sen(x/n) dm.

(b) lmn R 0 n sen(x/n)[x(1 + x2 )]1 dm.

(c) lmn a n(1 + n2 x2 )1 dm, en funci

on de a.
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
(1+(x/2))2 , y esta u
ltima es integrable.
R xsen(x/n)|
(b)=/2 pues | sen t/t| 1 y 0 dx/(1 + x2 ) = arctan(x) y para (c) se hace el cambio
t = nx.

Ejercicio 83.- Dadas las funciones definidas en (0, )

t

Z
f (t) =
0

ex dx

2

Z
,

g(t) =
0

et (x +1)
dx,
x2 + 1

demostrar que:
R

2
(a) f (t) + g(t) = /4. (b) 0 ex dm = /2.

32
Ind. (1) f 0 (t) + g 0 (t) = 0. (2) lmt g(t) = 0.
2

ex cos 2xt dm, demostrar que satisface f 0 (t)+

t2
2tf (t) = 0 y que f (t) = (1/2) e .

Ejercicio 84.- Dada f (t) =

Ind. 0 =

R
0

(ex sen 2xt)0 =

2

2tf (t). Por tanto f (t) = f (0)et

(2x)ex sen 2xt+ex (2t) cos 2xt = f 0 (t)+

y por el resultado anterior f (0) = /2.

0

Ejercicio 85.- Demostrar:

R

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

2
(2) Para a 0, e
cos ax dm = ea /4 .
R 1 p1
P
2
(3) Para p > 0, 0 x
(x 1)1 log x dm =
n=0 1/(p + n) .
2

Ind. (1) Por

on derivando x2n+1 ex y utilizando el ejercicio (83).
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 86.- Demostrar que la funci

on f : (0, 1) R, f (x) = xr logn x1 ,
para 1 < r y n 0 es Lebesgue integrable y que
Z 1
Z
n!
r
n 1
x log x dm =
xr logn x1 dx =
.
(1
+
r)n+1
(0,1)
0
Ind. Por LHopital se tiene derivando n veces que
(1)

lm xr+1 logn x1 = lm

x0+

logn y
n!
= lm
= 0.
y (r + 1)n y r+1
y r+1

y si para cada n denotamos la integral por In , tenemos que para n = 0, como

(xr+1 )0 = (r + 1)xr y lmx0+ xr+1 = 0, I0 = 1/(r + 1) y por inducci
on se tiene el
resultado pues
(xr+1 logn x1 )0 = (r + 1)xr logn x1 xr n logn1 x1
por tanto integrando y teniendo en cuenta (1)
In =

n
n!
In1 = =
,
r+1
(r + 1)n+1

(observemos que los integrandos no son acotados, pero tienen integral impropia de
Riemann finita y son Lebesgue integrables por el ejercicio (78), p
ag.10).

Ejercicio 87.- Demostrar que la funci

on g : [1, ) R, g(x) = ex xk , para
k R es Lebesgue integrable.
Ind. Se tiene que lmx ex/2 xk = 0, para todo k R, lo cual implica que la
funci
on est
a acotada por un N , pues es continua en [1, ). Ahora
ex xk N ex/2 ,

33
y el resultado se sigue pues la funci
on ex/2 es Lebesgue integrable en [1, ), pues
es no negativa y tiene integral impropia de Riemann ya que
Z
(ex/2 )0 = ex/2 /2
ex/2 = 2 e1/2 .
1

Ejercicio 88.- Sea k R y r > 0. Demostrar que

Z r
xk dm < 1 < k
0
Z
xk dm < k < 1
r

Ind. Es una simple consecuencia de que para 0 < a < b

( k+1 k+1
Z b
,
b
a
,
k
+
1
=
6
0
k+1
k
k+1
1,
,
lm a
=
x =

a0+
log b/a,
k+1=0
a
0,

k+1<0
k+1=0
0<k+1

y de que lmb log b = y lma0+ log a = .

Ejercicio 89.- 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 92.- 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 , i ] (x),

n

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

Ejercicio 93.- Demostrar que para cada r > 0 y A B(Rn ) es medible la

funci
on de Rn , f (x) = m[A B[x, r]].

34
Ind.- Es consecuencia de (??), p
ag.??, pues
m[A B[x, r]] = m[(Rn A {(z, y) R2n : kz yk r})x ].
.

Ejercicio 99.- 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 100.- 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.

Ejercicio 102.- 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

y que si {f > t} et , entonces

f p d (p).

Ind. Haciendo el cambio de variable s = tp ,

Z
Z
Z
f p d =
{f p > s} ds =
ptp1 {f > t} dt.
0

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

(a) g es integrable si yRs
olo si es ||integrable.
R
(b) Si g es integrable,  g d |g| d||.
(c) Existe una medida y una funci
R 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 111.- Sea una carga en un espacio medible (, A), demostrar que
||(A) = sup{

n
X

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

i=1

Es cierto el resultado si ponemos

i=1

en lugar de sumas finitas?.

35
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 112.- 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 113.- Sea (, A, ) un espacio de Rmedida 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,

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 115.- 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 /(1 f )
c.s.().

Ejercicio 116.- 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

= .

36
Ejercicio 117.- 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 118.- 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
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
r < 
f d z  = 
(f z) d
|f z| d r.
(E) E
(E) E
(E) E

Ejercicio 119.- 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, R) : 
} 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 120.- 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
(E) =
2 (Ex ) d1 = (
g d2 ) d1 = (
g d2 )f d1
R

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

Ex

37
Ejercicio 123.- Demostrar que si 1 y 2 son complejas y 1 2 , entonces
|1 + 2 | = |1 | + |2 |.
Ind. Existe un medible A tal que para cada medible B, 1 (B) = 1 (B A) y
2 (B) = 2 (B Ac ), adem
as
|1 + 2 |(B) = |1 + 2 |(B A) + |1 + 2 |(B Ac )
= |1 |(B A) + |2 |(B Ac ) = |1 |(B) + |2 |(B),
pues si Ai B A, |1 (Ai )+2 (Ai )| = |1 (Ai )| y si Ai B Ac , |1 (Ai )+2 (Ai )| =
|2 (Ai )|. Termnelo el lector.

Ejercicio 124.- Calcular el a

rea 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
T : R2 R2 ,
2


(x, y)

a
0

   
ax
x
0
,
=
by
y
b

que para E = {(x, y) R2 : 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.

Ejercicio 127.- (a) Demostrar que el a

rea de la esfera de radio r es 4r2 .
(b) Demostrar que el a
rea del casquete esferico de radio r y altura h es 2rh.
Ind. Basta demostrar (b). La proyecci
on del casquete es el crculo
p de radio k =
2rh h2 , pues k2 + (r h)2 = r2 , y su a
rea 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) R2 ,

F (, ) = ( cos , sin ), como F (V ) = U = {x2 + y 2 k2 } y J(DF(,) ) =
|f1 f2 f1 f2 | = ,
Z
Z
ik
hp
dx dy
d d
p
p
r
r2 2 = 2 r h.
=r
= 2 r
0
r 2 x2 y 2
r2 2
F (V )
V

Ejercicio 128.- Demostrar que para una rotaci

on o una traslaci
on T : Rn Rn ,
el centro de masas C(B) de un boreliano B satisface T [C(B)] = C[T (B)].
Ind. Una traslaci
on o una rotaci
on T , conserva las medidas de Hausdorff, (T (Hk ) =
Hk ), por tanto
R
R
xi T dHk
T (B) xi dHk
xi [C(T (B))] =
= B
,
Hk [T (B)]
Hk (B)
y si T (x) = x + a es una traslaci
on, xi T = xi + ai y xi [C(T (B))] = xi [C(B)] +
P
P
ai = xi [T (C(B))]; y si T (p) = ( aij pj ) es una rotaci
on, xi T =
aij xj y
P
xi [C(T (B))] =
aij xj [C(B)], por tanto C[T (B)] = T [C(B)].

38
Ejercicio 130.- Dado en el plano un tri
angulo T2 de vertices ABC, consideremos los tres conjuntos: T2 (la envolvente convexa de los vertices), T1 = T2
formado por los tres lados y T0 = {A, B, C} formado por los tres vertices.
Calcular el centro de masas de cada uno. coinciden?
Ind. Por el ejercicio (128), p
ag.17, podemos suponer que nuestro tri
angulo tiene
coordenadas A = (0, 0), B = (b1 , b2 ) y C = (0, c). En tal caso (si b1 > 0) la abscisa
del centro de masa de T2 es
R b1 R c+x b2bc
1
R
T2

xdH2

H2 (T2 )

R
=

T2

xdm2

=
m2 (T2 )
R b1
c
0 (c x b )x dx
1

b1 c/2

x b2

x dxdy

b1 c/2
= b1 2b1 /3 = b1 /3 = x(

A+B+C
)
3

un c
alculo similar para la ordenada (
o dado que hay rotaciones que nos intercambian
las coordenadas) se tiene que el centro de masa de T2 es el baricentro del tri
angulo
A+B+C
.
3
Calculemos ahora el centro de masa de un segmento P Q de extremos P = (p1 , p2 )
y Q = (q1 , q2 ), para x1 y x2 las coordenadas, (t) = tQ + (1 t)P y | 0 (t)| = |Q P |
R
R1
R1
(tqi + (1 t)pi )|Q P | dH1
(tqi + (1 t)pi )|Q P | dt
P Q xi dH1
= 0
= 0
H1 (P Q)
H1 (P Q)
m1 (P Q)
Z 1
pi + qi
=
,
(tqi + (1 t)pi ) dt =
2
0
es decir que el centro de masa de P Q es (P + Q)/2.
Veamos ahora el centro de masa de T1 el cual es uni
on de los segmentos AB,
BC y CA, con H1 (A) = H1 (B) = H1 (C) = 0, por tanto se sigue del ejercicio (129),
p
ag.18, que para |A C| = c, |A B| = d y |B C| = e
C(T1 ) =

c
A+C
d
A+B
e
B+C
+
+
.
c+d+e 2
c+d+e
2
c+d+e
2

el cual es el incentro del tri

angulo formado por los puntos medios de los lados de
nuestro tri
angulo.
Por u
ltimo el de T0 tambi
en es el baricentro, pues
R


xi (A) + xi (B) + xi (C)
A+B+C
T0 xi dH0
=
= xi
.
H0 (T0 )
3
3
En definitiva C(T2 ) = C(T0 ) = (A + B + C)/3 y C(T1 ) es distinto.

Ejercicio 134.- 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},

39
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 equivalentemente que si kf k < |z|, entonces z

/ K, lo cual es obvio pues z est
a en
el abierto B[0, kf k ]c y por tanto existe un  > 0 tal que
B(z, ) B[0, kf k ]c

f (B(z, )) f (B[0, kf k ]c ) = (|f | > kf k ) = 0,

(por ser el espacio finito), por tanto z K c .

Ahora veamos que el supremo es kf k . Para ello hemos visto la desigualdad ,
veamos la otra, para lo cual basta demostrar que para todo  > 0 hay puntos de K
en la rosquilla compacta
C = {z : kf k  |z| kf k }.
En caso contrario para cada z C existira un z > 0, tal que f (B(z, z )) = 0 y
por compacidad C se rellena con una colecci
on finita de estas bolas y f (C) = 0, por
tanto
{|f | kf k } = f {|z| kf k } = 0
lo cual es absurdo.

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

Lr + Ls .
Soluci
on.- Sea A = {|f | 1}, entonces si f Lr Ls , y s <
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

R
y si s = , |f | kf k c.s. (ver ejercicio (132)) y Ac |f |p kf kp (Ac ) < ,
c
pues (A ) < por la desigualdad de Tchebycheff. Para la segunda inclusi
on, f =
IA f + IAc f Lp , IA f Ls , IAc f Lr .

Ejercicio 136.- 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 m
ax{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
,

40
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

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

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

= kf kr

(1t)s/c

kf ks

m
ax{kf kr , kf ks }.

Ejercicio 137.- Demostrar que un espacio normado E es completo sii para cada
sucesi
on xn E
X
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 ynP
una subsucesi
on suya tal que kyn+1 yn k 2n ,
entonces
para
x
=
y

y
,
kx
k
es
convergente,
por tanto tambi
en es convern
n
n
n+1
P
P
gente
xn = x y como yn = y1 + n1
mite as como vn .
i=1 xi , tiene l

Ejercicio 139.- 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 |p d + |g|p d
|f + g|p d

.
2
2
2

Ejercicio 140.- 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
Ac
(rp)/r

kf k

Z

|f |p d

1/r

(rp)/r

= kf k

Ac

p/r

kf kp

< ,

y haciendo r se sigue que lm 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

41
por lo que (B) < y haciendo r , tendremos que
kf k  lm 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
|f |r d
kf kr ,
{|f | > n}1/r n
{|f |>n}

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

Ejercicio 141.- 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 ,
el resto es simple.

Ejercicio 142.- 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, {|fn f | > } 0).
(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 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 15)
lm sup {An ()} {lm sup An ()} = 0

lm {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 143.- Demostrar la Desigualdad de Jensen, es decir que si () =

1, fR :

(a,Rb) es medible e integrable y : (a, b) R es convexa, entonces
f d f d.
Soluci
on.- Toda funci
on convexa tiene la propiedad de que para todo x0 (a, b)
existe una funci
on afn, h(x) = px+c, tal que h(x) (x) y h(x0 ) = (x0 ). Tomemos

42
R
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 144.- Demostrar que

R 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 d
f

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

P
Soluci
on.- Para s =
|xn |r < , en particular
P esrobvio, pues si xn es tal que
tendremos que |xn |r
|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 +

X
NF

|xn |s

X
F

|xn |s +

|xn |r < .

NF

Ejercicio 146.- 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
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 .
|f |p kgkp