Sigma-

algebras
Objetivos. Definir la nocion de -algebra y estudiar sus propiedades basicas. Definir la
nocion de -algebra generada por un conjunto de conjuntos.
Requisitos. Operaciones con conjuntos, operaciones con familias de conjuntos.
1. Notaci
on (conjunto potencia, 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. Sea 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.

Sigma-algebras, pagina 1 de 5

Ejemplos de -
algebras
4. Ejemplo de una -
algebra: conjunto potencia. Sea X un conjunto. Entonces 2X
es una -algebra sobre X.
5. Propiedades de conjuntos finitos o numerables (repaso). Recuerde como se
demuestran las siguientes proposiciones:
Sea (Ak )kN una sucesion de conjuntos a lo mas numerables. Entonces la union
S
en es un conjunto a lo mas numerable.
kN Ak tambi
Sea B un conjunto a lo mas numerable y sea C B. Entonces que C tambien es a
lo mas numerable.
6. Ejemplo de una -
algebra: subconjuntos a lo m
as numerables y sus complementos. Sea X un conjunto no numerable. Denotemos por N al conjunto de todos
los subconjuntos finitos o numerables de X:


N := Y X : Y es finito o numerable .
Denotemos por F al conjunto que consiste en todos los subconjuntos finitos o numerables
de X y todos subconjuntos de X cuyos complementos son finitos o numerables:


F := Y X : Y N Y c N .
Entonces F es una -algebra.
Indicacion acerca de la demostracion. En la demostracion de la propiedad 3 hay que considerar dos casos: 1) Ai N para todo i N; 2) Acj N para alg
un j N.

Sigma-algebras, pagina 2 de 5

Sigma-
algebra generada por un conjunto de conjuntos
7. Proposici
on (intersecci
on de un conjunto de -
algebras es una -
algebra).
Sea un conjunto de -algebras sobre X. Denotemos por H a la interseccion de las
-algebras pertenecientes a :
\


H :=
A = Y X : A Y A .
A

Entonces H es una -algebra sobre X.

Demostracion incompleta. Probemos solamente que H es cerrada bajo uniones numerables. Sea (Bj )jN HN y sea
[
C :=
Bj .
jN

Para cada j N tenemos que Bj H. Por la construccion de H esto significa que

j N

Bj A.

Podemos intercambiar el orden de cuantificadores :

A

j N

Bj A.

En otras palabras, para cada A la sucesion (Bj )jN toma valores en A. Como A es
una -algebra, esto implica que C A. Recordando que A era arbitraria concluimos
que C H.
8. Proposici
on (sigma-
algebra generada por un conjunto de subconjuntos de
X
X). Sea G 2 . 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.
Demostracion. Denotemos por al conjunto de todas las -algebras sobre X que contienen a G:
:= {A 2X : A es una -algebra G A}.
Definimos F como la interseccion de los elementos de :
\
A.
F := =
A

Sigma-algebras, pagina 3 de 5

En otras palabras, F consiste de todos aquellos subconjuntos de X que pertenecen a

cualquier -algebra que contiene a G.
Por la Proposicion 7, F es una -algebra sobre X. Si Y G, entonces Y A para
cualquier A y por lo tanto Y F. Hemos demostrado que F . De la definicion
de interseccion se sigue que si H , entonces F H. Por lo tanto, F es el elemento
mnimo de .
9. Ejercicio: -
algebra generada por los subconjuntos unipuntuales de un conjunto no numerable. Sea X un conjunto no numerable y sea G el conjunto de los
subconjuntos unipuntuales de X:


G := {t} : t X .
Describa la -algebra F generada por G. Indicacion: determine que conjuntos se obtienen
de los conjuntos unipuntuales al aplicar las operaciones de -algebra.
10. Definici
on (-
algebra de Borel de un espacio topol
ogico). Sea (X, ) un
espacio topologico. La -algebra B generada por la topologa se llama la -algebra de
Borel. En esta situacion los elementos de B se llaman conjuntos de Borel o conjuntos
borelianos.

Sigma-algebras, pagina 4 de 5

Generadores de la sigma-
algebra de Borel del eje real
11. Proposici
on (la sigma-
algebra de Borel del eje real est
a generada por los
rayos derechos). La -algebra BR esta generada por {(a, +) : a R}.
Demostracion. Denotemos por F a la -algebra generada por
G = {(a, +) : a R}.

\
1
1. [b, +) =
b , + F.
n
nN
2. (a, b) = (a, +) \ [b, +) F.
3. Sea A un conjunto abierto en R. Se sabe que A se puede representar como la union
de una sucesion de intervalos de la forma (an , bn ), donde an , bn R. Por lo tanto
A F.
4. F es una -algebra que contiene a la topologa de R, y BR es la mnima -algebra
con esta propiedad. Por lo tanto BR F.
5. BR es una -algebra que contiene a G, y F es la mnima -algebra con esta propiedad.
Por lo tanto F BR .
12. Proposici
on (la sigma-
algebra de Borel del eje real extendido est
a generada
por los rayos derechos). La -algebra BR esta generada por {(a, +] : a R}.

Sigma-algebras, pagina 5 de 5