Ejericicio 12 TMED

Grupo 9
Jaime Amich Omañas
Sebastián Gómez Garcı́a
Mario Pérez Rincón
September 2022

1 Ejercicio 12
Demostrar que una σ-álgebra de cardinal infinito no puede contener sólo una
colección numerable de conjuntos.

1.1 Solución
Sea Σ nuestra σ-álgebra sobre un conjunto X y supongamos que contiene solo
una colección numerable de conjuntos {An }n∈N . Vamos a probar que en reali-
dad Σ si contiene una colección de conjuntos no numerables, para ello vamos a
encontrar para cada elemento x ∈ X, el menor conjunto de Σ que lo contiene.

∀x ∈ X, definimos la siguiente familia de conjuntos:

Cx ≡ ∩x∈An An
Cada Cx es la intersección de todos los elementos de Σ que contienen a ese x, es
decir el menor conjunto que lo contiene en Σ, además Cx ∈ Σ al ser intersección
numerable de elementos de Σ y por las leyes de Morgan:
∩An |x∈An An = ∪An |x∈An AC
n ∈Σ

El último término está en Σ por ser σ-álgebra.

A continuación vamos a probar que todas las Cx son disjuntas entre sı́ o
la misma, es decir (como si fueran componentes conexas de esos puntos), si
Cx ∩ Cy ̸= ∅ =⇒ Cx = Cy .

Sea z ∈ Cx ∩ Cy =⇒ Cz ⊂ Cx ∩ Cy , por definición de las Cx .

Si x ∈
/ Cz =⇒ x ∈ Cx \ Cz ⊂ Cx pero esto contradice la definición de Cx
como el menor conjunto que contiene a x, luego Cx = Cz .

1
 Análogamente, Cy = Cz = Cx . Luego tenemos una familia de conjuntos
disjuntos {Cx }x∈X que se encuentran todos en Σ. Si esta familia fuera finita,
entonces Σ serı́a unión finita de una familia disjunta de conjuntos luego finita
ya que puedo expresar cualquier medible M de la siguiente forma al ser Cx el
menor conjunto que contiene a x:

M = ∪x∈M Cx
Por otro lado si fuera una familia infinita numerable {Cn }n∈N (si fuera no
numerable ya serı́a una contradicción con lo supuesto), entonces todas las posi-
bles uniones entre estos conjuntos estarı́an también en Σ y todas son distintas
entre sı́. Podemos entonces identificar los elementos de P (N) como ı́ndices de
los conjuntos Ci a unir.
ι : P (N) ,→ Σ
A 7→ ∪i∈A Ci
Esta aplicación es inyectiva ya que todos los conjuntos de la imagen son distin-
tos al ser todos los Ci disjuntos dos a dos luego |Σ| ≥ |P (N)| llegando a una
contradicción como se querı́a demostrar.