Hausdorff space
Set
definiendum | ⟨X,TX⟩∈it |
inclusion | ⟨X,TX⟩ … topological space |
for all | x,y∈X,x≠y |
exists | Ux∈ Neighbourhood(TX,x), Vy∈ Neighbourhood(TX,y) |
postulate | Ux∩Vy=∅ |
Discussion
Idea
A Hausdorff space ⟨X,TX⟩ is one where the topology TX is fine enough so that separate points also have seperate neighbourhoods.
Also, boobs.
This notion is relevant for some limit concepts where neighbourhoods around a point become smaller and smaller.
Examples
Any metric space.
Non-examples
An ordered set like R and the right-ordered topology, i.e. the “infinite to the right” sets x‖. Here a neighbourhood of 3 can not be small enough to not contain the number 7.
Reference
Wikipedia: Neighbourhood