You are on page 1of 11

34

Cap tulo 4

Subconjuntos notables de un Espacio Topol ogico


4.1 Adherencia
Denici on 4.1.1 (Punto adherente). Sea (X, ) un espacio topol ogico, y sea S un subconjunto de X . Diremos que x X es un punto adherente de S si todo entorno U de x cumple U S = , es decir, U corta a S (no hay ning un entorno de x totalmente contenido en X S ). El conjunto de puntos adherentes de S se llama la adherencia de S y se representa por S . Observaci on.(1) Tal y como se ha denido la adherencia de un conjunto S , es evidente que S S . (2) Si S1 S2 , entonces S1 S2 . La denici on exige que se compruebe una propiedad para todos los entornos de un punto. Por til disponer de una caracterizaci tanto, ser au on que permita reducir el n umero de comprobaciones. Esta es una de las razones m as importantes de la utilidad del concepto de base de entornos. Proposici on 4.1.2. Sean (X, ) un espacio topol ogico, S X un subconjunto de X , x X , y sea B (x) un base de entornos de x en la topolog a . Entonces x S si, y s olo si V S = para cada V B (x).

Demostraci on. Supongamos que x S , y V B(x). Como B (x) E (x), seg un la denici on de punto adherente, V S = . 35

36

CAPITULO 4. SUBCONJUNTOS NOTABLES DE UN ESPACIO TOPOLOGICO

Si ahora suponemos que todo V B (x) cumple V S = . Como B (x) es base de entornos de x, para todo U E (x) existe un V B (x) tal que V U . Como V S = , y V S U S tenemos que U S = . En particular, si la topolog a est a generada por una m etrica, se pueden utilizar algunas bases de entornos formadas por bolas y obtener los siguientes resultados particulares: Ejemplo 4.1.3. (1) Sea (X, d) un espacio m etrico, y sea S un subconjunto de X . Entonces, x X es un punto olo si B (x, r) S = , para todo r > 0. adherente de S (x S ) si, y s (2) Sea (X, d) un espacio m etrico, y sea S un subconjunto de X . Entonces, x X es un punto 1 1 adherente de S (x S ) si y s olo si para todo n N, la bola de centro x y radio n , B (x, n ), corta a S . Recordemos que estas bolas constituyen una base de entornos de x. La propiedad m as caracter stica de la adherencia de un conjunto S es la de que es el menor cerrado que contiene al conjunto S . Proposici on 4.1.4. Sea (X, ) un espacio topol ogico, y S X un subconjunto, entonces S es un cerrado en (X, ). Demostraci on. Veamos que X S es un abierto comprobando que es un entorno de todos sus puntos. Sea x X S , entonces x no es un punto adherente, por tanto, existe U , entorno de x, tal que U S = . Como U es un entorno de x existe un abierto, A , tal que x A U . Por tanto A S = . Veamos que A X S , con lo que X S ser a abierto. Para todo y A, como A es abierto, ser a un entorno de y que no corta a S , luego y / S . Es decir, A X S . Por tanto X S es un entorno de x. Y esto para todo x que no est e en S , entonces X S es abierto. Proposici on 4.1.5. Sea (X, ) un espacio topol ogico, S X un subconjunto y C X un cerrado tal que S C . Entonces S C . Esto quiere decir que S es el menor cerrado que contiene a S . Demostraci on. Ve amoslo por reducci on al absurdo. Si C es un cerrado con S C . Supongamos que S C , es decir, que existe un punto x S tal que x / C . Entonces, X C es un abierto que contiene al punto x y como que S C , se cumple que (X C ) S = . Por tanto, x no es un punto adherente de S , lo cual es una contradicci on. En particular, la propiedad anterior proporciona una caracterizaci on de los conjuntos cerrados como aquellos que contienen a todos los puntos de su adherencia:

4.1. ADHERENCIA Corolario 4.1.6. Un conjunto C , en un espacio topol ogico, es cerrado si y s olo si C = C . Demostraci on. (Ejercicio)

37

El Corolario anterior es equivalente a decir que un conjunto C es cerrado si y s olo si C C , ya que la otra inclusi on siempre es cierta. Ejemplo 4.1.7. (1) En el espacio topol ogico trivial (X, T ), la adherencia de cualquier conjunto no vac o es el espacio total X . (2) En un espacio topol ogico discreto (X, D ), la adherencia de cualquier conjunto S es el mismo S. l mismo, y la (3) En la topolog a conita (X, cf ), la adherencia de cualquier conjunto nito es e de los conjuntos innitos es el espacio total. (4) En (R, u ), (0, 1) = [0, 1].

4.1.1

Subconjuntos densos

Denici on 4.1.8 (Subonjunto denso). Sea (X, ) un espacio topol ogico, diremos que un subconjunto S X es denso en X si S = X . Podemos caracterizar los subconjuntos de la siguiente forma. Proposici on 4.1.9. Sea (X, ) un espacio topol ogico, y sea S X . Entonces S es denso en (X, ) si, y s olo si todo abierto no vac o, A , cumple que A S = . Demostraci on. Supongamos que S X es denso, es decir, S = X y sea A = un abierto; si x A como x S = X y A es entorno de x, se cumple, por la denici on de adherencia, que A S = . Supongamos ahora que para todo A = abierto, se cumple que A S = . Si suponemos que S = X , entonces X S ser a un abierto no vac o, pero (X S ) S = , en contra de lo supuesto. Por tanto, S = X . Ejemplo 4.1.10. (1) El conjunto de los racionales Q es denso en (R, u ). Destacamos que R contiene, entonces, un subconjunto numerable denso que es Q.

38

CAPITULO 4. SUBCONJUNTOS NOTABLES DE UN ESPACIO TOPOLOGICO

Denici on 4.1.11 (Espacio separable). Diremos que un espacio topol ogico (X, ) es separable si contiene un subconjunto numerable denso. Ejemplo 4.1.12. (R, u ) es separable.

4.1.2

Puntos aislados y puntos de acumulaci on

Denici on 4.1.13 (Punto de acumulaci on). Sea (X, ) un espacio topol ogico, y sea S X . Diremos que un punto x X es un punto de acumulaci on de S en (X, ), si cualquier entorno U de x contiene un punto de S distinto de x. Es decir, si (U {x}) S = . El conjunto de todos los puntos de acumulaci on de S se llama la acumulaci on o conjunto derivado de S , y se representa por S . Denici on 4.1.14 (Punto aislado). Sea (X, ) un espacio topol ogico, y sea S X . Diremos que un punto x S X es un punto aislado de S en (X, ), si existe un entorno U de x tal que U S = {x}. Proposici on 4.1.15. Sea (X, ) un espacio topol ogico y S X . Entonces: a) El conjunto de puntos aislados de S es S b) S = S S S.

Demostraci on. (Ejercicio) Ejemplo 4.1.16. (1) En un espacio m etrico (X, d) las deniciones anteriores se concretan diciendo que un punto x X es punto de acumulaci on de S X si para todo r > 0 (B (x, r) {x}) S = y que un punto x S X es punto aislado de S si existe r > 0 tal que B (x, r) S = {x}. (2) En R con la topolog a usual, todo natural n N es un punto adherente a N pero no es de acumulaci on, es decir, los naturales son puntos aislados en (R, u ). En efecto (B (n, 1 {n}) 2) N = .
1 (3) Si consideramos el conjunto A = { n : n N} en (R, u ), entonces A = {0} y todos los elementos de A son puntos aislados.

4.2. INTERIOR Y FRONTERA

39

4.2 Interior y frontera


Denici on 4.2.1 (Punto interior). Sea (X, ) un espacio topol ogico, y sea S X un subconjunto. Diremos que x S es un punto interior de S si S es un entorno de x. El conjunto de los puntos interiores de S se denomina el interior de S y se representa por S .

Diremos que un punto x / S es exterior a S si x (X complementario de S . Observaci on.(1) Si S X con (X, ) espacio topol ogico, S S . (2) Si S1 S2 , entonces

S ), es decir x es del interior del

40

CAPITULO 4. SUBCONJUNTOS NOTABLES DE UN ESPACIO TOPOLOGICO

Ejemplo 4.2.2. (1) En R con la topolog a usual, [0, 1) = (0, 1).

(2) En R con la topolog a usual Q= y el exterior de Q tambi en es vac o. (3) Consideremos un espacio topol ogico con la topolog a trivial y sea S un subconjunto de dicho espacio, que no sea el total. Entonces S = . Proposici on 4.2.3. Sea (X, ) un espacio topol ogico, y sea S X un subconjunto. Un punto x S es interior de S si, y s olo si x / (X S ). Esto es lo mismo que decir, S= X Demostraci on. - Ejercicio Una importante caracter stica del interior de un conjunto es que se trata del mayor abierto contenido en dicho conjunto. Proposici on 4.2.4. Sea (X, ) un espacio topol ogico y S X un subconjunto. Entonces se cumplen: a) S es abierto. b) Si A S y A es abierto, entonces A S Esto quiere decir que S es el mayor abierto contenido en S . Demostraci on. (a) Por la proposici on anterior sabemos que S es el complementario de un cerrado, por tanto es abierto. (b) Sea A un abierto no vac o tal que A S , y sea x un punto de A. Como A es abierto, es un entorno de x y por tanto tambi en lo es S . Por tanto, x es un punto interior de S , luego A S . En particular, esta proposici on proporciona una caracterizaci on de los conjuntos abiertos como aquellos en los que todos sus puntos son interiores: Corolario 4.2.5. Un subconjunto S de un espacio topol ogico (X, ) es abierto si y s olo si S =S . Se puede caracterizar el interior en t erminos de bases de entornos.

(X

S)

4.2. INTERIOR Y FRONTERA

41

Proposici on 4.2.6. Sea (X, ) un espacio topol ogico, S X y x S . Si B (x) una base de entornos de x en la topolog a . Entonces x S si, y s olo si existe V B (x) tal que V S . Demostraci on. (Ejercicio) De nuevo nos interesa concretar estas caracterizaciones en el caso de los espacios m etricos. Ejemplo 4.2.7. (1) Sea (X, d) un espacio m etrico y S X ; x S si, y s olo si existe r > 0 tal que B (x, r) S .
1 (2) Sea (X, d) un espacio m etrico y S X ; x S si, y s olo si existe n N tal que B (x, n ) S.

Denici on 4.2.8 (Frontera). Sea (X, ) un espacio topol ogico, y sea S X un subconjunto. Diremos que x X es un punto frontera de S si todo entorno U de x cumple que U S = y U (X S ) = . El conjunto de puntos frontera de S se denomina la frontera de S , y se representa por f r(S ). Proposici on 4.2.9. Sea (X, ) un espacio topol ogico, y sea S X un subconjunto. Entonces, f r(S ) = S (X S ) Demostraci on. (Ejercicio) Corolario 4.2.10. Si S es un subconjunto de un espacio topol ogico, entonces f r(S ) es cerrado. Ejemplo 4.2.11. (1) La frontera de (0, 1) en (R, u ) es el conjunto de dos elementos {0, 1}. (2) En (R, u ), f r(Q) = Q Proposici on 4.2.12. Sea (X, ) un espacio topol ogico, sea S X un subconjunto y B (x) una base de entornos de un punto x X en la topolog a . Entonces x f r(S ) si, y s olo si para todo V B (x) se cumple que V S = y V (X S ) = . Demostraci on. (Ejercicio) Ejemplo 4.2.13. (1) Sea (X, d) un espacio m etrico y S X un subconjunto, un punto x f r(S ) si, y s olo si para todo r > 0, B (x, r) S = y B (x, r) (X S ) = . (2) Sea (X, d) un espacio m etrico y S X un subconjunto, un punto x f r(S ) si, y s olo si para 1 1 todo n N, B (x, n ) S = y B (x, n ) (X S ) = .

42

CAPITULO 4. SUBCONJUNTOS NOTABLES DE UN ESPACIO TOPOLOGICO

Proposici on 4.2.14. Sea (X, ) un espacio topol ogico, y sea S X un subconjunto. Los puntos adherentes son, o bien puntos interiores, o bien puntos frontera. Es decir: f r(S ) = S

S S . Entonces

Demostraci on. Hemos visto en la proposici on [4.2.9, pag.41] que f r(S ) = S X por la proposici on [4.2.3, pag.40] tenemos SX S = S (X S) = S S

4.3 Sucesiones
Denici on 4.3.1 (Sucesi on convergente). Sea (X, ) un espacio topol ogico, y sea (xn ) n=1 una sucesi on de puntos de X . Diremos que (xn )n=1 converge a x en (X, ) (xn x o limn xn = x) si para todo entorno U de x existe un n0 , de modo que si n > n0 , entonces xn U . A x se le llama l mite de (xn ) n=1 . Ejemplo 4.3.2. (1) La convergencia de una sucesi on depende de la topolog a. Sea un conjunto X y (xn ) n=1 con xn = x X para todo n, la sucesi on constante x. Entonces se dan las dos situaciones siguientes: a) (xn ) a trivial (X, T ). n=1 converge a cualquier punto y X en la topolog b) {xn } olo converge a x en la topolog a discreta(X, D ). n=1 s Proposici on 4.3.3. Sea (X, ) un espacio topol ogico, sea (xn ) on en X , y B (x) n=1 una sucesi una base de entornos de x en la topolog a . Entonces (xn ) converge a x si y s olo si para todo n=1 V B (x) existe un no , tal que si n > no , entonces xn V . Demostraci on. Si (xn ) on se cumple para todos los V n=1 converge a x, como B (x) E (x), la condici B (x). Si ahora suponemos B (x) es una base de entornos de x y que para todo V B (x), existe no tal que n > no implica que xn V . Si U E (x) es un entorno de x, como B (x) es base de entornos, existir a V B (x) tal que V U . Entonces para este V existir a un no de manera que si n > no , se tiene que xn V U . Por tanto, el mismo no sirve ya que para todo n > no , xn U .

4.3. SUCESIONES Ejemplo 4.3.4.

43

(1) La denici on de convergencia en R, con la topolog a usual asociada al valor absoluto, coincide con la conocida de sucesi on convergente. (2) En el caso de los espacios m etricos, en general, la convergencia de una sucesi on a un punto obtenemos la siguiente formulaci on: Sea (X, d) un espacio m etrico, y sea (xn ) on en X . Entonces (xn ) n=1 una sucesi n=1 converge a x si y s olo si para todo > 0 existe no tal que n > no = d(xn , x) < (3) La convergencia se puede reducir, en el caso de los espacios, el estudio de la convergencia de una sucesi on de n umeros reales: Sea (X, d) un espacio m etrico, y (xn ) on en X . Entonces, (xn ) n=1 una sucesi n=1 converge a x si y s olo si la sucesi on de las distancias (d(xn , x))n=1 converge a 0 en (R, | |). Proposici on 4.3.5. Sea (X, ) un espacio topol ogico de Hausdorff, y (xn ) on en n=1 una sucesi X . Entonces, si (xn )n=1 converge, su l mite e u nico. Demostraci on. Supongamos que (xn ) n=1 es convergente en X a dos puntos distintos x = y . Como X es Hausdorff, existen entornos U E (x) y V E (y ) tales que U V = . Por otra parte, como (xn ) n=1 converge a x, par el entorno U de x, existe un no tal que si n > no , entonces xn U . Igualmente, para el entorno V de y , existe un n1 tal que si n > n1 , entonces xn V . As , para todo n > n1 y n > no a la vez, se cumple xn U y xn V , lo que est a en contradicci on con el hecho de que U V = . Proposici on 4.3.6. Sea (X, d) un espacio m etrico, y sea S X . Entonces x S si, y s olo si existe una sucesi on (xn )n=1 S , tal que xn x. Demostraci on. 1 Supongamos que x S . Sabemos que {B (x, n ) : n N} es una base de entornos de x en 1 (X, d), por tanto, seg un hemos visto en una proposici on anterior, B (x, n ) S = . Podemos construir entonces una sucesi on de la siguiente forma:

Si n = 1 tomamos x1 B (x, 1) S . Si n = 2 tomamos x2 B (x, 1 2 ) S.


1 As sucesivamente para cada n tomamos xn B (x, n ) S.

44

CAPITULO 4. SUBCONJUNTOS NOTABLES DE UN ESPACIO TOPOLOGICO

De esta manera obtenemos una sucesi on (xn ) n=1 de puntos de S que converge a x evidentemente. Si existe una sucesi on (xn ) n=1 en S tal que xn x. Entonces para todo U E (x), existe un no tal que n > no implica que xn U , es decir U S = y por tanto x S . La propiedad anterior para los puntos adherentes permite dar dos caracterizaciones m as, una para un conjunto denso, y otra para los puntos frontera. Proposici on 4.3.7. Sea (X, d) un espacio m etrico, y sea S X un subconjunto. Entonces S es denso en X si, y s olo si para todo x X , existe una sucesi on (xn ) n=1 en S tal que xn x. Demostraci on. Simplemente hay que tener en cuenta la denici on de conjunto denso y la proposici on anterior. Proposici on 4.3.8. Sea (X, d) un espacio m etrico, y sea S X . Un punto x X es un punto frontera de S si, y s olo si existe una sucesi on (xn ) S , tales que n=1 en S y otra (yn )n=1 en X xn x e yn x. Demostraci on. De nuevo, s olo hay que tener en cuenta la denici on de punto frontera y la proposici on [4.3.6].