TOPOLOG IA FINITA

Jairo D az Maldonado 2 de julio de 2012

ESPACIOS TOPOLOGICOS Denici on de un espacio topol ogico Denici on: Un espacio topol ogico es un conjunto X con una topolog a , la cual es una colecci on de subconjuntos de X (llamados abiertos) que tienen las siguientes propiedades:

1. El conjunto vac o y X son abiertos. 2. La uni on arbitraria de conjuntos abiertos es abierto. 3. La intersecci on nita de conjuntos abiertos es abierto. Nota: Es necesario aclarar que s olo se considera el caso en que X es nito. Ejemplo: Hay 4 posibles topolog as en un conjunto de 2 elementos X = {1, 2}

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

Y sus diagramas de Venn son los que se muestran arriba: Denici on: Sean (X, 1 ) y (Y, 2 ) espacios topol ogicos, un homeomorsmo es una correspondencia biyectiva f: X Y tal que f (U ) es abierto (f (U ) 2 ) si y s olo si, U es abierto (U 1 ). Dos espacios topol ogicos (X, 1 ) y (Y, 2 ) se dicen homeomorfos o equivalentes, si existe un homeomorsmo de X sobre Y. Observaci on: Para cualquier conjunto X la topolog a {, X } es llamada la topolog a indiscreta, y la formada por todos los subconjuntos de X, es llamada la topolog a discreta. Para el ejemplo anterior (X, 2 ) y (X, 3 ) son topol ogicamente equivalentes u homeomorfos, estas 4 topolog as pueden ser ordenadas parcialmente por inclusi on. En la siguiente tabla se muestran el n umero de topolog as posibles que se pueden construir para alg un espacio X.

Conjuntos Cerrados y la Cotopolog a Denici on: Un subconjunto A de un espacio topol ogico X es llamado cerrado si su complemento es abierto. Denici on: A la colecci on de subconjuntos cerrados de la topolog a de X se le llama cotopolog a. Ejemplo: Consideremos las siguientes 3 topolog as para X = {1, 2, 3, 4} 1. 1 = {, 1, 3, 13, 34, 123, 134, X }. 2. 2 = {, 1, 12, 13, 14, 123, 124, 134, X }. 3. 3 = {, 1, 3, 12, 13, 34, 123, 134, X }. Sus cotopolog as correspondientes son:
= {, 2, 4, 12, 24, 124, 234, X }. 1. 1 = {, 2, 3, 4, 23, 24, 34, 234, X }. 2. 2 3. 3 = {, 2, 4, 12, 24, 34, 124, 234, X }.

Estas topolog as se obtienen al calcular los complementos de los elementos de i para i = 1, 2, 3. Nota: Denotaremos a la cotopolog a de por . Observaci on: Sean (X, ) un espacio topol ogico y X nito, entonces la cotopolog a correspondiente a la topolog a es tambi en una topolog a de X. Observaci on: Como consecuencia directa de la observaci on anterior tenemos que (X, ) es un espacio topol ogico. Observaci on: La relaci on de la topolog a-cotopolog a es sim etrica, es decir, = . Observemos adem as que y no son necesariamente distintos. Ejemplo: Consideremos a X = {1, 2, 3, 4} y su topolog a = {, 12, 34, X }, al calcular los complementos de los elementos de la topolog a tenemos que = {, 12, 34, X } y por tanto = Ejemplo: Sean X = {1, 2, 3, 4}, = {, 1, 12, 123, X } y = {, 4, 34, 234, X }. Claramente = . Sin embargo y son homeomorfos ya que se transforman el uno al otro bajo la permutaci on 1 4, 2 3. Bases Irreducibles de una Topolog a Denici on: En un espacio topol ogico (X, ) se dice que una colecci on de elementos de , es una base de la topolog a , si todo elemento de , es decir; si todo abierto de la topolog a es expresable como la uni on de elementos de . Ejemplo: Sean X = {1, 2, 3, 4} y 1 = {, 1, 3, 13, 34, 123, 134, X }. La colecci on 1 = {1, 3, 34, 123} es una base para 1 , ya que todos los elementos de la topolog a pueden ser expresados como la uni on de elementos de 1 esto es:

13 = 1 3

134 = 1 34

X = 123 34

Los elementos 1, 3, 34, 123 son expresados como un u nico elemento, mientras que es generado por la uni on vac a de elementos de 1 .

Observaci on: En general una topolog a tiene muchas bases. Denici on: Una cubierta abierta de AX es una colecci on C de abiertos tales que cada punto de A pertenece a uno de los abiertos de C. Denici on: La cubierta es nita si consiste de un n umero nito de abiertos. Denici on: Una cubierta D es m as na que otra cubierta C si cada abierto de C contiene un abierto de D. Denici on: El orden de una cubierta nita C de X es el n umero m aximo de abiertos de C que tiene una intersecci on no vac a. Teorema: Sea X un espacio topol ogico, dada una colecci on de subconjuntos de X las siguientes condiciones son equivalentes: 1. es una base para una topolog a sobre X. 2. cumple: Los elementos de forman una cubierta para X. Si x pertenece a la intersecci on de dos elementos b asicos 1 y 2 , entonces existe un elemento b asico 3 que contiene a x, tal que 3 1 2 . Una colecci on S de subconjuntos que satisface el primer punto de la condici on 2 es llamada subbase para la topolog a de X. Denici on: Sea X un conjunto. Una subbase S para una topolog a sobre X es una colecci on de subconjuntos de X cuya uni on es igual a X. Teorema: Si S es una subbase para una topolog a en un conjunto X entonces la colecci on de todas las uniones de intersecciones nitas de elementos de S es una topolog a en X llamada la topolog a generada por la subbase S. La base para la topolog a generada por S es la colecci on de todas las intersecciones de los elementos de S. Es claro que esta es cerrada bajo la intersecci on y de este modo satisface el segundo punto de la condici on 2. Denici on: Una base irreducible de un espacio topol ogico nito es una base, donde ninguno de sus elementos puede ser expresado como uni on de otros elementos de la base. Proposici on: Sea un espacio topol ogico (X, ). La colecci on de conjuntos = {p : p X } es una base irreducible para la topolog a .

 DEMOSTRACION: Para cualquier conjunto abierto O , y para cualquier p O implica que p O ya que:

p = {O : p O, O }

y por lo tanto

O = {p : p O}

Ahora probemos que es irreducible. Supongamos que p = i para i = 1, 2, 3, ..., n, luego i p , en particular p r con 1 r n; as p r . Por otra parte, si p i entonces p i y por la denici on de p se tiene que esto s olo ocurrir a si p = r . Ejemplo: Los elementos de la base irreducible de la primera topolog a 1 = {, 1, 3, 13, 34, 123, 134, X } son: 1 = 1

2 = 123

3 = 3

4 = 34 Observaci on: 1. Para la topolog a indiscreta = {, X }, p = X para toda p X . 2. Para toda topolog a discreta, p = {p} para toda p X . 3. La base irreducible de cualquier topolog a en X tiene a lo m as |X | elementos distintos.

Clausura, Coclausura, Interior y Frontera de un Conjunto General Denici on: 1. La clausura de A es la intersecci on de todos los conjuntos cerrados que . contienen a A, y se denota por A 2. La coclausura de A es la intersecci on de todos los conjuntos abiertos que . contienen a A y se denota por A Observaci on: si y s 1. A = A olo si A es cerrado. si y s 2. A = A olo si A es abierto. Ejemplo: Consideremos el conjunto X = {1, 2, 3, 4} con la topolog a = {, 1, 3, 13, 34, 123, 134, X } tenemos que: = 124 14 = 134 14 = 234 23 = 123 23 Recordemos que los conjuntos de son abiertos y los de son cerrados. Proposici on: La clausura y la coclausura tienen las siguientes propiedades, llamados Los Axiomas de Kuratowski: 1. = 2. = 3. A A 4. A A B=A B 5. A B=A B 6. A =A 7. A =A 8. A

Denici on: Para cualquier subconjunto A de X de un espacio topol ogico: 1. El interior de A es la uni on de todos los conjuntos abiertos contenidos en A. 2. El cointerior de A es la uni on de todos los conjuntos cerrados contenidos en A. 3. El exterior de A es el interior de AC . C el conjunto de puntos que no pertenecen ni al A 4. La frontera de A es A interior ni al exterior de A. Es claro que el interior siempre es un conjunto abierto y el cointerior es un conjunto cerrado. Subespacios Denici on: Un subespacio de un espacio topol ogico (X, ) es un subconjunto Y X junto con la topolog a Y = {O Y : O }, llamada topolog a relativa en Y. Observaci on: Que Y sea en efecto una topolog a se sigue que: 1. = Y 2. Y = X Y 3. (O1 Y ) (O2 Y ) = (O1 O2 ) Y 4. (O1 Y ) (O2 Y ) = (O1 O2 ) Y Ejemplo: Consideremos el conjunto X = {1, 2, 3, 4} con la topolog a = {, 1, 3, 13, 34, 123, 134, X }. Para el subconjunto Y = {2, 3, 4}, encontramos que la topolog a relativa de Y es: Y = {, 3, 23, 34, Y } Observaci on: Del ejemplo anterior se observa que el conjunto 23 Y lo que implica que es un abierto en Y, pero no es ni abierto ni cerrado en X. A este tipo de conjuntos se les llama abiertos relativos en Y.

TOPOLOG IAS FINITAS Y LATICES Conjuntos Parcialmente Ordenados Dado un par de conjuntos abiertos, ellos se relacionan en alguna de las siguientes formas: 1. Son disjuntos. 2. Se intersectan pero ninguno es subconjunto del otro. 3. Uno es subconjunto del otro. Denici on: Sea P un conjunto, un orden parcial (o simplemente orden) en p es una relaci on binaria en p tal que, para todo x, y, z P cumplen las siguientes propiedades: 1. Reexiva x x 2. Antisim etrica x y, y x x = y 3. Transitiva x y, y z x z Denici on: La relaci on de orden en un conjunto P, da lugar a la relaci on <, la cual cumple que: x < y en P si y s olo si x y y x = y . Denici on: Un conjunto P parcialmente ordenado, es aquel conjunto, junto con un orden parcial denido en sus elementos. Observaci on: Sean P un conjunto parcialmente ordenado y Q un subconjunto de P. Entonces Q hereda la relaci on de orden de P, dados x, y Q, x y en Q si y s olo si x y en P. Se dice que Q tiene el orden inducido de P. Denici on: Sea P un conjunto parcialmente ordenado. Entonces P es una cadena, si para todo x, y P ocurre que x y o y x (esto es, si dos elementos de P son comparables). Denici on: (Familia de Conjuntos). Sea X un conjunto. El conjunto P (X ), consiste de todos los subconjuntos de X, los cuales est an ordenados por inclusi on: para A, B P (X ), se dene A B si y s olo si A B .

Teorema: Si (X, ) es un espacio topol ogico, entonces , con la relaci on de orden inducida por la inclusi on es un conjunto parcialmente ordenado. Denici on: (Relaci on de Cobertura). Sea P un conjunto parcialmente ordenado. Decimos que x est a cubierta por y (o que y cubre a x), y se escribe como x y o y x, si x < y y x z < y implica que z = x, lo anterior indica que no existe un elemento z de P tal que x < z < y . Ejemplos: 1. En la cadena de los n umeros naturales N, se tiene que m n si y s olo si n = m + 1. 2. En R, no existe un par x, y tal que x y . 3. En P (X ), se cumple que A B , si y s olo si B = A {b}, para alg un b X A. Diagramas Denici on: Sea P un conjunto nito parcialmente ordenado. Podemos representar a P por una conguraci on de c rculos (que representan a los elementos de P) y los cuales son conectados por l neas (con la cual se representa la relaci on de cobertura entre dos elementos). La construcci on de estos diagramas es de la forma siguiente: 1. A cada punto x P , se le asocia un punto P (X ) en el plano euclidiano R2 , representando por un c rculo peque no con centro en P (X ). 2. Para cada cubriente x y en P, se toma un segmento de l nea l(x, y ), uniendo el c rculo en P (x) a el c rculo en P (y ). 3. Cumpliendo 1 y 2 se tiene que: Si x y , entonces P (x) est a m as abajo de P (y ). El c rculo en P (z ) no intersecta al segmento de l nea l(x, y ) si z = x yz=y Una conguraci on que satisface los enunciados 1 3 de la denici on anterior es llamado diagrama o diagrama de Hasse de P. Observaci on: x < y si y s olo si hay una secuencia de segmentos de l neas conectadas hacia arriba de x a y . Ejemplo: Consideremos la siguiente colecci on de subconjuntos de X = {1, 2, 3}, A = {, 1, 2, 12, 23}. (A no es una topolog a de X, ya que no incluye a X), los cuales est an ordenados por inclusi on. El diagrama de Hasse de A es: 10

Figura 1: Diagrama de Hasse de A

Figura 2: Diagrama de Hasse de Ejemplo: Para la siguiente topolog a de X = {1, 2, 3, 4}, donde sus elementos est an ordenados por inclusi on, = {, 2, 3, 12, 23, 34, 123, 234, X }. El diagrama de Hasse es el que se muestra en la gura 2. Mapeos entre Conjuntos Parcialmente Ordenados. Denici on: Sean P y Q conjuntos parcialmente ordenados un mapeo : P Q es llamado: 1. Creciente (mon otono), si x y en P implica que (x) (y ) en Q. 2. Encaje, si x y en P, si y s olo si (x) (y ) en Q. 3. Isomorsmo, si este es un encaje mapeando P sobre Q.

11

Cuando : P Q es un encaje se escribe como : P Q. Cuando existe un isomorsmo de P a Q, se dice que P y Q son isomorfos y se escribe como P = Q. Observaci on: 1. Sean los mapeos crecientes : P Q y : Q R. Entonces el mapeo composici on , dado por ( )(x) = ((x)) para x P , es creciente. De manera m as general la composici on de un n umero nito de mapeos crecientes es creciente. 2. Sean : P Q y (P ) la imagen de . Entonces (P ) = P . Esto justica el uso del t ermino encaje. 3. Un encaje es autom aticamente uno-uno (porque es reexiva en Q y antisem etrica en P). Un isomorsmo es biyectivo. 4. Conjuntos parcialmente ordenados P y Q son isomorfos si y s olo si existen mapeos crecientes : P Q y : Q P tal que = idQ y = idP (donde idS : S S denota el mapeo identidad en S donde idS (x) = x para todo x S ). Lema: Sean P y Q conjuntos nitos parcialmente ordenados y sea : P Q un mapeo biyectivo. Entonces los siguientes enunciados son equivalentes: 1. es un isomorsmo. 2. x < y en P si y s olo si (x) < (y ) en Q. 3. x y en P, si y s olo si (x) (y ) en Q. Demostraci on: (1) (2) Esta demostraci on es directa por denici on. (2) (3) Supongamos que (2) es cierto y tomemos x y en P. Ahora supongamos que (x) < w < (y ) en Q. Como es sobre, existe u P tal que w = (u). Luego (x) < (u) < (y ), por (2) se tiene que x < u < y lo cual es una contradicci on. Por lo tanto (x) (y ). (3) (2) Sea x < y en P. Entonces existen elementos x = x0 x1 ... xn = y . Por (3) se tiene que (x0 ) = (x1 ) (x) (x1 ) ... (xn ) = (y ). Por lo tanto (x) < (y ). El rec proco se prueba de manera similar utilizando el hecho de que es sobre. (2) (1) Esta demostraci on es directa por denici on.

12

Figura 3: Representaci on de diagramas de Hasse bajo funciones

13

Denici on: Sea P un conjunto parcialmente ordenado y sea Q P . Entonces: 1. a Q es un elemento maximal de Q si x Q y a x implica que a = x. 2. a Q es el elemento m aximo de Q, si a x para cada x Q y en este caso se representa por a = max Q. 3. El elemento minimal de Q y el elemento m nimo de Q (m n Q), son denidos de manera similar como en (1) y (2). Denici on: Sea P un conjunto parcialmente ordenado y x, y, z elementos de P (no necesariamente distintos). 1. Un subconjunto S P se dice que es acotado superiormente si existe un elemento x P tal que a x para toda a S . Un elemento x con esta propiedad se dice que es una cota superior de S. 2. Se dice que un elemento x P es una m nima cota superior en S (S u ) si: x es cota superior de S y si y es una cota superior de S entonces x y 3. Si z es una m nima cota superior (MCS) de x y y se escribe como z = x para todo y . 4. Cuando z es la m nima cota superior de S es tambi en llamado el supremo de S y se denota por S . 5. Si P tiene un elemento m aximo es denotado por I . 6. Un subconjunto S P se dice que es acotado inferiormente si existe un elemento x P tal que x a a S . Un elemento x con esta propiedad se dice q es una cota inferior de S. 7. Se dice que un elemento x P es una m nima cota inferior en S (S l ) si: x es cota inferior de S, y si y es una cota inferior de S entonces x y . 8. Si z es una m axima cota inferior (MCI) de x y y , se escribe como z = x y . 9. Cuando z es la m nima cota superior de S es tambi en llamado el nmo de S y se denota por S . 10. Si P tiene un elemento m nimo este es denotado por O. Teorema: En un espacio topol ogico (X, ) y su topolog a asociada , para la cual su relaci on de orden es la inclusi on; su elemento m aximo es I = X y su elemento m nimo es O = . 14

Figura 4: Diagramas de Hasse de Mn

Figura 5: Conjuntos Parcialmente Ordenados (a) y (b) Latices Denici on: Dado un conjunto parcialmente ordenado P no vac o: 1. Si x 2. Si yyx Sy y existe x, y P , entonces P es llamado latice.

S existen S P , entonces P es llamado latice completo.

Observaci on: Cualquier topolog a de un conjunto X con la relaci on de orden por inclusi on forma una latice y se denota por L( ). Denici on: Mn (para n 1) es el conjunto parcialmente ordenado cuyo diagrama de Hasse es el que se muestra en la gura 4. Ejemplo: Para los conjuntos parcialmente ordenados (a) y (b). El primero es una latice, pero el segundo no, aunque 1 y 2, tienen varias cotas superiores de (b), pero no tienen m nima cota superior. La imagen gr aca se muestra en la gura 5. Lema: Sea P un latice. Entonces nito no vac o F de P. F y F existen para cada subconjunto

15

Figura 6: Producto Directo Corolario: Cada latice nito es completo. Lema: Sean P y Q conjuntos parcialmente ordenados, : P Q un mapeo creciente y asumimos que S P es tal que S y S existen en P y (S ) y (S ) existen en Q. Entonces: ( y ( S) (S ) S) (S )

Productos Directos Denici on: Si L1 y L2 son latices de conjuntos, su producto directo L1 L2 consiste de todas las uniones X1 X2 (X1 L1 , X2 L2 ) ordenados por inclusi on.

Ejemplo: El latice de la gura 6 muestra la descripci on gr aca de un producto directo. Observaci on: El latice de la topolog a discreta de n puntos es un producto directo de n latices de dos elementos.

16

Figura 7: Latice con elementos reducibles e irreducibles Reducibilidad Denici on: Un elemento x de una latice L es llamado reducible si puede ser expresado como x = y z , donde y, z L y x = y, z . En otro caso es irreducible.

Ejemplo: En el latice de la gura 7, los elementos reducibles son 12 = 1 123 = 12 23, mientras que , 1, 2, 23 son elementos irreducibles.

2y

Observaci on: En un espacio topol ogico (X, ) el conjunto vac o en L( ) es siempre irreducible y los dem as elementos irreducibles en un latice son aquellos que en su diagrama de Hasse (de latice) pueden ser representados por una u nica l nea ascendente.

TOPOLOG IAS FINITAS Y TEOR IA DE GRAFOS Topolog as Finitas y Teor a de Grafos Denici on: Un grafo dirigido ( o digrafo) D consta de un conjunto de puntos r(D) (los v ertices de D), junto con un conjunto E(D) de pares ordenados de v ertices (las aristas de D). Un arista (p, q ) es convencionalmente representada por una l nea dirigida de p a q. Denici on: Un espacio topol ogico nito (X, ), se le puede asociar un digrafo, cuyos v ertices son los elementos de X. Dados p, q X , (p, q ) es una arista si Bq Bp .

17

Figura 8: Latice para

Figura 9: El digrafo asociado a Ejemplo: Sea X = {1, 2, 3}. Para la topolog a = {, 1, 12, 13, X } su latice es la que se muestra en la gura 8. Los conjuntos b asicos correspondientes son: B1 = 1, B2 = 12, B3 = 13 As B1 B2 , B1 B3 y B2 no es comparable con B3 . El digrafo de esta topolog a es el que se muestra en la gura 9. Se denota al digrafo de una topolog a por D( ). Denici on: Un digrafo con la propiedad que (p, q ) E (D) y (q, r) E (D) juntos implican que (p, r) E (D) es llamado un digrafo transitivo. La gura 10 muestra una imagen gr aca. Observaci on: De lo anterior se tiene que el digrafo D correspondiente a la topolog a , en un espacio topol ogico X, es transitivo.

18

Figura 10: Digrafo Transitivo Teorema: Dado un espacio topol ogico X, para cualquier punto p X , se dene a la colecci on de v ertices de D adyacentes a p, por A+ p = {q : (p, q ) E (D )} El conjunto b asico correspondiente a p es: Bp = {p} A+ p En otras palabras, Bp contiene al punto p junto con los puntos accesibles desde p. Demostraci on: Para esto se debe probar que {O : p O, O } = Bp = {p} A+ p. Consideremos inicialmente el siguiente caso. Sea r {p} A+ r = p p , as o r A+ p. Si r = {p}, entonces r O O que contiene a p, as r {O : p O, on sabemos que O }. Si r A+ p , entonces (p, r ) E (D ), luego por la denici Br Bq , as Br {O : p O, O } y por tanto r {O : p O, O }. Por otra parte se considera que r {O : p O, O }; existen dos posibilidades que r = p entonces r {p} A+ p. Ahora bien, si r = p se necesita probar que r A+ p , dado que: Bp = {O : p O, O } entonces Br Bp , as por la denici on se sigue que existe (p, r) E (D), entonces r A+ y por tanto r { p } A+ p p. Ejemplo: Para la topolog a = {, 1, 3, 4, 13, 14, 34, 45, 134, 145, 345, 1234, 1345, X }.
+ + + + De donde se observa que: A+ 1 = , A2 = 134, A3 = , A4 = , A5 = 5.

As los conjuntos b asicos son: B1 = 1, B2 = 1234, B3 = 3, B4 = 4, B5 = 45. Su digrafo es el que se muestra en la gura 11. 19

Figura 11: Digrafo de Topolog as y Grafos Denici on: Un grafo no dirigido (llamado simplemente grafo) G, consta de un conjunto de puntos V (G) (el conjunto de los v ertices de G), junto con un conjunto E(G) de los pares de v ertices no ordenados (el conjunto de las aristas de G). Denici on: A un espacio topol ogico (X, ) se le puede asociar un grafo G( ), para el cual sus v ertices son los elementos de X. Dados p, q X y sus elementos b asicos Bp y Bq . {p, q } E (G) si Bq Bp o Bp Bq . Observaci on: La importancia de los grafos para las topolog as yace en el hecho de que existe un u nico grafo asociado con cada par de topolog a-cotopolog a, esto es el grafo fundamental de los digrafos D( ) y D( ) = D ( ) y adem as G( ) = G( ) Ejemplo: Sea el espacio topol ogico X = {1, 2, 3, 4}. Para el par topolog acotopolog a, se tienen sus latices, digrafos y grafos correspondientes. En la gura 12 aparecen sus latices, en la gura 13 aparecen sus digrafos y en la gura 14 aparece el grafo que representa a ambos.

20

Figura 12: Latices de y de

Figura 13: Digrafos de y de

Figura 14: Grafo asociado a y

21

Subbases y Grafos Si una topolog a est a denida en t erminos de una subbase S, D( ) y G( ) pueden ser construidos directamente de S, sin la necesidad de construir inicialmente a o a B ( ). Para cualquier punto p X , el elemento b asico correspondiente en t erminos de su subbase es: Bp = {S : p S } Si p S implica que q S para cada elemento s S si no hay elementos en la subbase que contengan a p y no a q , entonces q / Bp y D( ) no contendr a a (p, q ). As una arista (p, q ) en G( ) de cualquier (p, q ) o (q, p) en D( ) la condici on para su presencia es que cualquier p S implique que q S o viceversa, para todo s S . Ejemplo: Sea A = {12, 234, 4, 245} una subbase para una topolog a sobre X = {1, 2, 3, 4, 5} luego los conjuntos b asicos son: B1 = 12 B2 = 2 B3 = 234 B4 = 4 B5 = 245 Los valores de p y q , para los cuales p S A implica que q S est an dados en la siguiente gura 15. Por lo tanto, para la topolog a = {, 2, 4, 12, 234, 245} inducida por A, a continuaci on se muestra la descripci on gr aca en la gura 16.

22

Figura 15: Valores de p y q

Figura 16: Digrafos asociados a D( ) G( )

23

CONEXIDAD Conexidad de Espacios y Subespacios Topol ogicos. Denici on: Sea un espacio topol ogico (X, ), Y X es disconexo si existen U, V abiertos ajenos no vac os en (Y, Y ) tales que Y = U V . Y es conexo si no es disconexo. Equivalentemente si existen U, V abiertos en X tales que U Y = = V Y , U V Y = , Y U V . Denici on: Dos subconjuntos Y y Z de un espacio topol ogico (X, ) son llamados separados si: = Y Z y Z = Y

Denici on: Sea un espacio topol ogico (X, ) y C X . Un par de subconjuntos separados (Y, Z ) se llama separaci on de C en X si C Y Z , C Y = y C Z = . Teorema: Se dice que un espacio topol ogico X es conexo si no existe una separaci on de X . Lema: Si Y es un subespacio conexo de X y los conjuntos C y D son separados, entonces Y est a contenido bien en C o bien en D. Teorema: Un espacio X es conexo si, y s olo si, los u nicos subconjuntos de X que son abiertos y cerrados en X son el conjunto vac o y el propio X . Ejemplo: Dado X = {1, 2, 3} con la topolog a 1 = {, 1, 2, 12, 23, X } es disconexo ya que podemos escribir: 123 = 1 23 y 1 23 = Por otra parte si se considera a la topolog a 2 = {, 2, 12, 23, X } no se puede hacer esta representaci on, y por lo tanto el espacio es conexo. Teorema: Sea Xi con i = 1, 2, ..., n un subconjunto conexo en un espacio topol ogico (X, ), tal que Xi = entonces Xi es conexo.

24

. Entonces B es Teorema: Sea un subespacio conexo A de X . Si A B A tambi en conexo. Denici on: Para x X sea C (x) la uni on de los conjuntos conexos que contienen a x (al menos {x} es conexo). C (x) es conexo y cerrado, por los teoremas anteriores, C (x) es la componente conexa que contiene a X . Observaci on: La colecci on {C (x) : x X } es una partici on de X y por tanto induce una relaci on de equivalencia: x y si y s olo si, existe A X conexo con x, y A. Conexidad en Grafos. Denici on: Sea G = (V, E ) un grafo y G = (V , E ) un subgrafo de G. G es conexo si para cada x, y V existen x = x1 , x2 , ..., xn = y V tales que {xi , xi+1 } E para cada i = 1, 2, ..., n 1. Si Gi = (Vi , Ei ), se dene Gi = (V , E ), con V = Vi , E = Ei . Observaci on: El conjunto vac o y cada elemento de X son conexos. Teorema: Si Gi es conexo para i = 1, 2, ..., n y es conexo. Demostraci on: Sea {Gi }n on de subgrafos conexos de un grafo G. Dados los puntos i=1 una colecci x, y n G , con x Gi y y Gj , utilizando el hecho de que Gi es conexo, i i=1 por denici on existen w Gi y w Gj . Luego x = x1 , x2 , ..., xn = w Vi y w = y1 , y2 , ..., yn = y Vj tomando en n cuenta la hip otesis i=1 Vi = , se puede hallar una cadena: x = x1 , x2 , ..., xn = w = y1 , y2 , ..., yn = y Vi Vj
n i=1 n i=1

Vi = , entonces

n i=1

Gi =

Como Gi y Gj fueron tomados arbitrariamente se puede concluir que es conexo.

Gi =

Observaci on: Sea (X, ) un espacio topol ogico y G( ) su grafo asociado. 1. Si Y X componente conexa, entonces G(Y ) es componente conexa de G( ). 2. G componente conexa de G( ), entonces G induce componente conexa de X .

25

Figura 17: Digrafo asociado a X Corolario: Un espacio topol ogico (X, ) y su grafo G( ) tiene el mismo n umero de componentes. Corolario: Un espacio conexo tiene un grafo conexo. Ejemplo: Para el espacio X = {1, 2, 3, 4, 5}. Sus elementos b asicos son: B1 = 1, B2 = 1234, B3 = 3, B4 = 4 y B5 = 45. Los subconjuntos conexos son: , 1, 2, 3, 4, 5 12, 23, 24, 45 123, 124, 234, 245 1234, 1245, 2345 12345 Para observar el digrafo asociado a X nos referimos a la gura 17.

26

Latices de Espacios Conexos y Disconexos. Supongamos que (X, ) es disconexo y su representaci on de componentes es: X=
i

Xi

La forma de cada conjunto abierto de tiene una representaci on similar: O=

i

Oi

donde Oi Xi . Recordando la denici on del producto directo de latices, la forma del latice de conjuntos abiertos L( ) es un producto directo, denotado por: L = i Li donde Li es el latice de conjuntos abiertos contenidos en Xi . Observaci on: Los conjuntos en Li constituyen la topolog a de Xi como un subespacio de X , as si O = i Oi entonces O Xi = Oi . Observaci on: El latice de un espacio disconexo es compuesto, con un factor para cada componente. Observaci on: El latice de un espacio conexo es primo. Ejemplo: Dados los espacios topol ogicos: 1 = {, 1, 2, 12, 23, X } y 2 = {, 2, 12, 23, X } Los latices correspondientes a las topolog as son los que se muestran en la gura 18.

Observaci on: El conjunto X = {1, 2, 3, ..., n} con la topolog a discreta es totalmente disconexo; esto es, cada punto de X es una componente. Su latice es el algebra Booleana. Damos un ejemplo en la gura 19.

27

Figura 18: Latices asociados a 1 y 2

Figura 19: Representaci on del latice ( algebra Booleana)

28