Introducción al Análisis Real Curso 2012 Centro de Matemática Facultad de Ciencias Universidad de la República Práctico 4 1. Mostrar que para E ⊆ Rn se tiene: a) Si λ ∈ R, m∗ (λE) = |λ|n m∗ (E). b) Si x ∈ Rn , m∗ (E + x) = m∗ (E), ∀x ∈ Rn . c) Para todo > 0, existe V ⊆ Rn abierto con E ⊆ V y tal que m∗ (V ) ≤ m∗ (E) + . d ) Existe un conjunto Gδ (es decir: un conjunto que es intersección de una familia numerable de conjuntos abiertos), llamémosle G, tal que E ⊆ G, m∗ (E) = m∗ (G). Deducir que la σ-álgebra de los conjuntos medibles Lebesgue en Rn es la completación de la σ-álgebra de Borel BRn generada por los subconjuntos abiertos de Rn . 2. Sea (X, M, µ) un espacio de probabilidad y (An )n≥1 ⊆ M. Probar los llamados lemas de Borel– Cantelli, a saber: P a) Si n≥1 µ(An ) < ∞, entonces µ(lı́msupn An ) = 0. Tn Qn P b) Si µ( k=1 Ajk ) = k=1 µ(Ajk ), ∀n ∈ Z+ y ∀j1 , . . . , jn ∈ Z+ , y n≥1 µ(An ) = +∞, entonces µ(lı́msupn An ) = 1. Tn c) Dar Qn un ejemplo que muestre que en 2b no puede omitirse la condición µ( k=1 Ajk ) = k=1 µ(Ajk ). 3. Sea µ la medida de Lebesgue o bien la medida de Lebesgue–Stieltjes inducida por la función exponencial sobre R. En los siguientes casos probar que E es medible y hallar µ(E), donde E ⊆ (0, 1) está formado por aquellos números cuya expresión decimal: a) Contiene un 4 en un lugar prefijado. b) Contiene dos números dados en dos lugares prefijados. c) Contiene números de paridad diferente en dos lugares dados. d ) Tiene algún cero. 4. Conjuntos de Cantor generalizados Sea δ̃ = (δn )n≥0 una sucesión S tal que δ0 = 1, y δn > δn+1 > 0, ∀n ≥ 0. Sea δ = lı́mn δn . Sean C0 = [0, 1], y C1 = [0, δ21 ] [1 − δ21 , 1]. Más en general, supongamos que C0 ⊇ C1 ⊇ . . . ⊇ Cn ⊇ Cn+1 . . ., de forma que para todo n ≥ 0 se tiene que Cn es la unión de 2n intervalos cerrados disjuntos, cada uno de ellos con longitud 2δnn , y que Cn+1 es construido a partir de Cn a través del siguiente proceso. Supongamos que Ij es uno de los 2n intervalos disjuntos cuya unión es (1) (2) Cn ; sean Ij , Ij los intervalos cerrados contenidos en Ij resultantes al retirar de Ij el intervalo n+1 abierto de longitud δn −δ , cuyo punto medio coincide con el punto medio de Ij . Entonces n Sj=22n ,k=2 (k) T definimos: Cn+1 = j=1,k=1 Ij . Sea Cδ̃ = n≥0 Cn . Probar que: a) Cδ̃ es compacto. b) Cδ̃ es perfecto. c) Cδ̃ es totalmente inconexo. 1 d ) Cδ̃ es nunca denso en [0, 1]. e) m(Cδ̃ ) = δ. 5. a) Probar que existe un boreliano de primera categorı́a en [0, 1], tal que 0 < m(E∩V ) < m(V ), ∀V ⊆ [0, 1] abierto (sugerencia: cada subintervalo de [0, 1] contiene conjuntos de Cantor generalizados de medida positiva). b) Construir un conjunto de Borel E ⊆ R, de medida finita, tal que 0 < m(E ∩ I) < m(I), para todo intervalo acotado (no trivial). 6. Si E ∈ L tiene medida positiva, entonces para todo α < 1 existe un intervalo abierto I tal que m(E ∩ I) > αm(I). 7. Si E ∈ L tiene medida positiva, entonces el conjunto E − E := {x − y : x, y ∈ E} contiene un intervalo centrado en 0: en efecto, si en el Ejercicio 6 se toma α > 3/4, entonces E − E contiene al intervalo (− 21 m(I), 12 m(I)). Otros 8. Dado un conjunto E ⊆ Rk , se define An (E) := {x ∈ Rk : d(x, E) ≤ 1 n }, ∀n ∈ Z+ . a) Probar que, si E es compacto, entonces lı́mn m(An (E)) = m(E), donde m es la medida de Lebesgue. b) Mostrar que, sin embargo, la conclusión de la parte anterior puede ser falsa si E es cerrado pero no acotado, o si E es acotado y abierto. 9. Dar un ejemplo de un conjunto abierto cuya frontera tenga medida positiva. 10. Sean E un conjunto medible Lebesgue y N ⊆ [0, 1] un conjunto no medible como el construido en clase. a) Si E ⊆ N , entonces m(E) = 0. b) Si m(E) > 0, entonces E contiene un (mostrar que puede suponerse S conjunto no medible que E ⊆ [0, 1], y que entonces E = k E ∩ (ak + N ) , donde (ak )k≥1 es una numeración de los racionales de [−1, 1]). Entregar el Ejercicio 3a para la carpeta. Plazo: jueves 17 de abril de 2012. Ejercicios complementarios 11. Sea µ : Z+ → [0, ∞] la medida tal que µ({n}) = n1 , y sea A := {n ∈ Z+ : la cifra 7 no aparece en la representación decimal del número n}. Probar que µ(A) < ∞, y aproximar µ(A) inferiormente también. ¿Sabe usted cuánto es µ(P)? (P es el conjunto de los números primos). 12. Sea H una base de Hamel de R sobre Q. Probar que si H es medible Lebesgue, entonces m(H) = 0. 2