Measure-theoretic and topological entropy of operators on function spaces

Abstract

We study the entropy of actions on function spaces with the focus on doubly stochastic operators on probability spaces and Markov operators on compact spaces. Using an axiomatic approach to entropy we prove that there is basically only one reasonable measure-theoretic entropy notion on doubly stochastic operators. By ‘reasonable’ we mean extending the Kolmogorov–Sinai entropy on measure-preserving transformations and satisfying some obvious continuity conditions for exists. The proof uses an integral representation of a stochastic operator obtained many years ago by A. Iwanik. In the topological part of the paper we introduce three natural definitions of topological entropy for Markov operators on C(X). Then we prove that all three are equal. Finally, we establish the partial variational principle: the topological entropy of a Markov operator majorizes the measure-theoretic entropy of this operator with respect to any of its invariant probability measures.