Medida e Integración

Ejercicios

Dr. Ignacio de la Caridad Pérez Yzquierdo

Enero de 2016

1
Para la definición de A, se lee ”cardinal de A”, ver:
Miguel A. Jiménez Pozo, ”Medida, Integración y Funcionales”, páginas 13,
14 y 15.
La función sgn x, se lee ”signo de x”, se define por:

 1, x > 0
sgn x = 0, x = 0

−1, x < 0
o equivalentemente
{
x/|x|, x ̸= 0
sgn x =
0, x = 0
Si x ∈ R, el mayor número entero menor o igual que x se denotará por [x]
y lo llamaremos parte entera de x. La función que a cada número real x le
asocia su parte entera se denomina función parte entera y se denota por
y = [x]. Esta función tiene como dominio a R y como imagen al conjunto
Z.
Siempre que se considere una función f : (X, T ) −→ K, donde K = R o
C, y no se especifica la tribu que se considera sobre K, se asume que es la
tribu boreliana generada por la topologı́a usual de K, es decir, la tribu
B(K).

1. Sea X un espacio topológico. E ⊂ X se dice nunca denso si su

clausura tiene interior vacı́o: (E)◦ = ∅. Se dice que E es de la primera
categorı́a en X si E es una unión numerable de conjuntos nunca
densos. Si E no es de la primera categorı́a en X, se dice que es de la
segunda categorı́a en X. Pruebe que:

2
 (a) Si A ⊂ B ⊂ X y B es de la primera categorı́a en X, entonces A
es de la primera categorı́a en X.
(b) La unión numerable de conjuntos de la primera categorı́a en X es
de la primera categorı́a en X.
(c) Si E es cerrado en X y E ◦ = ∅, entonces E es de la primera
categorı́a en X.
(d) Si
T = {A ⊂ X : A o Ac es de la primera categorı́a en X} ,
entonces T es una tribu sobre X.
2. Se asume que X es un conjunto infinito no numerable. Sea
{  }
 A es a lo sumo numerable o
T = A ⊂ X  c .
A es a lo sumo numerable
(a) Pruebe que T es una tribu sobre X.
(b) Sean
{ }
S1 = {{x}}x∈X , S2 = A ⊂ X : A < +∞ .
Pruebe que
σ (S1) = σ (S2) = T.
(c) Considere sobre X la topologı́a discreta P (X). Halle la tribu
generada por la colección K de todos los subconjuntos compactos
de (X, P (X)).
3. Sean T1, T2 dos tribus sobre X. Se definen U y V por:
U = {A ∩ B : A ∈ T1 y B ∈ T2},
V = {A ∪ B : A ∈ T1 y B ∈ T2}.
Pruebe que σ(U ) = σ(T1 ∪ T2) = σ(V ).

3
 4. Caracterice los espacios métricos (X, d) en los que la topologı́a Ad
inducida por la métrica d es también una tribu.
5. Sea ∅ ̸= S ⊂ P (X). Pruebe que para cada B ∈ σ(S), existe una
subfamilia a lo sumo numerable SB de S tal que
B ∈ σ(SB ).

6. Sean X1, X2 dos conjuntos, S1 ⊂ P (X1) y S2 ⊂ P (X2). Pruebe que

σ(S1 × {X2}) = σ(S1) × {X2},
σ({X1} × S2) = {X1} × σ(S2).

7. Sean
X = [0, 1] × [0, 1] ⊂ R2,
S = {[a, b] × [0, 1] : 0 ≤ a ≤ b ≤ 1}.
Describa σ(S).
8. Construya un ejemplo de dos clases S1 ⊂ P (X1), S2 ⊂ P (X2) tales
⊗
que σ(S1) σ(S2) ̸= σ(S1 × S2).
9. Sea S = {Ai : i ∈ I} ⊂ P (X). Compruebe que
σ(S) = σ (1Ai , B(R), i ∈ I) .

10. Sean (X, T ) un espacio medible, α ∈ R, α > 0 y f ∈ M (X, R). La

función truncada fα se define mediante:
{
f (x), si |f (x)| < α
fα (x) =
(sgnf (x))α, si |f (x)| ≥ α,
Demuestre que fα es medible.

4
11. Sea
T = {A ∈ B(R) : A = −A} ,
donde
−A = {−x : x ∈ A}.
(a) Pruebe que T es una tribu sobre R.
(b) Sean fi : (R, T ) −→ R, i = 1, 2, 3, definidas por
f1(x) = ex, f2(x) = x3, f3(x) = cos x.
¿Son estas funciones medibles? Justifique.
(c) Caracterice las funciones f : (R, T ) −→ R medibles.
12. Sea T la tribu del ejercicio anterior y U la tribu boreliana U = σ(Acf ),
donde Acf es la topologı́a de los complementos finitos (topologı́a
cofinita) sobre R:
{ }
Acf = A ⊂ R : A < +∞ o A = R .
c c

Sea f : (R, T ) −→ (R, U ) definida por:

f (x) = 1I(x) + sgn x,
donde I denota el conjunto de los números irracionales.
¿Es f medible? Justifique.
13. Sea T ⊂ P (Z) definida por
A ∈ T ⇐⇒ [2n ∈ A ⇐⇒ 2n + 1 ∈ A, ∀ n ∈ Z+]
(a) Pruebe que T es una tribu sobre Z.
(b) Sea f : (Z, T ) −→ (Z, T ) definida por f (n) = n + 2. Pruebe que
f es una biyección, que es medible, y que su inversa f −1 no es
medible.

5
14. Sean:
(a) f (x) = [x], x ∈ R.
(b) g : (]0, 1[, B(R)) → R definida por:


 0, si x ∈ Q ∩ ]0, 1[,
f (x) =

 [1/x] , si x ∈ I ∩ ]0, 1[

Pruebe que f y g son funciones medibles.

15. De un ejemplo de una función real no medible f , pero tal que |f | sea
medible.
16. Sea {fn} ⊂ M (X, R) y sea A ⊂ X el conjunto de puntos x ∈ X,
para los cuales {fn} converge. Demuestre que
∩ ∪ ∩ ∩ { 1
}
A= |fn − fm| <
k
k≥1 N ≥1 n≥N m≥N

y por tanto, A es medible.

17. Dé un ejemplo de una clase de funciones F ⊂ M (X, R), tal que
fˆ(x) = sup{f (x) : f ∈ F}
no es medible.
18. Sean (X, T ) un espacio medible y {fn}∞
n=1 ⊂ M (X, R). Sean
A = {x ∈ X : existe lim fn(x)} y f : X −→ R definida por:
{
lim fn(x), si x ∈ A
f (x) =
c, si x ∈ Ac,
donde c ∈ R es una constante. Pruebe que f es medible.

6
19. (a) Sea f : X −→ R una función y T = f −1(B(R)). Demuestre que
si g : X −→ R es medible, entonces existe h : R −→ R medible,
tal que g = h ◦ f .
(b) Sustituya R por un espacio medible (Y, U ), con U = {∅, Y }.
Defina dos funciones f y g, de manera que se satisfaga (a), pero
que no exista h tal que g = h ◦ f .
20. Sea f : [−π, π] → R definida por

 1, −π < x < 0,
f (x) = cos x, 0 ≤ x ≤ π/2,

0, π/2 < x ≤ π.
Pruebe que f es medible.
21. Sea (X, T, µ) un espacio de medida y f ∈ M (X, R+). Sean (Y, U ) un
espacio medible y g : X → Y una biyección tal que g y g −1 son
medibles. Sean λ y τ medidas definidas por dλ = f dµ y
dτ = (f ◦ g −1)dµ(g). Pruebe que λ(g) = τ .
22. Sea (X, T, µ) un espacio de medida y
N = {N ⊂ X : ∃A ∈ T /N ⊂ A ∧ µ(A) = 0}.
Definamos
T1 = {A△N : A ∈ T ∧ N ∈ N },
T2 = {B ∪ N : B ∈ T ∧ N ∈ N }.
Pruebe que T1 = T2 = T = σ(T ∪ N ).
23. Sean X = {1, 2, 3, 4}, T = {∅, X, {1, 2}, {3, 4}}, y µ, ν medidas
definidas sobre T por:
µ(X) = µ({3, 4}) = 1, µ(∅) = 0,

7
 ν(X) = ν({1, 2}) = 1, ν(∅) = 0.
Halle T µ, µ y T ν , ν.
24. Sean µ y λ dos medidas positivas sobre el espacio medible (X, T )
Determine si es cierta o no la siguiente equivalencia:
T µ = T λ ⇐⇒ µ y λ tienen los mismos conjuntos de medida nula.
25. Sea
T = {A ∈ B(R) : A = −A} ,
donde
−A = {−x : x ∈ A}.
(Ver ejercicio 11).
Halle el completamiento (R, T , µ) de (R, T, µ), donde µ = δ−1 + δ1.
26. Sea f : R → R definida por f (x) = x2 − 1.
(a) Halle δ1(f ).
(b) Halle el completamiento de δ1(f ).
27. Sea f : R → R definida por


 0, x < −1,


1 + x, −1 ≤ x < 0,
f (x) =

 2 + x2 , 0 ≤ x < 2,

 9, x≥2
Calcule:
(a) µf ({2}).
(b) µf (] − 1/2, 2[).
(c) µf (] − 1, 0] + [3/2, 2[).

8
 { }
(d) µf ( x : |x| + 2x2 > 1 ).
(e) µf (]0, +∞[).
(f) µf ([0, +∞[).
(g) µf (R).
28. Determine si es cierta o falsa la siguiente afirmación:
Existe un subconjunto A de R, que no es medible Lebesgue, tal que el
conjunto
B = {x ∈ A : x es irracional},
es medible.
29. (a) Pruebe que si µ y λ son dos medidas sobre una tribu T y
α, β ∈ R+, entonces αµ + βλ es una medida sobre T .
(b) Sea T = B(R), ν la medida de Lebesgue, µ(A) = ν (A ∩ [0, 1])
para todo A ∈ B(R), y λ = δ1/2. Determine la función creciente y
continua a la derecha, que se anula en t = 0, y que está asociada a
µ + λ.
30. (a) Sea ν la medida de Lebesgue en R y A ∈ B(R), tal que
ν(A) < +∞. Sea F : R −→ R definida por
F (x) = ν (A ∩ ] − ∞, x]) .
Pruebe que F es una función creciente y continua.
(b) ¿Cuál es la medida boreliana definida por F ?
(c) Si µ es otra medida boreliana en lugar de la medida de Lebesgue
¿Es cierto (a)?
31. Sean ν la medida de Lebesgue en [−π, π] y f : [−π, π] → R definida

9
 por 
 1, −π < x < 0,
f (x) = cos x, 0 ≤ x ≤ π/2,

0, π/2 < x ≤ π.
(Ver ejercicio 20).
Sea µ = ν(f ). Halle µ([0, 1]).
32. Sean ν la medida de Lebesgue en R y f (x) = [x], x ∈ R. Halle ν(f ).

10