Iterated function systems over arbitrary shift spaces

Abstract

The orbit of a point $x\in X$ in a classical iterated function system (IFS) can be defined as $\{f_u(x)=f_{u_n}\circ \cdots \circ f_{u_1}(x):$ $u=u_1\cdots u_n$ is a word of a full shift $\Sigma$ on finite symbols and $f_{u_i}$ is a continuous self map on $X$ $\}$. One also can associate to $\sigma ={\sigma }_1{\sigma }_2\cdots \in \Sigma$ a non-autonomous system $(X,f_{\sigma })$ where the trajectory of $x\in X$ is defined as $x,f_{{\sigma }_1}(x),f_{{\sigma }_1{\sigma }_2}(x),\dots$.Here instead of the full shift, we consider an arbitrary shift space $\Sigma$. Then we investigate basic properties related to this IFS and the associated non-autonomous systems. In particular, we look for sufficient conditions that guarantees that in a transitive IFS one may have a transitive $(X,f_{\sigma })$ for some $\sigma \in \Sigma$ and how abundance are such $\sigma$'s.