Sigma-álgebras

Objetivos. Definir la noción de σ-álgebra y estudiar sus propiedades básicas.

1. Definición (σ-álgebra). Sea X un conjunto. Un conjunto M ⊆ 2X de subconjuntos

de X se llama σ-álgebra sobre X si cumple con las siguientes condiciones:

1. X ∈ M;

2. M es cerrada bajo complementos:

∀A ∈ M X \ A ∈ M.

M es cerrada bajo uniones numerables: si Ai ∈ M para todo i ∈ {1, 2, . . .} y B =

3. S
∞
i=1 Ai , entonces B ∈ M.

2. Propiedades elementales de σ-álgebras.

1. ∅ ∈ M.

2. M esScerrada bajo intersecciones numerables: si Ai ∈ M para todo i ∈ {1, 2, . . .} y

B= ∞ i=1 Ai , entonces B ∈ M.

3. M es cerrada bajo uniones e intersecciones finitas: si Ai ∈ M para todo i ∈

{1, . . . , m}, entonces i=1 Ai ∈ M y i=1 Ai ∈ M.
Sm Tm

4. M es cerrada bajo la operación de differencia de conjuntos: si A, B ∈ M, entonces

A \ B ∈ M.

3. Ejemplo de σ-álgebra: todos subconjuntos de un conjunto. Sea X un conjunto

y sea M el conjunto de todos sus subconjuntos. Entonces M es una σ-álgebra.

4. Ejemplo de σ-álgebra: subconjuntos numerables y sus complementos. Sea X

un conjunto no numerable y sea M el conjunto que consiste en todos subconjuntos nume-
rables de X y todos subconjuntos de X cuyos complementos son numerables. Entonces
M es una σ-álgebra.

5. Intersección de σ-álgebras es σ-álgebra. Sea {Mj : j ∈ J} una familia de σ-

álgebras sobre X (J puede ser numerable o no). Entonces su intersección
\
N := Mj
j∈J

es una σ-álgebra sobre X.

página 1 de 2
6. Sigma-álgebra generada por un conjunto de subconjuntos de X. Sea F un
conjunto de subconjuntos de X: F ⊆ 2X . Entonces existe una única σ-álgebra M que
contiene F y es mı́nima entre todas las σ-álgebras que contienen F:

1. F ⊆ M.

2. Si N es una σ-álgebra sobre X y F ⊆ N, entonces M ⊆ N.

Se dice que M es la σ-álgebra generada por F.

7. Ejercicio: σ-álgebra generada por conjuntos finitos. Sea X un conjunto no

numerable y sea F el conjunto de los subconjuntos finitos de X. Describa la σ-álgebra
generada por F.

8. Definición (conjuntos de Borel). Sea (X, τ ) un espacio topológico, esto es, τ es

una topologı́a sobre X. La σ-álgebra generada por τ se llama σ-álgebra de Borel, y sus
elementos se llaman conjuntos de Borel.

página 2 de 2