Weakly mixing measure-preserving transformation (source code)

= Weakly mixing measure-preserving transformation
{wiki=Weak_mixing}

A measure-preserving transformation is weakly mixing when its correlations converge to products in Cesaro mean. Equivalently, its Cartesian square is ergodic, or its product with every ergodic measure-preserving system is ergodic.