Hostname: page-component-745bb68f8f-s22k5 Total loading time: 0 Render date: 2025-02-11T07:10:15.636Z Has data issue: false hasContentIssue false

Measure-theoretic and topological entropy of operators on function spaces

Published online by Cambridge University Press:  08 March 2005

TOMASZ DOWNAROWICZ
Affiliation:
Institute of Mathematics, Wrocław University of Technology, Wybrzeże Wyspiańskiego 27, 50-370 Wrocław, Poland (e-mail: downar@im.pwr.wroc.pl, frej@im.pwr.wroc.pl)
BARTOSZ FREJ
Affiliation:
Institute of Mathematics, Wrocław University of Technology, Wybrzeże Wyspiańskiego 27, 50-370 Wrocław, Poland (e-mail: downar@im.pwr.wroc.pl, frej@im.pwr.wroc.pl)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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 $H_\mu$. In particular, this establishes equality on such operators between the entropy notion introduced by R. Alicki, J. Andries, M. Fannes and P. Tuyls (a version of which was also studied by I. I. Makarov), another notion of entropy introduced by E. Ghys, R. Langevin and P. Walczak, and our new definition introduced later in this paper. The key tool in proving this uniqueness is the discovery of a very general property of all doubly stochastic operators, which we call asymptotic lattice stability. Unlike the other explicit definitions of entropy mentioned above, ours satisfies many natural requirements already on the level of the function $H_\mu$, and we prove that the limit defining $h_\mu$ 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.

Type
Research Article
Copyright
2005 Cambridge University Press