Complemento del parcial

Alumno: Luisantos Bonilla Meja, carnet: BM12028

Ejercicio 4 Sea {fn (z)} una sucesion de funciones medibles definidas en un conjunto
medible E. Demostrar con todo detalle que:
a) lim inf fn (z) y lim sup fn (z) son funciones medibles.
Soluci
on:
Veamos primero el caso para lim sup fn (z).
Por definicion tenemos que:
lim sup fn = inf(sup fi ).
in

Con esto veamos que sup y inf son medibles. As consideremos el caso del supremo:

[
[z E : sup fn (z) > ] =
[z E : f (z) > ], y esto es la union numerable de
n=1

medibles y por tanto es medible, lo cual nos permite concluir que sup fn es medible.
Para el caso del inf basta considerar al inf, de la siguiente manera: inf fn = sup(fn )
y esto es medible; por lo dicho anteriormente.
Finalmente como ya probamos que sup y inf son medibles su composicion tambien
sera medible por lo tanto lim sup fn = inf(sup fi ) tambien es medible, que es lo que
in

queramos probar.
Y para el caso lim inf fn basta con considerar de la siguiente manera el limite:
lim inf fn = lim sup(fn ), que por lo demostrado anteriormente tamben es medible.
b) {z E : (fn (z))converge} es medible.
Soluci
on:
Probemos, mejor que el complemento es medible {z E : (fn (z))converge}c
{z E : (fn (z))converge}c = {z E : lim fn existe}c = {z E : lim inf fn (z) <
n
[
lim sup fn (z)} =
{lim inf fn (z) < r < lim sup fn (z)}
rQ

{[lim inf fn (z) < r] [lim sup fn (z) r]c } y esto es medible porque tenemos

rQ

interseccion de medibles y luego la union de medibles. Por lo tanto es medible el

conjunto de sucesiones convergentes.