Cap tulo 7: Los axiomas de separaci on

Lecci on 3 : Normales, T4 .
La normalidad fu e introducida por Tietze en 1923; veremos que en algunos aspectos se comporta muy diferente a los otros axiomas de separaci on, ya que no es una propiedad hereditaria ni pasa al producto; m as no por ello, es menos importante. 7.25. Denici on. Un espacio topol ogico (X, G ) se dice normal si y s olo si cada par de subconjuntos cerrados y disyuntos F, G pueden ser separados por abiertos; es decir, existen conjuntos abiertos disyuntos UF , UG conteniendo a F y G respectivamente. 7.26. Ejemplo. Sean X = {a, b, c, d, e} y G = {X, , {a, b, c, d}, {a, b, c}, {b, c, d, e}, {b, c, d}, {b, c}, {b}, {b, d, e}, {b, d}, {d, e}, {d}}. (X, G ) es normal, pero no es regular ya que {a, d, e} es un cerrado que no puede ser separado del punto {c}, c / {a, d, e}. Claro que esto no se puede dar en el caso que los conjuntos unitarios sean cerrados. 7.27. Denici on. se dice T4 . 7.28. Proposici on. Un espacio topol ogico (X, G ) que es normal y adem as T1

Si (X, G ) es T4 entonces es T3 .

Demostraci on. Si X es T1 el conjunto {x} es cerrado para cada x X , y ser regular es un caso particular de ser normal. 7.29. Teorema. Un espacio topol ogico (X, G ) es normal si y s olo si para cada abierto U y para cada cerrado F U existe un abierto V tal que F V V U. Demostraci on. Como F y U c son cerrados disyuntos, por ser X normal existen abiertos disyuntos M, N que los contienen respectivamente y as ,F M M N c U . Para vericar la normalidad tomemos F, G cerrados disyuntos; como F Gc existe una vecindad VF de F con F V V Gc y por tanto F V y G X V . El siguiente ejemplo muestra que los espacios normales son abundantes.

7.30. Ejemplo. Todo espacio m etrico (X, d) es normal. En efecto, dados dos cerrados F, G disyuntos, por cada g G tomamos g > 0 tal que Bg (g ) F = recuerde que d(g, F ) > 0 puesto que g no es adherente a F . Entonces Bg /2 (g ), (g G) es un abierto que contiene a G y no intercepta a F . De manera similar construimos un abierto para F que no corte a G. Muestre que realmente estos abiertos no se cortan. Por supuesto existen espacios normales que no son metrizables.

7.31. Ejemplo. Sea R con la topolog a G denida como: U G si y s olo si / U . Por supuesto G es Hausdor, pues dados x = y uno de U c es contable o 0 los dos, digamos x, es diferente de 0; por tanto {x} y R {x} son abiertos. Para ver que (R, G ) es normal tomemos F, G cerrados disyuntos no vac os; uno de los dos no contiene al punto 0, digamos F , luego F es abierto y F c es tambi en un abierto conteniendo a G. De otra parte, no existe una base local enumerable para el punto 0 ya que c si existiera {B1 , B2 , . . .} tenemos que i=1 Bi = {0} y de otra parte i=1 Bi deber a ser contable puesto que 0 Bi para cada i, y como cada Bi es abierto, c es contable. s olo puede serlo si Bi Puede ver usted el ltro involucrado en este ejemplo y la construcci on en general?

7.32. Ejemplo. El espacio del disco tangente. Este es un espacio topol ogico que muestra que ser T4 no es consecuencia de ser T1 y regular. El es conocido como el espacio del disco tangente y es debido a Niemytzki, 1928.

Sea P R2 , P = {(x, y ) | y > 0} dotado de la topolog a G de subespacio. Denotemos por L = {(x, 0) | x R} al eje real. Denimos una topolog a G 2

para X = P L a nadiendo a G los conjuntos de la forma {x} D donde x L y D es un disco abierto en P , el cual es tangente a L justamente en el punto x. Notemos que (X, usual) (X, G ) donde la usual es la de subespacio de R2 . on local; es decir, Para ver que (X, G ) es regular utilicemos la caracterizaci dado un abierto U y b U existe Vb abierta tal que Vb V b U . Sean U G y b U . Si b P , como U es abierto existe una B (b) U , luego on. Si b L, existe D un disco tal que para Vb = B/2 (b) tenemos la condici un x. As B/2 ((b, x/2)) {b} D U , esto es (B ((b, x)) {b}) U alg satisface la condici on. Ahora notemos que no es normal. En efecto, daremos dos subconjuntos cerrados que no se pueden separar. Dado A L, Ac es abierto en G con lo cual cada A L es cerrado diferente a decir que todo A L es abierto, pues el complemento es tomado en todo X . Por tanto, los subconjuntos Q = {(x, 0) | x es racional }, I = {(x, 0) | x es irracional } son cerrados y, veremos que Q, I no pueden ser separados por abiertos. Sean VQ , VI abiertos disyuntos separando a Q, I . Por cada (x, 0) I VI existe un disco Dx VI de radio rx y tangente a L en el punto (x, 0). Sea , Sn Sn+1 y la colecci on {Sn } junto con los Sn = {(x, 0) I | rx > 1/n}. As puntos de Q forman un cubrimiento contable de L. Veamos que en R sucede lo siguiente: Si R es una uni on contable de los subconjuntos {Sn } entonces por lo menos uno de ellos contiene un intervalo abierto. o, esto es, dado cualquier interSupongamos que cada Sn tiene interior vac valo I L, existe un subintervalo J I tal que Sn J = recuerde que Sn es cerrado y esto es equivalente a decir que el interior de la adherencia de cada o, es decir Sn es denso en ninguna parte. Como los racionales son Sn es vac on de ellos. Para n = 1 tomamos enumerables, sea {q1 , q2 , . . .} una enumeraci / I1 ; as , existe J1 I1 tal que J1 S1 =. Si q2 J1 , un intervalo I1 tal que q1 / I2 y de este extraemos J2 tal tomamos un subintervalo I2 J1 tal que q2 / J1 tomamos un I2 J1 tal que I2 S2 =. De esta que J2 S2 = ; si q2 manera, construimos inductivamente una sucesi on de intervalos cerrados In tal / In y In Sn =. Por el principio de Cantor para los que In+1 In con qn intervalos encajados, existe un n umero t tal que t nN In . Claramente t no es un n umero racional y para alg un n sucientemente grande tenemos t Sn , pero esto contradice que In Sn =. Luego para alg un n umero natural n se debe tener que existe un intervalo I de la recta real tal que, cada subintervalo de I corta a Sn . As que cada punto de I es un punto de acumulaci on de Sn ; en particular existe un racional r con

a r Sn . Sea B ((r, 0)) VQ . Para x1 Sn sucientemente cercano a r, existe un disco B ((x1 , 0)) con B ((r, 0)) B ((x1 , 0)) = y esto contradice que VQ , VI son disyuntos.

Las propiedades de ser Hausdor, normal y compacto se relacionan de acuerdo al siguiente teorema.

7.33. Teorema. Si (X, G ) es un espacio topol ogico Hausdor y compacto entonces X es normal. Demostraci on. Sean F, G dos cerrados disyuntos. Como el espacio es Hausdor y compacto ellos son compactos. Dado g G lo podemos separar de cada punto f F por medio de vecindades disyuntas Vgf , Vfg de g y f respectivamente. La colecci on {Vfg | f F } es un cubrimiento abierto de F , el cual lo podemos reducir a un subcubrimiento nito {Vfg }, (i = 1, 2, . . . , n). Denimos Vg = i n fi V la intersecci o n de las vecindades de g correspondientes a estos fi i=1 g n . As F U . Repitiendo el anterior proceso para y denimos Ug = i=1 Vfg g i cada g G, obtenemos un cubrimiento {Vg | g G} de G el cual lo reducimos a uno nito Vg1 , Vg2 , . . . , Vgm . Finamente M := i=1 Vgi y N := tas de F y G respectivamente.
m m i=1

Ugi son vecindades abiertas disyun-

7.34. Ejemplo. Tabl on de Tychono . Consideremos el espacio producto X = [0, ] [0, ] donde cada uno de los factores es un espacio compacto, pues cada una sus topolog as provienen de un orden completo secci on 6.7. X es un espacio normal de acuerdo al teorema anterior. Denimos el Tabl on W como el espacio X menos un punto W = X {(, )} = [0, ] [0, ] {(, )},

y probaremos que este espacio no es normal con la topolog a de subespacio, negando as que la normalidad es hereditaria.

Para ello construyamos dos cerrados disyuntos A, B en W y mostremos que es imposible separarlos. A = {(x, ) | x [0, } la u ltima la superior, y B = {(, y ) | y [0, )} la u ltima columna a la derecha. Para mostrar que son 1 cerrados notemos que A = p [0, ] ({}) donde p[0, ] : [0, ] [0, ] [0, ] la cual es la imagen inversa de un cerrado. Supongamos que existen UA , UB abiertos que separan. Entonces por cada [0, ) sea el menor elemento en [0, ] tal que (, ) UA para > . La colecci on S = { }, ( [0, )) es contable, luego so = sup S < por 6.57 y por tanto {(, ) | < , > so } UA . Notemos que para con el so < < se tiene que el punto (, ) UB , luego puntos cercanos a est an tanto en UA como en UB .

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