On a class of functions of the interval with zero topological entropy (Q623419)

Let \(I=[0,1]\), and \(Q\) denote the Cantor set. The authors identify each \(\underline{x}\in Q\) with the corresponding sequence \(\underline{x}=x_1x_2\dots\), and they note that \(\underline{x}=2\sum_{i=1}^\infty x_i/3^i\). Let \(\mathcal{A}\) denote the class of functions \(f:I\to I\) acting on \(Q\) in this way: if \(\underline{x}\in Q\) then \(\underline{y}=f(\underline{x})\in Q\) and for each \(i\), the value \(y_i\) depends only on \(x_1,x_2,\dots,x_i\). Further, the definition of \(f\) is extended linearly on the complementary intervals of \(Q\). For an integer \(n\geq 1\) and a real \(\varepsilon>0\), a set \(E\subset I\) is called an \((n,f,\varepsilon)\)- span if for any \(x\in I\) there is some \(y\in E\) such that \(|f^j(x)-f^j(y)|\leq\varepsilon\) for \(0\leq j\leq n-1\). Let \(S(n,f,\varepsilon)\) be an \((n,f,\varepsilon)\)-span with the minimal possible number of points. Then the topological entropy of \(f\) is defined as the number \[ h(f)=\lim_{\varepsilon\to 0}\limsup_{n\to +\infty}\frac{1}{n}\log_2(\#S(n,f,\varepsilon)). \] The aim of paper is to prove that for each \(f\in\mathcal{A}\) one has \(h(f)=0\).