TOPOLOGIA GENERAL Primera parte Curso 2010-2011Marta Macho Stadler Departamento de Mateméticas Facultad de Ciencia y Tecnologia Universidad del Pafs Vasco-Euskal Herriko Unibertsitatea Barrio Sarriena s/n, 48940 Leioa email: marta .macho@[Link] http: //[Link]/~mtwnastm Tif: 946015352 Fax: 946012516 ‘Titulo de la asignatura y algunos de sus contenidos generados con Wordle, //www [Link]/Indice general Introduccion O.1. {Qué es la topologia? 0.2. Un poco de historia 0.3. Organizacién de este documento 1. Repaso de algunas nociones bésicas 1.1. Nociones de Logi LLL. Simbolos y conectores 1.1.2. Los objetos del razonamiento 1.1.3. Condiciones necesarias y suficientes 1.1.4, Los métodos de demostracién 1.2. Teorfa de conjuntos 1.3. Funciones y sus propiedades 1.4. Relaciones binarias 1.5. Propiedades de los nimeros reales 1.6. Cardinalidad de conjuntos 1.7. Ejercicios 2. Espacios topolégicos 2.1. Definicién de topologia 2.2. Conjuntos abiertos y cerrados 2.3. Base y subbase de una topologia 2.4. Espacios de Fréchet y de Hausdorff 2.5. Problemas 3. Entornos 3.1, Entomos y sistemas de entornos 3.2. Bases de entornos u 13 14 16 23 24 25 26 28 29 35 35 373.3. Topologias y sistemas de entomos 3.4, Problemas 4. Conjuntos en espacios topolégicos 4.1, Interior de un conjunto 4.2. Clausura de un conjunto . . 4.3. Puntos de acumulacién y puntos aislados 4.4. Frontera de un conjunto 4.5. Problemas 5, Numerabilidad 5.1. Espacios primero y segundo numerables 5.2. Espacios de Lindelit 5.3. Espacios separables 5.4. Problemas 6. Continnidad 6.1. Aplicaciones continuas 6.2. Algunas propiedades de funciones continuas 62.1. Continuidad y espacios Hausdorff 6.2.2. Continuidad secuencial 6.2.3. Continuidad y numerabilidad 6.2.4. Criterio de Hausdorit 63. Problemas 7, Homeomorfismos 7.1. Aplicaciones abiertas y cerradas 7.2, Homeomorfismos 7.3. Propiedades topolégicas 74. Problemas Bibliografia indice general 38 38 41 4 43 45 45 46 83 53 56 56 37 61 61 62 62 63 63 63 63 61 67 68 69 69 BIntroduccién Con el alma en carne viva, abajo, sueno y trabajo; ya estard el de abajo arriba, cuando el de arriba esté abajo. Con el alma en carne viva, abajo, suet y trabajo. “Cuando yo vine a este mundo” Nicolés Guillén (Cuba, 1902-1989) 0.1. {Qué es la topologia? Ademds de aquetla parte de la geometria que trata sobre cantidades y que se ha es- tudiado en todo tiempo con gran dedicacién, el primero que mencioné la otra parte, hasta entonces desconocida, fue G. Leibniz, el cual la lamé geomeiria de la posicién, Leibniz determind que esta parte se tenia que ocupar de la sola posicién y de las propiedades provenientes de la posicién en todo lo cual no se ha de tener en cuenta las cantidades, ni su célculo... Por ello, cuando recientemente se mencioné cierto problema que parecta realmente pertenecer a la geometria, pero estaba dispuesto de tal manera que ni preci- saba la determinacién de cantidades ni admitia solucién mediante el cdleulo de ellas, no dudé en referirlo a la geometria de la posicién. L. Euler La topologia es probablemente la mas joven de las ramas clisicas de las matemiticas. En contraste con el Algebra, la geometria y la teoria de los niimeros, cuyas genealogias datan de tiempos antiguos, la topologia aparece en el siglo XVII, con el nombre de ana: ysis situs, es decir, andilisis de la posicién6 Introduccién De manera informal, la topologfa se ocupa de aquellas propiedades de las figuras que permanencen invariantes, cuando son plegadas, dilatadas, contraidas o deformadas, de modo que no aparezcan nuevos puntos, o se hagan coincidir puntos diferentes. La trans- formacisn permitida presupone, en otras palabras, que hay una correspondencia biunivoca entre los puntos de Ia figura original y Ios de la transformada, y que la deformacién hace corresponder puntos proximos a puntos préximos. Esta dltima propiedad se llama con- tinuidad, y lo que se requiere es que la transformaci6n y su inversa sean ambas continuas: trabajamos con homeomorfismos. En topologfa se trabaja con los mismos objetos que en geometrfa, pero de modo distin- to: las distancias 0 los ngulos no son importantes, ni siquiera la alineacién de los puntos. En topologfa, un citculo es equivalente a una elipse; una bola no se distingue de un cubo: se dice que la bola y el cubo son objetos topoldgicamente equivalentes, porque se pasa de una al otto mediante una transformacién continua y reversible. 0.2. Un poco de historia En 1679, G. Leibniz. (1646-1716) publica su famoso libro Characteristica Geometri- ea, en el que (en términos modernos) intenta estudiar mas las propiedades topol6gicas que las puramente métricas de las figuras. Insiste en que, aparte de la representacién coorde- nada de figuras, “se necesita de otro andlisis, puramente geométrico o lineal, que también defina la posicién (situs), como el dlgebra define la magnitud” ‘Los matematicos en el siglo XVIT muestran poco interés en la topologia, con Ia ex- cepcisn de L.. Buler (1707-1783) cuyo genio comprende todas las matemiticas. En 1736, Euler publica un articulo con Ia solucién al famoso Problema de los puentes de Kénigs- berg, titulado “Solutio problematis ad geometriam situs pertinentis”. El titulo ya indica que Euler es consciente de que esta trabajando con una clase diferente de matemitica, en a que la geometria ya no es importante EI siguiente paso en esta liberacién de la matemética también se debe a Euler. En 1750 escribe una carta a C. Goldbach (1690-1764) en la que da la famosa férmula de Euler para un poliedro: v — + ¢ = 2, donde v es en mimero de vértices del poliedro, 1 es el mimero de lados y c el néimero de caras. Esta férmula, de asombrosa simplicidad, parece que fue olvidada por Arquimedes (287 AC-212 AC) y R. Descartes (1596-1650), aunque los dos escribieron extensamente sobre poliedros. Esto parece deberse a que para todos los anteriores a Euler, parecia imposible pensar en propiedades geométricas sin que a medida estuviera involucrada. Euler publica los detalles de esta fSrmula en 1752 en dos articulos, donde da una demostracién basada en la diseccién de sotidos en rodajas tetraédricas. Euler pasa por alto algunos problemas en su prueba; por ejemplo, supone que los sélidos son convexos. A.J. Lhuilier (1750-1840) continéa el camino iniciado por Euler con su f6rmula po-0.2. Un poco de historia 7 liédrica. En 1813, publica un importante trabajo, donde indica que la f6rmula de Euler es falsa para sélidos con asas sobre ellos: si un sélido tiene g asas (un asa es un toro adjuntado al espacio), Lhuilier prueba que la formula se esctibe v —1-+.¢ = 2— 2g, Este es el primer resultado conocido sobre invariantes topolégicos. AF, Mobius (1790-1868) publica una descripcidn de la banda que lleva su nombre en 1865. Intenta escribir la propiedad de unicidad de cara de la banda, en términos de falta de orientabilidad. ‘J.B. Listing (1802-1882) es el primero en usar la palabra topologia, Sus ideas topoldgi- cas se deben principalmente a su maestro C.F. Gauss (1777-1855), Listing escribe un articulo en 1847 llamado “Vorstudien zur Topologie” y en 1861, publica otro articulo, en el que describe la banda de M@bius (cuatro afios antes que Mobius) y estudia la nocién de conexién de las superficies. Listing no es el primero en examinar las componentes conexas de las superficies; B. Riemann (1822-1866) estudia este concepto en 1851 y de nuevo en 1857 cuando introduce las superficies de Riemann. C. Jordan (1838-1922) publica en 1882 su “Cours d’Analyse”, que contiene prue- bas rigurosas de resultados topolégicos intuitivamente obvios sobre curvas en el plano, introduciendo ademas otro método para estudiar Ia conexidn de las superficies. Listing examina la conexién en el espacio euclideo de dimensidn tres, pero E. Betti (1823-1892) extiende estas ideas a dimensiones arbitarias. La idea de conexién es descrita con rigor por H. Poincaré (1854-1925) en una serie de articulos bajo el titulo de “Analysis situs” en 1895, Poincaré introduce el concepto de homologia y da una definicién precisa de los niimeros de Betti asociados a un espacio. E. de Jonquiéres (1820-1901) generaliza en 1890 la {6rmula para poliedros convexos de Euler a poliedros no necesariamente convexos. Asimismo, en relacién con la conexién, Poincaré introduce el concepto de grupo fundamental de una variedad y la nocién de homotopia ‘Un segundo camino en el cual se desarrolla la topologia es a través de la genera- lizacién de ideas de convergencia, Bste proceso se inicia en realidad en 1817 cuando B. Bolzano (1781-1848) asocia la convergencia con un subconjunto acotado infinito de mtimeros reales, en vez de pensar exclusivamente en convergencia de sucesiones de G_ Cantor (1845-1918) introduce en 1872 el concepto de conjunto derivado (0 familia de puntos Ifmite) de un conjunto, Define los subconjuntos cerrados de la recta real como aquellos conteniendo a su conjunto derivado ¢ introduce la idea de conjunto abierto, wn concepto clave en la topologia de conjuntos, Y se define el concepto de entorno de un punto. En 1906, M, Fréchet (1878-1973) llama a un espacio compacto si cada subconjunto infinito acotado contiene un punto de acumulaci6n. Fréchet es capaz de extender la nocién. de convergencia de un espacio euclideo, definiendo los espacios métricas. Prueba que los8 Introduccién conceptos de abierto y cerrado de Cantor se extienden naturalmente a espacios métricos En el Congreso Internacional de Matemiticos de Roma de 1909, F. Riesz (1880-1956) propone un nuevo acercamiento axiomiético a la topologfa, basado en una definicién con- jjuntista de puntos limite, sin un concepto de distancia subyacente, Unos cuantos afios més tarde, en 1914, F. Hausdorif (1868-1942) define los entomos a través de cuatro axiomas, de nuevo sin consideraciones métricas, Este trabajo de Riesz y Hausdorff realmente da lugar a la definicién de espacio topoldgico abstracto. Hay una tercera via en la que los conceptos topolégicos entran en las matemiticas, a saber, a través del andlisis funcional. Esta es un érea que surge de la fisica matematica y la astronomia, debido a que los métodos del anélisis clésico eran inadecuados al abordar algunos tipos de problemas. J. Hadamard (1865-1963) introduce la palabra funcional en 1903 cuando estudia los funcionales lineales F de la forma F(f) = lim [ J (c)ga(2)de, Fréchet comtintia el desarrollo de esta teoria, definiendo la derivada de un funcional en 1904. E, Schmidt (1876-1959) examina en 1907 la nocidn de convergencia en espacios de funciones; la distancia se define a través un producto interior. $. Banach (1892-1945) realiza un paso posterior en la abstraccién en 1932, cuando pasa de los espacios con producto interior a los espacios normados. Poincaré desarrolla muchos de sus métodos topol6gicos cuando estudia ecuaciones diferenciales otdinarias que provienen del estudio de ciertos problemas astronémicos. Esta coleccidn de métodos se transforma en una completa teorfa topolégica en 1912, con los estudios de [Link], Brouwer (1881-1966). 0.3. Organizacién de este documento Este documento esté organizado en 7 capitulos, el primero de repaso de nociones sobre teorfa de conjuntos y los otros corresponden a los 6 primeros temas del programa de la asignatura Topologia General del curso 2010/2011 Cada uno de los temas consta de definiciones, propiedades con algunas de las de- mostraciones més complicadas y una extensa coleccién de ejemplos. Al final de cada capitulo aparece una relacién de problemas, algunos de ellos elementales, otros ya més elaborados, otros son una mera excusa para introducir algin ejemplo de espacio impor- tante,... en donde se deben aplicar las propiedades estudiadas en la parte te6rica. Estén. marcados con + aquellos que deben hacerse y entregarse como parte del trabajo del curso. Leioa, septiembre 2010Repaso de algunas nociones basicas Te propongo construir un nuevo canal sin exclusas ni excusas que comunique por fin tu mirada atléntica con mi natural pacifico. “Nuevo canal interocednico” Mario Benedetti (Uruguay, 1920-2009) 1.1. Nociones de Légica La Légica es una herramienta bésica en Matemiticas; damos aqui un breve repaso de algunos conceptos fundamentales, 1.1.1. Simbolos y conectores En Mateméticas, es fundamental la utilizacién de simbolos y conectores que sirven para modificar o combinar sentencias. Definicin 1.1. Los siguientes simbolos se llaman cuantificadores: 1) el cuantificador universal: ¥ (para todo); 2) el ewantificador existencial: 5 (existe). Definicién 1.2. También es esencial el uso de los llamados conectores: 1) la negacion: no:2 Capitulo 1. Repaso de algunas nociones basicas 2) la conjuncién: A (y): 3) la disyuncién: V (0); 4) la implicacién: —+ (si, entonces); 5) la doble implicacidn: <=> (si y sélo si, es equivalente a). EI manejo es sencillo, pero es preciso tener cuidado al utilizarlos. Por ejemplo, si sB y 2 son propiedades relativas a los elementos de un conjunto X (definicién 1.11), para expresar que x cumple §P, se escribiré P(r). ¥ entonces: Proposicién LA. EI enunciado $P(r) v(x), significa una de las tres posibilidades (mu- tuamente excluyentes) siguientes (PZ) y Q(z): (ii) P(x) y no-Q(x); (iii) noB(z) y Q(x). Proposicién 1.2. Un enunciado se niega de la siguiente manera: 1) no-(Vx X,$(2)) es lo mismo que decir que (3x € X : no-5B(zx)); 2)no-(Ax € X : B(x) equivale a (Wx € X,no-SB(2x)), 3) no(x € X, B(x) A Q(z) es lo mismo que (3x € X : no-HB(x) 0 no-L2(x)); 4) no-(3x € X B(x) => Q(z) es equivalente a (Wx € X, P(x) A> Q(z)) Proposicién 1.3. Cuando aparecen varios cuantificadores en un enunciado, es indiferente el orden en el que se escriben, siempre que los cuantificadores involucrados sean del mismo tipo. Si (zx, y) es una propiedad relativa a los elementos x € y, entonces: 1) (Wx, Vy, B(x, y)) es lo mismo que decir que (Vy, Vx, B(x, y)): 2) (Ax, Fy : P(x, y)) es equivalente a (3y3y : Plz, y)) Contraejemplo 1.1. Hay que tener cuidado cuando se ven involucrados cuantificadores de distinto tipo. Por ejemplo, el enunciado (Vz, 3y : $0(x, y)) no equivale a la expres (Gy: Vx, B(x, y)). En efecto, si X = Ny P(x, y) es la propiedad “x < y", la primera expresisn se lee como que todo niimero natural posce otro mayor (que es cierta) y la segunda significa que existe un nimero natural mayor que todos los demés (que es falsa.1.1. Nociones de Légica 3 Proposicién 1.4. El cuantificador existencial y el conector disyuncién se pueden inter- cambiar en la escritura de un enunciado, asf como el cuantificador universal y el conector conjuncién 1) (Wx, B(x)) y (Vy, Q(y)) es lo mismo que (Wx, y, P(x) A Q(y)); 2) (Ax: P(x) 0 By : Ay) es equivalente a (x,y: P(x) v Ay). Contraejemplo 1.2. En general, no se pueden intercambiar cuantificadores y conectores en Ia escritura de un enunciado: 1) laexpresion (Vx, B(x) V Q(2)) no equivale a (Yr, (x) V (Vr + Q(z). En efecto, si X = N, Py Q son las propiedades de “ser par” y “ser impar” respectivamente, centonces la primera expresién se lee como que un mimero natural es par o impar (que es verdadera) y la segunda dice que todo némero natural es par o todo némero natural es impar (que es falsa); 2) la expresién (32 : $B(z)) A (3x : Q(z) no equivale a (3x : P(x) A Q(x)). En efecto, tomando de nuevo el ejemplo de 1), la primera expresi6n se lee como que existe un riimero natural par y existe un ntimero natural impar (que es cierta), y Ia segunda significa que existe un mimero natural a la vez par e impar (que es falsa). 1.1.2. Los objetos del razonamiento Definir una teorfa matemética es establecer las reglas del juego sobre los objetos ma- nipulados, los denominados axiomas. Definicién 1.3. Un axioma es todo enunciado que: 1) sirve de fandamento para la construccién de una teorfa; 2) se admite como cierto y no es por lo tanto objeto de discusién. Cuando un nico axioma no basta para definir una teorfa, se pide ademés 3) que los diferentes axiomas usados no se conttadigan y sean independientes los unos de los otros Ejemplos 1.1. Algunos ejemplos de axioi ss son los siguientes: 1) axioma de Euclides, que es la base de la Geometria Euclidea: dos rectas paralelas del plano euclideo no se cortan; 2) axioma de eleccién: dado un conjunto X, existe una funcidn (definicién 1.18) de eleccidn, f- P(X) — {0} +X (definicién 1.14), que asigna a todo conjunto A no vacfo, un punto distinguido f(A) = a € A;4 Capitulo 1. Repaso de algunas nociones basicas 3) lema de Zorn: sea un conjunto parcialmente ordenado (X,, <) (delinicién 1.31), tal que todo conjunto bien ordenado (definicién 1.33) admite una cota superior (detinicion 1.34); entonces (X, <) posee un elemento maximal (definicién 1.32); 4) axioma de Zermelo: todo conjunto puede ser bien ordenado, Observacién 1.1. 2), 3) y 4) son formulaciones equivalentes del mismo axioma. Definicién 1.4, Una definicién es un enunciado que sirve para explicar o introducir una nueva nocién. Una vez conocidos los axiomas y algunas definiciones, el juego puede comenzar, puesto que las reglas ya se conocen. Definicién 15. Un teorema es un enunciado que se deduce: 1) directamente de los axiomas 0 2) de los axiomas y los teoremas precedentes, y con las reglas de deduccién que se aman demostraciones, que aseguran su validez. Definicién 1.6. A veces, se da tinicamente el nombre de teorema a los verdaderamente importantes, a los que han pasado a Ia historia con un nombre, o a los que precisan una demostracisn muy larga, dejando el nombre de proposicién al resto. Definicién 1.7. Un lema es una proposicién preliminar a la demostracién de un teorema. Definicién 1.8. Un corolario es una proposicién que se deduce inmediatamente de un teorema, por una demostracisn si no inmediata, cuando menos corta y facil. 1.1.3. Condiciones necesarias y suficientes Definicién 1.9. (La implicacién) Sean X un conjunto y P y 2 dos propiedades ma- temiticas definiendo los conjuntos A = {x € X : P(x)) y B = {x © X : Qe)} respectivamente. Si A C B (definicién 1.12), todo elemento verificando $B, cumple tam- bién 2. En este caso, se dice que $B implica 2, y se escribe 8 —> 2. Se dice también que B es una condicién suficiente de 0 (para obtener 2 basta con conocer {P) 0 que 2 es una condicién necesaria de %B. Definicién 1.10, (La equivalencia) En las condiciones de la definicién 1.9, si A = B (definicién 1.12), todo elemento verificando $B cumple también 2 y viceversa. En este caso, se dice que f es equivalente a 2, y se escribe P <—> 0. Como A = B es idéntico aAC By BC A, lacquivalencia 8 <=» Q significa las dos implicaciones $f —> 2 y 2 => P. Bs decir, las dos propiedades equivalentes $y O caracterizan el mismo Conjunto, Observar que en tal caso 'P es una condicién necesaria y suficiente de 2.1.1. Nociones de Légica 5 1.1.4. Los métodos de demostracién Hay muchos métodos de demostracién, de los cuales citamos los més importantes a continuacién, usando la notacién de la definicién 1.9: (@ Método de la hipétesis auxiliar: para probar que $f => Q, se supone P cierta Esta forma de razonamiento, la més directa, es también la mas conocida, De manera préctica consiste en demostrar el teorema $ => Q, donde P es la hipdtesis y Q la conclusién o tesis, suponiendo que se verifica $P (la hipétesis es cierta) y ayudandose de los axiomas y de los otros teoremas de la teoria demostrados anteriormente. i) Disjuncién de los casos: para probar que B => 2, se descompone P en la forma BV WV Py, ¥ se prucka que para cadai € {1,...,n}, es B, => Es decir, se descompone el conjunto A de los elementos que cumplen $f en una unin disjunta (definicién 1.13) de subconjuntos Ay, , A,,. Entonces, se prueba que para cada 1Si 2. se demuestra el con- trareciproco no- => no-f. Es un primer método de prueba indirecta. Descansa sobre el hecho de que la inclusién AC Bes equivalente a decir que los conjuntos complementarios (definicién 1.13) verifi- can la inclusién Bc A’. Ejemplo 1.2. Probar que sin € N es tal que n? es par, entonces n es par Demostracién: Si n € N es impar, entonces n? es impar 1 (iv) Demostracién por reduccién al absurdo: para probar un enunciado 'B, se supone su negacién no-%B, y se busca una contradiccién en la teoria en la que se tra: baja. Como evidentemente se admite que esta teorfa no admite contradicciones, la supos cidn no-¥P seré falsa, lo cual es equivalente a decir que {P es cierta. ;A qué contradiccién se debe llegar? A contradecir un axioma, un teorema anteriormente probado o la propia suposicién no-B.6 Capitulo 1. Repaso de algunas nociones basicas De modo similar, para probar que 8 + © razonando por reduccién al absurdo, se admite lo contrario, es decir, que no-(J + 22), 0 lo que es equivalente, P y no-O. Y se busca entonces encontrar una contradiceién. (v) El contraejemplo: para probar que un propiedad matemética $B es cierta para un conjunto X,, hay que probar que todos los elementos de X la verifican. Pero, se sabe que la negaci6n de (Vr € X,B(z)) es (Be € X,no-4B(z)). Asf, para probar que esta formula es falsa, basta con encontrar un elemento de X que no verifique 'P: esto es lo que se Hama dar un contracjemplo Ejemplo 13. Six € B, ces cierto que six < x°, entonces esx > 1? Demostraci6n: La respuesta es falsa, tomando x = —2 ' (vi) La demostracién por recurrencia: este tipo de demostracién esti ligada a la definicién del conjunto de los enteros naturales. Es una técnica ttil para probar que una propiedad f(x) es cierta para todos los enteros naturales n, 0 para los que son iguales © superiores a un cierto no. Sean no un entero natural y $B(n2) una propiedad matemética que depende de un entero n. Para probar que P(r) se verilica para cada n. > rio, basta con probar que: 1) Plo) es cierta, 2) demostrar, bajo la hipstesis de que $P(n) se verifica para n {no, no + 1,...k}. que P(k + 1) es cierta, La etapa 1) es una simple verificacién y la 2) es, de hecho, el objeto de una demostracién. Ejemplo 14. Probar que para cada n € N, 1} ----+ n= MB Demostracién: Para n = 1, es cierto que 1 = 444), si Ja propiedad se verifica para Ay, entonces: 1424---+k+(k+1)=(142+---+h)+(b-+1)=AAh. (+1)= Observacién 1.2. Hay una forma débil de la demostracién por recurrencia: para probar que $B(n) se verifica para cada n > no, basta con probar que 1) Blno) es cierta, 2) demostrar, bajo la hipétesis de que 3P(k) se verifica para k > mo, que P(k + 1) es cierta, En este caso, para probar que $3(k + 1) se verifica, nos apoyamos sélo sobre la hipétesis de que P(k) es cierta1.2. Teorfa de conjuntos 7 1.2. Teoria de conjuntos Definicién 1.11. Un conjunto es una coleccién de objetos, llamados elementos 0 puntos. Sixes un elemento de X, se denota por x € X, Andlogamente, x ¢ X denota la “no pertenencia” de « a X. Bl conjunto vacfo 0 es el conjunto sin elementos. Son conjuntos importantes en Matematicas N, Z, @, R, Se puede definir un conjunto: 1) por extensidn, nombrando todos sus elementos: por ejemplo, el conjunto de los niimeros naturales pares es {2,4,6,8,---}: 2) a través de una propiedad B vilida en un universo {4, que serviré para caracterizarlo {© ©: B(2)}. Por ejemplo, el conjunto de los mémeros naturales pares se puede expresar por {7 € IN: 2 es miltiplo de 2}. Definicién 1.12. Dados A, B CX, se dive que A estdé contenido en B, AC B, si para cada r € A,esn € B.Y AesigualaB,A=B,si AC ByBCA Definicin 1.13. Si A, BC X, se definen: 1) la interseceién de Ay B, por ANB = {x € Xs € ANx € B}. Claramente, ANBC A,B. Ay B se dicen disjuntos si AN B = 6 2) la unién de Ay B, por AU B = {x © X sx € AV x € BY. Es decir x € AUB, si se verifica una (y slo una) de las condiciones siguientes: @reAyaeB, ize Ayr gB, (ii) z ¢ Ay ze B, Claramente, A, B.C AUB; 3) el complementario de Aen X, por X — A = {x € X : x ¢ A}. Sino hay duda de respecto a que conjunto se esté tomando el complementario, se suele denotar por AS 4) la diferencia de Ay B, por A— B= ANB ={2eX:2 Anz ¢ Bh. Proposicién 1.5. Las anteriores operaciones verifican las siguientes propiedades: 1) leyes idempotentes: ANA = A= AU 2) leyes asociativas: (AU B)UC = AU (BUC) y (ANB) NC = AO (BNC); 3) leyes conmutativas: AUB = BUAyANB= BNA; 4) leyes distributivas: AN(BUC) = (ANB)U(ANC) y AU(BNC) = S)identidades: ANX = A= AU, AUX =XyAnb=0, (AUB)N(AUC);8 Capitulo 1. Repaso de algunas nociones basicas 6) propiedades del complementario: AU A® = X, AN AS = 0), (AY = Ay X°= 0 7) leyes de De Morgan: (AU BY = A°O) Bry (AN BY = ASU BE Definicién 1.14. Se llama partes de X 0 conjunto potencia de X al conjunto de todos los subconjuntos de X, y se denota por P(X) 0 2%, Es decir, Ac X siysélo si A € P(X). Definicién 1.15. Ax B = {(a,6) a € AAb€ Bhes el producto cartesiano de A por B, Sus elementos son pares ordenadas. Claramente, A x B # Bx AY Ax B = 0, siy slo si A = 06 B = 0. Dos pares ordenados (a1, 1), (a2,b2) € A x B, son iguales (a1,b:) = (a2, b2) sty slo sia, = a2 y by = by, Luego, (a1, b1) # (a2, ba) sty sélo sia, # a2 0b; # br En general, dada una familia finita de conjuntos (Ay, --- , Ay}, se define su producto cartesiano por TTA; = Ay x + x Ay = {(a,°+* aq) a; © Aji © {1+ yn}. Si ‘A, = Apara cada i € {1,-- ;n},el producto cartesiano se denota por A” Proposicién 1. 1) Ax (BNC) = (Ax B)N(AxC) 2) Ax (BUC) = (Ax B)U(Ax C); 3)siC A Oy Ax C= Bx C, entonces A~ B, 4) Ax (B~C) = (Ax B) ~ (Ax), 5) (Ax B)N(C x D) = (ANC) x (BND); 6) (Ax BY’ = (Ae x BUCA x B)U(Ax BY); 7) si BCG, entonces Ax BC AX C; 8) (Ax B)N(C x D) = (Ax D)O(Cx By 9) si A, B,C y D son conjuntos no vactos, entonces Ax B.C Cx Dsiysélosi ACC yBCD. I producto cartesiano verifica las siguientes propiedades: Definicién 1.16. Sea I # @ un conjunto de indices. Se considera una familia de conjuntos {Aci € I}. y se dice que esta familia esta indicada por I. Los conjuntos A; no tienen porque ser diferentes. Definicién 1.17. Dada una familia indicada (4, - 4 € I}, con A, CX, se define: Ady 1) la interseccién generalizada (A; = {x © X iWi I,z © 2) la unin generalizada|_JA, = {x © X : 3i € Ital que x © A,}.1.3. Funciones y sus propiedades 9 Si el conjunto de indices J es finito, estas definiciones coinciden con las dadas en la definicién 1.13. Se cumplen también en este caso las propiedades distributivas, las leyes de De Morgan (9) =Uaty (us) = [Ai ete. 1.3. Funciones y sus propiedades Definicién 1.18. Dados dos conjuntos X e Y, una aplicacién o funcién f: X —+Y, es una correspondencia que asocia a cada x © X, un elemento y s6lo uno de Y, que se denota por f(x). Ejemplos 1.2. Algunos ejemplos de aplicaciones son’ 1) la aplicacién identidad, 1x : X — X, definida por 1x (x) 2) la aplicacién inelusién: si A CX, ig: A—+X, se define por ta(x) = 3) la aplicacién constante, cy: X —+Y,, definida por c,,(2) = yo, donde yo es un punto fijo de Y: 4) la i-ésima proyeccién coordenada, p;: Ay X ~~ X Ay —> Ay, definida por la igualdad Pi((ai,-*> ,@n)) = a5 5) la inyeccién diagonal, d: X —» X*, definida por d(x) = (2,--- ,2); 6) la funcién caracteristica de un conjunto: si AC X, xa: X —+{0,1}, definida por xaey= {4 si cg si cA ‘T) dada f: XY y Ac X, larestriccién de f a A, fla: A—+Y, esté definida por Sla(a) = fla): 8) sig: AY y AC X, emtonces f: XY es una extension de g aX, si fla = 9: una aplicacién puede tener varias extensiones: 9) si f: AY y g: B—+Y son dos aplicaciones, donde AU B = X y f(x) = 9(2) para cada x € AM B, se puede definir la combinada de f y g, como la aplicacién h: XY definida por Definicién 1.19. Dada una aplicacién f: X —>Y, X se llama el dominio de f e Y es su codominio. El grafo de f es el conjunto Gy = {(x, f(z) : 2 © X) CX XY, queen muchas ocasiones se identifica con f.10 Capitulo 1. Repaso de algunas nociones basicas Definicién 1.20. Dos aplicaciones f: X —Y y g: Z—>W son iguales, cuando coin- ciden sus dominios (X = Z), sus codominios (Y = W) y f(x) = g(z), para cada x € X. Por ejemplo, si f: X —+¥ es una aplicacién y Ac X, fy f|a no son iguales. Definicién 1.21. Dada f: X —Y, f(A) = (y € ¥ : 3a € Atal que f(a) = y}esla imagen directa de A, {(X) se llama rango de la aplicacién. Definicién 1.22. Si B CY, f-"(B) = {2 €X : f(z) € B} es su imagen rectproca. Proposicién 1.7. Dada f: XY, se verifca: 1) f(0) = 0. F(X) CV ysi AZ, entonces f(A) #0, 2) si Ay, Az CX, y Ay C Ay, entonees f(A) © f(Aa) Ls (Us) = Una yf (n) tay: oa cr er ier 3)S1A, CX para 4) si Ay, Ay © X, f(A) — (Aa) © (Ar — Aa) y en particular f(X) — f(A2) ¢ J(X = An). Entre ¥ — f(Aa) y f(X — An) no hay en general ninguna relacién; 5) J) = 0, y puede existir 0 # B CY, tal que {-\(B) = 0; 6) J) = x, 7) si By, By CY y By © Bz, entonces f-*(Bi) © (Ba) 8) si B, CY parai€ 1, f (9) =NVrB) yr (us) =U: 9) Si By, Bz CY, f "(By ~ By) = X — f*(B2); 10) si ACX, AC P(A): Is BCY, f7UB)) = (IX) B CB: I2)ss AC XyBCY, f(A [-(B)) = s(A) NB. (By) — (Ba), y en particular, f-"(Y — By) = Definicién 1.23. Dadas f: XY y 9: Y —Z, se define la composicisn de 9 y f. por go f: XZ, donde (9 0 f)(2) = 9(f(2)), para cada x € X. Proposicién 1.8. Sean f: X —+Y, g: Y—+Zyh: Z—»W aplicaciones, entonces: 1) la composicién de funciones es asociativa: h.o (go f) = (hog) 0 fs 2)folx=fylyeg=g 3)s1C CZ, es (go fy MC) =F (9 MC) 4) si f: XV yg: ¥ OX, engeneral, fog #gef.1.4, Relaciones binarias u Definicién 1.24. Se dice que : XY es sobreyectiva, si f(X) = Y. es decir, para cada y € Y, existe x € X, tal que f(x) = y. ¥ es inyectiva, si dados x # 12 en X, es ‘J (x1) # F(2) (0 equivalentemente, si f(r) = f (x2), entonces 21 = 12) Proposicion 1.9. Sea f: XY, entonces: 1) B= f(f(B)) para cada B CY, siy s6lo si f es sobreyeetiva; 2)Y — f(A) ¢ f(X — A) para cada A CX siy sélo si f es sobreyectiva; 3) sig,h: Y—Zy f es sobreyectiva, entonces go f — ho f implica que h 4) sig: YX y fog = ly, entonces f es sobreyectiva; 5S) A= f(f(A)) para cada Ac X, siy s6lo si f es inyectiva; OF (94) = [\MAd para cada familia indicada de conjuntos {Aj C X}icr si y so si ex inyectiva; 7) si J es sobreyectiva, entonces para cada Ac X es ¥ ~ f(A) = f(X ~ A) siy sdlo Si f es inyectiva; 8) sigh: Z—+X-y f es inyectiva, entonces f og = f © h implica que h = 9 sig: YX ygo f =1y, entonces f es inyectiva. Definicién 1.25. f: X —+Y es biyectiva si es sobreyectiva ¢ inyectiva a la vez, En tal caso, Ia correspondencia definida por f : Y —+X, donde f(y) = x siy sélo si f(x) = y, es una funcién. Proposicién 1.10. Sea f: X —Y, entonces: I) si J es biyectiva, entonces [-* también lo es; 2) i f es biyectiva, entonces f 10 f =1x, fof t=lyy(f 1 =f: 3)sig: YX yqof=1vyfog= ly, entonces f es biyectivay g = [-; 4) si f: XY yg: ¥ —+Z son biyectivas, entonces 90 f lo es yademas (go f) 1 = frog 1.4. Relaciones binarias Definicién 1.26. Dado un conjunto X, una relacién binaria es 9X © X x XM se llama: 1) reflexiva, si para cada x € Xs (xx) € %; 2) simétrica, si dado (x, y) € , entonces (y, x) € Ri 3) antisimétrica, si (x, y) € He (y, x) € R implica que x = y;12 Capitulo 1. Repaso de algunas nociones basicas 4) transitiva, si dados (x,y), (y, 2) € ®, entonces (x, 2) € R, Definicién 1.27. Una relacién de eguivatencia es una relacidn binaria reflexiva, simétrica y transitiva, Se suele denotar por «Ry en vez de (x,y) € Definicién 1.28. Dada 9% una relacin de equivalencia, se llama clase de x al conjunto [2] = {y © X : ay}. El conjunto cociente X/W, es el conjunto de todas las clases de cequivalencia. Proposicién LL. Algunas propiedades son J) © € [2] (x se llama representante de su clase), luego |x| # 0; 2) a®y si y sélo si [x] = [yl: 3) [2] # [y] siy sélo si [2] A [y) = 0. Definicién 1.29. Una particién de X es una familia P = {P; : 4 € I} de subconjuntos no vacfos de X, tales que: @X=UP.y Gi) si P, # P;, entonces P,P — Lema 1.12. Es equivalente dar una particién de X que una relacién de equivalencia sobre él Definicién 1.30, Existe una aplicacién canénica, p: X — X/9, que asigna a cada ele- mento « su clase de equivalencia p(z) = [1]. Se lama aplicacién cociente y es sobteyecti- va. Una vez dada la aplicacién cociente, cada clase de equivalencia en X es precisamente p (rl) Definicién 1.31. Una relacién < sobre X es un orden parcial sies una relacién reflexiva, antisimétrica y transitiva. Se dice también que X esta parcialmente ordenado. El orden se llama toral, si dos elementos cualesquiera de X son comparables por esta relacién, Definicién 1.32. Si X esté parcialmente ordenado por <, entonces (@ a € X se llama elemento maximo de X, si para cada x € X,es x a, (iv) a € X es un elemento minimal de X, six £ a para cada x 4 a Ejemplo 1.5. Si X — {a,b,c} con el orden parcial a < b ya < ¢, entonces b es un elemento maximal de X,, pero no un maximo. Definicién 1.33. Un conjunto parcialmente ordenado en el cual todo A C X no vacio posee un elemento minimo, se lama conjunto bien ordenado. Por ejemplo, (Z, <) no esté bien ordenado.1.5. Propiedades de los mimeros reales 13 1.5. Propiedades de los nimeros reales (R, <) es un conjunto totalmente ordenado, donde < denota el orden usual en R. n 1.34, Si ACR, se tiene: Res tal que a < para cada a 2) la menor de las cotas superiores de A (es decir, w es cota superior de A y para cada z cota superior de A es 2 > u) es el supremo de A, y se denota sup(A); A, se dice que wes una cota superior de A; 3) sil € Res tal que a > J para cada a € A, se dice que l es una cota inferior de A; 4) la mayor de las cotas inferiores de A (es decir, es cota inferior de A y para cada 2 cota inferior de A es = <0) esel infimo de A, y se denota inf(A) Teorema 1.13. (Axioma de la cota superior) Si A CR estd acotado superiormente (es decir, existe M © R, tal que M > 0, para cada.a & A), existe el supremo de A, Yen tal caso, s = sup( A) si y sélo si (i) para cadaac Aesass.y (ii) para todo ¢ > 0, existe a. € A tal que a, > se. Del axioma anterior, se deduce que: Corolario 1.14. Si AC R estd acotado inferiormente (es decir, existe m € R, tal que 1m i,y (ii) para todo © > 0, existe ae € A tal que ae < i+ ‘Teorema 1.15. R es arguimediano, es decir, el conjunto N no esté acotado superiormente. Demostracién: Si lo estuviera, existirfa ro € R, tal que n < ro para cada n € N. Pero to = [ro] +L EN, y no £ ro. 1 Del teorema 1.15 se deducen inmediatamente: Corolario 1.16. (Propiedad arquimediana) Para todo x > 0, existe n © N, tal que o n € N), una familia de intervalos cerrados y encajados (es decir, si ne B inyectiva, con Io cual Card(A) < Card(B) (equivalentemente, si existe una aplicacién f: B—>A sobreyectiva). Definicién 1.39. Dados dos niimeros cardinales 12) y wz, se dice que w < Ww, si existen conjuntos X e Y con Card(X) = «1 y Card(Y) = w y tales que la potencia de X es ‘menor o igual a la potencia de Y. Se trata de una relacién de orden. Siw; 0, es |x| < ©, entonces = 0. 7.- Dado el conjunto A = {a,b}, {son vilidas las siguientes expresiones? acd, W{aEA, GOEA, Gv {a}EP(A)s (WOE P(A) 8.- Sean A, B y C tres conjuntos finitos, de cardinales a, by c, respectivamente. Sea p = Card(AN B), q = Card(B NC), r = Card(ANC) y s = Card(AN BNC). Calcular el cardinal de AU B, AUC, BUC y AUBUC 9.2 Se pide: a) caleular P(X), si X — {1,2}, X = {O}y X = {1,2,3,4); b) probar que si C'ard(X) ~ n, entonces Card(P(X)) = 2°; ©) probar que si AC B, entonces P(A) ¢ P(B). (Es cierto el reciproco? 10.- Si B © X, probar que son equivalentes las siguientes expresiones: @ACB, GANB-A; Gi) AUB-B; GBC AS (AN B= (wi) BU AS x LL.- Probar las propiedades siguientes para conjuntos, dando un contraejemplo en el caso de inclusién estricta: »au(Ua) Uva): van(a) Narr 94u (Fe) Z y g: Z—+Z? dadas por: f(z, y) = 22 + vy g(x) = (x, 19.- Sea f: RR, dada por: Se pide: a) estudiar si f es inyectiva o sobreyectiva; b) caloular f((1,3)), £([-2,2]), #™((,1)), F(a as ©) sig: R—+Resla aplicaci6n 9(z) = |x|, determinar fog y calcular (fog)""((-2, 5) 20.- Probar que la aplicacién f: R ~ (2)—+R — {1}, definida por: f(x) = biyectiva y calcular f 2. Caleular f(A;) y f*(Bi) (@ € {1,2)), para f: RR, donde: a) f(x) = 2?, Ay = (0,2), Br = (0,4) y Be = (1,0); b) f(z) = 24, Ar = (0,2), An = 0, Bi = (0,16) y Be = (-1,0); ¢) f(z) = 2 (para z > 0), A, = N, By = {z €R:2>2}y B,=N; d) f(z) = 28 — 3x, Ay = (0,00), By = (0,2) y By = {2}. 22.- Dados x,y € R, utilizando el cardcter arquimediano de R, probar: a) six > Oey >0,existen EN, tal que nz > y; b)sia > 0,existe n EN, tal que < 2 0, existe n € N, tal quen —1<2 fi), sit, C7. ¥ son bases equivaientes sit, = 7 Observacién 2.3. Si fh y 2 son bases equivalentes, no tienen porque coincidir. Por ejem- {(a,5) : 4,6 € Q}y fy = {(a,b) = a,b € T} son bases de la topologia usual eto no son iguales. Se pueden comparar topologfas sobre X conociendo s6lo sus bases. Intuitivamente, cuanto més pequeitos sean los elementos de la base, mayores serdn las topologfas induci- das: Teorema 2.4. Sean {i y {iy bases para las topologias 71 y 72 sobre X, respectivamente. Entonces, % © 7 (th © fix) si y sdlo si para cada By © |i y cada x © By, existe By € fy, tal que x © By © Bp Corolario 2.8. Sean (3; y bases para las topologtas 7, y 72 sobre X, respectivamente Entonces, 7 = 7, siy silo si: (i) para cada By € yy cada xz € By, existe By € th, tal que 2 € By C Bay (ii) para cada By € (hy cada 1; € By, existe By € fi, tal que x € By C By Ejemplos 2.5. Aplicando este criterio, se comprueba que:28 Capitulo 2. Espacios topolégicos (Tu C Toor Ya que para cada (4,5) € By y cada « € (a,b), existe [r,b) € Bey tal que r€ (2,8) C (a,b):y Gi) Toor F Ta, Pues para a € (2,5) E Gror, no existe BE Gy tal que a € BC fa, 8) A veces, también ¢s stil disponer de la nocién de subbase Definicién 2.6. Una familia o © P(X) es una subbase para alguna topologia sobre X, si la familia de las intersecciones finitas de elementos de a es una base para una topologia sobre X. Lema 26. Sic C P(X) verifica que X = JS. emtonces es subbase para alguna topologia sobre X. er Ejemplos 2.6. Algunos ejemplos de subbases son 1) ~ {(-00, a), (6,00) :a,6 € R} es subbase para 7, sobre R: 2).@ = {(-00,4], [b,00) :a,6 © R} es subbase para 74, sobre R; 3) toda topologia es subbase de sf misma 2.4. Espacios de Fréchet y de Hausdorff El axioma T; fue introducido en 1914 por Hausdorff, El axioma 7; se atribuye a Fréchet. El propésito principal de los axiomas de separacién (como T; y 1), ¢s el de hacer los puntos y los conjuntos de un espacio topoldgicamente distinguibles. Definicién 2.7. Un espacio (X,7) es de Fréchet o T,, si para cada par de puntos distintos xf y existe UE rtalquer Vey ¢U. Observacién 2.4, Aungue no es necesario escribirlo a la hora de dar la definicién, ob- servar que si el espacio es de Fréchet y x # y, existe U € r tal quer eUey ¢ U pero también debe existir V € 7 tal que y € V yx ¢ V, ya que los papeles de x ey son reversibles. Definicién 2.8. Un espacio (Xr) es de Hausdorff 0 Ts, si para cada par de puntos dis- tintos x 4 y, existen abiertos disjuntos U y V, tales que x € U ey € V. Se suele decir que U y V separan x ¢ y. Lema 2.7. Si (X,1) es T, entonces es T;. El recfproco no es cierto, Observacién 2.5. En las definiciones anteriores, pueden reemplazarse los abiertos por abiertos bisicos2.5. Problemas 29 Ejemplos 2.7. Para los espacios topolégicos introducidos anteriormente: 1) Tats, Troas Teor ¥ las topologias metrizables (problema 6 en 2.5) son T> (luego T;); 2) Teng ¥ Tone 800 Ts, pero no Ty; 3) Tinds Trier» Thats TAY 74 (para A + X, 0) no son T; (luego no son 73) Proposicién 2.8. Cualguier topologia més fina que una T; (respectivamente, Tz), es T; (respectivamente, Ty). En muchas ocasiones, es més itil usar la siguiente caracterizacién de propiedad T; Proposicién 2.9. (X,r) es Tj siy s6lo si para cadax € X, es {2} €C. Demostracién: $i (X,7) es T:, para cada y # x, existe U, € r tal que x ¢ U,ey € U, Entonces, {} = (| X ~ U,, que es cerrado por el lema 2.1. ¥ reciprocamente, si y # x, vee existe U =X ~ {y) © rtalques ¢Uey ¢U, 1 2.5. Problemas 1. Sea {7;}:cr una familia de topologias sobre X. Se pide probar: @ Us es subbase para una topologia, sup(7;), la menor que es més fina que cada 7; i Gi) (res una topologia sobre X, inf(r)), la mayor que es menos fina que cada 7; = {0,X, {a}, {a,0}} y v2 = (0, X, {a}, {0,c}}, encontrar » Ta} € inf{7, 72}. Gil) si X = {a, 6,6}, sup 2. Una base de cerrados F en (X,r) es una familia de cerrados, tal que todo cerrado en (X,7) se puede escribir como Ia interseccién de una subfamilia de elementos de F. Se pide probar: (i F es base de cerrados en (Xr) si y s6lo si = {X —C:C € Fh esbase der; Gil) F es base de cerrados para algiin espacio topolégico si y s6lo si (a) si Ci, Cy © F, Ch U C2 se escribe como interseccién de elementos de F, y30 Capitulo 2. Espacios topolégicos 3. Sea (X,r) un espacio topol6gico, donde X es un conjunto infinito, Para cada subcon- junto A infinito de X, se sabe que A € 7. Probar que T= Tais 4.» Dar un ejemplo de espacio topolégico no discreto, en el que coincidan las familias de abiertos y cerrados. 5.» Describir todas las posibles topologias sobre un conjunto con dos o tres puntos. Estu- diar cuales de entre ellas son T; 0 T> 6. Un espacio métrico es un par (X,d), donde X es un conjunto y d: X x X Res una funcién que satisface las siguientes propiedades: (1 positividad: de, y) > (2) propiedad idéntica: d % (4) desigualdad sriangular: d(x, 2) < d(x,y) + dly,2), Wa, y,2 € X. La funcign d se lama métrica sobre X. Si en vez de la propiedad idéntica, se verifica la propiedad (2*) d(r,r) = 0, para cada x € X, entonces (X,d) se lama espacio pseu- dométrica y d es una pseudométrica. Probar que los siguientes son espacios métricos: (es . siendo (@) (BY, d,), donde d(x, y) = 1)? es la métrica euclidea de B r= (x eum (uy uals (b) (BR, dum), donde dyn(st,y) = >|; = wl (©) (RY, drnix), donde drnix(z,y) = mdx{ tm — al} @ (Xd), donde d(x,y) = 1 six # yy d(e,x) = 0, es la métrica discreta sobre X. Dado un espacio métrico (respectivamente, pseudométrico), 7 € X yc > 0, se define la bola abierta de centro x y radio © por B(x,c) = {y € X : d(x,y) < c}. ¥se dice que A CX es abierto si para cada x ¢ X, existe ¢ > 0 tal que B(x,2) C A. Probar que la familia de los conjuntos abiertos, rz, es una topologia sobre X (es decir,2.5. Problemas 31 la familia § = {B(x,e) : © € X,¢ > 0} es base para r,), Hamada topologia métrica (respectivamente, topologéa pseudomeétrica). Se dice que un espacio topoligico (X,r) es metrizable (respectivamente, pseudometri- zable), si existe una métrica (respectivamente, una pseudométrica) d sobre X,, tal que 7 = 14. Se pide: (@ {pueden distintas métricas en X generar la misma topologia? En este caso, se dice que las métricas son topoldgicamente equivalentes, Gi) probar que (X, rina) no es metrizable, pero si pseudometrizable; Gi) probar que todo espacio metrizable es T; y T ces cierta esta propiedad para espacios pseudometrizables? Gv) si (X, |.) es un espacio vectorial normado, queda definida una métrica dj, sobre X por dados x,y € X, dy(2,y) = ||z — yl 7. Probar que una particién P de X es base de alguna topologia 7 sobre X e identificarla. 8.- Sea X un conjunto infinito y tae = {UC Xs X ~Uees infinito} U(X}. Es too una topologia sobre X? 9.- Probar que en (X,7) son equivalentes las siguientes condiciones @(X r)esT; Gi) para cada x € X, {x} = [{C cerrado: 2 € C} (Gii) para cada x € X, {x} (iv) para cada AC X,A=(\(U Er: ACU} 10.- Sea X un conjunto finito. Si (X,r) es T;, probar que + = ra LL.+ Sea (X,r) un espacio topolégico T; y ¢ una subbase de r. Six # y, se puede asegurar que existen U,V ¢ o tales que x CU,yeVy UNV =0? 12,- Sea X un conjunto infinito y {7 : 1 € T} la familia de todas las topologias Tp sobre X. Probar que Fons = intr 13. Sea (X,<) un conjunto totalmente ordenado. Para a, 7 € X, se consideran los conjuntos siguientes: V, = {r €X:2 a}y May = Bar Se pide:32, Capitulo 2. Espacios topolégicos (@ probar que la familia 6 = {Vq, Ba, Mas : a9 € X}} es una base para una topologia Tora eX, Hamada topologia del orden. GES (X, Tord) Ty? &Y Ta: Gi) probar que el conjunto {x € X : a < x < A} es cerrado, para cada a, 4 € X; (Gi) si se toma R (respectivamente, N) con el orden usual, euil es la topologia del orden asociada sobre R (respectivamente, N)? Gv) en [0, 1] x [0,1] se considera el orden lexicografico: (a1, a2) < (by, ba) si y sélo si 1 Y a) < by). Probar que la topologia del orden asociado no es (a; y +k}. gsr una topologia sobre R2? {Lo es sik € Z?Y sik € Q? Gv) probar que la familia — {{x} xR: © € R} es base para una topologia sobre R” Bs T174Y Te?2.5. Problemas 3 2, se define una familia F de subconjuntos de X, como sigue: F = {0,R2} U (F CR? : F consta de un niimero finito de puntos y de rectas}. Se pide probar: @ F es una familia de certados para alguna topologia rx; Gi) esta topologfa es la menor en la que puntos y rectas son subconjuntos cerrados: ii) comparar 7+ con la topologia usual y la cofinita; Gy) cexiste alguna topologia sobre R? en la que las rectas sean cerradas y los puntos no? (¥) cexiste alguna topologia sobre I en la que los puntos sean cerrados y las rectas no? + 19.- Vamos a dar una prueba topolégica (debida aH. Férstenberg en 1955) de la infinitud de los mémeros primos. Sobre Z se define la familia 6 = {Sy : a © N,b € Z}, donde is = {an +b: n € Z}. Se pide probar @ Su Sea = 1», donde r = memfa,¢}; Gi) es base de una topologia r sobre Z: ii) todo conjunto abierto es infinito: (iv) para cada a, € Z, Sy es un conjunto cerrado; (¥) para cada entero m € Z ~ {~1,1} existe un primo p tal que m € existen infinitos niimeros primos. spo; deducir que 20. Decimos que UC Nes abierto si dado n € U, todo divisor de n pertenece también aU. Probar que esta relacién define una topologia + # ra, sobre N. GEs (N, 1) T3? 21.+ Para cada n © N consideremos el conjunto O,, = {n,n+ 1,...}. Probar que 7 = {0} U {On }uex €8 una topologia sobre N. {Qué abiertos contienen al 1? (Es (N,7) To? 22. Sean X = {f:[0,1]—>[0,1]} y As = {f © X : f(z) = 0,¥x © S} para SC (0,1), Probar que la familia 3 = (As sobre X. gEs (X,7) Ts? (0,1]} es una base para una topologia T 23.. Sea X la familia de todos los polinomios de coeficientes reales y para cada n < N, sea By = {p € X : pesde grado n}. Probar que la familia $ = {Bp }ucy es una base para una topologia r sobre X. (Es (X,7) T;?34 Capitulo 2. Espacios topolégicos +24. Para cada A ten {ven 1¢U6 (:€0y tin Mn 4) =i} Probar que Tap €8 una topologia sobre N, la topologia de Apert, y estudiar los axiomas de separaci6n, N, definimos N(n, A) = Card (An {1,2,...,n}). Sea: 25.- Sea P la coleccién de los polinomios en n variables reales. Pata cada P € P, sea ZAP) = {1p tp) ER”: Plar,-++ 2) = 0}. Se pide: (@ probar que {Z(P) : P € P} es una base de cerrados para una topologia sobre R", Tear, Hamada fopologia de Zariski: Gi) probar que 72a, es de Ty, pero no To; Gi) sin = 1, Tray = Teog- Pero, sin > 1, estas dos topologfas son distintas.Entornos ‘Aqui pasaba a pie por estas calles, sin empleo ni puesto y sin un peso. ‘Sélo poetas, putas y picados ‘conocieron sus versos. Nunca estuvo en el extranjero. Estuvo preso. Ahora esté muerto. No tiene ningtin monumento. “Aqui pasaba a pie por estas calles” Emesto Cardenal (Nicaragua, 1925-) Los espacios métricos y sus vatiantes, introducidos en 1906 por Fréchet, se basan en el concepto de distancia. La noci6n intuitiva de cercanfa se traslada al concepto matemético més manejable de entorno. En su “Grundztige der Mengenlehre’de 1914, Hausdorff utiliz6 el concepto de en- torno (usado ya por Hilbert en 1902 en una formulacién axiomética especial de la geo- ‘metria euclidea plana) y edifics una teorfa definitiva de los espacios abstractos basada en esta nocién 3.1. Entornos y sistemas de entornos Los entornos constituyen la manera més natural de describir las topologias. Esta he- rramienta indica que sucede cerca de cada punto, es decir, estamos dando una descripcién local alrededor de «. Definicién 3.1. NC X es un entorno del punto « en (X,r) si existe un abierto U € 7, verificando x € U CN. En esta definicidn, puede cambiarse el abierto por un abierto basico. La familia NV, de todos los entornos de x se lama sistema de entornos de x. ‘Teorema 3.1. EI sistema de entornos de x en (X,7) verifica las siguientes propiedades 3536 Capitulo 3. Entornos (NI) para cada N € N,, es € N: (N2) si Ns, V2 © Nz, entonces Ny Nz € Ne: (N3) si N © Ny N CM, entonces M €.N,: (N4) para cada N € N,, existe M €N,, tal que N € Ny para cada y € M; y ademds (NS)U © 7 siysélo siU © N; para cada t © Yreciprocamente, sia cada x € X se le asigna una familia no vacta de subconjuntos M., verificando (NI) a (N4), y se usa (NS) para definir el concepto de “conjunto abierto”, se obtiene una topologia T sobre X, para la que Mz = N en cada punto. Demostracién: Slo vamos a comprobar la igualdad M, = N; en la segunda parte del teorema, el resto de la prueba es sencillo. SiN ¢ A, existe U € 7 tal quer EU CN. Pero U © M,, luego N € M, por (N3). Con esto, queda demostrado que NV, CM, Reciprocamente, para M ¢ M, se define U = {y © M : M € M,}, que es no vacio, pues x € UC M. Si demostramos que U € 7, serd entonces M € Ni. Seay € decir, M € My, Por (N4), existe U, © M, tal que para cada z € U, es M € M,. Porlo tanto, U, CU y de (N2) se deduce que U € M,,. Como esto sucede para cada y € U, se concluye que U € +. 1 Ejemplos 3.1. Para los ejemplos ya vistos, tenemos: 1) en (X, Tua), para todo x € X, es NI = {X}; 2) en (X, ras). para cada x € X,es N#* = {N CX :2€N); 3) en (X, rias), para todo x € X,es Mf! = {U € tung 22 EUS: 4) en (X, raze), para cada x € X, es NE = {U € tose CU} S)en (X = {a,b}, Tuer), Ne = {X.{a}} yA ii = (20) 6) en (X, 7a), para todo x © X, es NV } Ty en (X,r4), six € Aes NT* = {X} ysiz ¢ AesN,={NCX:2€ N}; 8) en (R, Tea) OS NE = NY sie © Qy NS ={NCR:2 EN) sixel3.2. Bases de entornos 37 3.2. Bases de entornos No son necesarios todos los superconjuntos de los entornos de un punto para obtener una buena descripcidn del sistema de entornos. Bastard con una familia mas pequefia: Definicién 3.2. Una base de entomos o base local de x en (X, 7) es una familia B, CN, tal que, para cada NV € NV, existe B ¢ B, tal que B CN. En cuanto se ha elegido una base de entomnos de un punto (no hay una manera nica de hacerlo), sus elementos se Maman enfornos bdsicos. La familia {B,}.cx se llama sistema fundamental de entornos. Ejemplos 3.2. Para los ejemplos ya estudiados, tenemos: 1) en (X, Tina) para todo x € X, se elige Bi“ = {X}. 2) en (X, ras), para cada x © X, se escoge B* = {{xr}}; 3) en (X = {a,b}, Teer), se toma By = {{a}} y Bi = {X}; 4) en (X, 74), para todo x © X, se elige Bt’ = {{z} U A}; Syen (X74), BY’ = {X} size Ay Br* = {{a}} sing Ay 6) en (R, ry), se elige BY = {(x—e,2 +2): > 0}; Then (R, Tur), se toma Be” = {[x,2 +2): > 0}; 8) en (R, Tia), Se elige BE — {(x —e,00) : € > 0}; 9) en (R, Taxa) Se toma Bi = BY six Qy BY = {{z}} siz els 10) NV, es una base local en x en (X,7); 11) Tess ¥ Too nO tienen bases de entornos destacadas. Teorema 3.2. Sea (X,r) y {B.}zcx un sistema fundamental de entornos. Se verifca. (Bl) para cada B € B,, es x € B; (B2) si By, Ba € Bz, existe By € Bz tal que By © By 0 Ba; (B3) para cada B © By, existe By © B,, tal que para cada y © By, existe By © B, tal que By © B: y ademas (BAU € 7 siy sélo si para cada x € U, existe BE B., tal que BCU.38 Capitulo 3. Entornos Y reciprocamente, si a cada x € X se le asigna una familia no vacta D, de subconjuntos de X, verificando (B1) a (B3), y se usa (B4) para definir el concepto de “conjunto abier- 10”, se obtiene una topologtar sobre X, para la que {Dz}xex es un sistema fundamental de entornos en ‘Una forma natural de construir bases locales es la siguiente: Lema 3.3. En (X17), Be = Nor es una base local en x. 3.3. Topologias y sistemas de entornos Intuitivamente, cuanto menores sean los entornos bésicos, més finas sern las topologias asociadas: Teorema 3.4. (Criterio de Hausdorff) Sean 7 y 72 topologias sobre X y {Bl }zex, {B2}.0}, 2) Bo = {Ben i € > 0, € N}, donde Bey = (—00, ~n) U (—£,€) U (04,90). Probar que {B,},x ¢s un sistema fundamental de entornos, que define una topologia tia. sobre R. El par (R, Tine) se lama recta enlazada, Compatat “ia. con la topologia usual de Ry estudiar los axiomas de separacisn, * 6 Sobre I se considera: Ysiz £0.B,={(e-e2te):e>0), 2B. ={(-, {Lm EN} :e>0). Comprobar que {B-}.cx €s un sistema fundamental de entornos, comparar la topologfa generada con 7, y estudiar los axiomas de separacién. 7. Determinar si en (,7,) los siguientes intervalos son entomnos de 0: (—4, 3], (~1, 0), (0, 2) y (0, 1]. Probar que los conjuntos @ y I no pueden ser entornos de ningtin punto. 8.- Para” C R?, el semiplano superior cerrado, se considera: D) Bow) = {Bus((2,¥),2) CP O“pequefio”}, para (x,y) € 1, y #0, 2 Beeoy = {{(2,0)} U {Bucl(2, €),) + € > 0} Probar que {Bj.y)}(eyjer €8 un sistema fundamental de entornos, que define una topologia Tmoo Sobre I. El par (I, Tynoo) 8¢ Hama plano de Moore. Comparar Tynoo con la topologia ceuclidea sobre I°y estudiar los axiomas de separacién, 9.- Se considera Rl! = {f+ [0,1] 8}. y: @ se define U(f, F,4) = {g € RO: Vz € F,|F(x) — 9(a)| < 4}, para f € RO, F< (0,1) finito y 6 > 0. Probar que {U(/, F,8) : FC (0,1) finito, 8 > 0} forma una base de entornos en f para una topologia, Ti. sobre R°"), que se denomina topologia de Tychonof Gi) para f € RIM ye > 0, sea Vf.) = {9 €R™ : Wer € [0,1], |g(x) - f(2)| <=} Verificar que {V(f,£) : © > 0} forma una base de entornos en f para una topologia, ‘rq sobre 2), llamada topologia caja; Gi) comparar 7iyc ¥ Tex y estudiar los axiomas de separacién para ambas topologias,40 Capitulo 3. Entornos ,0):2€(0,1)}yX = Le. *10,- Sean L, = {(a Se considera: (sine Nyx F0, By, (2) Boa) =U C Ln: (0,4) € UL, — U es finito}, 3) Bera) = {{(z,0)} U {(z, 2) : n > OF}. Comprobar que {B(.,y)}(s,y)cx es un sistema fundamental de entornos sobre X y estudiar los axiomas de separaci6n. AL- Sea ([0,1] x [0,1], tora). donde la topologia del orden esta generada por el orden lexicografico sobre (0, 1) x (0, 1]. Describir los entornos de los puntos (0) (atencién al (0,0)) y («, 1) (atencién al (1, 1)), si x € [0, 1]. Hacer lo mismo para los puntos (x,y), con x,y € (0,1) 12.. Para cada x € R?, sea la familia B, = {{2}UD ; Des disco centrado en x, al que le faltan un mémero finito de diémetros} Se pide: ( comprobar que B, es una base de entomos en » para una topologia, 7, en el plano. El par (R?, 7) se llama plano Slotted; Gi) comparar 7.1. con la topologia usual; (iii) {ES ta. Te? iv) {se puede reemplazar, en la definicién, finito por numerable? 13.- Sea M,(IR) el conjunto de las matrices n por nde mtimeros reales. Dada una matriz A> (aas)smt,n © My(R) y 7 > 0, se define: UA) = {Gi )igation iy — by] 0} es una base de entomos en A, que genera una topologia 7 en M,,(R). Estudiar los axiomas de separacién. 14 Sea X = (0,1) U{1*}, donde 1* es un punto afiadido a (0,1), tal que x < 1* para cada x € [0, 1). Para cada < (0,1), los entornos basicos son los entornos usuales de 2; los entomnos basicos de 1* son los conjuntos de la forma (a,1) U {1"}, donde a € [0, 1) Demostrar que definen una topologia r sobre X.Conjuntos en espacios topolégicos Para mi corazén basta tu pecko, para tu libertad bastan mis alas. Desde mi boca llegard hasta el cielo lo que estaba dormido sobre tu alma. “Para mi corazén basta tu pecho” Pablo Neruda (Chile, 1904-1973) El operador clausura, como concepto primordial para definir estructuras espaciales {junto con un sistema de axiomas que debe satisfacer), fue introducido por Kuratowski en su tesis en 1920, El concepto de interior es el dual del concepto de clausura, y comenzaremos intro- duciendo esta nocién 4.1. Interior de un conjunto En (X,7), si A CX, Ano tiene porque ser un conjunto abierto, pero siempre contiene conjuntos abiertos: por lo menos el conjunto vacio 0. Por ello, tiene sentido definir: Definicién 4.1. Dado (Xr) y A CX, el interior de A es el conjunto A= cx :UeryUc A} Six €A, se dice que x es un punto interior de A Lema 4.1. En (X,7), si A CX, es AG ry ademds A es el mayor conjunto abierto contenido en A. 4142 Capitulo 4, Conjuntos en espacios topolégicos Ejemplos 4.1. Para los ejemplos ya estudiados, tenemos: 1) en (X, rina), para todo A ¢ X,es A= by X= X; 2) en (X, ras), pata todo Ac X,es A= Ay 3) en (X = {a}, Toier). £0} Oy {a}= {a}; 4) en (X,ra), si B ¢ ta, es B= Oh s)en(X,74), si B ¢ 74,08 B= B 6) en (X, tay) si AZ Teop 0s AMO; Ten (XT) Si A € Tous €s A=; 8) en (R, Tir), si A esté acotado superiormente, es A= 0; 9) en (R, Tvea)s para A= (ANT) UA Q), Lema 4.2. En (X,1), si AC B, entonces ACB. ‘Teorema 4.3. En (X,r), se verifican las siguientes propiedades: (II) para todo AC X,es Ac A (12) para todo Ac X, es A= (B3) para todo A, B.C X, es ANB=AN B; (14) X= X; y ademés (15) U € 7 siy sélo siU= U. ¥ reefprocamente, dada una aplicacién Int: P(X)—+> P(X), que verifiea (II) a (14), y si se define el concepto de conjunto abierto usando (15), queda definida una topologa T sobre X, para la cual Int es el operador interior Demostracién: Para la segunda parte, hay que probar que r = {U CX : Int(U) = U} es una topologfa sobre X, Para demostrar la tltima parte, Int(A) © r por (12) y como Int(A) © A por (IL), se concluye que Int(A) CA aplicando el lema 4.1. Por otro lado, = Int(U) € Int(A) por (13), luego AC Int(A). ' siVeryUCA, Se puede caracterizar el interior de un conjunto a través de un sistema fundamental de entornos:4.2. Clausura de un conjunto 43 Proposicién 4.4. Sea {B.)cx un sistema fundamental de entornos en (X,7), entonces esx CAsiy sélo siexiste BC B, tal que BC A. El interior de cualquier entomo es no vacio: Lema 4.5. En (X,r), N € Ny siy sélo si} tener interior vacto. Nz. En particular, un entomo no puede 4.2. Clausura de un conjunto Un conjunto A en un espacio (X, 7) no tiene porque ser cerrado. Pero siempre existen cerrados que lo contienen: por lo menos, el total X’, Por esta razdn tiene sentido definir: Definicién 4.2. Sea (X,r) y AC X. La clausura de A es el conjunto A=(\F OX: Feenadoy Ac FY. Six € A, x se lama punto clausura 0 adherente de A. Lema 4.6. Sean (X,r) y A © X. Hes un conjunto cerrado, y ademés es el menor cerrado que contiene a A Ejemplos 4.2. En los ejemplos ya estudiados, tenemos: I en (X, rina), para todo A # 0, es A= X; 2)en (X,74.), para todo A C X,es A= Ay 3) en (X = {a,b}, Teer). (OY = {0} y Ca} 4)en (X14), si B Ca, 08 B= X; syen(X,74), si Bg C4, es B= BUA; 6) en (X, reos), Si A es infinito, es A = X; Ty en (X, Tose), Si A no es contable, es A= X; 8) en (R, Tix), Si A no esté acotado superiormente, es 7 9) en (R, Toca), para A = (A ~ Q)U(A" 1 Q). Lema 4.7. En (X,7), si AC B, entonces ACB. ‘Teorema 48. En (X,+), se verifican las siguientes propiedades: (CL) para todo AC X, es ACA:44 Capitulo 4, Conjuntos en espacios topolégicos (C2) para todo AC X, es A=A, (C3) para todo A, Bc X, es AUB = AUB; (C4) 0 = 0; y ademas (C5) F € C siy sélo siP = F. Y reetprocamente, dada una aplicacién Cl: P(X) —+P(X), que verifica (CI) a (C4) (es decir, lo que habitualmente se denomina un operador clausura de Kuratowski), si se define el concepto de conjunto cerrado usando (C5), queda definida una topologiar sobre X, para la cual Cl es el operador clausura. Demostracién: La primera parte es una simple comprobacién. Para la segunda parte, basta con probar que F = {4c X : Cl(A) = A} es la familia de cerrados para una topologia 1 sobre X. Entonces, U € 7 siy s6lo si X ~U € F. Por (C2), es Cl( A) = C1(CI(A)), luego Cl(A) © F y como A c CIA), se deduce que A c CI(A) por el lema 4.6. Y si AC FEC, es CIA) ¢ CIF) = F, por (C3), luego Gl(A) A. Uae sad fl tel (ay yfar (vil) pueden dos conjuntos diferentes poseer el mismo conjunto derivado? gel mismo interior? {1a misma clausura? {la misma frontera? cy los cuatro a la vez? 2.- Sea X un conjunto y 71, 7% dos topologias sobre X, tales que 72 © 71. Con las no- taciones obvias, probar que para cada A CX, se tiene ACA yA c A’. (Se pueden comparar sus operadores derivados? 3.- Sea (X,r) un espacio topolégico. Probar: @ A= (we X:AEND: Gii) si X no posee puntos aislados y A C X es abierto, entonces A no posee puntos aislados; Gii) six € Acs aislado en A, entonces x es aislado en A. (Es cierto el reciproco? Gv) si (X,7) es Ty x € A’, entonces A corta a cada entomo de + en un niimero infinito de puntos y el conjunto A’ es cerrado; (v) « € Ty) siy sélo si Ny C » siy s6lo si {2} = Ty}; Luego, Mz = (vi) (X, 7) es Tr siy sélo si para cada x € X, {x} = (] N. 4 En (X,7), un abierto A se Hama regular, si A =A’y un cerrado A se lama regular si A= A, Probar: A) es un @ si Aes cerrado (respectivamente, abierto), entonces A (respectivamente, abjerto regular (respectivamente, un cerrado regular); Gi) Acs abierto regular si y s6lo si X — A es cerrado regular;48 Capitulo 4, Conjuntos en espacios topolégicos (i) si Ay B son abiertos regulares (cespectivamente, cerrados regulares), es AC B si y solo si Ac B (respectivamente, Aci): Giv) si Ay B son abiertos regulares (respectivamente, cerrados regulares), entonces ANB (respectivamente, AU B) es abierto regular (respectivamente, cerrado regular). En general AU B (respectivamente, A B) no es abierto regular (respectivamente, cerrado regular); (¥) en (B, Fu), hay abiertos que no son regulares. 5.- Sea (X,7) un espacio topoldgico y A, B CX. Se pide probar: (@ fr(A) = 0 siy s6lo si Aces abierto y cerrado a la ver; Gi) fr(A) < fr(A)y f(A) c fel A); Gil) i ACB, ges fr(A) C fr(B): Giv) si fr(A) 9 fr(B) = 0, se verifica que AUB=-A UB, ANB=-ANB y fr(ANB) = (An fr(B)) U (Fr(A) NB); (v) en general, fr(AU B) € fr(A)U fr(B). Si AO B = 0, entonces se da la igualdad. 6.- Construir una tabla (con seis entradas) en que se relacionen los conceptos de conjunto abierto, cerrado, interior, clausura, frontera y entorno. 7- Sea D denso en (X, 7). Probar: @siU € 7, entonces U CDAU; Gi) si ED D, entonces £ es también denso; Gil) si U es denso y abierto, entonces DU es denso; Gv) la interseccién finita de abiertos densos es abierto denso; (W) sir’ Cr, entonces 1) también es denso en (X, 7") 8.- Sean Gi, = {(2,y) € B®: 2 > y +h} y la topologia r = {0,R?} U{Gy : k ER}. Calcular el interior, el derivado y la clausura de {(0,0)} y {(—2,2) : 2 € R} 9. En ((0, 1] x {0,1], 7a), donde la topologia esta inducida por el orden lexicogrifico, calcular el interior, la clausura y la frontera de {(4,0) : n € N}, {(1- nN}, (a0)s0crelj{ed dere ly{apivevel45. Problemas 49 10.- Sea (N, Tap) la topologfa de Appert, definida en el problema 24 de 2.5. Caracterizar sus operadores interior y clausura y estudiar los axiomas de separacién, * 11.- En (X,1), se dice que A es (a) un F,-conjunto, sies la unidn de una familia contable de conjuntos cerrados y (b) un Gs-conjunto si es la interseccién de una familia contable de conjuntos abiertos. Se pide probar: (@ todo cerrado es un F.-conjunto y todo abierto es un Gs-conjunto: Gi) en (R, 7,), (0, 1] es un F,-conjunto y un Gs-conjunto, Gii) en (R,7,), Q es un F,-conjunto, pero no es un Gs-conjunto; Gv) si Acs un F,-conjunto, existe una familia contable de cerrados {F, : n € N}. tal que Fy, C Fas: para cada k € N, y de forma que A= (J Fas (v) si Aes un Gs-conjunto, existe una familia contable de abiertos {U;, : n € N}, tal que Uy > Vig para cada k CN, y de forma que A = (Uy; (vi) la unin contable y la interseccién finita de F-conjuntos, es un F,-conjunto; (vii) la unin finita y 1a interseccién contable de Gs-conjuntos, es un Gs-conjunto; (viii) el complementario de un F;-conjunto es un Gs-conjunto y viceversa; x) cquignes son los Gs-conjuntos en (R, Toos)?s (9) en (B, Tee), todo F,-conjunto es cerrado y todo Gs-conjunto es abierto; (xi) en el espacio métrico (X, d), todo cerrado es un Gs-conjunto y todo abierto es un F-conjunto, 12.- Sea X un conjunto y una funcién &: P(X) P(X), tal que: (a) para cada AC X, AC (A); (b) para cada A, B CX, ®(A UB) = (A) U®(B); (©) (0) = 6; (@) para cada Ac X, (4(A)) = 8(4)50 Capitulo 4, Conjuntos en espacios topolégicos Una tal aplicacién se lama un operador clausura de Kuratowski. Se pide probar: (si se definen los cetrados como los AC X tales que A = (A), queda definida una topologia sobre X, cuyo operador clausura es precisamente &; Gi si X es infinito y se define (A) = A si Aes finito y (A) = X si A es infinito. ‘Comprobar que es un operador clausura de Kuratowski, y ver que topologia genera; Gi) lo mismo si X = R y ®(A) = (~co, sup(A)]; Gv) lo mismo si para B.C X, B(A) = AU B, si A es no vacio. Deseribir los casos en. que B= Oy B=X, (y) lo mismo si X = R y @(A) = A™ si A esta acotado y (A) = A" U {0} si Ano esté acotado; (¥) sean , y y dos operadores clausura de Kuratowski sobre X y sean 7, y 72 las topologias generadas por ellos. Con las notaciones obvias, se supone que para cada AC X,e8 3(4)(A)) © C1. Se pide probar (a) &; ©, es un operador clausura de Kuratowski; (©) 0% (A) =F OX: ACK FEGNG): (©) By © @3(A) Cy 0b, (A), para cada Ac X. 13.- Sea X un conjunto y una funcién y: P(X) + P(X), tal que: (a) para cada A CX, AD (A); (b) para cada A, BC X, p(AN B) = oA) (B): (©) o(X) =X; (@ paracada A CX, eli Una tal aplica 6n se llama un operador interior. Se pide probar: @ % = {AC X + A= g(A)} es una topologia sobre X, cuyo operador interior es precisamente y; Gi) si.X es infinito y se define y(A) = A si X ~ Aes finito y (A) = 0 en otro caso. ‘Comprobar que se trata de un operador interior, y ver que topologia genera; ii) lo mismo si X = By y(A) = (sup(B — A), 00)45. Problemas 51 Gv) lo mismo si para B CX, (A) = AN (X — B), si A # X, Deseribir los casos en que B=0yB=X, 14.- Sea (X,7) un espacio topol6gico. Una familia de conjuntos (4; : ¢ € I) se Hama localmente finita, si cada x © X posee un entorno que corta sélo a una cantidad finita de los elementos de la familia. Se pide probar: (@ si {A : € [Jes localmente finita, también lo es la familia (Ay: i € 1}; Gi si {A) 1 © I} es localmente finita, JA, = LAs (Gii) la unién de una familia localmente finita de cerrados, es un conjunto cerrado; iv) si la familia de conjuntos {A : i € 1} verifica que JA; € C, probar que entonces es = UA 15.- Sea (N,r) el espacio topolégico del problema 21 en el apartado 2.5. Calcular ef interior, el derivado y la clausura de los conjuntos {n,n +1,....n+p}y (2n:n€N} Caracterizar los operadores clausura e interior. 16.- Sea (Xr) el espacio topoldgico del problema 22 del apartado 2.5. Calcular el inte- rior, el derivado y laclausura de {f € X : f(0) =O} y {f © X : f(0) = 1}. Caracterizar el operador clausura en este espacio. 17- Sea (2,7) el espacio topolégico del problema 19 del apartado 2.5. Calcular el interior, la clausura y el derivado del conjunto de los nimeros primos, N y el conjunto de los miimetos pares. + 18.- Sea (X,7) ol espacio topolégico del problema 10 en el apartado 3.4. Caleular el interior, el derivado y Ia clausura de los conjuntos {(3, +) N}. (2,2) in > Dy {(z,1) 10 <2 < F}U{G,0)} 19.- Sea el espacio méttico ([0,1), ,). Se divide [0, 1] en tes intervalos de la misma amplitud, se elimina el intervalo abierto central (que se lamaré intervalo abierto de tipo 1) 8 = (2,2) yse conservan los intervalos cerrados (que se llamarén de tipo 1) Ay = [0, y Ay = 2/1). Se divide cada intervalo cerrado de tipo 1 en tres intervalos de la misma amplitud. Se climinan de nuevo los intervalos abiertos centrales (intervalos abiertos de tipo 2), do = (4, 2) y & = (§, 8) respectivamente, y se conservan los intervalos cerrados (de tipo 2) resultantes Ago — [0,3], Ao (2, Z]y Mn = [£1]. Se continéa de este modo el proceso, obteniendo para cada n € N; 2" intervalos cerrados A,,52 Capitulo 4, Conjuntos en espacios topolégicos de tipo n donde i; es 0 6 1. Cada intervalo cerrado de tipo n se divide en tres partes de la misma amplitud, conservando dos intervalos cerrados Ay,.i,0 ¥ As, igi (Mamados intervalos cerrados de tipo n+ 1) y eliminando cada intervalo abierto 4,,..,, de tipo n+ 1 que queda entre ellos, Sea Cy, la tein de los intervalos cerrados de tipo n y C= (-\Cy se lama conjunto perfecto de Cantor, discominuo de Cantor 0 conjunto ternario de Cantor. Se pide proba: (@ Ces cerrado y no vacio en ((0, 1), d.), luego es compacto y completo; Gi) Ia suma de las longitudes de todos los intervalos abiertos eliminados en el proceso es 1: en este sentido (el de la medida), el conjunto de Cantor es pequesio; donde a, = 0,2 Gi) todo punto de © posee una representacin tema nica J <3" Se concluye que C’ es un conjunto no contable: en este sentido (el del cardinal), el conjunto de Cantor es grande; Gv) C no posee puntos aislados en (0, 1] y C= 0.Numerabilidad Son palabras que todos repetimos sintiendo como nuesiras, y vuelan. Son mas que lo mentado, Son lo més necesario: lo que no tiene nombre. Son gritos en el cielo, y en la tierra, son actos. “La poesia es un arma cargada de futuro” Gabriel Celaya (Espaia, 1911-1991) En este capitulo, se definen propiedades asociadas a espacios topoligicos que envuel- ven en algtin sentido la contabilidad. De los axiomas de numeracién aqu{ estudiados, el més antiguo es el de separabilidad, debido a Fréchet en 1906, En 1914, Hausdorff introdujo el primer y segundo axiomas de contabilidad. De esos dos, el primero fue ya sugerido en 1906 por Riesz, como una exigen- cia razonable impuesta a espacios generales. La propiedad de Lindelif (aunque no bajo este nombre) se usé durante algtin tiempo en estudios relacionados con la compacidad y parece que fue introducida por Kuratowski y Sierpinski en 1921 ‘Una de las més importantes consecuencias del primer axioma de numerabilidad es que, en espacios que satisfacen dicha propiedad, las sucesiones son adecuadas, para uti- lizar la frase de Kelley [Ke]: esto significa que en este tipo de espacios no es preciso introducir otto tipo de redes mas generales para obtener resultados basicos. 5.1. Espacios primero y segundo numerables Definicién 5.1. Un espacio (X, 7) se dice primero numerable o Cr, si todo punto pose una base local contable. Proposicién 5.1. (Xr) ¢s Cr si verifica cualquiera de la propiedades equivalentes: (i) para cada x © X, existe una base local contable; (ji) para cada x € X, existe una base local contable y decreciente; 3354 Capitulo 5. Numerabilidad (iti) para cada x € X, existe una base local contable y decreciente formada por conjun- tos abiertos. Demostraci6n: () = (ii) Si B, = {By : n © N} es la base local contable, también es base local BY = {Cm € N), donde C, = By A= B, Gi) + Gi) Si B, = (By : n € N} es la base local contable decreciente, también es base local BY {B,: n € N} (contable y decreciente). ' Ejemplos 5.1. Para los ejemplos estudiados, tenemos: 1) (X, rina) €8 Cr, al elegir para todo x € X, B. = {X}: 2) (X74) es Cr, al tomar para todo x ¢ X, By = {{x}}: 3) (RB, teop) ¥ (R, Teac) nO son Cy. En efecto, si (IR, reps) lo fuera, para cada x € X existiria una base local B, = {Bz}nen. Six # y, como x € X — {y} € teop, existiria By, © B, tal que x © Bs, CX —{y}. Se deduce que {x} = (| Bi, , luego, X ~ {x} = UL ~ B;,) es contable (por ser cada X —~ B;, finito y la unién contable), en contra de Ia hipstesis; 4) (X = {a,b}, Taser) €8 Cy, al escoger B, = {{a}} y By = {X)}; 5) (X, ra) es Cy, al elegir para todo x € X, B, = {{x} U A}. 6) (X, 74) es Cy, al tomar para x © A,B, = {X} y parax ¢ A, B, = {{x}}: 7) (IR, 74) es Ci, al escoger para cada x €R, B, = {(z—4,2+4):n EN}; 8) (R, Tae) €8 C1, al elegir para cada « € R, B, = {[r,2+2):n€ Nj, 9) (IR, riot) €S Cr, al tomar para cada x € R, B, = {(x— 2,00) :n EN}: 10) (R, Txca) es Cy, al escoger para x € Q, B, = BY’ y parax I, B, = {{x}}; 11) los espacios métricos son siempre Cr, pues para cada x € X, se elige la base local B, = {Blx,2) :n EN} Este axioma esti intimamente ligado a la nocién de sucesi6n: Definicidn $.2. Una sucesidn {1 }new converge ax en (X,7), y se denota {zn} > 1, si para cada N € N, existe ny € N, tal que para cada n > ny, €8 ay € N Teorema 5.2. En (X,7) se verifica: (i) si existe una sucesién {2,}new © A que converge a x, entonces x © Fi (ii) si AEC, entonces para cada sucesion {2,}yen C A que converge az, es.2 & A,5.L. Espacios primero y segundo numerables 55 (iti) si A € 7, para cada sucesiOn {tp}ncn que converge a € A, existe no EN, tal que para cada n tio, 08 tq € A: (iv) si (X,7 Ademas si (X, es Tz, los limites de sucesiones son tinicos. ) es C1, todas las implicaciones anteriores son equivalencias. Demostraciéa: (i) La primera implicacidn es inmediata. Por otro lado, si (Xr) es Cr, sea B, = {B,}ncn la base local contable y decreciente que existe. Sea x € A. Para cada n € N, como B.A # 0, existe ty € By 0 A, Hemos construido una sucesién {an }nen © A que converge a x por la hipstesis de decrecimiento, Esta implicacién no es cierta si el espacio no es Ci: en (R, yexc) S6lo convergen las stcesiones semiconstantes. Es claro que 3 € [0,1] = R, pero no existe ninguna sucesién en [0, 1] que converja a 3. (iv) La primera implicacién es inmediata. Por otro lado, si (X,7) es Cy las sucesiones convergen de manera tinica, sean x # y y By = {Bz}ucn YB, = {B¥}ncx sus bases locales contables y decrecientes respectivas. Supongamos que Bz" BY # 0 para cada n €N, Bligiendo r,, € Bz 1 BY, se obtiene una sucesién que claramente converge ax y ay, contra la hipétesis. Luego, debe existir n € N, con BE 0 BY = 0, y por lo tanto el espacio es de Hausdorff. Esta implicacién no es cierta si el espacio no es Ci: en ) sélo convergen las sucesiones semiconstantes (es decir, lo hacen de manera tnica), pero el espacio no es de Hausdorff. 1 Definicién 5.3. (Xr) es segundo numerable o Crr, si existe una base contable {3 de 7 Proposicién 5.3. Si (X,7) es Ci, entonces es Cy, Ambas nociones coinciden en el caso de que X sea un conjunto contable. Ejemplos 5.2. Para los ejemplos estudiados, se cumple: 1) (X Tina) €8 Cry, al elegit 3 = {X}: 2) (X, tai) €8 Crr siy sélo si X es contable; 3) (R, Teoy) ¥ (B, Teac) no son Cy, luego tampoco Czy; 4) (X = {0,0}, Taser) €8 Crs 5) (X,ta) €8 Cyr siy slo si X — Aes contable; 6) (X,14) es Cir siy s6lo si X — Aes contable; 7) (R74) 8 Cry, al elegir fy. = {(a,8) > a,0€ Q}s 8) (R, Toor) no es Cry, En efecto, si @ = {By }nen fuese una base de Top, para cada a © Rexistirfa BE ¢ 6 tal que B © [x,x | 1). La aplicacién f; R—»G dada por f(z) = BE es claramente inyectiva, lo que contradice la contabilidad de 3; 9) (RFit) €8 Crr al tomar fy = {(a, 00) :@ € Q)s 10) (Rea) no es Cr, pues six € I, es {2} © 6, para cualquier base de la topologa56 Capitulo 5. Numerabilidad 5.2. Espacios de Lindelof Definicién 5.4. Un cubrimiento de X es una familia de conjuntos U = {U; : i € I}, tales que X ¢ (JU. Un subrecubrimiento de U es una subfamila V CU que atin cubre X. Definicidn 5.5. Un espacio (X,7) es de Lindeldf, si todo cubrimiento por abiertos de X posee un subrecubrimiento contable (la definicidn sigue siendo valida si se reemplazan los abiertos por abiertos basicos) Proposici6n 5.4. Si (X,7) es Cr, entonces es de Lindelof Ejemplos 5.3. En los espacios topol6gicos conocidos, tenemos 1) (X, ina) €8 de Lindetot; 2) (X, tars) es de Lindel si y s6lo si X es contable; 3) (IR, Tos) ¥ (RR, Tove) son de Lindelof; 4) (X = {4,6}, rer) eS Crr, luego de Lindelif, 5) (X, ra) ¢8 de Lindelit si y s6lo si X — A es contable;, 6) (X,74) es de Lindelit; 7) (R, 74) es Cry, luego de Lindelot; 8) (R, ror) €8 de Lindelot: 9) (IR, Tact) €8 Cr1, luego de Lindel&f; 10) (R, Tea) es de Lindelot 5.3. Espacios separables La siguiente definicién generaliza la situacién de Q en la recta real, que es un conjunto pequerio en cardinal, pero topoldgicamente grande, al ser denso: Definicién 5.6. Un espacio (X,r) es separable si existe D < X, denso y contable. Proposicidn 5.5. Si(X,7) es Cry, entonces es separable. Ejemplos 5.4, Para los ejemplos conocidos: 1) (X, tina) €8 separable, pues todo conjunto no vacio es denso; 2) (X, tais) €8 separable si y s6lo si X es contable; 3) (R, reo) €8 separable, pues N= R;5.4. Problemas 37 4) (B, Tae) no es separable, pues los conjuatos contables son cerrados; 5) (X = {a,b}, ruer) €8 Cir, luego separable; 6) (X, ra) es separable, pues sia © A, es Ta) = X; 1) (X,14) es separable si y s6lo si X — Aes contable; 8) (R Tus) €5 Cy, luego separable; 9) (B, Tuer) €8 separable, pues @ = R; 10) (IR, Toi) €8 Cry, luego separable; 11) (Brea) no es separable, pues si D = R, debe ser Ic R Proposicién 5.6. Si (X72) es separable y 7: Ct, entonces (X,71) es separable. Ejemplos 5.5. No existen relaciones entre los axiomas de separacién, aparte de las que ya se han sefialado: 1) (R, 7s): Cr, no Cy, no Lindeldf, no separable, metrizable. 2) (IR, Tina): Cr. Grr, Lindelof, separable, no metrizable (pues no es 73). 3) (R, tp): no Cy, no Cr, Lindelof, separable, no metrizable (pues no es Cy). 4) (RB, Tose): no C1, no Cry, Lindelit, no separable, no metrizable (pues no es C). 5) (x, 6) (X,74) (A propio): Cy, Cr siy sélo si X — A contable, Lindelit si y s6lo si X — contable, separable, no metrizable. ‘aer): Cr, Cr1, Lindelif, separable, no metrizable (pues no es T) 7) (X, 14) (A propio): Cr, Cr si y sélo si X ~ A contable, Lindelof, separable si y s6lo si X — A contable, no metrizable. 8) (R, reat): Cr, Crr, Lindelof, separable, no metrizable (pues no es T3) 9) (R, Tact): Cr, No Cry, Lindelif, no separable, no metrizable. 10) (R, Tsor): Cy, no Cry, Lindel, separable, no metrizable. 5.4, Problemas + 1.-En un espacio metrizable (Xr), probar que las propiedades de Lindelof, la separabi- lidad y Ia propiedad Cy son equivalentes:ésta puede ser una manera de detectar espacios no metrizables. 2. Sea (X, 7) un espacio topoligico, tal que existe una familia no contable de conjuntos abiertos disjuntos dos a dos. Probar que (X,r) es no separable. 3. Sea (Xr) un espacio separable y 73. Probar58 Capitulo 5. Numerabilidad (@ si (X,r) es Cr, entonces Card(X) < Gil si (X, 7) e8 Cy, entonces Card(r) < c 4 Dada una sucesién {1,}ncw sobre (Xr), se dice que tiene a z como punto de aglo- meracién, {zn} > x, si para cada N € Nz yn © N, existe ny > n, tal que x,,, € NV. Si Hamamos: Tim({27n}) = {2 © Xs {an} 2} y adh({zn}) = {x © X= {xn} > x} se piden probar las siguientes propiedades: (i) lim({xn}) y adh({,}) son conjuntos cerrados y lim({x}) C adh({z,}); Gi) adh({24}) = (\ EHS mj; men Gii) si 7) © 7, entonces lim,,({2,}) © lim, ({2tq}) y adh, ({2t,}) © adh, ({2m})s Gav) si {2,¢n)} es una subsucesién de {2,}, se verifica que lim({x,}) C lin({2p(n)}) ¥ adh({xn}) D adh({ (0) }). 5.- Sean (X,71) y (X72) espacios topol6gicos C. Probar que 7, = 72 si y sélo si (toda sucesién converge en (X, 71) <= converge en (X, 72) y lo hace al mismo punto). Esto no es cierto si las topologtas no son C. Por ello, las sucesiones no son adecuadas en espacios topoligices (ver [Ke] y el ejercicio 7). 6.- Sea {rq }new la sucesién dada por x,, = 2n — 1 en el espacio topoldgico (N, ras) Probar que lim({,}) = adh({z,,}) = N. 7. Sea (R, Teoc)- Probar que 3 TI]. gExiste alguna sucesién en [0, 1] que converja a3? 8.-En (X,7), se dice quer € X es un punto de condensacién w.s-punto limite de Ac X, si para cada N € Nz, N'A es no contable. Se denota por A la familia de los puntos de condensacién de A. Probar: @ si ACB, entonces Ac B. Ademas Ac A’; Gi) Aes un conjunto cerrado; Gi) TUB = AUBy ac A: (iv) si A noes contable y (X,7) es Lindelf, entonces A es no vacio:5.4. Problemas 59 () si (X,r) es Cry AC X, entonces A— Aes contable, luego A Oya (vi) concluir el teorema de Cantor-Bendixon: un espacio C1 puede descomponerse co- ‘mo unién de dos conjuntos disjuntos, uno de ellos perfecto (A es perfecto, cuando es cerrado y AC A’) y el otro contable 9.» Sea X un conjunto no contable y 7 una topologia sobre X, tal que 72p¢ © 7. Probar (@ si 8 es base de r, emtonces X = (_J(X — B): Bee Gi) si X es no contable y 7 €8 Taos 0 Tene, entonces + no puede tener una base contable. 10.- Probar que en un espacio topolégico la combinacién de dos cualesquiera de las dos propiedades siguientes no implica la tercera: Cr, separable y Lindel. 11.- Fn cada uno de los siguientes espacios topolégicos, estudiar las sucesiones conver- gentes, los axiomas de numeracién y la metrizabilidad: @ el espacio discreto, el indiscreto, el A-inclusién, el A-exclusi6n, el espacio de Sier- pinski, el de Appert, el de Fort; i) la recta cofinita, la connumerable, la de Kolmogorov, la scattered, la de Sorgentrey, Ia enlazada; Gi) el plano de Moore y el plano Slotted.60 Capitulo 5. NumerabilidadContinuidad Un libro, un suenio les revela que son formas de un suenio que fue sonado entierras de Bretaiia, Otro libro haré que los hombres, suetios también, los sueiten, “Inferno, V, 129” Jorge Luis Borges (Argentina, 1899-1986) El concepto de continuidad se basa en el de proximidad. 6.1. Aplicaciones continuas Definicién 6.1. Una funcién entre espacios topolégicos f: (X,7x) —+(¥,1y) es con- tinua en a, si para todo entomo M € NY.a, existe N © N;, tal que f(V) CM. Esta definicisn sigue siendo vélida si se reemplazan los entornos por entornos bisicos. Una funcién es continua en A silo es en cada punto de A. Proposicién 6.1. Sea f: (X, 7x) —+(Y, ry) una funcidn. Son equivalentes: (i) f es continua en X, (ii) para cada « € X y cada entorno M € Njf.y es JM) € 3 (iii) para cada x © X y cada M € BY... (fijada una base local), es {-'(M) © NX, (iv) para cada U € ty, es f-\(U) € Tx (») para cada U € By (una vez elegida una base), es [-\(U) € rx: (vi) para cada F € Cy, es f MF) € Cx: (vii) para cada AC X, es f(A) © F(A); (viii) para cada B CY, es f*(B) > FB). 6162 Capitulo 6. Continuidad oN (ix) para cada B CY, es f-(B) CJ*(B). Ejemplos 6.1. Algunos ejemplos de funciones continuas son: 1) para cada espacio (Y, ry) y toda funciém f, f: (X,74:.) —»(Y,7y) es continua; 2) para cada espacio (X, rx) y toda funcién f, f: (Xr) —+(Y, tna) €8 continua; 3) toda aplicacién constante f: (X,7x) — (Y, ry) es continua; 4) sean f: (X73) —+(¥, ry) continua y las topologias rx C Tk ¥ 7} < ry. También, es continua la aplicacién f: (X, rh) —+(¥,7}) Proposicién 6.2. Sean f: (X,rx) —»(¥.7¥) y 9: (Yit¥) (4, 12). Se verifiea (i) si f es continua ena € X yg es continua en f(a), entonces go f es continua en a; i) si f es continua en X yg es continua en Y, entonces go f es continua en X. 6.2. Algunas propiedades de funciones continuas 6.2.1. Continuidad y espacios Hausdorff Lema 6.3. Si f,9: (X,7x) — (Y,7y) son aplicaciones continuas e (Y,7y) es tonces A= {x © X : f(x) = g(x)} € Cx. Contraejemplo 6.1. El lema 6.3 no es cierto en general: fg: (R, Tina) —> (R, Tina) Som. continuas (f = lz y g = —1a), peto el conjunto del lema 6.3, A = {0} ¢ Cina Corolario 6.4. (Principio de prolongacién de las identidades) Sean dos aplicaciones continuas f,g: (X,tx) —+(¥, ty) e (¥, ty) Ta. Si D es denso en X y f\p = glp, en- tonces f = 9 Contraejemplo 6.2. El anterior principio no es cierto en general: si f = Iz y g(x) = 7X9(2), f.9: (R, Tue) — (R, Tina), ambas son continuas, fg = glg, pero no son aplica- ciones iguales. Contraejemplo 6.3. Los axiomas T; y T; no se conservan por aplicaciones continuas: la aplicaciéa continua 1g: (R, 741.) —> (R, Tima) eva un espacio T, y T; en otro que no lo es.6.3. Problemas 63 6.2.2. Continuidad secuencial Definicién 6.2. Una funcién f: (X, rx) —(¥,7y) es secuencialmente continua, si da- da una sucesiGn {,}nex en X que converge a un punto a € X, entonces {f(2n)}new converge a f(a) € Y. Proposicién 6.5. Una funcién continua es secuencialmente continua. Si (Xx) es Cr, ambos conceptos de continuidad son equivalentes. Demostracién: La primera parte es sencilla. Sea (X,7x) Cry f: (X,tx) (Yi 7y) se- cuencialmente continua, Dado x € A, el teorema 5.2 garantiza que existe {2»}ncw © A tal que {2,,} + x. Por hipatesis, es {f(2,)} > f(x), luego f(x) € F(A). 1 Contraejemplo 6.4. Esto no es cierto en general: 1p: (R To) —>(R, Tae) €8 secuen- cialmente continua, pero no es continua, 6.2.3. Continuidad y numerabilidad Proposicién 6.6. La imagen continua de un espacio separable (respectivamente, de Lin- delaf) es separable (respectivamente, de Lindeléf} Contraejemplo 6.5. Esto no sucede con los axiomas Cr y Cy: La (R, Tus) > (R, Tap) es continua y leva un espacio C y Cs en otto que no lo es. 6.2.4. Criterio de Hausdorff Proposicién 6.7. (Criterio de Hausdorff de comparacién de topologtas) Dos topologéas sobre X verifican r C 7, siy sélo si la identidad, 1x: (X71) —»(X, 12) es continua, 6.3. Problemas Dado un espacio topolégico (X, r), se introducen los conjuntos C(X) = (F: (Xr) (R, rue), f continua) y C(X) = {f © CCX): f es acotada} Se definen las funciones con dominio X y codominio R, para x € Xy f,g: XR (a) la suma: (f + 9)(z) = f(z) + 9(2), (b) el producto: (f.9)(x) = f(2).9(2). (©) el producto por un escalar a € B: (a.f)(x) = a.f (x),64 Capitulo 6. Continuidad (A) el cociente: si f(z) # 0 para cada x € X, M(x) = 7 (©) el valor absoluto: [f|(2) = fl)|¥ (Blas funciones maximo y minimo: mn(er) = Se pide probar las siguientes propiedades: las anteriores operaciones son intemas en C(X) y C*(X); Gi) CCX) y C*(X) son algebras sobre BR; Gii) C*(XX) es un espacio vectorial normado, con las operaciones suma y producto es- calar y la norma | f|| = sup{|f(«)| : x € X} Gv) C(X) y C*(X) son retfculos con el orden parcial: / < 9 si sélo si f(r) < g(x), para cada c © X; (¥) dados los espacios (X, rx) ¢ (Y, ry), toda aplicacién continua f: (X,rx) — (¥,1y) induce un homomorfismo entre las algebras asociadas Fy: C(Y) —>C(X) (tes- pectivamente, F}: *(Y) + 0"(X)). 2.« En un espacio topolégico (X,r), probar: (@) 7 = Tais Si y s6lo si para todo (Y, ry) y toda f: (X,7) > (Y, ry), f es continua; Gi) 7 = rina Si y s6lo si para todo (¥, ry) y toda f: (¥, ry) —+(X,7), f es continua. 3.- Sea f: (X,7x) —+(¥.7y) una aplicacién continua y sobreyectiva. Probar que todo abierto de (Y, ry) es la imagen por f de un abierto saturado (UC X es saturado si existe Vc¥ tal que U = f-1(V)) de (X, rx). Probar la propiedad andloga para cerrados. 4. Si xa es la funcidn caracteristica de A, probar @ xa: (X,7) —+(R, Tus) €8 continua ens si'y s6lo six ¢ fr(A); GD xa2 (X, ) > (R, rus) €8 continua en X siy slo si A es abierto y cerrado. 5.+ Caracterizar las funciones continuas f: (R,74) —+(R, Tox) 6. jos los conjuntos finitos X = {1,2,3,4,5} ¢ Y = {a,b} y las topologias sobre ellos rx = 0, X, 1}, (3,4},(1,3,4}} y ry = (0,¥, {ah}, se pide: (@ ccudintas funciones hay f: X —+¥? jcudntas son inyectivas? ,¥ sobreyectivas?6.3. Problemas 65 Gi) encontrar todas las funciones continuas f: (X,7x) — (Y,7v). 7 Dado x € B, se llama parte entera de x, zz, Estudiar la continuidad de la funci6n / ( 1 mayor entero que es menor o igual que > Teor) — (R, 7), si f(x) = [el +8. Sean 7: y 72 dos topologias sobre X’y (Y, ry) un espacio topol6gico. Probar: @ sir = inf si f: (X,72) (Y,7y) es continua, para i = 1, 2; 1), entonces la aplicacién f: (X,r)— (Y,7y) es continua si y sélo Gi) siz = sup{7y, 72}, entonces la aplicacién f: (¥,ry) > (X, si f: (Y7v) > (X, x) es continua, para i = 1,2. ) es continua si y s +9. Sea f: (X, tx) —+{Y,7¥) continua. Probar que para cada F,-conjunto (respectiva- mente, Gy-conjunto) B < Y, el conjunto f-"() es un F,-conjunto (respectivamente, G-conjunto). Para las definiciones, ver el ejercicio 11 del apartado 4.5 10.- Encontrar una sucesién de funciones continuas {f,,: (B, Tu.) — {(0, 1], Tas) news cuyo supremo no sea una funcién continua. 1L- Sea (Nr) el espacio topolégico del problema 20 en el apartado 2.5. Probar que J: (N,7) 9 (N,1) es continua si s6lo si (si m divide a n, entonces f(mn) divide a f(n)) 12. Una aplicacién f: (X,r) —> (BR, 7.) es semicontinua inferiormente (resp., semicon- tinua superiormente), sipara cada x € X yc > 0, existe V € N, tal que para cada y © V es f(y) > fe) —© (resp., f(y) < f(z) + ©). Probar: @ f: (X,7)—+(R, ra) es continua si y sélo si es semicontinua inferior y superior- mente; Gi) sean las topologias sobre R, Trot ¥ Tues = {0,18} U {(-00,a) : a € R}. Entonces, f: (X,7) 9 (R, 7.) es semicontinua inferiormente (resp., semicontinua superior- mente) si y s6lo si f: (X,7)—+(R, Tat) (Fesp.. f: (X,7) (RB, Tecs)) €8 con- tinua; ii) sea { fi: (X,7) (RB, ra) ier una familia de aplic mente (resp., semicontinuas superiormente). Se supone que I # y que para ca- da € X el conjunto {/,(«) : ¢ © I} esta acotado superiormente (tesp., acota- do inferiormente) en R, Entonces, la aplicacién f: (X,7) —+(R, r.) definida por f(e) = supfi(2) (tesp., f() = taf h(2)) es semicontinua inferiormente (tesp., ciones semicontinuas inferior- semicontinua superiormente); Gv) si AC X, x4 es semicontinua inferiormente (resp., semicontinua superiormente) si y solo si A € 7 (resp. A € C),66 Capitulo 6. ContinuidadHomeomorfismos Arde, sombrio, arde sin Yamas, apagado y ardiente, ceniza y piedra viva, desierto sin orillas “Acabar con todo” Octavio Paz (México, 1914-1998) Se introduce aquf el concepto de equivalencia topoldgica: cuando se define una es- tructura matemética sobre ciertos conjuntos, la igualdad de esta estructura debe obligar a que los conjuntos subyacentes sean equivalentes, Asi, Ia igualdad entre las estructuras dadas debe realizarse a través de una funcidn biyectiva, Ademas de esta condicién, se debe imponer que esta funcidn y su inversa conserven la estructura. Asi, Ia igualdad topol6gica vendré dada por lo que se lamard un homeomorfismo. En algunas estructuras matematicas (como los espacios vectoriales), si una funcién biyectiva f conserva la es- tructura, automaticamente se deduce que su inversa f-! también lo hace. Sin embargo, esto no ocurre con los espacios topoldgicos. 7.1. Aplicaciones abiertas y cerradas Definicién 7.1. Una funcisn f: (X,rx) —+ (Y, xy) se dice abierta si para cada U € + es f(U) € ry. ¥ se dice cerrada, si para cada F € Cx, es f(F) € Cy. Ejemplos 7.1. No hay ninguna relacién entre las nociones de funcisn continua, abierta y corrada’ 1) Ia funci6n idénticamente nula f+ (R,7,)—> (BR, ra) €s continua, no abierta y cerrada; 2) la funcién f: (R,7.) — (R, 7.) dada por f(x) six > 0,es continua, no abierta y no cerrada; n(x) six < Oy f(z) = arctan(z) 6768 Capitulo 7. Homeomortismos 3) la primera proyecciéin coordenada f: (R*,7,) — (B74) dada por f (13,02) = 21 es continua, abierta y no cetrada; 4) la funcién f : (R, Tina) — (R, tai) dada por f(x) = —1six <0, f(x) =0siz=0 y f(e) = 1sie > Oesno continua, abierta y cerrada; 5) la funcidn Ly: (Bra) —> (R, Tae) €8 continua, abierta y cerrada; 6) la aplicacién J: (R, 74) — ((0, 1], 74) dada por f(x) = 0 six <0, f(x) = 2si OS c< Ly f(z) =1 six > 1 es continua, no abierta y cetrada; 7) la primera proyeccién coordenada f: (E, Tinoo) —*([0, 1], 7) ¢s continua, abierta y no cerrada. A pesar de esto, las aplicaciones cerradas estin muy préximas alas aplicaciones abier- tas, ya que poseen la siguiente propiedad respecto a los abiertos saturados Lema 7.1. Si f: (X,7x) —(V7y) es una aplicacién cerrada, dado BY yU € tal que f-\(B) CU, existe V € ty, tal que BC V y f-{V) CU, Y andlogamente, dualizando: Lema 7.2. Si f: (X,7x) > (Vry) es una aplicacién abierta, dado BC Y y F tal que f-\(B) © F, existe G € Cy, tal que BC Gy f-(G) € F. 7.2. _Homeomorfismos Definicién 7.2. Una aplicacién f: (X,rx) —>(¥,7y) es un homeomorfismo, si f es biyectiva, continua y de inversa f-! continua, Se dice también que (X, 7°) es homeo- morfo a (Y, ty). Lema 7.3. Sif: (X,rx) > (Ys7¥) y 9: (Ysr¥) (2,72) son homeomorfismos, en- tonces. () f-*: (ity) 4 (X, rx) es un homeomorfismo; (ii) ge: (Xx) —+(Z, 2) €[Link] homeomorfsmo. Corolario 7.4. La relacién “ser homeomorfos” es una relacién de equivalencia sobre la familia de los espacios topoldgices. Proposici6n 7.5. Si f: (X,rx) —+(¥.1y) es una funcién biyectiva, son equivalentes (i) f es un homemorfismo, (ii) f es continua y abierta;7.3. Propiedades topolégicas 69 (iti) f es continua y cerrada; sélo si f(U) © 1s (iv) U crx siy (0) F € Cx siy s6lo si f(P) € Cy; (ix) G € Cy siy sélo si f (G) € Cx: (x) para cada BY, es §-(B) = FB): ss (xi) para cada B.C Y, es J-(B) =7-*(B) 7.3. Propiedades topolégicas Definicién 7.3. Una propiedad relativa a espacios topolégicos se llama topoldgica, si se conserva bajo homeomorfismos. Proposicién 7.6. Son topoldgicas las propiedades Ts, Ts, C1, Crs, la separabilidad, la propiedad de Lindelaf y la metrizabilidad, Contraejemplo 7.1. Por ejemplo, la acotaci6n (cuando tenga sentido hablar de este con- cepto) es un ejemplo de propiedad no topolégica, Observacién 7.1. Desde el punto de vista de la topologia, dos espacios homeomorfos son indistinguibles, La importancia de esta propiedad radica en que, cuando se traba- je con propiedades topoligicas, es posible reemplazar espacios complicados por otros homeomortos a ellos, pero mas sencillos de manejar. 7.4. Problemas x L=Para los espacios y las aplicaciones f: (X,rx) —+(¥i1v) yg: (ie) (4, proba @ si f y g son abiertas (respectivamente, cerradas), entonces g o f es abierta (tespecti- vamente, cerrada); Gi) si go f es abierta (respectivamente, cerrada) y f es continua y sobreyectiva, entonces ges abierta (respectivamente, cerrada)70 Capitulo 7. Homeomortismos Gii) Si go f es abierta (respectivamente, cerrada) y g es continua ¢ inyectiva, entonces {f es abierta (respectivamente, cerrada). 2. Sea f: (X,7x) —> (Y, ry) continua y abierta, Se pide probar: @ si B, una base local en el punto 2, f(B,) es base local en f(x); Gi) si ademas f es sobreyectiva y J es base de 7x, entonces f(/3) es base de ry. 3.- Probar que f: (X, rx) —+(¥; 7y) es abierta (respectivamente, cerrada), si y sélo si ) > FA). 4. Sea f: (X,7x) —»(Y, ry) una aplicacién sobreyectiva y cerrada, Probar que para cada U € rx, se verifica que fr(f(W)) < fU)n s(X —U) oe para cada AC X, es f(A) CF(A) (respectivamente, f ( 5.- Sea f: (X, 7x) —(Y; 7) una aplicacién. Probar que son equivalentes: @ fescerrada; (ii) si € rx, entonces {y EY : f(y) CU} ery; Gii) si F € Cx, entonces {y € ¥ : f(y) VF #0} € Cy. 6.- Dado un espacio topolégico (X,r), se consideran las Algebras C(X) y C*(X) in- troducidas en el problema 1 del apartado 6.3. Si (X,rx) ¢ (Y,7y) son homeomorfos, {qué telacidn existe entre C(X) y C(Y)? g¥ entre C*(X) y C*(¥)? 7.2 Dos espacios discretos son homeomorfos si y sélo si poseen el mismo cardinal 8. Dar un ejemplo de dos espacios topol6gicos (X, rx) e (¥,7y) no homeomorfos, pero tales que exista una aplicacisn entre ellos, continua y biyectiva. , se define sobre R la topologia 7, dada por la base /3,, = (5, U {n}. Probar . pero que (IR, 7:) y (R, 72) son espacios homeomorfos. 10.- Probar los siguientes enunciados: @ toda aplicacién sobreyectiva f: (R, Tx) —» (R, 74) es cerrada; Gi) (R74) y (R, Teas) no son homeomorfos; ii) toda aplicacién f: (I, 7. — (IR, 7.) biyectiva y continua, es abierta; (av) toda aplicacién sobreyectiva f : (X, Taos) — (Y, Teos) €8 abierta y cerrada.7.4, Problemas n AL Sea xo,2}: ([0, 1}, 74) — ({0, 1}, tais). Probar que es sobreyectiva, abierta y cerrada, pero no continua. 12. Sea X 4 Wy p,q © X. Sea A = {p} y 74 la topologia A-exclusién, Estudiar la continuidad de la funciéa f: (0,1), 7.) —*(X,74) dada por f(x) = p siz = 0y S(@) =qsix ZO. 13.- Probar que son homeomorfos la bola cerrada ({(r,y) € R?: 2? + y? <1)},n)yel cuadrado ({(x,y) € R? : [2] < 1,|yl <1), 70). 1 En este ejercicio se trata de definir la proyeccién estereogréfica: G@ la citcunferencia unidad en el plano euclideo es S! = {(2,,:¢2) € R? sx} +23 = 1) Dado (a;, a2) € S' — {(0,1)}, se considera la recta que pasa por (a1, a2) y (0,1). Bsta recta corta al eje de abscisas en el punto (<1-,0). Se define la aplicacion hz (S! — {(0,1)}, dy) —+(R, dy) por h(a, a2) = 725. Probar que A es un ho- -meomorfismo: es Ia proyeccién estereogrdfica; Gi) Andlogamente, para n > 1, la esfera unidad en el espacio euclideo de dimensién n-+1 se define por S" = {(21,..-,2n41) © R™ : 2? 24, = 1}. Probar que la aplicacién h: (S" — {(0, ,0,1)},d.) —+(R", d,), dada por h(a;, An41) = (spss Et). 65 um homeomorfismo: es la proyeccién estereogrifica 15.- Probar que el espacio euclideo (R", r,) es homeomorfo al subespacio (IE", r,), donde. BP ={(u1,---.2,) Ratt tah <1} 16.- Probar que el n-simplice unidad (A,r), donde: AP = (zt) RMT a, 0, Wie , {l,--- nm 41}, 24+--++ 24 =], es homeomorfo al cubo n-dimensional ((0, 1)", 7.)- 17.- Probar los siguientes enunciados: (@ en (R, 7), son homeomorfos todos los intervalos abiertos; Gi) no son homeomorfos ((0, 1), 74) y ((0, 1], 74)s Gi) ((0, 1), Tass) y (0, 1], Tais) Son homeomorfos; Gv) (N, 74) y (Q, 74) no son homeomorfos, (¥) (Gt, 74) no es homeomorfa a ((0, 1), 74)72 Capitulo 7. Homeomortismos 18. Probar que los espacios euchideos siguientes son dos a dos homeomorfos: @ el cilindro vertical X = {(x,y, 2) €R? 2? + y= 1}, Gi) el plano privado del origen Z = R? ~ {(0,0)), (ii) la corona circular W = {(x,y) © R?: 1 <2? + y? <4}. Gv) la esfera privada de los polos norte y sur, U = S? ~ {NS}, donde N’ = (0,0,1) y s 1), (¥) el cono privado de su vértice V = {(2,y, 2) € R’ Bey = 2,2 > 0} 19.- Probar que el primer cuadrante del plano ({(x,y) € R? : x > 0,y > O},r,) yel semiplano ({(x,y) © R? : y > 0}, 7) son homeomorfos, 20.+ Probar que las siguientes son propiedades topolégicas: (@ X es equipotente aN; Gi) la topologta sobre X tiene el cardinal de N; Gii) existe AC X, equipotente a N y denso; Giv) X es metrizable; pero, no son propiedades topoldgicas: Gla topologia sobre X esta generada por la métrica d; Gi) X es un subconjunto de R. 21.+ Sean dos aplicaciones f: (X,rx) > (Y,7y) y 9: ([Link]) 3 (X, 7x) continuas, tales que fog = ly y go f = 1x. Probar que f y g son homeomorfismos. 22.. Sean f: (X,rx) — (Y, ry) un homeomorfismo y g: (Y, ty) —+(Z, 72). Probar que ges continua si y sélo sigo floes. 23.- Sean f: (X, rx) —(Y, ry) una aplicaci6n abierta y cerrada, una aplicaci6n continua g: (X,rx) — ([0, 1], 7) y para cada y € Y, o(y) = sup{p() : f(z) = y}. Probar que es comtinua 24.» Sean (X,1) y Hyxn) = (hs (X,7) — (X,7) : h homeomorfismo}. Se pide probar: G@) con la composicién de funciones como operaci6n, Hix..) es un grupo; Gi) si X = [0,1] y A= (0,1) CX, sea y: Mex) Mian) definida por (i) = hl Entonces, y es un isomorfismo de grupos, aunque los espacios involucrados (X,7) y (A,r) no son homeomorfos.Bibliografia [AF] [Ad] [AP] [Ar] [ADQ] [Bak] [Bar] [Bau] [Be} Procede como Dios que nunca llora; 0 como Lucifer, que nunca reza; como el robledal, cuya grandeza necesita del agua y no la implora, “Piu Avanti” Pedro Bonifacio Palacios (Argentina, 1854-1917) C, Adams and R. Franzosa; Introduction to Topology Pure and Applied, Pren- tice Hall, 2008. I. Adamson; A General Topology Workbook, Birkhituser, 1995 AN. Arkhangels’kii and V. I. Ponomarev; Fundamentals of General Topolo- gy: Problems and Exercises, Reidel, 1983. M.A. Armstrong; Topologta Basica, Reverté, 1987, = R. Ayala, E, Dominguez y A. Quintero; Elementos de Topologia General, Addison-Wesley Iberoamericana, 1997, C.W. Baker; Introduction to Topology, Krieger, 1997. S. Barr; Expériences de Topologie, Lysimaque, 1987. JD. Baum; Elements of point-set Topology. Dover, 1991. C. Berge; Topological Spaces, Dover, 1997. B74 [BBIF] [Bor] [Bou] [Bu] [BvR} [BP] [Ca] [cv] [cr] [cu] (ca) [Che] [Chot] [Cho2] [Da] [De] (Dil [Du] [E] [Fal Bibliografia Y.U. Borisovich, N. Bliznyakov, Y. A. Izrailevich and T. Fomenko; Introduc- tion to Topology, Mir, 1985. CR. Borges; Elementary Topology and Applications, World Scientific, 2000. N. Bourbaki; Eléments de Mathématiques: Topologie Générale, Hermann, 1971 D. Bushaw; Elements of General Topology, John Wiley, 1996. G. Buskes and A. Van der Rooij; Topological Spaces; from distance to neigh- borhood, Springer, 1997 E, Burroni et J. Perron; La Géométrie de caoutchouc. Topologie, Ellipses, 2000. GL. Cain; Introduction to General Topology, Addison Wesley, 1993. C.0, Christenson y WIL. Voxman; Aspects of Topology, Marcel Dekker, 1998, FH. Croom; Principles of Topology, Cengage Learning Asia, 2002. H. Cullen; Introduction to General Topology, Heath and Co., 1968. A. Craszar; General Topology, A. Hilger, 1978. J. Chailloux y J, Henry; Problemas (con soluciones detalladas) de Topologta, Toray-Masson, 1976. G. Choquet; Topologia, Toray-Masson, 1971 M. Choquet; Problemes de théorie des fonctions et topolagie, Les cours de la Sorbonne, 1966. S.W. Davis; Topology, McGraw Hill, 2005. A. Delachet; Que sais-je? La Topologie, PUR, 1978. J. Dixmier; General Topology, Springer, 1984 J. Dugundji; Topology, Allyn and Bacon, 1968. R. Engelking; General Topology, Heldermann, 1989, A Faisant; TP ef TD de Topologie Générale, Hermann, 1987Bibliogratia 5 [eM] (Fl) [Ga] [ca] [Ge] (uF) (HY) (Hu) [af] Uan] [ke] Ok] [Ku] [Le] (Li) (Lo} [Man] [Mop] [Mas] [MMNS| * G, Fleitas Morales y J. Margalef Roig; Problemas de Topologia General, Alhambra, 1980. * G. Flory; Bjercicios de Topologia y Andlisis, Reverté, 1978. S.A, Gaal; Point Set Topology, Dover, 2009. TW. Gamelin and RE. Greene; Introduction to Topology, Saunders Ser., 1983 MC. Gemignani; Elementary Topology, Dover, 1990. D. Hinrichsen y J.L. Femandez; Topologia General, Urmo, 1977. J.G, Hocking and G.S. Young: Tapology, Dover, 1961. S.T. Hu; Elements of General Topology, Holden-Day, 1965. P. Jaffard; Traité de Topologie Générale (en vue de ses applications), PUK, 1997, K. Kinich; Topology, Springer, 1984 JL. Kelley; General Topology, Springer, 1955. S.G. Krantz; Essentials of Topology with Applications, CRC Press, 2010. K, Kuratowski; Introduction a la théorie des ensembles et ala topologie, seignement Mathématique, 1966. H_ Lehning; Topologie (avec exercices), Masson, 1985 +S. Lipschutz; Topologia General, McGraw Hill, 1967. = R. L6pez Camino; Ejercicios de topologia general, Nativola, 2009 MJ. Mansfield; Introduccidn ala Topologéa, Alhambra, 1974 J. Matgalef Roig, E. Outerelo Dominguez y J.L. Pinilla Ferrando; Topologta, Alhambra, 1975, X. Masa; Topoloxia Xeral: introduccién aos espacios euclidianos, métricos ¢ topoléxicos, Univ. Santiago de Compostela, 1999. F Mascaré, J. Monterde, J.J. Nuto y R. Sivera; Introduccié a la Topologia, Univ. Valencia, 1997.76 [Me] [Mi] [Munt} [Mun2} [Mur] IN] [0] [Pal [Pe] [Pr] [Ro] [Rub] [Run] [sh] [si] [sk] Iss} [su] fea [VINK] [Wa2] [wD] [Wi] Bibliografia B. Mendelson; Introduction to Topology, Dover, 1990. E.G, Milewski; The topology problem solver, REA, 1994, JR. Munkres; Topology: a first course, Prentice-Hall, 1975, = IR. Munktes; Topologéa, Prentice-Hall, 2001 M.G. Murdeshwar; General Topology, Wiley Eastern Limited, 1986, J. Nagata; Modern General Topology, North Holland, 1985. PY. O'Neil; Fundamental Concepts of Topology, Gordon and Breach, 1972. CW. Patty Foundations of Topology, PWS-Kent, 1993. W4. Pervin; Foundations of General Topology, Academic Press, 1964 V.V. Prasoloy; Intuitive Topology, Math. World, 1995 D, Roseman; Elementary Topology, Prentice-Hall, 1999, GN. Rubiano; Topologia General, Univ. Nacional de Colombia, 2002. V. Runde; A taste of Topology, Springer, 2005 PL. Shick; Topology Point Set and Geometric, Wiley, 2007. W. Sierpinski; General Topology, Dover, 2000. G. Skandalis; Maths pour la licence: topologie et analyse, Dunod, 2001 J.A, Steen and J.A. Secbach; Counterexamples in Topology, Dover, 1995. WA. Sutherland; Introduction to Metric and Tapological Spaces, Oxford Sci. Pub., 1993. W.. Thron; Topological Structures, Holt, Rinehart and Winston, 1966, [Link]. Viro, 0.A. Ivanov, [Link]. Netsvetaev, VM. Kharlamov; Elementary Topology: Problem Textbook, AMS, 2008. C. Wagschal; ivrets d’exercices: Topologie, Hermann, 1995 G. Whyburn and E, Duda; Dynamic Topology, Springer, 1979. +S, Willard; General Topology, Addison-Wesley, 1970.