Anlisis Matemtico II
Unidad 3 Actividad 2
MEDIDAS DE LEBESGUE
10 de marzo de 2015
Autor: Laura Pontn
Anlisis Matemtico II
Unidad 3 Actividad 2
1. Sea un conjunto no numerable, y sea = {
: }. Prueba que es la -lgebra generada por los
conjuntos de un punto de .
Siendo , es un punto de .
Si es a lo ms numerable o es a lo ms numerable, =
que es a lo ms numerable.
Considerando que = donde su complemento (el vaco) es a lo ms numerable.
Ahora, sea , si es numerable pues su complemento ( ) = es a lo ms numerable y si es
numerable, .
Por definicin Un conjunto A es numerable si existe una aplicacin
sobreyectiva, : lo que lleva implcito que el conjunto A es
numerable si es posible disponer sus elementos en una sucesin
1 , 2 , 3 ,
Ahora por Teorema 0.5.2 (Introduccin a la topologa de los
espacios mtricos. Daz Moreno J.M.Pg. 14)
1. Cualquier subconjunto de un conjunto numerable es numerable
Anlisis Matemtico II | 10/03/2015
2. La unin de dos conjuntos numerables es numerable
Sea la coleccin 1 , 2 , , siendo numerables la unin de estos debera estar en .
Por consiguiente:
Si todos los son a lo ms numerables, entonces
=1 es a lo ms numerable, pues la unin de
conjuntos numerables es un conjunto numerable
=1
Por consecuencia lgica, tienen complemento a lo ms numerable, es decir, todos los son a lo ms
numerables,
=1 es a lo ms numerable ya que la interseccin de conjuntos numerables es
numerable y por la teora de conjuntos :
=1 = (=1 )
(
=1 ) es numerable =1 .
Por el contrario, de no cumplirse que todos los son a lo ms numerables es porque al menos uno de ellos
es tal que su complemento es a lo ms numerable;
sea que donde es a lo ms numerable la unin que lo contiene es a lo ms numerable tambin:
) ) = (
((
=1
=1
Donde al ser a lo ms numerable ((
=1 ) ) es a lo ms numerable
(
=1
) .
Ahora:
Al suceder que (
=1 ) y son ambos a lo mas numerables (=1 ) e a lo mas
numerable
((
=1 ) ) es a lo ms numerable (=1 ) .
Para concluir:
(1) ,
(2)
la unin numerable de estos conjuntos se encuentran tambin en .
Al cumplirse tales propiedades, = { : } es una -lgebra
generada por los puntos del conjunto
Anlisis Matemtico II | 10/03/2015
(3) en
2. Si es una funcin aditiva, no negativa, con valores en los reales extendido,
definida sobre un anillo y tal que existe al menos un , tal que () < ,
entonces () = .
Si es aditiva no negativa y al menos un | () < ,
Como es un anillo contiene al y como es una medida tenemos:
( ) = ()
=
( ) = () + ()
Comentado [LAPB1]: Por aditividad
() + () = (),
() = () () = 0,
3. Sea {} una sucesin de nmeros reales no negativos, , definimos
() = . Prueba que : () [, ) es una medida (() es el conjunto
potencia de X).
Como es numerable y siendo = () = ()= = 0
se cumple la primera propiedad de medida.
Anlisis Matemtico II | 10/03/2015
Dado que { } es una sucesin de reales no negativos es tambin positiva
() 0, ()
se cumple la segunda propiedad de medida.
Luego, para cada () la medida () = donde .
Sea la sucesin 1 , 2 , , () conjuntos disjuntos
donde (1 ) = 1 , (2 ) = 2 , sus respectivas medidas.
Entonces:
(
=1
) =
=1
Por otro lado
(1 ) + (2 ) + = + + =
1
=1
como 1 , 2 , , () son disjuntos, por propiedades de las sumatorias se tiene:
+ + =
1
=1
(
=1
=1
) =
=1
se cumple bajo la tercera propiedad de medida: la -aditividad
: () [0, ) es una medida
4. Muestra que toda medida finitamente aditiva es montona.
Sea una medida finitamente aditiva definida e algn espacio de medida (, ).
Sea puntos de .
= {, +}
La definicin de medida finitamente aditiva es: Sea una funcin tal que :
definida sobre una coleccin de conjuntos de , decimos que es una medida finitamente aditiva si:
() = 0
Para toda coleccin finita ( )1 de conjuntos de ,
disjuntos dos a dos, |
=1 Se tiene que:
) =
=1
=1
( )
Sea la sucesin 1 = 1 , 2 = 2 , = | 1 siendo una sucesin de elementos de .
Entonces,
y por ser una medida aditiva:
(1 2 ) = (
) =
=1
( )
=1
Anlisis Matemtico II | 10/03/2015
1)
2)
Como , = ( ) | () = ( ( )) y por la aditividad:
( ( )) = () + ( ) = ()
como 0, () ().
por ser la medida finitamente aditiva, es montona
5. Muestra que la unin numerable de conjuntos nulos es otra vez un conjunto
nulo.
Sea 1 , 2 , , , una coleccin de conjuntos numerables
Definimos
= {
=1 } siendo el conjunto formado por la unin de todos los conjuntos de la coleccin.
Como cada conjunto de la sucesin es numerable, la unin
=1 es numerable, i.e. es numerable.
Si cada conjunto de la coleccin 1 , 2 , , , es nulo , ( ) = 0,
tendramos que:
= (1 2 ) =
=1
() = (1 2 ) = (
=1
Como es una medida
Anlisis Matemtico II | 10/03/2015
=1
) =
=1
( ) = (1 ) + (2 ) + + ( ) + = ()
| , ( ) = 0
Entonces
( ) = 0 + 0 + 0 + = 0 = ()
=1
la unin numerable de conjuntos nulos es un conjunto nulo tambin
Comentado [LAPB2]: Por aditividad tenemos
6. Prueba que todo subconjunto numerable de tiene medida de Lebesgue igual
a cero.
Sea un subconjunto numerable de nmeros reales, que al ser numerable, sera un conjunto tal formado por
una coleccin de puntos de ,
Sea el subconjunto = {1 , 2 , 3 , , , }, .
Como la medida de Lebesgue de un punto es cero, sea () la medida de Lebesgue del subconjunto que
por ser medida cumple con la aditividad y adems la medida de cada punto ( ) = 0.
Considerando a cada un conjunto, que por tener un solo elemento , es numerable.
Luego entonces sabemos que para una coleccin numerable de conjuntos disjuntos:
(
=1
) =
=1
( )
Como ( ) = 0, ,
Entonces:
() = (
=1
) =
=1
( ) = 0,
Para demostrarlo de otro modo construimos el subconjunto como la sucesin de intervalos (numerable)
de la forma :
1
= [, + )
Para fijo, la interseccin de todos los intervalos es el punto {} y la medida de Lebesgue es () = 0.
( ) =
la medida de todo el subconjunto es:
lim ( ) = lim
1
=0
Todo subconjunto numerable de tiene medida de Lebesgue igual a cero
Anlisis Matemtico II | 10/03/2015
Donde la longitud de cada intervalo es:
7. Muestra que si : es continua p.c.t., entonces es una funcin medible.
Como : es continua p.c.t.,
Definimos cualquier real | () > .
Entonces
El conjunto que satisfacen esto es 1 ((, )).
Este conjunto es abierto y por ser 1 continua, su anti imagen es tambin un abierto y por el
Teorema 9 pg. 21 del material desarrollado,
entonces es medible.
Como es continua p.c.t., puede haber puntos de discontinuidad, pero como estos forman un
subconjunto de reales, su medida es cero.
Luego definamos a : continua
Anlisis Matemtico II | 10/03/2015
medible.
Como es continua casi en todas partes, = c.p.t.,
por el teorema 10 pg. 22
entonces es una funcin medible
8. Sea { } una sucesin de funciones medibles de valores reales sobre un
espacio de medida {, , }, prueba que el conjunto = { : () } es
medible.
El conjunto es el de los puntos | cada () diverge a infinito.
Como las funciones son de valores reales, el conjunto es un subconjunto de nmeros reales y que
adems, es numerable pues hay uno o un conjunto numerable de estos para cada .
Entonces de acuerdo a lo ya demostrado en el ejercicio 6 todo subconjunto numerable de nmeros reales
tiene medida de Lebesgue igual a cero
y por tanto es un conjunto nulo;
luego, como todo conjunto nulo es medible (Teorema 4 : Cada conjunto nulo es medible) se deduce que
es medible
Anlisis Matemtico II | 10/03/2015
