Está en la página 1de 5

Cap tulo 5.

Espacios topol ogicos por dentro


Lecci on 4. Subconjuntos densos
Un subconjunto A que est a por todas partes del espacio (X, G ) merece un nombre especial.

5.35 Denici on Sean (X, G ) un espacio topol ogico y A X . A se llama denso en X si y s olo si A = X . En otras palabras, dada cualquier Vx de cualquier x X se tiene Vx A =. Si el conjunto denso no es muy grande el espacio se llama separable.

5.36 Denici on Sea (X, G ) un espacio topol ogico. Se dice que X es separable si y s olo si existe A X enumerable y denso. 5.37 Ejemplo Cada Rn es separable basta considerar a Qn .

5.38 Proposici on

Si X es 2-contable entonces X es separable.

Demostraci on. Sea B = {B1 , B2 , . . .} una base enumerable. Por cada Bn se toma un xn Bn y se forma el conjunto D = {x1 , x2 , . . .}. D es denso pues dado cualquier abierto U por ser B una base, existe Bi con xi Bi U . El rec proco de la proposici on anterior no es cierto en general como se muestra en el siguiente ejemplo; pero en el caso de los espacios m etricos, si se tiene la equivalencia entre estos dos conceptos.

5.39 Ejemplo (R, cof initos) es un espacio separable ya que N = R; pero ya sabemos que (R, cof initos) no es 2-contable.

5.40 Proposici on 2-contable. Demostraci on. colecci on

Si (X, d) es un espacio m etrico separable entonces es Sea D = {d1 , d2 , . . .} un subconjunto denso en X . La


1 (dm ) : m, n N }, B = {B n

es una base enumerable para la topolog a generada por d. Dado un abierto U


(x). La bola B (d y x U existe B (x) U . Sea dm D con dm B 4 m) 2 satisface (d x B2 m ) B (x) U (d pues si t B 2 m ) entonces

d(t, x) d(t, dm ) + d(dm , t)

+ . 2 4

5.41 Corolario En un espacio m etrico los conceptos de separable, 2-contable y Lindel of son equivalentes Demostraci on. Si (X, d) es un espacio m etrico de Lindel of, el cubrim1 (x) : x X } n es jo tiene un subcubrimiento contable iento abierto {B n 1 (xn )}k N . La colecci 1 (xn ) : n, k N } forma una base enumer{B n on {B n k k 1 1 (xn ) con able; en efecto, dada Vx existe B (x) Vx y para n < 4 existe B n k 1 (xn ) B (x), pues si t B 1 (xn ) entonces x Bn k k n d(t, x) d(t, xnk ) + d(xnk , x) 1 1 + . n n

5.42 Ejemplo 2-contable.

(R, [a, b)) no es metrizable, pues es separable pero no es

5.43 Ejemplo La propiedad de separabilidad no se hereda a los subespacios; por ejemplo, en R2 se dene una base B = {[a, b) [c, d) | a < b, c < d, a, b, c, d R}. Un abierto b asico tiene la forma como en la gura 5.4. Esta topolog a, conocida como la topolog a de los cuadrados medio abiertos debida a Sorgenfrey es separable pues Q Q = R R. Ahora consid erese la recta diagonal M = {(x, x) | x R}; la topolog a de subespacio no es m as que la discreta y as M no es separable. En caso que el subespacio sea abierto se obtiene la siguiente proposici on.

5.44 Proposici on Sean (X, G ) un espacio topol ogico y A X con A abierto. El subespacio (A, GA ) es separable. Demostraci on. Si D es denso y contable en X entonces D A lo es en GA . 5.45 Teorema Si {(Xn , Gn )}, (n N ) es una colecci on de espacios separables el espacio producto Xn , (n N ) es separable.
n Demostraci on. Sea Dn = {xn 0 , x1 , . . .} un subconjunto denso en Xn . Consid erese el conjunto M de todos los subconjuntos nitos de N . M es un conjunto contable. Para cada K M se dene SK = {f | f : K N }. SK es en enumerable. enumerable y por tanto F := SK , (K M) es tambi

Dada f F se dene xf Xn , (n N ) como, xf (n) = xn a en f (n) si n est n el dominio de f , y xf (n) = xo en caso de que no lo est e. Sea U = Un1 Unj
i=nj
i un abierto b asico. Por cada ni se escoge mi tal que xn mi Uni densidad de Dni . Para f denida como f (ni ) = mi , (i = 1, . . . , k ) se tiene que xf U . Luego, D := {xf : f F } es denso.

Xn

5.46 Ejemplo El producto arbitrario de espacios separables no siempre es ndices. V ease separable. Sean Xi = ({0, 1}, discreta) y I = 2R el conjunto de a producto no es separable. que X = Xi , (i I ) con la topolog Sup ongase que existe D X denso y enumerable. Por cada ndice i I 1 (1). Para cada i = j se verica que se condidera el subconjunto Di := D p i on inyectiva h : I 2D dada por h(i) := Di ; Di = Dj . Esto dene una funci con lo cual, el cardinal de I resulta menor o igual que el cardinal de 2D .

5.47 Teorema

La separabilidad es un invariante topol ogico.

Demostraci on. Sean f : (X, G ) (Y , H) un homeomorsmo, D X denso y contable; v ease que f (D) es tambi en denso y contable en Y . En efecto, f (d) V dado V abierto en Y para f 1 (V ) existe d D con d f 1 (V ) y as realmente s olo se ha utilizado que f es continua y sobre. Se Concluye esta secci on con un teorema de unicidad en el sentido que, s olo hay una manera de extender una funci on continua a todo el espacio una vez est e denida sobre un subconjunto denso.

5.48 Teorema Sean f, g : (X, G ) (Y , H) continuas donde Y es Hausdor y D denso en X . Si f (x) = g (x) para cada x D entonces f = g . Demostraci on. Si f = g , sea z X para el cual f (z ) = g (z ). Se toman dos abiertos disyuntos U, V vecindades de f (z ) y g (z ) respectivamente. Como a que z f 1 (U ) g 1 (V ) el cual es un abierto que no corta a D, se tendr z / D lo cual contradice la densidad de D. Nota. Ser 2-contable implica consecuencias interesantes.:

1. Si (X, G ) es 2-contable y Hausdor, la cantidad de abiertos en X puede ser acotada; en efecto el cardinal de G es a lo m as el cardinal del continuo 20 . Como cada U G es uni on de elementos de la base, hay tantos abiertos como uniones de elementos en la base enumerable; esto es, tantos como subconjuntos de un conjunto enumerable. 2. Tambi en se puede acotar el n umero de elementos en X . Como X es Hausdor, la funci on f : X G con f (x) := X/{p} es inyectiva y por tanto el cardinal del dominio es menor o igual al cardinal del codominio. 3. Si se debilita m as las hip otesis sobre los espacios del item anterior, es decir, se exige que (X, G ) sea 1-contable, separable y Hausdor, 20 = 2 es todav a una cota para la cardinalidad de X . Sea S un subconjunto on innita denso y contable de X ; para todo p X , se toma Sp una sucesi en S que converge a p. Entonces para p = q , el ser Hausdor implica umero de tales sucesiones es a lo m as S N = = 2 , con Sp = Sq . El n lo cual | X | 2 . 4. El argumento anterior muestra que un espacio de Hausdor, 1-contable con un subconjunto denso de cardinalidad menor o igual a 2 tiene cardinalidad menor o igual a 2 puesto que cardinal (cN ) = c. Dado que | X | 2 y X es 1contable, X tiene una base la uni on de todas las bases locales de cardinalidad menor o igual a N 2 = cardianal (N c) = c = 2 . Luego el n umero de conjuntos abiertos en X es a lo mas 22 . Adem as, 22 es la mejor cota sobre el n umero de conjuntos abiertos para estos espacios. a de Sorgenfrey. Por ejemplo, R2 con la topolog 5. Ahora, se debilita la hip otesis m as y se asume que (X, G ) es un espacio de Hausdor separable. En este caso, la mejor cota para la cardinalidad 2 de X es 22 y la mejor cota para el n umero de abiertos en X es 22 . De umero de funciones continuas de X en otra parte, 2 es una cota para el n R. En efecto, sea S un subconjunto denso y contable de X . El n umero de funciones de S en R es a lo mas (2 ) = 2 . Si f, g son funciones continuas de X en R que est an de acuerdo sobre S entonces f = g . El hecho de que X sea de Hausdor no es usado en este argumento.

Curso de Topololog a General. http://www.virtual.unal.edu.co