MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

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

If the space $X$ is completely regular, we Know that The collection {$intZ(f)$:$f$ is a continuous function from $X$ to the real numbers} is an open base for open subsets of the space $X$ (i.e. If for each element $x$ and each open set $U_x$ of $X$, there exist a continuous real valued function $f:X→\mathbb{R}$ such that $x∈intZ(f)⊆Z(f)⊆U_x)$. I have two questions about converse of this theorem. these questions are almost the same, but I think these are different.

1.If for each element $x$ and each open set $U_x$ of $X$, there exist a continuous real valued function $f:X→\mathbb{R}$ such that $x∈intZ(f)⊆U_x$, then $X$ is completely regular.

2.If for each element $x$ and each open set $U_x$ of $X$, there exist a continuous real valued function $f:X→\mathbb{R}$ such that $x∈intZ(f)⊆Z(f)⊆U_x$, then $X$ is completely regular.

I think these two claims have counterexamples and these conditions don't emply the complete regularity of $X$.

share|cite|improve this question
When you write $U$ above, that always means a neighborhood of $x$, right? – David White Apr 29 '12 at 20:49
What is your definition of completely regular? The definition in section 33 of Munkres (page 211) seems equivalent to your condition 2 (well, you have to assume $X$ is $T_1$ also). Munkres requires that for every $x$ and every closed $A$ not containing $x$, there is a cont. function with $f(x)=0$ and $f(A)=1$. So it's equivalent to your (2) with $U$ being the complement of $A$. We just need to know that the zero-set of $f$ doesn't have empty interior, which shouldn't be hard to prove. – David White Apr 29 '12 at 20:51
Dear david My notation U means a neighborhood of x. My definition of compeletly regular space is the same as yours. As you know when A is closed and x is in the complement of A. by my condition, there is a continuous function f which x∈intZ(f)⊆Z(f)⊆X-A. But we only know that f is nonzero in A. How do we conduct f to the value 1(i.e. how can we define f such that f(A)={0}) At the End I have another question of you have the same VIEWPOINT about the first of my claim? – Ali Reza Apr 30 '12 at 6:45
In my comment and in Munkres $f(A)=1$, so we don't have to "conduct $f$ to the value 1." If you're curious about taking a function and tweaking it in a clever way so that it's 0 on some set and 1 on some other set then I recommend reading the proof of Urysohn's Lemma in Munkres. Also, Exercise 8 in Section 33 might interest you. Anyway, I'm now convinced that (2) is exactly the definition of completely regular. Also, (1) is not enough. When $U=int(Z(f))$ you can have points in $\overline{U}$ which $f$ takes to $0$, and if $A = U^c$ then those points would be in $A$, i.e. $f(A)=1$ would fail. – David White Apr 30 '12 at 12:20
try: Gillman Jerison "Rings of continuous funtions", see index p. 297 looking for property of $O_p$ and $O^p$. – Buschi Sergio May 1 '12 at 21:30

Here's a counterexample to 1.

Let $T$ be the Tychonoff plank, i.e., the product $(\omega_1+1)\times(\omega+1)$ with the point $\langle\omega_1,\omega\rangle$ removed.

Consider the set $\omega\times T\cup\lbrace \infty\rbrace $ topologized so that $\omega\times T$ has the product topology and is an open subset itself, and the basic neighbourhoods of $\infty$ are of the form $U_n(\infty) = (\omega\setminus n)\times T\cup\lbrace \infty\rbrace $.

We construct a quotient space by identifying $\langle n,\alpha,\omega\rangle$ and $\langle n+1,\alpha,\omega\rangle$ whenever $n$ is odd and $\alpha\in\omega_1$, and identifying $\langle n,\omega_1,i\rangle$ and $\langle n+1,\omega_1,i\rangle$ whenever $n$ is even and $i\in\omega_1$.

The resulting space $C$, the Tychonoff corkscreww, is regular but not completely regular (the copy of $\lbrace 0\rbrace \times T$ and $\infty$ cannot be separated by continuous functions).

For each odd $n$ define $f_n:C\to[0,1]$ by $f_n(\infty)=0$ and $$ f(m,\alpha,i)= \begin{cases} 2^{-i} &\text{ if } m\le n \text{ and }i<\omega\cr 0 &\text{ if } m> n \text{ and }i<\omega \end{cases} $$ and $f_n(m,\alpha,\omega)=0$ for all $m$ and $\alpha$.

Then the interiors $\operatorname{int}Z(f_n)$ form a local base at $\infty$.

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.