Sensitivity of iterated function systems (Q1799141)

A dynamical system in this paper is $(\Gamma,X,\phi)$ or $(\Gamma,X)$, where $X$ is a set, $\Gamma$ is a semigroup and $\phi: \Gamma\times X\to X$ is a relation. Let $\mathcal{F}$ be a family of relations defined on a set $X$ and denote by $\mathcal{F}^+$ the semigroup generated by these relations. An iterated function system (IFS) is the dynamical system $(\mathcal{F}^+,X)$, also denoted by $\mathrm{IFS}(X;\mathcal{F})$ or $\mathrm{IFS}(\mathcal{F})$, by taking $\phi: \mathcal{F}^+\times X$, $(h,x)\mapsto \{y\in X: (x,y)\in h\}$. \par The authors generalize the concepts of classical transitivity, sensitivity and equicontinuity to IFSs and study the relations between these concepts. Several sufficient conditions for sensitivity of IFSs are presented. The authors also introduce the notion of weak topological exactness for IFSs and prove that non-minimal weak topologically exact IFSs are sensitive. As a consequence, the authors provide examples of non-minimal IFSs which are sensitive but not $M$-systems.