Teorema de las clases monótonas

Resultado. Si A es un álgebra sobre Ω, se verifica,

σ(A) = M(A)

es decir, el σ-álgebra generado por A coincide con la clase monótona generada por A.

Demostración. Observemos en primer lugar que al ser un σ-álgebra clase monótona, lo es σ(A).
Ahora bien, A ⊆ σ(A), y al ser M(A) la menor clase monótona que contiene a A, se tendrá,
M(A) ⊆ σ(A)

Para probar la inclusión inversa, bastará probar que M(A) es álgebra, pues entonces, por un
resultado anterior, será también σ-álgebra, y como contiene a A, también contendrá al menor σ-álgebra
que contiene a A, esto es, a σ(A).
Probemos pues que M(A) es un álgebra sobre Ω. En primer lugar es obvio que Ω ∈ M(A). Veamos
ahora que es estable para la complementación, para ello, definimos la clase,
M0 = {A ⊆ Ω | A ∈ M(A) y Ac ∈ M(A)} ⊆ M(A)

Observemos primeramente que M0 es clase monótona pues una sucesión monótona, {An }n∈IN , en
M0 también lo es en M(A) por lo que L = lı́m An ∈ M(A). Por otra parte, {Acn }n∈IN es también
una sucesión monótona en M0 luego lo es en M(A), de donde se deduce que lı́m Acn ∈ M(A). Pero
lı́m Acn = (lı́m An )c = Lc . Ası́ pues, L y Lc pertenecen M(A) y por lo tanto, L ∈ M0 . Ası́ pues, M0 es
clase monótona.
Sea ahora A ∈ A. Por ser A álgebra, se tendrá Ac ∈ A. Es decir, A y Ac pertenecen a M(A) y
por ello, A ∈ M0 , ası́ pues A ⊆ M0 . Y al ser M(A) la menor clase monótona que contiene a A se
tendrá M(A) ⊆ M0 luego M(A) = M0 . Por consiguiente, al ser M0 cerrada para la complementación,
también lo será M(A).
Veamos ahora que M(A) es cerrada para la unión finita. Con esta finalidad, definamos las clases
de conjuntos,
M1 = {A ∈ M(A) | A ∪ B ∈ M(A), ∀B ∈ A} ⊆ M(A)
M2 = {A ∈ M(A) | A ∪ B ∈ M(A), ∀B ∈ M(A)} ⊆ M(A)

Observemos primeramente que M1 es clase monótona pues si {An }n∈IN es una sucesión monótona
en M1 y B ∈ A entonces, al ser {B ∪ An }n∈IN sucesión monótona en M(A) se tendrá,
B ∪ lı́m An = lı́m(B ∪ An ) ∈ M(A)

Mediante un razonamiento similar, se concluye que M2 es también una clase monótona.

Supongamos ahora que A ∈ A. Como A ⊆ M(A) y A es cerrado para uniones finitas, se tendrá que
A ∪ B ∈ M(A), ∀B ∈ A lo que implica A ∈ M1 , es decir, A ⊆ M1 , y por la minimalidad de M(A)
se tendrá que M(A) ⊆ M1 , y en consecuencia, M(A) = M1 .
Sea ahora A ∈ A y B ∈ M(A) = M1 . Por definición de M1 tendremos que A ∪ B ∈ M(A)
luego A ∈ M2 lo que implica A ⊆ M2 y por lo tanto M(A) ⊆ M2 y en consecuencia, M(A) = M2 .
Ası́ pues, M(A) es cerrada para uniones finitas por serlo M2 .
4