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

Let $X$ be a completely regular, Hausdorff topological space and let $\cal F$ be a $z$-ultrafilter on $X$. Then for each zero set $W$ in $X$, either $W\in \cal F$ or there exists $Z\in \cal F$ such that $Z$ does not meet $W$ (this is the $z$-ultrafilter property). Now suppose that $X$ is additionally normal. Then is it true that for every closed set $W$ in $X$ either $W$ contains an element $Z$ of $\cal F$ or there exists $Z\in \cal F$ such that $Z$ does not meet $W$?

share|cite|improve this question
Is the last sentence supposed to say "for every zero set $W$? Does normality imply regularity? – Erin Carmody Mar 21 '12 at 23:19
up vote 3 down vote accepted

No: think of what happens with $\omega_1$ in the usual topology. This is certainly normal (even hereditarily normal), and since every real-valued continuous function on $\omega_1$ is eventually constant, the co-bounded sets form a $z$-ultrafilter. Now let $W$ be the set of countable limit ordinals.

share|cite|improve this answer
Thanks. I have been wondering about that for years. Credit to MathOverflow for getting the answer in three hours! – Douglas Somerset Mar 22 '12 at 8:37

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.