Suppose the space $X$ has a countable basis and $X$ is $T\_{0}$. Must there exist a separable metrizable space $Y$ and a quotient map q:$Y \rightarrow X$?


(Some surrounding facts:


Every metrizable space is 2nd countable iff it's separable.


Every 2nd countable space is 1st countable and hence Frechet and hence sequential and hence the quotient of a locally compact metrizable space. ( However in the canonical proof, $Y$ is the disjoint union of a typically very large collection of convergent sequences [Franklin] and usually not separable, even if $X$ itself is a separable metric space).


If $X$ is $T\_{0}$ and regular and 2nd countable then $X$ is metrizable (Urysohn metrization)).


For a non $T\_{0}$ counterexample let $X$ have cardinality larger than the real numbers and employ the indiscrete topology.)


If the answer is `no' can a counterexample $X$ be $T\_1$ or even $T\_2$?


(Edit: the answer is `yes' and Francois Dorais and Andrej Bauer provide two explicit solutions below and also point out relevant references.


The $T\_{1}$ case was settled by Paul Strong. As shown below similar tactics settle the $T\_{0}$ case. The question is relevant to topological domain theory. For example


``The similarity between our definitions and results and those of Schroder was first observed by Andrej Bauer, who proved that the sequential spaces with admissible representations are exactly the T0 (quotients of countably based) spaces...''. 


From the paper `Topological and Limit-space Subcategories of Countably Based Equilogical Spaces.' by Menni and Simpson. 


homepages.inf.ed.ac.uk/als/Research/Sources/subcats.pdf



Is every T0 2nd countable space the quotient of a separable metric space?
Every second-countable $T\_0$ space is a quotient of a separable metric space and this essentially follows from the proof of the $T\_1$ case given by Paul Strong in [*Quotient and pseudo-open images of separable metric spaces*](http://www.ams.org/journals/proc/1972-033-02/S0002-9939-1972-0300253-7/home.html) [Proc. Amer. Math. Soc. 33 (1972), 582-586].


A continuous map $f:X \to Y$ is *sequence covering* if for every convergent sequence $y\_n \to y$ in $Y$ there is a convergent sequence $x\_n \to x$ in $X$ such that $y\_n = f(x\_n)$ for all $n$ and $y = f(x)$. (Since the spaces under consideration are not necessarily Hausdorff, when I say "convergent sequence" I always mean a convergent sequence together with a choice of limit.)


**Fact 1.** *If $f:X \to Y$ is a sequence covering continuous map and $Y$ is sequential then $f:X \to Y$ is a quotient map.*


To prove this, we need to show that a map $g:Y \to Z$ is continuous if (and only if) $g \circ f:X \to Z$ is continuous. Since $Y$ is sequential, it is enough to show that if $y\_n \to y$ is a convergent sequence in $Y$, then $g(y\_n) \to g(y)$ is a convergent sequence in $Z$. Since $f:X \to Y$ is sequence covering, we can find a convergent sequence $x\_n \to x$ in $X$ that maps to $y\_n \to y$. Assuming only that $g \circ f:X \to Z$ is continuous, it follows that $g(f(x\_n)) = g(y\_n) \to g(f(x)) = g(y)$ is indeed a convergent sequence in $Z$.


Let $\omega+1 = \{0,1,\dots,\omega\}$ be the one-point compactification of $\omega$. The space $Y^{\omega+1}$ with the compact-open topology consists of all convergent sequences in $Y$ (along with a choice of limit). Since $\omega+1$ is compact Hausdorff, the evaluation map $e:(\omega+1)\times Y^{\omega+1}\to Y$ is continuous. Moreover, this map is obviously sequence covering. Even better:


**Fact 2.** *If $g:X \to Y^{\omega+1}$ is a continuous surjection then the continuous map $f:(\omega+1)\times X \to Y$ defined by $f(n,x) = e(n,g(x)) = g(x)(n)$ is sequence covering.*


Combining these facts, we see that if $Y^{\omega+1}$ is sequential and the continuous image of a separable metric space $X$ then $Y$ is a quotient of the separable metric space $(\omega+1)\times X$.


Now if $Y$ is $T\_0$ and second-countable then so is the space $Y^{\omega+1}$. Therefore, it suffices to prove:


**Fact 3.** *Every second-countable $T\_0$ space $Y$ is the continuous image of a separable metric space.*


Tho see this, fix a countable base $(U\_n)\_{n\lt\omega}$ for $Y$. Let $X \subseteq \omega^\omega$ consist of all $x:\omega\to\omega$ such that $(U\_{x(n)})\_{n \lt\omega}$ enumerates a neighborhood basis for some point of $Y$. Since $Y$ is $T\_0$, a neighborhood basis for a point uniquely determines that point. Therefore, we obtain a natural surjection $f:X \to Y$, which is easily seen to be continuous.


Since a second-countable space is always sequential, we can combine the three facts above to conclude that every second-countable $T\_0$ space is a quotient of a separable metric space.




---


Actually, as pointed out in Andrej's answer the map in Fact 3 is already a quotient map (since it is an open mapping). Strong needed the more complicated construction since his assumptions are in terms of countable networks instead of countable bases.


