Saturday, 25 December 2010

pr.probability - measurable sets not depending on even coordinates

Let $Asubset{0,1}^omega$ be a measurable set (w.r.t. the usual borel sigma algebra) which does not depend on any even coordinate (that is, if $xin A$ and $x$ and $y$ agree except on a finite number of even coordinates, then $yin A$).



Is it true that $A$ belongs to the sigma-algebra generated by all the odd coordinates + the tail sigma algebra?



To clarify: the tail sigma algebra consists of all the events which do not depend on any coordinate.



It seems to me that this should be some easy/well known measure theory fact/counterexample, but perhaps I'm wrong? Suggestions on where to look for an answer would be welcome.



Note that it is well known the this statement is false if the ground space would be $[0,1]^omega$.

No comments:

Post a Comment