Kolmogorov-Sinai generator theorem (source code)

= Kolmogorov-Sinai generator theorem
{c}

= Kolmogorov-Sinai theorem
{c}
{synonym}

For an invertible probability <measure-preserving system> with a finite or countable finite-entropy <generating measurable partition> $\xi$, $h_\mu(T)=h_\mu(T,\xi)$. For a noninvertible system the same conclusion holds for a finite-entropy <one-sided generator>. The finite-entropy hypothesis is part of this form of the theorem.