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 $Σ$ on finite symbols and $f_{u_i}$ is a continuous self map on $X$ $\}$. One also can associate to $σ=σ_1σ_2\cdots\inΣ$ a non-autonomous system $(X,\,f_σ)$ where the trajectory of $x\in X$ is defined as $x,\,f_{σ_1}(x),\,f_{σ_1σ_2}(x),\ldots$.Here instead of the full shift, we consider an arbitrary shift space $Σ$. 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_σ)$ for some $σ\inΣ$ and how abundance are such $σ$'s.