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

can someone tell me where can i find a proof of the following theorem (by A.H.Stone) : "an uncountable product of Hausdorff non-compact spaces is never normal " ?

thanks in advance !

share|cite|improve this question
This related thread should give some ideas on how to find a possible proof. – t.b. Sep 8 '12 at 11:20
up vote 5 down vote accepted

You cannot find such a proof, as it is false. E.g. ${\omega_2}^{\omega_1}$, where ordinals have the order topology, is a normal space.

What A.H. Stone did prove, e.g. it follows directly from theorem 4 in this paper from 1948, was that no uncountable product of non-compact metric spaces is normal. This follows quite directly from the fact that $\omega^{\omega_1}$ is not normal (in that same paper) plus the fact that for metric spaces being non-compact implies that it contains a closed copy of a countable discrete set (so $\omega$). See this related thread for proofs.

In fact this can be generalized to paracompact $p$-spaces etc. More info on this is in the excellent survey paper on products of normal spaces, in the Handbook of Set Theoretic Topology. There you can also find the proof of the normality of my counterexample.

share|cite|improve this answer
Thanks for this answer. I should have checked in the Handbook. I edited the Wikipedia page on normal spaces accordingly (it contained the statement in the question and attributed it to Stone). – t.b. Sep 10 '12 at 11:01
thank you Henno for the wonderful answer and thank you t.b. for editing the wikipedia page (in fact, i saw this pseudo-theorem there). – thetruth Sep 10 '12 at 11:47

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.