5.11 pruebe lo dicho en la proposición 5.2.

5
Proposición 2.5.2: Todo subespacio de un espacio T 1 es T 1
Demostración
Sean X un espacio T 1 y A un subespacio de X. sean x , ydos puntos distintos de A, por
ser X un espacio T 1, existen vecindades V x y V y de x e y respectivamente, tales que
x ∉ V y y y ∉V x. Luego, los conjuntos (V x ∩ A) y (V y ∩ A) son entonces subconjuntos
abiertos disjuntos de S, x ∉(V x ∩ A) e y ∉( V y ∩ A). Por lo tanto, A es T 1.
Otra forma
Sea X un espacio T 1 y sea S un subespacio de X. Sean x , ydos puntos distintos de S y
veamos que S es T 1. Como x , y ∈ S y S es un subespacio de X, luego x , y ∈ X. Ahora,
como X es T 2, luego existen V x ∈V x y V y ∈V y vecindades de x e y en X respectivamente
tales que y ∉V x y x ∉V y. Ahora, sea U =V x ∩S una vecindad de x en S tal que y ∉U y
además, sea V =V y ∩ S una vecindad de y en S tal que x ∉ V . Por lo tanto, y ∉U y x ∉V
y así S es T 1