# Hausdorff space

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Please note that this does not mean the content is unreliable. It just means the page doesn't conform to the style of the site (usually due to age) or a better way of presenting the information has been discovered.
The message provided is:
Page was 1 year and 1 day since modification, basically a stub, seriously needs an update.

This page is waiting for a final review, then this notice will be removed.

## Definition

Given a topological space [ilmath](X,\mathcal{J})[/ilmath] we say it is Hausdorff or satisfies the Hausdorff axiom if:

• [ilmath]\forall x_1,x_2\in X\big[x_1\neq x_2\implies \big(\exists N_1\in\mathcal{N}(x_1,X)\exists N_2\in\mathcal{N}(x_2,X)[N_1\cap N_2\eq\emptyset]\big)\big][/ilmath][Note 1]
• In words: for any two points in [ilmath]X[/ilmath], if the points are distinct then there exist neighbourhoods to each point such that the neighbourhoods are disjoint
• We may also write it: [ilmath]\forall x_1,x_2\in X\exists N_1\in\mathcal{N}(x_1,X)\exists N_2\in\mathcal{N}(x_2,X)[x_1\neq x_2\implies N_1\cap N_2\eq\emptyset][/ilmath][Note 2][Note 3]
• It may also be said that in a Hausdorff space that "points may be separated by open sets"

A topological space satisfying this property is said to be a Hausdorff space

A Hausdorff space is sometimes called a T2 space

### Equivalent definitions

• [ilmath]\forall x_1,x_2\in X\big[x_1\neq x_2\implies \big(\exists U_1\in\mathcal{O}(x_1,X)\exists U_2\in\mathcal{O}(x_2,X)[U_1\cap U_2\eq\emptyset]\big)\big][/ilmath] - see Claim 1
• In words: for all points in [ilmath]X[/ilmath] if the points are distinct then there exists open sets acting as open neighbourhoods to each point such that these open neighbourhoods are disjoint
• This, along the same thinking as for the definition, may be (and is commonly seen as) written: [ilmath]\forall x_1,x_2\in X\exists U_1\in\mathcal{O}(x_1,X)\exists U_2\in\mathcal{O}(x_2,X)[x_1\neq x_2\implies U_1\cap U_2\eq\emptyset][/ilmath]