The Pesin entropy formula for diffeomorphisms with dominated splitting

For any$C^1$diffeomorphism with dominated splitting, we consider a non-empty set of invariant measures that describes the asymptotic statistics of Lebesgue-almost all orbits. They are the limits of convergent subsequences of averages of the Dirac delta measures supported on those orbits. We prove that the metric entropy of each of these measures is bounded from below by the sum of the Lyapunov exponents on the dominating sub-bundle. As a consequence, if those exponents are non-negative, and if the exponents on the dominated sub-bundle are non-positive, those measures satisfy the Pesin entropy formula.