A constructive proof of the existence of a semi-conjugacy for a one dimensional map (Q414749): Difference between revisions

A continuous map \(f:I\to I\), where \(I=[0,1]\), is called \(n\)-nodal if there is a partition \(0=z_0<z_1<\dots<z_n=1\) such that \(f(z_{2i})=0\), \(f(z_{2i+1})=1\), and \(f\) is (not necessarily strictly) monotone on each \([z_i,z_{i+1}]\). Such a map is called a generalized tent map (denoted by \(T_n\)) if \(z_i=i/n\) and the map is linear on each \([z_i,z_{i+1}]\). The authors show that any \(n\)-nodal map is topologically semi-conjugate to \(T_n\) (i.e., there exists a continuous map \(h:I\to I\) such that \(h\circ f=T_n\circ h\)) and the semi-conjugacy \(h\) is unique. The proof is constructive; the authors use special symbol sequences to construct approximate semi-conjugacies \(h_m\) which converge to \(h\).