Entropies of compact subsets and supported measures

Abstract

Let $(X,T)$ be a topological dynamical system and $(\mathcal M(X),T_*)$ be its induced system. For a non-empty compact subset $K\subset X$, we define $\mathcal M(K)$ as the set of Borel probability measures supported on $K$. In this paper, we systematically study the relationship between various entropies of $(T,K)$ and of $(T_*,\mathcal M(K))$. We show that: \begin{equation*} \begin{aligned}&h_{\mathrm{top}}^{\mathrm{UC}}(T,K)>0 \iff h_{\mathrm{top}}^{\mathrm{UC}}(T_*,\mathcal{M}(K))=\infty, \qquad&h_{\mathrm{top}}^{P}(T,K)>0\iff h_{\mathrm{top}}^{P}(T_*,\mathcal{M}(K))>0, \qquad&h_{\mathrm{top}}^{B}(T,K)>0 \implies h_{\mathrm{top}}^{B}(T_*,\mathcal{M}(K))>0 , \end{aligned} \end{equation*} where $h_{\mathrm{top}}^{\mathrm{UC}}(T,K)$, $h_{\mathrm{top}}^{P}(T,K)$, and $h_{\mathrm{top}}^{B}(T,K)$ denote the upper capacity topological entropy, the packing topological entropy, and the Bowen topological entropy of $K$, respectively. Additionally, we present a counterexample involving a non-invariant set, demonstrating that the converse of the third assertion is not valid in general.