Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Suppose $X$ is a topological space and $U\subset X$ is open. I want to find a continuous function $f : X \to \mathbb{R}$ such that $$ \{ x\in X : f(x) \neq 0 \} = U$$ Can this always be done?

share|cite|improve this question
up vote 1 down vote accepted

No. Note that $\{x \in X: f(x) \ne 0\} = \bigcup_{n=1}^\infty \{x \in X: |f(x)| \ge 1/n\}$. So if such an $f$ exists, $U$ is not only an open set but an $F_\sigma$ (the countable union of closed sets). Any open set that is not an $F_\sigma$ is a counterexample.

For example, take $X$ to be the set of ordinals $\le$ the first uncountable ordinal $\omega$ (considered as a topological space with the order topology), and $U = \{x \in X: x < \omega\}$. Any closed set contained in $U$ is countable but $U$ is uncountable, so $U$ is not an $F_\sigma$.

share|cite|improve this answer

In the topological vernacular, a set of the form $f^{-1} [ \mathbb{R} \setminus \{ 0 \} ] = \{ x \in X : f(x) \neq 0 \}$ for a continuous function $f : X \to \mathbb{R}$ is called a co-zero set, and as Robert Israel mentions, such a set must not only be open, but also F$_\sigma$. Complements of a co-zero sets (i.e., sets of the form $f^{-1} [ \{ 0 \} ] = \{ x \in X : f(x) = 0 \}$ for some continuous $f : X \to \mathbb{R}$) are called a zero sets, and we have that zero sets must be closed G$_\delta$-sets. (Actually, you can replace $\mathbb{R}$ with $[0,1]$ in both of the above definitions.) It is somewhat easier (for me at least) to deal with zero sets, so the sequel will only mention them.

Note that even being a closed G$_\delta$-set may not be enough to guarantee that a set is a zero set: it depends on the topology in question. Consider the Niemytzki (or Moore) plane, and the family $F = \{ \langle x , 0 \rangle : x \in \mathbb{Q} \}$. It is not too difficult to show that $F$ is a closed G$_\delta$-set, and a category argument can determine that it is not a zero set.

However, if $X$ is a normal space, then it is true that every closed G$_\delta$-set is a zero set. This is essentially a consequence of Urysohn's Lemma: If $F \subseteq X$ is closed G$_\delta$, and $F = \bigcap_{i=1}^\infty U_i$ where each $U_i$ is open, then by Urysohn's Lemma for each $i$ there is a continuous $f_i : X \to [0,1]$ such that $F \subseteq f_i^{-1} [ \{ 0 \} ]$ and $X \setminus U_i \subseteq f_i^{-1} [ \{ 1 \} ]$. It follows that $$f(x) = \sum_{i=1}^\infty \frac{f_i(x)}{2^i}$$ is a continuous function, and not too difficult to show that $f^{-1} [ \{0\} ] = F$.

There is another class of topological spaces, called perfectly normal spaces which are characterised by being normal, plus having all closed sets G$_\delta$. In these spaces every closed set is a zero set. Examples of perfectly normal spaces include the real line (actually, every metric space) and the Sorgenfrey line.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.