Inverse limits with generalized Markov interval functions (Q263028): Difference between revisions

In the paper [Topology Appl. 123, No.3, 421--427 (2002; Zbl 1010.37020)], \textit{S. E. Holte} proved that any two Markov interval maps with the same pattern have homeomorphic inverse limits. In the present paper generalized Markov interval functions are introduced and they generalize Markov interval maps to set-valued functions. In this generalization every Markov interval map can be naturally interpreted as a generalized Markov interval function. More precisely, if \(a,b \in \mathbb{R}\), \(a < b\), and \(m\) a positive integer, we say that an upper semicontinuous function \(f\) from \(I= [a,b]\) to \(2^I\) is a \textit{generalized Markov interval function with respect to} \(A = \{ a_0, a_1, \ldots, a_m \} \subseteq I\), if \(a= a_0 < a_1 < \cdots < a_m = b\), the restriction of \(f\) on every component of \(I \setminus A\) is an injective single-valued function, for each \(j = 0, 1, \ldots, m\), the image \(f(a_j) = [a_{r_1(j)}, a_{r_2(j)}]\), where \(a_{r_1(j)}, a_{r_2(j)} \in A\) and \(a_{r_1(j)} \leq a_{r_2(j)}\), and for each \(j = 0, 1, \ldots, m-1\): \(\lim_{x \uparrow a_{j+1}}f(x)\), \(\lim_{x \downarrow a_{j}}f(x) \in A\). Moreover, if \(f: I \rightarrow 2^I\) is a generalized Markov interval function with respect to \(A\) and \(g: J \rightarrow 2^J\) is a generalized Markov interval function with respect to \(B\), then we say that \(f\) and \(g\) are \textit{generalized Markov interval functions with the same pattern}, if two conditions are satisfied. As the main result the following theorem is proved. Let \(\{ f_n \}_{n=0}^{\infty}\) be a sequence of upper semicontinuous functions from \(I\) to \(2^I\) with surjective graphs, which are all generalized Markov interval functions with respect to \(A\) and let \(\{ g_n \}_{n=0}^{\infty}\) be a sequence of upper semicontinuous functions from \(J\) to \(2^J\) with surjective graphs, which are all generalized Markov interval functions with respect to \(B\). If for each \(n\), \(f_n\) and \(g_n\) are generalized Markov interval functions with the same pattern, then the inverse limit of the inverse sequence \(\{ I, f_k \}_{k = 0}^{\infty}\) is homeomorphic to the inverse limit of the inverse sequence \(\{ J, g_k \}_{k = 0}^{\infty}\).