GRADO MATEMÁTICAS TERCER0.

CURSO 2023-24

PROBABILIDAD
RELACION MEDIDA
1.- Sea 𝑔: χ ⟶ χ∗ . Sea 𝒮 un 𝜎 −anillo en χ. Demostrar que
𝒮 ∗ = {𝐹 ⊂ χ∗ ; 𝑔−1 (𝐹) ∈ 𝒮}
es un 𝜎 −anillo en χ∗ . Análogamente para 𝒜 𝜎 −álgebra.

Consideremos 𝐴, 𝐵 ∈ 𝒮 ∗ entonces
𝐴´ = 𝑔−1 (𝐴), 𝐵´ = 𝑔−1 (𝐵) ∈ 𝒮
por lo que 𝐴´ − 𝐵´ ∈ 𝒮 pero
𝑐
𝐴´ − 𝐵´ = 𝐴´ ∩ 𝐵´𝑐 = 𝑔−1 (𝐴) ∩ (𝑔−1 (𝐵)) = 𝑔−1 (𝐴) ∩ 𝑔−1 (𝐵𝑐 ) =
= 𝑔−1 (𝐴 ∩ 𝐵 𝑐 ) ∈ 𝒮
por lo que 𝐴 − 𝐵 = 𝐴 ∩ 𝐵 𝑐 ∈ 𝒮 ∗ .
Por otra parte, dada {𝐹𝑛 }𝑛∈ℕ ; 𝐹𝑛 ∈ 𝒮 ∗ por lo que
𝐸𝑛 = 𝑔−1 (𝐹𝑛 ) ∈ 𝒮
y sabemos que ⋃𝑛∈ℕ 𝐸𝑛 ∈ 𝒮 luego

⋃ 𝐸𝑛 = ⋃ 𝑔−1 (𝐹𝑛 ) = 𝑔−1 (⋃ 𝐹𝑛 ) ∈ 𝒮

𝑛∈ℕ 𝑛∈ℕ 𝑛∈ℕ

por lo que ⋃𝑛∈ℕ 𝐹𝑛 ∈ 𝒮 ∗ y por tanto 𝒮 ∗ es 𝜎 −anillo.

En el caso de estar ante una 𝜎 −álgebra 𝒜, sabemos que es
𝜎 −anillo, por lo que según lo que acabamos de ver
𝒜∗ = {𝐹 ⊂ χ∗ ; 𝑔−1 (𝐹) ∈ 𝒜}
es 𝜎 −anillo. Además 𝑔−1 (χ∗ ) = χ ∈ 𝒜, es decir χ∗ ∈ 𝒜∗ y por lo
tanto 𝒜∗ es 𝜎 −álgebra.

1
GRADO MATEMÁTICAS TERCER0. CURSO 2023-24

PROBABILIDAD
RELACION MEDIDA
2.- Dado χ = ℝ. Sea 𝒜𝑛 la 𝜎 −álgebra engendrada por 𝒞𝑛 = {]0, 1],
]1, 2], ⋯ , ]𝑛 − 1, 𝑛]}. Demostrar que 𝒜𝑛 ⊂ 𝒜𝑛+1 pero

𝒜 = ⋃ 𝒜𝑛
𝑛∈ℕ

no es una 𝜎 −álgebra.

Por la forma de construcción, como 𝒞𝑛 ⊂ 𝒞𝑛+1 es obvio que 𝒜𝑛 ⊂

𝒜𝑛+1 . Sin embargo

ℝ+ = ⋃ ]𝑛 − 1, 𝑛]
𝑛∈ℕ

Donde ]𝑛 − 1, 𝑛] ∈ 𝒞𝑛 ⊂ 𝒜𝑛 y por la forma de definir 𝒜 es

inmediato que ]𝑛 − 1, 𝑛] ∈ 𝒜 ∀𝑛 pero ℝ+ ∉ 𝒜𝑛 ∀𝑛 luego ℝ+ ∉ 𝒜.
Lo que nos permite concluir que 𝒜 no tienen la estructura de
𝜎 −álgebra.

3.- Dado un anillo ℛ definido en un espacio χ, demostrar que la clase

𝒜 = {𝐸 ⊂ χ; 𝐸 ∈ ℛ ∨ 𝐸 𝑐 ∈ ℛ}
es el álgebra engendrada por ℛ. Esto también es cierto para 𝜎 −álgebras.

Veamos que 𝒜 es álgebra. Consideremos 𝐴1 , 𝐴2 , ⋯ , 𝐴𝑛 ∈ 𝒜.

Sabemos que una parte de estos conjuntos está en ℛ y el resto,
son sus complementarios los que pertenecen al anillo. Sin

2
GRADO MATEMÁTICAS TERCER0. CURSO 2023-24

PROBABILIDAD
RELACION MEDIDA
pérdida de generalidad podemos expresarlo de forma que los
primeros son de un tipo y el resto del otro, es decir
𝐴1 𝑐 , 𝐴2 𝑐 , ⋯ , 𝐴𝑘 𝑐 ∈ ℛ 𝐴𝑘+1 , 𝐴𝑘+2 , ⋯ , 𝐴𝑛 ∈ ℛ
veamos qué pasa con su unión
𝑐
𝑛 𝑘 𝑛 𝑘 𝑛
𝑐
⋃ 𝐴𝑖 = (⋃ 𝐴𝑖 ) ∪ ( ⋃ 𝐴𝑖 ) = (⋂ 𝐴𝑖 ) ∪ ( ⋃ 𝐴𝑖 ) =
𝑖=1 𝑖=1 𝑖=𝑘+1 𝑖=1 𝑖=𝑘+1
𝑐 𝑐
𝑘 𝑛 𝑐 𝑘 𝑛

= ((⋂ 𝐴𝑖 𝑐 ) ∩ ( ⋃ 𝐴𝑖 ) ) = ((⋂ 𝐴𝑖 𝑐 ) − ( ⋃ 𝐴𝑖 ))
𝑖=1 𝑖=𝑘+1 𝑖=1 𝑖=𝑘+1

pero como 𝐴1 𝑐 , 𝐴2 𝑐 , ⋯ , 𝐴𝑘 𝑐 ∈ ℛ entonces ⋂𝑘𝑖=1 𝐴𝑖 𝑐 ∈ ℛ y

⋃𝑛𝑖=𝑘+1 𝐴𝑖 ∈ ℛ por lo que
𝑘 𝑛

(⋂ 𝐴𝑖 𝑐 ) − ( ⋃ 𝐴𝑖 ) ∈ ℛ
𝑖=1 𝑖=𝑘+1

y por la forma de definición, su complementario

𝑐
𝑘 𝑛

((⋂ 𝐴𝑖 𝑐 ) − ( ⋃ 𝐴𝑖 )) ∈ 𝒜
𝑖=1 𝑖=𝑘+1

en definitiva ⋃𝑛𝑖=1 𝐴𝑖 ∈ 𝒜.
Veamos ahora que ocurre con la diferencia. Sean 𝐴, 𝐵 ∈ 𝒜, lo
analizaremos según los casos posibles
𝐴, 𝐵 ∈ ℛ; 𝐴 − 𝐵 ∈ ℛ ⊂ 𝒜
𝐴, 𝐵 𝑐 ∈ ℛ; 𝐴 − 𝐵 = 𝐴 ∩ 𝐵 𝑐 ∈ ℛ ⊂ 𝒜

3
GRADO MATEMÁTICAS TERCER0. CURSO 2023-24

PROBABILIDAD
RELACION MEDIDA
𝐴𝑐 , 𝐵 ∈ ℛ; 𝐴 − 𝐵 = 𝐴 ∩ 𝐵 𝑐 = (𝐴𝑐 ∪ 𝐵)𝑐 ; 𝐴𝑐 ∪ 𝐵 ∈ ℛ; (𝐴𝑐 ∪ 𝐵)𝑐 ∈ 𝒜
𝐴𝑐 , 𝐵 𝑐 ∈ ℛ; 𝐴 − 𝐵 = 𝐴 ∩ 𝐵 𝑐 = 𝐵 𝑐 ∩ (𝐴𝑐 )𝑐 = 𝐵 𝑐 − 𝐴𝑐 ∈ ℛ ⊂ 𝒜
luego en cualquier caso 𝐴 − 𝐵 ∈ 𝒜 y por tanto es anillo y como
χ = ∅𝑐 ∈ 𝒜 entonces es álgebra. Además por la forma de
construcción es inmediato que es la minimal generada por ℛ.
Para el caso de 𝜎 −álgebras es similar, cambiando uniones
finitas por uniones numerables.

4.- Obtener la 𝜎 −álgebra minimal para la familia de todos los subconjuntos

finitos ℱ de un espacio no numerable χ denotada como 𝜎(ℱ).

Cualquier conjunto numerable se puede obtener como unión

numerable de conjuntos finitos. Así pues todo conjunto
numerable pertenece a esta 𝜎 −álgebra.
Por definición de 𝜎 −álgebra los complementarios de estos
conjuntos también deben pertenecer a la misma.
Si denotamos por 𝒜 esta familia, es decir
𝑐

𝒜 = {𝐹 ⊂ χ / 𝐹 = ⋃ 𝐴𝑛 ∨ 𝐹 = (⋃ 𝐴𝑛 ) ; 𝐴𝑛 ∈ ℱ ∀𝑛}
𝑛∈ℕ 𝑛∈ℕ

por razonamientos similares al ejercicio anterior vemos que es

𝜎 −álgebra. Por la forma de construcción es inmediato que 𝒜 =
𝜎(ℱ).

4
GRADO MATEMÁTICAS TERCER0. CURSO 2023-24

PROBABILIDAD
RELACION MEDIDA
5.- Sea 𝒞 una clase de conjuntos en un espacio χ de forma que existe una
sucesión {𝐸𝑛 }𝑛∈ℕ de elementos de 𝒞 que verifican

⋃ 𝐸𝑛 = χ
𝑛∈ℕ

Demostrar que el 𝜎 −anillo minimal generado por 𝒞 coincide con la

𝜎 −álgebra minimal engendrada por 𝒞.

Es inmediato puesto que 𝒮(𝒞) es un 𝜎 −anillo luego

χ = ⋃ 𝐸𝑛 ∈ 𝒮(𝒞)
𝑛∈ℕ

es decir 𝒮(𝒞) es 𝜎 −álgebra.

6.- Sea 𝒞 una clase de conjuntos en un espacio χ. Sean 𝜑1 , 𝜑2 : 𝒞 ⟶ ℝ dos

funciones de conjunto aditivas. Demostrar que la función de conjunto
𝜑 = 𝑎1 𝜑1 + 𝑎2 𝜑2
también es aditiva para cualesquiera 𝑎1 , 𝑎2 ∈ ℝ

Sean 𝐴, 𝐵 ∈ 𝒞 / 𝐴 ∩ 𝐵 = ∅
𝜑(𝐴 ∪ 𝐵) = (𝑎1 𝜑1 + 𝑎2 𝜑2 )(𝐴 ∪ 𝐵) = 𝑎1 𝜑1 (𝐴 ∪ 𝐵) + 𝑎2 𝜑2 (𝐴 ∪ 𝐵) =
por ser 𝜑1 , 𝜑2 aditivas
= 𝑎1 𝜑1 (𝐴 ∪ 𝐵) + 𝑎2 𝜑2 (𝐴 ∪ 𝐵) =
= 𝑎1 (𝜑1 (𝐴) + 𝜑1 (𝐵)) + 𝑎2 (𝜑2 (𝐴) + 𝜑2 (𝐵)) =
= 𝑎1 𝜑1 (𝐴) + 𝑎2 𝜑2 (𝐴) + 𝑎1 𝜑1 (𝐵) + 𝑎2 𝜑2 (𝐵) = 𝜑(𝐴) + 𝜑(𝐵)

5
GRADO MATEMÁTICAS TERCER0. CURSO 2023-24

PROBABILIDAD
RELACION MEDIDA
luego 𝜑 es aditiva.

7.- Dado un anillo ℛ, Sea 𝜑: ℛ ⟶ ℝ una función de conjunto no negativa

aditiva. Demostrar que si ∃𝐸 ∈ ℝ con 𝜑(𝐸) < ∞ entonces 𝜑(∅) = 0

Por ser aditiva

𝜑(𝐸) = 𝜑(𝐸 ∪ ∅) = 𝜑(𝐸) + 𝜑(∅); 0 ≤ 𝜑(𝐸) < ∞ ⟹ 𝜑(∅) = 0

8.- Sea 𝒞 una clase de conjuntos en un espacio χ. Sean 𝜇 una medida sobre
ℛ(𝒞) que verifica que 𝜇(𝐸) < ∞ ∀𝐸 ∈ 𝒞. Demostrar que 𝜇 es finita.

Hemos demostrado que

𝑛

∀𝐸 ∈ ℛ(𝒞) ∃ 𝐸1 , 𝐸2 , ⋯ , 𝐸𝑛 ∈ 𝒞 𝐸 ⊂ ⋃ 𝐸𝑖
𝑖=1

y como toda medida es monótona

𝑛 𝑛

𝜇(𝐸) ≤ 𝜇 (⋃ 𝐸𝑖 ) ≤ ∑ 𝜇(𝐸𝑖 ) < ∞

𝑖=1 𝑖=1

podemos pues concluir que 𝜇 es finita.

9.- Dado un 𝜎 −anillo 𝒮 consideramos una sucesión de medidas {𝜇𝑛 }𝑛∈ℕ y

{𝑎𝑛 }𝑛∈ℕ una sucesión de números reales positivos. Demostrar que

𝜇 = ∑ 𝑎 𝑛 𝜇𝑛
𝑛∈ℕ

6
GRADO MATEMÁTICAS TERCER0. CURSO 2023-24

PROBABILIDAD
RELACION MEDIDA
también es una medida sobre 𝒮.

Es inmediato

𝜇(𝐸) = ∑ 𝑎𝑛 𝜇𝑛 (𝐸) ≥ 0
𝑛∈ℕ

𝜇(∅) = ∑ 𝑎𝑛 𝜇𝑛 (∅) = ∑ 𝑎𝑛 ∙ 0 = 0
𝑛∈ℕ 𝑛∈ℕ

{𝐸𝑚 }𝑚∈ℕ ; 𝐸𝑖 ∩ 𝐸𝑗 = ∅ 𝑖 ≠ 𝑗;

𝜇 ( ⋃ 𝐸𝑚 ) = ∑ 𝑎𝑛 𝜇𝑛 ( ⋃ 𝐸𝑚 ) =
𝑚∈ℕ 𝑛∈ℕ 𝑚∈ℕ

= ∑ 𝑎𝑛 ( ∑ 𝜇𝑛 (𝐸𝑚 )) = ∑ (𝜇(𝐸𝑚 )) =
𝑛∈ℕ 𝑚∈ℕ 𝑛∈ℕ

= ∑ (∑ 𝑎𝑛 𝜇𝑛 (𝐸𝑚 )) = ∑ (∑ 𝑎𝑛 𝜇𝑛 (𝐸𝑚 ))
𝑚∈ℕ 𝑛∈ℕ 𝑚∈ℕ 𝑛∈ℕ

10.- Dado un 𝜎 −anillo 𝒮 consideramos dos sucesiones de conjuntos en él

{𝐴𝑛 }𝑛∈ℕ y {𝐵𝑛 }𝑛∈ℕ . Sea 𝜇 una medida sobre 𝒮. Demostrar que

𝜇 (⋃ 𝐵𝑛 − ⋃ 𝐴𝑚 ) ≤ ∑ 𝜇(𝐵𝑛 − 𝐴𝑛 )
𝑛∈ℕ 𝑚∈ℕ 𝑛∈ℕ

𝜇 (⋂ 𝐵𝑛 − ⋂ 𝐴𝑚 ) ≤ ∑ 𝜇(𝐵𝑛 − 𝐴𝑛 )
𝑛∈ℕ 𝑚∈ℕ 𝑛∈ℕ

7
GRADO MATEMÁTICAS TERCER0. CURSO 2023-24

PROBABILIDAD
RELACION MEDIDA
Desarrollando
𝑐

⋃ 𝐵𝑛 − ⋃ 𝐴𝑚 = (⋃ 𝐵𝑛 ) ⋂ ( ⋃ 𝐴𝑚 ) =
𝑛∈ℕ 𝑚∈ℕ 𝑛∈ℕ 𝑚∈ℕ

= (⋃ 𝐵𝑛 ) ⋂ ( ⋂ 𝐴𝑐𝑚 ) = ⋃ (𝐵𝑛 ∩ ( ⋂ 𝐴𝑐𝑚 )) ⊂

𝑛∈ℕ 𝑚∈ℕ 𝑛∈ℕ 𝑚∈ℕ

⊂ ⋃ 𝐵𝑛 ∩ 𝐴𝑐𝑛 = ⋃(𝐵𝑛 − 𝐴𝑛 )
𝑛∈ℕ 𝑛∈ℕ

si tomamos medida

𝜇 (⋃ 𝐵𝑛 − ⋃ 𝐴𝑚 ) ≤ 𝜇 (⋃(𝐵𝑛 − 𝐴𝑛 )) ≤ ∑ 𝜇(𝐵𝑛 − 𝐴𝑛 )
𝑛∈ℕ 𝑚∈ℕ 𝑛∈ℕ 𝑛∈ℕ

Veamos la otra
𝑐

⋂ 𝐵𝑛 − ⋂ 𝐴𝑚 = ⋂ 𝐵𝑛 ⋂ ( ⋂ 𝐴𝑚 ) =
𝑛∈ℕ 𝑚∈ℕ 𝑛∈ℕ 𝑚∈ℕ

= ⋂ 𝐵𝑛 ⋂ ( ⋃ 𝐴𝑐𝑚 ) = ⋃ (𝐴𝑐𝑚 ∩ (⋂ 𝐵𝑛 )) ⊂
𝑛∈ℕ 𝑚∈ℕ 𝑚∈ℕ 𝑛∈ℕ

⊂ ⋃ 𝐵𝑚 ∩ 𝐴𝑐𝑚 = ⋃ (𝐵𝑚 − 𝐴𝑚 )
𝑚∈ℕ 𝑚∈ℕ

lo que nos conduce, al tomar medidas al mismo resultado

𝜇 (⋂ 𝐵𝑛 − ⋂ 𝐴𝑚 ) ≤ ∑ 𝜇(𝐵𝑛 − 𝐴𝑛 )
𝑛∈ℕ 𝑚∈ℕ 𝑛∈ℕ

8
GRADO MATEMÁTICAS TERCER0. CURSO 2023-24

PROBABILIDAD
RELACION MEDIDA
11.- Dado un 𝜎 −anillo 𝒮. Sea 𝜇 una medida sobre 𝒮. Tomemos 𝐴, 𝐵 ∈ 𝒮
de forma que 𝐴 ⊂ 𝐵 y 𝜇(𝐵 − 𝐴) = 0. Demostrar que para cualquier otro
conjunto 𝐶⊂χ que cumpla 𝐴 ⊂ 𝐶 ⊂ 𝐵 se puede expresar como unión
disjunta 𝐶 = 𝐷 ∪ 𝐸 con 𝐷 ∈ 𝒮 y 𝐸 contenido en un conjunto de medida
nula.

Por ser 𝐴 ⊂ 𝐶 ⊂ 𝐵 entonces ∅ ⊂ 𝐶 − 𝐴 ⊂ 𝐵 − 𝐴 y es inmediato

que 𝐶 = 𝐴 ∪ (𝐶 − 𝐴) donde 𝐷 = 𝐴 ∈ 𝒮 y 𝐸 = 𝐶 − 𝐴 ⊂ 𝐵 − 𝐴 con
𝜇(𝐵 − 𝐴) = 0.

12.- Dado un 𝜎 −anillo 𝒮. Sea 𝜇 una medida sobre 𝒮. 𝐸 ∈ 𝒮 de medida

𝜎 −finita, 𝒟 ⊂ 𝒮 de forma que ∀𝐷, 𝐷∗ ∈ 𝒟 con 𝐷 ≠ 𝐷 ∗ se tiene que 𝐷 ∩
𝐷∗ = ∅. Demostrar que 𝜇(𝐷 ∩ 𝐸) > 0 para a lo sumo una cantidad
numerable de conjuntos de 𝒟.

Este ejercicio es una generalización de la demostración de que el

soporte de una variable aleatoria tiene que ser a lo sumo
numerable.
Para verlo, primero supondremos que 𝐸 es de medida finita y
después al caso 𝜎 −finito. Supongamos 𝜇(𝐸) = 𝛼. Definimos la
clase
𝛼
𝒟𝑛 = {𝐷 ∈ 𝒟 / 𝜇(𝐷 ∩ 𝐸) ≥ }
𝑛

9
GRADO MATEMÁTICAS TERCER0. CURSO 2023-24

PROBABILIDAD
RELACION MEDIDA
Como los conjuntos de 𝒟 son disjuntos, es inmediato que a lo
sumo habrá 𝑛 elementos en 𝒟𝑛 , es decir los 𝒟𝑛 son finitos. Si
denotamos

𝐹𝑛 = ⋃ 𝐷
𝐷∈𝒟𝑛

Tenemos

𝛼 = 𝜇(𝐸) ≥ 𝜇(𝐸 ∩ 𝐹𝑛 ) = 𝜇 (𝐸 ∩ ( ⋃ 𝐷)) =

𝐷⊂𝐹𝑛

= 𝜇 ( ⋃ (𝐸 ∩ 𝐷)) = ∑ 𝜇(𝐸 ∩ 𝐷)
𝐷⊂𝐹𝑛 𝐷⊂𝐹𝑛

Es obvio que

𝒟 ∗ = ⋃ 𝒟𝑛
𝑛∈ℕ

Es la clase formada por todos los conjuntos 𝐷 ∈ 𝒟 con

𝜇(𝐸 ∩ 𝐷) > 0. Es la unión numerable de conjuntos finitos por lo
que a lo sumo será numerable.
Pasemos ahora al caso general, con 𝐸 de medida 𝜎 −finita.
Por definición, siempre podemos encontrar un recubrimiento
numerable con conjuntos de medida finita

{𝐸𝑚 }𝑚∈ℕ ; 𝐸 ⊂ ⋃ 𝐸𝑚 ; 𝐸𝑚 ∈ 𝒮; 𝜇(𝐸𝑚 ) < ∞

𝑚∈ℕ

10
GRADO MATEMÁTICAS TERCER0. CURSO 2023-24

PROBABILIDAD
RELACION MEDIDA
según lo visto existe ∗
𝒟𝑚 numerable que contiene a todos los
elementos de 𝒟 de forma que 𝜇(𝐷 ∩ 𝐸𝑚 ) > 0. Si definimos

𝒟 ∗∗ = ⋃ 𝒟𝑚
∗

𝑚∈ℕ

Es inmediato que es numerable (unión numerable de conjuntos

numerables) y contiene a todos los 𝐷∈𝒟 con 𝜇(𝐸 ∩ 𝐷) > 0.
Obsérvese que
𝐷 ∈ 𝒟 ∗∗ ⟹ ∃𝑚 / 𝐷 ∈ 𝒟𝑚
∗
⟹ 𝜇(𝐷 ∩ 𝐸𝑚 ) > 0 ⟹ 𝜇(𝐸 ∩ 𝐷) > 0

13.- Dado un 𝜎 −anillo 𝒮. Sea 𝜇 una medida sobre 𝒮. Se define 𝑆𝜇

𝑆𝜇 = {𝑥 ∈ χ; {𝑥} ∈ 𝒮; 𝜇({𝑥}) > 0}
a) Demostrar que si 𝜇 es totalmente 𝜎 −finita entonces 𝑆𝜇 es a lo sumo
numerable.
b) Poner un ejemplo de medida 𝜎 −finita donde 𝑆𝜇 no es numerable.

a) En el ejercicio anterior tomaremos 𝐸 = χ que es de medida

𝜎 −finita puesto que estamos con una medida totalmente

𝜎 −finita. Así mismo, tomaremos 𝒟 = {{𝑥}; 𝑥 ∈ 𝑆𝜇 } que por ser

subconjuntos unitarios verifican la condición de que si son

distintos son disjuntos. La tesis del ejercicio anterior nos afirma
que 𝑆𝜇 es a lo sumo numerable.
b) Consideremos χ = ℝ y como 𝜎 −anillo 𝑆 la clase formada por
todos los subconjuntos numerables de ℝ. Definimos
11
GRADO MATEMÁTICAS TERCER0. CURSO 2023-24

PROBABILIDAD
RELACION MEDIDA
𝜇: 𝑆 ⟶ ℝ
𝐴 ↦ 𝜇(𝐴) = ∑|𝑥|
𝑥∈𝐴

que es inmediato que es una medida claramente 𝜎 −finita y

como 𝑆𝜇 = ℝ∗ es obvio que no es numerable.

14.- Dado un 𝜎 −anillo 𝒮. Sea 𝜇 una medida completa sobre 𝒮. Dado 𝐴 ∈

𝒮 demostrar que cualquier 𝐵 ⊂ χ que verifique que 𝜇(𝐴∆𝐵) = 0 debe
pertenecer a 𝒮.

Por aplicar 𝜇 a 𝐴∆𝐵 se sobreentiende que 𝐴∆𝐵 ∈ 𝒮. Por ser 𝜇

completa, 𝜇(𝐴∆𝐵) = 0 y 𝐴 − 𝐵, 𝐵 − 𝐴 ⊂ 𝐴∆𝐵 entonces 𝐴 − 𝐵, 𝐵 −
𝐴 ∈ 𝒮 y por ser 𝒮 𝜎 −anillo se tienen que 𝐴 ∩ 𝐵 = 𝐴 − (𝐴∆𝐵) ∈ 𝒮.
Finalmente 𝐵 = (𝐵 − 𝐴) ∪ (𝐴 ∩ 𝐵) ∈ 𝒮.

15.- Sea χ no numerable. Tomamos el 𝜎 −anillo hereditario ℋ = 𝒫(𝜒).

Hallar el 𝜎 −anillo de los conjuntos medibles para cada una de las siguientes
medidas exteriores.
a) 𝜇 ∗ (∅) = 0; 𝜇 ∗ (𝐴) = 1 ∀𝐴 ≠ ∅
b) 𝜇 ∗ (∅) = 0; 𝜇 ∗ (χ) = 2; 𝜇 ∗ (𝐴) = 1 ∀𝐴 ≠ ∅; 𝐴 ≠ χ
c) 𝜇 ∗ (𝐴) = 0 si 𝐴 es numerable y 𝜇 ∗ (𝐴) = 1 si 𝐴 es no numerable.

12
GRADO MATEMÁTICAS TERCER0. CURSO 2023-24

PROBABILIDAD
RELACION MEDIDA
Sabemos que ∅ siempre es 𝜇 ∗ −medible y por estar en un
álgebra también lo es χ. Veamos los demás conjuntos
a) Cualquier 𝐴 ≠ ∅; 𝐴 ≠ χ, entonces ∃𝑥 ∈ 𝐴; ∃𝑦 ∈ 𝐴𝑐 . Tomemos
𝐵 = {𝑥, 𝑦}
𝜇 ∗ (𝐵) = 1; 𝜇 ∗ (𝐴 ∩ 𝐵) = 𝜇 ∗ ({𝑥}) = 1; 𝜇 ∗ (𝐴𝑐 ∩ 𝐵) = 𝜇 ∗ ({𝑦}) = 1
Por lo que 𝐴 no es 𝜇 ∗ −medible.
b) El razonamiento es el mismo del apartado anterior.
c) Supongamos que 𝐴 es numerable, entonces para cualquier
𝐵 ⊂ χ tenemos dos posibilidades,
𝐵 numerable, entonces 𝐴 ∩ 𝐵 y 𝐴𝑐 ∩ 𝐵 también lo son por lo
que
𝜇 ∗ (𝐵) = 𝜇 ∗ (𝐴 ∩ 𝐵) = 𝜇 ∗ (𝐴𝑐 ∩ 𝐵) = 0
y se verifica que
𝜇 ∗ (𝐵) = 𝜇 ∗ (𝐴 ∩ 𝐵) + 𝜇 ∗ (𝐴𝑐 ∩ 𝐵)
𝐵 no numerable, entonces 𝐴 ∩ 𝐵 sigue siendo numerable pero
𝐴𝑐 ∩ 𝐵 = 𝐵 − 𝐴 es la diferencia entre un conjunto numerable y
otro no numerable, lo que obliga a que 𝐴𝑐 ∩ 𝐵 sea no numerable
y por tanto
𝜇 ∗ (𝐵) = 𝜇 ∗ (𝐴𝑐 ∩ 𝐵) = 1; 𝜇 ∗ (𝐴 ∩ 𝐵) = 0
y se verifica que
𝜇 ∗ (𝐵) = 𝜇 ∗ (𝐴 ∩ 𝐵) + 𝜇 ∗ (𝐴𝑐 ∩ 𝐵)
En definitiva, cualquier 𝐴 que sea numerable será 𝜇 ∗ −medible.

13
GRADO MATEMÁTICAS TERCER0. CURSO 2023-24

PROBABILIDAD
RELACION MEDIDA
Esto conlleva que sus complementarios también lo cumplen, es
decir cualquier 𝐴 que sea no numerable con 𝐴𝑐 numerable
también será 𝜇 ∗ −medible.
El único caso que nos quedaría por analizar es aquellos
conjuntos que son no numerables pero cuyo complementario
también es no numerable. Veamos que ocurre en este caso. Sea
𝐴 no numerable con 𝐴𝑐 no numerable. Para ver que falla
consideremos 𝐵 = χ. Es inmediato que 𝐵 es no numerable, y 𝐴 ∩
𝐵 = 𝐴 y 𝐴𝑐 ∩ 𝐵 = 𝐴𝑐 también lo son por lo que
𝜇 ∗ (𝐵) = 𝜇 ∗ (𝐴 ∩ 𝐵) = 𝜇 ∗ (𝐴𝑐 ∩ 𝐵) = 1
y se verifica que
1 = 𝜇 ∗ (𝐵) < 𝜇 ∗ (𝐴 ∩ 𝐵) + 𝜇 ∗ (𝐴𝑐 ∩ 𝐵) = 2
por lo que los conjuntos de este tipo no son 𝜇 ∗ −medibles.

16.- Sea 𝜇 ∗ una medida exterior sobre un 𝜎 −anillo hereditario ℋ. Sean

𝐸, 𝐹 ∈ ℋ, siendo 𝐸 𝜇 ∗ −medible, demostrar que
𝜇 ∗ (𝐸) + 𝜇 ∗ (𝐹) = 𝜇 ∗ (𝐸 ∪ 𝐹) + 𝜇 ∗ (𝐸 ∩ 𝐹)

Por ser 𝐸 𝜇 ∗ −medible se tiene que

𝜇 ∗ (𝐸 ∪ 𝐹) = 𝜇 ∗ ((𝐸 ∪ 𝐹) ∩ 𝐸) + 𝜇 ∗ ((𝐸 ∪ 𝐹) ∩ 𝐸 𝑐 ) = 𝜇 ∗ (𝐸) + 𝜇 ∗ (𝐹 − 𝐸)
y
𝜇 ∗ (𝐹) = 𝜇 ∗ (𝐹 ∩ 𝐸) + 𝜇 ∗ (𝐹 ∩ 𝐸 𝑐 ) = 𝜇 ∗ (𝐸 ∩ 𝐹) + 𝜇 ∗ (𝐹 − 𝐸)
Así pues si en la primera fórmula sumamos 𝜇 ∗ (𝐸 ∩ 𝐹) tendremos

14
GRADO MATEMÁTICAS TERCER0. CURSO 2023-24

PROBABILIDAD
RELACION MEDIDA
𝜇 ∗ (𝐸 ∪ 𝐹) + 𝜇 ∗ (𝐸 ∩ 𝐹) = 𝜇 ∗ (𝐸) + 𝜇 ∗ (𝐹 − 𝐸) + 𝜇 ∗ (𝐸 ∩ 𝐹) =
= 𝜇 ∗ (𝐸) + 𝜇 ∗ (𝐹)
que es lo que había que demostrar.

17.- Sea 𝜇 ∗ una medida exterior finita sobre un 𝜎 −anillo hereditario ℋ =

𝒫(𝜒). Se sabe además que todo conjunto de χ admite un recubrimiento
medible. Demostrar que 𝐴 es medible si y solo si 𝜇 ∗ (χ) = 𝜇 ∗ (𝐴) + 𝜇 ∗ (𝐴𝑐 ).

Recordemos que el recubrimiento medible de un conjunto se

define como un conjunto que contiene al de partida y tiene su
misma medida exterior.
Si 𝐴 es 𝜇 ∗ −medible entonces es obvio que 𝜇 ∗ (χ) = 𝜇 ∗ (𝐴) + 𝜇 ∗ (𝐴𝑐 )
Veámoslo en sentido contrario. Consideremos 𝐵 su
recubrimiento medible, es decir 𝐴 ⊂ 𝐵; 𝜇 ∗ (𝐴) = 𝜇 ∗ (𝐵) y 𝐵 es
𝜇 ∗ −medible.
Por hipótesis
𝜇 ∗ (χ) = 𝜇 ∗ (𝐴) + 𝜇 ∗ (𝐴𝑐 )
por ser 𝐵 𝜇 ∗ −medible
𝜇 ∗ (χ) = 𝜇 ∗ (𝐵) + 𝜇 ∗ (𝐵 𝑐 )
por ser 𝜇 ∗ finita podemos despejar
𝜇 ∗ (𝐴𝑐 ) = 𝜇 ∗ (𝐵𝑐 )
por otra parte, como 𝐴 ⊂ 𝐵
𝜇 ∗ (𝐴 ∩ 𝐵) = 𝜇 ∗ (𝐴) = 𝜇 ∗ (𝐵)

15
GRADO MATEMÁTICAS TERCER0. CURSO 2023-24

PROBABILIDAD
RELACION MEDIDA
aplicando el ejercicio anterior sabemos que por ser 𝐵
𝜇 ∗ −medible
𝜇 ∗ (𝐴𝑐 ∪ 𝐵) + 𝜇 ∗ (𝐴𝑐 ∩ 𝐵) = 𝜇 ∗ (𝐴𝑐 ) + 𝜇 ∗ (𝐵)
pero 𝐴𝑐 ∪ 𝐵 = χ por lo que
𝜇 ∗ (χ) + 𝜇 ∗ (𝐴𝑐 ∩ 𝐵) = 𝜇 ∗ (𝐴𝑐 ) + 𝜇 ∗ (𝐵) = 𝜇 ∗ (𝐵 𝑐 ) + 𝜇 ∗ (𝐵) = 𝜇 ∗ (χ)
es decir 𝜇 ∗ (𝐵 − 𝐴) = 𝜇 ∗ (𝐴𝑐 ∩ 𝐵) = 0
Consideremos ahora un conjunto 𝐶⊂χ cualquiera. Por ser 𝐵
𝜇 ∗ −medible
𝜇 ∗ (𝐶) = 𝜇 ∗ (𝐵 ∩ 𝐶) + 𝜇 ∗ (𝐵𝑐 ∩ 𝐶)
pero

𝜇 ∗ (𝐵 ∩ 𝐶) = 𝜇 ∗ ((𝐴 ∪ (𝐵 − 𝐴)) ∩ 𝐶) = 𝜇 ∗ ((𝐴 ∩ 𝐶) ∪ ((𝐵 − 𝐴) ∩ 𝐶)) ≤

≤ 𝜇 ∗ ((𝐴 ∩ 𝐶)) + 𝜇 ∗ ((𝐵 − 𝐴) ∩ 𝐶) ≤

≤ 𝜇 ∗ ((𝐴 ∩ 𝐶)) + 𝜇 ∗ (𝐵 − 𝐴) = 𝜇 ∗ ((𝐴 ∩ 𝐶))
y como 𝐴 ⊂ 𝐵 entonces 𝐴 ∩ 𝐶 ⊂ 𝐵 ∩ 𝐶 luego
𝜇 ∗ ((𝐴 ∩ 𝐶)) ≤ 𝜇 ∗ (𝐵 ∩ 𝐶)
pudiendo concluir que
𝜇 ∗ ((𝐴 ∩ 𝐶)) = 𝜇 ∗ (𝐵 ∩ 𝐶)
dado que
𝐵 − 𝐴 = 𝐵 ∩ 𝐴𝑐 = 𝐴𝑐 ∩ (𝐵 𝑐 )𝑐 = 𝐴𝑐 − 𝐵 𝑐
entonces también
𝜇 ∗ (𝐴𝑐 − 𝐵 𝑐 ) = 0
luego podemos obtener un resultado análogo

16
GRADO MATEMÁTICAS TERCER0. CURSO 2023-24

PROBABILIDAD
RELACION MEDIDA
𝜇 ∗ (𝐴𝑐 ∩ 𝐶) = 𝜇 ∗ ((𝐵 𝑐 ∪ (𝐴𝑐 − 𝐵 𝑐 )) ∩ 𝐶) =

= 𝜇 ∗ ((𝐵 𝑐 ∩ 𝐶) ∪ ((𝐴𝑐 − 𝐵 𝑐 ) ∩ 𝐶)) ≤

≤ 𝜇 ∗ ((𝐵 𝑐 ∩ 𝐶)) + 𝜇 ∗ ((𝐴𝑐 − 𝐵 𝑐 ) ∩ 𝐶) ≤

≤ 𝜇 ∗ ((𝐵𝑐 ∩ 𝐶)) + 𝜇 ∗ (𝐴𝑐 − 𝐵 𝑐 ) = 𝜇 ∗ ((𝐵 𝑐 ∩ 𝐶))
y como 𝐵 𝑐 ⊂ 𝐴𝑐 entonces 𝐵 𝑐 ∩ 𝐶 ⊂ 𝐴𝑐 ∩ 𝐶 luego
𝜇 ∗ ((𝐵 𝑐 ∩ 𝐶)) ≤ 𝜇 ∗ (𝐴𝑐 ∩ 𝐶)
pudiendo concluir que
𝜇 ∗ ((𝐵 𝑐 ∩ 𝐶)) = 𝜇 ∗ (𝐴𝑐 ∩ 𝐶)
Estos resultados nos permiten concluir
𝜇 ∗ (𝐶) = 𝜇 ∗ (𝐵 ∩ 𝐶) + 𝜇 ∗ (𝐵 𝑐 ∩ 𝐶) = 𝜇 ∗ (𝐴 ∩ 𝐶) + 𝜇 ∗ (𝐴𝑐 ∩ 𝐶)
y como esto es ∀𝐶 entonces 𝐴 será 𝜇 ∗ −medible.

18.- Sea 𝜒 = ℕ y 𝜇 ∗ una medida exterior sobre ℋ = 𝒫(ℕ) definida como

𝑛
𝜇 ∗ (𝐴) = ; 𝑠𝑖 𝐶𝑎𝑟𝑑(𝐴) = 𝑛
𝑛+1
𝜇 ∗ (𝐴) = ∞; 𝑠𝑖 𝐶𝑎𝑟𝑑(𝐴) = ∞
Hallar 𝒮𝜇∗ y hallar algún conjunto que no tenga un recubrimiento medible.

Sea 𝐴 ≠ ℕ con 0 < 𝐶𝑎𝑟𝑑(𝐴) ≤ ∞. Sea 𝑥 ∈ 𝐴; 𝑦 ∈ 𝐴𝑐 ; 𝐵 = {𝑥, 𝑦}

2 1 1
𝜇 ∗ (𝐵) = ; 𝜇 ∗ (𝐵 ∩ 𝐴) = 𝜇 ∗ ({𝑥}) = ; 𝜇 ∗ (𝐵 ∩ 𝐴𝑐 ) = 𝜇 ∗ ({𝑦}) =
3 2 2
por lo que 𝐴 no es 𝜇 ∗ −medible. ∅ siempre es 𝜇 ∗ −medible y
lógicamente ℕ también lo es. En definitiva 𝒮𝜇∗ = {∅, ℕ} cuyas

17
GRADO MATEMÁTICAS TERCER0. CURSO 2023-24

PROBABILIDAD
RELACION MEDIDA
medidas son 0 e ∞, por lo que cualquier conjunto cuya medida
sea diferente no puede tener un recubrimiento medible, por
ejemplo 𝐴 = {1, 2}.

1
𝑚≤𝑛
19.- Sea 𝜒 = ℕ y ∀𝑚, 𝑛 ≥ 1 se define 𝑎𝑚,𝑛 = {2𝑚 . Se define la
1 𝑚>𝑛
función de conjunto

𝜇𝑛 (𝐴) = ∑ 𝑎𝑚,𝑛 ∀𝐴 ⊂ ℕ
𝑚∈𝐴

Probar que 𝜇𝑛 es una medida pero su límite no es ni siquiera medida exterior.

Veamos que 𝜇𝑛 es una medida:

Por la forma de definición es inmediato que es no negativa.
Asimismo, la imagen del conjunto vacío se aula puesto que
tenemos una suma con ningún sumando.
Veamos entonces que ocurre con la 𝜎 −aditividad. Consideremos
la sucesión {𝐸𝑘 }𝑘∈ℕ de subconjuntos disjuntos de ℕ, 𝐸𝑖 ∩ 𝐸𝑗 = ∅
∀𝑖 ≠ 𝑗 entonces
∞ ∞

𝜇𝑛 (⋃ 𝐸𝑘 ) = ∑ 𝑎𝑚,𝑛 = ∑ ∑ 𝑎𝑚,𝑛 = ∑ 𝜇𝑛 (𝐸𝑘 )

𝑘∈ℕ 𝑚∈⋃𝑘∈ℕ 𝐸𝑘 𝑘=0 𝑚∈𝐸𝑘 𝑘=0

podemos pues concluir que cada 𝜇𝑛 es una medida.

Pasemos a ver qué ocurre con la función de conjunto
𝜇(𝐴) = 𝑙𝑖𝑚{𝜇𝑛 (𝐴)}𝑛∈ℕ

18
GRADO MATEMÁTICAS TERCER0. CURSO 2023-24

PROBABILIDAD
RELACION MEDIDA
para ello tomaremos la sucesión de todos los subconjuntos
unitarios de ℕ, {𝑘}𝑘∈ℕ , que es obvio que son disjuntos y además

ℕ = ⋃{𝑘}
𝑘∈ℕ

verificándose que
𝑛 ∞
1
𝜇𝑛 (ℕ) = ∑ 𝑎𝑚,𝑛 = ∑ 𝑚 + ∑ 1 = ∞ ∀𝑛; 𝜇(ℕ) = ∞
2
𝑚∈ℕ 𝑚=0 𝑚=𝑛+1

sin embargo
1
𝜇𝑛 ({𝑘}) = 𝑎𝑘,𝑛 = ; 𝑛≥𝑘
2𝑘
y al tomar límites podemos obviar los valores pequeños de 𝑛,
por lo que podemos afirmar que
1
𝜇({𝑘}) =
2𝑘
concluyéndose que
∞ ∞
1
∑ 𝜇({𝑘}) = ∑ =2
2𝑘
𝑘=0 𝑘=0

y por lo tanto 𝜇 no es ni siquiera medida exterior.

19