Finite partitions measurable in a partition tail have zero entropy rate
ID: finite-partitions-measurable-in-a-partition-tail-have-zero-entropy-rate
Let be finite and measurable in for a finite measurable partition , and put . Choose with . For and , conditional subadditivity gives . Tail measurability and block conditional entropy given the infinite future give . Thus . Divide by , then let and , proving . The proof also works for noninvertible transformations.
New to topics? Read the docs here!