Let Asubset0,1omega be a measurable set (w.r.t. the usual borel sigma algebra) which does not depend on any even coordinate (that is, if xinA and x and y agree except on a finite number of even coordinates, then yinA).
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