Professional Documents
Culture Documents
Teora de la Medida
1
Ejercicio 1.
Sea {fn (x)} una sucesion de funciones medibles definidas de un conjunto medible E.
Demostrar con todo detalle que
(a) lim inf fn (x) y lim sup fn (x) son funciones medibles
Solucion
\
Entonces In1 (, ) = fk1 (, ) y por tanto In (x) es medible ya que In1 (, ) es
k=n
interseccion numerable de conjuntos medibles.
x g 1 (, ) < g(x)
no es cota superior para {In }
< Ik (x) para algun k N
x Ik1 (, ) para algun k N
[
x In1 (, )
n=1
2
[ \
[
1
g (, ) = In1 (, ) = fk1 (, )
n=1 n=1 k=n
Por tanto g(x) = lim inf fn (x) es medible ya que g 1 (, ) es union numerable de
conjuntos medibles.
lim sup fn (x)
lim sup fn (x) = inf sup fk (x) = inf Sn (x), donde Sn (x) = sup{fn (x), fn+1 (x), }
nN kn nN
x f 1 (, ) < f (x)
< Sk (x), k N (ya que f (x) Sk (x) k N)
x Sk1 (, ), k N
\
x Sn1 (, )
n=1
\ [
\
f 1
(, ) = Sn1 (, ) = fk1 (, )
n=1 n=1 k=n
Por tanto f (x) = lim sup fn (x) es medible ya que f 1 (, ) es interseccion numerable
de conjuntos medibles.
3
(b) Demostremos que A = {x E : fn (x) converge} es medible
En el literal anterior se probo que lim inf fn (x) y lim sup fn (x) son funciones medibles, se
tiene entonces que g(x) = lim inf fn (x) lim sup fn (x) es una funcion medible.
\
A = {x E : g(x) = 0} = {x E : g(x) 0} {x E : g(x) 0}
\
= g 1 (, 0] g 1 [0, )
4
Ejercicio 2.
5
Ademas cada uno de estos intervalos son dos a dos disjuntos. Entonces utilizando la
propiedad aditiva se tiene
1X 1 1
m(A) = 1+
k=1
2k (2k + 1)
1 1X k 1
= 1 + (1)
k=2 k
1 1
= 1 + (1 log(2))
1
= 1 log(2)