Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|improve this question
    
Is the last sentence supposed to say "for every zero set $W$? Does normality imply regularity? –  Erin K Carmody Mar 21 '12 at 23:19
add comment

1 Answer 1

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|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
add comment

Your Answer

 
discard

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.