Sigma- algebras

Objetivos. Denir la noci on de - algebra y estudiar sus propiedades b asicas. Denir la noci on 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. Denici 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.
i N

Ai ,

3. Propiedades elementales de - algebras. Se F una - algebra sobre X . Entonces: 1. F. 2. F es cerrada bajo intersecciones numerables: si Ai F para todo i N, entonces iN Ai F. 3. F es cerrada bajo uniones nitas: si Ai F para todo i {1, . . . , m}, entonces 4. F es cerrada bajo intersecciones nitas: si Ai F para todo i {1, . . . , m}, entonces
m i=1

Ai F. Ai F.

m i=1

5. F es cerrada bajo la operaci on de diferencia de conjuntos: si A, B F, entonces A \ B F.

Sigma- algebras, p agina 1 de 4

Ejemplos de - algebras
4. Ejemplo de una - algebra: conjunto potencia. Sea X un conjunto. Entonces 2X es una - algebra sobre X . 5. Ejemplo de una - algebra: subconjuntos numerables y sus complementos. Sea X un conjunto no numerable. Denotemos por N al conjunto de todos los subconjuntos nitos o numerables de X : N := Y X : Y es nito o numerable . Denotemos por F al conjunto que consiste en todos los subconjuntos nitos o numerables de X y todos subconjuntos de X cuyos complementos son nitos o numerables: F := Y X : Y N Y c N . Entonces F es una - algebra. Indicaci on acerca de la demostraci on. En la demostraci on de la propiedad 3 hay que conc siderar dos casos: 1) Ai N para todo i N; 2) Aj N para alg un j N.

Sigma- algebras, p agina 2 de 4

Sigma- algebra generada por un conjunto de conjuntos

6. Intersecci on de un conjunto de - algebras es una - algebra. Sea un conjunto de - algebras sobre X . Denotemos por H a la intersecci on de las - algebras pertenecientes a : H := A = Y X : A Y A .
A

Entonces H es una - algebra sobre X . Demostraci on incompleta. Probemos solamente que H es cerrada bajo uniones numerables. Sea (Bj )j N HN y sea C := Bj .
j N

Para cada j N tenemos que Bj H. Por la construcci on de H esto signica que j N A Bj A.

Podemos intercambiar el orden de cuanticadores : A j N Bj A.

En otras palabras, para cada A la sucesi on (Bj )j N toma valores en A. Como A es una - algebra, esto implica que C A. Recordando que A era arbitraria concluimos que C H. 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 m nima entre todas las a lgebras 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 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. Indicaci on: determine qu e conjuntos se obtienen de los conjuntos unipuntuales al aplicar las operaciones de - algebra. 9. Denici on ( - algebra de Borel de un espacio topol ogico). Sea (X, ) un espacio topol ogico. La - algebra B generada por la topolog a se llama la - algebra de Borel. En esta situaci on los elementos de B se llaman conjuntos de Borel o conjuntos borelianos. Sigma- algebras, p agina 3 de 4

Generadores de la sigma- algebra de Borel del eje real

10. Proposici on (la sigma- algebra de Borel del eje real est a generada por los rayos derechos). La - algebra BR est a generada por {(a, +) : a R}. Demostraci on. Denotemos por F a la - algebra generada por G = {(a, +) : a R}. 1. [b, +) =
nN

1 , + n

F.

2. (a, b) = (a, +) \ [b, +) F. 3. Sea A un conjunto abierto en R. Se sabe que A se puede representar como la uni on de una sucesi on 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 topolog a de R, y BR es la m nima - algebra con esta propiedad. Por lo tanto BR F. 5. BR es una - algebra que contiene a G, y F es la m nima - algebra con esta propiedad. Por lo tanto F BR . 11. Proposici on (la sigma- algebra de Borel del eje real extendido est a generada a generada por {(a, +] : a R}. por los rayos derechos). La - algebra BR est

Sigma- algebras, p agina 4 de 4