The variational principle in ergodic dynamics
This project aims to formalize the theory of measure-theoretic entropy up to its relations to topological entropy, manifested as the variational principle:
h_{\mathrm{top}}(f) = \sup_{\mu \in \mathcal{M}_f(X)}h_{\mu}(f).
Most of the content will follow the presentation of Einsiedler and Ward (2025)Manfred Einsiedler and Thomas Ward (2025). “Entropy in Ergodic Theory and Topological Dynamics”. . ..