Ruelle inequality of folding type for $$C^{1+\alpha }$$ C 1 + α maps

Abstract

For all $$C^{1+\alpha }$$ maps, we prove an inequality conjectured by Ruelle that the metric entropy is bounded from above by the folding entropy minus the sum of the negative Lyapunov exponents.