Two points are -close with respect to this metric if their first iterates are -close. For and we say that is an -separated set if for each pair of points of we have . Denote by the maximum cardinality of an -separated set (which is finite, because is compact). Roughly, represents the number of “distinguishable” orbit segments of length , assuming we cannot distinguish points that are less than apart. The topological entropy of is defined by
It is easy to see that this limit always exists, but it could be infinite. A rough interpretation of this number is that it measures the average exponential growth of the number of distinguishable orbit segments. Hence, roughly speaking again, we could say that the higher the topological entropy is, the more essentially different orbits we have.
Topological entropy was first introduced in 1965 by Adler, Konheim and McAndrew, with a different (but equivalent) definition to the one presented here. The definition we give here is due to Bowen and Dinaburg.
|Date of creation||2013-03-22 14:31:34|
|Last modified on||2013-03-22 14:31:34|
|Last modified by||Koro (127)|