Anlisis Matemtico II

Unidad 3 Evidencia de Aprendizaje

ESPACIOS MTRICOS, CONJUNTOS MEDIBLES Y MEDIDA DE LEBESGUE

14 de marzo de 2015
Autor: Laura Pontn Becerril

Anlisis Matemtico II
Unidad 3 Evidencia de Aprendizaje
Instrucciones: Resuelve los siguientes problemas.
1Obtn el intervalo (, ) de intervalos de la forma [, ), usando las propiedades
de -lgebra
Sea una -lgebra donde los elementos [, ). (, ) con elementos de dicha -lgebra.
Entonces

fijamos el nmero y el intervalo [, ) , su complemento [, ) = (, ) por

propiedad, es cerrada bajo complementos.

Ahora,
1

Construimos el subconjunto de intervalos [ + , ) , y , y como es cerrado bajo

1

uniones numerables,
=1 [ + , ) . Pero =1 [ + , ) = (, ).

(, ) = (, ) (, )

2-

Sea (, , ) un espacio de medida.

a.

Si , y () = , prueba que () = ().

Sea
Anlisis Matemtico II | 14/03/2015

() = (( ) ( ))

Comentado [LAPB1]: Por definicin de diferencia simtrica de y .

Como () = 0 tenemos que:

(( ) ( )) = 0
Se tiene que:
( ) ( ) = 0
De aqu que:
( ) = 0 = ( ),
Por la identidad:
= ( ) ( ),

= ( ) ( )

Comentado [LAPB2]: Por aditividad

La cual se deduce de que

si = ( ) ( ) = .
En este sentido:
() = ( ) ( ),

() = ( ) ( ),

Y por ( ) = 0 = ( ) () = ( ), () = ( )

() = ()

b. Definimos ~ si , y () = , prueba que ~ es una relacin de

equivalencia.
Tenemos entonces que ~ si , y () = 0.
Por la definicin de relacin de equivalencia:

a)
Reflexividad: , . Es decir, est relacionado
consigo mismo.
b)
Simetra: , , . Es decir, si un
elemento est relacionado con otro, este otro tambin se relaciona
con el primero.
c)
Transitividad: , , , .
Es
decir, si un elemento se relaciona con otro y este otro con un
tercero, el primero se relacionar con el tercero tambin.
Como () = 0
Para ver si se cumple la propiedad Reflexiva:
Consideremos , de este modo:
() = ( ) ( ) = () = 0
De aqu que ~ y se cumple la Reflexividad.

Anlisis Matemtico II | 14/03/2015

Para un conjunto no vaco y una relacin binaria definida sobre

es una relacin de equivalencia si cumple con:

Luego sea ~ si , entonces:

() = ( ) ( )

( ) ( ) = ( ) ( ) = ()
Como
() = ( ) ( ) = 0,
se deduce que:
( ) ( ) = () = 0
Entonces:
() = () = 0

si ~ ~
se cumple la Simetra.
Sea , , Por el punto a. tenemos que si () = 0, () = ().
Entonces
~ si , y () = 0.
Como
() = 0, () = () () = ().

se cumple la transitividad y ~ es una relacin de equivalencia

Anlisis Matemtico II | 14/03/2015

Comentado [LAPB3]: Por la propiedad conmutativa de la unin de

conjuntos

3- Si es un subconjunto medible de , prueba que para todo subconjunto de se

cumple la siguiente igualdad: ( ) + ( ) = () + ().
Podemos escribir:
( ) = () ( ) = [( ) ( )] ( )
( ) + ( ) = [( ) ( )],
Comentado [LAPB4]: Por aditividad

es decir:
[( ) ( )] =
[( ) ([( ) ( )] ( ))] =
( ) + ([( ) ( )] ( )) =
( ) + [( ) ( )] + ( )

Entonces:
( ) + ( ) =
( ) + [( ) ( )] + ( ) =
( ) + ( ) + ( ) + ( )
Luego de:
() = ( ) ( ),

() = ( ) ( ),

Comentado [LAPB5]: visto os en el inciso a. del ejercicio 2

Tenemos que:
( ) + ( ) + ( ) + ( ) = () + ()

Anlisis Matemtico II | 14/03/2015

( ) + ( ) = () + (),

4- Demuestra lo siguiente: Sea , , : , () . Si es medible y es continua

entonces es medible.

= (()), = : () .
Como () y , el dominio de , i.e. (), es un conjunto medible.
Como es medible por ser continua, tal que () > . el conjunto de reales que
satisfacen esto es 1 ((, )).
El 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.

es medible.
Como : () es continua para un abierto cualquiera

Anlisis Matemtico II | 14/03/2015

1 () es un abierto de (), un | 1 () = () el cual es un abierto

Entonces
( )1 () = 1 (1 ()) = 1 ( ()) = 1 ()
Siendo un abierto ( )1 es medible

es medible

Comentado [LAPB6]: Por definicin: