MAESTRIA EN MATEMATICAS

MODULO TEORIA DE LA MEDIDA

EXAMEN FINAL

1. Cuestiones breves (elegir cuatro):

a) Si A es una familia de subconjuntos de un conjunto arbitrario X , como se

construye la mnima -
algebra que contiene a A?

Soluci on. Llamamos F a la familia de todas las -algebras que

contienen a A (seguro que alguna existe porque P (X) es una -
algebra y contiene
T a cualquier familia de subconjuntos de X) y
definimos C = {B : B F}. Por definicion, A B, para todo
B F, de modo que A C. Ademas C es una -algebra (por serlo
B, para todo B F).
Por ultimo, si B es una -algebra que contiene a A, entonces B C
por la propia definicion de C.

b) Prueba que, si f, g : ZX [,
Z ] son funciones medibles iguales en casi
todo punto, entonces f= g para todo conjunto medible E .
E E

Solucion. Basta probarlo para el caso f, g 0 (en el caso general

se descompone f = f + f y g = g + g ).
Sea h = f g. Si es una Zfuncion simple tal que 0 h,
entonces = 0 c.s. Por tanto, = 0. Por la definicion de integral
E Z
de funciones medibles no negativas se deduce que h = 0.
E

Z
c) Prueba que, si f, g : X [0, ] son funciones medibles tales que f =
Z E

g para un conjunto medible E , entonces f y g son iguales en casi todo

E
punto de E .

on. Para cualquier n N,

Soluci
Z Z
({x : f E 1/n}) n f E d = n f d = 0.
E

Como
[
{x : (f g) E > 0} = {x : (f g) E 1/n},
nN
 entonces ({x : (f g) > 0} E) = ({x : (f g) E > 0}) = 0.
Ademas, para cualquier n N,
Z Z
({x : f E 1/n}) n f E d = n f d = 0.
E

d ) Prueba que todo conjunto con medida exterior cero es medible Lebesgue.
Solucion. Por hipotesis, m (E) = 0. Debemos probar que, dado
cualquier conjunto A, m (A) = m (A E) + m (A E c ).
Por una parte, como A = (AE)(AE c ), por la subaditividad de
la medida exterior sabemos que m (A) m (A E) + m (A E c ).
Por otra parte, como AE E, entonces m (AE) m (E) = 0.
Ademas, como AE c A, entonces m (AE c ) m (A). As pues,

m (A E) + m (A E c ) 0 + m (A).

De ambas desigualdades se deduce que E es medible.

e) Sea f una funcion integrable Lebesgue Zy no negativa. Si > 0 y E = {x :

1
f (x) > }, prueba que m(E ) f.

Soluci
on. Es evidente que
Z Z Z
m(E) = E f f.
E X

f ) Sea una medida con signo en un espacio (X, ). Define un par de medidas
+ y mutuamente singulares tales que = + y prueba que,
efectivamente, son mutuamente singulares.

Solucion. Sea {A, B} una descomposicion de Hahn de , es decir A

positivo y B negativo tales que X = A B y = A B. Definimos

+ (E) = (E A), (E) = (E B)

las cuales verifican que = + porque E = (E A) (E B)

(union disjunta).
Las medidas + y son mutuamente singulares debido a que

+ (B) = (A B) = 0 y (A) = (A B) = 0.
2. Teora.
Enuncia el lema de Fatou y demuestra el teorema de la convergencia dominada.

Solucion. Lema de Fatou. Si (fn ) es una sucesionZ de funciones Zmedi-

bles no negativas y fn (x) f (x) c.s. en E, entonces f lm inf fn .
E E
Teorema de la convergencia dominada. Sean g una funcion in-
tegrable sobre E y (fn ) una sucesion de funciones medibles tales que
|fn | g en E y f (x) = lm fn (x) c.s. en E. Entonces
Z Z
f = lm fn .
E E

Demostraci on. Por hipotesis |fn | g, es decir g fn g. Esto

quiere decir que las funciones g fn y g + fn son no negativas.
Si aplicamos el lema de Fatou a la sucesion g fn , tenemos:
Z Z
(g f ) lm inf (g fn ).
E E

Como |f | g, f es integrable y
Z Z Z Z
g f g lm sup fn ,
E E E E
Z Z
de donde f lm sup fn .
E E
Analogamente,
Z si aplicamos
Z el lema de Fatou a la sucesion g + fn , lleg-
amos a f lm inf fn .
E E
Z Z Z
En definitiva, lm sup fn f lm inf fn . De aqu se deduce la
E E E
igualdad.

3. Problemas (elegir dos):

2
a) Se considera
Z la sucesion (fn )nN de funciones
Z definidas por fn (x) = sen (nx).
2 2
Calcula lm inf fn (x) dx y lm inf fn (x) dx. Que teorema afirma
0 0
el resultado obtenido?

Solucion. La funcion fn (x) = sen2 (nx) oscila entre los valores 0 y 1

y, cuando n , la sucesion (fn ) no tiene lmite. Pero su lmite in-
Z 2
ferior es 0 y su lmite superior es 1. As pues, lm inf fn (x) dx =
0
 Z 2 Z 2 Z 2
1
0 dx = 0 pero fn (x) dx =
(1cos(2nx)) dx = . Por
0 Z 2 0 0 2
tanto, lm inf fn (x) dx = .
0
Z 2 Z 2
Observamos que lm inf fn (x) dx < lm inf fn (x) dx, de-
0 0
sigualdad que afirma el lema de Fatou.

n n
x2
Z 
2
b) Calcula lm 1+ e2x dx justificando la validez de los teoremas
n 0 n
utilizados.
n
x2

2
Soluci on. Consideramos la sucesion fn (x) = 1 + e2x
n
[0,n] (x) de funciones medibles no negativas en (0, ).
Por una parte, fn (x) fn+1 (x), x > 0:
En efecto,
n n+1
x2 x2 (n + x2 )n nn
 
1+ 1+ .
n n+1 (n + 1 + x2 )n+1 (n + 1)n+1
(n+x ) 2 n
Si definimos la funcion f (x) = (n+1+x 2 )n+1 , la desigualdad anterior

equivale a f (x) f (0), x 0. Esta u

ltima desigualdad sera cierta
si f es decreciente en (0, ). Pero

2x3 (n + x2 )n1
f 0 (x) = 0
(n + 1 + x2 )n+1

con lo que f es decreciente.

2
Por otra parte, lmn fn (x) = ex si x 0 (basta calcular
n n
 x2
x2 x2 x2
 
2
lm 1 + = lm 1 + = ex ).
n n n n
Podemos entonces aplicar el teorema de la convergencia monotona:
Z Z
lm fn (x) dx = lm fn (x) dx.
n 0 0

Por tanto,
Z n Z
x2
lm fn (x) dx = e dx = .
n 0 0 2
 c) Sean (X, , ) unZ espacio de medida y f una funcion integrable. Prueba que la
funci
on (E) = f d, E , es una medida con signo y que << .
E

Soluci on. Para que sea una medida con signo debe verificar los
siguientes axiomas:
R
() = 0. En efecto, () = f d = 0 .
solo toma uno de los valores .
Z Como f es integrable, entonces
es finita c.s. con lo que (E) = f E d es finita ( no toma el
X
valor infinito).
es numerablemente aditiva. Para probarlo, sea (En )nN una
sucesion de conjuntos medibles disjuntos dos a dos y supongamos
que f 0 (para el caso general basta descomponer f = f + f
pues f + , f 0).
[ [k
Llamamos A = En y Ak = En . As pues, (f Ak )kN es
nN n=1
una sucesion creciente de funciones integrables no negativas tal que
lmk f Ak = f A . Por el teorema de la convergencia monotona,
Z k
X X
(A) = lm f Ak d = lm (En ) = (En ).
k X k
n=1 nN

Falta comprobar que << . Para ello, supongamos que E es un

conjunto medible tal que (E) = 0. Entonces f E = 0 sobre
E c , con Zlo que f E = 0 c.s. con respecto a . Esto significa que
(E) = f E d = 0.
X

Puntuaci on:
5 puntos cada cuestion, 14 puntos la teora, 8 puntos cada problema.
Total: 50 puntos.

27 de Septiembre de 2007