Hausdorff space

Grade: A

This page is currently being refactored (along with many others)

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.

Definition

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

• For all [ilmath]a,b\in X[/ilmath] that are distinct there exists neighbourhoods to [ilmath]a[/ilmath] and [ilmath]b[/ilmath], [ilmath]N_a[/ilmath] and [ilmath]N_b[/ilmath] such that:
  • [ilmath]N_a\cap N_b=\emptyset[/ilmath]

Alternate definition

• [ilmath]\forall a,b\in X\exists A,B\in\mathcal{J}[a\ne b\implies A\cap B=\emptyset][/ilmath]

(Unknown grade)

This page requires one or more proofs to be filled in, it is on a to-do list for being expanded with them.

Please note that this does not mean the content is unreliable. Unless there are any caveats mentioned below the statement comes from a reliable source. As always, Warnings and limitations will be clearly shown and possibly highlighted if very important (see template:Caution et al).
The message provided is:

Are these statements the same? Clearly [ilmath]\text{neighbourhood }\implies\text{open-set} [/ilmath] as a neighbourhood to a point requires the existence of an open set containing that point (contained in the neighbourhood) and clearly [ilmath]\text{open-set}\implies\text{neighbourhood} [/ilmath] as an open set is a neighbourhood - write this up.

Further work for this page

• Link to a theorem about all metric spaces being Hausdorff.