Professional Documents
Culture Documents
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
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
An R
n=1
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),,
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:
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
X X X X X X X
{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
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
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:
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 cerrado.
Teorema 2
Sea {i }iI una coleccin de topologas sobre X. Entonces
t
iI
Esto es,
{Gi } i
y por tanto
G
iI
Luego,
{L } i
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}}
Conjetura 1
Sea {Fi }iI una coleccin de anillos de Borel, entonces
Fi
iI
es un anillo de Borel.
Demostracin:
iI
Fi es un anillo y posteriormente un
Fi
(1)
Fi
De la misma manera,
H H Fi
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}}
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=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
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}}
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
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
m (E) =
k=1
m (Ek )
4. Si E =
k=1
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
13
medible.
Para cada n N, m (An ) = m (A0 ) Los conjuntos An son disjuntos dos a dos:
Si hubiese un x (AM
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
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} {}
B=
, R,
n=0
{An R : Ac es f inito} , n
n=0
{An R : Ac es f inito} , Ac n n
15
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)
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
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-
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