# Total separatedness and separation axioms

Recall that a nonempty topological space $$X$$ is said to be totally separated iff, for every distinct points $$x,y \in X$$, there is a separation $$U,V$$ of $$X$$ such that $$x \in U$$ and $$y \in V$$. It can be readily seen that every such space is completely Hausdorff. As such, I tried to find stronger conditions, while associating with separation axioms.

A stronger condition involving regularity:

Definition 1. A nonempty topological space $$X$$ is said to be regularly separated iff, it is $$T_1$$ and for every closed subset $$A \subset X$$ and a point $$x \in X \setminus A$$, there is a separation $$U,V$$ of $$X$$ such that $$x \in U$$ and $$A \subset V$$.

Obviously, this implies total separatedness. The implication is strict. Deleted Tychonoff Corkscrew (Counterexamples In Topology by Steen & Seebach, Part II, Section 91.) is one counterexample. Note that this implies also complete regularity.

An even stronger condition involving normality:

Definition 2. A nonempty topological space $$X$$ is said to be normally separated iff, it is $$T_1$$ and for every disjoint closed subsets $$A,B \subset X$$, there is a separation $$U,V$$ of $$X$$ such that $$A \subset U$$ and $$B \subset V$$.

Obviously, this implies regular separatedness. But is this implication strict? I have a strong intuition that Sorgenfrey Plane is one counterexample. Since Sorgenfrey Plane is totally separated, completely regular, but not normal, it would suffice to prove that Sorgenfrey Plane is regularly separated. How?

• What do you mean by "separation $U$,$V$"? What exactly are those subsets? It seems that something more than disjoint and open. Mar 21 at 9:34
• @freakish Disjoint, open, nonempty, and their union is the entire space. Mar 21 at 9:35

The Sorgenfrey line is zero-dimensional (each half-open interval $$[x, y[$$ is clopen), products of zero-dimensional spaces are zero-dimensional, hence the Sorgenfrey Plane is "regularly separated".
• ultranormal $\Leftrightarrow$ T1 and if $A,B\subseteq X$ disjoint closed sets there is a clopen set with $A\subseteq C,B\subseteq C^{c}$