Suppose $T: X \to X$ is a continuous map
and $\mu$ a $T$-ergodic probability measure over the
Borel sets of $X$.
Now, suppose $K \subset \mathrm{Hom}(X)$ is a compact group
of measure-preserving homeomorphisms of $X$ commuting with $T$.
Consider the factor $Y = K \backslash X = \{Kx | x \in X\}$.
Then, defining $\hat{T}(Kx) = T(Kx) = KT(x)$,
we have that the canonical projection factors $T$
into $\hat{T}$.


Call $\hat{\mu}$ the $\hat{T}$-invariant probability measure
induced on the Borel sets of $Y$.
How do I prove that
$$h\_{\hat{\mu}}(\hat{T}) = 0
\Rightarrow
h\_\mu(T) = 0?$$


**I am trying to make sense of the demonstration of Lemma 7
at [Asymptotic Pairs in Positive-Entropy Systems](http://www.math.u-psud.fr/~ruette/articles/asympent.pdf "Article about asymptotic pairs").**




---


Notation: $h\_\mu(T)$ is the Kolmogorov-Sinai entropy.


Notice: It is evident that
$h\_\mu(T) = 0
\Rightarrow
h\_{\hat{\mu}}(\hat{T}) = 0$.


Notice: The factor $K \backslash X$ is intended to be a [group extension](http://terrytao.wordpress.com/2008/01/24/254a-lecture-6-isometric-systems-and-isometric-extensions/ "Definition of \"group extension\" in Terry Tao's blog.").


**Edit:** Added the fact that elements of $K$ must be measure-preserving.


**Edit:** Changed $\mu$ from $T$-invariant to $T$-ergodic.



Compact group extension of a zero entropy system.
[I'm assuming G means K]


In case the elements of K are not measure preserving, I doubt that the question is correct.
In general, one can easily show that entropy decrease by moving into factors.


Here's an example.
Take $T^{1}$ to be Z\R, and the times 2 map.
Take a nice measure supported on suitable Cantor set with positive dimension, this in turn implies that the entropy of the times 2 map wrt this measure is positive (by observation of Furstenberg, altough it was known earlier, probably Blinigsley is the right name here, maybe Erdos and maybe some pre-historic british mathematicians). You can also take the usual Lebesgue measure, it is also okay for that matter.


Let K be the (closure of) the subgroup generated by x goes to x+a where a is your favourite irrational number.
By Kronceker's lemma, K is identified with $T^{1}$ itself in an obvious manner.
Hence your factor space will consist of a point, due to transitivity.
The metric entropy of the unit-mass measure is always zero, therefore you can see the decrease of the entropy.


Edit - If you take the Lebesgue measure, the element of K here will be measure preserving also.


Edit 2 - I know Furstenberg's paper, he basically defines there "Kronecker factor" which is basically the factor which controls convergence of his ergodic averages (the multiple recurrence theorem so on), because basically the weak-mixing extensions does not matter for that. But I don't think that this is the correct reference there. Furstenberg's paper does not deal with entropy at all.


Now, I think that in the end we're in the following settings - we are having a skew-product of the system (I love this term more than the categorial approach and the terms Tao uses, Furstenberg and Weiss themselves use the term skew-product), if you want the definition, you can see it in Eli's book about joinings, Ch 3.5, but in general it means that we're having a new system Y=X\times K, and a transformation T'(x,k)=(Tx,f(x)k) where f:X\to K is a continuous map. This what I think is that "group extension theorem" which is found in the reference.
Now you need to know which measure there is on Y, it turns out, that it \mu times m, where m is the Haar measure on K, and there's some uniqueness here, you must always choose (in the ergodic case say), an ergodic measure over the factor times the Haar measure, see Eli's book, theorem 3.30.


Moreover, the fact that it is isometric, means that f acts as an isometry over K.
Now the theorem goes as follows - the entropy of X is the entropy of Y.
Why? informally, the orbits in the K coordinate, won't diverge (it's basically deterministic system), hence the only entropy comes from the X coordinate.


Now a bit more formally, take a nice generating partition for Y, the projection in the X coordinate will also be generating.
You can obviously approximate suich a partition by cylinders, and get a partition of the form P\times Q.
Computing H\_{Y}(P\times Q), divide the sum, so you sum over P and then over Q.
In one term you have -\sum \sum \mu(p)m(q)\log(\mu(p)), where the outer sum is over p, the inner over q, so this is the entropy of P over X, by def.
In the other term you have -\sum \mu(p) \sum m(q)\log(m(q)), which is basically the entropy of Q over Y.
So know you're just dealing with the fact that an isometric system (say over a compact group) have zero entropy, which is also very easy to establish.


