UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

Facultad de Ciencias Matemáticas

ESCUELA ACADÉMICO PROFESIONAL DE MATEMÁTICAS

ANÁLISIS REAL 3
PRÁCTICA DIRIGIDA N°2

1) La medida exterior de Lebesgue de un conjunto 𝐴 en los reales se define como:

∞
∗ (𝐴)
𝑚 = 𝑖𝑛𝑓 {∑ 𝑙(𝐼𝑘 ) : {𝐼𝑘 }𝑘∈ℕ 𝑒𝑠 𝑢𝑛 𝑐𝑢𝑏𝑟𝑖𝑚𝑖𝑒𝑛𝑡𝑜 𝑛𝑢𝑚𝑒𝑟𝑎𝑏𝑙𝑒 𝑝𝑜𝑟 𝑖𝑛𝑡𝑒𝑟𝑣𝑎𝑙𝑜𝑠 𝑑𝑒 𝐴}
𝑘=1

Demostrar que:
a) 𝑚∗ (𝐴) ≥ 0
b) 𝑚∗ (∅) = 0
c) 𝑚∗ ({𝑥}) = 0, ∀𝑥 ∈ ℝ
d) 𝑚∗ (𝐴) ≤ 𝑚∗ (𝐵) si 𝐴 ⊂ 𝐵
e) La medida exterior de Lebesgue es invariante por traslaciones.
f) La medida exterior de un intervalo es su longitud.
g) La medida exterior de Lebesgue es numerablemente subaditiva.
h) Si 𝐸 es numerable, entonces 𝑚∗ (𝐸) = 0
2) El conjunto 𝐸 de los reales es llamado Lebesgue medible o simplemente medible si para
cada 𝐴 se cumple
𝑚∗ (𝐴) = 𝑚∗ (𝐴 ∩ 𝐸) + 𝑚∗ (𝐴 ∩ 𝐸 𝑐 )
Demostrar que
a) Si 𝑚∗ (𝐸) = 0, entonces 𝐸 es Lebesgue medible.
b) La familia de conjuntos Lebesgue medibles define un sigma algebra.
c) Todo intervalo es Lebesgue medible.
d) Si denotamos por 𝑀 la familia de conjuntos Lebesgue medibles, demostrar que 𝐵ℝ ⊂ 𝑀.

3) Sean (𝑋, ℱ1 ) y (𝑌, ℱ2 ) dos espacios medibles. Suponga que ℱ2 esta generada por ℰ,
demostrar que 𝑓: 𝑋 → 𝑌 es medible si y solo si 𝑓 −1 (𝐸) ∈ ℱ1 , ∀𝐸 ∈ ℰ.
4) Sea (𝑋, ℱ1 ) un espacio medible y 𝑓: 𝑋 → ℝ una función. Demostrar que las siguientes
afirmaciones son equivalentes:
a) 𝑓 es medible.
b) 𝑓−1 ([𝑎; +∞⟩) ∈ ℱ1 para todo 𝑎 ∈ ℝ.
c) 𝑓 −1 (〈−∞, 𝑎〉) ∈ ℱ1 para todo 𝑎 ∈ ℝ.
d) 𝑓 −1 (⟨−∞; 𝑎]) ∈ ℱ1 para todo 𝑎 ∈ ℝ.
5) Sea (𝑋, ℱ1 ) un espacio medible y 𝑓: 𝑋 → ℝ una función. Demostrar que le conjunto 𝐴 =
{𝑥 ∈ 𝑋: 𝑓(𝑥) = 𝛼} es medible para cualquier 𝛼 real.
6) Sea (𝑋, ℱ1 ) un espacio medible y 𝜒𝐴 : 𝑋 → ℝ la función característica de 𝐴 ⊂ 𝑋, demostrar
que 𝜒𝐴 es medible si y solo si 𝐴 es medible.
7) Sean (𝑋, 𝑑𝑋 ) y (𝑌, 𝑑𝑌 ) dos espacios métricos y 𝑓: 𝑋 → 𝑌 una función continua.
 UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS
Facultad de Ciencias Matemáticas
ESCUELA ACADÉMICO PROFESIONAL DE MATEMÁTICAS

Demostrar que 𝑓 es (𝐵𝑋 , 𝐵𝑌 ) medible.

8) Sea (𝑋, ℱ1 ) un espacio medible y 𝑓𝑛 : 𝑋 → ℝ , 𝑛 ∈ ℕ función Lebesgue medible. Demostrar
que:
a) 𝑠𝑢𝑝𝑖=1,..,𝑛 𝑓𝑖 es medible para cada 𝑛.
b) 𝑖𝑛𝑓𝑖=1,..,𝑛 𝑓𝑖 es medible para cada 𝑛.
c) 𝑠𝑢𝑝𝑛≥1 𝑓𝑛 es medible.
d) 𝑖𝑛𝑓𝑛≥1 𝑓𝑛 es medible.
9) Sea (𝑋, ℱ1 ) un espacio medible y 𝑓: 𝑋 → ℝ una función. Decimos que 𝑓 es una función
simple si es medible y toma un numero finito de valores. Demostrar que toda función simple
puede escribirse de la forma:
𝑛

𝑓 = ∑ 𝑎𝑖 𝜒𝐴𝑖
𝑖=1

donde (𝐴𝑖 )1≤𝑖≤𝑛 ⊂ ℱ1 son disjuntos dos a dos y

𝑛

⋃ 𝐴𝑖 = 𝑋
𝑖=1

10) Demostrar que la suma y producto de funciones simples es simple.