Mean topological dimension
type: Item
instance of: scholarly article
title: Mean topological dimension
zbMATH Open document ID: 0978.54026
DOI: 10.1007/BF02810577
author: Elon Lindenstrauss
author: Benjamin Weiss
published in: Israel Journal of Mathematics
publication date: 2002-02-01T00:00:00Z
review text: Given a continuous map \(f\) on a compact metric space \(X\), an invariant called mean topological dimension has been recently introduced by M. Gromov. The paper being reviewed develops some basic properties of this invariant. In some cases, it gives a way of distinguishing dynamical systems with infinite topological entropy. Given a finite open cover \(\alpha\) of \(X\), its order is one less than the cardinality of any collection of subsets of \(\alpha\) with nonempty intersection, and \({\mathcal D}(\alpha)\) is defined to be the minimum order of any finite cover of \(X\) that refines \(\alpha\). Under fairly general conditions on \(\alpha\), it is shown that if \(X\) has topological dimension at most \(k\), then \({\mathcal D}(\alpha)\leq k\). If \(T:X\rightarrow X\) is continuous, then the mean dimension of the system \((X,T)\) is the supremum over all finite open covers \(\alpha\) of \(\lim_{n\rightarrow \infty}({\mathcal D}(\alpha_n)/n)\), where \(\alpha_n\) is the common join of the covers \(T^{-i}(\alpha)\), \(0\leq i < n\). It follows that if \(X\) is finite dimensional, then this mean dimension is 0. Moreover, the mean dimension of the shift dynamical system generated by a \(k\)-dimensional, compact space of symbols is at most \(k\). This is used to show that if a minimal system is embeddable in the shift space based on the symbols \(0\leq s\leq 1\), then the mean dimension of the system is at most 1. Examples of minimal systems of mean dimension greater than one are given. Finally, an alternative approach, reminiscent of one definition of topological entropy, is described; here there is explicit dependence upon the metric. It is shown that the new metric version of mean dimension is an upper bound for the original mean dimension. It follows from this that if the topological entropy is finite, then the mean dimension is 0.
Mathematics Subject Classification ID: 54H20
Mathematics Subject Classification ID: 37B40
zbMATH DE Number: 1436095
zbMATH Keywords: mean dimension
zbMATH Keywords: topological entropy
reviewed by: Mike Hurley
MaRDI profile type: Publication
cites work: Q4040097
cites work: An inverted tower of almost 1-1 extensions
cites work: A proof of Beboutov's theorem
cites work: Lowering topological entropy
cites work: Mean dimension, small entropy factors and an embedding theorem
cites work: Ergodic theory and statistical mechanics
cites work: Entropy and isomorphism theorems for actions of amenable groups
cites work: Can one always lower topological entropy?
cites work: A ratio limit theorem for a strongly subadditive set function in a locally compact amenable group
cites work: Averaging strongly subadditive set functions in unimodular amenable groups. I
Wikidata QID: Q60895005
description: scientific article; zbMATH DE number 1436095