K-mixing (source code)

= K-mixing
{c}

A system is K-mixing when every finite partition becomes asymptotically independent of every event in its remote future: if $\mathcal F_n(\xi)=\bigvee_{k=n}^\infty T^{-k}\xi$, then
$$
\sup_{B\in\mathcal F_n(\xi)}|\mu(A\cap B)-\mu(A)\mu(B)|\longrightarrow0
$$
for every measurable $A$ and every finite $\xi$.