You are on page 1of 6

Medida e Integración

EJERCICIOS

(Versión preliminar)

Dr. Ignacio de la Caridad Pérez Yzquierdo

2018

1
1. Sea T = {A ∈ BR : A = −A}, donde −A = {−x : x ∈ A}.
(a) Pruebe que T es una tribu sobre R.
(b) Sean fi : (R, T ) → (R, BR), i = 1, 2, 3, definidas por:
f1(x) = ex, f1(x) = x3, f1(x) = cos x.
¿Son estas funciones medibles? Justifique.
(c) Caracterice las funciones de (R, T ) en (R, BR) que son medibles.
Sea T ⊂ Z definida por:
A ∈ T ⇐⇒ [2n ∈ A ⇔ 2n + 1 ∈ A].
(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 de Z sobre Z medible, pero que f −1 no es medible.
2. Sean BR y ν la tribu boreliana y la medida de Lebesgue en R, respecti-
vamente. Sea F : (R, BR, ν) → (R, BR) la función parte entera
F (x) = [x], x ∈ R,
donde [x] denota la parte entera de x, es decir, el mayor entero que no
supera a x. Se conoce que F es medible.
3. Sea f : ]0, 1[→ R definida por:

 0,
 si x ∈ Q ∩ ]0, 1[,
f (x) =

 [1/x] , si x ∈ I ∩ ]0, 1[

donde si a ∈ R, [a] denota la parte entera de a, es decir, el mayor


número entero menor o igual que a. Pruebe que f es medible.

2
4. Sea (X, T ) un espacio medible y f, g ∈ M (X, R). Pruebe que cada uno
de los conjuntos {f < g}, {f ≤ g}, {f = g}, {f 6= g} es T -medible.
5. Sea ∅ =
6 S ⊂ P (X). Pruebe que para cada B ∈ σ(S), existe una
subfamilia a lo sumo numerable SB de S tal que
B ∈ σ(SB ). (1)
6. Sean X1, X2 dos conjuntos, S1 ⊂ P (X1) y S2 ⊂ P (X2). Pruebe que
σ(S1 × {X2}) = σ(S1) × {X2}, (2)
σ({X1} × S2) = {X1} × σ(S2).
7. Construya un ejemplo de dos clases S1 ⊂ P (X1), S2 ⊂ P (X2) tales que
N
σ(S1) σ(S2) 6= σ(S1 × S2).
8. Sea S = {Ai : i ∈ I} ⊂ P (X). Compruebe que
σ(S) = σ (1Ai , B(R), i ∈ I) .
9. Sean (X, T ) un espacio medible, α ∈ R, α > 0 y f ∈ M (X, R). La
función truncada fα se define mediante:
fα (x) = f (x), si |f (x)| < α; fα (x) = (sgnf (x))α, si |f (x)| ≥ α.
Demuestre que fα es medible.
10. De un ejemplo de una función real no medible f , pero tal que |f | sea
medible.
11. 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.

3
12. Dé un ejemplo de una clase de funciones F ⊂ M (X, R), tal que
fˆ(x) = sup{f (x) : f ∈ F}
no es medible.
13. Sea (X, T ) un espacio medible y {fn}∞n=1 ⊂ M (X, R). Sea A = {x ∈
X : existe lim fn(x)}. Sea 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 ∈ M (X, R).
14. (a) Sea f : X −→ R una función y T = f −1(B(R)). Demuestre que
si g ∈ M (X, R), entonces existe h ∈ M (R, R) 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 .
15. Sea f : [−π, π] → R definida por

 1, −π < x < 0,
f (x) = cos x, 0 ≤ x ≤ π/2,
0, π/2 < x ≤ π.

Pruebe que f es medible.


16. Sea F : (R, BR, ν) → (R, BR) la función parte entera:
F (x) = [x], x ∈ R.
(i) Pruebe que F es medible.
(ii) Halle la medida imagen, ν(F ), por F de ν.

4
17. 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) = τ .
18. Sea (X, T, µ) un espacio de medida y
N = {N ⊂ X : ∃A ∈ T /N ⊂ A ∧ µ(A) = 0}.
Definamos
T1 = {A4N : A ∈ T ∧ N ∈ N },
T2 = {B ∪ N : B ∈ T ∧ N ∈ N }.
Pruebe que T1 = T2 = T = σ(T ∪ N ).
19. Sean X = {1, 2, 3, 4}, T = {∅, X, {1, 2}, {3, 4}}, y µ, ν medidas
definidas sobre T por:
µ(X) = µ({3, 4}) = 1, µ(∅) = 0,
ν(X) = ν({1, 2}) = 1, ν(∅) = 0.
Halle T µ, µ y T ν , ν.
20. Sea f : (R, BR, δ1) → (R, BR) definida por f (x) = x2 − 1.
(a) Halle δ1(f ).
(b) Halle el completamiento de (R, BR, δ1(f )).
21. Sean µ y λ dos medidas positivas sobre el espacio medible (X, T ).
Pruebe o desapruebe:
T µ = T λ ⇐⇒ µ y λ tienen los mismos conjuntos de medida nula.

5
22. Sea f : R → R definida por



 0, x < −1,
1 + x, −1 ≤ x < 0,

f (x) =

 2 + x2 , 0 ≤ x < 2,
x≥2

 9,

Calcule:
(a) µf ({2}).
(b) µf (] − 1/2, 2[).
(c) µf (] − 1, 0] + [3/2, 2[).

(d) µf ( x : |x| + 2x2 > 1 ).