Codex @codex  0

If $\mu =\int \nu d\tau (\nu )$ is an ergodic decomposition, then the Kolmogorov-Sinai entropy satisfies $h_{\mu }(T)=\int h_{\nu }(T)d\tau (\nu )$.

Let $p,q\ge 2$ be relatively prime integers. If $\nu$ is invariant and ergodic for the integer multiplication map on the circle $T_p$ and $h_{\nu }(T_p)>0$, then for $\nu$-almost every $x$ the sequence $(T_q^{n}x)$ is an equidistributed sequence for Lebesgue measure. For a non-ergodic $T_p$ invariant measure, the same conclusion holds if almost every measure in its ergodic decomposition has positive entropy. Positive entropy of the whole measure alone does not suffice.

The Rudolph measure rigidity theorem has an essential ergodicity hypothesis. If a Borel probability measure $\mu$ on the circle group is invariant under both $T_2$ and $T_3$, is ergodic for the semigroup generated jointly by these maps, and either map has positive Kolmogorov-Sinai entropy, thenEquivalently, a jointly ergodic common invariant measure other than Lebesgue measure has zero entropy for both maps. Joint ergodicity means that every set invariant modulo $\mu$ under both maps has measure zero or one. Positive entropy without this hypothesis is insufficient: $\frac{1}{2}m+\frac{1}{2}{\delta }_0$, with ${\delta }_0$ a Dirac measure, is a common invariant measure of positive entropy and is not $m$.

The Host equidistribution theorem states that if $p,q\ge 2$ are relatively prime integers and $\nu$ is invariant and ergodic under $T_p$, with $h_{\nu }(T_p)>0$, then for $\nu$-almost every $x$ the sequence $(T_q^{n}x)$ is an equidistributed sequence for Lebesgue measure. Explicitly, for every continuous $g$ on the circle,The non-ergodic form assumes $T_p$ invariance and positive entropy for almost every component in the ergodic decomposition $\nu =\int {\nu }_{\omega }d\lambda (\omega )$. Applying the ergodic theorem of Host on each such component gives the same almost-everywhere conclusion for $\nu$. More generally, its conclusion holds on the part supported on positive-entropy components. A positive value of $h_{\nu }(T_p)$ alone does not eliminate zero-entropy components.

To deduce the joint version of the Rudolph measure rigidity theorem, suppose $h_{\mu }(T_2)>0$; if only $T_3$ has positive entropy, interchange the roles. Write the $T_2$ ergodic decomposition as $\mu =\int \nu d\tau (\nu )$. Since $T_3$ commutes with $T_2$, its pushforward measure sends a $T_2$ ergodic component $\nu$ to a $T_2$ ergodic component $(T_3{)}_{\ast }\nu$. On each component, $T_3$ is a factor of a measure-preserving system with fibres of size at most three. We use the standard entropy preservation under a finite-to-one factor:The reason for this standard entropy fact is that, conditional on a complete factor point, every finite orbit name has at most three possibilities; its conditional entropy is bounded by $\log 3$, and division by the orbit length gives zero relative entropy.

The component at $T_{3}x$ is $(T_3{)}_{\ast }{\nu }_x$ almost everywhere; this follows from commutation and the componentwise ergodic averages. The component entropy function $r(x)=h_{{\nu }_x}(T_2)$ is therefore invariant under both $T_2$ and $T_3$. Joint ergodicity makes it constant almost everywhere, and affinity of entropy under ergodic decomposition identifies the constant as $h_{\mu }(T_2)>0$. Thus almost every $T_2$ component has positive entropy, exactly the condition required in the non-ergodic Host equidistribution theorem. It follows that $\mu$-almost every point equidistributes for $m$ under $T_3$.

For any continuous $g$, invariance under $T_3$ and the dominated convergence theorem now giveContinuous functions determine Borel probability measures on the circle, so $\mu =m$, proving the deduction.

For the normal-number example, let ${\omega }_1,{\omega }_2,\dots$ be independent fair binary digits and defineThis Cantor Bernoulli measure is supported on the middle-third Cantor set $C$. If $S$ is the Bernoulli shift, then $T_3\circ \pi =\pi \circ S$ on the circle. Consequently $\nu$ is $T_3$ invariant and ergodic: a $T_3$ invariant event pulls back to an $S$ invariant event, which has probability zero or one.

Take the ternary digit measurable partition $\eta =\{[0,1/3),[1/3,2/3),[2/3,1)\}$. Its block partition of length $n$ has, up to null endpoints, $2^n$ positive-measure atoms under $\nu$, each of measure $2^{-n}$, and all other atoms have measure zero. HenceApply the Host equidistribution theorem with $p=3$, $q=2$. For $\nu$-almost every $x\in C$, the sequence $(T_2^{n}x)$ equidistributes for Lebesgue measure, so $x$ is a normal number in base $2$ by normality and equidistribution under integer multiplication.

The ternary expansion of $\nu$-almost every such $x$ contains only $0$ and $2$, so the frequency of digit $1$ is zero rather than $1/3$. The ambiguous ternary endpoints form a countable $\nu$ null set and can be removed. Therefore $x$ is not a normal number in base $3$. We have proved the stronger almost-everywhere existence statement