Dimension, entropy and Lyapunov exponents

Abstract We consider diffeomorphisms of surfaces leaving invariant an ergodic Borel probability measure μ. Define HD (μ) to be the infimum of Hausdorff dimension of sets having full μ-measure. We prove a formula relating HD (μ) to the entropy and Lyapunov exponents of the map. Other classical notions of fractional dimension such as capacity and Rényi dimension are discussed. They are shown to be equal to Hausdorff dimension in the present context.