Anlisis Matemtico II

Asignacin Final

ASIGNACIN FINAL
18 de marzo de 2015
Autor: Laura Pontn Becerril

Anlisis Matemtico II
Asignacin Final
Hay subconjuntos de los nmeros reales que no son Lebesgue-medibles? Si s, den un ejemplo. Si
no, digan por qu no hay

Efectivamente existen subconjuntos de los nmeros reales que no son Lebesgue-medibles, para ahondar en la
razn definimos las funciones Medibles
Apstol T.M. en su libro Anlisis Matemtico expone:
A manera de extracto:
Toda funcin integrable de Lebesgue en un un intervalo es el lmite, casi en todo , de una cuerta sucesin de
funciones escalonadas. Sin embargo, el recproco no es cierto.
En el caso:
La funcin constante = 1 es un lmite de funciones escalonadas sobre la recta real , pero esta funcin no est
en L(R)
Entonces, la clase de son lmites de funciones escalonadas es ms amplia que la clase de funciones integrables de
Lebesgue.
Donde las funciones de esta clase ms amplia se llaman funciones medibles.
Definicin: Una funcin definida en se llama medible en , y se escribe M(I), si existe una sucesin de
funciones escalonadas (Sn) | lim () = ()

Si f es medible en I entonces es medible en todo subintervalo de I

Es notable que toda funcin de L(I) es medible en I, pero el recproco es falso. El teorema que sigue proporciona
un recproco parcial
Teorema

Anlisis Matemtico II | 18/03/2015

Si () |()| () casi por todo en I para funcin no negativa de g de (), ()

Corolario 1 M(I)y|f| L(I), f L(I)

Corolario 2 Si f es medible y acotada en un intervalo acotado I, ()
Otras propiedades de las funciones medibles las proporciona el siguiente teorema.
Ahora, otras propiedades de las funciones medibles las proporciona el siguiente teorema: Sea una funcin real
continua en 2 () (), definimos h en I por medio de la ecuacin () = [(), ()]
Entonces (), en particular, + ,

||, (, ) min(, ) (). () () 0, .

Ahora por el siguiente teorema se prueba que la clase M(I) no crece si se toman lmites de funciones de M(I)
Teorema: Sea f una funcin definida en I, y supongamos que { }es una sucesin de funciones medibles en I tal
que () () .
Nota: Existen funciones no medibles, sin embargo por el teorema anterior es notable que no es
fcil construir un ejemplo as, Las operaciones usuales del Anlisis aplicadas a funciones
medibles, producen funciones medibles, por lo tanto cada funcin que se encuentra en la
prctica es muy probable que sea medible.
El siguiente caso es un ejemplo de la construccin de un conjunto no medible Lebesgue
Para construir un conjunto no medible en el intervalo [0,1] de .
La construccin se basa en propiedades fundamentales de la medida de Lebesgue:
la medida de un intervalo es su longitud
si { } es una familia numerable de conjuntos medibles disjuntos dos ados, la medida de la unin es la
serie de las medidas.

( )| = ( )
=1

=1

Si E es medible , , + es medible y ( + ) = ()
Definimos una relacin de equivalencia en [0,1] por la condicin ~ ( ) , es decir, si la
diferencia x-y es racional
~ = ( ) ~

~
Entonces x~ = 0
Sea 0 un subconjunto de [0,1]formado por un nico elemento de cada clase de equivalencia
Considerando la sucesin { } de todos los nmeros racionales del intervalo [-1,1]
( )
Para cada definimos el conjunto como el conjunto de puntos
= { + , 0 } = + 0

Anlisis Matemtico II | 18/03/2015

~ ~

Consistente en trasladar el conjunto 0 sumndole el nmero

= + 0
0

-1

0 es medible:
1. Cada conjunto es medible, ya que es traslacin de un conjunto medible
2. para cada ( ) = (0 )
3. Los conjuntos son disjuntos dos a dos:
Si existiera un , existiran 0 0 | = + = +
de donde se sigue
=
luego
~
Siendo que en 0 slo existe un elemento de cada clase de equivalencia,
=

= =

4. La unin de todos los conjuntos , =

=1 , contiene al intervalo [0,1] y se encuentra contenida en el
intervalo [-1,2]

Anlisis Matemtico II | 18/03/2015

Todo punto x [0,1] tiene que estar en alguna de las clases de equivalencia definidas por la relacin, tiene que un
0 0 | ~0 , = 0 es un racional; y como y 0 se encuentran en [0,1], r [-1,1] ser uno de los
elementos de la sucesin { } , = = + 0

[0,1]

Por otro lado, si x se encuentra en un conjunto , = + [1,1] 0

[0,1], [1,2]

5. Por lo que
1 = [0,1] ( = ( ) 3 = [1,2])

lo cual es imposible tantos si ( ) = (0 ) = 0 ( ) = (0) > 0

0 no es medible lebesgue

Anlisis Matemtico II | 18/03/2015

Extracto de texto: Porras Pomares B, de AAVVR con fuente directa de T.M. Apostol "Anlisis Matemtico" Ed.
Revert