Prefer a chat interface with context about you and your work?
None
We prove the long-standing Eckmann–Ruelle conjecture in dimension theory of smooth dynamical systems. We show that the pointwise dimension exists almost everywhere with respect to a compactly supported Borel probability measure with non-zero Lyapunov exponents, invariant under a $C^{1+\alpha }$ diffeomorphism of a smooth Riemannian manifold.