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. Notacion (conjunto potencia, conjunto de los subconjuntos). Sea X un con-

junto. 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 =

S
iN Ai ,
entonces B F.

algebras. Sea F una -algebra sobre X. Entonces:

3. Propiedades elementales de -

1. F.

2. F es cerrada bajo intersecciones numerables:

si Ai F para todo i N, entonces iN Ai F.
T

3. F es cerrada bajo uniones finitas:

i=1 Ai F.
si Ai F para todo i {1, . . . , m}, entonces m
S

4. F es cerrada bajo intersecciones finitas:

i=1 Ai F.
si Ai F para todo i {1, . . . , m}, entonces m
T

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
kN Ak tambi
en es un conjunto a lo mas numerable.

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 com-

plementos. 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 con-

siderar 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 numera-

bles. 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 A 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). Sea G 2 . Entonces existe una u
X
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 contie-
nen a G:
:= {A 2X : A es una -algebra G A}.
Definimos F como la interseccion de los elementos de :
\
F := = A.
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 con-
junto 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.
nN
n

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