UNADM

Espacios Mtricos
Anlisis Matemtico 2

Carlos Antonio Lara Verduzco
09/08/2014





Anlisis matemtico II
Unidad 3. Conceptos preliminares de Teora de la Medida
Carlos Antonio Lara Verduzco

Evidencia de aprendizaje. Espacios mtricos, conjuntos medibles y medida de
Lebesgue


Instrucciones: Resuelve los siguientes problemas.

1- Obtn el intervalo de intervalos de la forma [ , usando las propiedades
de -lgebra
Tenemos que las propiedades que debe cumplir el sigma algebra
a) Si , entonces
b) Si , entonces

Sabiendo que A es un -conjunto tenemos que [

por lo tanto
tenemos lo siguiente.

Donde por lo que se cumple y tenemos que [

[ . Por ende decimos que [ [

son los intervalos de la

forma [ .

2- Sea un espacio de medida.
a. Si y prueba que .
Tenemos una diferencia simtrica tal que donde
sabemos que

( )

y para todo . Por otro lado tenemos que

Tenemos que y tambin que
por lo tanto tenemos por lgica que

Por propiedad conmutativa en operaciones en Conjuntos tenemos que

Por lo tanto tenemos que

Anlisis matemtico II
Unidad 3. Conceptos preliminares de Teora de la Medida
Carlos Antonio Lara Verduzco


Por lgica sabemos que

Y que tambin

Por ende que
b. Definimos si y , prueba que es una relacin de
equivalencia.
Continuando con el inciso anterior se demostr la propiedad reflexiva.
Ahora probando la propiedad simtrica tenemos que

Por lo tanto tenemos que

Con lo que se demuestra esta propiedad
Ahora Probando la propiedad Transitiva tenemos que si y
por lo tanto tenemos que Con lo que se
demuestra esta propiedad y la hiptesis.

3- Si es un subconjunto medible de , prueba que para todo subconjunto de se
cumple la siguiente igualdad: .

Tenemos que Tenemos que y todo . Por lo tanto
suponiendo que y teniendo que tal que
entonces tenemos que

Y por otro lado tenemos que

Y entonces por lo tanto tenemos que
Por propiedad conmutativa que y por lo tanto


Con lqd.




Anlisis matemtico II
Unidad 3. Conceptos preliminares de Teora de la Medida
Carlos Antonio Lara Verduzco


4- Demuestra lo siguiente: Sea Si es medible y es
continua entonces es medible.
Tenemos que

La imagen inversa de es abierta entonces podemos formar una cubierta

Se sustituye

)
Ahora tenemos un subconjunto medible , observamos que
[

] la interseccin es medible, por otro lado tenemos que

por lo tanto es medible y por ende [

] es medible
y al final tenemos que

] [

] la
unin de conjuntos medibles resultado un conjunto medible por lo tanto es
medible