Entropy rate of a measurable partition (source code)

= Entropy rate of a measurable partition
{title2=$h_\mu(T,\xi)$}

The entropy rate of $\xi$ is
$$
h_\mu(T,\xi)=\lim_{N\to\infty}\frac1N
H_\mu\left(\bigvee_{n=0}^{N-1}T^{-n}\xi\right).
$$
The numerator is a <subadditive sequence>, so the limit exists and equals the infimum of the displayed ratios.