Teorı́a de la Medida - Resolución de Ejercicios
Ejercicio 2
Sea Ω = {0, 1}, y µ∗ una medida exterior definida sobre P(Ω), y sea ν la restricción de µ∗ a
una σ-álgebra A, de forma que ν ̸= µ∗ . Se pide encontrar un ejemplo concreto de µ∗ tal que
su restricción ν a los conjuntos medibles no sea igual a µ∗ .
Solución:
Definimos µ∗ : P(Ω) → [0, 1] como:
(
0 si A = ∅
µ∗ (A) =
1 si A ̸= ∅
Verificamos que µ∗ es una medida exterior:
• µ∗ (∅) = 0
• Si A ⊆ B, entonces:
µ∗ (A) ≤ µ∗ (B)
ya que los únicos valores posibles son 0 y 1.
• Cumple subaditividad numerable:
∞
! ∞
[ X
µ∗ Ai ≤ µ∗ (Ai )
i=1 i=1
pues el lado izquierdo siempre es 0 o 1.
Ahora definimos la colección de conjuntos medibles según Carathéodory:
A = {A ⊆ Ω : µ∗ (E) = µ∗ (E ∩ A) + µ∗ (E ∩ Ac ) ∀E ⊆ Ω}
Verificamos qué subconjuntos de Ω = {0, 1} cumplen esta condición:
• Si A = ∅ o A = Ω, la condición se cumple.
1
• Si A = {0}, entonces para E = {0, 1}:
µ∗ (E ∩ A) + µ∗ (E ∩ Ac ) = µ∗ ({0}) + µ∗ ({1}) = 1 + 1 = 2 ̸= µ∗ (E) = 1
Por tanto, {0} ∈
/ A.
Entonces:
A = {∅, Ω}
Y la medida de restricción ν := µ∗ |A es:
ν(∅) = 0, ν(Ω) = 1
Sin embargo, µ∗ ({0}) = 1, pero {0} ∈
/ A, por lo tanto:
µ∗ ̸= ν
—
Ejercicio 3
Sea f : X → R, A ⊆ X y se define la medida:
X X
µ(A) = f (x) · χA (x) = f (x)
x∈X x∈A
Se desea probar que si µ(A) = 0, entonces f (x) = 0 para todo x ∈ A.
Solución:
Dado
P que f (x) ≥ 0 para todo x (como es necesario para que µ sea una medida), la suma
x∈A f (x) = 0 implica que cada término de la suma debe ser cero. Es decir:
f (x) = 0 para todo x ∈ A
Por lo tanto:
µ(A) = 0 ⇒ f (x) = 0 para todo x ∈ A
—
Ejercicio 4
Sea f : Ω → Ω′ , y sea A una σ-álgebra sobre Ω. Definimos:
B := B ⊆ Ω′ : f −1 (B) ∈ A
Se desea probar que B es una σ-álgebra sobre Ω′ .
2
Solución:
Verificamos las tres propiedades:
1. Contiene a Ω′ :
f −1 (Ω′ ) = Ω ∈ A, por tanto Ω′ ∈ B.
2. Cerrada bajo complemento:
Si B ∈ B, entonces f −1 (B) ∈ A, y:
f −1 (B c ) = [f −1 (B)]c ∈ A ⇒ B c ∈ B
3. Cerrada bajo uniones numerables:
Sea Bn ∈ B para todo n ∈ N, entonces:
∞
! ∞ ∞
[ [ [
f −1 Bn = f −1 (Bn ) ∈ A ⇒ Bn ∈ B
n=1 n=1 n=1
Por lo tanto:
B = B ⊆ Ω′ : f −1 (B) ∈ A
es una σ-álgebra