Hausdorffness is closure-local

This article gives the statement, and possibly proof, of a topological space property (i.e., Hausdorff space) satisfying a topological space metaproperty (i.e., closure-local property of topological spaces)
View all topological space metaproperty satisfactions | View all topological space metaproperty dissatisfactions
Get more facts about Hausdorff space |Get facts that use property satisfaction of Hausdorff space | Get facts that use property satisfaction of Hausdorff space|Get more facts about closure-local property of topological spaces

Statement

Suppose $X$ is a topological space such that for any point $x\in X$, there exists an open subset $U\ni x$ such that the closure $\overline{U}$ is a Hausdorff space. Then, $X$ is also a Hausdorff space.

Related facts

• Hausdorffness is not local

Proof

Given: A topological space $X$ such that for any point $x\in X$, there exists an open subset $U\ni x$ such that the closure $\overline{U}$ is a Hausdorff space. We are given two distinct points $x,y\in X$.

To prove: We can find disjoint open subsets $V,W$ of $X$ such that $V\ni x,W\ni y$.

Proof:

Step no.	Assertion/construction	Facts used	Given data used	Previous steps used	Explanation
1	There exists an open subset $U\ni x$ such that the closure $\overline{U}$ is a Hausdorff space.		given data directly used		direct
2	If $y\notin \overline{U}$, then we can take $V=U$ and $W=X\setminus \overline{U}$.			Step (1)
3	If $y\in \overline{U}$, then there exist open subsets $A,B$ of $\overline{U}$ such that $x\in A,y\in B$ and $A\cap B$ is empty.
4	Continuing with the assumption and notation from Step (3), then there exists $W$ open in $X$ such that $B=W\cap \overline{U}$. In particular, $y\in W$.	definition of subspace topology		Step (3)
5	Continuing with the assumption and notation from Step (3), the set $V=A\cap U$ is open in $X$.	Fact (1)			By definition of subspace topology going from $\overline{U}$ to $U$, $V$ is open in $U$. Thus, by Fact (1), $V$ is open in $X$.
6	Continuing with the assumption and notation from Steps (3)-(5), the sets $V$ and $W$ are disjoint.			Steps (3), (4) ,(5)	$V$ is contained in $U$ by Step (5) and hence in $\overline{U}$. So, $V\cap W=V\cap (W\cap \overline{U})=V\cap B\subseteq A\cap B$. $A$ and $B$ are disjoint by Step (3), hence the intersection is trivial.
7	$V,W$ are the desired disjoint open subsets.			Steps (4), (5), (6)	Step-combination direct