Cap tulo 3

Espacios topol ogicos

3.1 Espacio topol ogico
Denici on 3.1.1. Un espacio topol ogico es un par (X, ), donde X es un conjunto, y es una familia de subconjuntos de X que verica las siguientes condiciones (1) X y . (2) Dada una familia {Ai , i I } de elementos de , su uni on iI Ai tambi en est a en . (3) Si A1 , A2 , entonces A1 A2 (la intersecci on de dos elementos de la familia tambi en es un elemento de la familia) Diremos entonces, que la familia es una topolog a sobre X , y a sus elementos les llamaremos conjuntos abiertos de (X, ). De la condici on (2) se deduce, por inducci on, que la intersecci on de una familia nita de conjuntos abiertos sigue siendo un conjunto abierto en (X, ). (Ejercicio) Ejemplo 3.1.2. (1) Topolog a asociada a una m etrica. Todo espacio m etrico (X, d) tiene asociado un espacio topol ogico (X, d ), donde d es la familia de los conjuntos abiertos de X para la distancia d tal y como los hemos denido en [2.3.3]. El teorema [2.3.6] prueba que, efectivamente, estos abiertos constituyen una topolog a que llamamos topolog a d asociada a la m etrica d. (2) Topolog a discreta. Sea X un conjunto; consideremos la familia = P (X ), formada por todos los subconjuntos de X . Esta familia es una topolog a en la que cualquier subconjunto de X 23

24

CAPITULO 3. ESPACIOS TOPOLOGICOS

es un abierto y se llama topolog a discreta, en este caso decimos que (X, P (X )) es un espacio topol ogico discreto. nicos conjuntos son el (3) Topolog a indiscreta. Si consideramos ahora la familia {, X } cuyos u vac o y el propio X , tambi en constituye una topolog a sobre X que llamaremos topolog a gruesa, indiscreta o trivial. (4) Sea el conjunto X = {a, b, c, d, e}. Entre otras, podemos construir las siguientes familias de subconjuntos de X : 1 = {X, , {a}, {c, d}, {a, c, d}, {b, c, d, e}} 2 = {X, , {a}, {c, d}, {a, c, d}, {b, c, d}} 3 = {X, , {a}, {c, d}, {a, c, d}, {a, b, d, e}} 1 es una topolog a sobre X y sin embargo, 2 falla en la uni on y 3 falla en la intersecci on, por lo tanto no lo son. (5) Topolog a conita. Sea X un conjunto cualquiera y denamos como el conjunto vac o junto c con aquellos subconjuntos A X tales que A = X A es nito. es una topolog a sobre X que se conoce como la topolog a conita y se representa por cf . Cuando el conjunto X es nito, entonces la topolog a conita coincide con la topolog a discreta. Como este caso no introduce nada nuevo, siempre que se estudie la topolog a conita ser a sobre conjuntos innitos. Como hemos visto, sobre un conjunto se puede denir m as de una topolog a. Podemos establecer una cierta comparaci on: Denici on 3.1.3 (Topolog as m as nas). Dado un conjunto X , sean 1 y 2 dos topolog as denidas sobre X . Si todo abierto de 1 es un abierto de 2 , es decir, 1 2 , diremos que 2 es m as na que 1 o que 1 es menos na que 2 , o bien que 2 es m as d ebil que 1 . Dos topolog as son equivalentes si tienen los mismos abiertos y dos topolog as no son comparables si ninguna es m as na que la otra. Ejemplo 3.1.4. (1) La topolog a indiscreta es menos na que cualquier otra y la topolog a discreta es la m as na posible. (2) La topolog a conita sobre R2 es menos na que la topolog a usual, puesto que si A es abierto de la topolog a conita, A es complementario de un subconjunto nito de R2 y, como los conjuntos nitos son cerrados para la topolog a usual, A tambi en es abierto en R2 para la topolog a usual. Denici on 3.1.5 (Base de una topolog a). Sea (X, ) un espacio topol ogico. Diremos que una subfamilia B , es una base de la topolog a si cada abierto A se puede expresar como uni on de conjuntos de B , es decir, existe {Bi }iI B tal que A = iI Bi .

 3.1. ESPACIO TOPOLOGICO

25

Proposici on 3.1.6. Sea X un conjunto y B P (X ) una familia de subconjuntos de X . Entonces B es base de una topolog a sobre X si, y s olo si se cumplen las dos condiciones siguientes: (a) X =
B B

B.

(b) Si B1 , B2 B , para cada x B1 B2 , existe B B tal que x B B1 B2 . Demostraci on. = Si suponemos que B es base de una topolog a en X , como X , est a claro que X = B B B y se cumple (a). Veamos que se cumple (b); si B1 , B2 B , es evidente que B1 , B2 , por tanto B1 B2 , luego esta intersecci on ser a uni on de conjuntos de B , B1 B2 = iI Bi con Bi B para todo i I . Si x B1 B2 , entonces x Bj para alg un j I . Por tanto x Bj B1 B2 . = Supongamos ahora que B es una familia de subconjuntos de X que cumple (a) y (b) y veamos que existe una topolog a determinada por B . Denimos la familia = {A X : A = j J Bj , con Bj B , para todo j J }. Hay que comprobar que se trata de una topolog a. X por (a); pues B . Si {Ai }iI es una familia de conjuntos de , tendremos que cada Ai ser a uni on de conjuntos de B , es decir, Ai = j Ji Bij para cada i I con Bij B para todo j Ji ; como la uni on es asociativa, tendremos que Ai =
iI

(
iI j Ji

Bij ) =
iI,j Ji

Bij

lo que implica que la uni on de conjuntos de es de . ltimo veamos que si A1 , A2 entonces A1 A2 . Tenemos que A1 = iI Bi y Por u A2 = j J Bj con Bi , Bj B para todo i I, j J . Para cada x A1 A2 , x iI Bi y x j J Bj , luego existen io I y jo J tales que x Bio Bjo y por (b), existe Bx B tal que x Bx Bio Bjo A1 A2 y por tanto xA1 A2 Bx = A1 A2 . Ejemplo 3.1.7. (1) Los intervalos abiertos (a, b); a, b R son una base de la topolog a usual en R. (2) La familia {B (x, r) : x X, r > 0} son base de la topolog a asociada a la distancia en un espacio m etrico (X, d). (3) Los rect angulos abiertos y de lados paralelos a los ejes, son una base de la topolog a eucl dea 2 en R . (4) Si consideramos (X, D ) espacio topol ogico con la topolog a discreta, la familia B = {{x} : x X }, es una base de dicha topolog a.

26

CAPITULO 3. ESPACIOS TOPOLOGICOS

3.2 Cerrados
Denici on 3.2.1 (Cerrado). Dado un espacio topol ogico (X, ), diremos que un subconjunto c C X es cerrado si su complementario C = X C es abierto. Representaremos la familia de todos los cerrados por C Ejemplo 3.2.2. (1) En un espacio m etrico (X, d), la denici on de cerrado para la m etrica d coincide con la de cerrado para la topolog a d , asociada a la distancia d. nicos cerrados son X y . (2) En un espacio topol ogico con la topolog a indiscreta, los u (3) En un espacio topol ogico con la topolog a discreta, todos los subconjuntos de X son cerrados. (4) En la topolog a conita, (X, cf ), un subconjunto C X es cerrado si y s olo si C = X , o bien C es nito. El hecho de que un conjunto sea cerrado no implica que este conjunto no sea abierto; de hecho, existen conjuntos que son a la vez abiertos y cerrados, por ejemplo el espacio total X en cualquier espacio topol ogico (X, ); o la topolog a discreta del ejemplo anterior, tiene todos sus conjuntos que son a la vez abiertos y cerrados. Tambi en existen, como hemos visto, conjuntos que no son ni abiertos ni cerrados como cualquier intervalos [a, b) en R con la topolog a usual. Los cerrados cumplen una serie de propiedades, que podemos llamar, duales de las propiedades de los abiertos y que, en el caso de espacios m etricos ya hemos visto en [2.4.7]. Teorema 3.2.3. Dado un espacio topol ogico (X, ), la familia de los conjuntos cerrados cumple las siguientes propiedades: (1) X y son cerrados. (2) Si {Ci : i I } es una familia de cerrados en X , entonces iI Ci es un cerrado. (3) Si {Ci : i = 1, 2, . . . , n} es una familia nita de cerrados, entonces n i=1 Ci es un cerrado. Ya hemos visto en el ejemplo [2.4.8(1)] que la uni on arbitraria de cerrados no es, en general, un cerrado.

3.3 Entornos
Otro concepto que ya apareci o en los espacios m etricos, pero que en realidad es topol ogico es el de entorno de un punto.

3.3. ENTORNOS

27

Denici on 3.3.1 (Entorno de un punto). Dado un espacio topol ogico (X, ), diremos que un subconjunto U X es un entorno de un punto x X si existe un abierto A tal que x A U . Al conjunto o familia de todos los entornos de un punto x X lo representaremos por Ux . Ejemplo 3.3.2. (1) Si (X, d) es un espacio m etrico, todo entorno para la m etrica ser a obviamente un entorno para la topolog a asociada a la distancia. El rec proco tambi en es cierto. nico entorno posible de un punto es el espacio total. (2) En un espacio topol ogico trivial el u (3) En un espacio topol ogico discreto U Ux si y s olo si x U . (4) En la topolog a conita, U Ux si y s olo si x U y U c = X U es nito.

Recordemos que, en un espacio m etrico los conjuntos abiertos se pueden caracterizar a partir de la noci on de entorno. En el caso general de los espacios topol ogicos tambi en se pueden caracterizar los conjuntos abiertos de una manera an aloga. Proposici on 3.3.3. En un espacio topol ogico (X, ), un conjunto A es abierto si, y s olo si A es entorno de todos sus puntos. Demostraci on. = Si A es abierto, se tiene, obviamente, que x A A, y por tanto A es un entorno de x, para todo x A. = Rec procamente, si suponemos que A es entorno de todos sus puntos, entonces, para todo x A existe un abierto Ux tal que x Ux A. De esta manera se puede escribir A = xA Ux , que ser a abierto ya que es uni on de abiertos. Proposici on 3.3.4. Dados un espacio topol ogico (X, ) y un punto x X , la familia de entornos Ux verica las siguientes propiedades: (1) Si U Ux , entonces x U . (2) Si U Ux y U V , entonces tambi en V Ux . (3) Si U, V Ux , entonces U V Ux . (4) Si U Ux , existe V Ux tal que x V U y V Uy para todo y V . Demostraci on. (1)Es evidente. (2) Como U Ux , entonces existe A abierto de modo que x A U , pero entonces x A V ; por tanto V Ux . (3) Si U, V Ux existen abiertos A, B , tales que x A U y x B V . Eso implica que x A B U V , y como A B es abierto por ser intersecci on de dos abiertos, tendremos que U V Ux . (4)Como U Ux , existe un abierto A tal que x A U ; basta tomar A = V

28

CAPITULO 3. ESPACIOS TOPOLOGICOS

La familia de todos los entornos habitualmente es muy grande y, con frecuencia, dif cil de representar. Incluso en el caso de R con la topolog a usual, los entornos pueden ser muy complicados. Esto se resuelve trabajando s olo con los intervalos. En el caso de un espacio m etrico este papel lo hacen las bolas y en el caso general introduciremos un concepto que facilitar a el trabajo de forma semejante: Denici on 3.3.5 (Base de entornos). Dado un espacio topol ogico (X, ), un punto x X , y una subfamilia Vx Ux de la familia de entornos de x; diremos que Vx es una base de entornos de x, o base local de x, en (X, ) si verica Si U Ux es un entorno de x, entonces existe V V (x) tal que V U Ejemplo 3.3.6. (1) En R con la topolog a usual, una base de entornos para cada x R es la familia formada por los intervalos de centro x y radio r > 0 variando r, es decir {(x r, x + r) : r > 0}. (2)En un espacio m etrico (X, d), la familia de bolas Vx = {B (x, r) : r > 0} es obviamente, una base de entornos de x, para cada x X .
1 (3)En un espacio m etrico (X, d), la familia de bolas Vx = {B (x, n ) : n N } es tambi en una 1 base de entornos de x, para cada x X , puesto que para cada r > 0 existe n N tal que n < r.

nica base de entornos posible es la (4) En un espacio topol ogico trivial o indiscreta, (X, I ), la u nicamente por el espacio total X . formada u (5) Si el espacio topol ogico es discreto, (X, D ), {x} es un entorno de x, para todo x X , y por tanto se deduce que la familia formada por este entorno, Vx = {{x}}, es una base de entornos de x.

3.4

Subespacios topol ogicos

Proposici on 3.4.1. Sea (X, ) un espacio topol ogico y H X entonces la familia H = {H A : a } de las intersecciones de los abiertos de (X, ) con H es una topolog a sobre H . Demostraci on. Evidentemente H H puesto que H = H X y = H , luego H . Si tenemos una familia {H Ai : i I, Ai } de elementos de H , entonces la uni on ser a iI (H Ai ) = H (iI Ai ) y como iI Ai por ser abiertos, tendremos que la uni on de elementos de H tambi en es de H . Aplicando la misma propiedad en sentido contrario se prueba que la intersecci on de dos elementos de H tambi en es de H .

 3.4. SUBESPACIOS TOPOLOGICOS

29

Denici on 3.4.2 (Subespacio topol ogico). Si (X, ) es un espacio topol ogico y H X , al espacio topol ogico (H, H ) se le llama subespacio topol ogico de X y a la topolog a H se le llama topolog a inducida por sobre H o topolog a relativa de H con respecto a (X, ). A los abiertos de H les llamamos abiertos relativos o abiertos para la topolog a relativa. Ejemplo 3.4.3. Los subconjuntos de un espacio m etrico con la topolog a asociada a la distancia inducida son subespacios topol ogicos.

Los cerrados en la topolog a inducida tambi en son intersecciones de cerrados del espacio total con el subespacio. Proposici on 3.4.4. Sea (X, ) un espacio topol ogico y sea H X . Un subconjunto de F H , es un cerrado relativo si, y s olo si existe un cerrado C en el espacio total, de forma que F = C H . Demostraci on. = Sea F un cerrado en (H, H ). Eso signica que su complementario en H es un abierto relativo, H F H . Por tanto, existe A tal que H F = A H . Pero entonces C = X A es un cerrado en (X, ), y F =H (H F) = H (A H ) = H A = H (X A) = H C

= Rec procamente, sea F = C H con C cerrado en el espacio total. Su complementario en H se puede expresar as : H F =H (C H ) = H C = H (X C) F H . Tendremos

Como X C , es abierto por ser complementario de un cerrado, H que F es cerrado en (H, H ).

Ejemplo 3.4.5. Es importante darse cuenta de que, en general, los abiertos relativos no tienen por qu e ser abiertos en el espacio total. As , [0, 1) no es abierto en R con la topolog a usual; sin embargo, s es abierto en [0, +) con la topolog a inducida.

Proposici on 3.4.6. Sea (X, ) un espacio topol ogico y (H, H ) un subespacio. Entonces: (a) Todo subconjunto A H abierto en (H, H ) es abierto en (X, ) si, y s olo H es abierto en (X, ). (b) Todo subconjunto C H cerrado en (H, H ) es cerrado en (X, ) si, y s olo H es cerrado en (X, ).

30

CAPITULO 3. ESPACIOS TOPOLOGICOS

Demostraci on. (a) Si todo abierto en H lo es en , como H es abierto en H tambi en es abierto en . Rec procamente, si H es abierto en , como todo abierto A en H es de la forma A = H B , con B abierto en el espacio total, A ser a abierto en el espacio total por ser intersecci on de abiertos. (b)(Ejercicio). Cada una de las dos armaciones de la proposici on anterior son independientes, es decir la primera (a), habla de abiertos pero no dice nada de cerrados y la segunda (b) habla de cerrados pero no de abiertos. Observemos los dos ejemplos siguientes. Ejemplo 3.4.7. (1) Consideremos R con la topolog a usual y el subespacio formado por los racionales Q. Los abiertos en Q para la topolog a inducida ser an intersecciones de abiertos de R con Q. Entonces el conjunto {x Q : 0 < x < 1} es abierto en Q pero no lo es en R. (2) Sea A = {(x, y ) R2 : xy > 1} que es abierto en (R2 , d2 ) y, por tanto, todo abierto de (A, d2 ), lo es en R2 , por ejemplo, B = B ((0, 0), 2) A es abierto, sin embargo A B es un cerrado en (A, d2 ) pero no lo es en (R2 , d2 ). Veamos, para concluir esta secci on, como son los entornos y las bases de entornos en la topolog a inducida. Proposici on 3.4.8. Sea (X, ) un espacio topol ogico, y sea H X . Dado x H , un subconjunto H V H es un entorno relativo de x (V Ux ) si, y s olo si existe U entorno de x en el espacio total, (U Ux ), de forma que V = U H . Demostraci on. = Sea V un entorno relativo de x: existe B H tal que x B V ; entonces existir a A tal que B = A H . Sea U = A V ; evidentemente U Ux , pues x B = A H , x A A V . Adem as: U H = (A V ) H = (A H ) (V H ) = B V = V. = Rec procamente sea U Ux ; tomamos V = U H ; existe A tal que x A U . Entonces x A H U H = V . Proposici on 3.4.9. Sea (X, ) un espacio topol ogico y sea x H X . Si B (x) es una base de entornos de x en (X, ), la familia BH (x) = {B H : B B (x)} es una base de entornos para la topolog a relativa.
H . Sea V U H ; entonces V = U H , con U U . Demostraci on. Evidentemente BH (x) Ux x x Entonces existe B B (x) tal que x B U ; entonces B H U H = V y B H BH (x).

 3.5. ESPACIOS TOPOLOGICOS METRIZABLES

31

3.5 Espacios topol ogicos metrizables

Ya hemos visto en el ejemplo [3.1.2,1)] que cualquier espacio m etrico (X, d) tiene asociada una topolog a que llamamos d , a partir de la denici on [2.3.3] y el teorema [2.3.6]. Nos podemos preguntar si todo espacio topol ogico procede de una m etrica. Denici on 3.5.1 (Espacio metrizable). Diremos que un espacio topol ogico (X, ) es metrizable si existe una distancia d denida sobre X , tal que coincide con d . Ejemplo 3.5.2. (1) La topolog a discreta sobre cualquier conjunto X , es metrizable y la distancia asociada es la distancia discreta o trivial (2) No todo espacio topol ogico es metrizable. Por ejemplo, si X es un conjunto que contiene m as de un punto y lo consideramos dotado de la topolog a indiscreta (X, I ), no es un espacio nicos cerrados para esta topolog metrizable, puesto que los u a son y X , pero sabemos que en un espacio m etrico, los conjuntos nitos son cerrados, con lo cual deber an existir m as cerrados.

Sigue teniendo, en el presente curso, un gran inter es estudiar los espacios cuya topolog a es metrizable, es decir, los espacios m etricos. Vamos a recordar como se concretan en los espacios m etricos, los conceptos estudiados hasta ahora en el presente cap tulo. Base de la topolog a.- Tal y como hemos denido los abiertos [2.3.3] en un espacio m etrico (X, d), el conjunto {B (x, r) : x X, r > 0} de las bolas abiertas es una base de la topolog a d asociada a la distancia. Entornos.- Lo mismo ocurre con los entornos, ya los denimos en [2.3.8]. Cerrados.- Tambi en hemos denido y caracterizado los cerrados de un espacio m etrico en el cap tulo anterior [2.4.7]. Base de entornos.- Hemos visto en el ejemplo [3.3.6 2)] que para un punto x X , una base de entornos es el conjunto {B (x, r) : r > 0} de todas las bolas abiertas con centro en dicho punto. 1 Tambi en hemos visto que en el ejemplo [3.3.6 3)] que el conjunto {B (x, n ) : n N } es tambi en una base de entornos. Tambi en hemos estudiado en el cap tulo anterior los subespacios m etricos. Veamos que son los subespacios topol ogicos asociados a la m etrica. Proposici on 3.5.3. Sea un espacio m etrico (X, d) y sea un subconjunto H X . Entonces la topolog a asociada a la m etrica inducida sobre H coincide con la topolog a inducida por la topolog a m etrica en X . Es decir: d \H = dH

32

CAPITULO 3. ESPACIOS TOPOLOGICOS

Demostraci on. Sea A d \H , entonces existe un A d tal que A = A H . Veamos que A dH . Para cualquier x A A existe un r > 0 tal que Bd (x, r) A, entonces Bd (x, r) H A , pero ya hemos visto que Bd (x, r) H = BdH (x, r). Por tanto, A dH . Sea ahora A dH , para cualquier x A existe un r > 0 tal que BdH (x, r) A . Como antes, BdH (x, r) = Bd (x, r) H . Si tomamos A = xA Bd (x, r) tendremos A A H = (xA Bd (x, r)) H = xA (Bd (x, r) H ) = xA BdH (x, r) A Entonces, A = A H y por tanto, A d \H . Hemos visto que no todo espacio topol ogico es metrizable. Cabe entonces hacerse la siguiente pregunta: Existen diferencias topol ogicas entre un espacio topol ogico que sea metrizable y otro que no lo sea? La respuesta es que s , y existe una propiedad fundamental que se verica en los espacios metrizables, pero que no es cierta, en general, en un espacio topol ogico arbitrario. Denici on 3.5.4 (Espacio de Hausdorff o T2 ). Diremos un espacio topol ogico (X, ) es un espacio de Hausdorff o T2 o separado, si para todo par de puntos x, y X distintos, existen entornos, Ux Ux , y Vy Uy , tales que Ux Vy = . Proposici on 3.5.5. Un espacio topol ogico (X, ) es de Hausdorff si, y s olo si para todo par de puntos distintos x, y X , existen abiertos A, B X , tales que x A, y B y A B = . Demostraci on. Es consecuencia directa de la denici on anterior y la de entorno. Ejemplo 3.5.6. (1) Todo espacio m etrico es de Hausdorff. (2) No todo espacio topol ogico es T2 . La recta real, con la topolog a conita no es un espacio de Hausdorff. Vamos a comparar las topolog as m etricas. En realidad estudiaremos cuando dos m etricas sobre un mismo espacio X generan la misma topolog a, que es lo realmente interesante. Denici on 3.5.7 (M etricas equivalentes). Diremos que dos m etricas d y d sobre un mismo conjunto X son equivalentes si dan lugar a la misma topolog a, es decir, si d = d . Proposici on 3.5.8. Sean d y d dos distancias denidas sobre un conjunto X . Entonces d y d son equivalentes si, y s olo si para todo x X y para todo r > 0 existe > 0 tal que Bd (x, ) Bd (x, r) y existe > 0 tal que Bd (x, ) Bd (x, r)

 3.5. ESPACIOS TOPOLOGICOS METRIZABLES

33

Demostraci on. = Supongamos que d y d son equivalentes. Dados x X y r > 0, Bd (x, r) es un abierto de d , y por tanto de d ; por eso existe > 0 tal que Bd (x, ) Bd (x, r). An alogamente se demuestra la segunda armaci on. = Rec procamente, si suponemos que se cumplen las dos armaciones veamos que d y d son equivalentes. Sea A un abierto de d y sea x A. Entonces existe r > 0 tal que Bd (x, r) A. Aplicando la segunda propiedad, existir a > 0 tal que Bd (x, ) Bd (x, r), y entonces A es un entorno de x para d y es, por tanto, abierto en esta topolog a. De forma an aloga se demuestra que todo abierto de d lo es tambi en de d . Corolario 3.5.9. Dos distancias d y d sobre un conjunto X son equivalentes si existen constantes m, M > 0 tales que para todo x, y X md(x, y ) d (x, y ) M d(x, y )
r Demostraci on. Sean x X y r > 0. Entonces tomando = M , se tiene que d(x, y ) implica que d (x, y ) M d(x, y ) M = r, con lo que Bd (x; ) Bd (x, r). De forma an aloga, tomando = mr se tiene que Bd (x, ) Bd (x, r).

Ejemplo 3.5.10. (1) El hecho de que dos m etricas sean equivalentes, signica que tienen los mismos abiertos, pero no necesariamente las mismas bolas; por ejemplo en Rn las tres m etricas d1 , d2 y d son equivalentes (Ejercicio) y sin embargo, como ya hemos visto, no tienen las mismas bolas. (2) La m etrica eucl dea y la m etrica discreta sobre R2 no son equivalentes.