Laboratorio Teorı́a de la Medida.

Asesorias
June 2022

1 Sigma Algebras.
1. Determina si los siguientes conjuntos forman una sigma álgebra.
a) X = N , A = {{2, 4, 6, 8, ...}, {1, 3, 5, 7, ...}, ∅, N}.

b) Sea X cualquier conjunto , A = P(X).

c) Sea X no numerable, A = {A ⊂ X : X \ A es numerable o A es

numerable}.

d) Sea X un conjunto infinito , A la colección de los complementos finitos.

2. Probar que los siguientes conjuntos generan la σ−álgebra de Borel:
a) [a, b]
b) (a, b]
c) (−∞, b]
d) Los conjuntos compactos en R, con la topologia usual.
3. Determinar si la intersección arbitraria de una colección no vacı́a de sigmas
álgebras es también una sigma álgebra.
4. Determina si la unión numerable de una colección no vacia de sigmas
álgebras es una sigma álgebra.

2 Funciones Medibles.
1. Determina si las siguientes funciones son medibles en R con la sigma
álgebra de Borel:
a) f (x) = a , a ∈ R
b) f (x) = bx b ∈ R
c) f (x) = |x + 1|
d) f (x) = x2 + 5x − 6

1
 2. Dadas f, g : R −→ R funciones medibles. Determina si las siguientes
funciones también son funciones medibles:
a) f + 4g
b) 5f ∗ 4g
c) 3f 2 − 7g 2
d) f /g
3. Prueba que si f es medible y A > 0, si definimos fA como la truncación
de f dada por:

f (x) |f (x)| ≤ A

fA = A f (x) > A

−A f (x) < −A


es medible.
4. Dada (fn ) sucesión de medibles, definimos :
f (x) = inf {fn (x)} n ∈ N
F (x) = sup{fn (x)} n ∈ N
f ∗ (x) = liminf {fn (x)} n ∈ N
F ∗ (x) = limsup{fn (x)} n ∈ N

Probar que son funciones medibles.

3 Medidas.
1. Determina si los siguientes conjuntos forman un espacio de medida:
a) Sea X cualquier conjunto , A = P(X)
para E ∈(A
o(E) si E es finito
µ(E) =
∞ si E no es finito
b) Sea X no numerable, A = {U ∈ X|U es numerable o X − U es
numerable}, µ(E) = 0 ∀E ∈ A
c) Sea X = N , A = {{2,
( 4, 6, 8, ...}, {1, 3, 5, 7, ...}, ∅, N}.
0 si p ∈ E
y para p ∈ X, µ(E) =
1 si p ∈ /E
d) Sea X cualquier conjunto , A = P(X)
µ(E) = 1 ∀E ∈ A.
2. Determina, si en (X, A, µ) un espacio de medida, las siguientes funciones
cumplen con la definicion de medida:
a) λ1 = 1 − µ(E), ∀E ∈ A

2
 b) λ2 = a ∗ µ(E), ∀a ∈ R, ∀E ∈ A
µ(E)
c) λ3 = b , ∀b > 0, ∀E ∈ A
d) λ4 = [µ(E)]2 , ∀E ∈ A.
3. Prueba que si µ es medida en X y fijando A ⊂ X, entonces la funcion λ,
definida para E ∈ A, por λ(E) = µ(A ∩ E) es una medida para X.
4. Prueba que si µ1 , µ2 , ..., µn son una coleccion de medidas para X y a1 , a2 , ..., an
son constantes reales no negativas, entonces, la funcion λ definida para
E ∈ A por:
Xn
λ(E) = ai µi
i=1

es una medida en X.

4 Medida de Lebesgue.
1. Sea X = R con la sigma algebra de Borel y la medida de lebesgue, deter-
mina la medida de los siguientes conjuntos:
a) E = {−10}
b) E = N
c) E = Z− ∪ {0}
d) E = (−5, 6)
e) E = [−4, 0)
f) E = (1, 100]
g) E = [10, 20]
h) E = (−∞, −7]
i) E = [7, ∞)
j) E c si E = (−∞, −7] ∪ [7, ∞)
2. Probar que la medida de lebesgue sobre el conjunto de Cantor es igual a
0.
3. Sea E un subconjunto abierto de R, y λ la medida de lebesgue. Probar
que λ(E) = 0 si y solo si E es no vacio.
4. Sea λ la medida de lebesgue en R, y K un subconjunto compacto de R.
Probar que λ(K) < ∞.

3
5 Funciones Integrables.
1. Sean φ1 y φ2 funciones simples, k1 y k2 escalares reales no negativos.
Determina si los siguientes casos son funciones simples:
a) k12 φ1 + k2 φ22
φ1 φ2
b) k2 + k1
k1 φ1
c) k2 ∗ φ2

d) (k2 φ1 + k1 φ2 )2
e) α = sup{φ1 , φ2 }
f) β = sup{φ1 , φ2 }
2. Sea X = N, A = P(X ) y µ la medida contadora.
a) Determina si es un espacio de medida
b) Sea f (n) = an, a > 0, n ∈ N. Prueba que
Z ∞
X
f dµ = f (n).
i=1

6 Teoremas de Convergencia.
1. Sea X = R con la sigma algebra de Borel y la medida de Lebesgue.
Determina:
I) Si la sucesion es creciente o decreciente
II) Si tiende a una funcion y cual seria esa funcion
III) Si esta acotada y cual es su cota
IV) Si sus integrales son finitas
V) Si aplica el Teorema de la Convergencia Monotona o el Lema de Fatou
Para:
a) fn = X[0,n)
1
b) fn = n X[n,∞)
1
c) fn = n X[0,n)
d) fn = nX[ n1 , n2 ] .

2. Sea (X, A, µ) un espacio de medida finito y (fn ) una sucesion de funciones

real valuadas en M + (X, A) que converge uniformemente a f . Prueba que
f ∈ M + (X, A) y que
Z Z
f dµ = Lim fn dµ.

4
 3. Sea X = [a, b] ⊂ R y A la coleccion de los subconjuntos borelianos en X,
λ la medida de Lebesgue en X.
a) Determina si (X, A, λ) forma un espacio de medida.
b) Si f es una funcion continua no negativa en X. Prueba que
Z Z b
f dλ = f (x) dx.
a

7 Espacios Lp
1. Sea X = N, A = P(N P ), µ la medida contadora. Prueba que f ∈ L(X, A, µ)
si y solo si la serie f (n) es absolutamente convergente y
Z ∞
X
f dµ = f (n)
n=1

2. Sea (fn ) una sucesion en L(X, A, µ) que converge uniformemente a f en

X y µ(X) < +∞.
a) Prueba que Z Z
f dµ = Lim fn dµ

b) Prueba que lo anterior no se cumple si no se tiene que µ(X) < +∞

3. Sea f ∈ L(X, A, µ) y g una funcion medible acotada. Determina si:

a) fg ∈ L
b) f 2 ∈ L
4. Sea X = N, A = P(N ), µ la medida contadora. Si f esta definida en N
por f (n) = n1 . Determina si:
a) f ∈ L1
b) f ∈ Lp para 1 < p < ∞
5. Sea 1 < p < ∞ y q su conjugado. Prueba que si f ∈ Lp , entonces
Z
| f g dµ| ≤ ∥f ∥p

6. Sea f ∈ Lp para 1 < p < ∞ y g ∈ L∞ . Prueba que

a) f g ∈ Lp
b) ∥f g∥p ≤ ∥f ∥p ∥g∥∞

5
8 Modos de Convergencia y Descomposicion de
Medidas.
1. Tomando el espacio de medida (R, B, λ) y 1 < p < ∞.
1
a) Si fn = n− p X[0,n] . Prueba que (fn ) converge uniformemente a la
funcion 0. Pero no converge en Lp (R, B, λ)
b) Si fn = nX[ n1 , n2 ] . Prueba que (fn ) converge a la funcion 0 en todos
lados. Pero no converge en Lp (R, B, λ)
c) Si fn = nX[n,n+1] . Prueba que (fn ) converge a la funcion 0 en todos
lados. Pero no converge en medida
d) Prueba que las (fn ) convergen en medida a sus limites.
2. Si (fn ) converge en Lp a f y una subsucesion de (fn ) converge en Lp a g.
Prueba que f = g µ casi en todas partes.

3. Sean µ1 , µ2 , µ3 medidas en (X, A). Determina si:

a) µi << µi ∀i = {1, 2, 3}
b) Si µ1 << µ2 y µ2 << µ3 −→ µ1 << µ3
c) Si µ1 << µ2 −→ µ2 << µ1

4. Sean (µn ) una coleccion de medidas en (X, A) y µn (X) ≤ 1 ∀n. Sea λ

definida para E ∈ A por:
∞
X
λ(E) = 2−n µn (E)
n=1

Determina si λ es medida y si µn << λ ∀n.

5. Sean µ, λ medidas y µ << λ, µ ⊥ λ. Prueba que µ = 0
6. Prueba que la coleccion de medidas con signo en (X, A) es un espacio de
Banach con las operaciones:
I) (cµ)(E) = cµ(E)
II) (µ + λ)(E) = µ(E) + λ(E)
y con ∥µ∥ = |µ|(X).