Mamt2 U3 A2 Lapb
Mamt2 U3 A2 Lapb
Mamt2 U3 A2 Lapb
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
=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
(
=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
(
=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)
(3) en
( ) = ()
=
( ) = () + ()
() + () = (),
() = () () = 0,
() 0, ()
(
=1
) =
=1
(1 ) + (2 ) + = + + =
1
=1
+ + =
1
=1
(
=1
=1
) =
=1
) =
=1
=1
( )
(1 2 ) = (
) =
=1
( )
=1
1)
2)
= (1 2 ) =
=1
() = (1 2 ) = (
=1
=1
) =
=1
( ) = (1 ) + (2 ) + + ( ) + = ()
| , ( ) = 0
Entonces
( ) = 0 + 0 + 0 + = 0 = ()
=1
(
=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
= [, + )
( ) =
1
=0
7. Muestra que si : es continua p.c.t., entonces es una funcin medible.
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
medible.
Como es continua casi en todas partes, = c.p.t.,
por el teorema 10 pg. 22