“…A measurable partition of M is said to be -subordinate to the strong-unstable foliation if for -almost every x : - and it has uniformly small diameter inside ;
- contains an open neighborhood of x inside the leaf ;
- is an increasing partition, meaning that .
Then, the u-entropy of is defined by The definition does not depend on the choice of (see [LY85a, Lemma 3.1.2]). These notions go back to Ledrappier and Strelcyn [LS82], who proved that every non-uniformly hyperbolic diffeomorphism with Hölder derivative admits measurable partitions subordinate to the corresponding Pesin unstable lamination. In our present setting, partitions subordinate to the strong-unstable foliation of a partially hyperbolic diffeomorphism were constructed by Yang [Yan17, Lemma 3.2]. Let be a partially hyperbolic diffeomorphism, and be an ergodic measure of f whose center Lyapunov exponents are all negative. Then, . Recall ([Rok67], see also [VO16, Lemma 9.1.12]) that the entropy of relative to a finite partition can be defined as We denote by the partition of M whose elements are the intersections of the elements of with local strong-unstable leaves. Under the hypotheses of Proposition A.4, if is a finite partition with sufficiently small diameter then and, up to zero -measure: - ; and
- is the partition into points.
As before, let denote the strong-unstable foliation of f .…”