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!