Hofbauer towers and inverse limit spaces (Q2846932)

By a unimodal map \(f:[0,1]\to [0,1]\) is understood a continuous selfmap of \([0,1]\) such that there is a point \(c\in (0,1)\) with \(f|[0,c]\) strictly increasing and \(f|[c,1]\) strictly decreasing. Let \(c_i= f^i(c)\) for \(i\in\mathbb{N}\). It is assumed that \(c_2< c< c_1\), and \(c_2\leq c_3\). Let \(f^n\) be an iterate of \(f\) and \(J\) be a maximal subinterval for which \(c\in\partial J\) and \(f^n|J\) is monotone. If \(c\in f^n(J)\), then \(n\) is called a cutting time. These cutting times lead to the definition of a function \(Q_f:\mathbb{N}\to \mathbb{N}\cup\{0\}\), called the kneading map. Let \(I= [0,1]\) and \(f:I\to I\) be unimodal. Let \((I,f)\) denote the associated inverse limit space. A point \(x\in (I,f)\) is called an endpoint of \((I,f)\) if for every pair \(A\) and \(B\) of subcontinua of \((I,f)\) with \(x\in A\cap B\) either \(A\subset B\) or \(B\subset A\). Let \({\mathcal E}_f\) be the set NEWLINE\[NEWLINE\{(x_0,x_1,\dots)\in (I,f)\mid x_i\in \omega(c)\text{ for all }i\in \mathbb{N}\},NEWLINE\]NEWLINE where \(\omega(c)\) is the omega limit set of \(c\) under \(f\). As the main result, the author proves that if \(Q_f(k)\to\infty\) for \(k\to\infty\) and \(f|\omega(c)\) is one to one, then \({\mathcal E}_f\) is precisely the collection of endpoints of \((I,f)\).