Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • Bases, Construccion de Bases y Subases Notas

    Cargado por

    isanchez_174906
    3 vistas10 páginas
    topologia Bases y subases

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Denunciar este documento
    topologia Bases y subases

    Copyright:

    © All Rights Reserved
    Descargue como PDF o lea en línea desde Scribd
    Marcar por contenido inapropiado
    3 vistas10 páginas

    Bases, Construccion de Bases y Subases Notas

    Cargado por

    isanchez_174906
    topologia Bases y subases

    Copyright:

    © All Rights Reserved
    Descargue como PDF o lea en línea desde Scribd
    Marcar por contenido inapropiado
    de 10
    , CONSTRUCCION DE ESPACIOS, SUBASES 15 1.2. Bases, Construccion de Espacios, Suba- ses Esta seceién esta dividida en dos partes. En la primera nos dedicaremos a, definir e identi como este concepto nos ayuda a la construccidn de espacios topolégicos. Conforme se avanza en el estudio de los espacios métricos, la presencia, de las bolas abiertas sobre la de cualquier otro tipo de abierto comienza a far el concepto de base, mientras que en la segunda veremos incrementarse. Inchusive, es comtin encontrarse con teoremas cuyo enunciado comportamiento de los abiertos pero que su pr al caso particular de las bolas. Esto sugiere que para determinar el comporta- miento de la abiertos (0 de la topologia) de un espacio métrico, basta con estudiér a la subcoleccién de bolas abiertas. Ahora, lo anterior habla del tba solo se remite eoleccién de presenta una ventaja formidable, pues tal subcoleccién suele ser mucho més pequeiia y ble que la coleccién de abiertos en su totalidad. Todo esto hace que la Topologfa se interese en generalizar este compor- tamiento. Es decir, dado un espacio topoldgico, lo que se bus aquellas subcolecciones de la topologfa tales que a trav permita entender Ia estructura del espacio sin necesidad de involu la topologia entera. Precisamente, el concepto de base tiene por objetivo identificar a este tipo de colecciénes. Para empezar a construir este concepto, primero exhibiremos la estrecha relacié ‘ste entre la topologia de un espacio métrico y la subcolece de bolas. a es identificar s de su estudio, se ‘Teorema 1.2.1. Sea (X,d) un espacio métrico y U un subconjunto no vacio de X. Entonces, U es abierto si y solo si existe A una coleccién de bolas tal que JA=U. Demostracién. El regreso una consecuencia de que las bolas son abiertas y de que la unidn arbitraria de subconjuntos abiertos es, en si, abierta, Para la ida, notemos que como U es abierto, entonces para cada 0 tal que B,,(x)CU. Ahora, si definimos la coleccién A como A:={B,,(z):2€U} entonces es inmediato que UA=U. a Ess decir, para cada elemento de la topologia de un espacio métrico, existe una subcoleccién de la familia de bolas cuya unidn resulta ser tal elemento, ‘Tal interpretacion resulta ser la clave para poder definir el concepto de base 16 CAPITULO 1. ESPACIOS TOPOLOGICOS Definicién 1.2.2. Sea (X,T) un espacio topolégico y B una coleccién de elementos de T. Decimos que B es una base para (X,T) si para cada UET, existe ACB tal que U=U.A. A los elementos de una base se les llama basicos de (X,T) Ejemplo 1.2.3. 1, Bs evidente que dado (X,7) un espacio topoldgieo, su topologia T resulta ser una base para ese espacio. De esta manera, cualquier espacio topoldgico tiene una base. 2. Dado X un conjunto, la coleccién W definida como U={{z}CX: r€ X} es una base para el espacio discreto (X,P(X)). Esto es consecuen- cia de que para cualquiér U abierto, se tiene que U=U, yf) 3. Si (X,Tq) es el espacio topologico inducido por ol espacio métrico (X,4), entonees la coleccién {B,(x)CX: r€X, r>O})es una base para (X,Ta) Esto es una consccuencia de la definicién de Ty y del Teorema 0.2.1 Una de las propiedades mas importantes de la coleceién de bolas en un espacio métrico es que dado un subconjunto abierto (un clemento de la to- pologia) y un punto en cl, existe una bola (un elemento de la base) que contiene a ese punto y que se queda contenida en tal abierto. Resulta ser que en general, esta es una propiedad que caracteriza a las bases. Teorema 1.2.4. Sean (X,T) un espacio topoldgico y B una coleccién de elementos de T. Bntonces, B es una base si y solo si para todo UET y para todo x€U, existe V.cB tal que x Ve-CU Demostracién. Para mostrar la ida, supongamos que B es base. Notemos que siUET y x€U, dado que existe ACB tal que U=UA, entonces existe VE A tal que 2€V;. De esta manera V, es un elemento de B con las caracteristicas mencionadas en el teorema. Para el regreso, supongamos Ia condicién contraria. Lucgo, si tomamos UET, entonces para cualquicr 2€U existe algxin V-€B tal que r€V,CU. De esta manera podemos considerar la coleccién Ay:={Vs}rcer ¥ notar que: (1) ACB, pues cada V; es elemento de B. a =UA, pues si x€U entonces x es elemento de su correspondiente Vz, de modo que reUA, luego UCUA (la contencién contraria es inmediato de la construccién de A) 1.2. BASES, CONSTRUCCION DE ESPACIOS, SUBASES Ww Para cualquier elemento de la topologia, hemos mostrado que existe un sub- conjunto de B cuya unidn es ese abierto, de modo que B es una base para el espacio. fa Corolario 1.2.5. Sean (X,T) un espacio topolégice, B una base y U un subconjunto de X. Entonces, UET si y solo si para cualquier x€U, existe V.cB tal que 2eVec Demostracién. Esto es una consecuencia inmediata del teorema anterior. 0 Notemos que este tiltimo corolario nos provee de una clasificacién para los abiertos de un espacio topolégico anéloga a la definicién de abierto en un espacio métrico (Definicién 0.1.3). Por otro lado, podria parecer redundante dar otra clasificacién del concepto de base, sin embargo, la siguiente nos hara ver cuales son las propiedadles esenciales para que una coleccién cualquiera, de subconjuntos sea una base. ‘Teorema 1.2.6. Sean (X,T) un espacio topoldgico y B una coleccién de subconjuntos de X. Entonces, B es una base si y solamente si B cumple las condiciones: (1) BoT (2) Para cualesquiera U,,UreT y para cualguier x€UiWW2, existe V.eB tal que reV,CU,AU> Demostracién. Para probar la ida, supongamos que B es base y notemos: que la primera condicidn se obtiene por definicién. Para la segunda, notemos que si U; y Uz son abiertos entonces U, NU también es abierto; y por el ‘Teorema 0.2.4 existe V,€B tal que x€V,CU, NU}. De este modo, B cumple las condiciones (1) y (2) Para probar cl rogreso, supongamos que B satisface las condiciones (1),(2) y mostremos que dicha coleccién satisface el Teorema 0.2.4. Primero, la con- dicién (1) garantiza que B es una coleccién de elementos de T, de modo que tiene sentido aplicar tal teorema. Por otro lado, dados UET y x€U, hacien- do U;=U=U; y aplicando (2) obtenemos que existe V-€B tal que re V, CU. Esto prueba que B satisface el Teorema 0.2.4, por lo que B es una base. Ahora, la coleccién de bolas alrededor de un mismo punto nos habla acerca del comportamiento de los abiertos que contienen a ese punto. Ahora, nuestro concepto de base (modelado a partir de la coleccién de todas las 18 CAPITULO 1. ESPACIOS TOPOLOGICOS bolas) ha sido definido de manera global y no local, por lo que carece de este enfoque (o almenos eso pareceria en la definicion que dimos). Sin embargo, el concepto de base local tiene por objetivo modelar el comportamiento de las bolas alrededor de un mismo punto. Definicién 1.2.7. Sean (X,7) un espacio topolégico, x un elemento de X y B, una coleccién de elementos de T. Entonces, dlecimos que B, es una base local en x (para (X,T)) si para todo UET tal que EU, existe VEB, tal que x0} es una base local en x para (X,T,). Esto se obtiene a partir de la definicién de abierto en espacio métrico, Si queremos ser precisos, la familia de bolas alrededor de un mismo punto constituyon una base local para cl espacio métrico en cuestion y de este modo, si tomamos la coleccion de todas estas familias, entonces obtenemos un sistema de vecindades locales. Ahora, es cuando tomamos la union de esta coleccion cuando obtenemos 1a base cuyos elementos son bolas. Esto sugiere una manera de construir una base a partir de cualquier sistema de vecindades locales. ‘Teorema 1.2.9. Sea (X,T) un espacio topoldgico. Si £ es un sistema de vecindades locales entonces UL es una base. Demostracién. Primero, definames B:=UL. Ahora, probaremos que B es una base mediante e] Teorema 0.2.6. Notemos que B cumple la condicién (BL) en tanto que los elementos de £ son familias de elementos de T. Por otro 1.2. BASES, CONSTRUCCION DE ESPACIOS, SUBASES 19. lado, para mostrar que B satisface la condicién (B2), tomemos U;,U2 abiextos y 2€U,MU>, Luego, consideremos B.€L la base local en x, y notemos que como Ui; es un abierto que contiene a x, entonces existe V EB, tal que 2€V,CU,NU2. Esto prueba que V, es un elemento de B con las caracteristicas enunciadas en (B2). Finalmente, como B satisface 0.2.6, entonces JL es una base para el espacio. a Conforme se vayan viendo las diferentes propiedades que un espacio to- poldgico puede satisfacer (continuidad, compacidad, conexidad, primera nue merabilidad, etc), se ira entendiendo como es que las bases reflejan el compor- tamiento de na topologia entera. Por el momento, ponemos nuestra atencién en un tema cuyo motor principal es el concepto de base pero su principal in- teres esta en la construceién de nuevos espacios topolégicos Notemos que construir un espacio métrico que tenga a ciertos subconjun- tos como abiertos puede ser muy dificil, pues ello involucra la biisqueda de una funcién distancia adecuada enya existencia no siempre esta garantizada. Sin embargo, construir un espacio topolégico con esta propiedad resulta ser una tarea bastante sencilla, Dada C una coleccién de subconjuntos de algxin conjunto X, si estuviése- mos interesados en construir una topologia T para X tal que C fuese base del espacio resultante (X,T), entonces cualquier elemento de T deberia de poderse escribir como alguna unidn de clementos de C. Precisamente, la six guiente definicién tiene como objetivo considerar a este tipo de elementos en una sola coleccién, para asf posteriormente dar condiciones suficientes de cuando esta resulta ser una topologia para X. Definicién 1.2.10. Sea X un conjunto. Dada C una coleccién de subcon- juntos de X, definimos la coleccién Te como’ Te:={UCX: existe ACC tal que U=UA} Si Te es una topologia para X, entonces se dice que Te es la topologia generada por C (tambien se dice que C induce alguna topologia para X, siempre y cuando se recuerde que se esta haciendo referencia a la coleccién definida anteriormente) Teorema 1.2.11. Sean X un conjunto yC una coleceién de subconjuntos de X. Si Te es una topologta para X, entonces C es una base para (X,Te). Demostracién. Inmediato de la construccion de Te ao 20 CAPITULO 1. ESPACIOS TOPOLOGICOS Teorema 1.2.12. Sean X un conjunto y C una coleceiin de subconjuntos de X. SiC satisface las condiciones: (B1) Para todo eX, existe Uz€C tal que reU, (B2) SiV.WEC, entonces para cualquier rEVOW, evisle U,€C tal que r€ U,cVaW, entonces Te es una topologia para X Demostracién. Supongamos que C satisface las condiciones (B1) y (B2) y mostremos que Te es una topologia para X, Primero, notemos que por la construccién de Te, si queremos ver que algtin YCX es elemento de Te, entonces debemos encontrar algtin ACC tal que ¥Y=U.A. Luego: (1) SLY =X, entonces el subconjunto deseado es la misma coleccién C pues Ces subconjunto de si mismo y X=UC (esta titima igualdad se obtiene notando que, por la condicién (BI), si xe X entonces existe U-€C tal gue 2€U,, de modo que x€UC). Por otzo lado, si Y=, entonces cl subconjunto buscado es De esta manera, X’y @) son elementos de Te (2) Sea {Us}aca una coleccién de elementos de Te. Notemos que como cada U, es elemento de Te, entonces para cada uno de ellos existe {Vj}senC € tal que Us—UgenVo- De esta manera, si Y=U,,c,Ua entonces: y-Ue-U(Ur)- Uw an Luogo, si definimos la coleccién A como sigue: AH{V$EC: (a,8)EAxQ}, entonces A es el subconjunto buscado pues ACB y por (1.2), Y=UA. Esto coneluye que la unién arbitraria de elementos de Te es en sf, un elemento de Te (3) Sean U y V elementos de Te. Notemos que por definicién de Te, existen Ay y Az subconjuntos de € tales que U;=UAr y Us=UAn, de manera que si Y=U, Wa, entonces: Y=Uis=(YAr)n(UA2)=Utvnw: Vea WeAs} (1.2) 1.2. BASES, CONSTRUCCION DE ESPACIOS, SUBASES an Ahora, definamos la coleccién A como A:={VAW: VeAy,We Ad} Notemos si A fuese una coleccién de elementos de Te, entonces (1.3) concluiria que Y es una unin arbitraria de elementos de Te; y como en. (2) mostramos que tales uniones resultan ser elementos de Te, entonces ello mostraria que Y es un elemento de Te. Asf que tomemos VW eA y mostremos que VW €7e. Definamos la coleccién H,,.» como sigue Hewe= (UEC: UCV AW} y observemos que VOW =U,» (para ello, basta mostrar que VW C UH pues la contencién contraria es inmediata de la construccién de Hy). En efecto, si r€V NW, dado que C cumple la condicién (B2) y V,W son clementos de C, entonees existe UzeC tal que ceU.cVW, luego UzeHe,w. Luego, como VAW=UHow entonces VAWETe, lo cual nos permite concluir que ACTe. Finalmente, UNV es elemento de Te y por el Ejercicio (ref) se concluye que la interseccién finita de elementos de Je es un elemento de Te Finalmente por (1), (2) y (3), se obtiene que Te es una topologia para X. Esto concluye la prueba de este teorema. a El Teorema 0.2.12 facilita la construecién de muchos espacios topoldgicos, Entre ellos se encuentra la Recta de Sorgenfrey (Ejercicio 0.2.2) %, que es un espacio de gran importancia para la teorfa y por ello estaré presente a lo largo del texto. Por otro lado, un simil del Teorema 0.2.12 utilizando bases locales es el siguiente. Teorema 1.2.13. Sea X un conjunto. Si para cualquier xeX, existe una coleccidn Cz de subconjuntos de X tal que: (BL1) C.#0 (BL2) SiUCCz, entonces xeU. (BL3) Para todo yEX, si U es elemento de Cy tal que EU, entonces existe Ve, tal que reVCU “Bste espacio fae nombrado asf en honor a Robert Henry Sorgenfrey (1915-1995) quien rwalizo una extensa investigacin acerca de este. Sin embargo, la construceién de este espacio se debe a Pavel Samuilovich Urysob (1898-1024). 22. CAPITULO 1. ESPACIOS TOPOLOGICOS (BLA) Para cualesquiera U,U,Cz, existe UEC, tal que UCU,NU, entonces \J,¢Cz induce una topologia para X y {Cr}rex es un sistema de bases locales para el espacio resultante. Demostracién. Supongamos que para cualquier r¢X existe una coleccién Cz de subconjuntos de X que cumple las condiciones anteriores, y denotemos a UsexCe por C. Para probar que C induce una topologia, debemos mos- trar que la coleccién Te es una topologia. Esto lo haremos utilizando 0.2.12, Por hipétesis, C es una coleccién de subconjuntos de X; y las condiciones (BL1),(BL2) garantizan que C satisface (B1). Para ver que se tiene (B2), notemos que si U;,U2€C, entonces UEC, y UEC, para algunos y,2€X. Ahora, si r€U;€Cy, la condicién (BL3) asegura la existencia de Vi€C, tal que EV, CU;; y andlogamente, obtenemos VEC, tal que x€V;CUp. Enton- ces rEV{NVs, ¥ como tanto Vi como V2 son elementos de C,, Ia condicién (BL4) nos provee de algiin UEC, tal que UCViNVs. Notemos que: r¢U por (BL1), UCU; AU; pues ViNV2cU;W2, y UEC pues C,CC. Esto mues- tra que C satisface (B2); y con ello que C satisface 0.2.12, por lo que Te es una topologia para X. Finalmente, para mostrar que {C,}z

    También podría gustarte