Análisis Real Primer Cuatrimestre 2025
Práctica 2
Medida en espacios abstractos
Ejercicio 1. Sea X un conjunto no vacı́o.
(a) Para cada E ⊂ X definimos µ(E) = card(E) si E es finito y µ(E) = ∞ si E es infinito.
Probar que esto define una medida µ en M = P(X), conocida como medida de contar.
(b) Fijando x0 ∈ X, para cada E ⊂ X definimos δx0 (E) = χE (x0 ). Probar que δx0 es una medida
en P(X), conocida como delta de Dirac (concentrada en x0 ).
(c) Dado un espacio de medida (X, M, µ) y fijando A ∈ M, definimos µA (E) = µ(A ∩ E) para
cada E ∈ M. Probar que µA es una medida en M.
(d) Sea (X, M) un espacio medible y sean µ1 , . . . , µn medidas en M. Probar que si a1 , . . . , an
son constantes no negativas entonces µ = a1 µ1 + · · · + an µn es una medida en M.
Ejercicio 2. Sea X = {xn }n∈N un conjunto infinito numerable y sea (wn )∈N una sucesión que
toma valores en [0, +∞]. Para cada E ⊂ X definimos
X
µ(E) = wn .
xn ∈E
Probar que (X, P(X), µ) resulta ser un espacio de medida. Recı́procamente, verificar que toda
medida en el espacio medible (X, P(X)) es de esta forma.
Ejercicio 3. Decidir la veracidad de las siguientes afirmaciones en el espacio de medida (X, M, µ).
(a) Si (Ej )j≥1 ⊂ M entonces µ(lı́m inf Ej ) ≤ lı́m inf µ(Ej ).
(b) Si (Ej )j≥1 ⊂ M entonces µ(lı́m sup Ej ) ≥ lı́m sup µ(Ej ).
Ejercicio 4. Si (X, MX , µ) es un espacio de medida y T : X → Y es una función, definimos
MY = {E ⊂ Y : T −1 (E) ∈ MX } y ν(E) = µ(T −1 (E)) para cada E ∈ MY .
Probar que MY es una σ-álgebra y que ν es una medida en MY . La medida ν se conoce como
el push-forward de µ por T y usualmente se nota T# µ. Esta construcción resulta útil para definir
medidas a partir de medidas conocidas, como lo ilustran los siguientes dos ejercicios.
Ejercicio 5. Considerar el cı́rculo S 1 = {z ∈ C : |z| = 1} y la función T : [0, 2π) → S 1 dada por
T (θ) = eiθ = cos (θ) + i sen(θ).
Siendo m la medida de Lesbesgue en [0, 2π), probar que la medida ν := T# m, conocida como
medida de Lebesgue en el cı́rculo, satisface la propiedad de invariancia por rotaciones:
ν(α · E) = ν(E) para todo α ∈ S 1 y todo E ⊂ S 1 medible respecto de ν.
1
Ejercicio 6. Considerar la función T : [0, 1) → {0, 1}N que a cada x ∈ [0, 1]P
le asigna la secuencia
de dı́gitos (xn )n de su desarrollo en base 2. Ası́, T (x) = (xn )n para x = ∞ n=1 xn 2
−n
, tomando
siempre un desarrollo de x que no termine con una cola infinita de unos. Consideramos la medida
ν = T# m en {0, 1}N , donde m es la medida de Lebesgue en [0, 1).
(a) Dados j ∈ N, ı́ndices k1 , . . . , kj distintos entre sı́ y dı́gitos d1 , . . . , dj ∈ {0, 1}, considerar
A = {(xn ) ∈ {0, 1}N : xk1 = d1 , xk2 = d2 , . . . , xkj = dj }.
Probar que ν(A) = 2−j .
(b) Probar que ν(Bn0 ) = 0 si Bn0 = {(xn ) ∈ {0, 1}N : xn = 0 para n ≥ n0 }.
(c) ¿Cuál es la ν-medida del conjunto C = {(xn ) ∈ {0, 1}N : xn = 0 para infinitos n}?
(d) ¿Cuál es la interpretación probabilı́stica de este ejemplo?
Ejercicio 7. Sea (X, M) un espacio medible y sea µ : M → R≥0 una función que satisface:
i ) A, B ∈ M ∧ A ∩ B = ∅ =⇒ µ(A ∪ B) = µ(A) + µ(B),
ii ) (An )n∈N ⊂ M ∧ An & ∅ =⇒ lı́mn→∞ µ(An ) = 0.
Probar que la función de conjuntos µ es una medida en M.
Ejercicio 8. Un espacio de medida (X, M, µ) es completo si para todo Z ∈ M con µ(Z) = 0 y
todo Y ⊂ Z se tiene Y ∈ M, es decir, si todo subconjunto de un conjunto nulo es medible. Probar
que en un espacio completo (X, M, µ) vale que:
(a) Si E1 , E2 ∈ M y µ(E1 M E2 ) = 0 entonces µ(E1 ) = µ(E2 ).
(b) Si E1 ∈ M, E1 ∆E2 ∈ M y µ(E1 ∆E2 ) = 0, entonces E2 ∈ M.
Ejercicio 9. Sea (X, M, µ) un espacio de medida. Considerar el conjunto
M = {A ⊆ X : A = E ∪ M con E ∈ M, M ⊆ N ∈ M y µ(N ) = 0} (∗)
y la función µ : M → [0, +∞] dada por µ(A) = µ(E) para A = E ∪ M como en (∗). Probar las
siguientes afirmaciones:
(a) El conjunto M es una σ-álgebra que contiene a M.
(b) La función µ está bien definida, es una medida en M y coincide con µ sobre M.
(c) El espacio de medida (X, M, µ) es completo.
El espacio de medida (X, M, µ) se conoce como la completación de (X, M, µ).
Ejercicio 10. Sea B(Rn ) la σ-álgebra de Borel de Rn y sea µ la restricción a B(Rn ) de la medida
de Lebesgue n-dimensional. ¿Cómo es la completación de (Rn , B(Rn ), µ)?