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.

Articles by others on the same topic (0)

There are currently no matching articles.