Teorı́a de la medida e integración

TMI –1– Sean A, B ⊂ R tales que ρ(A, B) > 0. Probar que

λ∗ (A ∪ B) = λ∗ (A) + λ∗ (B).

TMI –2– Sean f : [0, 1] −→ R y E ⊆ {x ∈ [0, 1] | f ′ (x) existe} tal que λ1 1 (E) = 0.
Probar que λ1 (f (E)) = 0.
b−a
TMI –3– Sea A ⊂ R tal que A ∈ µλ∗ . Si λ1 (A ∩ (a, b)) ≤ ∀ a, b ∈ R con a < b,
2
entonces λ1 (A) = 0.
TMI –4– Sea A ⊂ R tal que A ∈ µλ∗ . Si λ1 (A) = 1, entonces existe E ⊂ A tal que
1
E ∈ µλ∗ y tal que λ1 (E) = .
2
TMI –5– Sea A ⊆ [0, 1] tal que λ1 (A) ̸= 0, entonces existen x, y ∈ A tales que
x − y ∈ Q.
( ∞ )
X xn
TMI –6– Probar que n
∈ R xn = 0 ó xn = 1 ∈ µλ∗ y que es despreciable.
n=1
3
TMI –7– Sean µn una medida de Borel no negativa sobre Rn y
x ∈ Rn } < ∞ ∀ r > 0
x, r)2 ) | ⃗
f (r) = Sup{µn (B(⃗
f (r)
tal que lı́m inf = 0. Probar que µn ≡ 0.
r→∞ rn
TMI –8– Sean µn una medida de Borel finita sobre Rn y f (⃗ x) = µn (B(⃗x, 1)) una
n
función definida sobre R . Probar que f alcanza su mı́nimo sobre cada subconjunto
compacto de Rn .
TMI –9– Sean ⃗f : R −→ Rn una función tal que
m
⃗f (x) − ⃗f (y) ≤ |x − y| e|x|+|y| ∀ x, y ∈ R
 
y E ⊂ R tal que E ∈ µλ∗ . Si λ1 (E) = 0, entonces λn 3 ⃗f (E) = 0.

TMI –10– Si µ es una medida en (Ω, F) y {An }n∈N ⊂ F, demostrar que

 
µ lı́m inf (An ) ≤ lı́m inf (µ (An )) .
n→∞ n→∞

TMI [
–11– Sea F la familia de todos los intervalos semiabiertos de R. Demostrar que
I ∈ µ λ∗ .
I∈F

1
medida de Lebesgue sobre R
2
bola abierta de centro en ⃗
x y de radio r
3
medida de Lebesgue sobre Rn

1
TMI –12– Construir un intervalo I ⊂ R, tal que λ1 (I∩E) λ1 (E\I) > 0 ∀ E = [a, b] ⊂ R
intervalo.
TMI –13– Sean {ak }k≥2 ⊂ R una sucesión tal que |ak | ≤ ln (k) y x ∈ [2, ∞). Probar
que
∞ Z ∞
X |ak |
i) d x < ∞, i. e. la serie converge sobre L ([2, ∞)).
k=2 2
kx
∞ Z ∞ Z ∞X ∞
X ak ak
ii) d x = d x.
k=2 2 kx 2 k=2
k x

!
|f | 2
Z
TMI –14– Sean (X, A, µ) un espacio medido y f ∈ L (µ). Evaluar lı́m k ln 1 + d µ.
k→∞ X k
Z 1
TMI –15– Sea {fk }k∈N ⊂ L ([0, 1]) una sucesión tal que |fk (x)|2 d x ≤ r para
Z0 1
algún r ∈ R+ y tal que fk −→ 0 λ1 −c. t. p. Probar que |fk (x)| d x −→ 0.
0
 
TMI –16– Sea {fk }k∈N ⊂ L1 [0, 1], µλ∗ , λ1 [0, 1]
; R+
0 tal que
Z
i) fk g d λ1 −→ 0 ∀ g ∈ C ([0, 1]),

ii) |fk | ≤ h ∀ k ∈ N, donde h ∈ L (λ1 ) es no negativa.

Z
Demostrar que fk d λ1 −→ 0 ∀ A ⊆ [0, 1] boreliano.
A

TMI –17– Sea (X, A, µ) un espacio de medida positiva con µ(X) < ∞. Demostrar
que una función medible f : X −→ [0, ∞) es integrable si, y sólo si, la serie
X∞
µ({x ∈ X | f (x) ≥ n}) converge.
n=0

TMI –18– Sea f : Rn −→ R una función con la propiedad de que para cada ε > 0
existe U ⊂ Rn abierto tal que λn (U) < ε y tal que f es continua sobre Rn \ U.
Probar que f es medible.
TMI –19– Sea f ∈ L (0, 1) una función que cumple que para cada x ∈ (0, 1) y para
cada
Z ε > 0 existe Jx ⊆ (0, 1)Z intervalo abierto tal que x ∈ Jx y λ1 (Jx ) < ε y
f d λ1 = 0. Demostrar que f d λ1 = 0 ∀ I ⊆ (0, 1) intervalo abierto.
Jx I

TMI –20– Sean f : [0, 1] −→ (0, ∞) y 0 < α < 1. Demostrar que

Z 
ı́nf f d λ1 E ⊂ [0, 1], E medible y λ1 (E) ≥ α > 0.
E

2
TMI –21– Sea {fn }n∈N ⊂ L (R) una sucesión de funciones tal que para cada n ∈ N
Z ∞
1
0≤ |fn (t) − f (t)| d t ≤ 2
−∞ n
para alguna función f ∈ L (R). Probar que fn −→ f λ1 −c. t. p.
TMI –22– Sean X = {a, b, c}, A = ℘(X) (σ−álgebra) y µ la medida definida por
µ({a}) = 0, µ({b}) = 1, µ({c}) = ∞.
¿Cuál es la dimensión de los espacios vectoriales L (µ) y L 2 (µ)?
TMI –23– Sea f ∈ LZ (R) una función, tal que f (x) > 0 p. c. t. x. Si A es un conjunto
medible tal que f d µ = 0, demostrar que µ(A) = 0.
A

TMI –24– Sean f, g ∈ RR con f continua, g Lebesgue medible y f −1 (A) Lebesgue

medible para todo conjunto A λ1 −despreciable. Demostrar que g ◦ f es Lebesgue
medible.
TMI –25– Sean f ≥ 0 Lebesgue medible sobre I y En = {x | n − 1 ≤ f (x) < n},
∞
X
entonces f ∈ L (I, λ1 ) ⇐⇒ n λ1 (En ) < ∞.
n=1

TMI –26– Sea f ∈ C ∞ (R) una función tal que ∀ x ∈ R ∃ nx ∈ N0 tal que
dnx f (x)
= 0.
d xnx
Demostrar que existen [a, b] intervalo; con a < b; y un polinomio p(x) tales que
f (x) = p(x) ∀ x ∈ [a, b].
(Sug. Teorema de Baire.)
TMI –27– Sean {gn }n∈N ⊂ L (R) una sucesión convergenteZ de funciones;
Z digamos
gn −→ g c. t. p. y con g ∈ L (R) que cumple que lı́m gn = g; y {fn }n∈N
n→∞
una sucesión de funciones
Z medibles
Z tal que |fn | ≤ gn y tal que fn −→ f c. t. p.
Demostrar que lı́m fn = f .
n→∞

TMI –28– Sea {fn }n∈N ⊂ M(X, A, µ; R) una sucesión de funciones, con (X, A, µ)
espacio medido de medida finita. Se dice que {fn }n∈N es uniformemente integrable
(u. i.) si  Z 
lı́m sup |fn | d µ n∈N = 0.
c→∞ {|fn |>c}

Demostrar que si {fn }n∈N es u. i., entonces

Z 
sup |fn | d µ n ∈ N < ∞.
X

3
TMI –29– Sean (X, A) un espacio medible, f : X −→ [−∞, ∞] una función A−medible,
r > 0 arbitrario y fr : X −→ R dada por

 r, si r < f (x)
fr (x) = f (x), si |f (x)| ≤ r .
−r, si f (x) < −r


Demostrar que fr es Lebesgue medible.

Z Z
(Sug. probar que lı́m fr (x) d x = f (x) d x usando el TCDL.)
r→∞ X X

TMI –30– Sea f : R −→ R diferenciable. Demostrar que f es Lebesgue medible.

 
1
f x+ − f (x)
n
(Sug. considere .)
1
n
TMI –31– Sean (X, A, µ) un espacio medido y f : X −→ [0,Z ∞] una función
Z integra-
ble. Probar que ∀ ε > 0 ∃ A ∈ A tal que µ(A) < ∞ y f dµ ≤ f d µ + ε.
A

TMI –32– Sean (X, A, µ) un espacio medido,

Z f : X −→ [0, ∞] una función A−medible
y η : A −→ [0, ∞] dada por η(A) = f d µ. Probar que
A

i) η es una medida sobre (X, A),

ii) si A ∈ A y µ(A) = 0, =⇒ η(A) = 0.

TMI –33– Sea {fk }k∈N ⊂ L1 (X, A, µ; R) una sucesión de funciones tal que
X∞ Z ∞
X
|fn | d µ < ∞. Probar que fn (x) −→ f ∈ L1 (X, A, µ; R) µ−c. t. p.
n=1 n=1
Z ∞ Z
X
Más aún, que f dµ = fn d µ.
n=1

TMI –34– Sean f ∈ L1 (X, ZA, µ; R) y ε > 0 arbitrario. Probar que existe φ función
simple medible tal que |f − φ| d µ < ε.