Completely regular space with a G$_\delta$-singleton which is not a zero-set

Question

Is there a completely regular (Hausdorff) space in which all singleton subsets are G_δ but which has a singleton subset which is not a zero-set? (Better yet, a first-countable such space.)

Recall that a subset $A$ of a topological space $X$ is called a zero-set if there is a continuous function $f : X \to [0,1]$ such that $A = f^{-1} (0)$. Clearly zero-sets are always closed G_δ. However a closed G_δ-set need not be a zero set: the Moore plane has the property that all closed subsets are G_δ, and furthermore every subset of the $x$-axis is closed. However the closed G_δ-set $A = \{ (x,0) : x \in \mathbb{Q} \}$ is not a zero-set.

A relatively simple consequence of Urysohn's Lemma is that in a normal space the zero-sets are exactly the closed G_δ-sets. Therefore, in a normal (Hausdorff) space with G_δ singletons, all singletons are zero-sets. I have been trying to think of a completely regular (Hausdorff) space with G_δ singletons which has a singleton which is not a zero-set.

Note that the Moore plane is not an example. Though it is completely regular (Hausdorff) and first-countable (hence all singletons are G_δ), every singleton can be shown to be a zero-set.

Answer 1

There is not.

Let $X$ be Tikhonov and have countable pseudocharacter (i.e., singletons are $G_\delta$ sets). Fix $x\in X$, and let $\mathscr{U}=\{U_n:n\in\Bbb N\}$ be a family of open nbhds of $x$ such that $\bigcap\mathscr{U}=\{x\}$. For $n\in\Bbb N$ there is a continuous $f_n:X\to[0,2^{-n}]$ such that $f_n(x)=0$, and $f_n(y)=2^{-n}$ for $y\in X\setminus U_n$. Let

$$f:X\to[0,1]:y\mapsto\sum_{n\in\Bbb N}f_n(y)\;;$$

Then $f$ is continuous, and $f^{-1}[\{0\}]=\{x\}$, so $\{x\}$ is a zero-set of $X$.