los axiomas de separacin:

Nuestra definicin de topologa admite estructuras que son, para la mayora

de los propsitos, intiles. La topologa trivial sobre X, por ejemplo, hace que
X no se vea muy diferente de un punto nico, topolgicamente. Sera mucho
ms agradable si parte del conjunto La estructura terica de X se refleja en su
topologa. Lo que se necesita, aparentemente, es un requisito de que la
topologa en X contenga suficientes conjuntos abiertos para distinguir entre
los puntos de X, de alguna manera. Introducido al requerir que X satisfaga
uno de los axiomas de separacin (o, en alemn, trennungsaxiome) t0, t1 o
t2.
13.1 Definicin: Un espacio topolgico X es un espacio T0 (o, la topologa en
X es T0) si, cuando x e y son puntos distintos en X, hay un conjunto abierto
que contiene uno y no el otro.

13.3 Definicin: Un espacio topolgico X es un espacio T1 si, cuando x e y son

puntos distintos en X, existe una nidad de cada uno que no contiene el otro.
Evidentemente, cada espacio T1 es T0. Pero el conjunto X = {a, b} con la
topologa que consiste en los conjuntos abiertos vacio, {a}, y X es un espacio
T0 que no es T1. Podemos dejar las pruebas de que los subespacios y
productos del espacio T1 son T1, y el resultado sobre los cocientes de los
espacios T1, al Ejercicio 13B. El siguiente teorema facilita ese ejercicio.
13.4 teorema: Los siguientes son equivalen, para un espacio topolgico X:
a) X es T1,
b) cada conjunto de un punto en X est cerrado,
c) cada subconjunto de X es la interseccin de los conjuntos abiertos que lo
contienen.
Prueba: a) b): Si X es T1 y xX, entonces cada y x tiene nhood disjunto de
{x}, por lo que X- {x} est cerrado.
b) c): Si AX, entonces A es la interseccin de todos los conjuntos de la
forma X- {x}, para x A, y cada uno de ellos est abierto, ya que los conjuntos
de un punto se cierran.
c) a): Si (c) se cumple, entonces {x} es la interseccin de sus espacios
abiertos y por lo tanto para cualquier y x, hay un conjunto abierto que
contiene x y no y.

La verdadera importancia de los espacios T1 reside en la observacin

anterior: son los espacios en los cuales los puntos estn cerrados. Sin
embargo, los espacios ms restringidos que estn a punto de ser introducidos
tendrn tambin esta propiedad y tendrn adems una propiedad de lmites
nicos muy importante. As, la siguiente propiedad de separacin es la ms
importante de las mencionadas hasta ahora.
13.8 Teorema.
a) Cada subespacio de un espacio T2 es T2.
b) Un espacio de producto no vaco es T2 si el espacio de cada factor es T2.
c) los cocientes de los espacios T2 no necesitan ser T2.
Prueba.
a) Si X es T2 y A es un subespacio de X, puntos distintos a y b en A tienen
uniones disjuntas U y V en X y entonces UA y VA son disyunciones de a y b
en A.
b) Si X es un espacio T2, para cada A, y x y en X, entonces para
alguna coordenada , x y, pueden encontrarse disociaciones U de x y
V de y en X. Ahora (-1) (U) y (-1) (V) son disyunciones de x e y,
respectivamente, en X.
Por el contrario, si X es un espacio T2 no vaco, escoja un punto fijo b
X, para cada A. Entonces el subespacio B = {xX | x = b a menos
que = } sea T2, por la parte (a) y es homeomorfa a X bajo la restriccin a
B del mapa de proyeccin. As X es T2, para cada .
c) ver los siguientes ejemplos.

13.10 Teorema. Si f: X Y es continua e Y es Hausdorff, entonces {(x1, x2) | f

(x1) = f (x2)} es un subconjunto cerrado de X x X.
Prueba: Sea A = {(x1, x2) | f (x1) = f (x2)}. Si (x1, x2) A, entonces f (x1) y f (x2)
son distintas y por lo tanto tienen disfunciones U y V en Y. Entonces, 1 (U) y f
-1 (V) son nhoods de x1 y x2 respectivamente, as que f -1 (U) x f -1 (V) es un
nhoods de (x1, x2) .Obviamente este nhood no puede cumplir A, por lo que A
est cerrado.
13.11 Teorema. Si f es un mapa abierto de X sobre Y y el conjunto {(x1, x2) | f
(x1) = f (x2)} se cierra en X x X, entonces Y es Hausdorff.
`Prueba: suponer f (x1) y f (x2) son punto distinto de Y. Entonces
(x1, x2) A = {(x1, x2) | f (x1) = f (x2)}, por lo que existen espacios abiertos U
ofx1 y V de x2 tales que (U x V) A = . Entonces, puesto que f est abierto, f
(U) y f (V) son nhoods de f (x1) y f (x2), respectivamente, y f (U) f (V) = (de
otra manera (U x V) A ).
13.12 Teorema. Si f es un mapa continuo abierto de X sobre Y, entonces Y es
Hausdorff iff {(x1, x2) | f (x1) = f (x2)} es un subconjunto cerrado de X x X
Prueba. Simplemente combinar 13.10 y 13.11.

Los espacios localmente compactos Analizamos que tratan con espacios

abstractos a menudo aprecian la presencia de alguna forma de compacidad.
Muy a menudo, es suficiente que los espacios en cuestin sean localmente
compactos.
18.1 definicin: Un espacio X es localmente compacto iff cada punto de X
tiene una base de nhood que consiste en conjuntos de compactos.
Recordando que un espacio es regular si cada punto tiene una base que
consiste en conjuntos cerrados, vemos inmediatamente que cada espacio
Hausdorff localmente compacto es regular (en la siguiente seccin veremos
desde un ngulo ligeramente mejor que cada espacio localmente compacto,
pero para la mayora de los espacios, podemos detenernos tan pronto como
uno haya sido encontrado, de acuerdo con el siguiente teorema.
18.2 Teorema: Un espacio Hausdorff X es compacto ocalmente si cada punto
de X tiene una superficie compacta.
prueba: Supongamos que x tiene un nhood compacto K. Sea U cualquier
nhood de x, y sea V = int (KU). Entonces V es una abertura de x. Ahora CLx
(V) es compacto y Hausdorff, por lo que CLx (V) es regular. Entonces, puesto
que V es una nidad de x en CLx (V), es una nidad W de x en CLx (V) con CL
(CLx (V) (W))) V. Ahora W est abierto en V y por lo tanto en X, y CL (CLx (V)
(W))) se cierra en CLx (V) y por lo tanto compacto; esto hace que sea una
nhood compacta de x en X que est contenida en U.Hence x tiene una base
de nhoods compacto en X. La implicacin de orther es fcil. El teorema 18.2
nos proporciona el camino habitual para probar el comacto local, o
compacidad no local, de los ejemplos familiares de espacios topolgicos. Por
un lado, implica que todo espacio compacto de Hausdorff es localmente
compacto: Aqu hay otros ejemplos.
18.4 Teorema. En un espacio Hausdorff localmente compacto, la interseccin
de un conjunto abierto con un conjunto cerrado es localmente compacto. Por
el contrario, un subconjunto localmente compacto de un espacio Hausdorff
es la interseccin de un conjunto abierto y un conjunto cerrado.
Prueba; Sea X local e I2. Si A est abierto en X y aA, el a tiene una unidad
compacta K en X contenida en A, y K es entonces una compacidad de a en A,
por lo que A es localmente compacta. Si B est cerrado en X y b B, entonces
b tiene un nhood compacto K en XKB es un nhood compacto de b en B es
localmente compacto. Por lo tanto, los subconjuntos abiertos y los
subconjuntos cerrados de X son localmente compactos, de modo que, en
particular; la interseccin de un conjunto abierto con un conjunto cerrado en
X es localmente compacta.
Por el contrario, supongamos que Y es Hausdorff y X es un subconjunto
alocallly compacto de Y. Basta con mostrar X est abierto en CLy (X) (Por
qu?). Sea xX y encuentre un nhood U de x en X tal que Clx (U) sea
compacto, por compactnes locales. Diga U = XV donde Vis se abre en Y.
Entonces
CLy ((XV) X) = CLy (UX) = CLx (U)
y el segundo es compacto. Entonces CLy ((XV) X) est cerrado en Y. Pero
contiene (XV) y por tanto CLy (XY); es decir, (CLy (X)) V X, y por lo tanto
(CLy (X)) V es una nidad de x en CLy (X) que est contenida en X, por lo que
X en CLy (X).