Extensión de medidas

Extensión de medidas Problemas para examen Semianillos de conjuntos 1. Escriba la definición de semianillo de conjuntos. 2. Convenio: el conjunto vacío pertenece a cualquier semianillo. En los siguientes problemas se supone que la condición S está incluida en la definición de semianillo de conjuntos. Algunos autores no la incluyen. 3. Semianillo de los conjuntos unipuntuales de un conjunto. Sea X un conjunto. Denotemos por S al conjunto que consiste en el conjunto vacío y en todos los subconjuntos unipuntuales de X: S = { } { {x}: x X }. Demuestre que S es un semianillo de conjuntos. 4. Fórmulas para la intersección y la diferencia de dos intervalos semiabiertos. Sean a, b, c, d R. I. Encuentre una fórmula general para [a, b) [c, d). Sugerencia: usar max y min. II. Suponiendo que c < d represente R \ [c, d) como una unión de dos intervalos. III. Suponiendo que c < d encuentre una fórmula para [a, b) \ [c, d). Recordamos que para cualesquiera a, b R el conjunto [a, b) se define como {x R: (a x) (x < b)}. 5. Semianillo de los intervalos semiabiertos del eje real. Muestre que los intervalos [a, b), donde a, b R, forman un semianillo sobre R. Sugerencia: use las fórmulas del problema anterior. 6. Teorema (el producto de dos semianillos es un semianillo). Sean X, Y algunos conjuntos, S 1 un semanillo sobre X y S 2 un semianillo sobre Y. Definimos S 1 S 2 := { A B : A S 1, B S 2 } Muestre que S 1 S 2 es un semianillo sobre X Y. 7. Intersección de dos semianillos no necesariamente es semianillo. Construya dos semianillos S 1 y S 2 sobre un conjunto X tales que su intersección S 1 S 2 no sea semianillo. Indicación: puede construir S 1 y S 2 sobre un conjunto de tres elementos: X = {0, 1, 2}. Extensión de medidas, problemas para examen, página 1 de 6

Anillos de conjuntos 8. Escriba la definición de anillo de conjuntos. 9. Escriba la definición de álgebra de conjuntos sobre un conjunto X. 10. Conjunto-potencia es un álgebra de conjuntos. Demuestre que 2 X es un álgebra de conjuntos sobre X. 11. Exprese algunas operaciones con conjuntos a través de otras: en términos de y \. en términos de \. \ en términos de. en términos de y. 12. Cualquier anillo de conjuntos es un semianillo de conjuntos. Sea A un anillo sobre un conjunto X. Demuestre que A es un semianillo sobre X. 13. Intersección de anillos es un anillo. Sea A un conjunto de anillos sobre un conjunto X. Demuestre que el conjunto B := { Y X : A A Y A } es un anillo sobre X. 14. Anillo generado por un conjunto. Sean X un conjunto y C 2 X. Escriba la definición del anillo generado por C. 15. Teorema (descripción del anillo generado por un semianillo). Sea S un semianillo sobre un conjunto X. Denotemos por A al conjunto de todas las uniones finitas disjuntas de elementos de S: { m A := A X : m {1, 2,...} P 1,..., P m S disjuntos, A = P i }. Demuestre que A es el anillo generado por S. 16. Anillo generado por los subconjuntos unipuntuales de un conjunto. Sea X un conjunto. Denotemos por S al conjunto que consiste en el conjunto vacío y en todos los subconjuntos unipuntuales de X: S = { } { {x}: x X }. Se sabe que S es un semianillo. Describa el anillo generado por S. i=1 Extensión de medidas, problemas para examen, página 2 de 6

Premedidas 17. Escriba la definición de premedida. 18. Toda premedida es finitamente aditiva. Demuestre que toda premedida cumple con la propiedad finitamente aditiva. 19. Tarea adicional: la longitud de intervalos semiabiertos es una premedida. Sea S el conjunto de los intervalos semiabiertos del eje real: S := { [a, b): a, b R }. Definimos la función µ: S [0, + ] mediante la siguiente regla: { b a, si a b; µ([a, b)) := 0, si a > b. Demuestre que µ es una premedida. Sugerencia: utilice el teorema de Heine Borel de la compacidad de intervalos cerrados acotados en R. 20. Teorema de la extensión de una premedida de un semianillo al anillo generado. Enuncie el teorema. La demostración se divide en las siguientes partes: Unicidad. Definición de la premedida µ en el anillo y justificación de la definición. Verificación de los axiomas de premedida para la función µ. Clases monótonas de conjuntos 21. Escriba la definición de clase monótona de conjuntos. Los siguientes ejercicios de clases monótonas no se incluyen en el examen. 22. Demuestre que la intersección de un conjunto de clases monótonas es una clase monótona. 23. Teorema. Demuestre que la clase monótona generada por un anillo de conjuntos es un σ-anillo de conjuntos. 24. Corolario (descripción del σ-anillo generado a través de la clase monótona generada). Sea S un semianillo de conjuntos sobre X. Denotemos por A al anillo generado por S y por M a la clase monótona generada por A. Demuestre que M es el σ-anillo generado por S. Extensión de medidas, problemas para examen, página 3 de 6

Medidas exteriores 25. Escriba la definición de medida exterior sobre un conjunto X. 26. Ejemplo. Sea X un conjunto. Definimos ϕ: 2 X [0, + ] mediante las siguientes reglas: ϕ( ) = 0. ϕ(a) = 1, si A es un subconjunto unipuntual de X. ϕ(a) = 3, si A X y A tiene por lo menos dos elementos diferentes. Demuestre que ϕ es una medida exterior sobre X. 27. Demuestre que toda medida exterior es finitamente subaditiva. 28. Criterio de medida exterior. Muestre que dos condiciones en la definición de medida exterior se pueden sustituir por una sola condición. 29. Teorema de la medida exterior generada por una premedida. Sean A un anillo de conjuntos sobre X y µ: A [0, + ] una premedida. Escriba la definición de la medida exterior µ : 2 X [0, + ] generada por µ. Demuestre que efectivamente µ es una medida exterior. Demuestre que µ (A) = µ(a) para todo A A. Extensión de medidas, problemas para examen, página 4 de 6

Construcción de Carathéodory: σ-álgebra y medida asociadas a una medida exterior En los siguientes problemas se supone que ϕ: 2 X [0, + ] es una medida exterior. 30. Escriba la definición de conjunto ϕ-medible (o Carathéodory ϕ-medible). Vamos a denotar el conjunto de los conjuntos ϕ-medibles por C ϕ. 31. Escriba la definición de medida completa. 32. Teorema de la σ-álgebra y medida asociadas a una medida exterior. Enuncie el teorema sobre C ϕ y la restricción de ϕ a C ϕ. 33. Demuestre que C ϕ es una álgebra de conjuntos sobre X. 34. Sean A, B C ϕ disjuntos y P X. Demuestre que ϕ(p (A B)) = ϕ(p A) + ϕ(p B). 35. Sean m {1, 2, 3,...}, A 1,..., A m C ϕ mutualmente disjuntos y P X. Demuestre que ( ( m )) m ϕ P A j = ϕ(p A j ). j=1 36. Sea (A n ) n N una sucesión disjunta en C ϕ y sea j=1 B = n N A n. Demuestre que B C ϕ y ϕ(b) = n N ϕ(a n ). 37. Sean X un conjunto y A una álgebra de conjuntos sobre X cerrada bajo uniones numerables disjuntas. Demuestre que A es una σ-álgebra sobre X. De los lemas anteriores sigue que C ϕ es una σ-álgebra y la restricción ν de ϕ a C ϕ es una medida. 38. Demuestre que {A X : ϕ(a) = 0 } C ϕ y que ν es completa. 39. Teorema de Carathéodory de extensión de una premedida definida en un anillo a la σ-álgebra generada por este anillo. Enuncie y demuestre el teorema. Extensión de medidas, problemas para examen, página 5 de 6

Medida de Lebesgue y sus propiedades En esta sección denotamos por τ a la topología en R n, por F a la σ-álgebra de Lebesgue y por µ a la medida de Lebesgue. 40. Explique cómo definir la medida de Lebesgue en R n usando la construcción de Carathéodory. 41. Regularidad de la medida de Lebesgue. Demuestre que la medida de Lebesgue tiene las siguientes propiedades: Para cualquier A τ \ { }, µ(a) > 0. Para cualquier Y F y cualquier ε > 0 existe un conjunto A τ tal que Y A y µ(a \ Y ) < ε. Para cualquier Y F y cualquier ε > 0 existe un conjunto C R n tal que R n \ C τ, C Y y µ(c \ Y ) < ε. Para cualquier Y F con µ(y ) < + y cualquier ε > 0, entonces existe un conjunto compacto C Y tal que µ(y \ C) < ε. 42. Invariancia bajo traslaciones de la medida de Lebesgue. Demuestre que para cualquier conjunto Lebesgue-medible A R n y cualquier número b R n µ(a + b) = µ(a). Aproximación de funciones medibles por funciones continuas 43. Teorema de Luzin. Denotemos por F a la σ-álgebra de Lebesgue en el intervalo [α, β], donde α < β, y por µ a la medida de Lebesgue restringida a este intervalo. Sea f M([α, β], F, µ, C) y sea η > 0. Demuestre que existe un conjunto cerrado K [α, β] tal que f Y es continua y µ([α, β] \ K) < η. 44. Denotemos por F a la σ-álgebra de Lebesgue en el intervalo [α, β], donde α < β, y por µ a la medida de Lebesgue restringida a este intervalo. Sea f M([α, β], F, µ, C) y sea η > 0. Demuestre que existe una función continua g C([α, β], C) tal que sup g(x) f y µ({x X : f(x) g(x)}) < η. x [α,β] Extensión de medidas, problemas para examen, página 6 de 6