On page 205 of his Topology book, James Munkres makes an interesting remark:

It is not known whether $\mathbb{R}^\omega$ is normal in the box topology. Mary-Ellen Rudin has shown that the answer is affirmative if one asssumes the continuum hypothesis.

That's a reference to this paper by Mary Ellen Rudin. But both Munkres and Rudin were writing decades ago. So my question is, what is the state of research on this problem?

Has it been proven in $ZFC$, or has it been proven to be independent of $ZFC$, or is it still an open problem whether it's a theorem of $ZFC$ or not?

  • 13
    $\begingroup$ This survey by Roitman and Williams, from 2015, said that it was still open whether $(\omega + 1)^\omega$ is normal in the box topology. That may not be quite the same thing, though, since "normal" is not the same thing as "hereditarily normal" (I am not an expert on this). But MathSciNet shows that survey as the most recent citation of Rudin's 1972 paper, and presumably anyone who solved the problem would have cited Rudin. $\endgroup$ – Nate Eldredge Nov 8 '18 at 22:15
  • 14
    $\begingroup$ @NateEldredge: $\mathbb R^\omega$ has a closed subspace homeomorphic to $(\omega+1)^\omega$, so if $\mathbb R^\omega$ is normal then so is $(\omega+1)^\omega$. So that survey paper is good evidence that the problem is still open. $\endgroup$ – Will Brian Nov 9 '18 at 1:40
  • 2
    $\begingroup$ @NateEldredge: For what it's worth, it is known that $\mathbb{R}^\omega$ is not hereditarily normal. $\endgroup$ – Ramiro de la Vega Nov 11 '18 at 20:11
  • $\begingroup$ @NateEldredge this follows from van Douwen's result that the irrationals times countably many convergent sequences in the box topology is not normal, see here or in Mary Ellen's lectures on set theoretic topology . $\endgroup$ – Henno Brandsma Dec 15 '18 at 9:38

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.