AXIOMAS DE SEPARACION

ARTURO JOSE BELTRAN MENDOZA

12 de Marzo de 2015

Definicion 1 Se dice que un espacio topologico (X, ) es T0 si para cada par de puntos distintos
existe un abierto que contenga a uno de los puntos y no al otro.

Observacion 1 Ser T0 es equivalente a la siguiente afirmacion.

Si x e y son puntos distintos de X si y solo si {x} =
6 {y}.

DEMOSTRACION DE LA OBSERVACION 1: Sean x, y X, x 6= y y como X es T0 existe U

tal que x U e y 6 U , de donde y X U .
Luego, U Vx (Vx es el conjunto de vecindades abiertas del punto x), y ademas U {y} = . as,
x 6 {y} y como x {x}, entonces {x} =6 {y}.

Reciprocamente, Sean x, y X, x 6= y por la parte anterior existe z 6 {x} tal que z {y};
en consecuencia, existe U Vz tal que U {x} =
6 y U {y} = . Por lo tanto, (X, ) es T0 .

Ejemplo 1 El espacio Sierpinski X = {0, 1} con la topologa {, {0}, {0, 1}}, es un espacio T0 . Los
unicos puntos distintos entre s son 0 y 1; y {0} es una vencidad de 0 que no contiene a 1.

Ejemplo 2 Si X es un conjunto con mas de un punto y topologa grosera, entonces X no es un

espacio T0 .

Definicion 2 Se dice que (X, ) un espacio topologico es T1 si para cada par de puntos distintos
x, y X, existen U, V tal que x U , x 6 V e y V ,y 6 U .

Ejemplo 3 Sea (X, ) un espacio topologico en el que es la topologa cofinita, es decir

= {} {G X : X G es f inito}
Entonces (X, ) es T1 .

Observacion 2 Todo espacio T1 es T0 , pero el recproco no se cumple.

En efecto;
Supongamos que X es T1 y sean x, y X, x 6= y, entonces existen U, V tal que x U e y 6 U
y y V e x 6 V . Por tanto, x U , y 6 U .
Luego, X es T0 .

Notese que el espacio de Sierpinski es un ejemplo de espacio T0 que no es T1 .

Teorema 1 Sea (X, ) un espacio topologico arbitrario; son equivalentes las siguientes afirmacio-
nes:
a) (X, ) es T1 .

1
b) {x} es cerrado en (X, ); para todo x X.
c) Todo subconjunto de X es la interseccion de la familia de abiertos que lo contienen.

DEMOSTRACION: a) b) Sea x X, y 6= x, veamos que {x} = {x}. Supongamos que existe

y {x}, luego por a) existe V tal que y V y x 6 V , de modo que y V X {x} y ademas
V Vy ; donde Vy es el conjunto de vecindades abiertas del punto y. As, V {x} = .
Por tanto, y 6 {x}, para todo y X, y 6= x. Lo cual es absurdo.
Luego, {x} = {x}; por lo tanto, {x} es cerrado en (X, ).

b) c) Sea A X y sea V = jJ Vj : Vj y A Vj , j J, entonces A V . Sea

x V y supongamos que x X A; entonces A X {x} que es abierto porque por la parte b)
{x} es cerrado. Entonces X {x} = Vj ; para algun j J, pero V Vj , de donde x X {x}, lo
cual es absurdo, esto muestra que es falso suponer que x X A. Por lo tanto, A = V . A es la
interseccion de abiertos que lo contienen.

c) a) Sean x, y X, x 6= y, por parte c) {x} es la interseccion de abiertos que lo contie-

nen; por lo tanto y no pertenece a todos los abiertos anteriores. Luego, existe U tal que
x U X {y}.
Analogamente se prueba que existe V tal que y V X {x}.
Por lo tanto, (X, ) es T1 .
Definicion 3 Decimos que un espacio topologico es T2 o de Hausdorff si para cualquiera dos ele-
mentos distintos x, y X existen abierto U y V tales que x U , y V y U V = .

Observacion 3 Todo espacio T2 es T1 .

Teorema 2 Todo conjunto de puntos finitos de un espacio Hausdorff es cerrado.

DEMOSTRACION: Solo basta mostrar que el conjunto {x} es cerrado.

Dado y X {x}, existen abiertos U, V tal que x U , y V . Luego, y V X {x}. Por
tanto, X {x} es una vecindad con todos sus puntos, as X {x} es abierto. Por lo tanto, {x} es
cerrado.
Teorema 3 Sea X un espacio de Hausdorff; sea A un subconjuto de X. Entonces x es un punto
lmite de A si y solo si cada vecindad de x contiene infinitos puntos de A.
DEMOSTRACION: ) Si toda vecindad V de x intersecta a A en infinitos puntos, luego, inter-
secta a A en un punto que no es x. Por tanto, x es un punto lmite de A.
) Supongamos por contradiccion que x es un punto lmite de A, ademas, supongamos que una
vecindad V de x intersecta a A en finitos puntos. Entonces V intersecta a A {x} en finitos puntos.
Ahora, sea {x1 , x2 , ...xn } los puntos de V (A {x}).
El conjunto X {x1 , x2 , ...xn } es un conjunto abierto, ya que por teorema 2 el conjunto finito
{x1 , x2 , ...xn } es cerrado, as, V (X {x1 , x2 , ...xn }) es una vecindad de x que intersecta a A {x}
pero no en todos sus puntos, lo cual es absurdo, puesto que contradice el hecho que x es un punto
lmite.
Teorema 4 a) Cada subespacio de un espacio T2 es T2 .
b) Un espacio producto no vaco es T2 si y solo si cada espacio factorial es T2 .
c) El cociente de espacios T2 no tiene que ser T2 .

2
DEMOSTARCION: Para a) Si X es T2 y A es un subespacio de X, dados dos puntos distintos
x, y A existen abiertos disjuntos U, V en X que separan a x e y, luego, U A, V A son abiertos
disjuntos en A que separan a x e y. Por tanto, cada subespacio de un espacio T2 es T2 .
Para b) Sea {Xi }iJ una familia no vaca. Q
Supongamos que {Xi } es T2 para todo i J, si xi 6= zi en Xi tales puntos diferiran al menos una
coordenada, es decir, existe un k J tal que xk 6= zk . Como Xk es Hausdorff existiran UkQ , Vk k
1 1
tal que xk Uk , zk Vk y Uk Vk = , entonces xi pk (Uk ), zi pk (Vk ) abiertos en Xi tal
que p1 1
k (Uk ) pk (V
1
k ) = pk (Uk Vk ) = .

Q
Reciprocamente, Q si Xi es Hausdorff y k J elegimos un punto xi Xi para cada i 6= k y sea
ik : Xk Xi , dada por, ik (Xk ) = (ik ) con xi = xi para todo i 6= k. Como la propiedad
Hausdorff es hereditaria se sigue que ik (Xk ) es Hausdorff, pero ik (Xk ) es homeomorfo a Xk para
todo k J.
Para c) es falso y he aqu un contraejemplo:
Sea X = R2 con la topologa usual y definimos la siguiente relacion de equivalencia (x1 , y1 )<(x2 , y2 )
si y solo si y1 , y2 < 0 o y1 , y2 0. Sea A = {(x, y) : y 0} y B = {(x, y) : y < 0} y consideremos
la identificacion
q : X X X 1
< , denotamos q(A) = a y q(B) = b. Entonces < = {a, b}. Como q (b) = B abierto en la
topologa usual, se sigue que {b} es abierto en X X
< , luego la topologa cociente es (q) = {, {b}, < },
X
es decir ( < , (q)) es el espacio de Sierpinski, que no es Hausdorff.