Mixing

Summary

A measure-preserving transformation of a probability space is mixing, or strongly mixing, when any two events become independent in the long run. The points of $B$ that land in $A$ after $n$ steps form a set whose measure tends to $\mu(A)\mu(B)$. Mixing implies weak mixing, which implies ergodicity. It is the basic way to say that a system forgets its initial state.