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

We know that the Borel $\sigma$-algebra of the Cartesian product space (with the product topology) of two topological spaces is equal to the product of the Borel $\sigma$-algebras of the factor spaces. (The product $\sigma$-algebra can be defined via pullbacks of projection maps...)

When one upgrades the above statement to a product of a countable family of topological spaces, the analagous result, namely that the Borel $\sigma$-algebra is the the product Borel $\sigma$-algebra, is conditioned by the topological spaces being second countable. Why?

My question is this: how and why does second countability make its appearance when we upgrade the finite product to countable product? (Second countability means that the base is countable, not just locally...)

My difficulty is that I do not see how suddenly second countability is important when we pass from finite to countable products.

share|cite|improve this question
up vote 4 down vote accepted

This is not even true for a product of two spaces: see this Math Overflow question. To rephrase, second countability can be important even for products of two topological spaces.

share|cite|improve this answer
So secound countability is needed even for two spaces? – Gandhi Viswanathan Oct 25 '11 at 21:37
It suffices that both spaces are Hausdorff, and one of them has a countable base. Bogachev's book on measure theory has the proof. – Byron Schmuland Oct 25 '11 at 21:39

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.