# "Productively normal" space

If a set $S$ is endowed with the discrete topology $\mathcal{P}(S)$, then for every normal space $N$ the product $S\times N$ is normal.

Question: can we endow a set $S$ with another Hausdorff topology, such that still for all normal spaces $N$ the product $S\times N$ is normal.

• I suppose you want to require the Hausdorff condition? If not, the indiscrete topology seems to work. Nov 20 '14 at 14:37

The answer is no. It was proved by Mary Ellen Rudin in $\aleph$-Dowker spaces (1978) that for any non-discrete Hausdorff space $S$ there is a normal Hausdorff space $N$ such that $S\times N$ is not normal, thus solving in the affirmative Morita´s first conjecture.
• Full citation: Rudin, Mary Ellen. $\aleph$-Dowker spaces. Czechoslovak Math. J. 28 (103) (1978), no. 2, 324–326. MR 478098 Nov 20 '14 at 19:33