Análisis Real Primer Cuatrimestre 2014
Práctica 3: Funciones Medibles
Ejercicio 1. Sea (X, Σ, µ) un espacio de medida y sea f : X → R . Notemos con B a la
σ–álgebra de Borel de R. Probar:
(a) Si f es una función medible entonces f −1 (B) ∈ Σ para todo B ∈ B .
(b) Si B = {E = B ∪ A, B ∈ B y A ⊆ {−∞, ∞}} entonces, f es medible si y sólo si
f −1 (E) es medible para todo E ∈ B .
Notación. En lo que sigue Rd denota el espacio de medida Rd , M, m , siendo M la
σ−álgebra de Lebesgue y m la medida de Lebesgue.
Ejercicio 2.
(a) Sean (X, Σ, µ) la completación del espacio de medida (X, Σ, µ) y f : X → R , Σ-medible.
Probar que existe g : X → R , Σ-medible tal que f = g µ-a.e..
(b) Si f : Rd → R es medible , entonces existe g : Rd → R medible Borel tal que
f = g a.e.
Ejercicio 3. Sea f : R → R .
(a) Supongamos que para todo α ∈ R , el conjunto {x ∈ R : f (x) = α} ∈ M. ¿Es f
medible?
(b) Si |f | es medible, ¿es f medible?
(c) Si f es monótona, probar que f es medible Borel.
(d) Si f es derivable sobre R , probar que f 0 es medible Borel.
Ejercicio 4. Sea f : Rd → R continua en casi todo punto. Probar que f es medible.
Ejercicio 5.
(a) Hallar f : R → R continua a.e., tal que no existe g : R → R continua que verifica:
f = g a.e.
(b) Hallar f, g : R → R tales que g es continua, g = f a.e. y f es discontinua en todo
punto.
1
Ejercicio 6. Sea E ⊆ Rd medible y sea > 0. Probar:
(a) Si A ⊆ E es medible, existe g : E → R continua tal que
|{x ∈ E : g(x) 6= χA (x)}| < .
(b) Si ϕ es una función simple definida sobre E entonces existe g : E → R continua tal
que
|{x ∈ E : g(x) 6= ϕ(x)}| < .
(c) Si E es de medida finita y f : E → R es medible y finita en c.t.p., dado δ > 0 existe
ϕ simple tal que
|{x ∈ E : |ϕ(x) − f (x)| ≥ }| < δ.
(d) Si f y E son como en (c), entonces dado δ > 0 existe g continua tal que
|{x ∈ E : |g(x) − f (x)| ≥ }| < δ.
Ejercicio 7. Sea E ⊆ Rd de medida finita y f : E → R medible. Probar que dado > 0
existe F ⊆ E cerrado tal que |E\F | < y la restricción de f a F es una función continua.
Ejercicio 8. Sea (X, Σ, µ) un espacio de medida finita. Sean (fn )n≥1 y f funciones medibles
y finitas a.e. Decimos que (fn )n≥1 converge casi uniformemente a f si, y sólo si, para todo
> 0 existe A ∈ Σ tal que:
→
µ(A ) < y fn → f en X\A .
Probar que (fn )n≥1 converge casi uniformemente a f si, y sólo si, (fn )n≥1 converge a f en
casi todo punto.
Ejercicio 9. Sea (X, Σ, µ) un espacio de medida y sea E ∈ Σ. Sea (fk )k≥1 : E → R una
sucesión de funciones medibles tal que para todo x ∈ E, existe Mx ∈ R>0 :
|fk (x)| ≤ Mx , ∀k ∈ N .
Probar que si para todo α > 0, existe k0 = k0 (α) ∈ N :
k ≥ k0 ⇒ µ ({x ∈ E : |fk (x)| < α}) ≤ α/k,
entonces µ(E) = 0.
Ejercicio 10. Sea E ⊆ Rd finitamente medible y (fk )k≥1 : E → R una sucesión de
funciones medibles tal que para todo x ∈ E, existe Mx ∈ R>0 :
|fk (x)| ≤ Mx , ∀k ∈ N .
Probar que dado > 0, existe F ⊆ E cerrado y M > 0 :
|E\F | < y |fk (x)| ≤ M, ∀k ∈ N , ∀x ∈ F.
2
Ejercicio 11. Para cada n ∈ N , sea fn : [0, ∞) → R ; fn (x) = n χ[1/n,2/n] (x). Probar
(a) (fn )n≥1 converge puntualmente,
(b) para cada δ > 0, (fn )n≥1 converge uniformemente en [δ, ∞),
(c) no existe E ⊂ [0, ∞) tal que |E| = 0 y (fn )n≥1 converge uniformemente en E c .
Ejercicio 12.
(a) Sea (E, Σ, µ) un espacio de medida finita . Sean (fn )n≥1 , f : E → R funciones
medibles, finitas en casi todo punto y tales que fn →n→∞ f a.e. en E. Probar que
existe una sucesión (Ei )i≥1 de conjuntos medibles de E tal que:
a) µ (E\ ∞
S
i=1 Ei ) = 0,
→
b) para cada i ≥ 1, fn →n→∞ f en Ei .
(b) El mismo resultado vale si E = ∞
S
k=1 Ak donde µ(Ak ) < ∞ para cada k ∈ N .
Ejercicio 13. Sea (X, Σ, µ) un espacio de medida. Sean (fn )n≥1 y f funciones medibles
definidas sobre un conjunto A ∈ Σ y finitas en c.t.p.. Sea (An )n≥1 una sucesión de sub-
conjuntos de A tales que, para todo n ∈ N, An ∈ Σ y µ (A\An ) →n→∞ 0. Probar que si
µ µ
χAn fn → f entonces fn → f.
µ µ
Ejercicio 14. Sea (X, Σ, µ) un espacio de medida. Supongamos que fk → f y gk → g.
Probar:
µ
(a) fk + gk → f + g sobre E.
µ
(b) Si µ es finita, entonces fk gk → f g sobre E. Mostrar que la hipótesis de finitud es
necesaria.
(c) Sea (fk /gk )k≥1 una sucesión de funciones definidas en casi todo punto de E. Si
µ
µ(E) < +∞, gk → g sobre E y g = 6 0 a.e., entonces fk /gk → f /g.
Ejercicio 15. Sea f1 : [0, 1] → [0, 1] la función de Cantor–Lebesgue y f : [0, 1] → [0, 2]
definida por: f (x) = f1 (x) + x. Probar :
(a) f es continua y biyectiva. Luego f −1 es continua.
(b) Si C es el Ternario de Cantor, |f (C)| = 1.
(c) Sea g = f −1 . Mostrar que existe A medible tal que g −1 (A) es no medible.
(d) Mostrar que existe un conjunto medible que no es boreliano.
(e) Hallar h1 : [a, b] → R medible Borel y h2 : R → R medible tal que h2 ◦ h1 no es
medible.
