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)