# Hausdorff space

## Definition

### Equivalent definitions in tabular format

A topological space is said to be Hausdorff if it satisfies the following equivalent conditions:

No. Shorthand A topological space is termed Hausdorff if ... A topological space  is termed Hausdorff if ...
1 Separation axiom given any two distinct points in the topological space, there are disjoint open sets containing the two points respectively. given any two points , there exist open subsets  and  such that  is empty
2 Diagonal in square the diagonal is closed in the product of the space with itself in the product space , endowed with the product topology, the diagonal, viz., the subset given by  is a closed subset
3 Ultrafilter convergence every ultrafilter of subsets converges to at most one point if  is an ultrafilter of subsets of , then there is at most one  for which .
4 Separation axiom for finite subsets given any finite collection of distinct points the topological space, there are open subsets containing each of the points in that finite subset that have pairwise trivial intersection. for any finite collection  of distinct points in , there exists a finite collection  of open subsets of  such that  for all  and is empty for .
5 Separation axiom using basis open subsets (choose a basis of open subsets for the topological space) given any two distinct points in the topological space, there are disjoint open sets from the basis containing the two points respectively. (choose a basis of open subsets for the topological space) given any two points , there exist open subsets  and  such that both  and  are in the basis and  is empty
6 Separation axiom for finite subsets using basis open subsets (choose a basis of open subsets for the topological space) given any finite collection of distinct points the topological space, there are open subsets (all from the basis) containing each of the points in that finite subset that have pairwise trivial intersection. for any finite collection  of distinct points in , there exists a finite collection  of open subsets of  (all from the basis) such that  for all  and is empty for .
7 Separation axiom for two compact subsets any two disjoint compact subsets can be separated by disjoint open subsets given any compact subsets  of  (i.e.,  are both compact spaces in the subspace topology), there exist disjoint open subsets  such that  and .
8 Separation axiom for finitely many compact subsets any finite collection of pairwise disjoint compact subsets can be separated by a finite collection of pairwise disjoint open subsets given a finite collection  of pairwise disjoint compact subsets of , there exist pairwise disjoint open subsets  of  such that  for each .
9 Separation axiom between point and compact subset given any point and any compact subset not contianing it, the point and the compact subset can be separated by disjoint open subsets. for any  and any  such that  is compact and , there exist disjoint open subsets  of  such that .
10 preregular and Kolmogorov it is both a preregular space and a Kolmogorov space (i.e., a  space)

### Equivalence of definitions

Further information: equivalence of definitions of Hausdorff space

## Examples

### Extreme examples

• The empty space is a Hausdorff space. For this space, the Hausdorffness condition is vacuously satisfied.
• The one-point space is a Hausdorff space. For this space, the Hausdorffness condition is vacuously satisfied.
• Any discrete space (i.e., a topological space with the discrete topology) is a Hausdorff space.

### Non-examples

This article defines a property of topological space that is pivotal (viz important) among currently studied properties of topological spaces

In the T family (properties of topological spaces related to separation axioms), this is called: T2

View a complete list of basic definitions in topology

## Metaproperties

Metaproperty name Satisfied? Proof Statement with symbols
product-closed property of topological spaces Yes Hausdorffness is product-closed If  is a (finite or infinite) collection of Hausdorff topological spaces, the product of all the s, equipped with the product topology, is also Hausdorff.
box product-closed property of topological spaces Yes Hausdorffness is box product-closed If  is a (finite or infinite) collection of Hausdorff topological spaces, the product of all the s, equipped with the box topology, is also Hausdorff.
subspace-hereditary property of topological spaces Yes Hausdorffness is hereditary Suppose  is a Hausdorff space and  is a subset of . Under the subspace topology,  is also Hausdorff.
refining-preserved property of topological spaces Yes Hausdorffness is refining-preserved Suppose  and  are two topologies on a set , such that , i.e., every subset of  open with respect to  is also open with respect to . Then, if  is Hausdorff with respect to , it is also Hausdorff with respect to .
local property of topological spaces No Hausdorffness is not local It is possible to have a topological space  such that, for every , there exists an open subset  that is Hausdorff but  is not itself Hausdorff. Spaces with this property are called locally Hausdorff spaces.
closure-local property of topological spaces Yes Hausdorffness is closure-local If  is a topological space such that, for every , there exists an open subset  such that the closure  is Hausdorff, then  is Hausdorff.

## Relation with other properties

### Stronger properties

Property Meaning Proof of implication Proof of strictness (reverse implication failure) Intermediate notions
normal Hausdorff space  and any two disjoint closed subsets are separated by disjoint open subsets Hausdorff not implies normal Functionally Hausdorff space, Regular Hausdorff space, Tychonoff space, Urysohn space|FULL LIST, MORE INFO
collectionwise normal Hausdorff space  and collectionwise normal: any discrete collection of closed subsets is separated by disjoint open subsets (via normal) (via normal) |
regular Hausdorff space  and any point and closed subset not containing it are separated by disjoint open subsets Hausdorff not implies regular Urysohn space|FULL LIST, MORE INFO
Tychonoff space  and completely regular: any point and disjoint closed subset are separated by a continuous function to  (via regular) (via regular) Functionally Hausdorff space, Regular Hausdorff space, Urysohn space|FULL LIST, MORE INFO
collectionwise Hausdorff space any discrete set of points can be separated by disjoint open subsets collectionwise Hausdorff implies Hausdorff Hausdorff not implies collectionwise Hausdorff |
functionally Hausdorff space any two distinct points can be separated by a continuous function to the reals Urysohn space|FULL LIST, MORE INFO
Urysohn space any two distinct points can be separated by closure-disjoint open subsets |
metrizable space underlying topology of a metric space metrizable implies Hausdorff Hausdorff not implies metrizable Collectionwise Hausdorff space, Completely regular space, Functionally Hausdorff space, Monotonically normal space, Moore space, Normal Hausdorff space, Regular Hausdorff space, Submetrizable space, Tychonoff space|FULL LIST, MORE INFO
CW-space underlying topological space of a CW-complex CW implies Hausdorff Hausdorff not implies CW Completely regular space, Normal Hausdorff space, Regular Hausdorff space|FULL LIST, MORE INFO
submetrizable space either metrizable or can be made metrizable by passage to a coarser topology Functionally Hausdorff space|FULL LIST, MORE INFO

### Weaker properties

Property Meaning Proof of implication Proof of strictness (reverse implication failure) Intermediate notions
preregular space any two topologically distinguishable points can be separated by pairwise disjoint open subsets direct |
locally Hausdorff space every point is contained in an open subset that's Hausdorff Hausdorff implies locally Hausdorff locally Hausdorff not implies Hausdorff |
weakly Hausdorff space any subset of it that is the image of a compact Hausdorff space under a continuous map is closed in it |
KC-space every compact subset is closed Hausdorff implies KC KC not implies Hausdorff Weakly Hausdorff space|FULL LIST, MORE INFO
US-space every convergent sequence has a unique limit Hausdorff implies US US not implies Hausdorff KC-space, Weakly Hausdorff space|FULL LIST, MORE INFO
sober space every irreducible subset is the closure of a single point Hausdorff implies sober sober not implies Hausdorff Sober T0 space, Sober T1 space|FULL LIST, MORE INFO
T1 space every point is closed Hausdorff implies T1 T1 not implies Hausdorff KC-space, Locally Hausdorff space, Sober T1 space, Weakly Hausdorff space|FULL LIST, MORE INFO
sober T1 space sober and T1 (via both components of conjunction) |
Kolmogorov space (also called ) any two distinct points are topologically distinguishable KC-space, Locally Hausdorff space, Sober T0 space|FULL LIST, MORE INFO
sober T0 space sober and Kolmogorov Sober T1 space|FULL LIST, MORE INFO

## References

### Textbook references

• Topology (2nd edition) by James R. MunkresMore info, Page 98, Chapter 2, Section 17 (formal definition)
• Lecture Notes on Elementary Topology and Geometry (Undergraduate Texts in Mathematics) by I. M. Singer and J. A. ThorpeMore info, Page 26 (formal definition)