Entropy of nested compact invariant sets

Let $f$ be a homeomorphism on a compact metric space $X$. $K_1\supset K_2\supset\cdots \supset K$ are compact subsets of $X$ such that $f(K_n)=K_n$ and $K=\bigcap K_n$. If $h(f, K_1)<\infty$, do we always have $h(f,K)=\lim h(f,K_n)$?

I can show that this is true for $C^\infty$ diffeomorphisms where the entropy map of invariant measures is upper semi-continuous.

OK. I see the point. This is definitely false for the most general case. For example, take the union of countable hyperbolic toral automorphisms of shrinking size and add one point with Identity map on it.

However, what if $f$ is a diffeomorphism on a compact manifold? I still expect negative answer.

-

The answer is negative: consider the map $\varphi:z\mapsto z^2$ acting on the unit disc $D(1)$ of $\mathbb{C}$. We know that this map has entropy $\log 2$ in restriction to every circle centered at $0$, and in fact since the dynamics is trivial transversally to this circle we have $h(\varphi,D(1))=\log 2$. Now, consider $K_n=D(1/n)$: we still have $h(\varphi,K_n)=\log 2$ since $\varphi_{|K_n}$ is conjugated to $\varphi$. But then $K=\{0\}$ and $h(\varphi,\{0\})=0$!

Ok, I cheated: $\varphi$ is not a homeomorphism. But there is an obvious way to extend the above example to an homeomorphism. First take $\psi:Y\to Y$ a positive entropy one, then construct $c\psi : cY\to cY$ its cone as follows. First, $cY$ is the topological cone over $Y$, that is $cY=(Y\times[0,1])/((x,0)\~ (y,O))$. Then $c\psi$ is the map induced on this quotient by $(x,t)\mapsto (\psi(x),t)$. Then $c\psi$ is a homeomorphism, and has the same entropy as $\psi$. But taking $K_n$ the trace on the quotient of $Y\times[0,1/n]$ you get a sequence of compacts on which the dynamics is the same than for the full map, but whose intersection is reduced to a point.

-

The strategy of Benoît Kloeckner fails for differentiable maps. Indeed if $K$ is a single point and $K_n$ invariant balls around $K$ it implies that $K$ is an attracting fixed point. Therefore the log of the differential of the diffeo $f$ should be close to zero near $K$ and so does the entropy.

However conter-examples in any finite smoothness ($C^r$ maps with $1\leq r<+\infty$) were given by Misisurewicz in the early seventies :

Diffeomorphism without any measure with maximal entropy, Bull. Acad. Pol. Sci., Ser. sci. math., astr. et phys. 21 (1973), 903--910

-