Sigma-

algebras
Objetivos. Definir la nocion de -algebra y estudiar sus propiedades basicas.
Requisitos. Operaciones con conjuntos, operaciones con familias de conjuntos.
1. Notaci
on (conjunto de los subconjuntos). Sea X un conjunto. Entonces denotemos por 2X al conjunto de todos los subconjuntos de X.
2. Definici
on (-
algebra). Sea X un conjunto. Un conjunto F 2X se llama -algebra
sobre X si cumple con las siguientes condiciones:
1. X F.
2. F es cerrado bajo complementos: si A F, entonces X \ A F.
3. F es cerrado bajo uniones numerables: si Ai F para todo i N y B =
entonces B F.

iN

Ai ,

3. Propiedades elementales de -
algebras. Se F una -algebra sobre X. Entonces:
1. F.
2. F es cerrada bajo intersecciones numerables:
T
si Ai F para todo i N, entonces iN Ai F.
3. F es cerrada bajo uniones finitas:
S
si Ai F para todo i {1, . . . , m}, entonces m
i=1 Ai F.
4. F es cerrada bajo intersecciones finitas:
T
si Ai F para todo i {1, . . . , m}, entonces m
i=1 Ai F.
5. F es cerrada bajo la operacion de diferencia de conjuntos:
si A, B F, entonces A \ B F.
4. Ejemplo de -
algebra: todos subconjuntos de un conjunto. Sea X un conjunto
y sea F el conjunto de todos sus subconjuntos. Entonces F es una -algebra.
5. Ejemplo de -
algebra: subconjuntos numerables y sus complementos. Sea
X un conjunto no numerable y sea F el conjunto que consiste en todos los subconjuntos
finitos o numerables de X y todos subconjuntos de X cuyos complementos son finitos o
numerables. Entonces F es una -algebra.

Sigma-algebras, pagina 1 de 2

6. Intersecci
on de -
algebras es -
algebra. Sea {Fj : j J} una familia de algebras sobre X (el conjunto J puede ser finito, numerable o no numerable). Entonces
su interseccion
\
H :=
Fj
jJ

es -algebra sobre X.
7. Sigma-
algebra generada por un conjunto de subconjuntos de X. Sea G 2X .
Entonces existe una u
nica -algebra F que contiene G y es mnima entre todas las algebras que contienen G:
1. G F.
2. Si H es una -algebra sobre X y G H, entonces F H.
Se dice que F es la -algebra generada por G.
8. Ejercicio: -
algebra generada por subconjuntos finitos de un conjunto no
numerable. Sea X un conjunto no numerable y sea G el conjunto de los subconjuntos
finitos de X. Describa la -algebra generada por G.
9. Definici
on (conjuntos de Borel en un espacio topol
ogico). Sea (X, ) un espacio
topologico. La -algebra B generada por se llama -algebra de Borel. En esta situacion
los elementos de B se llaman conjuntos de Borel o conjuntos borelianos.

Sigma-algebras, pagina 2 de 2