We continue the discussion of topological entropy started yesterday.

**-1. Basic properties-**

So, recall that we attached an invariant to a transformation of a compact metric space . We showed that it was purely topological, i.e. invariant under semiconjugacies. However, we have yet to establish its basic properties and compute some examples.

In general, we can’t expect topological entropy to be additive, i.e. , even if and commute. The reason is that the identity—or any isometry—has zero entropy, while there are homeomorphisms with nonzero entropy.

However, we do have:

Theorem 1If , then .

(Here if , this makes sense even for noninvertible.)

We handle the two cases and (which together imply the result). In each, we will use the second definition of entropy that we gave in terms of coverings (which historically actually came first). Namely, the definition was

It follows that

If we choose an arbitrary cover and take to be the refined cover , it follows that the terms are just . Since was arbitrary, it follows that . But since when considering covers to take the sup over, we can always pass to refinements—and in particular, we can assume that is of the form for some , it follows equally that .

For , it is proved similarly; the key idea is that

by applying the homeomorphism to the whole space.

There is another useful result when we have a decomposition of into finitely many invariant subspaces:

Theorem 2Suppose and for the a finite collection of invariant, closed subsets. Then .

One direction is easy to see. Namely, if we have an open cover for some , then we extend it (via ) to the whole space. It is then easy to see from this argument that for each , . The other direction can be proved simliarly (an open cover covers iff it covers each ), and I won’t spend much more time on the straightforward details.

**-2. Example-**

We’d now like to actually compute the entropy of something. A canonical example of a dynamical system is given by the rotations of the circle. But these are isometries (with respect to a natural metric), so they all have entropy zero. We will try a more interesting example.

Instead, we will consider an example that begins the field of **symbolic dynamics**. To do this, fix a finite set which we endow with the discrete topology. Then the space with the product topology is compact and admits a homeomorphism such that “shifts” the double-sided sequence by one (in whichever direction you want, but we’ll say to the right).

When computing the topological entropy of , we will need to fix open covers of . A good way to get open covers is as follows. Fix and for , consider the open sets defined such that a bisequence belongs to if and only if the value at is for . These sets are open by definition of the product topology, and for fixed, the open sets cover .

Now these sets form a basis, so any open cover of can be refined to one of the form , if is chosen sufficiently large negative and large positive. Call this covering . It is easy to see that . In particular,

(Certain sets will come up more htan once, but we only include each once.) The covering is always disjoint, and it contains precisely elements. So .

Now, it is easy to see from this computation that the entropy of is .

**-3. The periodic points-**

Consider now an **expansive** homeomorphism . This means that there exists such that if are distinct, then there exists with . In other words, no matter how precisely we know the value of , we can’t know the value of the entire orbit with rpecision better than —this is a form of chaotic behavior.

An example of an expansive homeomorphism is given by any Anosov diffeoorphism, as we discussed—this is a corollary of the uniqueness in the shadowing lemma. There are actually no expansive homeomorphisms of the unit circle ; there are expansive maps, but they are all topologically conjugate to some for , hence not homeomorphisms.

In this case, we shall connect the topological entropy of with the distribution of periodic points. We define

Then can be connected with the radius of convergence of the “zeta function” , where is the number of points of order .

The theorem we want to prove:

Theorem 3

for expansive .

Indeed, we shall show that

where is an expansive constant for , and is the cardinality of the maximal -separated set for under the metric as defined in the definition of topological entropy.

To do this, we show

Suppose both satisfy and are distinct; I claim that are -separated with respect to the metric . Indeed, this states that for some . But by expansiveness, we have for some ; by periodicity, we can assume and this establishes the claim and the result.

## Leave a Reply