Topolog a de Vietoris

Arturo S anchez Gonz alez1 , Dr. Fernando Mac as Romero1 Facultad de Ciencias F sico Matem aticas - Benem erita Universidad Aut onoma de Puebla Denici on 3. Sean r > 0, p X y A CL(X ) y d una m etrica para X , se denen: 1. La bola de radio r centrada en p como B (r, p) = {q X : d(p, q ) < r} 2. La nube de radio r centrada en A como N (r, A) = {q X : existe x A tal que d(x, q ) < r}. En ocasiones tambi en se le llama bola abierta generalizada en X sobre A de radio r. [2] Nube de radio . Es importante ver que, al usar (2) de la denici on anterior, (i) y (ii) de la distancia de Vietoris signican que A N (r, B ) y B B (r, A). As , tal como lo realiz o Haussdorf hace a nos, ahora con las consideraciones ya hechas, se da el siguiente concepto. Denici on 4 (M etrica de Hausdor). Sea (X, d) un espacio m etrico acotado (es decir, d(X X ) es acotado). La m etrica de Hausdor para CL(X ) inducida por d es denida, para cualquier A, B CL(X ), como H (A, B ) = inf {r > 0 : A N (r, B ) B N (r, A)} Ahora consideremos hiperespacios formados por conjuntos que tengan una o m as de las propiedades topol ogicas m as comunes: conexidad, compacidad, etc. As , denamos algunos hiperespacios que satisfagan tales propiedades. Denici on 5. 1. CLC (X ) = {A CL(X ) : A es conexo} 2. 2X = {A CL(X ) : A es compacto} 3. C (X ) = {A 2X : A es conexo} Una vez dadas estas deniciones hay algunas aclaraciones pertinentes. La primera es la relacionada con 2X , ya que 2X = CL(X ) cuando X es compacto; y si X es Hausdor, se tiene que 2X = {A X : A es no vac o y compacto}. Notemos un hecho importante, si X es un continuo no degenerado, esto es, X un espacio con una m etrica d, compacto, conexo y no vac o, entonces 2X = {A X : A es no vac o y compacto}, lo cual se tiene dado que X es m etrico entonces es Hausdor, y como X es compacto, resulta que X es cerrado. As , las deniciones son equivalentes. Ahora, veamos que si A, B 2X se cumple que existe un n umero real r > 0 tal que A N (r, B ) y B N (r, A), por ejemplo, r = 1 + diam(A B ). As , sin importar si d es acotada o no, la denici on de H (A, B ) produce un real positivo siempre que A, B 2X . Ahora, vemos que la hip otesis de que d era acotada, s olo se utiliza para mostrar que H toma valores reales, por lo tanto, se sigue que H es una m etrica para 2X . Se cumple el siguiente Teorema 6. Sea (X, d) un espacio m etrico, entonces (2X , V ) es metrizable. Adem as, V = H Adem as, el teorema se puede escribir de la siguiente manera. Teorema 7. Si (X, ) es un espacio topol ogico metrizable, entonces (2X , V ) es metrizable; adem as, si d es cualquier m etrica que induce , entonces V = Hd . La notaci on Hd se utiliza para referirse a la m etrica de Hausdor con respecto a la m etrica d, pero cuando esta es conocida o evidente, se reduce a H . Despu es de esta, damos algunos resultados m as, los cuales son muy u tiles al trabajar con hiperespacios de continuos. Teorema 9. Si U es un subconjunto abierto de X y A U , entonces existe > 0 tal que N (, A) U . Teorema 10. Si X es un continuo, > 0 y A 2X , entonces 1. 2. 3. 4. A N (, A), N (, A) = aA B (, a). As , N (, A) es un abierto en X , N (, A) N (, A) para cada > 0 tal que < , y N (, A) = {N (, A) : > 0, < }. A partir de ahora se considerar a que X es un continuo no degenerado con m etrica d, esto es, X tiene m as de dos puntos. Antes de dar un teorema m as, necesitamos dar otra Denici on 8. Dados A, B X , denotamos por d(A, B ) a la distancia de A a B , que se dene como d(A, B ) = inf {d(a, b) : a A , b B }. Asimismo, la distancia de un punto p a un conjunto C es d(p, C ) = d({p}, C ).

n Introduccio Un continuo es un espacio m etrico, compacto y conexo y da lugar a la Teor a de Continuos, una rama de la Topolog a General que tiene numerosas aplicaciones en diversas areas de la Matem atica. En el presente trabajo de investigaci on se presenta parte de la teor a elemental de hiperespacios, se comienza con el hiperespacio CL(X ) y se dan algunos resultados sobre la topolog a de Vietoris relacionada con este. Posteriormente se encuentra el hiperespacio 2X , el cual posee propiedades fuertes que lo convierten en uno de los m as estudiados dentro de esta area. Una vez conocido 2X , se analizan algunas propiedades m as de la topolog a de Vietoris y se culmina con el estudio de tres familias de dicho hiperespacio. Hiperespacios y la Topolog a de Vietoris Sea (X, ) un espacio topol ogico. Un hiperespacio de X es una colecci on espec ca de subconjuntos de X con la topolog a de Vietoris, y que, por conveniencia, tales hiperespacios no incluyen al conjunto y sus elementos son conjuntos cerrados en X. As , el hiperespacio m as grande de X es CL(X ) = {A X : A = A es cerrado}. Necesitamos dar una topolog a para el hiperespacio m as grande que tenemos. Denici on 1. Sea (X, ) un espacio topol ogico. La topolog a de Vietoris para CL(X ) es la menor topolog a, V , para CL(X ) que tiene la siguiente propiedad natural: {A CL(X ) : A U } siempre que U , y {A CL(C ) : A B } es cerrado en V siempre que B es cerrado en . Se puede dar una base, BV , para V como sigue. Para ello, damos la notaci on siguiente: Para cualquier cantidad nita de subconjuntos S1 , . . . , Sn de X , sea
n

Ahora, deniremos tres familias de conjuntos en 2X . Denici on 11. Sea A X . 1. C (A) = {B 2X : B A}, 2. D(A) = {B 2X : B A = }, 3. E (A) = {B 2X : A B }. Se cumplen las siguientes propiedades de ellas. Teorema 12. Sea A un subconjunto de X . 1. Si A es abierto, entonces C (A) y D(A) son abiertos. 2. Si A es cerrado, entonces C (A),D(A) y E (A) son cerrados. Conclusiones La teor a de hiperespacios es una rama de la Topolog a general que resulta de sumo inter es en la Matem atica puesto que permite describir propiedades de varios conjuntos con suma sencillez, adem as, algunas de ellas resultan sumamente agradables a la vista cuando son dibujadas, como ejemplo de ellos tenemos al Conjunto de Cantor, el c rculo de Varsovia, el Queso (Esponja) de Menger, o el Arcoiris de Knaster. REFERENCIAS
[1] Christenson, C. O. y Voxman, W. L., Aspects of Topology, BCS Associates, Idaho, USA, 2nd. ed., 1998. [2] C ordova Salazar, Vianey, Elementos B asicos de Hiperespacios de Continuos, Tesis de licenciatura em Matem aticas por presentar en agosto de 2011 en la FCFM BUAP. [3] Galicia Hern andez, Viridiana y Mac as Romero, Fernando, Experimentos en Topolog a, Memorias en Extenso del Programa La Ciencia en tus Manos IX, organizado por la VIEP de la Benem erita Universidad Aut onoma de Puebla, p ags. 1-8, mayo de 2009. [4] Illanes, Alejandro, y Nadler Jr., Sam B., Hyperspaces. Fundamentals and Recent Advances, Marcel Dekker, Inc., ISBN 0-8247-1982-4. [5] Mac as Prado, Mar a del Roc o y Mac as Romero, Fernando, El Teorema de BolzanoWeirestrass, Memorias en Extenso del Programa J ovenes Investigadores V, organizado por la VIEP de la Benem erita Universidad Aut onoma de Puebla, p ags. 1-8, mayo de 2010. [6] S anchez Gonz alez, Arturo y Mac as Romero, Fernando, Conjuntos Abiertos, Memorias en Extenso del Programa J ovenes Investigadores VI, organizado por la VIEP de la Benem erita Universidad Aut onoma de Puebla, p ags. 1-8, mayo de 2011.

S1 , . . . , Sn = {A CL(X ) : A
i=1

Si A Si = para cada i}.

Estos conjuntos son conocidos como viet oricos. Con esta notaci on, enunciamos el siguiente: Teorema 2. Si (X, ) un espacio topol ogico, entonces BV = { U1 , . . . , Un : Ui para cada i y n < } es una base para V (la topolog a de Vietoris). Ahora, el teorema nos permite pensar geom etricamente en la topolog a de Vietoris como se ve en la Figura 1, donde A y B son puntos del mismo miembro U1 , . . . , Un de la base BV . [1] Vista geom etrica de la topolog a de Vietoris. Ahora, supongamos que d es una m etrica que induce la topolog a sobre X . La gura 1 sugiere que se considere la distancia de Vietoris entre A y B como el menor n umero real r tal que: (i) para cada a A existe b B tal que d(a, b) < r; (ii) para cada b B existe A A tal que d(b, a) < r. Y se podr a denir tal distancia como el nmo de todos los reales r que satisfacen (i) y (ii). Sin embargo, si A no es acotado y B s lo es, no existe ning un n umero real que cumpla (i). Este problema se puede resolver f acilmente suponiendo que d es una m etrica acotada que induce la misma topolog a para el espacio (p. e., susd tituyendo la m etrica d por la m etrica acotada D = 1+ d ). Antes de mostrar que cuando d es acotada se tiene la m etrica de Vietoris, se denen dos conceptos m as.