6

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 !

Martin Sleziak
  • 56,060
thetruth
  • 1,902

1 Answers1

3

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.

Cihan
  • 2,606