In a probability measure-preserving system, implies almost everywhere. For every , the tail integral formula for moments gives . Invariance and the Borel-Cantelli lemma finish the proof. Consequently division by also gives zero for every .
For every , choose . On the Bernoulli shift over independent uniform coordinates in , the observable is integrable, but . The events are independent and their probabilities have divergent sum, so the Borel-Cantelli lemma implies that infinitely often almost surely. No exponent below one gives a universal bound for all integrable observables.
Articles by others on the same topic
There are currently no matching articles.