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