Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

Basically, what the title says. Is $\mathbb{R}^\omega$ a completely normal space in the box topology ? ($\mathbb{R}^\omega$ is the space of sequences to $\mathbb{R}$) Thanks !

share|cite|improve this question
Someone voted to close this question as an exact duplicate of How to prove that $\mathbb R^\omega$ with the box topology is completely regular. But completely regular and completely normal are two different notions, so I don't think it's a duplicate. – Martin Sleziak Jun 29 '12 at 9:04

Quoting Munkres from his book Topology (this remark is made in the 5th exercise of section 32):

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 assumes the continuum hypothesis [RM]. In fact, she shows it satisfies a stronger condition called paracompactness.

[RM] M. E. Rudin. The box product of countably many compact metric spaces. General Topology and Its Applications , 2:293-298, 1972.

Of course this doesn't rule out the possibility that it is not completely normal.

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.