First let us list some interesting results of Katok (Lyapunov exponents, entropy and periodic orbbits for diffeomorphisms 1980).
Let be a
diffeo for some
.
I. If there exists a nonatomic ergodic hyperbolic measure then
.
II. Generally for each hyperbolic measure
.
He started with that for a hyperbolic ergodic measure , the Pesin set has full
-measure. Katok first proved that a recurrent point with respect to the Pesin block is closable and the closed orbit is hyperbolic whose invariant manifolds are of uniform size (depending on the level of block).
Then if the measure is continuous, he picked two points in the support of
close to each other and then two recurrent points
that are arbitrary close to
and found a periodic point
for each one. The new points are so close to the recurrent point
that
1. these two are distinct and
2. they are still close: .
Since their invariant manifolds have uniform size (with respect to level of Pesin block) and the ‘s can be really close, they intersect transversally. This guarantees the existence of horseshoe. So the map has positive topological entropy (although the metric entropy of
might be zero).
For the later claim he reduced to the case that is ergodic. Then pick a subset
of Pesin blocks with cardinal growth approximating the metric entropy that is
-separated and recurrent (closer than the separate constant) for some time during
. This involves a counting definition of metric entropy given in the first section. Then for each point
we find a periodic point
closing
. Again these periodic points are distinct (and hyperbolic) with period in
. Thus we have
. So the growth of hyperbolic periodic points dominates the metric entropy of any (ergodic and hence invariant) hyperbolic measure.