Entropy preservation under a finite-to-one factor

ID: entropy-preservation-under-a-finite-to-one-factor

For standard probability systems, a factor of a measure-preserving system with at most points in every fibre preserves Kolmogorov-Sinai entropy. Conditional on the complete factor point, every finite orbit name has at most possibilities, so its conditional entropy is at most . Dividing by the orbit length gives zero relative entropy.

New to topics? Read the docs here!