Está en la página 1de 20

Los Conjuntos de Borel y su Relacin con los Conjuntos Cerrados

Diana Rocio Duarte Roa


November 27, 2010

Resumen
En el desarrollo de este trabajo se presentarn varios conceptos importantes de la matematica, estos son, el anillo de Borel y algunas nociones bsicas de Topologa y de la Teoria de la Medida. Temas que estn fuertemente ligados entre si debido a que el anillo de Borel se genera mediante una topologia dada, esto es, mediante uniones e intersecciones contables y complementos entre los elementos de la Topologa.

Introduccin
Los elementos del anillo son llamados conjuntos de Borel, los cuales tienen la propiedad de que todos estos son conjuntos medibles, he aqui donde interviene la Teoria de la Medida . Uno de los primeros matemticos dedicados a trabajar sobre estos temas fue Flix douard Justin mile Borel (Saint-Arique, 7 de enero de 1871 - Pars, 3 de febrero de 1956), matemtico y poltico francs que junto con Ren-Louis Baire y Henri Lebesgue fueron los pioneros de la Teora de la Medida. Se realizar una breve ralacin entre los conjuntos cerrados y los conjuntos de Borel, objetivo principal de este trabajo; para lo cual se presentarn ejemplos con el n de que el lector comprenda de una forma sencilla y clara todos los temas expuestos.

Denicin 1 [Anillo]
Una familia R de conjuntos, es un anillo si para A R y B R implica que: 1. A B R 2. A B R
AB R
1

Si R es un anillo entonces se cumple que:

Denicin 2 [ anillo]
Un anillo R se le llama anillo si para A R con n = 1, 2, 3, ... cumple que:
n

An R
n=1

Si R es un anillo se tiene que:

An R
n=1

Denicin 3 [Conjunto de Borel]


Es un conjunto que se obtiene haciendo uniones, intersecciones y complementos de una familia de conjuntos abiertos nitos numerables dados. La familia formada por todos los conjuntos de Borel es anillo. A continuacin se presentan dos ejemplos con el n de aplicar las deniciones anteriores:
1 AB = {x : x A, pero x B} Notacin utilizada en el Anlisis Matemtico de Apostol /

Ejemplo 1
El intervalo (, 0] es un conjunto de Borel?
Solucin:

Para vericar que (, 0] es un conjunto de Borel se debe encontrar una familia de conjuntos en el que al hacer uniones, intersecciones y complementos obtengamos este intervalo, entre muchos mas. Sea
F = {(0, ),(11, 5),(0, 1),(4, 9)}

una familia de conjuntos abiertos sobre R. Haciendo uniones, intersecciones y complementos entre los elementos de F , obtenemos:
B ={(11, ),(0, ),(11, 5),(11, 9),{(0, 1) (4, 9)} ,(0, 5),(0, 1),(4, 9),(4, 5),,

(, 0], {, 11] [5, )} , {(, 0] [1, )} , {(, 4] [9, )}}

Observando los elementos que conforman a B encontramos que uno de ellos es efectivamente (, 0] , por tanto este intervalo es un conjunto de Borel.

Ejemplo 2
Encontrar todos los conjuntos de Borel en X = {1, 2, 3, 4} con = {, X, {1} , {2} , {1, 2}} y vericar que stos forman un anillo.
Solucin:

Haciendo uniones, intersecciones y complementos entre los elementos de obtenemos:


B = {X, {1} , {2} , {1, 2} , , {2, 3, 4} , {1, 3, 4} , {3, 4}}

Los elementos de la familia B son todos conjuntos de Borel. Ahora veamos queB es un anillo y luego un anillo:
Veamos que el resultado de hacer uniones dos a dos entre elementos de B

estan efectivamente contenidas en sta familia:

X X X X X X X

{1} = X B {2} = X B {1, 2} = X B =X B {2, 3, 4} = X B {1, 3, 4} = X B {3, 4} = X B

{1} {2} = {1, 2} B {1} {1, 2} = {1, 2} B {1} = {1} B {1} {2, 3, 4} = X B {1} {1, 3, 4} = {1, 3, 4} B {1} {3, 4} = {1, 3, 4} B

{2} {1, 2} = {1, 2} B {2} = {2} B {2} {2, 3, 4} = {2, 3, 4} B {2} {1, 3, 4} = X B {2} {3, 4} = {2, 3, 4} B

{1, 2} = {1, 2} B {1, 2} {2, 3, 4} = X B {1, 2} {1, 3, 4} = X B {1, 2} {3, 4} = X B

{2, 3, 4} = {2, 3, 4} B {1, 3, 4} = {1, 3, 4} B {3, 4} = {3, 4} B

{2, 3, 4} {1, 3, 4} = X B {2, 3, 4} {3, 4} = {2, 3, 4} B {1, 3, 4} {3, 4} = {1, 3, 4} B

Ahora revisemos que el resultado de hacer diferencias dos a dos entre elementos de B estan efectivamente en B: X X X X X X X {1} = {2, 3, 4} B {2} = {1, 3, 4} B {1, 2} = {3, 4} B =X B {2, 3, 4} = {1} B {1, 3, 4} = {2} B {3, 4} = {1, 2} B {1} {2} = {1} B {1} {1, 2} = B {1} = {1} B {1} {2, 3, 4} = {1} B {1} {1, 3, 4} = B {1} {3, 4} = {1} B {2} {1, 2} = B {2} = {2} B {2} {2, 3, 4} = B {2} {1, 3, 4} = {2} B {2} {3, 4} = {2} B

{1, 2} = {1, 2} B {1, 2} {2, 3, 4} = {1} B {1, 2} {1, 3, 4} = {2} B {1, 2} {3, 4} = {1, 2} B

{2, 3, 4} = B {1, 3, 4} = B {3, 4} = B

{2, 3, 4} {1, 3, 4} = {2} B {2, 3, 4} {3, 4} = {2, } B {1, 3, 4} {3, 4} = {1} B

Por tanto, tenemos que B es un anillo.

Ahora revisemos que sea un anillo. Para esto la unin de todos los elementos de B debe pertenecer a ste:
X {1} {2} {1, 2} {2, 3, 4} {1, 3, 4} {3, 4} = X B

Por lo tanto B es un anillo. Por ultimo, como B es anillo debe vericar que el resultado de hacer la interseccin entre todos sus elementos debe pertenecer a ste:
X {1} {2} {1, 2} {2, 3, 4} {1, 3, 4} {3, 4} = B

Proposicin 1
Sea F una coleccin (nita o innita) de conjuntos. Entonces:
c

A
AF

=
AF

Ac

Proposicin 2
Un conjunto E es abierto si y solo si su complemento es cerrado.

Teorema 1
La interseccin de una coleccin arbitraria de conjuntos cerrados en un Espacio Mtrico o Topolgico es un conjunto cerrado.
Demostracin:

Sea {F } una coleccin arbitraria de conjuntos cerrados. Como:


c

F c

ya que cada F {F } es un conjunto cerrado, entonces, F c es un conjunto abierto, y dado que la unin arbitraria de conjuntos abiertos es un conjunto abierto; entonces:
F c

es un conjunto abierto. Luego,


F

es un conjunto cerrado.

Teorema 2
Sea {i }iI una coleccin de topologas sobre X. Entonces
t
iI

es tambin una topologa en X.


Demostracin:

Como {i }iI es una coleccin de topologas, X i y i para cada i I . As,


X,
iI

Ahora sea, {G } una coleccin nita de conjutos tales que


{G }
iI

Esto es,
{Gi } i

Para cada i I. Luego, como cada i es una topologa, tenemos que


G i

y por tanto
G
iI

Por ltimo, tomemos {L } una coleccin arbitraria de conjuntos tales que


{L }
iI

Luego,
{L } i

Para cada i I. Por lo que se tiene que


L i

para cada i I., por tanto


L
iI

Luego,
i
iI

es una topologa en X.

Ejemplo 3
Sea X = {0, 2, 4, 6, 8}y
1 = {, X, {2} , {6} , {2, 6} , {4, 8} , {2, 4, 8} , {4, 6, 8} , {2, 4, 6, 8}} 2 = {, X, {2, 4} , {2, 8} , {2, 6} , {2, 4, 8} , {2, 4, 6} , {2, 6, 8} , {2} , {2, 4, 6, 8}} 3 = {, X, {0, 4, 8} , {6, 8} , {2, 4} , {0, 4, 6, 8} , {0, 2, 4, 8} , {2, 4, 6, 8} , {8} , {4}} 4 = {, X, {0} , {4, 6, 8} , {4, 6} , {2} , {0, 4, 6, 8} , {0, 4, 6} , {0, 2} , {2, 4, 6, 8} , {2, 4, 6}}

Topologas sobre X . Vemos que


4

i = {, X, {6} , {2, 6} , {2}}


i=1

La cual es tambin topologa sobre X.

Conjetura 1
Sea {Fi }iI una coleccin de anillos de Borel, entonces
Fi
iI

es un anillo de Borel.
Demostracin:

En primer lugar se demostrar que anillo.

iI

Fi es un anillo y posteriormente un

Sea {Hj }j una familia de conjuntos, tales que {Hj }j


iI

Fi

(1)

ya que cada Fi con i I es un anillo, se tiene que para H , H {Hj }j


H H Fi

para cada i I . Luego


H H
iI

Fi

De la misma manera,
H H Fi

para cada i I . Por lo que


H H
iI

Fi

Luego

iI

Fi es un anillo.

Dado que Fi para cada i I es un anillo y por (2), se tiene que {Hj }j Fi para cada i I . Luego Hj Fi
j

y de esta manera,
Hj
j iI

Fi

Por lo tanto,

iI

Fi es un anillo.
iI

Se deber tener en cuenta que la topologa asociada al anillo iI i presentada en el Teorema anterior.

Fi es la

Ejemplo 4
Sea X = {1, 2, 3, 4} y
1 = {, X, {1, 2} , {1, 3} , {1, 2, 3} , {1}} 2 = {, X, {1} , {3, 4} , {1, 4} , {2, 3} , {1, 3, 4} , {1, 2, 3} , {2, 3, 4} , {4} , {3}} 3 = {, X, {2, 3} , {1, 2} , {1, 4} , {1, 2, 3} , {1, 2, 4} , {2} , {1}}

Topologas en X. Ahora sean


1 = {X, {1, 2} , {1, 3} , {1, 2, 3} , {1} , , {3, 4} , {2, 4} , {4} , {2, 3, 4}} 2 = {, X, {1} , {3, 4} , {1, 4} , {2, 3} , {1, 3, 4} , {1, 2, 3} , {2, 3, 4} , {4} , {3} , {1, 2} , {1, 4} , {2} , {1, 2, 4}} 3 = {, X, {2, 3} , {1, 2} , {1, 4} , {1, 2, 3} , {1, 2, 4} , {2} , {1} , {3, 4} , {4} , {3} , {1, 3, 4} , {2, 3, 4}}

Los anillo de Borel generados por las topologas 1 , 2, 3 respectivamente. A continuacin se realiza la interseccin entre los anillo de Borel:
3

=
i=1

i = {, X, {1, 2} , {1, 3} , {1, 2, 3} , {1} , {3, 4} , {2, 4} , {4} , {2, 3, 4}} = 1

El cual es generado por la topologa:


3

=
i=1

i = {, X, {1, 2} , {1, 3} , {1, 2, 3} , {1}} = 1

Es notorio que genera mediante uniones, intersecciones y complementos entre sus elementos a , por lo tanto es un anillo de Borel.

Conjetura 2
La interseccin contable de conjuntos cerrados es un conjunto de Borel
Demostracin:

Sea (X, )un espacio topolgico y sea {An }una familia de conjuntos cerrados, tal que:
{An } c

Ya que

An es un conjunto cerrado, se tiene que An c

Ahora, sea el anillo de Borel obtenido al realizar uniones, intersecciones y complementos entre los elementos de . Luego,
An

y de esta manera,

An es un conjunto de Borel.

Ejemplo 5
Sea X = {a, b, c, d, e} y
= {, X, {a, b} , {a, c} , {c, e} , {b, d, e} , {a, b, c} , {a, b, c, e} , {a, b, d, e} , {a, c, e} , {b, c, d, e} , {a} , {b} , {c} , {e}}

una topologa en X. Tomemos A = {{c, d, e} , {b, d, e} , {d, e} , {b, c, d, e}} una coleccin de conjuntos cerrados con respecto a . Hagamos
A = {d, e}

10

el cual es un conjunto cerrado ya que {d, e} A. Ahora, formando el anillo de Borel de acuerdo a , se tiene que
= {, X, {a, b, c} , {a, b, c, e} , {a, b, d, e} , {a, b} , {a, b, e} , {a, c} , {c, e} , {b, d, e} , {a, c, e} , {b, c, d, e} , {a} , {b} , {c} , {e} , {b, e} , {b, c, e} , {a, e} , {c, d, e} , {a, b, d} , {d, e} , {d} , {b, d} , {a, c, d, e} , {a, b, c, d}}

De donde se observa que {d, e} . Por tanto, {d, e} es un conjunto de Borel.

Denicin 4 [Longitud de un Intervalo]


Denimos la longitud de los intervalos a < x < b, a x b, a x < b, a < x b, como b a. La longitud de un intervalo innito tal como x > a o x b se dene como . En el caso a = b, el intervalo a x b degenera en un punto que tiene longitud cero. Asi la longitud es un numero no negativo.

Denicin 5
Si I1 , I2 , ...... son intervalos mutuamente disjuntos, entonces
L I1 I2 ... = L (I1 ) + L (I2 ) + ...

Proposicin 3
La longitud del conjunto vacio es cero
L () = 0

Denicin 6 [Longitud de un Conjunto Abierto]


Puesto que cualquier conjunto abierto O se puede expresar como unin enumerable de intervalos mutuamente disjuntos y abiertos I1 , I2 , ...... de manera nica excepto por el orden en que se consideren, se tiene que la longitud de un conjunto abierto O = Ik donde los Ik son intervalos abiertos mutuamente k=1 disjuntos, es

L (O) = L (I1 ) + L (I2 ) + ... =


k=1

L (Ik )

(2)

11

Si se restringe O de modo que este situado en algn instervalo fundamental I = [a, b], entonces (2) converge hacia un numero no negativo menor o igual que b a,
0 L(O) b a

Denicin 8 [Medida de un Conjunto]


Una generalizacin del concepto de longitud a conjuntos arbitrarios de la recta real lleva al concepto de medida de un conjunto E , denotado por m (E) la cual satisface: 1. m (E) est denida para cualquier conjunto E 2. m (E) 0 3. Si E =
n k=1

Ek donde Ek son mutuamente disjuntos, entonces


n

m (E) =
k=1

m (Ek )

4. Si E =

k=1

Ek donde Ek son mutuamente disjuntos, entonces

m (E) =
k=1

m (Ek )

5. Si E1 E2 , entonces m (E1 ) m (E2 ) 6. Si cada punto de un conjunto E se traslada distancias iguales en la misma direccin sobre la recta real, la medida del segmento trasladado es la misma m (E).

Teorema 3
Todo conjunto de Borel es medible.

12

Ejemplo 6

En este ejercicio se describe un ejemplo de un conjunto no medible de R, esto es un conjunto que no es de Borel. Si x e y son nmeros reales del intervalo [0, 1], diremos que x e y son equivalentes, y escribemos x y , si x y es racional. La relacin es una relacin de equivalencia, y el intervalo [0, 1] se puede escribir como reunin de conjuntos disjuntos (llamados clases de equivalencia) en cada uno de los cuales no hay puntos equivalentes. Elegimos un punto de cada clase de equivalencia y sea E el conjunto de los puntos elegidos. Supongamos que E es medible y llegaremos a una contradiccin.
Solucin

La construccin se basa en las propiedades fundamentales presentadas en la denicin de medida de un conjunto. En primer lugar se demostrara que es una relacin de equivalencia:
Observemos que en efecto si x y entonces y x = (x y) es racional tambin, luego y x. Si x y e y z entonces sea u= xy = p q p' q

v=

yz =

luego
u+v = xz = pq + qp qq

por tanto x z .
Por ltimo, x x ya que x x = 0

Sea ahora A0 un subconjunto de [0, 1] formado por un nico elemento de cada clase de equivalencia, y consideremos la sucesin {rn }nN de todos los nmeros racionales del intervalo [1, 1] (rn = rm si n = m). Para cada n N denimos el conjunto An como el conjunto de puntos
An = {rn + x, x A0 }
2 Ejercicio

propuesto en el Anlisis Matemtico de Apostol. Pgina 370, ejercicio 10.36

13

Que consiste en trasladar el conjunto A0 sumandole el nmero rn .

Si A0 es medible, se tiene que:


Entonces cada conjunto An es medible ya que es traslacin de un conjunto

medible.

Para cada n N, m (An ) = m (A0 ) Los conjuntos An son disjuntos dos a dos:

Si hubiese un x (AM

AN ) existirian xN A0 y xM A0 de modo que x = rN + xN = rM + xM

de donde xN xM = rM rN Q. Luego xN xM . Como en A0 solo hay un elemento de cada clase de equivalencia, tiene que ser xN = xM y por tanto rN = rM y entonces N = M.
La unin de todos los conjuntos An ,

A=
n=1

An

contiene al intervalo [0, 1] y est contenida en el intervalo [1, 2]. Todo punto x [0, 1] tiene que estar en alguna de las clases de equivalencia denidas por la relacin, luego tiene que existir un x0 A0 talque x x0 y por tanto r = x x0 es un racional, y como x y x0 estn en [0, 1], r [1, 1] ser uno de los elementos de la sucesin {rn }nN , r = rk y x = rk + x0 Ak . 14

As que
[0, 1]
nN

An

Por otro lado, si x est en un conjunto An , x = rn + xn con rn [1, 1] y x0 A0 [0, 1], luego x [1, 2]
En consecuencia 1 = m ([0, 1]) m
nN

An

=
nN

m (An ) 3 = m ([1, 2])

lo que es imposible tanto si m (An ) = m (A0 ) = 0 para todo n, como si m (An ) = m (A0 ) > 0 para todo n. Por tanto A0 no es medible y tampoco conjunto de Borel.

Denicin 9
Sea X un conjunto y f la coleccin de todos los subconjuntos U de X tales que X U es nito o es todo X . Entonces f es una topologa en X , llamada Topologa de los complementos nitos.

Ejemplo 7
Generar el anillo de Borel a partir de (R, f ).
Solucin

En primer lugar se debe tener claro que es (R, f ), para esto, utilizando la denicin de topologa de los complementos nitos se obtiene que:
f = {A R : Ac es f inito} {}

Ahora se construir el anillo de Borel correspondiente a f :


B=

, R,
n=0

{An R : Ac es f inito} , n
n=0

{An R : Ac es f inito} , Ac n n

15

Veamos grcamente como son los conjuntos de Borel:

Observamos en la grca anterior que {An R : Ac es f inito} = R en n n=0 el caso en que todos los Ai para i = 0, 1, 2, .... son distintos todos a la vez.

En este caso {An R : Ac es f inito} = R A0 debido a que A0 es comn n n=0 a todos y no hay un Aj talque recubra a A0 .

16

Para terminar el anlisis de los conjuntos de Borel y su relacin con los conjuntos cerrados, se mostrar a continuacin que el anillo de Borel contiene todos los conjuntos abiertos y todos los conjuntos cerrados del espacio.

Denicin 10
El anillo de Borel de Rn es el anillo ms pequeo en Rn que contiene todos los subconjuntos abiertos de Rn .

Denicin 11
Si A es una clase de subconjuntos de X , entonces el anillo generado por A, denotada por A , se dene como:
A =
F I(A)

donde I (A) = {F : A F y F es un anillo en X} es la coleccin de todos los anillos que contienen a A .

Denicin 12
Si X es un espacio topolgico, se puede construir el anillo T , donde T es el conjunto de todos los subconjuntos abiertos. sta es llamada anillo de Borel denotada por B (X).

Ejemplo 8 Sea
B Rk

el anillo de Borel en Rk , 1 k < . Entonces


B Rk = A/A es un subconjunto abierto de Rk

que se genera por las siguientes clases de subconjuntos:


O1 = {(a1 , b1 ) ... (ak , bk ) / ai bi , 1 i k}

O2 = {(, x1 ) ... (, xk ) /x1 , ..., xk R} O3 = {(a1 , b1 ) ... (ak , bk ) /ai , bi Q, ai < bi , 1 i k} O4 = {(, x1 ) ... (, xk ) /x1 , ..., xk Q}

17

Para ver que Oi = B Rk , note que Oi B Rk para i = 1, 2, 3, 4 y bastara mostrar que Oi B Rk . Sea G un anillo que contiene a O3 . Observe que dado cualquier conjunto abierto A Rk , existe una sucesin de conjuntos {Bn }n1 en O3 tal que
A=
n1

Bn

Ya que G es un anillo y Bn G para todo n 1, A G . Por lo tanto, G es un anillo que contiene todos los subconjuntos abiertos de Rk y por lo tanto Oi B R k .

18

Conclusiones
El anillo de Borel contiene todos los conjuntos abiertos, todos los con-

juntos cerrados y uniones e intersecciones contables de conjuntos abietos y cerrados de un espacio X .

Encontrar conjuntos que no sean de Borel, no es tan sencillo, por lo que

es preferible considerar la teora de la medida y buscar en sta conjuntos no medibles ya que aqui se cuenta con muchas mas herramientas con que trabajar. Si se encuentra un conjunto no medible, ste no es de Borel.

La interseccin contable de conjuntos de cerrados es un Conjunto de Borel, sto debido a que el anillo contiene a todos lo conjuntos cerrados. Siempre se podr encontrar un anillo a partir de la interseccin de anillos de Borel dados. De cualquier familia de conjuntos abiertos se podr generar mediante uniones, intersecciones y complementos un anillo de Borel.

19

Bibliografa
1. Rudin, Walter. Principios del Anlisis Matemtico. Tercera Edicin. 2. Apostol, Tom. Anlisis Matemtico. Segunda Edicin. 3. Lipschutz, Saymour. Teora y Problemas de Topologa General. 4. Marrero, M. Topologa. Editorial Alhmabra. 5. Bachman, George. Anlisis Funcional. Editorial Tcnos. 6. Athreya, Krishna. Measury Theory and Probability Theory. Editorial Board. 7. Cheng, Steve. A Short Course on the Lebesgue Integral and Measury Theory. 8. Bartle, Robert. Measury Theory. 9. Gariepy, Ronald. Measury Theory and ne Properties of Functions. 10. Munkres, James. Topology. Segunda Edicin.

20