You are on page 1of 25

TEOR

IA DE LA MEDIDA
Examen de Junio: 4VII2005
Primera parte: Teora. (Tiempo: de 10h a 12h)
(Contesta dos preguntas elegidas entre las tres siguientes.)
1.- Demostrar que L
p
es completo.
2.- Enuncia y demuestra el Lema de Urysohn.
3.- Demostrar que para f: C medible e integrable
(A) =
_
A
f d [[(A) =
_
A
[f[ d.
Segunda parte: Problemas.(Tiempo: de 18.45h a 20.30h)
1.- Calcular la medida de Hausdor H
1
en la circunferencia unidad S
1
de cada arco
y demostrar que para F: S
1
p R
2
R la proyeccion estereograca desde p,
la medida imagen = F

H
1
((B) = H
1
[F
1
(B)]) es de LebesgueStieltjes. Dar
su funcion de distribucion.
Indicacion. H
1
es la medida uniforme en la circunferencia, es decir la de los
angulos y como 2 es la medida de un arco que visto desde p tiene angulo , tendremos
que F(x) = 2 arctanx.
2.-
(a) Demostrar que si dos medidas complejas , coinciden en un algebra /
0
, en-
tonces coinciden en (/
0
).
(b) Sean (
1
, /
1
,
1
) y (
2
, /
2
,
2
) espacios de medida nita tales que el espacio
de medida producto es completo. Demostrar que si existe B /
2
no vaco con

2
(B) = 0, entonces /
1
= T(
1
).
Indicacion. (a) Supongamos primero que son medidas reales, entonces =
+

y =
+

con la cuatro medidas nitas y tales que las medidas nitas


(positivas)
+
+

y
+
+

coinciden en /
0
, por tanto en (/
0
) por el Teorema
de extension de Hahn. Se sigue que tambien y . El caso complejo se sigue del real.
TEOR

IA DE LA MEDIDA
Examen de Febrero: 14Febrero2005
Primera parte: Teora. (Tiempo: de 10h a 12h)
(Contesta dos preguntas elegidas entre las tres siguientes.)
1.- Denir algebra producto de n espacios medibles. Demostrar que existe y es
unica.
2.- En un espacio de medida (, /, ) y para una funcion f: I R, con I un
intervalo de abierto de R enunciar y demostrar el teorema que justica
d
dt
_
f(t, x) d =
_
f
t
(t, x) d.
3.- Sea o una subvariedad kdimensional, de clase 1 de R
n
y F: V R
n
una
parametrizacion suya, demostrar que para cada boreliano A V y para la funcion
no negativa x J(D
x
F),
H
k
[F(A)] =
_
A
J(D
x
F) dH
k
.
(Enunciar sin demostrar los resultados previos que se necesiten.)
Segunda parte: Problemas.(Tiempo: de 12.05h a 14h)
1.- Considerese el toro T de revolucion obtenido al hacer girar una circunferencia de
radio r alrededor de una recta de su plano, de la que su centro dista R. Calcular
su volumen y su area.
Indicacion.-Veamos el volumen: Consideremos la circunferencia en el plano yz
con centro en el eje y y eje de giro el eje z y hagamos la seccion por cada z entre r
y r obteniendo una corona de area
([R +
_
r
2
z
2
]
2
[R
_
r
2
z
2
]
2
) = 4R
_
r
2
z
2
,
por tanto por el teorema de la medida producto
m
3
[T] =
_
r
r
m
2
[T
z
] dz = 4R
_
r
r
_
r
2
z
2
dz
= 4Rr
2
_
1
1
_
1 x
2
dx = (2r)(R
2
),
pues
=
_
/2
/2
cos
2
t dt +
_
/2
/2
sen
2
t dt = 2
_
1
1
_
1 x
2
dx.
Veamos el area: El casquete superior del toro se obtiene como graca de la funcion
denida en la corona B = (x, y) : R r R + r, para =
_
x
2
+ y
2
f(x, y) = h() =
_
r
2
(R )
2
,
para la que
1 +f
2
x
+ f
2
y
=
r
2
r
2
(R )
2
,
por tanto el area del toro es para F(x, y) = (x, y, f(x, y)) y para el cambio de variable
R + tr =
2
2
H
2
[F(B)] = 2
_
B
_
1 + f
2
x
+ f
2
y
dm
2
= 2
_
2
0
_
R+r
Rr

r
2
r
2
(R )
2
dd
= 4
_
1
1
_
r
2
r
2
t
2
r
2
(R + tr)r dt
= 4rR
_
1
1
1

1 t
2
dt = (2r)(2R).
2.- Sea A Hausdor localmente compacto y una medida cuasiregular en B(A).
Demostrar que la union de todos los abiertos de medida cero por , es un abierto
A con (A) = 0.
Indicacion.- Por ser cuasiregular y para el abierto A = A
i
(A) = sup(K) : K compacto, K A = 0,
pues existen i
1
, . . . , i
n
, K A
i
j
y (K)

(A
i
j
) = 0.
TEOR

IA DE LA MEDIDA
Ejercicios: 21XII2004
1.- Sea f > 0 integrable en . Demostrar que
_
f
1/n
d ().
Indicacion.- Sea A = f < 1, entonces en A: f
1/n
1 y en A
c
: f
1/n

1, entonces por el TCM


_
A
f
1/n
(A) y como en A
c
, f
1/n
f, por el TCD
_
A
c
f
1/n
(A
c
).
2.- Demostrar que dadas dos medidas complejas
1
en (
1
, /
1
) y
2
en (
2
, /
2
),
existe una unica medida compleja en el espacio producto (
1

2
, /
1
/
2
), tal
que para cada producto de medibles AB

2
(AB) =
1
(A)
2
(B),
y que para cada medible E del producto satisface

2
(E) =
_

1
(E
y
) d
2
=
_

2
(E
x
)d
1
.
Indicacion.- Para la unicidad basta ver que dos medidas complejas que coinciden
en un algebra coinciden en la algebra que genera. Ahora para la existencia basta
observar en el caso real que la medida real
=
+
1

+
2
+

1

+
2

+
1

2
,
satisface la propiedad, pues
(AB) = (
+
1
(A)

1
(A))(
+
2
(B)

2
(B)) =
1
(A)
2
(B).
Para el caso complejo (considerando que las medidas son =
1
+i
2
y =
1
+i
2
)
se considera la medida compleja

2
+ i(
1

2
+
2

1
).
TEOR

IA DE LA MEDIDA
Examen de Septiembre: 13IX2004
Primera parte: Teora. (Tiempo: de 10h a 12h)
1.- Demostrar que si f y g son integrables, entonces f + g tambien lo es y
_
(f + g)d =
_
fd +
_
gd.
2.- Calcular el area ndimensional de la esfera unidad S
n
R
n+1
y el volumen de la
bola unidad B
n
R
n
.
(Ind.
n
H
n
[S
+
n
] =
_
B
1
_
1

n
i=1
x
2
i
dm
n
.)
Segunda parte: Problemas.(Tiempo: de 12.05h a 14h)
1.- Demostrar que para f integrable
(A
n
) 0
_
A
n
f d 0.
Es cierto para f 0 medible arbitraria?
Indicacion.- Sea B
m
= [f[ m, entonces para la medida nita (A) =
_
A
[f[d, (B
m
) 0 y jados > 0 y m tales que (B
m
) /2, tendremos que
[
_
A
n
f d[ (A
n
) /2 + (A
n
B
c
m
) /2 + m(A
n
) ,
para (A
n
) /2m.
Para f 0 medible arbitraria no es cierto, p.e. f(x) = 1/x.
2.- 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
.
Indicacion.- Hagase primero para dos funciones utilizando Holder para p = p
1
/r,
q = p
2
/r, f = f
r
1
y g = f
r
2
.
TEOR

IA DE LA MEDIDA
Examen de Junio: 9VI2004
Primera parte: Teora. (Tiempo: de 17h a 18.40h)
(Contesta dos preguntas elegidas entre las tres siguientes.)
1.- Demostrar que || = [[() es una norma en el espacio de las medidas reales o
complejas /(/, K) y que este espacio normado es de Banach.
2.- Demostrar que si

es una medida exterior metrica en un espacio metrico (, d),


entonces B() /

y que las medidas de Hausdor son metricas.


3.- Demostrar que para nita y 1 < p, q < conjugados hay un isomorsmo
isometrico entre L
q
y L

p
.
Segunda parte: Problemas.(Tiempo: de 18.45h a 20.30h)
1.- Sea ( un grupo aditivo y ((, /, ) un espacio de medida invariante por traslaciones
por la derecha, es decir tal que (A+a) = (A) para cada medible A y cada a (.
Demostrar que para cada f: ( R medible y a (.
_
G
f(x)d =
_
G
f(x a)d,
en el sentido de que si una integral existe tambien la otra y coinciden.
Indicacion.- Sgase la tecnica habitual de funciones indicador, simples, TCM, etc.
2.- (a) Demostrar que si f L
p
entonces [f[ |f|

c.s.
(b) Demostrar que en un espacio de probabilidad si 1 r < s , L
s
L
r
y
que |f|
r
|f|
s
.
TEOR

IA DE LA MEDIDA
Examen de Febrero: 16Febrero2004
Primera parte: Teora. (Tiempo: de 10h a 12h)
(Contesta dos preguntas elegidas entre las tres siguientes.)
1.- (a) Demostrar que una carga aditiva sobre un algebra / es numerablemente
aditiva si dados A
n
/, con A
n
, se tiene (A
n
) 0.
(b) Demostrar que si es una carga en una algebra /, entonces: Dados A
n
, A
/ tales que A
n
A y (A
1
) < , se verica que (A
n
) (A).
2.- Calcular el area ndimensional de la esfera unidad S
n
R
n+1
y el volumen de la
bola unidad B
n
R
n
.
(Ind.
n
H
n
[S
+
n
] =
_
B
1
_
1

n
i=1
x
2
i
dm
n
.)
3.- Teorema de representacion de Riesz.
Segunda parte: Problemas.(Tiempo: de 12.05h a 14h)
1.- Sean f
n
integrables y f medible tal que lim
_
[f
n
f[ = 0. Demostrar que f es
integrable y que si
(A
n
A) 0
_
A
n
f
n
d
_
A
f d.
Indicacion.- f = (f f
n
) + f
n
es integrable. Sea g
n
= I
A
n
f
n
, g = I
A
f y
consideremos la medida nita (E) =
_
E
[f[d, entonces
[
_
A
n
f
n
d
_
A
f d[ |g
n
g|
1
|g
n
I
A
n
f|
1
+|I
A
n
f I
A
f|
1
|f
n
f|
1
+ (A
n
A) 0,
pues (A
n
A) 0 ya que para B
m
= [f[ > m, B
m
B = [f[ = y (B) = 0,
por tanto (B) = 0 de donde (B
m
) 0 y
(A
n
A) = ((A
n
A) B
m
) + ((A
n
A) B
c
m
) (B
m
) + m(A
n
A).
2.- Sea una carga en un espacio de medida (, /, ), tal que si (A) < entonces
[(A)[ < . Demostrar que sii para cada > 0, existe un > 0 tal que si
(E) < entonces [(E)[ < .
Indicacion.- , es obvia. Ademas sii [[ (ver Teora).
(Por reduccion al absurdo) Si existe un > 0 tal que para todo n existe un E
n
con (E
n
) < 1/2
n
y [[(E
n
) [(E
n
)[ entonces A
n
A para A
n
=

i=n
E
n
y
A = limsupE
n
y [[(A
1
) = [(A
1
P)[+[(A
1
N)[ < pues (A
1
P), (A
1
N)
(A
1
) < , y (A) = lim(A
n
) = 0 por tanto [[(A) = 0 y 0 < [[(E
n
)
[[(A
n
) 0.
TEOR

IA DE LA MEDIDA
Examen de Septiembre: 11IX2003
Primera parte: Teora. (Tiempo: de 17h a 18.40h)
1.- Teorema de la convergencia dominada (se puede utilizar el Teorema de la conver-
gencia monotona extendido).
2.- Teorema de la medida producto para dos espacios de medida nita.
Segunda parte: Problemas.(Tiempo: de 18.45h a 20.30h)
1.- 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).
Indicacion. 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.().
2.- Sea g L

, demostrar que [g[ > |g|

es localmente nulo y que si ademas


g L
p
, para 1 p < , entonces es nulo.
TEOR

IA DE LA MEDIDA
Examen de Mayo: 6V2003
Primera parte: Teora. (Tiempo: de 17h a 18.40h)
1.- Enunciar y demostrar el Teorema de RadonNikodym, para medidas nitas.
2.- Calcular el area ndimensional de la esfera unidad S
n
R
n+1
y el volumen de la
bola unidad B
n
R
n
.
(Ind.
n
H
n
[S
+
n
] =
_
B
1
_
1

n
i=1
x
2
i
dm
n
.)
Segunda parte: Problemas.(Tiempo: de 18.45h a 20.30h)
1.- (a) 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) < .
(b) Demostrar que toda medida nita es seminita. Dar un contraejemplo para
el recproco.
2.- Sea g L

, demostrar que para 1 p < , f L


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

.
Indicacion.- 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
.
TEOR

IA DE LA MEDIDA
Examen de Febrero: 13II2003
Primera parte: Teora. (Tiempo: de 10h a 12h)
(Contesta dos preguntas elegidas entre las tres siguientes.)
1.- Dene medida exterior. Demuestra que si ( es una coleccion de subconjuntos de
y : ( [0, ] una funcion cualquiera, tales que ( y () = 0, entonces
para cada B ,

(B) = inf

n=1
(A
n
) : A
n
(, B

_
n=1
A
n
,
dene (con el convenio inf = ) una medida exterior, para la que

(A) (A),
para A (. Ademas si ( = /
0
es un algebra y una medida,

coincide con
sobre /
0
.
2.- Demostrar las desigualdades de Holder y Minkowsky. En que condiciones de las
funciones se da la igualdad?.
3.- Calcula el area ndimensional de la esfera unidad S
n
R
n+1
y el volumen de la
bola unidad B
n
R
n
.
Segunda parte: Problemas.(Tiempo: de 12.05h a 14h)
1.- 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
.
Indicacion. Es consecuencia de que si g =
d
2
d
3
, entonces
_
A
f d
2
=
_
A
fg d
3
para todo A medible y toda f medible con
2
integral.
2.- 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.
Solucion.- 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.
TEOR

IA DE LA MEDIDA
Examen de Septiembre: 11IX2002
Primera parte: Teora. (Tiempo: de 17h a 18.40h)
(Contesta dos preguntas elegidas entre las tres siguientes.)
1.- Enunciar y demostrar el Teorema de la convergencia monotona.
2.- Enunciar y demostrar el Teorema de RadonNikodym para las dos medidas nitas.
3.- Denir algebra producto de dos espacios medibles, demostrar que de existir es
unica y que existe y es la generada por los rectangulos medibles.
Segunda parte: Problemas. (Tiempo: de 18.45h a 20.30h)
1.- Demostrar que:
a) Si F: (, /) (

, /

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


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

, /

) y si es nita, tambien lo es.


b) Si F
1
: (
1
, /
1
) (

1
, /

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

2
, /

2
) son medibles 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
.
2.- 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
.
(Indicacion: Hagase primero para dos funciones.)
TEOR

IA DE LA MEDIDA
Examen de Junio: 10VI2002
Primera parte: Teora. (Tiempo: de 17h a 18.40h)
1.- Demostrar que si f y g son integrables, entonces f + g tambien lo es y
_
(f + g)d =
_
fd +
_
gd.
2.- Demostrar la desigualdad de Holder.
3.- Demostrar que toda medida de LebesgueStieltjes en B(R
n
) es regular.
(Cada uno debe contestar dos preguntas elegidas entre las tres.)
Segunda parte: Problemas. (Tiempo: de 18.45h a 20.30h)
4.- (a) Sea H
1
la medida de Hausdor 1dimensional y : R R
n
una curva de clase
1, demostrar que para todo [a, b] R, si (t) = (x
i
(t))
H
1
([a, b]) =
_
b
a

_
n

i=1
x

i
(t)
2
dt.
(b) Calcular de forma justicada la longitud de una circunferencia de radio r.
5.- 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).
Indicacion.- Sea
_

2
(E
x
) d
1
= (E) =
1

2
(E) = 0, entonces
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.
TEOR

IA DE LA MEDIDA
Examen de Febrero: 20022002
Primera parte: Teora. (Tiempo: de 10h a 12h)
1.- Enunciar y demostrar el Teorema de CaratheodoryHahn, de existencia y unicidad
de extension de una medida nita.
2.- Sea f medible, demostrar:
a) Si f 0 c.s. y
_
f d = 0, entonces f = 0 c.s.
b) Si f L
p
, para un p (0, ), entonces f ,= 0 es nito.
c) Si para todo A / es
_
A
f d = 0, entonces f = 0 c.s.
3.- Demostrar que los espacios L
p
son reexivos, para 1 < p < .
(Cada uno debe contestar dos preguntas elegidas entre las tres.)
Segunda parte: Problemas. (Tiempo: de 12.10h a 14h)
1.- Demostrar que si 1 r < s , entonces L
r
L
s
, con la norma |f| = |f|
r
+
|f|
s
es de Banach, que si r < p < s, L
r
L
s
L
p
y sabiendo que |f|
p

max|f|
r
, |f|
s
, demostrar que la inclusion L
r
L
s
L
p
es continua.
Solucion.- Que | |es norma se sigue de serlo | |
r
y | |
s
.
Veamos que es completo: Sea f
n
de Cauchy, entonces f
n
es de Cauchy en L
r
en el
que tiene lmite g L
r
al que ademas converge c.s. una subsucesion g
n
de f
n
. Ahora
bien f
n
es de Cauchy tambien en L
s
y tambien tiene lmite h L
s
(as como g
n
que es
una subsucesion de una sucesion convergente), al que converge c.s. una subsucesion
de g
n
, que como tiene lmite c.s., h = g c.s. estan en L
r
L
s
y |f
n
g| 0.
Para ver que L
r
L
s
L
p
, sea A = [f[ 1, entonces si f L
r
L
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 < .
Que la inclusion es continua es obvio pues |f|
p
max|f|
r
, |f|
s
|f|.
2.- 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.
TEOR

IA DE LA MEDIDA
Examen de Septiembre: 12IX2001
Primera parte: Teora. (Tiempo: de 17h a 18.40h)
(Contesta dos preguntas elegidas entre las tres siguientes.)
1.- Enuncia y demuestra el Teorema de extension de Caratheodory.
2.- Sea h 0 una funcion medible, demostrar que para cada A /
(A) =
_
A
hd,
dene una medida en /.
3.- Enuncia y demuestra la desigualdad de Minkowsky en L
p
, para 1 < p < .
Segunda parte: Problemas. (Tiempo: de 18.45h a 20.30h)
1.- Demostrar que (/
1
/
n1
) /
n
= /
1
/
n
.
Indicacion. se demuestra considerando B /
n
y la coleccion ( de todos los
A /
1
/
n1
, para los que A B /
1
/
n
. Se demuestra que ( es
algebra y que contiene a la familia /
1
/
n1
de los productos de medibles.
se sigue de que
/
1
/
n
(/
1
/
n1
) /
n
.
2.- Demostrar que
f L
p
L

[f[ |f|

c.s.
TEOR

IA DE LA MEDIDA
Examen de Junio: 11VI2001
Primera parte: Teora. (Tiempo: de 17h a 18.40h)
1.- Demostrar que toda medida en R
n
es regular interior en los borelianos de medida
nita.
2.- Demostrar que para todo t > 0 y a R
n
,
B L(R
n
) B + a L(R
n
) y tB L(R
n
),
B B(R
n
) B + a B(R
n
) y tB B(R
n
),
y en ambos casos m[tB] = t
n
m[B], m[B + a] = m[B].
3.- Demostrar el teorema de la convergencia monotona extendido y como consecuencia
el Lema de Fatou.
(Cada uno debe contestar dos preguntas elegidas entre las tres.)
Segunda parte: Problemas. (Tiempo: de 18.45h a 20.30h)
4.- (a) Sea H
1
la medida de Hausdor 1dimensional y : R R
n
una curva de clase
1, demostrar que para todo [a, b] R, si (t) = (x
i
(t))
H
1
([a, b]) =
_
b
a

_
n

i=1
x

i
(t)
2
dt.
(b) Calcular H
1
(C), para C = (x, y) : (x 1)
2
+ y
2
= 4.
5.- Sea (, /, ) un espacio de medida nita. Demostrar que si f: [0, ] es
medible entonces
E = (x, y) : 0 y f(x),
es /B(R) medible, calcular m[E
x
] y demostrar que si g: [0, ] es medible
y, x : y f(x) x : y g(x)
_
f d
_
g d.
TEOR

IA DE LA MEDIDA
Examen de Febrero: 16II2001
Primera parte: Teora. (Tiempo: de 10h a 12h)
1.- Sea f: [0, ] una funcion medible. Demostrar que existe una sucesion cre-
ciente f
n
o de funciones simples, con 0 f
n
n, tales que f
n
f. Ademas la
convergencia es uniforme en cada conjunto en el que f sea acotada.
2.- Denir las medidas de Hausdor H
p
, en un espacio metrico y demostrar que en
R
n
, H
n
es proporcional a la medida de Lebesgue.
3.- Demostrar que para 1 p , (L
p
, | |
p
) son espacios de Banach.
(Cada uno debe contestar dos preguntas elegidas entre las tres.)
Segunda parte: Problemas. (Tiempo: de 12h a 14h)
1.- 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 = A / : (A) < / la aplicacion
(A, B) = (AB),
dene una metrica, respecto de la que la aplicacion A A A
c
A es una
isometra y las aplicaciones de A A A
(A, B) A B, (A, B) A B, (A, B) (AB),
son continuas.
(d) Demostrar que en el caso particular de = [0, 1], / los borelianos del intervalo
y la medida de Lebesgue, (A, ) no es compacto.
2.- Sea (, /, ) un espacio de medida. Demostrar que el espacio /(/, R) :
, es de Banach. Ademas si es nita es isomorfo a L
1
. Dar el isomorsmo.
TEOR

IA DE LA MEDIDA
Examen de Diciembre: 13XII2000
Primera parte: Teora. (Tiempo: de 10h a 12h)
1.- Teorema de la convergencia dominada.
2.- Teorema de RadonNikodym para medidas nitas.
Segunda parte: Problemas. (Tiempo: de 12h a 14h)
1.- Dadas dos medidas
1
,
2
, con
1

2
en un espacio medible demostrar que para
toda f 0 medible
_
f d
1

_
f d
2
.
2.- Sea (, /, ) un espacio medible con una carga. Demostrar:
(a) g es integrable si y solo si es [[integrable.
(b) Si g es integrable,

_
g d

_
[g[ d[[.
3.- Demostrar que si f, g L
p
para 0 < p < 1, entonces
|f + g|
p
2
1
p
1
(|f|
p
+|g|
p
)
TEOR

IA DE LA MEDIDA
Examen de Septiembre: 13IX2000
Primera parte: Teora. (Tiempo: de 17h a 18.30h)
1.- Sea I abierto y supongamos que para un s I la funcion h(x) = f(s, x) es
integrable, que existe la f/t y una funcion medible e integrable g en , tal que
para todo (t, x) I , [f(t, x)/t[ g(x). Demostrar que entonces F(t) =
_
f(t, x) d es diferenciable en I y
F

(t) =
d
dt
_
f(t, x) d =
_
f
t
(t, x) d.
2.- Sea (
1
, /
1
, P
1
) un espacio de probabilidad (
2
, /
2
) un espacio medible y :
1

/
2
[0, ] una probabilidad de transicion. Demostrar que
(a) Para cada E / = /
1
/
2
, la funcion x (x, E
x
) es medible.
(b) Existe una unica probabilidad P en /, tal que para cada A /
1
y B /
2
P(AB) =
_
A

B
dP
1
.
Segunda parte: Problemas. (Tiempo: de 18.30h a 20h)
1.- Dado un espacio de medida (, /, ) y dos sucesiones A
n
, B
n
/, tales que
= B
n
y (B
n
) = 2
n
, demostrar que:
(liminf A
n
) liminf (A
n
) limsup(A
n
) (limsupA
n
).
2.- Sea f: R R medible, a R y g(x) = f(x + a). Demostrar que
_
f dm =
_
g dm,
en el sentido de que si una integral existe tambien la otra y coinciden.
TEOR

IA DE LA MEDIDA
Examen de Junio: 12VI2000
Primera parte: Teora. (Tiempo: de 17h a 18.30h)
1.- Demostrar el Teorema de extension de Caratheodory.
2.- Demostrar la desigualdad de Holder.
Segunda parte: Problemas. (Tiempo: de 18.30h a 20h)
1.- Demostrar que (/
1
/
n1
) /
n
= /
1
/
n
.
2.- (i) Demostrar que si a, b > 0 y 0 < p < 1, entonces
a
p
+ b
p
2

_
a + b
2
_
p
.
(ii) Demostrar que si f, g L
p
para 0 < p < 1, entonces
|f + g|
p
2
1
p
1
(|f|
p
+|g|
p
)
TEOR

IA DE LA MEDIDA
Examen de Febrero: 122000
Primera parte: Teora. (Tiempo: de 10h a 11.55h)
1.- Enuncia y demuestra el Teorema de la convergencia monotona.
2.- Sea o una subvariedad kdimensional, de clase 1 de R
n
y F: V R
n
una
parametrizacion suya, demostrar que para cada boreliano A V y para la funcion
no negativa x J(D
x
F),
H
k
[F(A)] =
_
A
J(D
x
F) dH
k
.
(Enunciar sin demostrar los resultados previos que se necesiten.)
Segunda parte: Problemas. (Tiempo: de 12h a 14h)
1.- 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 medible,
1

2

integrable y que
_
hd =
__
f d
1
___
g d
2
_
.
2.- 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
.
(Indicacion: Hagase primero para dos funciones.)
TEORIA DE LA MEDIDA
Examen de Septiembre: 1691999
Primera parte: Teora. (Tiempo: de 10h a 11.55h)
1.- Enuncia el Teorema de extension de Caratheodory y enuncia y demuestra el Teo-
rema de extension de Hahn.
2.- Sea h una funcion con integral, demostrar que para cada A /
(A) =
_
A
hd,
dene una carga en / y si h 0 una medida.
Segunda parte: Problemas. (Tiempo: de 12h a 14h)
1.- Sea f integrable y > 0. Demostrar que existe una funcion simple s tal que
_
[f s[d < .
2.- a) Es necesariamente completo el producto de espacios medibles completos?. Ra-
zona la respuesta.
b) Demostrar que B(R) B(R) = B(R
2
).
c) Es L(R) L(R) = L(R
2
)?.
TEOR

IA DE LA MEDIDA
Examen de Junio: 4V1999
Primera parte: Teora. (Tiempo: de 9h a 11.15h)
1.- Demostrar el Teorema de aditividad para funciones integrables, es decir que si f
y g son integrables, entonces f + g tambien lo es y
_
(f + g)d =
_
fd +
_
gd.
2.- Enuncia y demuestra el Teorema de descomposicion de Jordan.
Segunda parte: Problemas. (Tiempo: de 11.30h a 13.30h)
1.- En un espacio de medida (, T, ), denimos la funcion de conjunto
(A) = sup(B) : B T, B A, (B) < ,
demostrar que es una medida y que ademas coincide con si esta es nita.
(Ver Tema I de los apuntes).
2.- Demostrar que si (, /, ) es un espacio de medida nita
/(/, R) : ,
es un subespacio vectorial cerrado del espacio de Banach /(/, R), que es isomorfo
a L
1
(, /, , R). Dar un isomorsmo.
TEOR

IA DE LA MEDIDA
Examen de Febrero: 821999
Primera parte: Teora. (Tiempo: de 9.30h a 11.30h)
1.- Demostrar el Teorema de RadonNikodym para medidas nitas: Sean y
medidas nitas en (, /), tales que . Entonces existe una unica c.s.(/, )
funcion no negativa, nita y medible g L
1
, tal que para cada A /
(A) =
_
A
gd.
2.- Demostrar la desigualdad de Minkowsky en L
p
, para 1 < p < .
Segunda parte: Problemas. (Tiempo: de 11.45h a 13.30h)
1.- Sean (
i
, /
i
), para i = 1, . . . , n, espacios medibles. Demostrar que
(/
1
/
n1
) /
n
= /
1
/
n
.
y que si
i
es una medida nita en /
i
, entonces
(
1

n1
)
n
=
1

n
.
2.- Demostrar que si 0 < r < p < s , entonces
L
r
L
s
L
p
L
r
+ L
s
.

You might also like