Ejercicios Parcial
Teora de la Medida
Mario Orlando Escobar Zelaya
abril 2016
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
(b) {x E : fn (x) converge} es medible
Solucion
lim inf fn (x)
lim inf fn (x) = sup inf fk (x) = sup In (x), donde In (x) = inf{fn (x), fn+1 (x), }
nN kn nN
Demostremos que In (x) es medible para todo n N
In1 (, ) = {x E : < In (x)}
x In1 (, ) < In (x)
< fk (x), k n (ya que In fk (x) k n)
x fk1 (, ), k n
\
x fk1 (, )
k=n
\
Entonces In1 (, ) = fk1 (, ) y por tanto In (x) es medible ya que In1 (, ) es
k=n
interseccion numerable de conjuntos medibles.
Ahora sea g(x) = lim inf fn (x)
tenemos entonces que g(x) = sup{I1 , I2 , }, esto es, g(x) es la menor de las cotas
superiores para {In (x)}
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
Tenemos por tanto que
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
Demostremos que Sn (x) es medible para todo n N
x Sn1 (, ) < Sn (x)
no es cota superior para {fn (x), fn+1 (x), }
< fk (x) para algun k n
1
x fk (, ) para algun k n
[
x fk1 (, )
k=n
[
Entonces Sn1 (, ) = fk1 (, ) y por tanto Sn (x) es medible ya que Sn1 (, )
k=n
es union numerable de conjuntos medibles.
Ahora sea f (x) = lim sup fn (x)
tenemos entonces que f (x) = inf{S1 , S2 , }, esto es, f (x) es la mayor de las cotas
inferiores para {Sn (x)}
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
Tenemos por tanto que
\ [
\
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.
Entonces el conjunto A puede redefinirse de la siguiente manera A = {x E : g(x) = 0}
\
A = {x E : g(x) = 0} = {x E : g(x) 0} {x E : g(x) 0}
\
= g 1 (, 0] g 1 [0, )
Ya que g es una funcion medible se tiene que g 1 (, 0] y g 1 [0, ) son conjuntos
medibles.
Por tanto A es medible porque es interseccion de dos conjuntos medibles.
4
Ejercicio 2.
Sea f : [0, 1] R una funcion definida por
0 si x = 0
f (x) =
xsin(1/x) si x > 0
Encuentre la medida del conjunto {x R : f (x) 0}
Encontremos los puntos de interseccion de la curva con el eje x
Entonces xsin(1/x) = 0 x = 0 o sin(1/x) = 0
1 1
Si sin(1/x) = 0 entonces = k, esto es, x = k N
x k
1
As los puntos de de interseccion son {0} :kN
k
1 1
Notemos que f (x) 0 en los intervalos , k N
(2k + 1) 2k
De aqu que
[ 1 1 1
A = {x R : f (x) 0} = , ,1
k=1
(2k + 1) 2k
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)
