Capitulo 2 Espacios topolégicos y funciones continuas El concepto de espacio topoldgico se extiende més all4 del estudio de la recta real y del espacio euclideo, y del estudio de las funciones continuas sobre estos espacios. En este capitulo definimos lo que es un espacio topoldgico y estudiaremos algunos caminos para construir una topologia sobre un conjunto, para convertirlo en un espa- cio topolégico. También consideraremos algunos de los conceptos elementales que tienen que ver con espacios topolégicos. Conjuntos abiertos y cerrados, puntos limite y funciones continuas se introducen como generalizaciones naturales de las corres- pondientes ideas para la recta real y el espacio euclideo. §12 Espacios topolégicos La definicién de espacio topolégico, que ahora mismo esté estandarizada, tard6 mu- cho tiempo en ser formulada. Varios matematicos —Fréchet, Hausdorff y otros— propusieron distintas definiciones a lo largo de muchos aifos en las primeras décadas del siglo veinte, pero fue bastante m4s tarde cuando los matemiticos establecieron la definicion que parecia m&s apropiada. Querian, por supuesto, una definicién que fuera lo mas general posible, de manera que incluyera como casos especiales todos los dis- tintos ejemplos que eran dtiles en matematicas —espacio euclideo, espacio euclideo de dimensién infinita y espacios de funciones, entre ellos— pero también querian {te la definicién fuese lo suficientemente estricta para que los teoremas habituales sobre estos espacios familiares se adaptaran a espacios topolégicos en general. Este 8s siempre ¢] problema cuando uno est4 intentando formular un nuevo concepto ma- semético, decidir lo general que podria ser su definicién. La definicién finalmente adoptada puede parecer un poco abstracta, pero a medida en que se trabaje con las 8586 Espacios topolégicos y funciones continuas Capitulo 2 distintas formas de construir espacios topolégicos, se tendra una mejor impresién de Jo que el concepto significa. Definicién. Una topologia sobre un conjunto X es una coleccién TJ de subconjun- tos de X con las siguientes propiedades: (l) @y X esténen J. (2) La unién de los elementos de cualquier subcoleccién de J esté en J. (3) La interseccién de los elementos de cualquier subcoleccién finita de J esta en T. > Un conjunto X para el que se ha definido una topologia T se llama espacio to- polégico. Hablando con propiedad, un espacio topolégico es un par ordenado (X, 7), for- mado por un conjunto X y una topologia J sobre X, pero a menudo omitiremos hacer mencién especifica de J si no existe confusién. Si X es un espacio topolégico con una topologia J, diremos que un subconjunto U de X es un conjunto abierto de X si U pertenece a la coleccién J. Usando esta terminologia, se puede decir que un espacio topolégico es un conjunto X junto a una coleccién de subconjuntos de X’, |amados conjuntos abiertos, tales que @ y X son ambos abiertos, y tal que las uniones arbitrarias y las intersecciones finitas de conjuntes abiertos son abiertos. EsJEMPLO 1. Sea X un conjunto de tres elementos, X = {a, b,c}. Hay muchas topo- logias posibles sobre X, algunas de las cuales se indican esquematicamente en la Figura 12.1, El diagrama de la esquina superior derecha representa la topologia en la que los conjuntos abiertos son X, 3, {a,b}, {6} y {b,c}. La topologia de la esquina superior iz- quierda contiene sdlo a X y @, mientras que la topologia de Ja esquina inferior derecha contiene cada uno de fos subconjuntos de X. Se pueden obtener otras topologias sobre X permutando a, by c. A partir de este ejemplo, se puede ver que incluso un conjunto de tres elementos tiene muchas topologias distintas. Pero no toda coleccién de subconjuntos de X es una topo- Jogia sobre X. Ninguna de las colecciones indicadas en la Figura 12.2 es una topologia, por ejemplo. EJEMPLO 2. Si X es un conjunto cualquiera, la coleccién de todos los subconjuntos de X es una topologia sobre X y se denomina topologia discreta. La coleccién compuesta Gnicamente por X y © es también una topologia sobre X y la lamaremos topologia indiscreta, 0 topologia trivial. EJEMPLO 3.° Sea X un conjunto y sea J; la coleccién de todos los subconjuntos U de X tales que X — U es finito o es todo X . Entonces J+ es una topologia sobre X,, Hamada topologia de los complementos finitos. Tanto X como © estén dentro de T+, puesto que§12 Espacios topolégicos &7 Figura 12.2 X—X es finito y X — S es todo X. Si {Uz} es una familia indexada de elementos no vacios de Tr, para mostrar que (J U,, pertenece a ‘Ty, tenemos X —Ua = (x - U2). El dltimo conjunto es finito, puesto que cada conjunto X — Ug, es finito. Si U4,...,Un son elementos no vacios de J, para mostrar que (| U; esté en Ty, tenemos x-f\u=Uex-op. it ist Este iiltimo conjunto es una unién finita de conjuntos finitos y es, por tanto, finito. ErEMPLO 4. Sea X un conjunto y sea J, la coleccién de todos los subconjuntos U de X tales que X — U es numerable 0 todo X.. Entonces J, es una topologia sobre X, como se puede comprobar. Definici6n. Supongamos que T y J’ son dos topologias sobre un conjunto dado X. SiT’ 5 T, diremos que J’ es mas fina que J; si J’ contiene propiamente aT, diremos que J’ es estrictamente mds fina que J. También diremos que J es mds gruesa que J',0 estrictamente mds gruesa, en ambas situaciones. Diremos que J es comparable consi? DTOTII. .88 Espacios topoldgicos y funciones continuas Capitulo 2 Esta terminologia surge al pensar en un espacio topolégico como si fuera un ca- mi6n leno de gravilla —siendo las pequefias piedras y todas las uniones de coleccio- nes de las mismas los ‘conjuntos abiertos—. Si ahora rompemos las piedras para dar lugar a otras atin més pequefias, la coleccién de conjuntos abiertos se ha ampliado, y la topologia, como Ia grava, se dice que se ha hecho més fina mediante esta operacién. Dos topologias sobre X, por supuesto, no son necesariamente comparables. En la Figura 12.1 anterior, a topologia de la esquina superior derecha es estrictamente mas fina que cada una de Jas tres topologias de la primera columna y, a su vez, estricta- mente mas gruesa que cada una de las otras topologias de la tercera columna. Pero no es comparable con cualquiera de las topologias de la segunda columna. Algunas veces se utiliza otra terminologia para este concepto. Si J’ D J, algunos matemiaticos dirian que J’ es mds grande que T, y J es mds pequefta que J’. Esta es una terminologia ciertamente aceptable, si bien no son tan graficas como las palabras “més fina” y “més gruesa”. Muchos mateméaticos utilizan las palabras “mAs débil” y “mas fuerte” en este con- texto. Desgraciadamente, algunos de ellos (particularmente analistas) tienen tenden- cia a decir que J’ es més fuerte que J si J’ > J, mientras que otros (particularmente topélogos) tienden a decir que J’ es mas débil que J en la misma situacién. Si en- cuentra los términos “topologia fuerte” 0 “topologia débil” en algiin libro, tendra que decidir, a partir del contexto, a qué inclusi6n se refiere. No utilizaremos estos térmi- nos en este libro. 813 Base de una topologia Para cada uno de los ejemplos de la secci6n anterior, podemos especificar la topologia mediante la descripcién de la coleccién completa T de conjuntos abiertos. General- mente, esto es bastante complicado. En la mayoria de los casos, se especifica una coleccién mAs pequefia de subconjuntos de X que es capaz de definir dicha topo- logia. Definicién. Si X es un conjunto, una base para una topologia sobre X es una coleccién ‘B de subconjuntos de X (llamados elementos bdsicos) tales que: (1) Para cada x € X, hay al menos un elemento basico B que contiene a x. (2) Siz pertenece a la interseccién de dos elementos basicos By y Bg, entonces existe un elemento bisico B3 que contiene a x y tal que Bz C By 1 Bp. Si B satisface estas dos condiciones, se define la topologia J generada por B como sigue: un subconjunto U de.X se dice que es abierto en X (esto.es, un elemento de J); si para cada x € U, existe un elemento bisico B € B talquez ¢ By BCU, Nétese que cada elemento basico es asi mismo un elemento de J.§13 Base de una topologia 89 Comprobaremos brevemente que la coleccién J es, efectivamente, una topologia sobre X . Pero’ primero consideraremos algunos ejemplos. EJEMPLO 1, Sea B la coleccién de todas las regiones circulares (interiores de circulos) enel plano. Entonces B satisface ambas condiciones para una base. La segunda condicién se ilustra en la Figura 13.1. En la topologia generada por B, un subconjunto U del plano es abierto si cada x en U esta dentro de alguna regién circular contenida en U. xQ) . ’, B, B, , B, Figura 13.1 Figura 13.2 EJEMPLO 2. Sea ‘B’ Ja coleccién de todas las regiones rectangulares (interiores de tecténgulos) en el plano, donde los rectangulos tienen lados paralelos a os ejes de coor- denadas. Entonces 8B’ satisface ambas condiciones para una base. La segunda condicién se ilustra en la Figura 13.2; en este caso, la condici6n es trivial, porque la interseccién de cualesquiera dos elementos basicos es un elemento bisico (0 es vacia). Como veremos después, la base B’ genera la misma topologia sobre el plano que la base ‘B dada en el ejemplo anterior. EJEMPLO 3. _ Si X es cualquier conjunto, la coleccién de todos los subconjuntos uni- * ‘puntuales de X es una base para la topologia discreta sobre X. Comprobemos ahora que la coleccién J generada por la base ‘B es, de hecho, una topologia sobre X. Si U es el conjunto vacio, satisface la condicién de ser abierto tri- vialmente, De la misma forma, X esté en J, puesto que para cada x < X existe algun elettiento basico B que contiene a x y que est contenido a su vez en X. Tomemos una familia indexada {U}acy de elementos de T y probemos que u=UU. aed pertenece a J. Dado x € U, existe un indice a tal que x € Ua. Puesto que U,, es sierto, existe un elemento basico B tal que z € BC Uz. Entonces x € B yBcu, por lo que U es abierto, por definicién. “~~ Tomemos ahora dos elementos U; y Uz de J y probemos que Uy N U2 pertenece aT. Dado zx € U; M Us, elegimos un elemento bésico By que contenga a z tal90 Espacios topolégicos y funciones continuas Capitulo 2 que B, C Uy; elijamos también un elemento bésico By que contenga a z tal que Be ¢ Uz. La segunda condicién para una base nos permite elegir un elemento basico Bs que contiene a z tal que Bz C By O Bg (véase la Figura 13.3). Por tanto, r € Bs y Bs C U1 1 U2, por lo que Ui 1 U2 pertenece a T, por definicién. Figura 13.3 Finalmente, mostramos por inducci6n que cualquier interseccién finita J, ---0 Up de elementos de T esté en T. Este hecho es trivial para n = 1; supongamos que €s cierto para 7 — 1 y probémoslo para n. Tenemos (U1 0+++ Up) = (U0 NU) Un. Por hipotesis, Uj M- + -MUn—1 pertenece a J; utilizando el resultado que acabamos de probar, la interseccién de 7,---NUp—1 y U;, también pertenece a J. Asi hemos comprobado que la coleccién de conjuntos abiertos generados por una base B es, en efecto, una topologia. Otro modo para describir la topologia generada por una base es la dada por el siguiente lema: Lema 13.1. Sean X un conjunto y B una base para una topologia J sobre X. Enton- ces T es igual a la colecci6n de todas las uniones de elementos de B. Demostracién. Dada una coleccién de elementos de B, también son elementos de T. Puesto que J es una topologia, la unién de ellos pertenece a J. Reciprocamente, dado U € T, elijamos para cada x € U un elemento B, de B tal quex € B, CU. Entonces U = U,cy Bz, por lo que U es igual a la unién de elementos de B. os Este lema establece que cada conjunto abierto U en X se puede expresar como una unién de elementos basicos. Esta expresién para U no es, sin embargo, tinica.§13 : Base de una topologia 91 Asi, el uso del término “base” en topologia difiere enormemente de su uso en algebra lineal, donde la ecuacién que expresa un vector dado como combinacién lineal de los vectores de la base es tinica. Hemos descrito de dos formas distintas cémo. llegar, a partir de una base, a la topologia que genera. Algunas veces necesitamos ir en la direccié6n contraria, desde una topologia hasta una base que la genera. Aqui damos un método para obtener una ‘base para una topologia dada; lo usaremos frecuentemente. Lema 13.2. Sea X un espacio topolégico. Supongamos que @ es una coleccién de conjuntos abiertos de X tal que, para cada conjunto abierto U de X y cada x enU, existe un elemento C' de © tal que x € CC U. Entonces @ es una base para la topologia de X. Demostracién. Debemos probar que € es una base. La primera condicién para una base es facil: dado x < X, puesto que X es un conjunto abierto, existe, por hipétesis, un elemento C’ de € tal que 2 € C C X. Para comprobar la segunda condicién, sea zun elemento de CM Cz, donde C; y C2 son elementos de @. Puesto que Cy yCe son abiertos, también Jo es C, M Co. Luego existe, por hipétesis, un elemento C3 en Ctalque x € C3 CCLNCS. Sea J la coleccién de conjuntos abiertos de X; debemos probar que la topologia ’ generada por € coincide con la topologia J. En primer lugar, nétese que si U per- tenece a T y si x € U, entonces existe, por hipétesis, un elemento C' de € tal que €C CU. Se sigue que U pertenece a la topologia J’, por definicién. Reciproca- mente, si W pertenece a la topologia J’, entonces W es igual a una unién de elemen- tos de €, por el lema anterior. Ya que cada elemento de € pertenece a J y T es una topologia, W también pertenece a J. . Cuando se dan topologias a partir’ de las bases, es itil tener un criterio en térmi- nos de las bases para determinar si una topologia es mas fina que otra. Un criterio semejante es el siguiente: Lema 13.3. Sean B y B’ bases para las topologias T y J’, respectivamente, sobre X. Entonces son equivalentes: (1) J’ es més fina que J. (2) Para cada x € X y cada elemento bdsico B € B que contiene a x, existe un elemento bdsico B’ € B’ tal que x € B’ CB. Demostracién. (2) => (1). Dado un elemento U de J, queremos probar que U € J’. Seax € U. Puesto que B genera a J, existe un elemento B € Btalquere BCU. Lacondicién (2) nos dice que existe un elemento B’ € B’ tal que x € B' C B. Entonces c € B’ C U, por lo que U € 9”, por definicién.92 Espacios topolégicos y funciones continuas Capitulo 2 (1) > (2). Tenemos « € X y B € B,con x € B. Ahom bien, B pertenece aT por definicién, y J C J’ por la condicién (1), luego B © J’. Puesto que J’ est4 generada por B’, existe un elemento B’ € B’ tal que x € B! c B. i Algunos estudiantes encuentran esta condicién dificil de recordar. “jEn qué sen- tido va la inclusién?”, preguntan. Puede ser més facil de recordar si se tiene presente Ja analogia entre un espacio.topolégico y un cami6n Ileno de gravilla. Piense en las pequefias piedras como los elementos basicos de 1a topologia; después de que se re- duzcan hasta polvo, las particulas de polvo son los elementos basicos de 1a nueva topologia. La nueva topologia es mAs fina que la anterior, y cada particula de polvo estaba contenida en una piedra, como expone el criterio. EJEMPLO 4, Ahora se puede ver que !a coleccién B de todas las regiones circulares en el plano va a generar la misma topologia que la coleccién B’ de todas las regiones Tectangulares; la Figura 13.4 ilustra la demostracién. Trataremos este ejemplo de una manera més formal cuando estudiemos espacios métricos. Oo | (cr \, Figura 13.4 Definimos, a continuacién, tres topologfas sobre la recta real R, todas ellas inte- resantes. Definicién. — Si B es la coleccién de todos los intervalos abiertos en la recta real, (a,b) = {x |a 1, entonces el conjunto unipuntual {n} = (n — 1,n +1) es:un elemento bdsico y sin = 1, el conjunto unipuntual {1} = {1, 2) es un elemento basico.§l4 La topologia del orden 97 Figura 14.1 EJEMPLO 4. El conjunto X = {1,2} xZ, conel orden del diccionario es otro ejemplo de un conjunto ordenado con un elemento minimo, Denotando 1 x n por an y 2x npor b,, podemos representar X mediante @1,42,...;b1,b2,... La topologia del orden sobre X no es la topologfa discreta. La mayoria de conjuntos uni- puntuales son abiertos, pero existe una excepcién —el conjunto unipuntual {6}. Cual- quier conjunto abierto que contenga a b; debe contener un elemento basico alrededor de b, (por definicién), y cualquier elemento basico conteniendo a 5; contiene puntos de la sucesiOn a;. Definicién. Si X es un conjunto ordenado y aes un elemento de X, existen cuatro subconjuntos de X' que se Ilaman rayos determinados por a. Son los siguientes: (a, +00) = {x|a > a}, (-00,a) = {a|2 a}, (-o0,a] = {x|x2 a. En otro caso, (a, +00) es abierto. Un argumento similar es aplicable al rayo (—co, a).-98 Espacios topolégicos y funciones continuas Capitulo 2 Los rayos abiertos, de hecho, forman una subbase para la topologia del orden sobre X, como mostramos ahora. Puesto que los rayos abiertos son abiertos en la topologfa del orden, la topologia que generan esta contenida en la topologia del or- den. Por otro lado, cada elemento basico para la topologia del orden es igual a una interseccion finita de rayos abiertos; el intervalo (a, 6) es igual a la interseccién de (—00, 6) y (a, +00), mientras que [ao, b) y (a, bo], si existen, son ambos rayos abier- tos. De aqui, la topologia generada por los rayos abiertos contiene a la topologia del orden. §15 La topologia producto sobre X x Y Si X e Y son espacios topoldgicos, existe un método natural de definir una topologia sobre el producto cartesiano -X x Y. Analizaremos esta topologia a continuacién, y también estudiaremos algunas de sus propiedades. Definici6n. Sean X e Y espacios topolégicos. La topologta producto sobre X x Y es la topologia que tiene como base la coleccién B de todos los conjuntos de la forma U x V, donde U es un subconjunto abierto de X y V es un subconjunto abierto de Y. Vamos a comprobar que B es una base. La primera condicién es trivial, puesto que X x ¥ es ya un elemento basico. La segunda condicidn es casi igual de obvia, ya que la interseccién de cualesquiera dos elementos basicos Uy x Vi y U2 x V2 es otro elemento basico. Tenemos (U1 x Vi) (U2 x Va) = (Ur NU2) x (UN Va) y el iltimo conjunto es un elemento basico porque 7, 1 U2 y Vi 9 V2 son abiertos en X e Y, respectivamente (véase la Figura 15.1). Obsérvese que la coleccién B no es una topologia sobre X x Y. La unién de los dos rectaéngulos dibujados en ta Figura 15.1, por ejemplo, no es un producto de dos conjuntos, por lo que no puede pertenecer a B; sin embargo, es abierto en X x Y. Cada vez que introduzcamos un nuevo concepto intentaremos relacionarlo con las nociones previaménte vistas. En el caso actual, preguntamos: {qué se puede decir si las topologias sobre X e Y estén dadas mediante bases? La respuesta es la que sigue: Teorema 15.1. Si B es una base para Ia topologia de X y € es una base para la topologia de Y , entonces la coleccién D={BxC|BeByCee} es una base para Ia topologia sobre X x Y.§15 : La topologia producto sobre X x Y 99 Figura 15.1 Demostracién. Utilizamos el Lema 13.2. Dado un conjunto abierto W de X x Y yun punto x x y de W, por definicién de la topologfa producto existe un elemento Ux V basico tal quex x ye UxVc W. Puesto que B y € son bases para X e Y, respectivamente, podemos elegir un elemento B de 8B tal quexe BCU,y unelemento C' de € tal que y € C C V. Por tanto,z x y € Bx CC W. Asi la coleccién D cumple el criterio del Lema 13.2, por lo que D es una base paraX x Y. a EJEMPLO 1. La topologia del orden es la topologia usual de R. El producto de esta topologia consigo misma se denomina topologta usual de R x R = R?. Tiene como base la coleccién de todos los productos de conjuntos abiertos de R, pero el teorema que acabamos de probar nos dice que la coleccién mucho mis pequefia de todos los productos (a,) x (c,d) de intervalos abiertos en R también sirve como base para la topologia de R’. Cada conjunto de este tipo se puede dibujar como el interior de un rectangulo en R?, Asi la topologia usual de R? es justo la que consideramos en el Ejemplo 2 de §13. Algunas veces es util expresar la topologia producto en términos de una subbase. Para hacer esto, primero definimos ciertas funciones !lamadas proyecciones. Definicién. Sean 7 : X x ¥ — X definida por may) = ym: X XY — ¥ definida por To(@.y) = y. as aplicaciones 71 y 72 se denominan proyecciones de X x Y sobre su primer y egundo factor, respectivamente.100 Espacios topoldgicos y funciones continuas Capitulo 2 Figura 152 Usamos la palabra “sobre” porque 771 y 72 Son sobreyectivas (a menos que uno de los espacios X 0 Y sea vacio, en cuyo caso X x Y seria vacio y, por tanto, no tendria sentido hablar de ello). Si U es un subconjunto abierto de X, el conjunto 7 1 (17) es, precisamente, el conjunto U x Y, que es abierto en X x Y. De modo similar, si V es abierto en Y, ocurre que mg (Vy =X xV que también es abierto en X x Y. La interseccién de estos dos conjuntos es el con- junto U x V, como se indica en la Figura 15.2. Este hecho nos lleva a enunciar el siguiente teorema: Teorema 15.2. La coleccién 8 = {my1(U) | U es abierto en X} U {z1(V) | V es abierto en Y} es una subbase para la topologia producto sobre X x Y . Demostracién. Sean T la topologia producto sobre X xY y J’ la topologia generada por $. Puesto que cada elemento de § pertenece a J, también pertenecen las uniones arbitrarias de intersecciones finitas de elementos de 8. Asi J’ C T. Por otro lado, cada elemento basico U x V para la topologia J es una interseccién finita de elementos de 8, puesto que UxVen wna (Vv). Por lo tanto, U x V pertenece a J’, y asi T CT’. a816 La topologia de subespacio 101 §16 La tepologia de subespacio Definici6n. Sea X un espacio topolégico con topologia J. $i Y es un subconjunto de X,, la coleccion , Ty ={(¥nu|vEeN es una topologia sobre Y , denominada topologta de subespacio o topologia relativa. Con esta topologia, Y se denomina subespacio de X; sus conjuntos abiertos son todas las intersecciones de conjuntos abiertos de X con Y. Es facil ver que Jy es una topologia. Contiene a @ e Y, porque @=YNG e Y=YNX donde 2 y X son elementos de . El hecho de que sea cerrado para intersecciones finitas y uniones arbitrarias se deduce de las ecuaciones (UNY)N--AUANY) = (U0 Ua) NY, UWany) = (LU Ua) ny. oes aed Tema 16.1. Si B es una base para la topologia de X , entonces Ia coleccién . By ={BNY|Be B} evuna base para Ja topologia de subespacio sobre Y . Demostracién. Dados un abierto U en X y un punto y € U NY, podemos elegir un elemento B en B tal que yy € B C U. Entonces y € BONY CUNY. Se sigue del Lema 13.2 que By es una base para la topologia de subespacio sobre Y. a Cuando trabajamos con un espacio X y un subespacio Y, se necesita ser cuida- oso al utilizar el término “conjunto abierto”. ;Estamos hablando de un elemento de la topologia de Y o de un elemento de 1a topologia de X? Daremos la siguiente de- finici6n: si ¥Y es un subespacio de X,, diremos que un conjunto U es abierto en ¥ (o abierto relativo a Y) si pertenece a la topologia de Y;; esto implica, en particular, que ¢8 un subconjunto de Y. Diremos que-U es abierto en X si pertenece a la topologia de X. Se puede dar el caso especial en el que cada conjunto abierto en Y también es abierto en X: Lema 16.2. Sea Y un subespacio de X. SiU es abiertoen Y e Y es abierto en X, entonces U es abierto en X.102 Espacios topolégicos y funciones continuas Capitulo 2 Demostracién. Puesto que U es abierto en ¥, U = Y 1 V para algan conjunto V abierto en X.Como Y y V son ambos abiertos en X, también loes YNV. a Ahora estudiaremos la relacién entre la topologia de subespacio y las topologias del orden y producto. Para las topologias producto el resultado es el que uno puede esperar; no asi para las topologias del orden. Teorema 16.3. Si A es un subespacio.de X y B es un subespacio de Y , entonces la topologia producto sobre A x B coincide con la topologia que A x B hereda como subespacio de X x Y. Demostracién. El conjunto U x V es el elemento basico genérico de X x Y , donde U es abierto en X y V es abierto en Y. Por tanto, (U x V)(A x B) es el elemento basico genérico para la topologia de subespacio sobre A x B. Ahora bien, (Ux V)N(Ax B)=(UN A) x (VNB). Puesto que UM A y VM Bes la forma general para los conjuntos abiertos para las topologfas de subespacio sobre A y B, respectivamente, el conjunto (UMA) x (VNB) es el elemento basico genérico para la topologia producto sobre A x B. La conclusién que obtenemos es que las bases para la topologia de subespacio sobre A x B y para Ja topologia producto sobre A x B son idénticas. De aqui que las topologias sean la misma. a Ahora sea X un conjunto ordenado con la topologia del orden; y sea Y un sub- conjunto de X. La relacién de orden sobre X , cuando se restringe a Y , convierte a Y en un conjunto ordenado. Sin embargo, la topologta del orden resultante sobre Y no necesita ser la misma que la topologta que Y hereda como subespacio de X . Damos un ejemplo donde las topologias del orden y de subespacio sobre Y coinciden y dos ejemplos donde ocurre lo contrario. EJEMPLO 1, _ Consideremos el subconjunto Y = [0, 1] de la recta real R, en la topologia de subespacio. La topologia de subespacio tiene como base todos los conjuntos de la forma (a, b) 1 ¥,, donde (a, 6) es un intervalo abierto de R. Tal conjunto es de uno de los siguientes tipos: (a,b) siay besténen Y [0, ®) si solamente 6 est4 en Y (a, 1] si solamente a esté en Y Y6@ sinianibestanenY. (a,b) NY = Por definicién, cada uno de estos conjuntos es abierto en Y . Pero los conjuntos del segundo y tercer tipos no son abiertos en el espacio més grande R.816 La topologia de subespacio 103 Nétese que esos conjuntos forman una base para la topologia del orden sobre Y. Asi, vemos que en el caso del conjunto Y = (0, 1], su topologia de subespacio (como subespacio de IR) y su topologia del orden son la misma. EJEMPLO 2. Sea Y el subconjunto [0, 1) U {2} de R. En la topologia de subespacia sobre Y, el gonjunto unipuntual {2} es abierto, porque es la interseccién del conjunto abierto (38 ) con ¥. Pero en la topologia det orden sobre Y, el conjunto {2} no es abierto, Cuslquier elemento basico para la topologia del orden sobre Y que contenga a 2 es de la forma {a|zeVya<2r<2} para algtin a € Y; un conjunto tal, necesariamente contiene puntos de Y menores que 2. “ EJEMPLO 3. Sea J = (0, 1}. El orden det diccionario sobre J x J es justo la restricci6n aI x I de la topologia del orden sobre el plano R x R. Sin embargo, la topologia del orden del diccionario sobre I x J no es la misma que la topologia de subespacio sobre I x I obtenida de la topologia del orden del diccionario sobre R x R. Por ejemplo, el conjunto {1/2} x (1/2, 1] es abierto en J x J en la topologia de subespacio, pero no en la topologia del orden, como se puede comprobar (véase la Figura 16.1). El conjunto J x J en la topologia del orden del diccionario se denominarA cuadrado ® ordenado, y lo denotaremos mediante 12. - La anomalia ilustrada en los Ejemplos 2 y 3 no ocurre para intervalos de rayos en un conjunto ordenado X . Esto es lo que probamos a continuacién. Dado un conjunto ordenado X, diremos que un subconjunto Y de X es convexo en X si para cada par de puntos a < bde Y, el intervalo completo (a, ) de puntos de X pertenece a Y . Nétese que los intervalos y rayos en X son convexos en X. OW Subespacio Figura 16.1 Teorema 16.4. Sean X un conjunto ordenado en la topologia del orden e Y un sub- conjunto de X que es convexo en X.. Entonces Ia topologia del orden sobre Y es la misma que la topologia que Y hereda como subespacio de X.104 Espacios topolégicos y funciones continuas Capitulo 2 Demostracién. Consideremos el rayo (a, +00) en X. ,Cuél es su interseccién con Y?Sia € Y,entonces (a, +00) NY = {r|aeY yar >a} que es un rayo abierto del conjunto ordenado Y. Sia ¢ Y,, entonces a es bien un limite inferior de Y,, bien un limite superior de Y , puesto que Y es convexo. En el primer caso, el conjunto (a, +00) 1 ¥ es igual a todo Y;; en el dltimo caso, es vacio. Un razonamiento similar demuestra que la interseccién del rayo (—90, a) con el conjunto Y es bien un rayo abierto de Y, bien el propio Y, o bien vacio. Ademas, puesto que los conjuntos (a, +00) M ¥ y (—00,a@) MY forman una subbase para la topologia de subespacio sobre Y, y como cada uno es abierto en la topologia del orden, esta ultima topologia contiene a la de subespacio. Para probar el reciproco, obsérvese que cualquier rayo abierto de Y es igual a la interseccién de un rayo abierto de X con Y, por lo que es abierto en Ja topologia de subespacio sobre Y . Puesto que los rayos.abiertos de Y son una subbase para la topo- logia del orden sobre Y’, esta topologia est4 contenida en Ja topologia de subespacio. a Para evitar ambigiiedad, cuando X sea un conjunto-ordenado con la topologia del orden e Y sea un subconjunto de X , supondremos que Y esté dotado de la topologia de subespacio, a menos que especificamente digamos lo contrario. Si Y es convexo en X,, esta topologia es la misma que la topologia del orden sobre Y; si no, puede no serlo. Ejercicios 1, Pruebe que si Y es un subespacio de X y A es un subconjunto de Y’, entonces Ja topologia que A hereda como subespacio de Y es la misma que la topologia que hereda como subespacio de X . 2. Sid y J’ son topologias sobre X y J’ es estrictamente mas fina que T, ,qué pue- de decir sobre las correspondientes topologias de subespacio sobre el subcon- junto Y de X? 3. Consideremos el conjunto Y = [1,1] como subespacio de R. ,Cual de los siguientes conjuntos son abiertos en Y? {Cudles son abiertos en R? A = {x|}<|2| <1}, B= {e|7 Ty U’ D U, entonces la topologia producto sobre X’ x Y’ es més fina que la topologia producto sobre X x Y. (b) 4Se cumple el reciproco de (a)? Explique su respuesta. 6. Pruebe que la coleccién numerable {(a,) x (c,d) |a0e 420} es cerrado, porque su complementario es la unién de los dos conjuntos (-00,0)xR y Rx (—o0,0) acne cada uno de ellos un producto de conjuntos abiertos de R y, por tanto, abierto en EsemP_o 3. En Ia topologia de los complementos finitos sobre un conjunto X, los conjuntos cerrados son el propio X y todos los subconjuntos finitos de X. EsEMPLO 4. En Ia topologia discreta sobre el conjunto X,, cada conjunto es abierto; se sigue que cada conjunto es también cerrado. EJEMPLO 5. Consideremos el siguiente subconjunto de Ia recta real: Y = [0,11 U(@,3) en la topologia de subespacio. En este espacio, el conjunto [0, 1} es abierto, puesto que es Ja intersecci6n del conjunto abierto Gd, 3) de R con Y. De modo similar, (2, 3) es abierto como subconjunto de Y; incluso es abierto como subconjunto de R. Puesto que [0, 1] y (2, 3) son complementas en Y cada uno del otro, concluimos que tanto (0, 1] como (2,3) son cerrados como subconjuntos de Y. Estos ejemplos sugieren que una respuesta al enigma matemiatico: “zen qué se diferencia un conjunto de una puerta?” deberia ser: “una puerta debe estar abierta o cerrada, y no pueden ocurrir las dos cosas, mientras que un conjunto puede ser abierto, o cerrado, o ambos, o ni abierto ni cerrado”. La coleccién de subconjuntos cerrados de un espacio X tiene similares propieda- des a aquellas satisfechas por la coleccién de subconjuntos abiertos de X: Teorema 17.1. Sea X un espacio topolégico. Se cumplen las siguientes condiciones: (1) @ yX son cerrados. (2) Las intersecciones arbitrarias de conjuntos cerrados son cerradas. (3) Las uniones finitas de conjuntos cerrados son cerradas.817 Conjuntos cerrados y puntos limite 107 Demostracién. (1) @ y X son cerrados porque son los complementos de los con- juntos abiertos X y @, respectivamente. (2) Dada una coleccién de conjuntos cerrados {Aa tac, aplicamos la ley de De- Morgan, xX- Q Ag = |J(X - Aa). aed aed Puesto que los conjuntos X — Aq son abiertos por definicién, la parte derecha de la ecuacién representa una uniGn arbitraria de conjuntos abiertos, y asf, es abierto. Por lo tanto, () Aa es cerrado. (3) De manera similar, si A; es cerrado para i = 1 ci6n +7, consideremos la ecua- X~U4i = (|x - A). i=l i=1 El conjunto de Ia parte derecha de esta ecuaci6n es una intersecci6n finita de conjun- tos abiertos y es, consiguientemente, abierto. De aqui, |) A; es cerrado. J En lugar de usar conjuntos abiertos, se podria especificar perfectamente una to- pologia sobre un espacio dando una coleccién de conjuntos (Ilamados “conjuntos cerrados”) satisfaciendo las tres propiedades de este teorema. Se podria, en ese ca- 80, definir los conjuntos abiertos como los complementos de conjuntos cerrados y proceder exactamente igual que antes, Este procedimiento no tiene ninguna ventaja particular sobre el que adoptamos, y la mayoria de mateméticos prefieren usar con- juntos abiertos para definir topologias. Ahora bien, cuando tratemos con subespacios, se necesita ser cuidadoso al usar el término “conjunto cerrado”. Si Y es un subespa- cio de X, diremos que un conjunto A es cerrado en Y si A es un subconjunto de Y y si A es cerrado en la topologia de subespacio de Y (esto es, si Y — A es abierto en Y), Tenemos el siguiente teorema: leorema 17.2. Sea Y un subespacio de X . Entonces un conjunto A es cerrado en Y i, y S6lo si, es igual a la interseccién de un conjunto cerrado de X conY . mostracion. Supongamos que A = C'M Y,, donde C es cerrado en X (véase la ‘igura 17.1). Entonces X — C es abierto en X, por lo que (X — C) MY es abierto n Y, por definicién de topologia de subespacio. Pero (X — C)NY = Y — A. De qui Y — A es abierto en Y , por lo que A es cerrado en Y . Reciprocamente, asumamos ue A es cerrado en Y (véase la Figura 17.2). Entonces Y -- A es abierto en Y, por 0 que por definicién es igual a la interseccién de un conjunto abierto U de X con Y. il conjunto X — U es cerradoen X,y A= ¥ N(X —U), por lo que Aes igual ala nterseccién de un conjunto cerrado de X con ¥, como se deseaba probar. a108 Espacios topolégicos y funciones continuas Capitulo 2 et Figura 17.1 Figura 17.2 Un conjunto A que es cerrado en el subespacio Y puede ser cerrado o no en el espacio mas grande X. Como fue el caso con los conjuntos abiertos, existe un criterio para ver si A es cerrado en X , demostracién que queda para el lector. Teorema 173. Sea Y un subespacio de X . Si A es cerrado en Y € Y es cerrado en X, entonces A es cerrado en X . . Clausura e interior de un conjunto Dado ua subconjunto A de un espacio topolégico X, el interior de A se define como la unién de todos los conjuntos-abiertos contenidos en A, y la clausura de A se define como la interseccién de todos los conjuntos cerrados que contienen a A. El interior de A se denota por Int A y la clausura de A se denota mediante Cl A 0 por A. Obviamente, Int A es un conjunto abierto y A es un conjunto cerrado, més atin, MACACA. Si A es abierto, A = Int A, mientras que, si A es cerrado, A = A. No haremos demasiado uso del interior de un conjunto, pero la clausura de un conjunto sera muy importante. Cuando se trabaja con un espacio topolégico X y un subespacio Y, es necesario tener cuidado al tomar clausuras de conjuntos. Si A es un subconjunto de Y’, la clau- surade Aen Y y laclausura de Aen X serdn diferentes en general. En tal situacién, reservamos la notacién A para representar la clausura de A en X. La clausura de A en Y se puede expresar en términos de A, como muestra el siguiente teorema: Teorema 17.4. Sean Y un subespacio de X y A un subconjunto de Y. Denotemos por A la clausura de A en X.. Entonces Ja clausura de A enY es ANY. Demostracién. Denotemos por B la clausura de A en Y’. Bl conjunto Aes cerrado en X, por lo que AMY es cerrado en Y por el Teorema 17.2. Puesto que AN Y§17 Conjuntos cerrados y puntos limite 109 contiene a A, y puesto que por definicién B es igual a la interseccién de todos los subconjuntos cerrados de Y que contienen a A, debe ser B C (ANY). Por otra parte, sabemos que B es cerrado en Y. De aqui, por el Teorema 17.2, B=CN¥ para algtn conjunto C cerrado en X . Entonces C’es un conjunto cerrado de X que contiene a A; como A es la interseccién de todos los conjuntos cerrados tales, concluimos que A ¢ C’.Entonces (ANY) Cc (CNY) =B. a La definicién de Ja clausura de un conjunto no nos da un método adecuado para encontrar las clausuras de conjuntos especificos, puesto que la coleccién de todos los conjuntos cerrados en X, como la coleccién de todos los conjuntos abiertos, es frecuentemente demasiado grande para trabajar con ella. Otro camino para describir laclausura de un conjunto, dtil porque s6lo implica una base para la topologia de X, se da en e] siguiente teorema. Primero introduciremos alguna terminologia conveniente. Diremos que un con- junto A interseca a un conjunto B si la intersecci6n AM B no es vaca. ‘Teorema 17.5. Sea A un subconjunto del espacio topoldégico X. (a) Entonces x € A si, y s6lo si, cada conjunto abierto U que contiene az interseca aA. (b) Suponiendo que Ia topologia de X esta dada por una base, entonces x € A si, y s6lo si, cada elemento basico B que contiene a x interseca a A. Demostracién. Consideremos el enunciado de (a). Es un enunciado de la forma P ¢> Q. Transformemos cada implicacién en su opuesta, para asi obtener el enun- ciado 16gico equivalente no P + no Q. Su desarrollo es el siguiente: x ¢ A <=> existe un conjunto abierto U que contiene a x y que no interseca a A. De este modo, nuestro teorema es sencillo de probar. Si x no esté en A, el conjunto U = X — Aes un conjunto abierto que contiene a x y que no interseca a A, como s¢ deseaba. Reciprocamente, si existe un conjunto abierto U que contiene a x y que no interseca a A, entonces X — U es un conjunto cerrado que contiene a A. Por definicién de la clausura A, el conjunto X — U debe contener a A; sin embargo, x no puede estar en A. El enunciado (b) se sigue inmediatamente. Si cada conjunto abierto que contiene ax interseca a A, también lo hace cada elemento basico B que contenga a x, porque B es un conjunto abierto. Reciprocamente, si cada elemento basico que contiene a x interseca a A, también lo hace cada conjunto abierto U que contenga a x, porque U contiene un elemento basico que contiene a x. tt Los matematicos usan a menudo alguna terminologia especial en cuanto a esto iltimo. Abrevian la frase “U/ es un conjunto abierto que contiene a x” con la frase “U es un entorno de z”.110 Espacios topolégicos y funciones continuas Capitulo 2 Usando esta terminologia, se puede escribir la primera mitad del teorema anterior del modo siguiente: Si Aes un subconjunto del espacio topolégico X, entonces x € A si, y s6lo si, cada entorno de z interseca a A. EJEMPLO 6. Sea X la recta real R. Si A = (0, 1], entonces A = [0,1], ya que cada entorno del 0 interseca a A, mientras que cada punto fuera de [0,1] tiene un entorno disjunto con A. Argumentos similares se aplican a los siguientes subconjuntos de X: Si B = {1/n|n € Z,}, entonces B = {0} U B. SiC = {0} U (1,2), entonces & = {0} U[1, 2]. Si Q es el conjunto de los némeros racionales, entonces Q = R. Si Zy. es el conjunto de los enteros positivos, entonces Z = Z. Si Ry. es el conjunto de los reales positivos, entonces la clausura de R es el conjunto RU {0} (esta es la raz6n por Ja que anteriormente introdujimos en §2 la notacién Ry para el conjunto Ry U {0}). EJEMPLO 7. Consideremos el subespacio ¥ = (0, 1] de la recta real R. El conjunto A= (0, 4) es un subconjunto de to su clausura en R es el conjunto (0, 3}, y suclausura en ¥ es el conjunto (0, 3] PY = (0, 3)- Algunos matemiticos utilizan el término “entorno” en un sentido distinto. Dicen que A es un entorno de « si A contiene un conjunto abierto que contiene a x. Nosotros no lo consideraremos asi. Puntos limite Existe otro modo de describir la clausura de un conjunto, que necesita del importante concepto de punto limite, que tratamos a continuacién. Si Aes un subconjunto del espacio topolégico X y si x es un punto de X, diremos que x es punto limite (0 “punto de acumulacién”) de A si cada entorno de x interseca a A en algin punto distinto del propio x. Dicho de otro modo, x es un punto limite de A si pertenece a la clausura de A — {x}. El punto x puede o no pertenecer a A; no importa para esta definicién. EJEMPLO 8. Consideremos la recta real R. Si A = (0, 1], entonces el punto 0 es un punto limite de A y también el punto 1/2. De hecho, cada punto del intervalo (0, 1] vaa ser un punto limite de A, pero ningéin otro punto de R es un punto limite de A. Si B = {1/n|n € Zz}, entonces el 0 es el tinico punto limite de B. Cualquier otro punto « de R tiene un entorno que, o no llega a intersecar a B, o interseca a B sélo en el propio punto a. SiC’ = {0} U (1, 2), entonces los puntos limite de C’ son los puntos del intervalo [1, 2]. Si Q es el conjunto de los ndémeros racionales, cada punto de R es un punto limite de Q. Si Z,. es et conjunto de los enteros positivos, ningan punto de R es un punto limite de Z.. Si Ry. es el conjunto de los reales positivos, entonces cada punto de {0} UR, es un punto limite de R+. Si comparamos los Ejemplos 6 y 8, nos damos cuenta de la relacién entre la clausura de un conjunto y los puntos limite de un conjunto. Esta relacién es la que se da en el siguiente teorema:17 Conjuntos cerrados y puntos limite 111 ‘Teorema 17.6, Sean A un subconjunto del espacio topolégico X y A’ el conjunto de todos los puntos limite de A. Entonces A=AUM. Demostracién. Six esten A’, cada entorno de z interseca a A (en un punto distinto de x). Luego, por el Teorema 17.5, x pertenece a A. De aqui, A’ C A. Puesto que, por definicién, A C A,se sigue que AU A’ c A. Para demostrar la otra inclusién, supondremos que @ es un punto de A y proba- remos que z € AU A’, Si ocurre que x pertenece a A, es trivial que z € AU A; supongamos que z no esté en A. Como x € A, sabemos que cada entarno U de x interseca a A; al tener que x ¢ A, el conjunto U7 debe intersecar a A en un punto distinto de a. Entonces z € A’, por lo que x € AU A’, como se deseaba. a Corolario 17.7, Un subconjunto de un espacio topoldégico es cerrado si, y solo si, contiene a todos sus puntos limite. Demostracién. EJ conjunto A es cerrado si, y s6lo si, A = A, y esto ultimo se cumple si, y s6lo si, A’ CA. a Espacios de Hausdorff Nuestra experiencia con conjuntos abiertos y cerrados y puntos limite en la recta real y el plano puede levarnos a cometer un error cuando consideramos espacios topolégicos més generales. Por ejemplo, en los espacios R y R?, cada conjunto uni- puntual {2} es cerrado. Este hecho es facilmente demostrable; cada punto distinto de 2p tiene un entorno que no interseca a {29}, por lo que {x9} es su propia clausura. Pero este hecho no es cierto para espacios topolégicos arbitrarios. Consideremos la topologia en el conjunto de tres puntos {a, b, c} indicado en la Figura 17.3. En este espacio, el conjunto unipuntual {0} no es cerrado, por lo que su complementario no C@o Figura 173 De modo similar, nuestra experiencia con las propiedades de sucesiones conver- gentes en IR y IR? nos puede llevar a un error cuando tratamos con espacios topoldégi- 0s mas generales. En un espacio topolégico arbitrario, se dice que una sucesién112 Espacios topolégicos y funciones continuas Capitulo 2 21,29,... de puntos del espacio X converge al punto x de X siempre que, para cada entorno U de z, exista un entero positivo N tal que z, € U para todon > N.En R y R?, una sucesién no puede converger a mas de un punto, pero si puede en un espacio arbitrario. En el espacio indicado en la Figura 17.3, por ejemplo, la sucesién definida por z,, = b para todo n converge no s6lo al punto 8, sino también al punto a y al punto c. ‘ Las topologias en las que los conjuntos unipuntuales no son cerrados, 0 en las que las sucesiones pueden converger a mas de un punto, son consideradas por muchos matemiticos como algo extrafio. No son demasiado interesantes, debido a que raras veces se dan en otras ramas de las matemiticas. Y los teoremas que podemos probar sobre espacios topolégicos estan bastante limitados si se permiten tales ejemplos. Por Jo tanto, a menudo se impone una condicién adicional que evitar4 ejemplos como éste, llevando la clase de espacios bajo consideracién més cerca de aquellos a los que se aplica nuestra intuicién geométrica. La condicién fue sugerida por el matematico Félix Hausdorff, por lo que los matematicos le han dado su nombre. Definicién. Un espacio topolégico X se denomina espacio de Hausdorff si pa- ra cada par x1, 22 de puntos distintos de X, existen entornos Uy y U2 de a1 y 2, respectivamente, que son disjuntos. Teorema 17.8. Cada conjunto con un némero finito de puntos en un espacio de Hausdorff X es cerrado. Demostracién. Es suficiente probar que cada conjunto unipuntual {9} es cerrado. Sizesun punto de X distinto de ro, entonces z y rp tienen entornos disjuntos U y V, respectivamente. Puesto que U no interseca a {a}, el punto x no puede pertenecer a la clausura del conjunto {zo}. Como consecuencia, la clausura del conjunto {zo} es el propio {x9}, por lo que es cerrado. a La condici6n de que los conjuntos con un namero finito de puntos sean cerrados, es de hecho més débil que la condicién de Hausdorff. Por ejemplo, la recta real R con la topologia de los complementos finitos no es un espacio de Hausdorff, pero si es un espacio en el que los conjuntos con un némero finito de puntos son cerrados. La condicién de que los conjuntos con un nimero finito de puntos sean cerrados tiene su propio nombre: se denomina axioma T,. (Explicaremos la raz6n para esta extrafia terminologia en el Capitulo 4.) El axio- ma T; aparecerd en este libro en algunos ejercicios y sdlo en un teorema, que es el siguiente: Teorema 17.9. Sean X un espacio satisfaciendo el axioma T; y A un subconjunto de X. Entonces el punto x es un punto limite de A si, y sélo si, cada entorno de x contiene infinitos puntos de A.§17 Conjuntos cerrados y puntos lfmite 113 Demostracién. Si cada entorno de = interseca a A en infinitos puntos, est4 claro que interseca a A en algun otro punto distinto de x, por lo que z es un punto Limite de A. Recfprocamente, supongamos que x es un punto limite de A, y supongamos que algin entorno U de x interseca a A en un conjunto finito de puntos. Entonces U también interseca a A — {2} en un conjunto finito de puntos; sean {21;... 21m} los puntos de U1 (A — {x}). Eh conjunto X — {xj,..., am} es un conjunto abierto de X, puesto que el conjunto finito de puntos {21,...,2m} es cerrado; entonces U(X — {a1,-..,%m}) esun entorno de : que no interseca al conjunto A — {a}. Esto contradice la hipétesis de que z es un punto limite de A. . a Una raz6n para nuestra falta de interés en el axioma T; es el hecho de que muchos de los teoremas interesantes en topologia no requieren tinicamente este axioma, sino la fuerza del axioma de Hausdorff. Es ms, la mayoria de los espacios que son impor- ‘antes para los matemiticos son espacios de Hausdorff. Los dos teoremas siguientes dan algo mas de fundamento a estos comentarios. Teorema 17.10. Si X es un espacio de Hausdorff, entonces una sucesién de puntos de X converge a lo sumo a un punto de X. Demostracién. Supongamos que x, es una sucesion de puntos de X que converge az.Siy # x, sean U y V entornos disjuntos de x e y, respectivamente. Puésto que UV contiene az, para todo n, excepto para un néimero finito de valores de n, el conjunto V no puede cumplir lo mismo. Por lo tanto, x, no puede converger a y. a Sila sucesién z,, de puntos del espacio de Hausdorff X converge al punto x de X,amenudo escribiremos x, —> <., y diremos que « es el fimite de la sucesién Zn. La prueba del siguiente resultado se deja como ejercicio. Teorema 17.11, Cada conjunto simplemente ordenado es un espacio de Hausdorff en [a topologia del orden. El producto de dos espacios de Hausdorff es un espacio de Hausdorff. Un subespacio de un espacio de Hausdorff es un espacio de Hausdorff. Generalmente se considera que la condicién de Hausdorff es una condicién extra muy débil para imponer a un espacio topolégico. Efectivamente, en un primer curso de topologia, algunos matematicos van tan lejos que imponen esta condicién al empe- zar, rechazando considerar espacios que no.sean espacios de Hausdorff. Nosotros no iremos tan lejos, pero admitiremos ta condicién de Hausdorff siempre que se necesite en una demostracién sin reparo-de que limite seriamente el rango de aplicaciones de los resultados.114 Espacios topolégicos y funciones continuas Capitulo 2 La condicién de Hausdorff es una entre un némero de condiciones extra que se pueden imponer a un espacia topolégico. Cada vez que se impone tal condicién, se pueden probar tearemas més fuertes, pero se limita la clase de espacios a los que se aplican dichos teoremas, La mayoria de los estudios que se han hecho en topologia desde sus comienzos se han centrado en el problema de encontrar condiciones que sean lo suficientemente fuertes como para permitir que se prueben teoremas intere- santes sobre espacios que satisfacen estas condiciones, y a la vez no tan fuertes que limiten notablemente el rango de aplicaciones de los resultados. Estudiaremos diversas condiciones de este tipo en los dos préximos capitulos. La condicién de Hausdorff y el axioma T} pertenecen, sin embargo, a una coleccidn de an4logas condiciones que se denominan en conjunto axiomas de separacién. Otras condiciones son los axiomas de numerabilidad y diferentes condiciones de compaci- dad y conexién. Algunos de éstos son requisitos bastante estrictos, como veremos. Ejercicios 1. Sea € una coleccién de subconjuntos-del conjunto X . Supongamos que 2 y X estén en ©, y que las uniones finitas y las intersecciones arbitrarias de elementos de € estan en C. Pruebe que la colecci6n T={xX-C|C eg} es una topologia sobre X . 2 Probe que si As ceraioen¥ e¥ ex canon, entonces A es cerrado en XxX. 3, Pruebe que si Aes cerradoen X y Bes cerradoen Y, entonces A x B es cerrado = en x Ye 4. Pruebe que si U es abierto en X y Aes cerrado en X, entonces U — Aes abierto en X,y A—U escerradoen X. 5. Sea X un conjunto ordenado en Ja topologia del orden. Muestre que (a,b) C (a, b]. ZBajo qué condiciones se cumple la igualdad? 6. Denotemos por A, B y Ag a subconjuntos del espacio X.. Pruebe lo siguiente: (a) SiAC B,entonces AC B. () AUB = AvB. (c) UAa > U Aa: dé un ejemplo donde no se cumpla la igualdad. 7. Discuta la siguiente “prueba” de que LJ Aa C U Aa: si {Aq} es una coleccién de conjuntos en X y siz € |) Aq, entonces cada entorno U de x interseca a U Aa. Asi, U debe intersecar a algin Aq, por lo que x debe pertenecer a la clausura de algin Aq. Por consiguiente, z € U Aa-§17 Conjuntos cerrados y puntos limite 215 8. Denotemos por A, B y Aq a subconjuntos del espacio X. Determine si las siguientes ecuaciones se cumplen; si una igualdad es falsa, determine si una de las inclusiones > o C se cumple. (a) ANB = AnB. &) Aa = Aa. () A~B=A-8. 9. Sean A C X y B CY. Pruebe que, en el espacio X x Y, AxB=AxB. 10. Pruebe que cada topologia del orden es de Hausdorff. 11. Pruebe que el producto de dos espacios de Hausdorff es de Hausdorff. 12, Pruebe que un subespacio de un espacio de Hausdorff es de Hausdorff. 13. Pmuebe que X es de Hausdorff si, y s6lo si, 'a diagonal — {xxa|x2€X} es cerradaen X x X. 14, En Ja topologia de los complementos finitos sobre R, 3a we punto o puntos converge la sucesi6n zy; = 1/n? . 15. Prucbe que el axioma T; es equivalente a la condicién de que para cada par de puntos de X, cada uno posee un entorno que no contiene al otro. 16. Considere las cinco topologias sobre R dadas en el Ejercicio 7 de §13. (a) Determine la clausura del conjunto K = {1/n|n € Z4} bajo cada una de estas topologias. (b) {Cuiales de estas topologias satisfacen el axioma de Hausdorff? zy el axio- ma 7,? 17. Considere Ja topologia del limite inferior sobre R y la topologia dada por la base € del Bjercicio 8 de §13. Determine las clausuras de los intervalos A = (0, V2) y B = (v2, 3) en estas dos topologias. 18. Determine las clausuras de los siguientes subconjuntos del cuadrado ordenado: A= {(1/n) x0|ne 24}, B= {(1—1/n) x E|n€Z4}, C = {rx 0|0 A es, al mismo tiempo, abierto y cerrado. (c) Pruebe que U es abierto + FrU = U-U. (d) SiU es abierto, ,es cierto que U = Int(U)? Justifique su respuesta. 20. Caleule la frontera y el interior dé cada uno de los siguientes subconjuntos de R?: (a) A= {x xy|y=0}, (b) B={xxylc>Oey £0}, (c) C= AUB, (d) D= {x x y| x es'racional}, () E={axy|0<2?-y' <1}, () F={exyle A0e yS1/z}. “#21, (Kuratowski). Considere la coleccién de todos los: subconjuntos ‘A del espacio topolégico X. Las operaciones de clausura A —+ A y complementario A — X — Ason funciones que van de esta coleccién en ella misma. (a) Pruebe que, comenzando con un conjunto dado A, se pueden formar no més de 14 conjuntos distintos al aplicar estas dos operaciones sucesiva- mente. (b) Encuentre un subconjunto A de R (con su topologia usual) para el que se obtenga el maximo de 14..