Iterated function systems over arbitrary shift spaces

Document Type : Original Article

Authors

Dawoud Ahmadi Dastjerdi

Mahdi Aghaee

Department of Pure Mathematics, Faculty of Mathematical Sciences, University of Guilan, Rasht, Iran

10.22034/kjm.2022.367135.2696

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),\ldots$. 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.

Keywords

Iterated function system (IFS)

Non-autonomous system

Topological transitivity

Point transitivity

---