Attractor and its self-similarities for an IFS over arbitrary sub-shift

Abstract

Consider a compact metric space $X$, and let $\mathcal{F}=\{f_1,\,f_2,\ldots,\, f_k\}$ be a set of contracting and continuous self maps on $X$. Let $Σ$ be a sub-shift on $k$ symbols, and let $Σ_k$ be the full shift. Define $\mathcal{L}_n(Σ)$ as the set of words of length $n$ in $Σ$. For $u=u_1\cdots u_n\in \mathcal{L}_n(Σ)$, set $f_u:=f_{u_n}\circ\cdots \circ f_{u_1}$ and $H^n(\cdot):=\cup_{u \in \mathcal{L}_{n}(Σ_k)} f_{u}(\cdot)$. When $Σ=Σ_k$, $H^n(\cdot)$ is the $n$th iteration of the Hutchinson's operator, and there exists a compact set $S= \lim_{n \rightarrow \infty} H^n(A)$ for any compact $A\subseteq X$ with $H^n(S)=S$ (self-similarity criteria) for $n\in\N$. For arbitrary $Σ$, the above limit exists; but it is not necessarily true that $H^n(S)=S$. Sufficient conditions on $Σ$ are provided to have $H^n(S)=S$ for all or some $n\in\N$, and then the dynamics of $S$ under the admissible iterations of $f_i$'s defined by $Σ$ are investigated.