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

The setting is measure on $2^\omega$. That product (independent) measures obey a 0/1 law, i.e, that measurable tail sets all have measure 0 or 1, is well known. I've made some progress extending this to measures that satisfy a weak symmetry property that's a little complicated to state, but roughly is that the limit of the ratio of measures of finite initial segments, along two infinite binary sequences that are eventually equal, doesn't get too big or too small.

At any rate, It would be helpful to know how much progress has been made extending 0/1 laws to non-independent atomless measures. I've researched this a bit and haven't found anything, but of course that doesn't mean it hasn't been done.

share|cite|improve this question
Perhaps related: Aldous, David; Pitman, Jim. "On the zero-one law for exchangeable events". Ann. Probab. 7 (1979), no. 4, 704–723. – Gerald Edgar Feb 25 '12 at 23:00
Thanks, it's exactly what I had in mind. – Patrick Reardon Feb 26 '12 at 7:09
up vote 2 down vote accepted

These measures are well studied in ergodic theory. They are measures with the $K$ (for Kolmogorov) property. It's known that they are a bit of a zoo from an ergodic point of view: Ornstein's celebrated theorem for Bernoulli shifts says that two Bernoulli shifts are isomorphic as measure-preserving systems if and only if they have the same entropy, whereas it was proved soon afterwards that there are uncountably many $K$ systems with equal entropy.

There are several equivalent formulations of the K property. A good reference is Rudolph's book: Introduction to Measurable Dynamics.

share|cite|improve this answer
This is very helpful! – Patrick Reardon Feb 27 '12 at 6:07

I would like to point out that extremal Gibbs measures are interesting class of measures that can be defined over $2^{\omega}$ and satisfies a zero-one law, not in the whole $\sigma$-algebra generated by the cylinder sets, but in the tail $\sigma$-algebra.

In several cases this approach agree with the Anthony suggestion. In the Gibbs measure theory dependence is constructed in very geometric way. Another interesting feature is: no group action invariance is required. Some theorems of ergodic theory are proved in this context. There is also a Choquet's Theorem.

If you want to get the details the classical mathematical reference is Gibbs Measures and Phase Transitions by Hans-Otto Georgii. The zero-one law is proved in the page 115 of the first edition.

There are some online options which are not so general as Georgii, but covers the space you are interested in and proves the zero-one law

A. Bovier: Lecture notes Gibbs measures and phase transitions - part 1.

A. Bovier: Lectures notes Gibbs measures and phase transitions - part 2.

share|cite|improve this answer
Thanks for your informative reply. – Patrick Reardon Feb 28 '12 at 2:34

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.