Captulo 4

Lenguaje bsico de la topologa

4.1. Conjuntos abiertos

Denicin 31 (punto interior). Sea X un subconjunto de un espacio mtrico M. Un punto a X se dice que es un punto interior de X si existe una bola abierta de centro a contenida en X. Es decir, si existe r > 0 tal que d(x, a) < r x X. Denicin 32 (interior de un conjunto). Sea X un subconjunto de un espacio mtrico M. Se llama interior de X al conjunto de todos los puntos interiores de X, el cual denotaremos por int(X). Todo punto interior de un conjunto X pertenece a X (int(X) X), decir que un elemento de X no es interior a X signica que toda bola abierta centrada en l, contiene puntos del complemento de X.

Figura 4.1: a pertenece a int(X) y b pertenece a X. Denicin 33 (frontera). Sea X un subconjunto de un espacio mtrico M. La frontera de X en M es el conjunto de los puntos b M tales que toda bola abierta de centro b contiene al menos un punto de X y un punto del complemento M \ X. Se denotar por X. 51

52

CAPTULO 4. LENGUAJE BSICO DE LA TOPOLOGA

Ejemplo 43. En R el interior del conjunto X = [0, 1) es el intervalo abierto (0, 1) y su frontera contiene slo los puntos 0 y 1. En efecto, dado un elemento a (0, 1), tomamos como radio el mnimo de las distancias de a a cada extremo del intervalo, r = m n{|a 0| , |a 1|} = m n{a, 1 a}, entonces, (a r, a + r) [0, 1), luego a int[0, 1). Por otra parte, 0 [0, 1) ya que 0 pertenece al conjunto y toda bola de centro 0 contiene nmeros reales negativos y por tanto no pertenecientes a [0, 1). Del mismo modo, 1 [0, 1) ya que 1 / [0, 1) y toda bola centrada en 1 contiene nmeros reales positivos menores que 1. No es difcil vericar que un nmero negativo o mayor que 1 no es punto frontera de [0, 1). Ejemplo 44. Sea Q el conjunto de los nmeros racionales. El interior de Q en R es vaco pues es conocido que todo intervalo abierto contiene tanto racionales como irracionales. Utilizando esa misma premisa, la frontera de Q en R es toda la recta real. En el siguiente ejemplo veremos que las nociones de interior y fronteras son relativas al espacio mtrico en el que se considere que el conjunto X est inmerso. Ejemplo 45. Sea M = [0, 1) (3, 4) con la mtrica inducida por la mtrica usual en R. Siendo X = [0, 1) (compare con el ejemplo 43) se tiene que el interior del conjunto X en M es todo el conjunto X = [0, 1) mientras que la frontera de X en M es vaca. Esto se debe a que las bolas del subespacio M son intervalos abiertos en R intersectados con M. Sea X un subconjunto de un espacio mtrico M, para un punto cualquiera p M, existen tres posibilidades excluyentes: o p es centro de una bola contenida en X (p int(X)), o existe una bola de centro p contenida en M \ X (p int(M \ X)) o bien toda bola de centro p contiene tanto puntos de X como puntos de M \ X (p (X)). En consecuencia, cada conjunto X de M determina una descomposicin del espacio como una unin de tres subconjuntos dos a dos disjuntos:

M = int(X) X int(M \ X).

Denicin 34 (conjunto abierto). Un subconjunto A de un espacio mtrico M se llama conjunto abierto en M si todos sus puntos son interiores, es decir, si int(A) = A. De acuerdo con sta denicin, para probar que un conjunto A de M es abierto, se debe probar que para cada a A existe un radio ra tal que B(a; ra ) A. Proposicin 4.1. Toda bola abierta de un espacio mtrico M es un conjunto abierto.

4.1. CONJUNTOS ABIERTOS

53

Prueba: Sea M un espacio mtrico, veamos que una bola B(a; r) de centro a M y radio r es un conjunto abierto. En efecto, dado x un elemento arbitrario de la bola, d(a, x) < r, entonces tomamos 0 < s r d(a, x); con este radio, B(x; s) B(a; r), ya que si y B(x; s) entonces d(x, y) < s y por tanto, d(a, y) d(a, x) + d(x, y) < d(a, x) + s r

Figura 4.2: Toda bola abierta es un conjunto abierto.

Corolario 4.2. Para todo conjunto X de M, int(X) es un conjunto abierto. Prueba: Ejercicio.

Ejemplo 46. Observemos que el conjunto vaco , es un conjunto abierto ya que negar ese hecho signica encontrar un punto del conjunto que no sea punto interior; como eso no es posible, se concluye que es abierto. As mismo, todo espacio mtrico es obviamente abierto en s mismo. Ejemplo 47. Los intervalos abiertos de R son conjuntos abiertos. Un interb valo abierto acotado (a, b) es abierto por ser una bola abierta de centro a+ 2 ba y radio 2 . Por otra parte, si c es un elemento de (a, +) y r = c a, entonces el intervalo (c r, c + r) es una bola de centro c contenida en (a, +), as (a, +) es abierto. De forma similar, se prueba que (, b) es abierto.

Proposicin 4.3. Sea U la coleccin de los subconjuntos abiertos de un espacio mtrico M. Entonces: (1) El espacio M y son abiertos: M U y U . (2) La interseccin nita de abiertos es abierto: Si A1 , . . . , An U , entonces A1 An U . (3) La unin de una familia arbitraria de conjuntos abiertos es abierta: Si A U para todo en algn conjunto de ndices , entonces

A U .

54

CAPTULO 4. LENGUAJE BSICO DE LA TOPOLOGA

Prueba: (1) Ya esto se observ en el ejemplo 46. Para probar (2) supongamos que a A1 An , siendo A1 , . . . , An abiertos, existen r1 > 0, . . . , rn > 0 tales que B(a; r1 ) A1 , . . . , B(a; rn ) An . Sea r = m n{r1 , . . . , rn }, entonces B(a; r) B(a; ri ) Ai para todo i = 1, . . . , n y en consecuencia, B(a; r) A1 An . Luego, A1 An es abierto. (3) Sea a A , entonces existe un tal que a A , como este conjunto es abierto existe un radio r tal que B(a : r) A . Luego, B(a; r) A . Corolario 4.4. Un subconjunto A de un espacio mtrico M es abierto si, y slo si, es una unin de bolas abiertas. Prueba: (slo si) Si A es abierto, para cada a A existe ra > 0 tal que B(a; ra ) A entonces, A = aA {a} aA B(a; ra ) A por lo que A es una unin de bolas abiertas. (si) Es consecuencia directa de la parte (3) del teorema 4.3 y de la proposicin 4.1. Ejemplo 48. Una interseccin innita de conjuntos abiertos puede no ser abierto. Si un punto a de un espacio mtrico no es aislado, el conjunto unitario {a} no es un conjunto abierto y se puede expresar mediante: {a} = 1 nN B(a; n ); en efecto, es claro que a pertenece a todas las bolas de centro a, si b = a, existe n N tal que d(a, b) < 1/n as b / B(a; 1/n), por lo tanto el nico punto de la interseccin es a. Ejemplo 49. Abiertos de un subespacio. Sea M un espacio mtrico y X M un subespacio con la mtrica inducida por M, entonces Los conjuntos abiertos de un subespacio mtrico X son intersecciones A X de un conjunto abierto A en M con el subespacio X. Ya hemos visto que las bolas de un subespacio se expresan como la interseccin de una bola en M del mismo centro y del mismo radio con el subespacio. Por el corolario 4.4 un abierto A en X es una unin de bolas de X. Luego, A X es abierto (en X) si y slo si, A = L BX, = L (B X) = ( L B ) X = A X, donde A = L B es abierto en M. En particular, si X es abierto en M, los abiertos del subespacio X son los conjuntos abiertos en M que estn contenidos en X. Cuando X no es abierto en M entonces, evidentemente, todo abierto de M que est contenido en X tambin es abierto en X, pero existen subconjuntos A X que son abiertos en X pero no en M (el mismo X sera un ejemplo de ello). Por ejemplo, para 0 < r < b a, el intervalo [a, a + r) es un conjunto abierto del subespacio [a, b] de R, pero no es abierto en R. Ejemplo 50. El conjunto de las funciones acotadas y discontinuas en abierto en B (M; N). Recordemos el ejemplo 21 (captulo 2, pgina 29). Probaremos primero que dado a M, el conjunto Da , de todas las funciones acotadas f : M

4.2. CONJUNTOS ABIERTOS Y CONTINUIDAD

55

N que son discontinuas en a, es un conjunto abierto en B (M; N). Para esto, tomamos un elementos f Da . Entonces existe > 0 que satisface lo siguiente: para cualquier > 0, existe un elemento x M con d(x , a) < pero d(f(x ), f(a)) 3 . Armamos que si una funcin acotada g B (M; N) est sucientemente cerca de f, d(f, g) < , entonces g Da . Utilizando la denicin de distancia en este espacio, se tiene, en estas condiciones, que
3 d(f(x ), f(a)) d(f(x ), g(x )) + d(g(x ), g(a)) + d(g(a), f(a))

< + d(g(x ), g(a)) +

luego, d(g(x ), g(a)) > . Resumiendo: existe un > 0 tal que para cualquier > 0, existe x M tal que d(x , a) < pero, d(g(x ), g(a)) . As, g Da . Si denotamos por D el conjunto de todas las funciones acotadas y discontinuas f : M N, tenemos que D = aM Da . En consecuencia, D es abierto en B (M; N). Denicin 35 (entorno o vecindad). Un conjunto V se dice que es un entorno o vecindad de un punto p si p int(V ). A partir de esta denicin podemos decir que V es una vecindad de a si, y slo si, V contiene un abierto que a su vez contiene a a. Si V es una vecindad de a y W V , entonces W es tambin una vecindad de a. La interseccin nita de vecindades de A es tambin una vecindad de A.

4.2.

Conjuntos abiertos y continuidad

De la denicin de continuidad, se puede armar lo siguiente: para que una funcin f : M N sea continua en el punto a M es necesario y suciente que, para cada vecindad V de f(a) en N, exista una vecindad U de a en M tal que f(U) V . La nocin de conjunto abierto en la Topologa tiene una importancia esencial, en buena medida debido al siguiente resultado: Proposicin 4.5. Sean M, N espacios mtricos. Para que una funcin f : M N sea continua, es necesario y suciente que la imagen inversa f1 (A ) de cualquier conjunto abierto A de M, sea un conjunto abierto de M. Prueba: (necesidad) Supongamos que f es continua, tomemos A N abierto y probemos que f1 (A ) es abierto en M. De hecho, para cada a f1 (A ), tenemos que f(a) A . Por la denicin de conjunto abierto, existe > 0 tal que B(f(a); ) A . Siendo f continua en a, a este > 0 le corresponde un > 0 tal que f(B(a; )) B(f(a); ) A . Por tanto, B(a; ) f1 (A ). Luego, f1 (A ) es abierto. (suciencia) Supongamos ahora que la imagen inversa mediante f de cada conjunto abierto de N es un abierto en M. Dado a M mostremos que f es

56

CAPTULO 4. LENGUAJE BSICO DE LA TOPOLOGA

Figura 4.3: Nocin de continuidad en trminos de conjuntos abiertos. continua en a. En efecto, dado > 0, la bola A = B(f(a); ) es un conjunto abierto en N, que contiene a f(a). Luego, su imagen inversa f1 (A ) es un abierto en M que contiene a a. En consecuencia, existe un > 0 para el cual B(a; ) A, es decir, f(B(a; )) B(f(a); ). Corolario 4.6. El producto cartesiano A1 An de conjuntos abiertos Ai Mi es un subconjunto abierto de M = M1 Mn . Prueba: Vimos en el ejemplo 30 que cada proyeccin i : M Mi 1 es continua (con i = 1, . . . , n), por tanto, para cada i el conjunto i (Ai ) es 1 1 abierto en M. De esta forma, A1 An = 1 (A1 ) n (An ) es abierto en M por ser una interseccin nita de conjuntos abiertos. Corolario 4.7. Sean f1 , . . . , fn : M R funciones continuas a valores reales. El conjunto A = {x M : f1 (x) > 0 fn (x) > 0} es abierto en M. Prueba: Una forma de probar este corolario es la siguiente: sea F : M Rn , denida por F(x) = (f1 (x), . . . , fn (x)) entonces A = F1 (A ) donde A = (0, +) (0, +) el cual es abierto como producto nito de intervalos abiertos en R, as su imagen inversa es un abierto en M. Otra forma de enunciar el corolario anterior es decir que si las funciones continuas f1 , . . . , fn son positivas en el punto a, existe una bola abierta B(a; r) tal que f1 (x) > 0, . . . , fn (x) > 0 para todo x B(a; r). Corolario 4.8. Sean f, g : M N continuas. El conjunto A = {x M : f(x) = g(x)} es abierto en M. Prueba: Deniendo la funcin : M R por (x) = d(f(x), g(x)), tenemos que es continua ya que d, f y g lo son. Entonces

A = {x M : (x) > 0},

por el corolario anterior, A es abierto en M.

4.3. ESPACIOS TOPOLGICOS

57

Ejemplo 51. La imagen f(A) de un conjunto abierto A M mediante una funcin continua f : M N puede no ser un conjunto abierto en N. Por ejemplo, considerando la funcin f : R R denida por f(x) = x2 , para el abierto A = (a, a) tenemos que f(A) = [0, a2 ), que no es un conjunto abierto en R. Denicin 36 (funcin abierta). Una funcin f : M N se llama abierta cuando para cada subconjunto abierto A de M, su imagen f(A) es un conjunto abierto en N. Ejemplo 52. Vimos en el ejemplo 51 que una funcin continua no necesariamente es abierta. Tampoco una funcin abierta necesita ser continua. De hecho, por la proposicin 4.5, una biyeccin f : M N es continua si, y slo si, su inversa f1 : N N es abierta. Si consideramos una biyeccin f : M N continua que no sea un homeomorsmo (ver: ejemplo 34, ejemplo 36), entonces su inversa f1 : M N no es continua pero es abierta. As mismo, si N es un espacio discreto toda aplicacin f : M N es abierta (ya que todo subconjunto de N es abierto). Mas no toda funcin f : M N es continua. Si h es un homeomorsmo, tanto h como h1 son abiertas e inducen una biyeccin entre la coleccin de abiertos de los espacios homeomorfos. En consecuencia, dos mtricas d1 , d2 son equivalentes si los espacios (M, d1 ) y (M, d2 ) poseen los mismos abiertos. Proposicin 4.9. Un subconjunto A de M N es abierto si, y slo si, es unin de rectngulos de la forma U V , donde U M y V N son abiertos (en sus espacios). Prueba: Por el corolario 4.6 cada rectngulo U V es abierto en M N, as A = (U V ) es abierto. Recprocamente, si se considera en M N la mtrica del mximo en M N, cada bola es el producto de una bola abierta en M por una bola abierta en N. Entonces, para cada elemento a en A, existen bolas abiertas Ua de M y Va de N tales que {a} Ua Va A. Luego, A= {a} Ua Va A
a A a A

y as, A =

aA Ua

Va que era lo que se quera mostrar.

4.3.

Espacios topolgicos

En esta seccin se hace una abstraccin del concepto de espacio mtrico mediante la formulacin del concepto de topologa para un espacio topolgico. Estudiaremos varios de los conceptos establecidos para espacios mtricos en

58

CAPTULO 4. LENGUAJE BSICO DE LA TOPOLOGA

el contexto ms general de espacio topolgico, muy especialmente el concepto de continuidad de una funcin. Observando las propiedades que satisface la coleccin de conjuntos abiertos de un espacio mtrico, vistas en la proposicin 4.3, tenemos la siguiente denicin: Denicin 37 (topologa). Una topologa sobre un conjunto X es una coleccin de subconjuntos de X que satisfacen las siguientes propiedades: (1) y X pertenecen a

. ,
se tiene que la unin

(2) Para cualquier subcoleccin {U }L de L U pertenece a .

(3) Para cualquier subcoleccin nita A1 , . . . , An de elementos de interseccin A1 An pertenece a .

la

Denicin 38 (espacio topolgico). Un espacio topolgico es un par ordenado (X, ) donde X es un conjunto y una topologa sobre X. Un elemento de X ser llamado conjunto abierto si, y slo si, pertenece a . Ejemplo 53. Sea X el conjunto de tres elementos {a, b, c}. En X se pueden denir varias topologas; entre otras podemos citar: la coleccin que consta slo de y el mismo X esta es la topologa ms simple que se puede denir sobre un conjunto y es llamada topologa trivial . Otra coleccin que satisface las propiedades de una topologa es la coleccin de todos los subconjuntos de X o partes de X, P (X), a sta topologa se le conoce como topologa discreta.

Ejemplo 54. Sea X un conjunto, consideremos la coleccin f de todos los subconjuntos U de X tales que su complemento X \ U es nito o es todo X. Entonces f es una topologa sobre X llamada topologa de los complementos nitos X \ X es nito y X \ es todo X, esto muestra que tanto X como pertenecen a f . Si {U } es una familia en f , entonces

X\

U =

(X \ U ).

el ltimo conjunto es nito pues cada conjunto (X \ U ) es nito. Por otra parte, si U1 , . . . , Un son elementos no vacos de f , entonces
n n

X\
i=1

Ui =
i=1

(X \ Ui )

que por ser unin nita de conjuntos nitos es nito. Lo anterior prueba que f es una topologa.

4.4. BASE DE UNA TOPOLOGA

59

Ejemplo 55. Sea X un conjunto y sea N la coleccin de todos los subconjuntos U de X tales que X \ U es numerable o todo X. Por argumentos similares a los utilizados en el ejemplo 54 anterior, se prueba que N es una topologa sobre X. Denicin 39 (topologa ms na). Sean y dos topologas sobre un conjunto X. Se dice que es ms na que si ( es mas grande que ). Al mismo tiempo, se dice que es mas gruesa que . Si la inclusin es propia diremos que es estrictamente ms na que .

4.4.

Base de una topologa

En general, resulta difcil describir a toda la coleccin de abiertos y consecuentemente, es ms sencillo trabajar con una coleccin ms pequea que genere a toda la topologa. Denicin 40 (base de una topologa). Si X es un conjunto, una base para una topologa sobre X es una coleccin B de subconjuntos de X (llamados elementos bsicos) tales que: (1) Para cada x X, existe un elemento bsico B B tal que x B . (2) Si B1 , B2 B y x pertenece a B1 B2 existe B3 B tal que x B3 B1 B2 . Denicin 41 (topologa generada). Si B es una coleccin de subconjuntos de X que satisface las condiciones de base, se dene la topologa B generada por B de la siguiente forma: un conjunto U se dice abierto en X (esto es un elemento de B ), si para cada x U, existe un elemento bsico B B tal que x B U. Ntese que B B . Es inmediato que y X son elementos de B . Consideremos una familia {U }J de elementos de B . Para x U , existe 0 J tal que x U0 . Como U0 es abierto, existe B B tal que x B U0 U . Luego, U B . Sean U1 , U2 B , veamos que U1 U2 B . Si x U1 U2 , existen B1 , B2 B tales que x B1 U1 y x B2 U2 , entonces existe B3 en B tal que x B3 B1 B2 U1 U2 , as U1 U2 B . Por el proceso de induccin matemtica se obtiene que si U1 , U2 , . . . , Un B , entonces U1 Un B . Lema 4.10. Sea X un conjunto y B una base para una topologa sobre X. Entonces es la coleccin de todas las uniones de elementos de B .

60

CAPTULO 4. LENGUAJE BSICO DE LA TOPOLOGA

Prueba: Dado que B , toda unin de elementos de B , pertenece a . Recprocamente, si A , para cada a A, existe Ba B tal que a Ba A, luego

A=

{a}
a A a A

Ba A

de esta forma, A = aA Ba , es decir, todo abierto en es unin de conjuntos bsicos de B . El siguiente lema nos permite establecer si una coleccin de conjuntos es base para una topologa dada. Lema 4.11. Sea X un espacio topolgico. Supongamos que C es una coleccin de conjuntos abiertos en X tal que, para cualquier conjunto abierto U de X, y para cada x U, existe un elemento C C tal que x C U. Entonces C es una base de la topologa de X. Prueba: Primero veamos que C es una base. Como X es abierto, para cada x X existe por denicin, un elemento C C tal que x C X. Sean C1 , C2 C y x C1 C2 , como C1 y C2 son abiertos, tambin su interseccin, as existe un C3 C tal que x C3 C1 C2 . Sea la topologa de X y C la topologa generada por C (ver la denicin 41). Por la propiedad de C , para cada abierto U de , si x U, existe C en C tal que x C U, entonces U C . Recprocamente, dado que C , como consecuencia del lema 4.10, se tiene que C . El siguiente lema establece que una topologa es ms na que otra en trminos de sus bases. Lema 4.12. Sean B y B bases para las topologas sobre X, y vamente. Entonces son equivalentes las siguientes proposiciones: (1)

respecti-

es ms na que , ( ).

(2) Para cada x X y cada elemento bsico B de B que contenga a x, existe un elemento bsico B B tal que x B B. Prueba: (1)(2): Sea x X y B B tal que x B, por denicin, B y por hiptesis, , es decir, B es un abierto en la topologa ; por lo tanto, existe un elemento bsico B en B tal que x B B. (2)(1): Consideremos un abierto no vaco U en la topologa , para cada x U existe un elemento bsico B B tal que x B U; por hiptesis, para este B, existe un B B , tal que x B B U. Esto implica que U es un abierto en la topologa . Luego, . Denicin 42 (subbase). Una subbase S para una topologa sobre X es una coleccin de subconjuntos de X, cuya unin es igual a X. La topologa generada por la subbase S se dene como la coleccin S de todas las uniones de intersecciones nitas de elementos de S .

4.5. TOPOLOGA PRODUCTO EN X Y

61

Conviene establecer que la coleccin descrita en la denicin, S , es efectivamente, una topologa; para esto basta vericar, por el lema 4.10, que la coleccin de las intersecciones nitas de elementos de S , BS es una base. Por la denicin de subbase, dado un elemento x X, ste pertenece a algn elemento de S , de modo que se cumple la primera condicin. Sean ahora B1 , B2 dos elementos de BS , entonces

B1 = S1 Sn
la interseccin es otro elemento de BS

B2 = S 1 Sm ;

B1 B2 = S1 Sn S 1 Sm .

luego, BS es una base y

es una topologa.

4.5.

Topologa producto en X Y

Siendo X y Y espacios topolgicos, deniremos una topologa sobre el producto cartesiano X Y y se estudiarn algunas propiedades. Denicin 43 (topologa producto (X Y )). Sean X, Y espacios topolgicos. La topologa producto sobre X Y es la topologa generada por la base B constituida por todos los conjunto de la forma U V , donde U es abierto en X y V es abierto en Y . La coleccin B descrita en la denicin es, efectivamente, una base ya que todo punto pertenece a X Y que es un producto de abiertos y por tanto, un elemento de B . Adems si tomamos dos elementos de B , U1 V1 y U2 V2 , su interseccin es otro elemento de B :

(U1 V1 ) (U2 V2 ) = (U1 U2 ) (V1 V2 )

pues (U1 U2 ) es abierto en X y (V1 V2 ) es abierto en Y . Teorema 4.13. Si B es una base para la topologa de X y C es una base para la topologa de Y , entonces la coleccin

D = {B C : B B y C C }
es una base para la topologa de X Y . Prueba: Tomemos un conjunto abierto W en XY y un punto arbitrario (x, y) de W , entonces existe un elemento bsico, U V , de la topologa producto tal que (x, y) U V W , donde U es abierto en X y V abierto en Y . Como B es base sobre X y C es base sobre Y , existen B B y C C tales que x B U y y C V . De esta forma, (x, y) B C U V W . Por el lema 4.11, se concluye que D es una base para la topologa producto en X Y .

62

CAPTULO 4. LENGUAJE BSICO DE LA TOPOLOGA

Recordemos las proyecciones denidas en el producto cartesiano X Y , 1 : X Y y 2 : X Y , deendas por pi1 (x, y) = x y 2 (x, y) = y respectivamente. 1 Para U abierto en X, 1 (U) = U Y es abierto en X Y (es un elemento 1 bsico). Del mismo modo, 2 (V ) = X V es abierto en X Y . La interseccin de estos dos conjuntos es U V . Teorema 4.14. La coleccin
1 1 S = { 1 (U) : U es abierto en X} {2 (V ) : V es abierto en Y }

es una subbase para la topologa producto sobre X Y .

Figura 4.4: Un elemento de la subbase para la topologa producto en X Y . Prueba: Denotemos por la topologa producto y por S la topologa generada por S . Como ya se observ, cada elemento de S est en , por tanto, tambin las uniones de intersecciones nitas de elementos de S , as S . Por otra parte, cada elemento bsico, U V , para la topologa producto es de la forma 1 1 U V = 1 (U) 2 (V ) S S , y as,

S .
Topologa de subespacio

4.6.

. Si Y es un subconjunto de X, la coleccin

Denicin 44 (topologa relativa). Sea X un espacio topolgico con topologa

Y = {U Y : U }
es una topologa sobre Y , llamada topologa de subespacio topologa relativa, con esta topologa se dice que Y es un subespacio de X. La coleccin Y es, efectivamente, una topologa para Y ya que = Y y Y = X Y ; adems

(U1 Y ) (Un Y ) = (U1 Un ) Y,

4.7. CONJUNTOS CERRADOS

63

(U Y ) =
J J

Y.

Lema 4.15. Si B es una base para la topologa de X, entonces la coleccin

BY = {B Y : B B }
es una base para la topologa de subespacio sobre Y . Prueba: Un abierto en Y es de la forma U Y donde U es abierto en X, para y U Y existe B B tal que y B U, luego y B Y U Y ; por el lema 4.11, BY es una base para la topologa de subespacio sobre Y .

4.7.

Conjuntos cerrados

En esta seccin se discute el concepto de conjunto cerrado tanto en espacios topolgicos como en espacios mtricos. Denicin 45 (punto adherente). Un punto p de un espacio mtrico M se dice que es adherente al subconjunto A si d(p, A) = 0. Si p es adherente a A, signica que existen puntos de A arbitrariamente cerca de p; equivalentemente, dado > 0, existe a A tal que d(a, p) < , o bien, toda bola de centro p intersecta a A y por ende, todo abierto que contenga a p intersecta a A. Es claro que todo punto de un conjunto A est a distancia cero de A, tambin por denicin, todo punto de la frontera de A es punto adherente de A. Denicin 46 (clausura). La clausura o adherencia de un conjunto A de un espacio mtrico M, es el conjunto A formado por todos los puntos adherentes de A. Se tiene que = , M = M y A A para todo conjunto A de M. As mismo, A B A B. Para que un punto x0 en un espacio mtrico M, no sea un punto adherente de un conjunto A, es necesario y suciente que exista una bola abierta de centro x0 que no intersecte a A, es decir, que x0 int(M \ A),recordando que M = int(A) (A) int(M \ A), se concluye que

A = int(A) (A).
Denicin 47 (conjunto cerrado). Sea X un espacio mtrico o topolgico, un conjunto C de X se dice cerrado si su complemento es abierto, Ejemplo 56. Consideremos el espacio M = (, 0) (0, +) con la mtrica inducida por R, entonces el conjunto A = (0, +) es abierto en M ya que

64

CAPTULO 4. LENGUAJE BSICO DE LA TOPOLOGA

es la interseccin del intervalo abierto (0, +) con M; pero tambin es cerrado porque su complemento (en M) es el conjunto (, 0) que tambin es abierto en M. Esto nos muestra que el concepto de conjunto cerrado, no es la negacin de ser abierto. Denicin 48 (clausura en un espacio topolgico). Sea X un espacio topolgico y C X un subconjunto, se dene la clausura, C, de C como la interseccin de todos los conjuntos cerrados de X que contienen a C. La siguiente proposicin expone las propiedades de los conjuntos cerrados semejantes a las propiedades de los conjuntos abiertos. Proposicin 4.16 (Propiedades de los conjuntos cerrados). Sea X un espacio topolgico (o mtrico), entonces: (1) y X son conjuntos cerrados. (2) Si C1 , . . . , Cn son cerrados, entonces
n i=1

Ci es cerrado.

(3) Si {C } es una familia de conjuntos cerrados, entonces la interseccin C es cerrado. Prueba: (1) Dado que tanto X como son abiertos, sus complementos son cerrados. (2) Sean C1 , . . . , Cn conjuntos cerrados en X, entonces sus complementos X \ C1 , . . . , X \ Cn son conjuntos abiertos, luego
n n

X\
i=1

Ci

(X \ Ci )
i=1

es abierto en X.

(3) Dada la familia {C } de conjuntos cerrados, tenemos para cada que (X \ C ) es abierto, luego

X\

(X \ C )

es abierto en X.

Proposicin 4.17. Sean M un espacio mtrico y A un subconjunto de M. Entonces para todo punto p M, se tiene que d(p, A) = d(p, A). Prueba: Primero recordemos que A A por tanto,

{d(p, a) : a A} {d(p, x) : x A}
as, d(p, A) d(p, A). Sean x A y > 0, entonces existe a A tal que d(x, a) < , por lo tanto, d(p, A) d(p, a) d(p, x) + d(x, a) < d(p, A) + como > 0 es arbitrario, d(p, A) d(p, A), lo que completa la prueba.

4.7. CONJUNTOS CERRADOS

65

Proposicin 4.18. Sea X un espacio mtrico o topolgico y A X, entonces,

A = A.
Prueba: Si X es un espacio mtrico, por la proposicin anterior,

p A d(p, A) = d(p, A) = 0 p A.
Si X es un espacio topolgico, ya sabemos que A es una interseccin de cerrados que contienen a A, por la proposicin 4.16, la clausura A es un conjunto cerrado que contiene a A; as, A A. En ambos casos, se concluye que A A, la otra inclusin siempre se tiene. Proposicin 4.19. Sea X un espacio mtrico o topolgico. Un subconjunto C de X es cerrado si, y slo si, C = C. Prueba: En espacios topolgicos es muy directo a partir de la denicin de clausura; si C es cerrado, el mismo C es un conjunto cerrado que contiene a C, por lo tanto, C C y siempre C C. Recprocamente, si C = C, entonces C es interseccin de cerrados y por tanto cerrado. Si X es un espacio mtrico,

/ C, no es punto adherente a C; C = C todo punto p p X \ C, r > 0 tal que B(p; r) C = ; p X \ C, r > 0 tal que B(p; r) X \ C X \ C, es abierto. C es cerrado.

Denicin 49 (conjunto denso). Un conjunto D de un espacio mtrico o topolgico X se dice que es denso en X si D = X. Lema 4.20. Sea D un conjunto denso en un espacio topolgico o mtrico X. Entonces, todo abierto no vaco U de X intersecta a D. Prueba: Si D es denso en un espacio topolgico X, y C es un conjunto cerrado que contiene a D, entonces X = D C por lo que C = X; es decir, el nico cerrado que contiene a D es X. En consecuencia, dado cualquier abierto U no vaco de X, X \ U es cerrado y no es X por tanto, no contiene a D, esto implica que U intersecta a D. Si D es un subconjunto denso en un espacio mtrico X, todo punto de X es adherente a D. Dado cualquier abierto no vaco U en X, y p U existe r > 0 tal que B(p; r) U, como p es adherente a D, la bola abierta B(p; r), y por tanto U, intersectan a D. As como se caracteriz la continuidad de una funcin, mediante la condicin de ser abierta la imagen inversa de cualquier abierto, la siguiente proposicin nos presenta una propiedad similar pero con conjuntos cerrados.

66

CAPTULO 4. LENGUAJE BSICO DE LA TOPOLOGA

Proposicin 4.21. Sean X, Y espacios mtricos o topolgicos. Para que una funcin f : X Y sea continua, es necesario y suciente que la imagen inversa, f1 (C ), de cualquier conjunto cerrado C en Y , sea un subconjunto cerrado de X. Prueba: Este es un resultado inmediato de la proposicin 4.5, la denicin de conjunto cerrado. Sea f : X Y continua y C Y cerrado. Entonces Y \ C es abierto y por la proposicin 4.5,

X \ f1 (C ) = f1 (Y \ C )

es abierto en X

luego, f1 (C) es cerrado. Recprocamente, sea f : X Y una funcin que satisface la hiptesis, si A Y es abierto, Y \ A es cerrado y por tanto,

X \ f1 (A ) = f1 (Y \ A )

es cerrado en X

luego, f1 (A ) es abierto en X. Por la proposicin 4.5, f es continua. Ejemplo 57. Si f : X R es continua, el conjunto {x X : f(x) 0} es cerrado en X ya que no es mas que el conjunto f1 ([0, +)) y el intervalo [0, +) es cerrado en R. Del mismo modo si {f }L es una familia de funciones continuas f : X R, el conjunto

{x X : ( L(, f (x) 0} =
L

1 f ([0, +))

es cerrado en X.

Denicin 50 (espacio de Hausdor). Un espacio topolgico X se dice que es un espacio de Hausdor si para cada par de puntos x1 , x2 del espacio, existen abiertos U1 que contiene a x1 y U2 que contiene a x2 , tales que U1 U2 = . En vista de la proposicin 2.2, todo espacio mtrico es un espacio de Hausdor. Teorema 4.22. Sea X un espacio de Hausdor, entonces todo subconjunto nito es cerrado. Prueba: Es suciente probar que todo conjunto unitario es cerrado. Sea x0 X y x un punto de X distinto de x0 . Como X es un espacio de Hausdor, existen abiertos y disjuntos U0 y U tales que x0 U0 y x U. Entonces el complemento X \ U es un conjunto cerrado que contiene a {x0 } y no contiene a x; de esta forma, x no pertenece a la interseccin de todos los conjuntos cerrados que contienen a {x0 }, es decir, x no pertenece a la clausura de {x0 }. En otras palabras, ningn punto distinto de x0 pertenece a su clausura por lo que {x0 } = {x0 } y por la proposicin 4.19, el conjunto unitario {x0 } es cerrado.

4.7. CONJUNTOS CERRADOS

67

Ejemplo 58. El grco de una funcin continua f : X Y es un subconjunto cerrado de X Y . En efecto, el grco de f se dene por: Gr(f) = {(x, f(x)) X Y : x X}. Denimos la siguiente funcin auxiliar : X Y R por (x, y) = d(f(x), y). Siendo f continua, la funcin es continua ya que la podemos expresar as: = d (f, I), donde I es la identidad en Y y d la distancia en Y . Entonces, Gr(f) = 1 ({0}) y por lo tanto es cerrado. En particular la diagonal es un conjunto cerrado de X X vista como el grco de la identidad de X. La siguiente proposicin relaciona la clausura relativa a un subespacio con la clausura respecto a todo el espacio. Recordemos que si C es cerrado en un subespacio S de X, S \ C es abierto en S, es decir, est en la topologa relativa, as existe U abierto en X tal que S\C = US, entonces, C = (X\U)S, es decir, todo cerrado en el subespacio se expresa como un cerrado en X intersectado con el subespacio. Proposicin 4.23. Sea S un subespacio de un espacio topolgico o mtrico X. Si para A S denotamos por A a la clausura de A respecto al subespacio S y A la clausura de A en X, tenemos que

A = A S.
Prueba: Si X es un espacio mtrico,

A = {p S : d(p, A) = 0} = {p X : d(p, A) = 0} S = A S.
Si X es un espacio topolgico,

A=
C cerrado en S
AC

C=
AF

F cerrado en X

(F S) =

F cerrado en X
AF

F S = A S

Denicin 51 (punto de acumulacin). Un punto p se dice que es un punto de acumulacin del conjunto A si toda vecindad de p intersecta al conjunto A en al menos un punto diferente de p.. El conjunto de todos los puntos del conjunto A se denotar por ac(A). No es difcil vericar que p ac(A) p A \ {p}. Proposicin 4.24. Sea A un subconjunto del espacio X. Entonces,

A = ac(A) A
Prueba: Por denicin, si p est en ac(A), toda vecindad de p intersecta a A por tanto, p A; como siempre A A, se sigue que A ac(a) A. Recprocamente, si p A, tenemos dos casos: p A p / A, en el primer caso, obviamente p A ac(A); en el segundo caso, como p est en la clausura de A, toda vecindad de p intersecta a A, como p / A, dicho entorno intersecta a A en algn punto distinto de p, por tanto, p ac(A) ac(A) A.