4
$\begingroup$

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$?

$\endgroup$
1
  • $\begingroup$ Is the last sentence supposed to say "for every zero set $W$? Does normality imply regularity? $\endgroup$
    – user10290
    Mar 21, 2012 at 23:19

1 Answer 1

3
$\begingroup$

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.

$\endgroup$
1
  • $\begingroup$ Thanks. I have been wondering about that for years. Credit to MathOverflow for getting the answer in three hours! $\endgroup$ Mar 22, 2012 at 8:37

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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