# Zero-dimensional but not Hausdorff

Let's call a space zero-dimensional if it has a basis of clopen sets, and is $T_0$. Is there a zero-dimensional space that is not Hausdorff?

## 1 Answer

No. Let $x\neq y$ and let be $U$ a clopen neighbourhood of $x$ not containing $y$. Then the complement of $U$ is a clopen neighbourhood of $y$, disjoint from $U$.

• I'm not sure I agree. How do you know such a $U$ exists? What if the only neighborhood of $x$ is the entire space? – manthanomen Apr 21 '15 at 7:02
• @manthanomen Such a $U$ is guaranteed by the definition of a basis: for any open set $U$ and $x \in U$, there is a basis element $V$ such that $x \in V \subset U$. – user98602 Apr 21 '15 at 7:05
• @MikeMiller But the containment $V \subset U$ isn't necessarily proper. But I realized the argument works because of the $T_0$ condition. If we can't find a neighborhood of $x$ not containing $y$, we can find a neighborhood of $y$ not containing $x$ and proceed similarly. – manthanomen Apr 21 '15 at 7:29
• Oh, I misread your complaint. Yes, I agree that $x$ needs to be the one that actually has a neighorhood (otherwise, as you said, just swap them). Sorry for the confusion. – user98602 Apr 21 '15 at 7:32