Anda di halaman 1dari 44

Ejercicios resueltos

25 de septiembre de 2009
2
1
Ejercicios Tema I
Ejercicio 1 Demostrar que una clase no vaca / es un algebra en si
y solo si se verican las siguientes propiedades:
i) Si A / entonces A
c
/.
ii) Si A, B /, entonces A B /.
Ejercicio 2 Dada una aplicacion F :

, demostrar las siguientes


propiedades:
(i) F
1
(B
i
) = F
1
(B
i
), F
1
(B
i
) = F
1
(B
i
), F
1
(B
c
) = [F
1
(B)]
c
,
(ii) F(A
i
) = F(A
i
), F(A
i
) F(A
i
),
(iii) Si F es sobre F(A)
c
F(A
c
).
(iv) Si F es inyectiva F(A)
c
F(A
c
) y F(A)
c
F() = F(A
c
).
Ejercicio 3 Dada una aplicacion F :

, demostrar que:
(a) Si / es una algebra de , /

= B

: F
1
(B) / lo es de

.
(b) Si /

es una algebra de

, / = F
1
[/

] = F
1
(B) : B
/

lo es de .
(c) Si ( T(

), [F
1
(()] = F
1
[(()].
(d) Demostrar que si (, T ) y (

, T

) son espacios topologicos y F es


continua, entonces F
1
(B) B(), para todo B B(

).
Ejercicio 4 Consideremos las siguientes extensiones de una familia (
de subconjuntos de :
(
1
= A : A ( o A
c
(,
(
2
= A
1
A
n
: A
i
(
1
, n N,
(
3
= A
1
A
n
: A
i
(
2
, n N.
Demostrar que (
3
= (().
Ejercicio 5 Sean (
1
, /
1
), . . . , (
n
, /
n
) espacios medibles. Demostrar
que la familia de los productos de medibles,
= A
1
A
n

1

n
: A
i
/
i
,
es una clase elemental.
2
Ejercicio 6 Demostrar que la algebra B(R) se genera por las familias:
(
1
= (a, b) : a, b R, (
2
= (a, b] : a, b R,
(
3
= [a, b) : a, b R, (
4
= [a, b] : a, b R,
(
5
= (, b) : b R, (
6
= (, b] : b R,
Ejercicio 7 Demostrar que la algebra B(R) se genera por la familia
( = (a, b] : a, b R.
Ejercicio 8 Demostrar: (a) lminf A
n
lmsupA
n
.
(b) Si A
n
A (o A
n
A), entonces lmsupA
n
= lminf A
n
= A.
Ejercicio 9 Puede una algebra innita contener solo una coleccion
numerable de elementos?
Ejercicio 10 Demostrar que para cada funcion f : R R: (a) El con-
junto 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, T(N), ), el espacio de medida de con-
tar en los naturales. Encontrar una sucesi on A
n
para la que no se
verique (A
n
) () = 0.
Ejercicio 12 Consideremos (N, T(N), ), para (A) = 0 si A es nito
y (A) = en caso contrario.
(a) Demostrar que es aditiva pero no numerablemente aditiva.
(b) Encontrar una sucesion A
n
A para la que no se verique
(A
n
) (A).
Ejercicio 13 Dada una medida y una sucesion A
n
/, demostrar
que
(

_
n=1
A
n
)

n=1
(A
n
).
Ejercicio 14 Sea : / [0, ], aditiva en un algebra /. Dada una
sucesion A
n
/ de conjuntos disjuntos cuya union esta en /, demostrar
que
(

_
n=1
A
n
)

n=1
(A
n
).
3
Ejercicio 15 Dado un espacio de medida (, /, ) y una sucesion A
n

/, demostrar que:
i) (lminf A
n
) lminf (A
n
).
ii) Que si (A
n
) < , entonces lmsup(A
n
) (lmsupA
n
).
Ejercicio 16 Demostrar el Lema de BorelCantelli: Sea (, /, ) un
espacio de medida y C
n
/, entonces

n=1
(C
n
) < (lmsupC
n
) = 0.
Ejercicio 17 Dada una medida nita sobre una algebra / y una
sucesion A
n
/ tal que lminf A
n
= lmsupA
n
= A, demostrar que
(A) = lm
n
(A
n
).
Ejercicio 18 Dada una sucesion doble x
nm
(, ], tal que para
cualesquiera n, m N, x
nm
x
n+1,m
y x
nm
x
n,m+1
, demostrar que
lm
n
lm
m
x
nm
= lm
m
lm
n
x
nm
.
Ejercicio 19 Dado un espacio medible (, /) y una sucesi on de medidas
en el
n
. Demostrar:
a) Si
n

n+1
, entonces (A) = lm
n
(A) dene una medida en
el espacio.
b) Sean como sean las
n
, (A) =

n
(A), dene una medida en
el espacio.
Ejercicio 20 Dado un espacio no numerable y
/ = E : E o E
c
es numerable,
(E) =
_
0, si E es numerable,
1, si E
c
es numerable, para cada E /,
demostrar que / es algebra y medida.
Ejercicio 21 Dado un espacio de medida seminita (, /, ), es decir
tal que para todo E / con (E) = existe F /, con F E y
0 < (F) < , demostrar que para todo E / con (E) = y todo
r > 0 existe F /, con F E y r < (F) < .
4
Ejercicio 22 Demostrar que toda medida nita es seminita. Dar un
contraejemplo para el recproco.
Ejercicio 23 Dado un espacio de medida (, /, ), denimos : /
[0, ], de la siguiente manera
(A) = sup(B) : B /, B A y (B) < ,
demostrar que:
a) es una medida seminita.
b) Que si es seminita entonces = .
Ejercicio 24 Demostrar que la medida exterior de Lebesgue en R, se
puede denir en vez de con la clase ( = (a, b], como vimos en el
ejemplo (??), de la pagina ??, con cualquiera de las clases (
1
= (a, b),
(
2
= [a, b], (
3
= [a, b) y con de cualquier intervalo tambien la
diferencia de extremos.
Ejercicio 25 Sea

una medida exterior en y la medida restriccion


de

a la algebra /

. Demostrar que:
(a)

.
(b) Si

es la medida exterior generada por una medida en un


algebra /, entonces

.
(c) Encontrar una medida exterior

en = 0, 1, para la que

,=

.
Ejercicio 26 Dado un espacio de medida (, /, ). Demostrar:
(a) Si A, B / y (AB) = 0 entonces (A) = (B).
(b) La relacion entre conjuntos medibles A B si y solo si (AB) =
0, es de equivalencia.
(c) En el espacio cociente A = // la aplicaci on
(A, B) = (AB),
satisface (A, A
c
) = (), por tanto en general : A A [0, ]
toma el valor , sin embargo dene una metrica en el sentido
1
de que
verica las tres propiedades habituales. Demostrar que para la topologa
natural en la que las bolas abiertas de radio nito son base, para
1
Observemos que el concepto habitual de metrica exige que d(x, y) < , aunque
no es esencial.
5
cada A A, los B que estan a distancia nita de A es un abierto
y que estos abiertos o coinciden o son disjuntos y descomponen A en
componentes abiertas que s son espacios metricos y son tales que la
aplicacion A A A
c
A es una isometra que lleva una componente
en otra (si () = ) y las aplicaciones de A A A
(A, B) A B, (A, B) A B, (A, B) AB,
son continuas.
Ejercicio 27 Sea (, /, ) un espacio de medida y sea /

su comple-
cion y

la medida exterior generada por . Demostrar que para cada


A :

(A) =nf(B) : B /, A B,
y que si denimos la medida interior

(A) = sup(B) : B /, B A,
entonces si A /

se tiene que

(A) =

(A) = (A) y recprocamente


si

(A) =

(A) < entonces 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 unica medida : B(R
n
)
[0, ], tal que para cada semirectangulo acotado (a, b],
(a, b] =
1
(a
1
, b
1
]
n
(a
n
, b
n
].
Ejercicio 30 Demostrar que toda medida en B(R
n
) de LebesgueStieltjes
es nita. Encontrar una que sea nita pero no de LebesgueStieltjes.
Encontrar una que sea nita pero no regular.
Ejercicio 31 Demostrar que toda medida seminita : B(R
n
) [0, ]
es regular interior.
Ejercicio 32 Demostrar que para a < b R
n
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(R
n
), entonces tB
L(R
n
) y m(tB) = [t[
n
m(B). Ademas si B B(R
n
), entonces tB
B(R
n
).
Ejercicio 34 Se puede poner un cuadrado del plano como union nu-
merable de segmentos?
Ejercicio 35 Demostrar que para p = 0, H
p
es la medida de contar.
Ejercicio 36 Sea

y consideremos el espacio metrico (

, d), con
la metrica inducida. Demostrar que la medida exterior de Hausdor en

, H

p
= H
p|P(

)
.
Ejercicio 37 Demostrar que si A y 0 < H
p
(A) < , dim
H
(A) =
p.
Ejercicio 38 Demostrar que dim
H
(x) = 0, para cada x .
Ejercicio 39 Demostrar que dim
H
(A
n
) = supdim
H
(A
n
).
Ejercicio 40 En los subespacios de R
n
con la metrica eucldea, demos-
trar que la dimension vectorial y la de Hausdor coinciden.
Ejercicios Tema II
Ejercicio 41 Sea f : (, /) (R, B(R)) acotada. Demostrar que existe
una sucesi on de funciones simples s
n
tales que s
n
f uniformemente.
Ejercicio 42 Sean f y g funciones medibles y A un conjunto medible.
Demostrar que es medible la funcion
h(x) =
_
f(x) si x A,
g(x) si x / A,
Ejercicio 43 Sea (, /, ) 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 conjun-
tos
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 medi-
ble?, y si el espacio es completo?.
b) Sean f g h, con f y h medibles tales que f = h c.s. es necesa-
riamente g medible?, y si el espacio es completo?.
Ejercicio 46 Sea f
n
una sucesion de funciones medibles, demostrar que
es medible el conjunto x : existe y es nito el lmf
n
(x).
Ejercicio 47 Sea f : R R monotona creciente, es f borel medible?
Ejercicio 48 Es cierto que f es medible si y solo si [f[ es medible? En
caso contrario dar un contraejemplo.
Ejercicio 49 Sea A
n
una sucesion de subconjuntos de . Demostrar
que
nf I
A
n
= I
A
n
, supI
A
n
= I
A
n
,
lminf I
A
n
= I
lminf A
n
, lmsupI
A
n
= I
lmsup A
n
.
Ejercicio 50 Sean A, B . Demostrar que x : I
A
,= I
B
=
AB.
Ejercicio 51 Si f : R R tiene derivada en todo punto, demostrar que
f

es Borel medible.
Ejercicio 52 Demostrar que f = (f
1
, . . . , f
n
): R
n
es medible si y
solo si cada f
i
lo es.
Ejercicio 53 Sea (, /, ) un espacio de medida y f =

n=1
a
n
I
A
n
,
con a
n
(0, ) y A
n
/, calcular
_
f d.
Ejercicio 54 Sea f 0 integrable. Demostrar que > 0 existe un
medible A, con (A) < tal que
_
f <
_
A
f +.
8
Ejercicio 55 Sea f integrable y > 0. Demostrar que existe una funcion
simple s tal que
_
[f s[ < .
Ejercicio 56 Sean
1

2
medidas. Demostrar que si una funcion
medible compleja f es
2
integrable, entonces es
1
integrable.
Ejercicio 57 Sean f
n
0 medibles tales que f
n
f. Demostrar que si
f
1
es integrable,
_
f
n

_
f. Es cierto si f
1
no es integrable?
Ejercicio 58 Sean f, f
n
0 integrables, tales que f
n
f c.s. Demos-
trar que
_
f
n

_
f sii
_
[f
n
f[ 0.
Ejercicio 59 Sea () < y f
n
integrables tales que f
n
f unifor-
memente. Demostrar que f es integrable y que
_
f
n

_
f.
Ejercicio 60 Sean f, f
n
integrables, tales que f
n
f c.s. Demostrar
que
_
[f
n
f[ 0 sii
_
[f
n
[
_
[f[.
Ejercicio 61 Sea f integrable y g medible acotada, demostrar que fg es
integrable.
Ejercicio 62 Demostrar que es nita si y solo si existe una funcion
medible estrictamente positiva e integrable.
Ejercicio 63 Sea un espacio topologico, una medida en B() tal
que (A) > 0, para cada abierto A ,= y f, g : R continuas tales
que f = g c.s., demostrar que f = g.
Ejercicio 64 Demostrar que si f g c.s., existe la
_
f y <
_
f,
entonces existe la
_
g y si existe la
_
g y
_
g < , entonces existe la
_
f
y en ambos casos
_
f
_
g.
Ejercicio 65 Demostrar el teorema de la convergencia monotona cuan-
do las condiciones son c.s.
Ejercicio 66 Calcular:
lm
n
_
1
0
(1 +nx
2
)(1 +x
2
)
n
dm.
9
Ejercicio 67 Sea f : R R medible y a R. Demostrar que
_

f(x)dm =
_

f(x a)dm,
en el sentido de que si una integral existe tambien la otra y coinciden.
Ejercicio 68 Sea f : R R medible tal que e
tx
f(x) es integrable para
todo t (a, b) R. Demostrar que F(t) =
_
e
tx
f(x) dm es diferenciable
y que F

(t) =
_
xe
tx
f(x) dm.
Ejercicio 69 Demostrar que para t 0 y 0 1, la sucesion (1 +
(t/n)

)
n
es creciente y para 1 , (1 (t/n)

)
n
tambien es creciente.
Ejercicio 70 Demostrar que
(a) lm
n
_
n
1
(1 (t/n))
n
log t dm =
_

1
e
t
log t dm.
(b) lm
n
_
1
0
(1 (t/n))
n
log t dm =
_
1
0
e
t
log t dm.
Ejercicio 71 Sea f no negativa e integrable, con 0 <
_
f d = c < y
sea 0 < < . Demostrar que
lm
n
_
nlog
_
1 +
_
f
n
_

_
d =
_

_
, si 0 < < 1,
c, si = 1,
0, si 1 < < .
Ejercicio 72 Demostrar que si f es integrable, entonces para cada
> 0, existe un > 0, tal que
(E) <
_
E
[f[ d < .
Ejercicio 73 Demostrar que si f : R R es Lebesgue integrable F(x) =
_
x

f dm es uniformemente continua.
Ejercicio 74 Demostrar que si F : (, /, ) (

, /

) es medible,
F
=
F

, para
F
(B) = [F
1
(B)], es una medida, llamada medida imagen,
para la que se verica que si g es medible en

y B /

, entonces
_
B
g d
F
=
_
F
1
(B)
(g T) d.
10
en el sentido de que si una de las integrales existe tambien la otra y son
iguales.
Ejercicio 75 Demostrar que si f
n
: I R son Riemannintegrables y
f
n
f uniformemente, entonces f es Riemannintegrable.
Ejercicio 76 Sea C = [a, b] Q = c
n
y f : I = [a, b] R, f(x) = 0 si
x es irracional, x C
c
; y f(c
n
) = 1/n. Demostrar que f es Riemann
integrable y calcular su integral.
Ejercicio 77 (a) Demostrar que si f tiene integral impropia de Rie-
mann, 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 Rie-
mann nita, 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
_
(,)
f dm = lm
a, b
_
[a,b]
f dm.
Es cierto si existe la integral pero no es nita?
Ejercicio 80 (a) Demostrar por induccion que
_

0
x
n
e
x
dm = n!.
(b) Demostrar que para t > 0,
_

0
e
tx
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).
Demostrar que f(x)x
3/2
es Lebesgue integrable.
Ejercicio 82 Calcular:
(a) lm
n
_

0
(1 + (x/n))
n
sen(x/n) dm.
(b) lm
n
_

0
nsen(x/n)[x(1 +x
2
)]
1
dm.
(c) lm
n
_

a
n(1 +n
2
x
2
)
1
dm, en funcion de a.
11
Ejercicio 83 Dadas las funciones denidas en (0, )
f(t) =
__
t
0
e
x
2
dx
_
2
, g(t) =
_
1
0
e
t
2
(x
2
+1)
x
2
+ 1
dx,
demostrar que:
(a) f(t) +g(t) = /4. (b)
_

0
e
x
2
dm =

/2.
Ejercicio 84 Dada f(t) =
_

0
e
x
2
cos 2xt dm, demostrar que satisface
f

(t) + 2tf(t) = 0 y que f(t) = (1/2)

e
t
2
.
Ejercicio 85 Demostrar:
(1)
_

x
2n
e
x
2
dm = 2n!

/4
n
n!.
(2) Para a 0,
_

e
x
2
cos axdm =

e
a
2
/4
.
(3) Para p > 0,
_
1
0
x
p1
(x 1)
1
log xdm =

n=0
1/(p +n)
2
.
Ejercicio 86 Demostrar que la funcion f : (0, 1) R, f(x) = x
r
log
n
x
1
,
para 1 < r y n 0 es Lebesgue integrable y que
_
(0,1)
x
r
log
n
x
1
dm =
_
1
0
x
r
log
n
x
1
dx =
n!
(1 +r)
n+1
Ejercicio 87 Demostrar que la funcion g : [1, ) R, g(x) = e
x
x
k
,
para k R es Lebesgue integrable.
Ejercicio 88 Sea k R y r > 0. Demostrar que
_
r
0
x
k
dm < 1 < k
_

r
x
k
dm < k < 1
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
, /
1
) y (
2
, /
2
) espacios medibles y f :
1
R
y g :
2
R medibles, demostrar que h(x, y) = f(x)g(y) es /
1
/
2

medible.
Ejercicio 91 Demostrar que (/
1
/
n1
) /
n
= /
1
/
n
.
Ejercicio 92 Sea f : R
2
R, tal que f
x
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(R
n
) es medible
la funcion de R
n
, f(x) = m[A B[x, r]].
Ejercicio 94 Sean (
1
, /
1
,
1
) y (
2
, /
2
,
2
) espacios de medida
nita y completos, es necesariamente completo el espacio producto?.
Ejercicio 95 Sean (
1
, /
1
,
1
) y (
2
, /
2
,
2
) espacios de medida
nita y E, F /
1
/
2
, tales que para todo x
1
c.s. (
1
),
2
(E
x
) =

2
(F
x
). Demostrar que (E) = (F).
Ejercicio 96 Sean (
1
, /
1
) y (
2
, /
2
) espacios medibles y :
1

/
2
[0, ] una medida de transicion. Demostrar que:
(a) Si es una medida en (
1
, /
1
), entonces
(B) =
_

B
d,
es una medida en (
2
, /
2
).
(b) Si g 0 es medible en (
2
, /
2
),
f(x) =
_
g d
x
,
es medible en (
1
, /
1
) y se tiene que
_
f d =
_
g d.
13
Ejercicio 97 Demostrar que: (a) Si F : (, /) (

, /

) es medible y
es una medida en (, /), = F

, para
(A) = [F
1
(A)],
es una medida en (

, /

) (llamada medida imagen) y si es nita,


tambien lo es. Es cierto que si lo es, lo es ?
(b) Si F
1
: (
1
, /
1
) (

1
, /

1
) y F
2
: (
2
, /
2
) (

2
, /

2
) son medi-
bles entonces tambien es medible
F
1
F
2
:
1

2
, F
1
F
2
(x, y) = (F
1
(x), F
2
(y)),
y dadas medidas
1
en (
1
, /
1
) y
2
en (
2
, /
2
), tales que
i
= F
i

i
son nitas, se verica que
F
1
F
2
(
1

2
) =
1

2
.
Ejercicio 98 Sean (
1
, /
1
,
1
) y (
2
, /
2
,
2
) espacios de medida
nita y f :
1
R y g :
2
R medibles e integrables, demostrar que
h(x, y) = f(x)g(y) es =
1

2
integrable y
_
hd =
__
f d
1
___
g d
2
_
.
Ejercicio 99 Sea (, /, ) un espacio de medida nita y f : R
medible y no negativa. Demostrar que la graca de f es medible
E = (x, y) [0, ] : y = f(x) /B(R),
y que m(E) = 0.
Ejercicio 100 Sea (, /, ) un espacio de medida nita y f : R
medible y no negativa. Demostrar que la funcion F(y) = f
1
(y) es
medible y F = 0 c.s.
Ejercicio 101 Sea (, /, ) un espacio de medida nita y f, g :
[0, ) medibles y tales que para cada x > 0, f > x g > x.
Demostrar que
_
f d
_
g d.
14
Ejercicio 102 Sea (, /, ) un espacio de medida nita, f :
[0, ] medible y 1 p < . Demostrar que
_
f
p
d =
_

0
pt
p1
f > t dt,
y que si f > t e
t
, entonces
_
f
p
d (p).
Ejercicios Tema IV
Ejercicio 103 Sean , : / (, ] cargas y a R, demostrar que
[a[ = [a[[[, [ +[ [[ +[[.
Ejercicio 104 Sea (, /, ) un espacio medible con una carga. Demos-
trar:
(a) E / es nulo si y solo si [[(E) = 0.
(b) Si P, N y P

, N

son descomposiciones de Hahn, [[(PP

) = 0.
Ejercicio 105 Sean
1
,
2
medidas, =
1
+
2
y f una funcion medi-
ble. Demostrar que existe
_
f d sii existen
_
f d
1
la
_
f d
2
y su suma
esta denida. Y en tal caso
_
f d =
_
f d
1
+
_
f d
2
.
Ejercicio 106 Sea una carga. Demostrar:
(a) g es integrable si y solo si es [[integrable.
(b) Si g es integrable,

_
g d

_
[g[ d[[.
(c) Existe una medida y una funcion medible f, con integral respecto
de , tal que para todo E /
(E) =
_
E
f d.
15
Ejercicio 107 Encontrar en B(R) la descomposicion de Jordan para la
carga = P
{0}
, siendo P una probabilidad.
Ejercicio 108 Sea f una funcion con integral en el espacio de medida
(, /, ) y consideremos la carga = f. Demostrar que

+
(A) =
_
A
f
+
d,

(A) =
_
A
f

d, [[(A) =
_
A
[f[ d.
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 nitas y =
1

2
.
Demostrar que si f es
1
y
2
integrables entonces es integrable y
_
f d =
_
f d
1

_
f d
2
.
Ejercicio 111 Sea una carga en un espacio medible (, /), demostrar
que
[[(A) = sup
n

i=1
[(E
i
)[ : E
i
/, disjuntos, E
i
= A,
Es cierto el resultado si ponemos

i=1
en lugar de sumas nitas?.
Ejercicio 112 Sea (, /) un espacio medible con una medida compleja
=
1
+i
2
=
+
1

1
+i
+
2
i

2
,
demostrar que

i
[
i
[ [[
+
1
+

1
+
+
2
+

2
.
Ejercicio 113 Sea (, /, ) un espacio de medida y f una funcion me-
dible no negativa. Si denimos la medida (A) =
_
A
f d, demostrar que
para cada funcion medible g
_
g d =
_
fg 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
nitas, en (, /),
demostrar que si
1

2
y
2

3
, entonces
1

3
y ademas se
tiene que
d
1
d
3
=
d
1
d
2
d
2
d
3
.
Ejercicio 115 Sean y medidas nitas, con y sea = +.
Demostrar que y si f = d/d, entonces 0 f < 1 c.s () y que
d/d = f/(1 f).
Ejercicio 116 Sean y medidas nitas en (, /), demostrar que
son equivalentes las condiciones:
(a) y .
(b) A / : (A) = 0 = A / : (A) = 0.
(c) Existe una funcion medible g : (0, ), tal que (A) =
_
A
g d.
Ejercicio 117 Demostrar que si (, /, ) es un espacio de medida
nita, existe una medida nita , que tiene los mismos conjuntos nulos
que .
Ejercicio 118 Sea (, /, ) un espacio de medida nita y f : C
integrable. Demostrar que si S es un cerrado de C, tal que para cada
E / con (E) > 0, se tiene
1
(E)
_
E
f d S
entonces f(x) S c.s.
Ejercicio 119 Sea (, /, ) un espacio de medida. Demostrar que
/(/, R) : ,
es un subespacio vectorial cerrado del espacio de Banach /(/, R).
Ejercicio 120 Sean
1

1
en (
1
, /
1
) y
2

2
en (
2
, /
2
), medi-
das nitas. Demostrar que
1

2

1

2
y que
d(
1

2
)
d(
1

2
)
(x, y) =
d
1
d
1
(x)
d
2
d
2
(y).
17
Ejercicio 121 Sea f medible compleja integrable respecto de una medida
compleja , demostrar que

_
f d

_
[f[ d[[.
Ejercicio 122 Sean y medidas y f -integrable y g -integrable,
tales que para todo A /,
_
A
fd =
_
A
gd, entonces para toda h
medible acotada
_
A
fhd =
_
A
ghd
Ejercicio 123 Demostrar que si
1
y
2
son complejas y
1

2
, en-
tonces [
1
+
2
[ = [
1
[ +[
2
[.
Ejercicios Tema V
Ejercicio 124 Calcular el area y el volumen de la elipse y elipsoide respecti-
vamente
x
2
a
2
+
y
2
b
2
= 1,
x
2
a
2
+
y
2
b
2
+
z
2
c
2
= 1.
Ejercicio 125 Sea : R R
n
una curva de clase 1, demostrar que para todo
[a, b] R, si (t) = (x
i
(t))

1
H
1
([a, b]) =
_
b
a
|

(t)| dt =
_
b
a

_
n

i=1
x

i
(t)
2
dt.
Ejercicio 126 Sea f (
1
(R
2
) y consideremos su gr aca F : R
2
R
3
, F(x, y) =
(x, y, f(x, y)), demostrar que para todo A B(R
2
),

2
H
2
[F(A)] =
_
A
_
1 + f
2
x
+ f
2
y
dxdy.
Ejercicio 127 (1) Demostrar que el area de la esfera de radio r es 4r
2
.
(2) Demostrar que el area del casquete esferico de radio r y altura h es 2rh.
Ejercicio 128 Demostrar que para una rotacion o una traslaci on T : R
n

R
n
, el centro de masas C(B) de un boreliano B satisface C[T(B)] = T[C(B)].
18
Ejercicio 129 Demostrar que si B, B
i
B(R
n
), tienen dimensi on Hausdor
p, con 0 < H
p
(B), H
p
(B
i
) < y B
i
es una partici on numerable disjunta de
B = B
n
, entonces
C[B] =

H
p
(B
i
)
H
p
(B)
C(B
i
).
Ejercicio 130 Dado en el plano un tri angulo T
2
de vertices ABC, conside-
remos los tres conjuntos: T
2
(la envolvente convexa de los vertices), T
1
= T
2
formado por los tres lados y T
0
= |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 : [f(x)[ >


|f|

es localmente nulo.
Ejercicio 132 Demostrar que si f L

y es integrable, entonces x :
[f(x)[ > |f|

es nulo.
Ejercicio 133 Sea (, /, ) un espacio de medida nita. Demostrar
que
/(/, R) : ,
es un subespacio vectorial cerrado del espacio de Banach /(/, R), que
es isomorfo a L
1
(, /, , R). Dar un isomorsmo.
Ejercicio 134 Sea (, /, ) un espacio de medida nita y f : C
medible. Demostrar que
f
(B) = [f
1
(B)] es una medida en B(C), y
que si f L

, entonces
K = z C :
f
[B(z, )] > 0, > 0,
es un compacto, donde B(z, ) = z

: [z

z[ < y que
|f|

= sup[z[ : z K.
Ejercicio 135 Demostrar que si 0 < r < p < s < , entonces L
r
L
s

L
p
L
r
+L
s
.
19
Ejercicio 136 Demostrar que si 0 < r < s < y f L
r
L
s
, entonces
f L
p
, para todo p [r, s]; que la funcion
(p) = log
_
[f[
p
d,
es convexa en [r, s] y que |f|
p
max|f|
r
, |f|
s
.
Ejercicio 137 Demostrar que un espacio normado c es completo sii
para cada sucesion x
n
c

|x
n
| <

x
n
es convergente.
Ejercicio 138 Demostrar la desigualdad de Holder generalizada:
Si 1 p
1
, . . . , p
n
son tales que

(1/p
i
) = 1/r 1 y f
i
L
p
i
,
entonces
n

i=1
f
i
L
r
, y |
n

i=1
f
i
|
r

n

i=1
|f
i
|
p
i
.
Ejercicio 139 Demostrar que si f, g L
p
para 0 < p < 1, entonces
|f +g|
p
2
1
p
1
(|f|
p
+|g|
p
)
Ejercicio 140 Demostrar que si f L
p
para alg un 0 < p < , enton-
ces |f|
r
|f|

, cuando r .
Ejercicio 141 Demostrar que si () < y 0 < r < s < , entonces
L
s
L
r
y que para f L
s
|f|
r
|f|
s
()
1
r

1
s
.
Ejercicio 142 Demostrar que si () < y f
n
, f son medibles, en-
tonces:
(a) Si f
n
f c.s., entonces f
n
f en medida (es decir que para
todo > 0, [f
n
f[ > 0).
(b) Si f
n
f en L
p
(con 1 p ), entonces f
n
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

__
f d
_

_
f d.
20
Ejercicio 144 Demostrar que si () = 1 y f, g son medibles y positivas
y tales que fg 1, entonces
_
f d
_
g d 1.
Ejercicio 145 Demostrar que si 0 < r < s , entonces l
r
l
s
.
Ejercicio 146 Sea g L

, demostrar que para 1 p < , si f L


p
,
gf L
p
, que la aplicacion G: L
p
L
p
, G(f) = gf, es lineal y continua
y que |G| = |g|

.
21
Ejercicios resueltos
Ejercicio 3.- Dada una aplicaci on F :

, demostrar que:
(a) Si / es una algebra de , /

= |B

: F
1
(B) / lo es de

.
(b) Si /

es una algebra de

, / = F
1
[/

] = |F
1
(B) : B /

lo
es de .
(c) Si ( 1(

), [F
1
(()] = F
1
[(()].
(d) Demostrar que si (, T ) y (

, T

) son espacios topol ogicos y F es continua,


entonces F
1
(B) B(), para todo B B(

).
Ind.- (c) Aplicar el principio de los buenos conjuntos. (d) Aplicar (c).
Ejercicio 4.- Consideremos las siguientes extensiones de una familia ( de sub-
conjuntos de :
(
1
= |A : A ( o A
c
(,
(
2
= |A
1
A
n
: A
i
(
1
, n N,
(
3
= |A
1
A
n
: A
i
(
2
, n N.
Demostrar que (
3
= (().
Soluci on.- Por una parte tenemos que ( (
1
(
2
(
3
((), por tanto
((
3
) = (() y basta demostrar que (
3
es algebra. Que , (
3
es obvio,
A = A
1
A
n
(
3

A
c
= A
c
1
A
c
n
= (
m
1
j=1
B
1j
) (
m
n
j=1
B
nj
)
=
m
1
j
1
=1

m
n
j
n
=1
_

n
i=1
B
ij
i

(
3
,
donde los B
ij
(
1
. Por ultimo es cerrado para uniones nitas.
Ejercicio 5.- Sean (
1
, /
1
), . . . , (
n
, /
n
) espacios medibles. Demostrar que la
familia de los productos de medibles,
1 = |A
1
A
n

1

n
: A
i
/
i
,
es una clase elemental.
Soluci on.- 1 y
(A
1
A
n
) (B
1
B
n
) = (A
1
B
1
) (A
n
B
n
),
[A
1
A
n
]
c
=A
c
1

2

n

A
1
A
c
2

n
. . .
A
1
A
n1
A
c
n
,
0
.
Ejercicio 9.- Puede una algebra innita contener s olo una colecci on nume-
rable de elementos?
22
Ind. No, porque al menos tendra una coleccion numerable A
n
de conjuntos
disjuntos pues de un medible no trivial A, sacamos dos A y A
c
, y por induccion,
de n disjuntos A
1
, . . . , A
n
sacamos n + 1, pues o bien B = A
i
,= y consideramos
A
n+1
= B
c
o en caso contrario estos n conjuntos son una particion del espacio y
basta considerar cualquier medible E que no sea union de algunos A
i
, y por tanto
con interseccion no trivial con alguno de los A
i
, al que parte en dos EA
i
y E
c
A
i
.
Ahora las uniones arbitrarias de estos seran distintas e identicando cada A
n
con
n N, estas uniones se identicaran 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) = sup
xI
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
x

f
(I). Se sigue de la denicion que x es punto
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 C
n
= x :
f
(x) 1/n
y se tiene que D(f) =
f
,= 0 = C
n
.
Ejercicio 13.- Dada una medida y una sucesi on A
n
/, demostrar que
(

_
n=1
A
n
)

n=1
(A
n
).
Ind. Tomense los conjuntos disjuntos B
n
= (A
1
A
n1
)
c
A
n
.
Ejercicio 15.- Dado un espacio de medida (, /, ) y una sucesi on A
n
/,
demostrar que:
(a) (lminf A
n
) lminf (A
n
).
(b) Que si (A
n
) < , entonces lmsup(A
n
) (lmsup A
n
).
Soluci on.- Sean B
n
=

i=n
A
i
y C
n
=

i=n
A
i
, entonces B
n
A
n
C
n
,
(B
n
) (A
n
) (C
n
) y B
n
lminf A
n
, C
n
lmsup A
n
.
Ejercicio (Lema de BorelCantelli) 16.- Sea (, /, ) un espacio de medida y
C
n
/. Demostrar que

n=1
(C
n
) < (lmsup C
n
) = 0.
Ind. Sea D
n
=

i=1
C
i
, (D
1
) < , (D
n
) 0 y D
n
lmsup C
n
.
Ejercicio 18.- Dada una sucesi on doble x
nm
(, ], tal que para cuales-
quiera n, m N, x
nm
x
n+1,m
y x
nm
x
n,m+1
, demostrar que
lm
n
lm
m
x
nm
= lm
m
lm
n
x
nm
.
23
Ind. Demostrar que existen los lmites a
n
= lm
m
x
nm
, a = lm
n
a
n
,
b
m
= lm
n
x
nm
y b = lm
m
b
m
, que x
nm
a
n
a y por tanto b a, la otra
desigualdad por simetra.
Ejercicio 20.- Dado un espacio no numerable y
/ = |E : E o E
c
es numerable,
(E) =
_
0, si E es numerable,
1, si E
c
es numerable, para cada E /,
demostrar que / es algebra y medida.
Ind. Si A
n
, y para todo n A
n
es numerable, entonces A
n
, por ser
numerable y si existe un i tal que A
c
i
es numerable, entonces (A
n
)
c
= A
c
n
A
c
i
es
numerable. Y si los A
n
son disjuntos y todos numerables, (A
n
) = 0 =

(A
n
), y
si un A
i
no lo es, entonces para todo j ,= i, A
j
A
c
i
es numerable y (A
n
) = 1 =
(A
i
) =

(A
n
).
Ejercicio 21.- Dado un espacio de medida (, /, ), tal que para todo E /
con (E) = existe F /, con F E y 0 < (F) < (estas medidas
suelen llamarse seminitas), demostrar que para todo E / con (E) =
y todo r > 0 existe F /, con F E y r < (F) < .
Soluci on.- Basta demostrar que
sup(B) : B ,, B E y (B) < = .
En caso contrario, el supremo valdra c < y para todo n N, podramos encontrar
F
n
E tal que (F
n
) > c(1/n) y considerando B
n
=
n
i=1
F
i
y su union expansiva
B
n
B, tendramos que (B
n
) c, pues B
n
E y (B
n
)

n
i=1
(F
i
) < , por
tanto tomando lmites (B) c, pero como
(B
n
) (F
n
) c
1
n
,
tomando lmites (B) c, por tanto (B) = c y como B E llegamos a contradic-
cion pues (E\B) = ya que (E) = (B) + (E\B), y por denicion existe un
medible A E\B con 0 < (A) < , por lo que B A E tiene medida nita
mayor que c.
Ejercicio 23.- Dado un espacio de medida (, /, ), denimos : / [0, ],
de la siguiente manera
(A) = sup|(B) : B /, B A y (B) < ,
demostrar que:
(a) es una medida seminita.
(b) Que si es seminita entonces = .
Soluci on.- (a) Es aditiva, pues para A, B , disjuntos y cualquier C AB,
con C , y (C) < , tenemos A C A, B C B, con A C, B C , y
(A C) < , (B C) < , por tanto como son disjuntos
(C) = (A C) +(B C) (A) +(B),
24
y como esto es valido para cualquier C, (A B) (A) + (B). Veamos la otra
desigualdad; para cualesquiera A

A, B

B, de , con medidas nitas por ,


tendremos que son disjuntos y
(A

) +(B

) = (A

) (A B),
y se sigue la otra desigualdad. Ahora basta demostrar que si A
n
A, entonces
(A
n
) (A). Ahora bien como es no negativa y aditiva es mon otona, por
tanto (A
n
) (A
n+1
) (A), para todo n y si consideramos un B A me-
dible con (B) < y la sucesi on B
n
= B A
n
B, tendremos (B
n
) (B),
(B
n
) (B) < y B
n
A
n
, por tanto (B
n
) (A
n
), de donde
(B) = lm(B
n
) lm(A
n
) (A),
y tomando sup en (B) se dan igualdades y por tanto es medida. Ademas si
(A) < , (A) = (A) y si (A) = , existe B
n
A medibles con (B
n
) < y
(B
n
) , por tanto existe B
n
A, con 0 < (B
n
) = (B
n
) < , lo que prueba
que es seminita.
(b) Es consecuencia del ejercicio 21.
Ejercicio 24.- Demostrar que la medida exterior de Lebesgue en R, se puede
denir en vez de con la clase ( = |(a, b], con cualquiera de las clases (
1
=
|(a, b), (
2
= |[a, b], (
3
= |[a, b).
Ind.- Para ( y (
1
, denotemos
T
A
=

n=1
(b
n
a
n
) : a
n
< b
n
R, A

_
n=1
(a
n
, b
n
],
T
1A
=

n=1
(d
n
c
n
) : c
n
< d
n
R, A

_
n=1
(c
n
, d
n
),
entonces por un lado T
1A
T
A
, pues (c, d) (c, d] y por otro para cada x T
A
y
> 0, x + T
1A
, pues para x =

(b
n
a
n
), con A

n=1
(a
n
, b
n
], tendremos
A

n=1
(a
n
, b
n
+/2
n
) 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 /

. Demostrar que:
(a)

.
(b) Si

es la medida exterior generada por una medida en un algebra


/, entonces

.
(c) Encontrar una medida exterior

en = |0, 1, para la que

,=

.
Ind. (a) Para A ,

(A) =nf

(A
i
) : A
i
,

, A A
i
, y dado uno
de estos n umeros

(A
i
),

(A)

(A
i
)

(A
i
),
por tanto

(A)

(A).
(b) Para A ,

(A) =nf

(A
i
) : A
i
,, A A
i
, y dado uno de estos
n umeros

(A
i
), como los A
i
,

(A)

(A
i
) =

(A
i
),
25
por tanto

(A)

(A).
(c)

0 =

1 = 2,

0, 1 = 3, por tanto ,

= , y

0 = 3.
Ejercicio 27.- Sea (, /, ) un espacio de medida y sea /

su compleci on y

la medida exterior generada por . Demostrar que para cada A :

(A) =nf|(B) : B /, A B,
y que si denimos la medida interior

(A) = sup|(B) : B /, B A,
entonces si A /

se tiene que

(A) =

(A) = (A) y recprocamente si

(A) =

(A) < entonces A /

.
Ind. Si A ,

, existen B, D ,, 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 ,, con B A D, (B) =

(A) y

(A) = (D) y si

(A) =

(A) < entonces A ,

.
Ejercicio 29.- Sean
i
: B(R) [0, ], para i = 1, . . . , n medidas de Lebesgue
Stieltjes. Demostrar que existe una unica medida : B(R
n
) [0, ], tal que
para cada semirect angulo acotado (a, b],
(a, b] =
1
(a
1
, b
1
]
n
(a
n
, b
n
].
Ind. Considerense funciones de distribucion F
i
que generen
i
, la funci on de
distribucion F(x
1
, . . . , x
n
) = F
1
(x
1
) F
n
(x
n
) y la medida que genera.
Ejercicio 30.- Demostrar que toda medida en B(R
n
) de LebesgueStieltjes
es nita. Encontrar una que sea nita pero no de LebesgueStieltjes.
Encontrar una que sea nita pero no regular.
Ind. En R, (A) el n umero de racionales de A.
Ejercicio 31.- Demostrar que toda medida seminita : B(R
n
) [0, ] es
regular interior.
Ind. Se ha demostrado que toda medida es regular interior en los borelianos de
medida nita, sea B un boreliano con (B) = , entonces por ser seminita hemos
demostrado que para todo n N existe un boreliano B
n
B, tal que n < (B
n
) <
, pero entonces existe un compacto K
n
B
n
, tal que n < (K
n
) y K
n
B.
Ejercicio 32.- Demostrar que para a < b R
n
y la medida de Lebesgue n
dimensional
m(a, b) = m[a, b) = m(a, b] = m[a, b].
Ind. Para a, b R
n
, a < b, se tiene, entendiendo a1/m el vector de coordenadas
a
i
1/m, (a 1/m, b] [a, b], por tanto
m[a, b] = lmm(a 1/m, b] = lm

(b
i
a
i
+ 1/n) =

(b
i
a
i
) = 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 /(R
n
), entonces tB /(R
n
) y
m(tB) = [t[
n
m(B). Ademas si B B(R
n
), entonces tB B(R
n
).
Ind. Para t > 0, m(tB) = [t[
n
m(B), pues m

(tB) = t
n
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 R
n
, a < b, se tiene, entendiendo a 1/n el vector de
coordenadas a
i
1/n
m[a, b] = lmm(a 1/n, b] = lm

(b
i
a
i
+ 1/n) =

(b
i
a
i
) = m(a, b],
m

(A) =nf

m(a
i
, b
i
] : A (a
i
, b
i
]
=nf

m[a
i
, b
i
] : A [a
i
, b
i
]
=nf

m[b
i
, a
i
] : A [b
i
, a
i
] = m

(A),
y se demuestra facilmente que si B /(R
n
), entonces tB /(R
n
). Que las homote-
cias conservan Borelianos es por ser homeomorsmos. El ejercicio tambien se puede
demostrar utilizando esto ultimo, que los Lebesgue medibles son la complecion de los
Borel y que la medida de Lebesgue es la unica medida invariante por traslaciones que
verica m([0, 1]
n
) = 1, considerando para ello la medida de Borel (B) = m[tB]/[t[
n
.
Ejercicio 35.- Demostrar que para p = 0, H
p
es la medida de contar.
Ind. Para A = x
1
, . . . , x
m
y < mnd(x
i
, x
j
), H
0
(A) = n.
Ejercicio 36.- Sea

y consideremos el espacio metrico (

, d), con la
metrica inducida. Demostrar que la medida exterior de Hausdor en

, H

p
=
H
p|P(

)
.
Ind. Para A

,
H

p,
(A) =nf

d(A
n
)
p
: A A
n

, d(A
n
)
=nf

d(B
n
)
p
: A B
n
, d(B
n
) = H
p,
(A).
Ejercicio 38.- Demostrar que dim
H
(|x) = 0, para cada x .
Ind. H
0
(x) = 1.
Ejercicio 39.- Demostrar que dim
H
(A
n
) = supdim
H
(A
n
).
Ind. Si A = A
i
, H
p
(A
i
) H
p
(A)

H
p
(A
n
), por tanto si p < sup dim
H
(A
n
),
existe un i tal que p < dim
H
(A
i
), por tanto H
p
(A
i
) = = H
p
(A) y p dim
H
(A) y
si sup dim
H
(A
n
) < p, H
p
(A
n
) = 0 para todo n y H
p
(A) = 0, por tanto dim
H
(A) p.
Ejercicio 40.- En los subespacios de R
n
con la metrica eucldea, demostrar que
la dimension vectorial y la de Hausdor coinciden.
Ind. Es consecuencia de los resultados anteriores y de que para un cubo Q,
ndimensional, se tiene que 0 < H
n
(Q) < , por tanto dim
H
(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 tambien porque
x : h(x) < g(x) =
_
rQ
(h(x) < r r < g(x)) ,
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

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

, f

es medible.
Ejercicio 52.- Demostrar que f = (f
1
, . . . , f
n
): (, /) (R
n
, B(R
n
)) es medi-
ble si y s olo si cada f
i
lo es.
Soluci on.- Si f es medible, f
i
= x
i
f es medible por que las proyecciones
x
i
: R
n
R son continuas y por tanto medibles. Recprocamente sea (a, b] un semi
rectangulo, con a < b R
n
, entonces
f
1
(a, b] = x : a < f(x) b =
n

i=1
x : a
i
< f
i
(x) b
i
,,
y como estos semirect angulo generan B(R
n
), f es medible.
Ejercicio 53.- Sea (, /, ) un espacio de medida y f =

n=1
a
n
I
A
n
, con
a
n
(0, ) y A
n
/, calcular
_
f d.
Ind.
_
f
n
=
_
f
n
.
Ejercicio 54.- Sea f 0 integrable. Demostrar que > 0 existe un medible
A, con (A) < tal que
_
f <
_
A
f + .
Ind. A
n
= 1/n f A = 0 < f, (A
n
) < y
_
A
n
f
_
A
f =
_
f.
Ejercicio 58.- Sean f, f
n
0 integrables, tales que f
n
f c.s. Demostrar que
_
f
n

_
f sii
_
[f
n
f[ 0.
Ind. Por el TCD, pues f f
n
[f f
n
[ f, por tanto
_
f
n

_
[f
n
f[
_
f.
Ejercicio 60.- Sean f, f
n
integrables, tales que f
n
f c.s. Demostrar que
_
[f
n
f[ 0 sii
_
[f
n
[
_
[f[.
Ind. Por el TCD pues [f[ [f
n
[ [f
n
f[ [f[, por tanto
_
[f
n
[
_
[f
n
f[
_
[f[.
Ejercicio 66.- Calcular:
lm
n
_
1
0
(1 + nx
2
)(1 + x
2
)
n
dm.
Ind. Por el TCD, pues: 1 es integrable; 0 f
n
1, ya que
(1 +x
2
)
n
= 1 +nx
2
+ (1/2)n(n 1)x
4
+. . . 1 +nx
2
,
28
y f
n
0, pues
(1 +x
2
)
n
1 +nx
2

1 +nx
2
+ (1/2)n(n 1)x
4
1 +nx
2
.
Ejercicio 68.- Sea f : R R medible tal que e
tx
f(x) es integrable para todo
t (a, b) R. Demostrar que F(t) =
_
e
tx
f(x) dm es diferenciable y que
F

(t) =
_
xe
tx
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 e
x
, por lo que el m odulo de la derivada del integrando, [xe
tx
f(x)[, esta acotado
para t I por la funci on integrable
h(x) =
_

_
e
(s2)x
[f(x)[, si x < r,
r e
(s2)x
[f(x)[, si r x 0,
r e
(s+2)x
[f(x)[, si 0 x r,
e
(s+2)x
[f(x)[, si x > r,
y el resultado se sigue del teorema de derivacion bajo el signo integral.
Nota. Para los siguiente ejercicios puede ser util recordar que:
lm
|a
n
|
(1 + 1/a
n
)
a
n
= e,
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.
_
1
_
t
n
_

_
n

_
1
_
t
n + 1
_

_
n+1

(n

)
n
((n + 1)

)
n+1

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

x)
n
((n + 1)

x)
n+1
,
y demostrar que f

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


Ejercicio 70.- Demostrar que
(a) lm
n
_
n
1
_
1
t
n
_
n
log t dm =
_

1
e
t
log t dm.
(b) lm
n
_
1
0
_
1
t
n
_
n
log t dm =
_
1
0
e
t
log t dm.
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
Tambien 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 e
t
t,
y demostrando que e
t
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 sucesion (1 (t/n))
n
log t 0 y es decreciente.
Ejercicio 71.- Sea f no negativa e integrable, con 0 <
_
f d = c < y sea
0 < < . Demostrar que
lm
n
_
nlog
_
1 +
_
f
n
_

_
d =
_

_
, si 0 < < 1,
c, si = 1,
0, si 1 < < .
Ind. La sucesi on 0 f
n
= nlog[1 + (f/n)

], es creciente para 1, por el


ejercicio (69) y
_
1 +
_
f
n
_

_
n
=
_
1 +
1
(n/f)

_
(n/f)

n(f/n)

, n
1
_

_
0, si > 1.
= 1, si = 1.
, si < 1.
y f
n
f para = 1 y f
n
para < 1, en cuyo caso el resultado se sigue del
TCM. Para 1, f
n
f, pues para x 0 y 1, 1 + x

(1 + x)

(ya que si
h(x) = (1 +x)

1, h(0) = 0 y h

(x) > 0), y


e
f
n
=
_
1 +
_
f
n
_

_
n

_
1 +
f
n
_
n
e
f
,
y se aplica el TCD.
Ejercicio 72.- Demostrar que si f es integrable, entonces para cada > 0,
existe un > 0, tal que
(E) <
_
E
[f[ d < .
Ind. Sea (A) =
_
A
[f[ d, que es una medida nita y B
n
= [f[ > n, entonces
B
n
B = [f[ = , por tanto (B
n
) (B) =
_
B
[f[ d = 0, por tanto existe un
N N, tal que para n N, (B
n
) /2. Ahora bien
_
E
[f[ d =
_
EB
n
[f[ d +
_
EB
c
n
[f[ d

2
+n(E),
y basta tomar /2n.
Ejercicio 73.- Demostrar que si f : R R es Lebesgue integrable F(x) =
_
x

f dm es uniformemente continua.
Ind. Aplicar el ejercicio anterior.
30
Ejercicio 74.- Demostrar que si F : (, /, ) (

, /

) es medible,
F
= F

,
para
F
(B) = [F
1
(B)], es una medida, llamada medida imagen, para la que
se verica que si g es medible en

y B /

, entonces
_
B
g d
F
=
_
F
1
(B)
(g T) d.
en el sentido de que si una de las integrales existe tambien la otra y son iguales.
Ind. Para indicadores se sigue de la denici on, para funciones simples por adi-
tividad, para funciones no negativas por el teorema de la convergencia monotona,
pag.?? y para funciones con integral de la denici on.
Ejercicio 75 Demostrar que si f
n
: I R son Riemannintegrables y f
n
f
uniformemente, entonces f es Riemannintegrable.
Ind. f
n
es continua salvo en un Borel medible nulo A
n
. Por tanto todas las f
n
son continuas fuera del Borel medible nulo A = A
n
y por tanto f, pues
[f(x) f(y)[ [f(x) f
n
(x)[ +[f
n
(x) f
n
(y)[ +[f
n
(y) f(y)[.
Ejercicio 76 Sea C = [a, b] Q = |c
n
y f : I = [a, b] R, f(x) = 0 si x es
irracional, x C
c
; y f(c
n
) = 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 V
x
= c
1
, . . . , c
n

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 caracterizacion, 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
[a
n
, b
n
], para cualesquiera a
n
y b
n
y f es lebesgue medible en [a
n
, b
n
].
ademas f
n
= fI
[a
n
,b
n
]
f y f es Lebesgue medible y
_
b
n
a
n
f(x)dx =
_
f
n

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

f(x)dx = lm
n
_
n
n
f(x)dx = lm
n
_
f
n
dm =
_
f dm,
Si quitamos la no negatividad es falso pues por ejemplo para
f =

n=1
(1)
n
n
I
[n1,n)
,
31
existe
_

0
f(x)dx =

n=1
(1)
n
n
,
y es nita y sin embargo no es Lebesgue integrable, pues no lo es [f[, ya que
_
[f[dm =

(1/n) = .
Ejercicio 79.- Demostrar que si f : R R es Lebesgue integrable
_
[,]
f dm = lm
a, b
_
[a,b]
f dm.
Es cierto si existe la integral pero no es nita?
Soluci on.- (A) =
_
A
f dm es una carga y si A
n
A, (A
n
) (A).
Ejercicio 80.- (a) Demostrar por inducci on que
_

0
x
n
e
x
dm = n!.
(b) Demostrar que para t > 0,
_

0
e
tx
dm = 1/t y utilizarlo para demostrar
(a), derivando respecto de t.
Ind.- (b) 1 =
_

0
(e
tx
)

dx = (t)
_

0
e
tx
dx. Por otra parte para todo
a > 0 y todo t > a, [ e
tx
/t[ = xe
tx
esta uniformemente acotada por una
funcion integrable. Pues existe M, tal que para x > M, xe
tx
xe
ax
e
ax/2
y
para 0 < x M, xe
tx
M e
ax
. Similarmente para las derivadas sucesivas. Por
tanto para F(t) =
_

0
e
tx
dm = 1/t tendremos
F
(n
(t) =
_

0
(x)
n
e
tx
= (1)
n
n!t
n1
.
Ejercicio 81.- Sea f : [0, 1] R continua, tal que f(0) = 0 y existe f

(0).
Demostrar que f(x)x
3/2
es Lebesgue integrable.
Ind.- f(x) = xg(x) para g continua y g(x)/

x esta acotada en un entorno de 0


por M/

x que es integrable y fuera es integrable.


Ejercicio 82.- Calcular:
(a) lm
n
_

0
(1 + (x/n))
n
sen(x/n) dm.
(b) lm
n
_

0
nsen(x/n)[x(1 + x
2
)]
1
dm.
(c) lm
n
_

a
n(1 + n
2
x
2
)
1
dm, en funci on de a.
Ind. (a)= 0 por TCD, pues la sucesion (1 + (x/n))
n
es creciente y converge a
e
x
, por tanto, [(1+(x/n))
n
sen(x/n)[ (1+(x/2))
2
, y esta ultima es integrable.
(b)=/2 pues [ sen t/t[ 1 y
_
x
0
dx/(1+x
2
) = arctan(x) y para (c) se hace el cambio
t = nx.
Ejercicio 83.- Dadas las funciones denidas en (0, )
f(t) =
__
t
0
e
x
2
dx
_
2
, g(t) =
_
1
0
e
t
2
(x
2
+1)
x
2
+ 1
dx,
demostrar que:
(a) f(t) + g(t) = /4. (b)
_

0
e
x
2
dm =

/2.
32
Ind. (1) f

(t) +g

(t) = 0. (2) lm
t
g(t) = 0.
Ejercicio 84.- Dada f(t) =
_

0
e
x
2
cos 2xt dm, demostrar que satisface f

(t)+
2tf(t) = 0 y que f(t) = (1/2)

e
t
2
.
Ind. 0 =
_

0
(e
x
2
sen 2xt)

=
_

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

(t)+
2tf(t). Por tanto f(t) = f(0)e
t
2
y por el resultado anterior f(0) =

/2.
Ejercicio 85.- Demostrar:
(1)
_

x
2n
e
x
2
dm = (2n)!

/4
n
n!.
(2) Para a 0,
_

e
x
2
cos axdm =

e
a
2
/4
.
(3) Para p > 0,
_
1
0
x
p1
(x 1)
1
log xdm =

n=0
1/(p + n)
2
.
Ind. (1) Por inducci on derivando x
2n+1
e
x
2
y utilizando el ejercicio (83).
(2) cos x =

n=0
(1)
n
x
2n
/(2n)!.
(3) 1/(1 x) =

n=0
x
n
,
(x
n+p
log x
1
)

= (n +p)x
n+p1
log x
1
x
n+p1
,
por tanto
_
1
0
x
n+p1
log x
1
dx = 1/(p +n)
2
.
Ejercicio 86.- Demostrar que la funci on f : (0, 1) R, f(x) = x
r
log
n
x
1
,
para 1 < r y n 0 es Lebesgue integrable y que
_
(0,1)
x
r
log
n
x
1
dm =
_
1
0
x
r
log
n
x
1
dx =
n!
(1 + r)
n+1
.
Ind. Por LHopital se tiene derivando n veces que
(1) lm
x0
+
x
r+1
log
n
x
1
= lm
y
log
n
y
y
r+1
= lm
y
n!
(r + 1)
n
y
r+1
= 0.
y si para cada n denotamos la integral por I
n
, tenemos que para n = 0, como
(x
r+1
)

= (r + 1)x
r
y lm
x0
+ x
r+1
= 0, I
0
= 1/(r + 1) y por induccion se tiene el
resultado pues
(x
r+1
log
n
x
1
)

= (r + 1)x
r
log
n
x
1
x
r
nlog
n1
x
1
por tanto integrando y teniendo en cuenta (1)
I
n
=
n
r + 1
I
n1
= =
n!
(r + 1)
n+1
,
(observemos que los integrandos no son acotados, pero tienen integral impropia de
Riemann nita y son Lebesgue integrables por el ejercicio (78), pag.10).
Ejercicio 87.- Demostrar que la funci on g : [1, ) R, g(x) = e
x
x
k
, para
k R es Lebesgue integrable.
Ind. Se tiene que lm
x
e
x/2
x
k
= 0, para todo k R, lo cual implica que la
funcion esta acotada por un N, pues es continua en [1, ). Ahora
e
x
x
k
N e
x/2
,
33
y el resultado se sigue pues la funcion e
x/2
es Lebesgue integrable en [1, ), pues
es no negativa y tiene integral impropia de Riemann ya que
(e
x/2
)

= e
x/2
/2
_

1
e
x/2
= 2 e
1/2
.
Ejercicio 88.- Sea k R y r > 0. Demostrar que
_
r
0
x
k
dm < 1 < k
_

r
x
k
dm < k < 1
Ind. Es una simple consecuencia de que para 0 < a < b
_
b
a
x
k
=
_
b
k+1
a
k+1
k+1
, k + 1 ,= 0
log b/a, k + 1 = 0
, lm
a0
+
a
k+1
=
_
_
_
, k + 1 < 0
1, k + 1 = 0
0, 0 < k + 1
y de que lm
b
log b = y lm
a0
+ 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
),
AB =
1
1
(A)
1
2
(B) B(
1

2
),
y se sigue la inclusion de (a).
(b) Si (
i
es una base numerable de la topologa T
i
de
i
,
( = U V : U (
1
, V (
2
B(
1
) B(
2
),
es una base numerable de la topologa producto T , por tanto
T (() B(
1
) B(
2
),
y se sigue el resultado.
Ejercicio 92.- Sea f : R
2
R, tal que f
x
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
f
n
(x, y) =

i=
f(i/n, y)I
(
i1
n
,
i
n
]
(x),
verica f
n
f, pues f
n
(x, y) = f(x
n
, y), para un x
n
= i/n tal que [x
n
x[ 1/n.
Ejercicio 93.- Demostrar que para cada r > 0 y A B(R
n
) es medible la
funci on de R
n
, f(x) = m[A B[x, r]].
34
Ind.- Es consecuencia de (??), pag.??, pues
m[A B[x, r]] = m[(R
n
A (z, y) R
2n
: |z y| r)
x
].
.
Ejercicio 99.- Sea (, /, ) un espacio de medida nita y f : R medible
y no negativa. Demostrar que la gr aca de f es medible
E = |(x, y) [0, ] : y = f(x) /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(E
x
) = 0, m(E) = 0.
Ejercicio 100.- Sea (, /, ) un espacio de medida nita y f : R medible
y no negativa. Demostrar que la funci on F(y) = |f
1
(y) es medible y F = 0
c.s.
Ind. En los terminos del ejercicio anterior F(y) = (E
y
) y 0 = m(E) =
_
F(y) dm.
Ejercicio 102.- Sea (, /, ) un espacio de medida nita, f : [0, ]
medible y 1 p < . Demostrar que
_
f
p
d =
_

0
pt
p1
|f > t dt,
y que si |f > t e
t
, entonces
_
f
p
d (p).
Ind. Haciendo el cambio de variable s = t
p
,
_
f
p
d =
_

0
f
p
> s ds =
_

0
pt
p1
f > t dt.
Ejercicio 106.- Sea (, /, ) un espacio medible con una carga. Demostrar:
(a) g es integrable si y s olo si es [[integrable.
(b) Si g es integrable,

_
g d

_
[g[ d[[.
(c) Existe una medida y una funci on medible f, con integral respecto de ,
tal que para todo E /, (E) =
_
E
f d.
Ind. (c) Considerar una descomposici on de Hahn, P, N, f = I
P
I
N
y = [[.
Ejercicio 111.- Sea una carga en un espacio medible (, /), demostrar que
[[(A) = sup|
n

i=1
[(E
i
)[ : E
i
/, disjuntos, E
i
= A,
Es cierto el resultado si ponemos

i=1
en lugar de sumas nitas?.
35
Ind. Sean E
1
, . . . , E
n
, medibles y disjuntos, tales que E
i
= A entonces
n

i=1
[(E
i
)[
n

i=1
[[(E
i
) = [[(A),
por tanto [[(A) es una cota superior para el supremo. Veamos que se alcanza, para
ello sea P, N una descomposici on de Hahn
[[(A) =
+
(A) +

(A) = [(A P)[ +[(A N)[,


y el resultado se sigue pues A P, A N es una particion de A.
Ejercicio 112.- Sea (, /) un espacio medible con una medida compleja =

1
+i
2
=
+
1

1
+i
+
2
i

2
, demostrar que

i
[[
+
1
+

1
+
+
2
+

2
.
Ind.

i

+
i
+

i
= [
i
[ [[ [
1
[ +[
2
[ =
+
1
+

1
+
+
2
+

2
.
Ejercicio 113.- Sea (, /, ) un espacio de medida y f una funci on medible
no negativa. Si denimos la medida (A) =
_
A
f d, demostrar que para cada
funci on medible g
_
g d =
_
fg d,
en el sentido de que si una de las integrales existe tambien la otra y son iguales.
Ind. Demuestrese para indicadores, funciones simples, funciones no negativas y
en general.
Ejercicio 115.- Sean y medidas nitas, con y sea = + .
Demostrar que y si f = d/d, entonces 0 f < 1 c.s () y que
d/d = f/(1 f).
Ind. Existe g = d/d, con 0 g < , entonces g + 1 = d/d y f(g + 1) =
d/d, por tanto g = f(g +1) c.s. () y 0 f = g/(g +1) < 1 c.s. () y g = f/(1f)
c.s.().
Ejercicio 116.- Sean y medidas nitas en (, /), demostrar que son
equivalentes las condiciones:
(a) y .
(b) |A / : (A) = 0 = |A / : (A) = 0.
(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
1 =
d
d
=
d
d
d
d
,
por tanto d/d es invertible c.s. y por tanto positiva c.s.
(c)(a) Como existe g
1
y es no negativa tiene integral y si consideramos (A) =
_
A
g
1
d, tendremos que
d
d
=
d
d
d
d
= g
1
g = 1 = .
36
Ejercicio 117.- Demostrar que si (, /, ) es un espacio de medida nita,
existe una medida nita , que tiene los mismos conjuntos nulos que .
Ind. Sea A
n
una particion de , con 0 < (A
n
) < (observemos que los de
medida nula los podemos unir a cualquier otro A
n
de medida positiva) y sea
g =

n=1
1
2
n
(A
n
)
I
A
n
,
entonces el resultado se sigue del ejercicio anterior para (A) =
_
A
g d.
Ejercicio 118.- Sea (, /, ) un espacio de medida nita y f : C inte-
grable. Demostrar que si S es un cerrado de C, tal que para cada E / con
(E) > 0, se tiene
1
(E)
_
E
f d S
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
r <

1
(E)
_
E
f d z

1
(E)
_
E
(f z) d

1
(E)
_
E
[f z[ d r.
Ejercicio 119.- Sea (, /, ) un espacio de medida. Demostrar que |
/(/, R) : , es un subespacio vectorial cerrado del espacio de Ba-
nach /(/, R).
Ind. Veamos que su complementario es abierto. Sea /

= /(,, R) : _
y / /

, entonces existe A ,, tal que (A) = 0 y (A) ,= 0, entonces


para 0 < r [(A)[ y | | < r, //

, pues
[(A) (A)[ | | < r,
y por tanto (A) ,= 0.
Ejercicio 120.- Sean
1

1
en (
1
, /
1
) y
2

2
en (
2
, /
2
), medidas
nitas. Demostrar que
1

2

1

2
y que
d(
1

2
)
d(
1

2
)
(x, y) =
d
1
d
1
(x)
d
2
d
2
(y).
Soluci on.- Sea E , tal que (E) =
1

2
(E) = 0, entonces como (E) =
_

2
(E
x
) d
1
,
2
(E
x
) = 0 c.s.
1
, por tanto c.s.
1
y
2
(E
x
) = 0 c.s.
1
, por tanto
(E) =
1

2
(E) =
_

2
(E
x
) d
1
= 0.
Ahora si f = d
1
/d
1
, g = d
2
/d
2
y h(x, y) = f(x)g(y), entonces como h 0,
tiene integral y
(E) =
_

2
(E
x
) d
1
=
_
(
_
E
x
g d
2
) d
1
=
_
(
_
E
x
g d
2
)f d
1
=
_
(
_
I
E
x
h
x
d
2
) d
1
=
_
E
hd.
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 A
c
), ademas
[
1
+
2
[(B) = [
1
+
2
[(B A) +[
1
+
2
[(B A
c
)
= [
1
[(B A) +[
2
[(B A
c
) = [
1
[(B) +[
2
[(B),
pues si A
i
BA, [
1
(A
i
)+
2
(A
i
)[ = [
1
(A
i
)[ y si A
i
BA
c
, [
1
(A
i
)+
2
(A
i
)[ =
[
2
(A
i
)[. Termnelo el lector.
Ejercicio 124.- Calcular el area y el volumen de la elipse y elipsoide respecti-
vamente
x
2
a
2
+
y
2
b
2
= 1,
x
2
a
2
+
y
2
b
2
+
z
2
c
2
= 1.
Ind. Consideremos la aplicacion lineal
T : R
2
R
2
, (x, y)
_
a 0
0 b
_ _
x
y
_
=
_
ax
by
_
,
que para E = (x, y) R
2
:
x
2
a
2
+
y
2
b
2
1, y B = (x, y) : x
2
+ y
2
1, T(B) = E,
por tanto
m[E] = m[T(B)] = [ det T[m[B] = ab.
Ejercicio 127.- (a) Demostrar que el area de la esfera de radio r es 4r
2
.
(b) Demostrar que el area del casquete esferico de radio r y altura h es 2rh.
Ind. Basta demostrar (b). La proyeccion del casquete es el crculo de radio k =

2rh h
2
, pues k
2
+ (r h)
2
= r
2
, y su area es para z(x, y) =
_
r
2
x
2
y
2
y
U = x
2
+y
2
k
2

_
U
_
1 +z
2
x
+z
2
y
dxdy = r
_
U
dxdy
_
r
2
x
2
y
2
,
y por el teorema de cambio de variable para F = (f
1
, f
2
): V = (0, k) (0, 2) R
2
,
F(, ) = ( cos , sin ), como F(V ) = U = x
2
+ y
2
k
2
y J(DF
(,)
) =
[f
1
f
2
f
1
f
2
[ = ,
r
_
F(V )
dxdy
_
r
2
x
2
y
2
= r
_
V
d d
_
r
2

2
= 2 r
_
_
r
2

2
_
k
0
= 2 r h.
Ejercicio 128.- Demostrar que para una rotaci on o una traslaci on T : R
n
R
n
,
el centro de masas C(B) de un boreliano B satisface T[C(B)] = C[T(B)].
Ind. Una traslacion o una rotacion T, conserva las medidas de Hausdor, (T

(H
k
) =
H
k
), por tanto
x
i
[C(T(B))] =
_
T(B)
x
i
dH
k
H
k
[T(B)]
=
_
B
x
i
T dH
k
H
k
(B)
,
y si T(x) = x + a es una traslaci on, x
i
T = x
i
+ a
i
y x
i
[C(T(B))] = x
i
[C(B)] +
a
i
= x
i
[T(C(B))]; y si T(p) = (

a
ij
p
j
) es una rotacion, x
i
T =

a
ij
x
j
y
x
i
[C(T(B))] =

a
ij
x
j
[C(B)], por tanto C[T(B)] = T[C(B)].
38
Ejercicio 130.- Dado en el plano un tri angulo T
2
de vertices ABC, considere-
mos los tres conjuntos: T
2
(la envolvente convexa de los vertices), T
1
= T
2
formado por los tres lados y T
0
= |A, B, C formado por los tres vertices.
Calcular el centro de masas de cada uno. coinciden?
Ind. Por el ejercicio (128), pag.17, podemos suponer que nuestro tri angulo tiene
coordenadas A = (0, 0), B = (b
1
, b
2
) y C = (0, c). En tal caso (si b
1
> 0) la abscisa
del centro de masa de T
2
es
_
T
2
xdH
2
H
2
(T
2
)
=
_
T
2
xdm
2
m
2
(T
2
)
=
_
b
1
0
_ c+x
b
2
c
b
1
x
b
2
b
1
xdxdy
b
1
c/2
=
_
b
1
0
(c x
c
b
1
)xdx
b
1
c/2
= b
1
2b
1
/3 = b
1
/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 T
2
es el baricentro del triangulo
A+B +C
3
.
Calculemos ahora el centro de masa de un segmento PQ de extremos P = (p
1
, p
2
)
y Q = (q
1
, q
2
), para x
1
y x
2
las coordenadas, (t) = tQ+(1t)P y [

(t)[ = [QP[
_
PQ
x
i
dH
1
H
1
(PQ)
=
_
1
0
(tq
i
+ (1 t)p
i
)[QP[ dH
1
H
1
(PQ)
=
_
1
0
(tq
i
+ (1 t)p
i
)[QP[ dt
m
1
(PQ)
=
_
1
0
(tq
i
+ (1 t)p
i
) dt =
p
i
+q
i
2
,
es decir que el centro de masa de PQ es (P +Q)/2.
Veamos ahora el centro de masa de T
1
el cual es union de los segmentos AB,
BC y CA, con H
1
(A) = H
1
(B) = H
1
(C) = 0, por tanto se sigue del ejercicio (129),
pag.18, que para [AC[ = c, [AB[ = d y [B C[ = e
C(T
1
) =
c
c +d +e
A+C
2
+
d
c +d +e
A+B
2
+
e
c +d +e
B +C
2
.
el cual es el incentro del triangulo formado por los puntos medios de los lados de
nuestro tri angulo.
Por ultimo el de T
0
tambien es el baricentro, pues
_
T
0
x
i
dH
0
H
0
(T
0
)
=
x
i
(A) +x
i
(B) +x
i
(C)
3
= x
i
_
A+B +C
3
_
.
En denitiva C(T
2
) = C(T
0
) = (A+B +C)/3 y C(T
1
) es distinto.
Ejercicio 134.- Sea (, /, ) un espacio de medida nita y f : C me-
dible. 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

: [z

z[ < y que
|f|

= sup|[z[ : z K.
Soluci on.- Veamos que K
c
es abierto. Sea z K
c
, entonces existe > 0 tal
que
f
[B(z, )] = 0, pero entonces B(z, ) K
c
, pues la bola es abierta y dado
z

B(z, ), existe un > 0, tal que B(z

, ) B(z, ), por tanto


f
[B(z

, )] = 0 y
z

K
c
. Ahora veamos que K es acotado, para ello veamos que si z K, [z[ |f|

o equivalentemente que si |f|

< [z[, entonces z / K, lo cual es obvio pues z esta en


el abierto B[0, |f|

]
c
y por tanto existe un > 0 tal que
B(z, ) B[0, |f|

]
c

f
(B(z, ))
f
(B[0, |f|

]
c
) = ([f[ > |f|

) = 0,
(por ser el espacio nito), por tanto z K
c
.
Ahora veamos que el supremo es |f|

. 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 : |f|

[z[ |f|

.
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 coleccion nita de estas bolas y
f
(C) = 0, por
tanto
[f[ |f|

=
f
[z[ |f|

= 0
lo cual es absurdo.
Ejercicio 135.- Demostrar que si 0 < r < p < s , entonces L
r
L
s
L
p

L
r
+ L
s
.
Soluci on.- Sea A = [f[ 1, entonces si f L
r
L
s
, y s <
_
[f[
p
d =
_
A
c
[f[
p
d +
_
A
[f[
p
d

_
A
c
[f[
s
d +
_
A
[f[
r
d
_
[f[
s
d +
_
[f[
r
d < ,
y si s = , [f[ |f|

c.s. (ver ejercicio (132)) y


_
A
c
[f[
p
|f|
p

(A
c
) < ,
pues (A
c
) < por la desigualdad de Tchebyche. Para la segunda inclusion, f =
I
A
f +I
A
c f L
p
, I
A
f L
s
, I
A
c f L
r
.
Ejercicio 136.- Demostrar que si 0 < r < s < y f L
r
L
s
, entonces
f L
p
, para todo p [r, s]; que la funci on
(p) = log
_
[f[
p
d,
es convexa en [r, s] y que |f|
p
m ax||f|
r
, |f|
s
.
Soluci on.- Sean r a < b s y t [0, 1], entonces basta demostrar que
e
[ta+(1t)b]
e
t(a)+(1t)(b)
,
es decir que, para c = ta + (1 t)b,
_
[f[
c
d
__
[f[
a
d
_
t
__
[f[
b
d
_
1t
,
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
, h
q
= [f[
b
, tendremos que g L
p
,
h L
q
, y
gh = [f[
a
p
+
b
q
= [f[
ta+(1t)b
= [f[
c
,
ademas tomando ahora a = r y b = s y un valor intermedio c = tr + (1 t)s,
tendremos que
|f|
c
=
__
[f[
c
d
_
1/c

__
[f[
r
d
_
t/c
__
[f[
s
d
_
(1t)/c
= |f|
tr/c
r
|f|
(1t)s/c
s
max|f|
r
, |f|
s
.
Ejercicio 137.- Demostrar que un espacio normado c es completo sii para cada
sucesi on x
n
c

|x
n
| <

x
n
es convergente.
Soluci on.- ) Sea

|x
n
| < , entonces v
n
=

n
i=1
x
i
es de Cauchy y tiene
lmite por ser el espacio completo.
) Sea v
n
de Cauchy e y
n
una subsucesi on suya tal que |y
n+1
y
n
| 2
n
,
entonces para x
n
= y
n+1
y
n
,

|x
n
| es convergente, por tanto tambien es conver-
gente

x
n
= x y como y
n
= y
1
+

n1
i=1
x
i
, tiene lmite as como v
n
.
Ejercicio 139.- Demostrar que si f, g /
p
para 0 < p < 1, entonces
|f + g|
p
2
1
p
1
(|f|
p
+|g|
p
)
Ind. Por la desigualdad (a + b)
r
< a
r
+ b
r
, para 0 < r < 1 y a, b > 0 y por la
concavidad de x
p
_
[f +g[
p
d
2

_
[f[
p
d +
_
[g[
p
d
2

_
__
[f[
p
_
1/p
+
__
[g[
p
_
1/p
2
_
p
.
Ejercicio 140.- Demostrar que si f L
p
para alg un 0 < p < , entonces
|f|
r
|f|

, cuando r .
Soluci on.- Si f L
p
L

, entonces
[f[ > 0 es nito y [f[ > |f|

es loc. nulo,
por tanto su interseccion A = [f[ > |f|

es nulo y para r p
|f|
r
=
__
[f[
p
[f[
rp
d
_
1/r
=
__
A
c
[f[
p
[f[
rp
d
_
1/r
|f|
(rp)/r

__
A
c
[f[
p
d
_
1/r
= |f|
(rp)/r

|f|
p/r
p
< ,
y haciendo r se sigue que lmsup |f|
r
|f|

. Ahora para cada > 0,


B = [f[ > |f|

no es localmente nulo, por tanto (B) > 0 y


(B)
1/r
(|f|

)
__
B
[f[
r
d
_
1/r
|f|
r
,
41
por lo que (B) < y haciendo r , tendremos que
|f|

lminf |f|
r
,
y el resultado se sigue. Si por el contrario |f|

= , entonces para todo n, [f[ >


n > 0 y
[f[ > n
1/r
n
_
_
{|f|>n}
[f[
r
d
_
1/r
|f|
r
,
y haciendo r , tendremos que n lminf |f|
r
y el resultado se sigue.
Ejercicio 141.- Demostrar que si () < y 0 < r < s < , entonces
L
s
L
r
y que para f L
s
|f|
r
|f|
s
()
1
r

1
s
.
Ind. Sea f L
s
, entonces para p y q conjugados, con 1 < p = s/r, f
r
L
p
y
como 1 L
q
, tendremos por la Desigualdad de Holder que f
r
1 = f
r
L
1
, es decir
f L
r
y ademas
_
[f[
r
|f
r
|
p
|1|
q
=
__
[f[
rp
d
_
1/p
()
1/q
,
el resto es simple.
Ejercicio 142.- Demostrar que si () < y f
n
, f son medibles, entonces:
(a) Si f
n
f c.s., entonces f
n
f en medida (es decir que para todo
> 0, |[f
n
f[ > 0).
(b) Si f
n
f en L
p
(con 1 p ), entonces f
n
f en medida.
Soluci on.- (a) Observemos que f
n
(x) no converge a f(x) sii existe un > 0, tal
que para todo N N, hay un n N, para el que [f
n
(x) f(x)[ > , por lo tanto
0 = f
n
f =
>0

N=1

n=N
[f
n
f[ > ,
y para cada > 0 y A
n
() = [f
n
f[ > , como la medida es nita se tiene (ver
ejercicio 15)
lmsup A
n
() lmsup A
n
() = 0 lmA
n
() = 0.
(b) Para p < , por la desigualdad de Tchebyche
A
n
()
|f
n
f|
p
p

p
0,
y para p = , dado el > 0, basta considerar N tal que para n N, |f
n
f|

< ,
pues
[f
n
f[ > [f
n
f[ > |f
n
f|

= 0.
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

__
f d
_

_
f d.
Soluci on.- Toda funcion convexa tiene la propiedad de que para todo x
0
(a, b)
existe una funcion afn, h(x) = px+c, tal que h(x) (x) y h(x
0
) = (x
0
). Tomemos
42
x
0
=
_
f d, y veamos en primer lugar que x
0
(a, b), para ello observemos que para
a = , como f es integrable, a < x
0
, por lo que tambien si b = es x
0
< b. En el
caso nito, pongamos b < , si fuera x
0
= 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 funcion h correspondiente tendremos que

__
f d
_
= (x
0
) = h(x
0
) = px
0
+c = p
__
f d
_
+c
=
_
(pf +c) d =
_
h[f] d
_
[f] d.
Ejercicio 144.- Demostrar que si () = 1 y f, g son medibles y positivas y
tales que fg 1, entonces (
_
f d) (
_
g d) 1.
Soluci on.- 1/f g y por la Desigualdad de Jensen, para (x) = 1/x,
1
_
f d

_
1
f
d
_
g d.
Ejercicio 145.- Demostrar que si 0 < r < s , entonces l
r
l
s
.
Soluci on.- Para s = es obvio, pues si x
n
es tal que

[x
n
[
r
< , en particular
tendremos que [x
n
[
r

[x
n
[
r
< y por tanto [x
n
[ esta acotada. Sea ahora s < ,
como solo hay un conjunto nito F de n para los que [x
n
[ 1, pues en caso contrario

[x
n
[
r

F
[x
n
[
r
= , se tiene que

n=1
[x
n
[
s
=

F
[x
n
[
s
+

NF
[x
n
[
s

F
[x
n
[
s
+

NF
[x
n
[
r
< .
Ejercicio 146.- Sea g L

, demostrar que para 1 p < , si f L


p
,
gf L
p
, que la aplicaci on G: L
p
L
p
, G(f) = gf, es lineal y continua y que
|G| = |g|

.
Soluci on.- Si f L
p
y g L

, entonces [fg[ [f[|g|

c.s., por tanto [fg[


p

[f[
p
|g|
p

c.s. y |G(f)|
p
|g|

|f|
p
, por tanto G es acotada y |G| |g|

, veamos
la otra desigualdad, para ello sea > 0, entonces [g[ > |g|

no es localmente
nulo y tiene un subconjunto medible A, con 0 < (A) < , por tanto f = I
A
L
p
,
|f|
p
= (A)
1/p
y
(|g|

)(A)
1/p
(
_
[fg[
p
)
1/p
= |G(f)|
p
|G||f|
p
.

Anda mungkin juga menyukai