A topological space (or more generally, a convergence space) is Hausdorff if convergence is unique. The concept can also be defined for locales (see Definition 3 below) and categorified (see Beyond topological spaces below). A Hausdorff space is often called , since this condition came second in the original list of four separation axioms (there are more now) satisfied by metric spaces.
Hausdorff spaces are a kind of nice topological space; they do not form a particularly nice category of spaces themselves, but many such nice categories consist of only Hausdorff spaces. In fact, Felix Hausdorff's original definition of ‘topological space’ actually required the space to be Hausdorff, hence the name. Certainly homotopy theory (up to weak homotopy equivalence) needs only Hausdorff spaces. It is also common in analysis to assume that all spaces encountered are Hausdorff; if necessary, this can be arranged since every space has a Hausdorff quotient (in fact, the Hausdorff spaces form a reflective subcategory of Top), although usually an easier method is available than this sledgehammer.
There are many equivalent ways of characterizing a space as Hausdorff. The traditional definition is this:
That is, any two distinct points can be separated by open neighbourhoods.
Here is a classically equivalent definition that is more suitable for constructive mathematics:
Given points and of , if every neighbourhood of in meets every neighbourhood of in (which means that is inhabited), then .
A more conceptual way of saying this, which makes sense also for locales, is the following
That is, convergence in a Hausdorff space is unique.
The topology on a compact Hausdorff space is given precisely by the (existent because compact, unique because Hausdorff) limit of each ultrafilter on the space. Accordingly, compact Hausdorff topological spaces are (perhaps surprisingly) described by a (large) algebraic theory. In fact, the category of compact Hausdorff spaces is monadic (over Set); the monad in question maps each set to the set ultrafilters on it. (The results of this paragraph require the ultrafilter theorem, a weak form of the axiom of choice; see ultrafilter monad.)
A compact Hausdorff locale (or space) is necessarily regular; a regular locale (or space) is necessarily Hausdorff. Accordingly, locale theory usually speaks of ‘compact regular’ locales instead of ‘compact Hausdorff’ locales, since the definition of regularity is easier and more natural. Then a version of the previous paragraph works for compact regular locales without the ultrafilter theorem, and indeed constructively over any topos.
Arguably, the desire to make spaces Hausdorff () in analysis is really a desire to make them ; nearly every space that arises in analysis is at least regular, and a regular space must be Hausdorff. Forcing a space to be is like forcing a category to be skeletal; indeed, forcing a preorder to be a partial order is a special case of both (see specialisation topology for how). It may be nice to assume, when working with a particular space, that it is but not to assume, when working with a particular underlying set, that every topology on it is .
Whatever one thinks of that, there is a non- version of Hausdorff space, an space. (The symbol here comes from being a weak version of a regular space; in general a space is precisely both and ). This is also called a preregular space (in HAF) and a reciprocal space (in convergence theory).
Given points and , if every neighbourhood of meets every neighbourhood of , then every neighbourhood of is a neighbourhood of . Equivalently, if any net (or proper filter) converges to both and , then every net (or filter) that converges to also converges to .
There is also a notion of sequentially Hausdorff space:
Whenever a sequence converges to both and , then .
Some forms of predicative mathematics find this concept more useful. Hausdorffness implies sequential Hausdorffness, but the converse is false even for sequential spaces (although it is true for first-countable spaces).
The reader can now easily define a sequentially space.
Comments on the relation to topos theory are for instance in