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