Espacio de Hausdorff

(Redirigido desde «Propiedad de Hausdorff»)

En topología, un espacio de Hausdorff, separado o es un

espacio topológico en el que puntos distintos tienen entornos disjuntos. Axiomas de separación
en espacios topológicos
Los espacios de Hausdorff se llaman así en honor de Felix Hausdorff, T0
uno de los fundadores de la topología. La definición original de
Hausdorff de un espacio topológico (de 1914) incluía la propiedad de T1
Hausdorff como axioma.
T2
Todo espacio métrico (y por lo tanto todo espacio normado) es un T2½
espacio de Hausdorff.
completamente T2

Definiciones T3

T3½
Se dice que dos puntos e de un espacio topológico cumplen la
propiedad de Hausdorff si existen dos entornos de y de T4
tales que .
T5
Se dice que un espacio topológico es un espacio de Hausdorff (o que T6
verifica la propiedad de Hausdorff, o que es separado o que es ) si
todo par de puntos distintos del espacio verifican la propiedad de Hausdorff.

(Obsérvese que si x = y, x e y no verifican la propiedad de Hausdorff.)

Principales propiedades de los Espacios de Hausdorff

Todo espacio de Hausdorff es también de Fréchet o T1, y por lo tanto también es un espacio T
D y también un espacio de Kolmogórov o .
Así pues, por ser , todo conjunto unitario es cerrado (para todo punto el conjunto formado
por solo ese punto {p} es un conjunto cerrado).
En un espacio de Hausdorff, las sucesiones convergentes convergen a un único punto.1 ​
Los subespacios de un T2 son T2 (se hereda).2 ​
Los espacios cocientes de espacios Hausdorff pueden ser no Hausdorff. De hecho, todo
espacio topológico puede construirse como el cociente de espacios de Hausdorff.3 ​
Todo espacio métrico es de Hausdorff.1 ​
En un espacio de Hausdorff, los puntos distintos son topológicamente distinguibles.4 ​

Ejemplos y Contraejemplos
1. Todo Espacio Métrico es Hausdorff. Demostración: Para que sea Hausdorff basta con
probar que para todos los puntos x e y ( ) existen 2 abiertos , ( )
disjuntos (es decir ). Esto es trivial pues los espacios métricos están dotados de
una distancia (por definición) y podemos elegir abiertos tales que si con
 donde , luego existen esos abiertos
, y claramente .
2. El conjunto de los números Reales con la topología usual . La demostración es
igual a la anterior pues se da que la topología usual sobre es la topología inducida por la
distancia usual, .
3. Cualquier conjunto no vacío con la topología trivial donde no es
de Haussdorf, pues cualquier abierto que contenga al punto ha de ser el total, que contendrá
a lo que hace imposible separarlos en abiertos disjuntos.
4. Un conjunto X con la topología discreta . Demostración: Basta con aplicar la
definición de topología discreta, sabemos que en todo elemento con es un
conjunto abierto, luego se da que es totalmente disconexa, veamos si cumple Hausdorff:
¿Para todo par de puntos x,y existen dos abiertos disjuntos? Sí pues
todo elemento es abierto. Fin de la demostración.
5. Un conjunto no numerable con la topología conumerable no es Hausdorff.
La topología conumerable es la siguiente:
luego tenemos que ver que para
todo par de puntos existen dos abiertos disjuntos. No es posible
que la intersección sea vacía, pues si lo fuese
. Esto es imposible, pues y son
conjuntos numerables (por ser y abiertos de la topología) y su unión también es
numerable, pero es no numerable, lo que contradice que los abiertos puedan ser disjuntos y
por tanto convirtiendo a en un espacio que no es de Hausdorff.

Véase también
Axiomas de separación
Espacio de Kolmogórov (T0)
Espacio de Fréchet (T1)
Espacio completamente de Hausdorff
Espacio regular (T3)
Espacio de Tíjonov (T3½)
Espacio normal
Topología usual

Bibliografía
Arkhangelskii, A.V., L.S. Pontryagin, General Topology I, (1990) Springer-Verlag, Berlín.
ISBN 3-540-18178-4.
Bourbaki; Elements of Mathematics: General Topology, Addison-Wesley (1966).
Hazewinkel, Michiel, ed. (2001), «Espacio de Hausdorff» (https://www.encyclopediaofmath.org/
index.php?title=Hausdorff_space), Encyclopaedia of Mathematics (en inglés), Springer,
ISBN 978-1556080104.

Referencias
1. Llopis, José L. (2017). «Espacio de Hausdorff» (https://www.matesfacil.com/topologia/separaci
on/espacio-topologico-hausdorff-axioma-separacion-T2-ejemplos-propiedades.html). Matesfacil
(https://www.matesfacil.com). ISSN 2659-8442 (https://portal.issn.org/resource/issn/2659-8442).
2. Llopis, José L. «Propiedades topológicas hereditarias» (https://www.matesfacil.com/topologia/s
ubespacio/propiedades-topologicas-hereditarias-1AN-2AN-Hausdorff-metrizable-demostracion.
html). Matesfacil (https://www.matesfacil.com/). ISSN 2659-8442 (https://portal.issn.org/resource/issn/26
59-8442). Consultado el 10 de octubre de 2019.
3. Shimrat, M. (1956). «Decomposition spaces and separation properties». Quart. J. Math. 2: 128-
129.
4. Sapiña, R. «Puntos indistinguibles» (https://www.problemasyecuaciones.com/topologia/indistin
guibles/puntos-topologicamente-indistinguibles-ejemplos.html). Problemas y Ecuaciones (http
s://www.problemasyecuaciones.com/). ISSN 2659-9899 (https://portal.issn.org/resource/issn/2659-9899).

Obtenido de «https://es.wikipedia.org/w/index.php?title=Espacio_de_Hausdorff&oldid=131113170»