MathOverflow is a question and answer site for professional mathematicians. 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

I am very interested in counterexamples when cylindrical sigma-algebra is not equal to the borel. I read link text and link text.

Especially interessted in l-infinity space. I've read Talgat and Fremlin's article about Gaussian measure on l-infinitive, but if there is another method to prove that, without measures? And there is another idea of that proof by Vakhania "Probability Distributions on Banach Spaces" et al, p. 23 - 24, but i cant get how to prove it exactly.

And what about [0,1]^[0,1] space. It's a separable metric space as i could prove, but what about sigma-algebras.

Would be great if you could give me any links of literature about cylindrical sigma-algebra relationship with Borel or Baire, examples and counterexamples.

share|cite|improve this question
$[0,1]^{[0,1]}$ (with the product topology) is not metrizable. – Nate Eldredge Mar 21 '11 at 17:00
And $[0,1]^{[0,1]}$ is interesting for the sigma-algebra, too. The product sigma-algebra (= the Baire sigma-algebra) has the property that every set in it depends on only countably many coordinates. In particular, a singleton is NOT in this sigma-algebra. So the Baire sigma-algebra is not the same as the Borel sigma-algebra. – Gerald Edgar Mar 21 '11 at 18:29
Ok, they are not equal. It would be great if there is example of Borel, not Baire(Cylindrical) set. I think of [0,1/2]^{[0,1]}, but didnt prove it yet. Maybe you can give me other examples? – Ravil Mudarisov Mar 21 '11 at 19:42
Correct, a singleton is a closed set, therefore Borel. Also, the more complicated set $[0,1/2]^{[0,1]}$ is closed, therefore Borel. – Gerald Edgar Mar 21 '11 at 23:54
Set $[0,1/2]^{[0,1]}$ does not depend on only countably many coordinates, so it is not Baire. These are comments rather than answers, since they are not about $l^\infty$. – Gerald Edgar Mar 22 '11 at 13:39

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.