Invariance from integral duality for a measure-preserving transformation

ID: invariance-from-integral-duality-for-a-measure-preserving-transformation

Let be a measure-preserving transformation of a probability space and an integrable random variable. If the displayed duality holds for every bounded random variable , test it on indicator functions to identify . The measure-preserving transformation gives the same probability distribution to and . The principle of conditional expectation preserving a distribution then forces equality almost surely. This does not require an inverse for or require to be square-integrable.

New to topics? Read the docs here!