Captulo 1

Axiomas de separaci
on
1.1.

Axiomas de separaci
on

Definici
on 1.1.1. Sea X un espacio topologico:
(1) Si para cada par de puntos distintos de X, existe un conjunto abierto el cual contiene apenas uno
de los puntos, decimos que X es un espacio de tipo T0 ;
(2) Si para cada par de puntos distintos x, y X, existe una vecindad de x que no contiene a y decimos
que X es un espacio de tipo T1 .
Observaci
on 1.1.2.

1. Note que en la definicion de espacio de tipo T0 es suficiente que uno de los

puntos distintos posea una vecindad que no contenga al otro, sin embargo, en el caso de espacios
de tipo T1 , cada uno de los puntos debe poseer una vecindad que no contiene al otro punto. Luego
es claro que todo espacio de tipo T1 , es un espacio de tipo T0 ; sin embargo, el espacio de Sierpinski
es un espacio de tipo T0 el cual no es de tipo T1 .
2. Es claro que una caracterizaci
on equivalente para los espacios de tipo T1 , es que sus singuletes sean
conjuntos cerrados; y por lo tanto, lo sean tambien sus subconjuntos finitos. En efecto, en un espacio
T1 para cada x X, el conjunto X \ {x} es abierto, pues si y 6= x, existe un abierto Uy X el
cual no contiene a x; o sea, Uy X \ {x}; recprocamente, si x 6= y en X, al ser {x}, {y} conjuntos
cerrados, los conjuntos X \ {x}, Y \ {y} son abiertos, distintos conteniendo y, x respectivamente.
3. Con base al tem anterior, dado que en un espacio discreto todos los singulestes son conjuntos
cerrados, se tiene que este es un espacio de tipo T1 y por lo tanto es de tipo T0 . Ademas todo
espacio topol
ogico indiscreto con mas de un punto no es un espacio de tipo T0 .
4. Los espacios topol
ogicos de tipo T0 (resp: T1 ) no son invariantes por continuidad; en efecto, si X
es un conjunto con mas de un punto, denotado por XD , XI , el espacio X dotado de las topologas
discreta e indiscreta respectivamente, es claro que la aplicacion identidad Id : XD XI es continua
1

Axiomas de separaci
on
pues posee dominio discreto; ademas XD es un espacio de tipo T0 , (resp T1 ) mientras que XI no lo
es.
5. Las propiedades de ser de tipo T0 (resp. T1 ) son invariantes por biyecciones abiertas. En particular
por homeomorfismos.
6. Los subespacios de espacios de tipo T0 , (resp: T1 ) son espacios de tipo T0 , (resp: T1 ).
7. El espacio producto X =

X es un espacio de tipo T1 (resp: T0 ) si, y solamente si, cada factor

X es un espacio de tipo T0 (resp: T1 ). En efecto, si {X } es una familia de espacios topologicos

Q
de tipo T1 , (resp. T0 ), dados puntos distintos x = (x ), y = (y ) X = X , existe un tal
que x 6= y , como el espacio X es de tipo T1 (resp. T0 ) existen conjuntos abiertos U , V en X tales

que x U y
/ U igualmente y V x
/ V . Los conjuntos U = 1 (U ), V = 1 (V )
son conjuntos abiertos en X los cuales contienen a x, y respectivamente, ademas y
/ U, x
/ V.
Recprocamente, si el espacio producto X es de tipo T1 (resp. T0 ), para cada el espacio X es
homeomorfo a un subespacio de X definido como sigue. recuerde subespacios de espacios T0 (resp.


T1 ) son de tipo T0 (resp. T1 ) Consideremos un punto fijo p = (p ) X, el hiperplano pasando
por p paralelo al espacio X es el subespacio formado por todos los puntos de X que difieren de p

a lo sumo en la -esima coordenada. Denotemos por X(p) tal conjunto, la aplicacion

X X(p)
que asigan a cada punto x X el elemento y = (y ) X(p), en que para cada 6= , y = p y
y = x es una aplicacion biyectiva, continua pues sus componentes son constantes excepto para la
componente que es la identidad, ademas es abierta pues mapea el abierto U X en el abierto
1 (U ) X(p); por lo tanto es un homeomorfismo.
Hemos vistos que los espacios de tipo T1 se cararcterizan porque los singuletes son conjuntos cerrados,
presentamos a seguir una condicion mas restrictiva llamada condic
on de Hausdorff, espacios con esta
condicion tambien poseen la propiedad de que los singuletes son conjuntos cerrados, ademas en un contexto
que sera presentado mas adelante, tales espacios poseen la propiedad de unicidad para los lmites de
sucesiones.
Definici
on 1.1.3. Sea X un espacio topologico, decimos que dos conjuntos abiertos U, V X separan
V a dos conjuntos A, B X, si A U , B V y U V = . Cuando existen abiertos U, V los cuales
separan a los conjuntos A, B, decimos que A y B son conjuntos separados por conjuntos abiertos en X.
Definici
on 1.1.4. Decimos que un espacio topologico X es un espacio de Hausdorff o de tipo T2 , si para
cada par de puntos distintos x, y X, los conjuntos {x}, {y} son separados por abiertos, i.e., existen
conjuntos abiertos disjuntos U y V en X con x U , V .
Observaci
on 1.1.5.

1. Es claro que todo espacio de Hausdorff es un espacio de tipo T1 ; sin embargo,

un conjunto infinito dotado de la topologa cofinita, es un espacio de tipo T1 que no es un espacio

de Hausdorff. En efecto, para cada x X, el conjunto X \ {x} es abierto; as {x} es un conjunto
2

1.1 Axiomas de separaci

on

cerrado y portanto X es un espacio de tipo T1 , pero cualquier par de conjuntos abiertos en X no

pueden ser disjuntos, pues si A1 , A2 son conjuntos abiertos en X, entonces existen conjuntos finitos
B1 , B2 en X tal que A1 = X \ B1 , A2 = X \ B2 , luego A1 A2 = X \ (B1 B2 ). As, si A1 A2 = ,
se tiene que X coincide con el conjunto finito B1 B2 , lo cual contradice la infinitud de X. Esto
mustra que X no es un espacio de Hausdorff.
2. Dado que todo espacio topol
ogico de Hausdorff es un espacio T1 , se tiene que los singuletes son
conjuntos cerrados y por lo tanto los conjuntos finitos. Ademas vale lo siguiente, un espacio topologico X es un espacio de Hausdorff si, y solamente si, para cada x X la interseccion de todas
las vecindades cerradas de x es el singulete {x}. Esto no es verdad para espacios T1 que no son
Hausdorff, pues en un espacio cofinito, la u
nica vecindad cerrada de un punto es todo el espacio X.
3. Todo espacio discreto es un espacio de Hausdorff, por lo tanto, la condicion de ser Hausdorff no es
invariante por continuidad, pues la identidad definida en un conjunto infinito discreto a valores en
el espacio topol
ogico cofinito, es una aplicacion continua de un espacio de Hausdorff, cuya imagen
no es un espacio de Hausdorff. Sin embargo, la condicion de ser espacio de Hausdorff es invariante
por homeomorfismo. En efecto, homeomorfismos mapean abiertos disjuntos en abiertos disjuntos.
Un poco mas general, la condicion de Hausdorff es invariante bajo biyecciones cerradas en efecto
las biyecciones cerradas son abiertas y mapean abiertos disjuntos en abiertos disjuntos.
4. La noci
on de Hausdorff ademas de no ser invariante por funciones continuas, no lo es por funciones
continuas cerradas. En efecto, denotemos por R0 la recta real R con la topologa que para todo
n
umero real no nulo, le asocia como sistema fundamental de vecindades el usual y para x = 0,
definimos las vecindades como siendo conjuntos de la forma (, ) \ A, en que > 0 y A = { n1 :
n 6= 0 n N}. Es simple ver que R0 es un espacio de Hausdorff, ademas el conjunto A es cerrado
en R0 . Dados x, y R0 , definimos
x y x, y A.
Es claro que define una relaci
on de equivalencia en R0 ; sea Y = R0 / el espacio cociente,
y sea q : R0 Y la aplicacion cociente. Veamos que Y no es un espacio de Hausdorff pues los
puntos q(0), q(A) no pueden ser separados, a saber si U, V son conjuntos abiertos disjuntos en
Y tales que q(0) U y q(A) V , se tiene que q 1 (U ), q 1 (V ) son conjuntos abiertos disjuntos
en R0 que contienen 0 y A respectivamente, pero no existen abiertos disjuntos en R0 los cuales
contengan 0 y A respectivamente. En efecto, dados tales conjuntos, O1 , O2 , existe un 1 > 0 tal que
0 (1 , 1 ) \ A O1 . Si p A (1 , 1 ), entonces p O2 luego es posible tomar un 2 > 0 tal que
p (p 2 , p + 2) O2 , de este modo p (1 , 1 ) (p 2 , p + 2) = O, ademas el conjunto O \ A
es no vaco y est
a incluido en la interseccion O1 O2 , esto demuestra nuestra afirmaci
on. De este
modo se tiene que la imagen Y por la aplicacion continua q del espacio de Hausdorff R0 no es un
espacio de Hausdorff. Veamos ahora que q es ademas cerrada. En efecto, veamos que el saturamiento
de todo conjunto cerrado es un conjunto cerrado. Para esto basta observar que la restriccion de q al
conjunto R0 \A es una biyeccion sobre el conjunto Y \q(A), por tanto, para cada conjunto F X \A


se tiene q 1 q(F ) = F en particular para los conjuntos cerrados coninciden con su saturamieto.
3

Axiomas de separaci
on


Igualmente, A es un conjunto cerrado saturado, pues es claro que q 1 q(A) = A. El resultado sigue


si observamos que todo conjunto cerrado F puede escribirse como F = (A F ) ((X \ A) F y


su saturamiento es el conjunto cerrado A (X \ A) F . Observamos que q no es una aplicacion
abierta, en efecto dado p A, sea > 0 tal que (, ) A = {p}; el saturamiento del intevalo
abierto (, ) es el conjunto A (, ) el cual no es abierto en R0 .
5. Veamos que la propiedad de Hausdorff tampoco es invariante para funciones continuas abiertas.
Para ello sea X = R {0, 1} dotado de la topologa producto, en que R es dotado de la topologa
usual y {0, 1} de la topologa discreta. En X defina
(x, i) (y, j) sii (x, i) = (y, j) o x = y 6= 0.
define una relaci
on de equivalencia en X. Sea Y = X/ el conjunto cociente dotado de la
topologa cociente y q : X Y la aplicacion cociente. Intuitivamente el espacio Y puede ser pensado
como el espacio R con un punto de origen adicional. Y es un espacio de tipo T1 que no es un espacio
de Hausdorff, puesto que q(0, 0), q(0, 1) no pueden separarse, en efecto si U0 , U1 son abiertos disjuntos
en Y que contienen a q(0, 0), q(0, 1) respectivamente, entonces los conjuntos q 1 (U0 ), q 1 (U1 ) son
abiertos disjuntos en X los cuales contienen los puntos (0, 0), (0, 1) respectivamente. Por el hecho
de ser disjuntos, se asume sin perdida de generalidad que q 1 (U0 ) = U {0}, q 1 (U1 ) = V {1}
para abiertos U, V R tales que 0 U V , por tanto es posible encontrar un n
umero real > 0
tal que (, ) U V , es claro que ( 2 , 0) ( 2 , 1), luego q( 2 , 0) = q( 2 , 1) q(V ) U1 ; ademas,
q( 2 , 0) q(U ) U0 esto contradice el hecho de que U0 , U1 son disjuntos. Ahora veamos que la
aplicacion q : X Y es una aplicacion abierta, en efecto para un abierto de la forma W = O {0},




en que O R es un abierto el cual contiene el origen tenemos que q 1 q(W ) = W O \ {0} {1}

de donde se concluye que si U = (U0 {0}) (U1 {1}) es claro que:

i
i h





h
q 1 q(U ) = U0 (U1 \ {0}) {0} U1 (U0 \ {0}) {1} ,
el cual es un abierto en X.

6. Todo subespacio de un espacio de Hausdorff, es un espacio de Hausdorff, en efecto, si U1 , U2 son

abiertos en X los cuales separan puntos distintos y1 , y2 de Y X, entonces (U1 Y ), (U2 Y ) son
abiertos disjuntos de Y que separan a y1 , y2 en Y .
Q
7. El espacio producto X = X es un espacio de Hausdorff si, y solamente si, cada factor X , es

un espacio de Hausdorff. En efecto, si {X } es una familia de espacios topologicos de Hausdorff,

Q
dados puntos distintos x = (x ), y = (y ) X = X , existe un tal que x 6= y , como

el espacio X es Hausdorff, existen conjuntos abiertos disjuntos U , V en X los cuales separan a

{x }, {y }. Los conjuntos U = 1 (U ), V = 1 (V ) son conjuntos abiertos disjuntos en X los

cuales separan a {x} y {y}. Recprocamente, si el espacio producto X es de Hausdorff, dado un
punto p X fijo, analogo a como se realizo en el tem 7 de la observaci
on 1.1.2, para cada ,
el espacio X es homeomorfo al subespacio X(p) de X y portanto es un espacio de Hausdorff.
8. Dos ejemplos elementales de espacios de Hausdorff son R y Rl . En efecto, dados n
umeros reales



x+y
x+y
distintos x, y, con x < y, es claro que , 2 ,
2 , son conjuntos abiertos disjuntos
4

1.1 Axiomas de separaci

on

que les separan respecto a la topologa usual; igualmente, los conjuntos [x, y), [y, ) son conjuntos
abiertos disjuntos que les separan respecto a la topologa lmite inferior.
La siguiente es una caracterizaci
on alternativa para la condicion de ser espacio Hausdorff.
Teorema 1.1.6. Las siguientes afirmaciones son equivalentes
1. X es un espacio de Hausdorff;


2. La diagonal = (x, x) : x X es un conjunto cerrado en X X.
Prueba: Asumiendo que X es un espacio de Hausdorff, dado p = (x, y)
/ , entonces x 6= y consecuentemente, existen abiertos disjuntos Ux , Vy en X los cuales separan a {x}, {y}, por ser disjuntos, se tiene
que (Ux Vy ) = ; o sea,
(x, y) Ux Vy X X \ ,
por lo tanto es un conjunto cerrado. Recprocamente, si es un conjunto cerrado en X X, dados
x, y puntos distintos en X, se tiene que (x, y)
/ , luego es posible encontrar conjuntos abiertos Ux , Vy en
X, para los cuales (x, y) Ux Vy con (Ux Vy ) = , por lo tanto, Ux Vy = .
En la observaci
on 1.1.5, aparecen ejemplos que muestran que la propiedad de Hausdorff no es invariante por funciones continuas abiertas, al igual que por funciones continuas cerrada, incluso aplicaciones
cocientes no preservan esta propiedad, por lo que se torna interesante buscar condiciones suficientes y
necesarias para que el conjunto imagen de una funci
on sea un espacio de Hausdorff, ese es el contenido
abordado en lo que sigue.
Teorema 1.1.7. Si f : X Y es una funci
on continua con Y Hausdorff, entonces el conjunto


A = (x1 , x2 ) X X : f (x1 ) = f (x2 )
es cerrado en X X.
Prueba: Es inmediato que A = g 1 (), en que g : X X Y Y es la funci
on continua definida por


g(x1 , x2 ) = f (x1 ), f (x2 ) .
Teorema 1.1.8. Si f : X Y es una funci
on abierta de X sobre Y y el conjunto


A = (x1 , x2 ) X X : f (x1 ) = f (x2 )
es cerrado en X X, entonces Y es un espacio de Hausdorff.
Prueba: Si f (x1 ), f (x2 ) son puntos distintos en Y , entonces (x1 , x2 )
/ A, siendo A cerrado, existen
conjuntos abiertos U1 , U2 en X con (x1 , x2 ) U1 U2 y tales que (U1 U2 ) A = . Como f es una
funci
on abierta, f (U1 ), f (U2 ) son conjuntos abiertos en Y con f (x1 ) f (U1 ), f (x2 ) f (U2 ). Ademas,
estos conjuntos son disjuntos de lo contrario (U1 U2 ) A 6= .
5

Axiomas de separaci
on

Observaci
on 1.1.9. El resultado anterior permite determinar condiciones bajo las cuales un espacio
cociente es de Hausdorff. Un espacio cociente de X es constituido por las orbitas de alguna relacion de
eqivalencia en X. As, si es dada una aplicacion cociente q : X Y , la cual es abierta y el conjunto
R = {(x, y) : x y} = {(x, y) : q(x) = q(y)} es cerrado en X X entonces Y es un espacio de Hausdorff.
Finalizamos las observaciones sobre funciones continuas a espacios de Hausdorff con el siguientes
resultado
Teorema 1.1.10. Si f, g : X Y son funciones continuas, Y es un espacio de Hausdorff, entonces


1. El conjunto A = x X : f (x) = g(x) es cerrado en X.
2. Si D X es un conjunto denso en X tal que f |D = g|D =, entonces f = g.
3. El gr
afico de la funci
on f : X Y es un conjunto cerrado en X Y
Prueba:
1. Basta observar que A = h1 (), en que h : X Y Y es la funci
on continua definida por


h(x) = f (x), g(x) .
2. Si A es como en el tem anterior, entonces D A, como A es un conjunto cerrado y D denso se
tiene que X = A.
3. Basta observar que el gr
afico de f es el conjunto Gr(f ) = {(x, y) : y = f (x)} = h1 (), en que


h : X Y Y Y es la funci
on continua definida por h(x, y) = f (x), y .

Hasta ahora las condiciones de separacion definidas solo nos permiten trabajar con topologas que
separan puntos. Pasamos ahora a algunas condiciones un poco mas restrictivas, en las cuales la topologa
separa puntos de conjuntos cerrados o conjuntos cerrados entre s.
Definici
on 1.1.11. Decimos que un espacio topologico X es un espacio regular si dados un punto x X
y un conjunto cerrado F X tal que x
/ F , entonces los conjuntos {x}, F pueden ser separados por
conjuntos abiertos en X. i.e., existen conjuntos abiertos disjuntos U, V en X tales que x U y F V .
Un espacio indiscreto es siempre regular y no es un espacio de tipo T1 , por lo tanto no es un espacio
de Hausdorff, o sea un espacio regular no necesariamente es un espacio de Hausdorff. Con el animo de
remediar esta situaci
on, se tiene lo siguiente. Dado que la separacion de puntos de conjuntos cerrados,
implica la separacion de puntos entre si, si los singuletes fuesen conjuntos cerrados, decimos que X es un
espacio de Tipo T3 , si X es un espacio regular de tipo T1 .
Observaci
on 1.1.12.

1. Todo espacio de tipo T3 es un espacio de tipo T2 , pues hemos asumido

explcitamente la propiedad T1 en la defnici

on. Sin embargo, no todo espacio de tipo T2 es un
6

1.1 Axiomas de separaci

on

espacio de tipo T3 , basta considerar el espacio topologico R0 definido en el tem 4 de la observaci

on
1.1.5. El espacio R0 es un espacio de Hausdorff, pues su topologa es mas fina que la topologa usual;
sin embargo, vimos que el conjunto A es cerrado en X y no puede separarse del origen por conjuntos
abiertos disjuntos.
2. La noci
on de regularidad es invariante por homeomorfismos.
Para poder presentar ejemplos y contraejemplos de espacios regulares, necesitamos de la siguiente
caracterizaci
on.
Teorema 1.1.13. Las siguientes afirmaciones son equivalentes para un espacio topol
ogico X.
1. X es regular
2. Para cada x X y cada conjunto abierto U X que le contenga, existe un abierto V en X, tal que
xV U
3. Cada x X posee un sistema fundamental de vecindades cerradas.
Prueba:
1. (1) (2) Si X es un espacio regular y U es un conjunto abierto que contiene a x, los conjuntos
X \ U , {x} pueden ser separados por abiertos, es decir existen conjuntos abiertos disjuntos V , W
en X tales que x V , X/U W . Como X \ W es un conjunto cerrado contenido en U y el cual
contiene a V , se tiene V X \ W U .
2. (2) (3) Si U es un conjunto abierto que contiene al punto x, por hipotesis existe un conjunto
abierto V en X, tal que x V U , luego V es una vecindad cerrada para x, con V U .
3. (3) (1) Si todo punto x X posee un sistema fundamental de vecindades cerradas entonces
dados un punto x X y un conjunto cerrado F X con x
/ F , el conjunto X \ F es abierto y
contiene a x, por lo tanto, existe una vecindad cerrada V de x, tal que x V X \ F . De este
modo, los conjuntos abiertos disjuntos X \ V , Int(V ) confrman una separacion para los conjuntos
{x} y F .

Es simple mostrar que si en el resultado anterior la condicion del tem 2 solo se cumple para los
conjuntos abiertos subb
asicos, el espacio continuara siendo regular.

Axiomas de separaci
on
1. Todo espacio discreto es regular.

Ejemplos 1.1.14.



2. R es un espacio regular, pues dado x R la colecci
on [x n1 , x + n1 ] nN determina un sistema
fundamental de vecindades cerradas para x. Igualmente Rl es un espacio regular, pues la colecci
on


1
[x, x + n ] nN determina un sistema fundametal de vecindades cerradas para el punto x en Rl .

3. El plano de Moore es un espacio regular, ya que los puntos son cerrados; y poseen un sistema
fundamental de vecindades cerradas. Si z = (x, y), con y > 0 la colecci
on de las regiones circulares
cerradas centradas en z y radio

1
n

es un sistema fundamental de vecindades cerradas para z. Si

z = (x, 0), tome la colecci

on formada por las regiones circulares cerradas tangentes en z unidas del
punto z.
Igual que para los dem
as axiomas de separacion, la regularidad es un propiedad que se preserva al
pasar a subespacios y al considerar productos de espacios topologicos, mas especficamente se tiene
Teorema 1.1.15.

1. Todo subespacio de un espacio regular es un espacio regular.

2. El espacio producto
regular.

X es un espacio regular si, y solamente si, cada factor X es un espacio

Prueba:
1. Sea Y X un subconjunto de un espacio regular X, dado un subconjunto cerrado A Y y un
punto y0 Y \ A; es claro que A = F Y , para alg
un conjunto cerrado F X tal que y0
/ F,
como consecuencia de la regularidad de X se tiene la existencia de conjuntos abiertos disjuntos U, V
en X, los cuales separan a F y {y0 }. Por tanto, los conjuntos U Y , V Y son abiertos en Y y
separan a A y {y0 }.
2. Un razonamiento igual al empleado en la prueba de la misma afirmacion para el caso de espacios
Q
de tipo T1 , muestra que la regularidad del espacio producto X implica la de cada factor X ,
Q
on 1.1.2.
pues estos son homeomorfos a un subespacio de X . Ver el tem 7 en la observaci
Q
asico que lo contiene
Recprocamente, dado un punto x X y un conjunto abierto b
(Un ).
(U1 ) 1
1
n
1
Para cada i : 1, . . . n, el conjunto Ui es una vecindad abierta de la componente xi en Xi ; por
regularidad existe una vecindad cerrada Fi de xi en Xi , tal que Fi Ui . Es decir el conjunto
(Un ),
(U1 ) 1
(Fn ) es una vecindad cerrada de x contenida en 1
(F1 ) 1
1
n
1
n
1
Q
en virtud del teorema 1.1.13 el espacio X = X es regular.

Observaci
on 1.1.16.

1. Dado que las afirmaciones del teorema anterior tambien son validas para

espacios de tipo T1 , este podra ser enunciado para espacios de tipo T3 . i.e.,
8

1.1 Axiomas de separaci

on

a) Todo subespacio de un espacio de tipo T3 es de tipo T3 .

Q
b) El espacio producto X es un espacio de tipo T3 si, y solamente si, cada factor X es
un espacio de tipo T3 .

2. Con base a lo anterior y a los ejemplos antes presentados, los espacios I, Rl Rl , Rn , S n son espacios
de tipo T3 .
3. No necesariamente la imagen por una aplicacion continua y abierta de un espacio de tipo T3 (y
por ende regular), es un espacio regular (y por ende de tipo T3 ). Para el caso de una funci
on
continua abierta, considere el ejemplo que aparece en el tem 5 de la observaci
on 1.1.5. El espacio
X = R {0, 1} es de tipo T3 en virtud del teorema anterior; sin embargo, el espacio Y que all
aparece, es un espacio de tipo T1 que no es de Hausdorff el cual es la imagen de X por una funci
on
continua y abierta.
4. No necesariamente la imagen por una aplicacion continua y cerrada de un espacio regular (resp de
tipo T3 ), es un espacio regular (resp de tipo T3 ). Un ejemplo para esta afirmaci
on sera mostrado
mas adelante.
5. La imagen por una aplicacion continua, cerrada y abierta de un espacio de tipo T3 es un espacio de
tipo T2 . En efecto, sea X un espacio de tipo T3 y sea f : X Y una aplicacion continua, abierta
y cerrada sobre Y . Para tener el resultado bastara ver que el conjunto


A = (x1 , x2 ) : f (x1 ) = f (x2 )


es cerrado en X X. Si (x1 , x2 )
/ A, entonces x1
/ f 1 f (x2 ) como consecuencia de la regularidad


existen conjuntos abiertos disjuntos U, V en X tales que x1 U , f 1 f (x2 ) V , siendo f abierta

es posible encontrar un conjunto abierto W en Y con f (x2 ) W f (V ), el conjunto f 1 (W ) es

un conjunto abierto saturado en X el cual contiene a f 1 f (x2 ) . Por lo tanto, U f 1 (W ) es un

conjunto abierto en X X el cual contiene al punto (x1 , x2 ) y no tiene interseccion con A. Esto
muestra que el conjunto A efectivamente es abierto.
6. La existencia de la vecindad W del item encima se garantiz
o empleando el hecho que la funci
on
es abierta, la verdad esta puede obtenerse si la funci
on es solo cerrada. Siendo as, vimos que un
espacio cociente X/ de un espacio X es un espacio de Hausdorff si se cumple que la proyeccion


canonica q : X X/ es cerrada y el conjunto R = (x1 , x2 ) : q(x1 ) = q(x2 ) es cerrado en

X X. Por lo tanto, si X es un espacio de tipo T3 y q : X X/ es cerrada, entonces el conjunto

R es cerrado, en efecto la prueba de esto es identica a la realizada en el tem anterior, solo que la
existencia de W se justifica como se coment
o inicialmente. Sin embargo esto no garantiza que X/
sea un espacio de Hausdorff, pues la proyeccion q puede no ser abierta.

7. Como consecuencia de lo anterior, si X es un espacio de tipo T3 y q : X X/ es una aplicacion

cociente la cual es abierta y cerrada, entonces X/ es un espacio de Hausdorff.
8. Si X es un espacio de tipo T3 y A X es un subconjunto cerrado, entonces el espacio obtenido
identificando los elementos de A con un solo punto es un espacio de Hausdorff. Compare con el tem
9

10

Axiomas de separaci
on
4 que aparece en la observaci
on 1.1.5. En tal ejemplo, se obtuvo un espacio cociente no Hausdorff
identificando los puntos del conjunto cerrado A = { n1 : n N n 6= 0} en R0 , por lo tanto la
condicion de T3 es indispensable en este enunciado. Veamos la prueba. Dados miembros diferentes
y1 , y2 Y = X/ , si ambos no coinciden con q(A), la existencia de abiertos disjuntos separando
estos puntos sigue del hecho que la restriccion de la aplicacion q al conjunto X \ A es una biyeccion
sobre el conjunto Y \ q(A) y X \ A es un espacio de Hausdorff. En el caso en que y1 = q(A), entonces
q 1 (y2 )
/ A, la regularidad garantiza la existencia de conjuntos abiertos saturados disjuntos cuyas
imagenes por q son disjuntos y nos brindan vecindades disjuntas para los puntos y1 , y2 .

Teorema 1.1.17. Sean X un espacio regular, A X un subconjunto infinito. Entonces, existe una
familia {Un : n 0} de conjuntos abiertos cuyas clausuras son dos a dos disyuntas y tal que A Un 6=
para cada n 1.
Prueba: Razonaremos inductivamente. Tome U0 = , asuma que se tienen definidos los conjuntos
U0 , U1 , . . . , Uk de modo que los conjuntos U0 , U1 , . . . , Uk sean dos a dos disjuntos, para cada i {0, . . . , k},
A Ui 6= y el conjunto
Ak = A \

k
[

Ui

i=0

es infinito. Dados a, b Ak , la regularidad de X garantiza la existencia de conjuntos abiertos V, W en X

tales que
a V V X \ [U0 Uk {b}]
b W W X \ [U0 Uk V .]
Sea Uk+1 = V , si V A finito, Uk+1 = W caso contrario. Es claro que A Uk+1 6= , U0 , . . . , Uk+1 son
dos a dos disjuntos y el conjunto
A\

k+1
[

Ui

i=0

es infinito.
El proximo paso es considerar espacios topologicos en los cuales sea posible la separacion de conjuntos
cerrados disjuntos, mas especficamente se tiene la siguiente
Definici
on 1.1.18. Decimos que un espacio topologico X es un espacio normal si cada par de conjuntos
cerrados disjuntos pueden ser separados. Un espacio normal de tipo T1 es llamada un espacio de tipo T4 .
Observaci
on 1.1.19.

1. Es claro que todo espacio de tipo T4 es de tipo T3 ; pero no todo espacio

topologico normal es regular, en efecto considerando la recta real con la topologa cuyos abiertos
b
asicos son los abiertos de la forma (a, ). Con esta topologa es claro que no hay conjuntos cerrados
disjuntos, por lo tanto el espacio es normal, pero este espacio no es regular pues el conjunto cerrado
(, 0] no puede ser separado del punto 1.
2. La noci
on de normalidad es invariante por homeomorfismos.
10

1.1 Axiomas de separaci

on

11

3. Determinar la normalidad o no de un espacio topologico no es en general un trabajo simple, un

criterio para saber determinar la no normalida de algunos espacios es el siguiente, si el espacio
topologico X contiene un subconjunto denso D y un subconjunto F cerrado y discreto en relacion
a la topologa inducida por X, tales que |F | 2|D| entonces X no es un espacio normal. En efecto,
si X fuese normal dado que F es discreto y cerrado para cada subconjunto T F se tiene que los
conjuntos T, F \ T son disjuntos y cerrados en X y por tanto deben estar contenidos en conjuntos
abiertos disjuntos U (T ), V (T ) respectivamente. Por otro lado, dados subconjuntos T1 , T2 de F con
T1 \ T2 6= , entonces U (T1 ) V (T2 ) 6= pues
T1 \ T2 T1 U (T1 ),
T1 \ T2 F \ T2 V (T2 );
dado que D es un conjunto denso en X y U (T1 ) V (T2 ) es un conjunto abierto en X no vaco, se
tiene que U (T1 ) V (T2 ) D 6= , pero U (T1 ) V (T2 ) D U (T1 ) D y como U (T2 ) V (T2 ) = , el
conjunto U (T1 )V (T2 )D no es un subconjunto de U (T2 )D. Por lo tanto, U (T1 )D 6= U (T2 )D.
Esto significa que la aplicacion P(F ) P(D) la cual a cada subconjunto T F asigna el conjunto
U (T ) D, es inyectiva, o sea, |P(D)| = 2|D| |P(F )| = 2|F | > |F | lo cual es imposible pues
contradice nuestra hip
otesis.
4. El plano de Moore y el espacio producto Rl Rl no son espacios normales, a saber considerando el


conjunto D = (x, y) R2 : x, y Q , los conjuntos D , D (Rl Rl ) son densos y enumerables
en y Rl Rl respectivamente. Por otro lado, el conjunto F = {(x, 0) } es un conjunto infinito

no enumerable cerrado y discreto. Igualmente el conjunto L = {(x, x) : x R} es un subconjunto

infinito no enumerable cerrado y discreto en Rl Rl .
5. Rl Rl es otro ejemplo de un espacio de tipo T3 que no es de tipo T4 , veamos que Rl es un espacio
de tipo T4 . Consecuentemente se tendra que el producto de espacios normales (resp. de tipo T4 )
no es necesariamente normal (resp. de tipo T4 ). En efecto dados conjuntos cerrados disjuntos F, E
en Rl . Para cada a F , (a X \ E) es posible encontrar un abierto b
asico [a, xa ) disjunto de E,
del mismo modo para cada b E es posile encontrar un abierto b
asico [b, yb ) disjunto de F . Por lo
tanto los conjuntos
U=

[a, xa ), V =

aF

[b, yb ),

bE

son abiertos en Rl y contiene a F, E respectivamente. Si z U V , existen a F, b E con

z [a, xa ) [b, yb ), sin perdida de generalidad es posible asumir que a < b, por lo tanto puede
ocurrir b xa yb yb xa en cualquiera de los dos casos se tiene b [a, xa ) lo cual no es
posible. Pues para cada a F , se tiene [a, xa ) E = .
6. Subespacios de espacios normales no son necesariamente son normales. Ejemplos para esta afirmacion aparecer
an mas adelante. Pero subespacios cerrados de espacios normales son normales. En
efecto, si son dados F1 , F2 subconjuntos cerrados y disjuntos de un subespacio cerrado F X con
X espacio normal. Siendo F cerrado en X, los subconjuntos F1 , F2 son cerrados y disjuntos en X,
por la normalidad es posible encontrar conjuntos abiertos y disjuntos U1 , U2 en X tales que Fi Ui
11

12

Axiomas de separaci
on
para cada i = 1, 2. Los conjuntos U1 F , U2 F son conjuntos abiertos disjuntos en F los cuales
separan a F1 y F2 .

Teorema 1.1.20. Todo espacio de Lindel

of regular es un espacio normal.
Prueba: Sean F, E conjuntos cerrados disjuntos en un espacio de Lindel
of regular X. Para cada a F , el
complemento de E en X es un conjunto abierto que contiene a a; por regularidad es posible encontrar un
subconjunto abierto Ua en X tal que Ua E = . Similarmente para cada b E es posible encontrar un
subconjunto abierto Vb en X tal que Vb F = . Como F, E son cerrados y X es un espacio de Lindel
of,
tenemos que F, E son espacios de Lindel
of, por lo tanto de las coberturas abiertas {Ua : a F }, {Vb : b
E} es posible extraer suberturas enumerables, digamos F Ux1 Ux2 Ux3 , E Vx1 Vx2 Vx3 .
Para todo n 1 defina ahora




An = Uxn \ Vx1 Vxn , Bn = Vxn \ Ux1 Uxn ,
Luego los conjuntos An , Bn son abiertos y por lo tanto A = n1 An , B = n1 Bn son abiertos. Para
completar la demostracion,veamos que F A, E B y A B = . Si es dado un punto x F , existe
alg
un n tal que x Uxn ; dado que para cada ndice j {1, . . . , n} se tiene Vj F = , para cada j,
x
/ VXj , es decir x An A. Sea n m, luego An Uxn , pero Bm Uxn = . Similarmente si n m
entonces Bm Uxm , pero An Vxm = . Esto muestra que An Bm = para cualesquier n, m 1; o
sea, A B = .
Corolario 1.1.21. Todo espacio regular que satisface el segundo axioma de enumerabilidad es un espacio
normal.
Observaci
on 1.1.22.

1. Todo espacio de tipo T3 y Lindel

of es de tipo T4 .

2. No todo espacio normal y regular satisface el segundo axioma de enumerabilidad, basta observar
que Rl es un espacio normal y regular el cual no satisface el segundo axioma de enumerabilidad.
3. En virtud del teorema anterior, el espacio R {0, 1} es de tipo T4 , pues es un espacio de tipo T3
el cual satisface el segundo axioma de enumerabilidad. Por lo tanto, el tem 5 en la observaci
on
1.1.5 muestra que no necesariamente la imagen de un espacio de tipo T4 por una funci
on continua
y abierta es un espacio de tipo T4 . Sin embargo, la imegen continua de un espacio normal (resp.
de tipo T4 ) por una funci
on continua y cerrada es un espacio normal (resp. de tipo T4 ). A saber,
si f : X Y es una funci
on continua y cerrada con X normal, dados conjuntos cerrados disjuntos
F, E Y , los conjuntos f 1 (F ), f 1 (E) son cerrados y disjuntos en X, la normalidad garantiza la
existencia de conjuntos abiertos disjuntos U, V en X con f 1 (F ) U, f 1 (E) V , como la funci
on
es cerrada, los conjuntos Y \ f (X \ U ), Y \ f (X \ V ) son abiertos disjuntos en Y y separan a F, E.
Para finalizar presentamos el siguiente resultado el cual nos brinda una gran cantidad de espacios
normales.
Teorema 1.1.23. Un conjunto dotado de un buen orden es un espacio normal en relaci
on a la topologa
orden. M
as general, puede mostrarse que todo conjunto ordenado es un espacio topol
ogico normal.
12

1.1 Axiomas de separaci

on

13

Prueba: Sea X un conjunto bien ordenado, para llevar a cado la prueba es necesario observar lo siguiente,
en la topologa orden dada por un buen orden, se tiene que los conjuntos de la forma (x, y] son abiertos;
en efecto si X posee como mayor elemento a y, entonces el conjunto (x, y] es simplemente un b
asico el cual
contiene a y; si y no es el mayor elemento de X, entonces (x, y] = (x, z) en que z es el inmediato sucesor
de y (aqu se emple
o el buen orden.) Dados conjunto cerrados disjuntos F, E en X. Denotemos por x0 el
menor elemento de X; asumamos inicialmente que x0 no pertenece a ninguno de los conjuntos F, E. Para
cada a F , existe un conjunto abierto b
asico disjunto de E el cual contiene al punto a. Dado que a no
es el menor elemento de X, tal abierto b
asico debe contener un abierto de la forma (xa , a]. Igualmente,
para cada b E es posible escoger un intervalo de la forma (yb , b] disjunto de F . Los conjuntos
U=

(xa , x], V =

aF

(yb , b],

bE

son abiertos y contiene a F, E respectivamente; ademas si z U V , existe puntos a F, b E tales

que z (xa , a] (yb , b], sin perdida de generalidad asumimos que a < b, siendo as puede ocurrir que
xa yb a yb xa a en cualquiera de los dos casos se tiene a (yb , b] E lo cual es imposible. Por
lo tanto U V = . Para concluir, basta mostrar la afirmaci
on para el caso en que x0 est
a en alguno de
los conjuntos selecionados inicialmente. En efecto, si x0 F , como el conjunto {x0 } es abierto y cerrado,
el conjunto F \ {x0 } es cerrado; por lo realizado encima, los conjuntos F \ {x0 }, E pueden ser separados
por conjuntos abiertos disjuntos U, V respectivamente, luego los conjuntos U {x0 }, V \ {x0 } son abiertos
disjuntos en X los cuales separan a los conjuntos F, E.

13