σ-álgebra

Memo Garro

Introducción
En este apunte estudiaremos el concepto de σ-álgebra, como un tipo especial de
familia de subconjuntos de un espacio Ω, aunque todavı́a desde un punto de vista pura-
mente abstracto, para que en lugares posteriores del curso elaboremos una
interpretación probabilı́stica propiamente de este objeto matemático.
También en este artı́culo mostraremos un método para construir un σ-álgebra a
partir de una familia determinada de subconjuntos del espacio Ω. De modo que en la
primera parte revisaremos las nociones generales del concepto de σ-álgebra de subcon-
juntos, para que en segundo término veamos cómo a partir de una familia podemos
generar una nueva familia que posea estructura de σ-álgebra. Comenzaremos con la
consideración del caso particular de una familia finita que particiona el espacio total,
y de ahı́, obtendremos la idea general que nos permitirá ampliar el método a familias
finitas más generales.
Ahora bien, nuestro método será en todo momento constructivo, lo cual significa que
obtendremos una familia cuyos elementos serán completamente definidos. Por su parte,
esta situación nos permitirá conocer la cardinalidad, y establecer ciertas condiciones
de numerabilidad de la σ-álgebra ası́ generada.

1 σ-álgebra
En esta sección estudiaremos la estructura de subconjuntos más importante en la teorı́a de
las probabilidades contemporánea. En adelante consideramos un espacio Ω no vacı́o.
Definición 1.1 (σ-álgebra). Sea F una familia de subconjuntos de un espacio Ω.
Entonces, F posee estructura de σ-álgebra sobre Ω, si y sólo si,
(σ1) Ω ∈ F.

(σ2) Si A ∈ F, entonces Ac ∈ F.

(σ3) Si {An }n≥1 es una sucesión de elementos en F, entonces

∞
[
An ∈ F.
n=1

Observación 1.1. Si una familia cumple (σ3) decimos que es cerrada bajo uniones nume-
rables. Es claro que una familia cerrada bajo uniones numerables también es cerrada bajo
uniones finitas.

1
Observación 1.2. En el lenguaje cotidiano sólo diremos que F es una σ-álgebra de subcon-
juntos de Ω.

Observación 1.3. Es importante subrayar la importancia que tiene señalar el espacio en el

cual se está considerando la familia F. En ocasiones estas estructuras no estarán definidas
sobre Ω sino sobre alguno de sus subconjuntos, y otras ocasiones nos referiremos a σ-álgebras
definidas sobre espacios diferentes.

Ilustraremos este concepto mediante algunos ejemplos.

Ejemplo 1.1. Sobre cualquier espacio no vacı́o Ω, las familias P(Ω) = {A | A ⊆ Ω} (el
conjunto potencia) y {∅, Ω} poseen estructura de σ-álgebra sobre Ω.
En efecto, es fácil ver que las condiciones (σ1) y (σ2) se cumplen para ambas familias.
Ahora bien, la unión cualquiera de subconjuntos de Ω es un subconjunto mismo de Ω, en
particular esto sucede para uniones numerables; entonces la propiedad (σ3) es válida para la
familia P(Ω). Por otra parte, toda sucesión en la familia {Ω, ∅} es en realidad una sucesión
finita, cuya unión es ∅, o bien Ω, en cualquier caso, dicha unión es elemento de {Ω, ∅}.

Ejemplo 1.2. Sea Ω el pequeño espacio {1, 2, 3, 4}. Y consideremos las familias A = {∅, Ω,
{2, 3, 4}, {1}}, B = {∅, Ω, {1}, {2}, {1, 2}, {3, 4}, {2, 3, 4}, {1, 3, 4}} y C = {∅, Ω, {1, 3, 4}, {2}}.
Mediante una inspección visual notamos que todas ellas poseen estructura de σ-álgebra sobre
el mismo espacio Ω. Sin embargo, las familias D = {{1}, {2}, ∅} y E = {{1}, {2}}, no son
σ-álgebras sobre Ω.

Pasamos al estudio de familias más complejas.

Ejemplo 1.3. Por convención entenderemos como subconjunto contable, aquel subconjunto
(o espacio) de cardinalidad finita o a lo sumo infinito numerable. Sea Ω un espacio no
contable. Consideremos la familia

F = {A ⊆ Ω | A es contable o Ac es contable}.

Como ejemplo tenemos que Ω podrı́a ser el conjunto R de los números reales, y un elemento
de F en tal caso es el conjunto N de los números naturales. Se tiene que F posee estructura
de σ-álgebra sobre Ω.
Las tres condiciones de un σ-álgebra son verificables.
(σ1). Se tiene que el conjunto vacı́o no posee elementos, y Ωc = ∅, con lo cual Ω ∈ F.
(σ2). Ahora, supongamos que A ∈ F,

⇒ A es contable o Ac es contable
⇒ Ac es contable o A es contable
⇒ Ac es contable o (Ac )c es contable,

entonces Ac ∈ F.
(σ3). Consideremos la sucesión {An }∞ ∞
n=1 en la familia F. Sea A = ∪n=1 An , entonces
A ∈ F. Efectivamente, se tienen dos posibles situaciones:
I. Si A es contable, entonces, obviamente A ∈ F.

2
 II. Ahora, supongamos que A es no contable, debemos probar que Ac es contable. Para
ello observamos que, según nuestra suposición, existe un número natural m tal que Am es no
contable (de lo contrario, A serı́a contable); entoces Acm es contable, pues Am ∈ F. Y dado
que !c
∞
[ \∞
Ac = An = Acn ⊆ Acm ,
n=1 n=1
c
entonces A es contable. Con lo cual A ∈ F.

El siguiente ejemplo muestra que una familia cerrada bajo uniones finitas no necesariamente
es una σ-álgebra.

Ejemplo 1.4. Sea Ω = (0, 1]. La familia

( )
[
G= A | D ⊂ A, D finito ,
A∈D

con A = {(x, y]|0 ≤ x ≤ y ≤ 1}, es cerrada bajo uniones finitas (lo cual se sigue de forma
inmediata de la propia definición de G), sin embargo no es σ-álgebra. Por ejemplo, los
intervalos (1/2n, 1/(2n − 1)] pertencen a G (de hecho pertenecen a A), sin embargo, dado
que son ajenos, su unión no puede ser expresada como una unión finita de intervalos en A.
Consideremos la nueva familia
( )
[
F= A | D ⊂ A, D contable .
A∈D

Entonces F es σ-álgebra.

Ahora bien, de las condiciones impuestas en la Definición 1.1 es posible derivar una
definición alternativa. Formalmente, exponemos el siguiente enunciado.

Teorema 1.1. La familia F posee estructura de σ-álgebra sobre Ω, si y sólo si,

(σ’1) ∅ ∈ F.

(σ’2) Si A ∈ F, entonces, Ac ∈ F.

(σ’3) Si {An }∞
n=1 es una sucesión de elementos de F, entonces

∞
\
An ∈ F.
n=1

Demostración. =⇒ ] Supongamos que F es σ-álgebra sobre Ω, entonces Ω ∈ F, según (σ1),

pero por (σ2) se tiene que ∅ = Ωc ∈ F, esto prueba (σ 0 1). Ahora, la condición (σ 0 2)
es exactamente la condición (σ2) de la Definición 1. Por último, si para una sucesión

3
 {An }n∈N contenida en F se tiene que {Acn }n∈N también está contenida en F por la
propiedad (σ2), entonces ∪∞ c
n=1 An ∈ F, por (σ3), pero de nueva cuenta por (σ2),

∞ ∞
!c
\ [
An = Acn ∈ F,
n=1 n=1

lo cual prueba (σ3).

⇐= ] Esta prueba es análoga a la primera parte y se deja a su ingenio.

Ahora exponemos un resultado que nos será de gran utilidad en la sección próxima.

Teorema 1.2. Sea B una familia arbitraria de σ-álgebras sobre Ω. Entonces la familia
E = { A | A ∈ F, ∀ F ∈ B} es σ-álgebra sobre Ω.
\
Observación 1.4. Tenemos que E = F, si consideramos la operación intersección en el
F ∈B
sentido habitual. En palabras, lo que dice este resultado es que la intersección arbitraria de
σ-álgebras sobre un mismo espacio, es de nueva cuenta una σ-álgebra sobre dicho espacio.

Demostración. (σ1) Es claro que Ω ∈ F para toda F ∈ B, entonces Ω ∈ E.

(σ2) Ahora sea A ∈ E, entonces A ∈ F para toda F ∈ B, por tanto Ac ∈ F para toda
F ∈ B, de donde se sigue que Ac ∈ E.
c
S∞ {An }n∈N está contenida en E, entonces está
(σ3) Ahora, si una sucesión S∞ contenida en toda
F ∈ B, por ello n=1 An ∈ F para toda F ∈ B, esto prueba que n=1 An ∈ E.
Esto prueba que E es en efecto σ-álgebra sobre Ω.

Ejemplo 1.5. En referencia al Ejemplo 1.2 se tiene que si B = {A, C}, entonces E = {∅, Ω}
es σ-álgebra.

Sin embargo, las familias del tipo U = { A | A ∈ F para alguna

[ F ∈ B} (en este caso,
si consideramos la unión en su forma habitual entonces U = F) no son necesariamente
F ∈B
σ-álgebras, como lo muestra el siguiente ejemplo.

Ejemplo 1.6. En referencia al Ejemplo 1.2 se tiene que si B = {A, C} entonces la familia
U = {∅, Ω, {2, 3, 4}, {1}, {1, 3, 4}, {2}} no es σ-álgebra. En efecto, los subconjuntos {1} y
{2} pertenecen a U, pero {1} ∪ {2} = {1, 2} no pertenece.

Terminamos esta sección con el planteamiento del problema que intentaremos resolver la
sección próxima. En el Ejemplo 1.2, las familias A, B, C, el potencia de Ω = {1, 2, 3, 4}
y la familia {∅, Ω} son cinco σ-álgebras sobre Ω. Entonces, en general para un espacio
Ω no vacı́o, podemos preguntarnos acerca de cuál es el número de familias que poseen
estructura de σ-álgebra definidas sobre dicho espacio. La respuesta a tal cuestionamiento
puede resultar un poco complicada, considerando que el espacio Ω puede ser infinito. Sin
embargo, podemos buscar alguna pregunta cuya respuesta resulte menos compleja. Tal vez

4
dicho ejemplo también nos inquieta acerca de las relaciones (de contensión) que pueden
guardar las σ-álgebras definidas sobre Ω (en nuestro ejemplo observamos que A ⊂ B y
C ⊂ B, y todas contienen a {∅, Ω} y están contenidas en el potencia de Ω). Es decir, ¿a
caso será posible encontrar una σ-álgebra en Ω tal que contenga a cualquier otra σ-álgebra
definida también sobre Ω?; o todavı́a más, ¿será a caso posible encontrar una σ-álgebra tal
que ella misma esté contenida en cualquier otra σ-álgebra sobre Ω?.
En respuesta consideremos las siguientes familias de subconjuntos

GΩ = P(Ω) y SΩ = {∅, Ω}.

Entonces GΩ es la ”más grande” σ-álgebra definida sobre Ω, en el sentido de que cualquier

otra familia con estructura de σ-álgebra sobre Ω estará contenida en ella. Y por otra parte
SΩ es la ”más pequeña” σ-álgebra definida sobre Ω, en el sentido de que simpre estará
contenida en cualquier otra. Esto se debe a lo siguiente: En primer lugar, según nuestro
primer ejemplo, tanto GΩ como SΩ son σ-álgebras sobre Ω. Ahora, si consideramos la familia

Σ = {F | F σ-álgebra sobre Ω}

tendremos que Σ está formada por familias de subconjuntos de Ω, puesto que las σ-álgebras
no son más que familias especiales de subconjuntos de Ω mismo. Es decir:

∀F ∈Σ: F ⊆ P(Ω) = GΩ ,

y es evidente además que GΩ = P(Ω) ⊆ P(Ω) ∈ Σ. Esto prueba que GΩ contiene, efectiva-
mente, toda σ-álgebra definida sobre Ω. Por otra parte, si F es σ-álgebra entonces Ω ∈ F,
y por ello ∅ ∈ F. Por tanto SΩ ⊆ F.
De lo anterior se concluye que para cualquier σ-álgebra F definida sobre Ω

SΩ ⊆ F ⊆ GΩ .

2 σ-álgebra generada
La sección anterior concluyó con un par de cuestionamientos muy generales, y solo encon-
tramos respuesta para uno de ellos. Ahora reduciremos el rango de nuestros cuestionamientos
buscando dar un mejor perfil a las respuestas encontradas. Supongamos que C es una familia
de subconjuntos de Ω. Consideremos todas las σ-álgebras en las cuales C está contenida.
Como es evidente que C ⊆ P(Ω), nos preguntamos ahora si es posible encontrar la σ-álgebra
”más pequeña” la cual contenga C. Y todavı́a más, será acaso posible saber la cardinalidad
de tal σ-álgebra. La última respuesta queda pendiente, por lo pronto enunciamos el siguiente
resultado.

5
Teorema 2.1. Sea C cualquier familia no vacı́a de subconjuntos del espacio Ω. Entonces
existe una única σ-álgebra F0 definida sobre Ω tal que
i) C ⊆ F0 y

ii) Si F1 es una σ-álgebra en Ω tal que C ⊆ F1 entonces F0 ⊆ F1 .

Demostración. Consideremos pues familia C no vacı́a de subconjuntos de Ω. Primeramente
definimos
B = {F | C ⊆ F, F es σ-álgebra en Ω}.
Dado que C ⊆ P(Ω) y P(Ω) es σ-álbebra sobre Ω, tenemos que P(Ω) ∈ B. Por tanto nuestra
familia de σ-álgebras BTes no vacı́a.
Existencia. Sea F0 = F ∈B F (donde ∩ se entiende en el sentido habitual, ver Observación
1.4). Sabemos que F0 es un σ-álgebra (Teorema 1.2). Ahora bien, como C ⊆ F para toda
F ∈ B (por definición), se tiene entonces que C ⊆ F0 .
Ahora, para cualquier otra σ-álgebra F1 en Ω tal que C ⊆ F1 , se sigue que F1 ∈ B. Y por
la propia definición de F0 , se tiene que
\
F0 = F ⊆ F1 .
F ∈B

Unicidad. Si existe F00 , σ-álgebra, tal que cumple con i) y ii), entonces

F00 ⊆ F0 ,

puesto que C ⊆ F0 y F00 cumple con ii).

Pero también F0 verifica estas dos propiedades, entonces

F0 ⊆ F00 ,

por tanto F0 = F00 .

Definición 2.1 (σ-álgebra generada). La familia F0 del teorema anterior es denominada
σ-álgebra generada por la familia C, y se denota por el sı́mbolo σ(C).
Ejemplo 2.1. Retomando el Ejemplo 1.2, sea Ω = {1, 2, 3, 4}, se tiene que σ({{1}}) = A,
σ({{1}, {2}}) = B y σ({{1, 3, 4}}) = C.
Ejemplo 2.2. Familias distintas de subconjuntos de un mismo espacio pueden generar la
misma σ-álgebra. Por ejemplo, σ({∅}) = {Ω, ∅} = σ({Ω}), y de modo más general σ({A}) =
{∅, Ω, A, Ac } = σ({Ac }), para cualquier A ⊂ Ω. Un ejemplo similar más amplio, útil e
interesante se presenta en un tipo particular de σ-álgebra definida sobre R, conocida como
σ-álgebra de Borel, la cual será nuestro tema de estudio en un artı́culo posterior.
Ahora demostraremos algunas propiedades que nos servirán más adelante en la determi-
nación de un método par construir una σ-álgebra. Conviene mantener estas propiedades en
mente, pues también servirán para probar algunos teoremas más interesantes.
Lema 2.1. Sean C y C ∗ familias de subconjuntos del espacio Ω. Si C ⊆ C ∗ entonces σ(C) ⊆
σ(C ∗ ).

6
Demostración. Por hipótesis y por el teorema anterior (propiedad i)),

C ⊆ C ∗ ⊆ σ(C ∗ ),

es decir,
C ⊆ σ(C ∗ ).
Entonces, sabemos que σ(C ∗ ) es σ-álgebra, y nuevamente por el teorema anterior (propiedad
ii)),
σ(C) ⊆ σ(C ∗ ).

Lema 2.2. Si la familia C de subconjuntos del espacio Ω forma por sı́ misma una σ-álgebra,
entonces σ(C) = C.

Demostración. El último teorema nos dice directamente que C ⊆ σ(C) (por la propiedad i)).
Ahora bien, es obvio que C ⊆ C, y C es σ-álgebra, entonces por nuestro famoso y repetido
teorema anterior (propiedad ii)) se sigue que σ(C) ⊆ C. Con lo cual σ(C) = C.

3 Un método para construir una σ-álgebra

Sea Ω un espacio no vacı́o. Como se mencionó en el resumen, nuestra construción la dividi-
remos en dos casos.

(1). Consideremos una familia finita A = {A1 , A2 , ..., An } y supongamos que tal familia
particiona al espacio Ω.

Afirmación 3.1. Cualquier elemento de la σ-álgebra generada por la partición A es igual a

una unión finita de elementos de A mismo, esto es,
( )
[
σ(A) = Ai | I ⊆ {1, 2, ..., n} .
i∈I
S
Nota: Entenderemos, por convención, que si I = ∅ entonces i∈I Ai = ∅.
S
Demostración. Por comodidad, nombremos F = i∈I Ai | I ⊆ {1, 2, ..., n} . Por definición
sabemos que A ⊆ σ(A). Por lo tanto Ai ∈ σ(A), para toda i = 1, 2, ..., n. Se sigue entonces
que [
Ai ∈ σ(A) ∀ I ⊆ {1, 2, ..., n},
i∈I

por las propiedades de σ-álgebra de σ(A). Con lo cual F ⊆ σ(A).

Ahora demostraremos la contención contraria, para ello observamos que F posee estructura
de σ-álgebra. En efecto, (σ1) es evidente que
n
[
Ω= Ai ∈ F;
i=1

7
ahora, (σ2) sea E ∈ F, entonces existe IE ⊆ {1, 2, ..., n}, único, tal que E = ∪i∈IE Ai , de
donde

E c = Ω\E
n
! !c
[ \ [
= Ai Ai
i=1 i∈IE
  !c
[ \ [
=  Ai  Ai
c
i∈IE ∪IE i∈IE
 !   !c
[ [ [ \ [
=  Ai  Ai  Ai
i∈IE c
i∈IE i∈IE
" ! !c #   !c 
[ \ [ [ [ \ [
= Ai Ai  Ai  Ai 
i∈IE i∈IE c
i∈IE i∈IE
  !c
[ \ [
=  Ai  Ai .
c
i∈IE i∈IE

S
c
Ahora bien, si ω ∈ i∈IE Ai , entonces para toda i ∈ IE se tiene que ω ∈ / Ai , y como la
familia {A1 , ...,SAn } particiona

c S Ω, entonces existe j ∈ {1, ..., n},
S pero j ∈
/ IE tal que ω ∈ Aj ,
,
ası́ entonces i∈IE Ai ⊆ i∈I c Ai . Por otro lado, si ω ∈ i∈I c Ai , entonces ω ∈ / Ai para
E E
toda i ∈ IE , de lo contrario existirı́an Aj y Ak distintos (pues j pertenecerı́a a IS E y k a su
complemento) S ω ∈ Ack ∩ Aj = ∅, S
tales que lo cual es imposible. Por tanto ω ∈ ( i∈IE Ai )c ,
c
S S
es decir, i∈I c Ai ⊆ ( i∈IE Ai ) . Entonces i∈I c Ai = ( i∈IE Ai ) .
E E
De este modo,
  !c
[ \ [
Ec =  Ai  Ai
c
i∈IE i∈IE
[
= Ai ,
c
i∈IE

luego E c ∈ F.
Por último (σ3), sea {Em }m≥1 ⊆ F, entonces existe Im ⊆ {1, 2, ..., n} para toda m ≥ 1 tal
que [
Em = Ai ∀ m ≥ 1,
i∈Im

se sigue,
∞
[ [ [
Em = Ai .
m=1 m≥1 i∈Im

8
Ahora bien,
[ [ [
ω∈ Ai ⇔ ∃ m t.q. ω ∈ Ai
m≥1 i∈Im i∈Im
⇔ ∃ m t.q. ∃ j ∈ Im t.q. ω ∈ Aj
[∞
⇔ ∃j∈ Im t.q. ω ∈ Aj
m=1
[
⇔ ω∈ Ai
S∞
i∈ m=1 Im
[
⇔ ω∈ Ai ,
i∈I
S∞
donde I = m=1 Im ⊆ {1, 2, ..., n} (notése como I es finito). Por tanto,
∞
[ [ [ [
Em = Ai = Ai ∈ F.
m=1 m≥1 i∈Im i∈I

Luego F σ-álgebra sobre Ω.

Es claro además que A ⊆ F, y según los lemas de la sección anterior,

σ(A) ⊆ σ(F) = F,

esto es σ(A) ⊆ F.
Ejemplo 3.1. Consideremos un subconjunto A no vacı́o de Ω. Podemos nombrar A1 = A y
A2 = Ac y considerar la partición A = {A1 , A2 }. Entonces

σ(A) = {∅, Ω, A1 , A2 }

Ejemplo 3.2. Para una partición de tamaño tres A = {A1 , A2 , A3 } se tiene que

σ(A) = {∅, Ω, A1 , A2 , A3 , A1 ∪ A2 , A1 ∪ A3 , A2 ∪ A3 }

¿Qué es lo que notamos? En el Ejemplo 3.1, σ(A) tiene 4 = 22 elementos, tantos como
subconjuntos posee {1, 2}. En el ejemplo siguiente, el número de elementos de σ(A) es
8 = 23 , exactamente como el potencia de {1, 2, 3}. Entonces podemos deducir el siguiente
enunciado.
Afirmación 3.2. Si la familia finita A = {A1 , A2 , ..., An } es partición de Ω entonces

#σ(A) = #P({1, 2, ..., n}) = 2n .

S
Demostración. Ya se sabe que σ(A) = i∈I Ai | I ⊆ {1, 2, ..., n} . Defı́nase
S una función
f : P({1, 2, ..., n}) 7→ σ(A), tal que para I ∈ P({1, 2, ..., n}) entonces f (I) = i∈I Ai ∈ σ(A).
Es fácil mostrar que la función f es biyectiva, de donde se sigue

#σ(A) = #P({1, 2, ..., n}) = 2n .

9
 (2). Ahora supongamos que la familia finita A = {A1 , A2 , ..., An } no particiona el espacio
Ω. ¿Qué sucede ahora? ¿Qué forma tiene σ(A)? ¿Cuántos elementos posee?
Es natural pensar que el método a seguir ahora tendrá que remitirnos al primero de los
casos tratados. Para ilustrar el modelo general sólo trataremos el caso en que n = 2. Primero
definimos una nueva familia A0 compuesta por los subconjuntos A01 = A1 \A2 , A02 = A2 \A1 ,
A03 = A1 ∩ A2 y A04 = Ω\(A1 ∪ A2 ). No es difı́cil observar que esta nueva familia particiona al
espacio Ω, luego según el caso anterior, σ(A0 ) está formada por todas las uniones finitas que
de los elementos de A0 podemos realizar. Ahora bien, de la definición de cada subconjunto
A0i tenemos que A0 ⊂ σ(A), de donde σ(A0 ) ⊂ σ(A). Por otra parte, tenemos que

A1 = (A1 \A2 ) ∪ (A1 ∩ A2 )

= A01 ∪ A03 ,

de modo que A1 ∈ σ(A0 ). Y de la misma manera

A2 = (A2 \A1 ) ∪ (A2 ∩ A1 )

= A01 ∪ A03 ,

por tanto A2 ∈ σ(A0 ). Entonces A ⊂ σ(A0 ), por tanto σ(A0 ) ⊂ σ(A). De donde se desprende
que σ(A0 ) = σ(A)
En cuanto a la cardinalidad, dado que no podemos asegurar cuáles subconjuntos de la
nueva familia A0 son no vacı́os, sólo podemos decir que #σ(A) = σ(A0 ) ≤ 24 .

10