 Research
 Open Access
 Published:
The canonical projection between the shift space of an IIFS and its attractor as a fixed point
Fixed Point Theory and Applications volume 2015, Article number: 75 (2015)
Abstract
An important class of fractal sets is given by the attractors of iterated function systems which are defined as the fixed points of the associated fractal operators. In the study of such an attractor, an important place is taken by the canonical projection between the shift space associated with the system and the attractor. In this paper, by using different fixed point theorems, we present the canonical projection as the fixed point of a certain operator defined on the space of continuous functions from the shift space on the metric space associated with the system.
Introduction
It is well known that some important mathematical objects, such as Cantor set, Sierpinsky gasket and carpet, Menger cube and the graph of Weierstrass function, are fractal sets. Most of them could be obtained as attractors of iterated function systems or of infinite iterated function systems (as in the case of Lipscomb’s space, see [1–3]), that is, they can be seen as fixed points of the fractal operator associated to the corresponding (infinite) iterated function system. For iterated function system we will use the abbreviation IFS and for infinite iterated function system the abbreviation IIFS. The study of IFSs was initiated by Moran [4], clarified by Hutchinson [5] and popularized by Barnsley [6], and it has been extended by a lot of other mathematicians. There are two main directions to extend the notion of IFS and to study the attractors of such systems. The first one deals with general types of IFSs such as IIFSs, graphdirected IFSs, multifunctions iterated systems (see [7]) and generalized IFSs (see [8–10]). The second one uses different types of fixed point theorems to define the attractor of an IFS or IIFS (see [11]). As a recent example, see [12].
The fixed point theorems are used not only in the definition of the attractor of an IFS, but also for the study of its properties. For example, let us mention the case of the connectivity of the attractor (see [13, 14]) and the very important concept associated with an IFS with probabilities, namely that of Hutchinson measure. More precisely, Hutchinson [5] proved that given \(\varphi_{1}, \varphi_{2}, \ldots, \varphi_{m}\) contractions in a complete metric space X, there exists a unique Borel measure μ satisfying the equation \(\mu=\sum^{m}_{i=1}p_{i}\mu\circ\varphi_{i}^{1}:=M_{\mathcal{S}}\mu\), where \(p_{1}, p_{2}, \ldots, p_{m}\) are positive numbers such that \(\sum^{m}_{i=1}p_{i}=1\) and \(\mathcal{S}\) is the IFS \((X,(\varphi _{i})_{i\in \{1,2,\ldots,n\}})\). Moreover, μ is the fixed point of the operator \(M_{ \mathcal{S}}\) in the topology of weak convergence within the space \(\mathcal{M}\) of Borel regular probability measures with bounded support.
The shift (or code) space of an IFS and the addresses of the points lying on the attractor of the IFS are very good tools to get a more precise description of the invariant dynamics of the IFS and to study the topological properties of the attractor of the IFS. The theory of fractals tops (see [15]) provides a useful mapping from an IFS attractor into the associated code space, and it may be applied to assign colors to the IFS attractor via the method introduced by Barnsley and Hutchinson (which they refer to as colorstealing) and to construct homeomorphisms between attractors (roughly speaking, if the symbolic dynamic systems associated with the tops of two IFSs are topologically conjugate, then the attractors of the IFSs are homeomorphic). Moreover, Barnsley [15] proved that if two hyperbolic IFS attractors are homeomorphic, then they have the same entropy.
In [16] a generalization of the notion of the shift space associated to an IFS is presented. More precisely, the shift space for IIFSs is presented and the relation between this space and the attractor of the IIFS is described. A canonical projection (which turns out to be continuous) from the shift space of an IIFS on its attractor is constructed.
In this paper we provide an alternative characterization of the above mentioned projection. More precisely, by using different fixed point theorems, we present the canonical projection between the shift space and the attractor of an IIFS as a fixed point of an operator on the space of continuous functions from the shift space on the metric space associated with the system.
The paper is organized in five sections. The second one contains some preliminaries concerning fixed point theorems and classical results concerning IIFS, the third is dedicated to the main results, the fourth deals with the case of εchainable metric spaces and the last one contains some remarks and examples.
Preliminaries
For the very beginning we present some basic notations and definitions.
An increasing and right continuous function \(\phi:[0,\infty )\rightarrow {}[0,\infty)\) such that \(\phi(r)< r\) for every \(r>0\) is called comparison function.
Given a function \(f:X\rightarrow X\), \(f^{[n]}\) denotes the function \(f\circ f\circ\cdots\circ f\) for n times.
For two metric spaces \((X_{1},d_{1})\) and \((X_{2},d_{2})\), \(C(X_{1},X_{2})\) denotes the set of continuous functions from \(X_{1}\) into \(X_{2}\) and \(\operatorname{CB}(X_{1},X_{2})\) is the set of continuous and bounded functions from \(X_{1}\) into \(X_{2}\). For a function \(f:X_{1}\rightarrow X_{2}\), \(\operatorname{Lip}(f)\) denotes its Lipschitz constant, that is, \(\operatorname{Lip}(f):=\sup_{x,y\in X_{1};x\neq y}\frac{d_{2}(f(x),f(y))}{d_{1}(x,y)}\).
Given a subset A of a metric space \((X,d)\), by \(d(A)\) we understand the diameter of A, that is, \(d(A):=\sup_{x,y\in A}d(x,y)\).
For a metric space \((X,d)\), by \(K(X)\) we denote the set of compact nonvoid subsets of X, by \(B(X)\) the set of bounded closed and nonvoid subsets of X and, for a set J, by \(B_{J}(X)\) the set of bounded, closed and nonvoid subsets of X having a dense subset with cardinal less or equal to the cardinal of J.
Note that \(K(X)\), \(B_{J}(X)\) and \(B(X)\) can be seen as metric spaces with the HausdorffPompeiu distance h defined by
Recall that \((K(X),h)\), \((B_{J}(X),h)\) and \((B(X),h)\) are complete metric spaces if \((X,d)\) is such and compact metric spaces if \((X,d)\) is such.
Definition 2.1
Let \((X,d)\) be a metric space. A family of continuous functions \((f_{i})_{i\in I}\), where \(f_{i}:X\rightarrow X\), which is bounded (i.e., if \(Y\subset X\) is bounded, then \(\bigcup_{i\in I}f_{i}(Y)\) is bounded) is called an IIFS and it is denoted by \(\mathcal{S}\). If the set I is finite, we have an IFS. The function \(F_{\mathcal{S}}:B(X)\rightarrow B(X)\) defined by \(F_{\mathcal {S}}(Y)=\overline{\bigcup_{i\in I}f_{i}(Y)}\) for every \(Y\in B(X)\) is called the fractal operator associated with the IIFS \(\mathcal{S}\). If \(Y\in K(X)\) and I is finite, then \(F_{ \mathcal{S}}(Y)=\bigcup_{i\in I}f_{i}(Y)\).
We remark that \(F_{\mathcal{S}}(K(X))\subset K(X)\) if I is a finite set and \(F_{\mathcal{S}}(B_{I}(X))\subset B_{I}(X)\) in general.
Now we recall some contractive conditions that are used in metric fixed point theorems. These are the main contractive conditions which are inherited by the fractal operator from the constitutive functions of the IFS or IIFS (as far as we know).
For a function \(f:X\rightarrow X\), where \((X,d)\) is a metric space, we consider the following contractive conditions:

(i)
f is a contraction if there exists \(a\in{}[0,1)\) such that \(d(f(x),f(y))\leq ad(x,y)\) for every \(x,y\in X\).

(ii)
f is a ϕcontraction if \(d(f(x),f(y))\leq\phi(d(x,y))\) for every \(x,y\in X\), where ϕ is a comparison function.

(iii)
f is MeirKeeler if for every \(\varepsilon>0\) there exists \(\eta>0\) such that for every \(x,y\in X\) with the property that \(d(x,y)\leq \varepsilon+\eta\) we have \(d(f(x),f(y))<\varepsilon\).

(iv)
f is called contractive if \(d(f(x),f(y))< d(x,y)\) for every \(x,y\in X\), \(x\neq y\).
It is known (see [11] for more details) that (i) ⇒ (ii) ⇒ (iii) ⇒ (iv), and we have the following theorem.
Theorem 2.2
(see [17])
If \(f:X\rightarrow X\) is MeirKeeler, where \((X,d)\) is a complete metric space, then there exists a unique fixed point \(x_{0}\) of f and the sequence \((f^{[n]}(x))_{n}\) is convergent to \(x_{0}\) for every \(x\in X\). If \((X,d)\) is compact and f is contractive, then there exists a unique fixed point \(x_{0}\) of f and the sequence \((f^{[n]}(x))_{n}\) is convergent to \(x_{0}\) for every \(x\in X\).
Definition 2.3
The family of functions \((f_{i})_{i\in I}\), where \(f_{i}:X\rightarrow X\) and \((X,d)\) is a metric space, is called uniform MeirKeeler if for every \(\varepsilon>0\) there exist \(\eta>0\) and \(\lambda>0\) such that for every \(x,y\in X\) with the property that \(d(x,y)\leq\varepsilon+\eta\) we have \(d(f_{i}(x),f_{i}(y))< \varepsilon\lambda\) for every \(i\in I\).
Now we present some notations concerning the shift space of an IIFS.
The set \(I^{\mathbb{Z}^{+}}\) is denoted by Λ and the set \(I^{\{1,2,\ldots,n\}}\) by \(\Lambda_{n}\). For an IIFS \(\mathcal{S}=(f_{i})_{i\in I}\), Λ is named the shift or code space of the IIFS \(\mathcal{S}\). The elements of Λ can be written as infinite words \(\alpha=\alpha_{1}\alpha_{2}\alpha_{3}\cdots\) and the elements of \(\Lambda _{n}\) as finite words \(\alpha=\alpha_{1}\alpha_{2}\cdots\alpha_{n}\). By \(\Lambda^{\ast}\) we denote the set of all finite words, namely \(\Lambda ^{\ast}=\bigcup_{n\in\mathbb{Z}^{+}}\Lambda_{n}\). Λ can be seen as a metric space with the distance \(d_{\Lambda}\) defined by \(d_{\Lambda}(\alpha,\alpha)=0\) and for \(\alpha\neq\beta\), \(d_{\Lambda}(\alpha,\beta)=\frac{1}{2^{n}}\) where n is the natural number having the property that \(\alpha_{k}=\beta_{k}\) for \(k< n\) and \(\alpha _{n}\neq \beta_{n}\), where \(\alpha=\alpha_{1}\alpha_{2}\alpha_{3}\cdots\alpha _{n}\alpha_{n+1}\cdots\) and \(\beta=\beta_{1}\beta_{2}\beta_{3}\cdots\beta _{n}\beta_{n+1}\cdots\). By αβ we understand the concatenation of the words \(\alpha\in\Lambda^{\ast}\) and \(\beta\in\Lambda\cup \Lambda^{\ast}\). \(\tau_{i}\) denotes the function \(\tau_{i}:\Lambda \rightarrow\Lambda\) defined by \(\tau_{i}(\alpha)=i\alpha\) and R denotes the function \(R:\Lambda\rightarrow\Lambda\) defined by \(R(\alpha _{1}\alpha_{2}\alpha_{3}\cdots)=\alpha_{2}\alpha_{3}\cdots\). For \(\alpha \in \Lambda\cup\Lambda_{n}\) and \(m\leq n\), \([\alpha]_{m}=\alpha _{1}\alpha _{2}\cdots\alpha_{m}\). By \(\alpha\) we denote the number of letters of α.
We note that on \((\Lambda,d_{\Lambda})\) the set of functions \((\tau _{i})_{i\in I}\) forms an IIFS, consisting of injective functions with disjoint images.
On \(C(\Lambda,X)\) we consider the generalized metric \(d_{\infty}\) (that is, \(d_{\infty}:C(\Lambda,X)\times C(\Lambda,X)\rightarrow{}[ 0,\infty]\)) defined by \(d_{\infty}(f,g):= \sup_{\alpha\in\Lambda}d(f(\alpha),g(\alpha))\). Note that \((C(\Lambda,X), d_{\infty})\) is a complete generalized metric space if \((X,d)\) is a complete metric space and \((\operatorname{CB}(\Lambda,X),d_{\infty})\) is a complete metric space if \((X,d) \) is so.
Let \((X,d)\) be a metric space and \(\mathcal{S}=(f_{i})_{i\in I}\) be an IIFS on X. Then \(f_{\alpha_{1}\alpha_{2}\cdots\alpha_{n}}:=f_{\alpha _{1}}\circ f_{\alpha_{2}}\circ\cdots\circ f_{\alpha_{n}}\) and \(Y_{\alpha_{1}\alpha _{2}\cdots\alpha_{n}}:=f_{\alpha_{1}\alpha_{2}\cdots\alpha_{n}}(Y)\) for a set \(Y\subset X\).
Theorem 2.4
Let \(\mathcal{S}=(f_{i})_{i\in I}\) be an IIFS on the complete metric space \((X,d)\). If the family of functions \((f_{i})_{i\in I}\) is uniform MeirKeeler or \((X,d)\) is a compact metric space, I is finite and all the functions \(f_{i}\) are contractive, then there exists a unique set \(A=A(\mathcal{S})\) such that \(F_{\mathcal {S}}(A)=A\) and \(h(F_{\mathcal{S}}^{[n]}(Y),A)\rightarrow0\) for every \(Y\in B(X)\). In addition, there exists a unique continuous function \(\pi_{\mathcal{S}}:\Lambda\rightarrow X\) such that \(\pi_{\mathcal{S}}\circ\tau_{i}=f_{i}\circ\pi_{\mathcal{S}}\) for every \(i\in I\), \(\overline{\pi_{\mathcal{S}}(\Lambda)}=A\) and \(\lim_{n\rightarrow\infty}f_{[\alpha ]_{n}}(x)=\pi _{\mathcal{S}}(\alpha)\) for every \(x\in X\) and \(\alpha \in\Lambda\). Moreover, the sequence \((A_{[\alpha ]_{n}})_{n\geq 1}\) is decreasing, \(\{\pi_{\mathcal{S}}(\alpha)\}=\bigcap_{n\geq1}\overline{A_{[\alpha]_{n}}}\) and \(\lim_{n\rightarrow\infty}\sup_{\alpha\in\Lambda_{n}} d(A_{\alpha})=0\). In the particular case when \(c:= \sup_{i\in I}\operatorname{Lip}(f_{i})<1\), we have the following estimations of the speed of convergence \(h(F_{\mathcal{S}}^{[n]}(Y),A)\leq\frac{c^{n}}{1c}h(F_{\mathcal{S}}(Y),Y)\) for every \(Y\in B(X)\) and \(d(A_{\alpha})\leq c^{n}d(A)\) for every \(\alpha\in\Lambda_{n}\).
Proof
The existence of the set \(A(\mathcal{S})\) with the properties from the theorem was proved in [11]. The function \(\pi _{\mathcal{S}}\) was defined in [16] and its properties were proved there in the particular case when \(c=\sup_{i\in I}\operatorname{Lip}(f_{i})<1\). In the general case, when the family of functions \((f_{i})_{i\in I}\) is uniform MeirKeeler, the proof is similar (quite identical) with the exception of the fact that \(\lim_{n\rightarrow\infty}\sup_{\alpha\in\Lambda_{n}}d(A_{\alpha})=0\). We are going to prove here only this part. Since for every \(\alpha\in\Lambda\) and every natural number n we have \(A_{[\alpha]_{n+1}}\subset A_{[\alpha]_{n}}\), it follows that \(\sup_{\alpha\in\Lambda_{n}}d(A_{\alpha })\geq \sup_{\alpha\in\Lambda_{n+1}}d(A_{\alpha})\). Therefore the sequence \((\sup_{\alpha\in\Lambda_{n}}d(A_{\alpha }))_{n\geq 1} \) is convergent to a number \(l\geq0\). If \(l>0\), since the family of functions \((f_{i})_{i\in I}\) is uniform MeirKeeler, there exist \(\eta >0\) and \(\lambda>0\) such that for every \(x,y\in X\) with the property that \(d(x,y)\leq l+\eta\) we have \(d(f_{i}(x),f_{i}(y))< l\lambda\) for all \(i\in I\). Because \(\lim_{n\rightarrow\infty}\sup_{\alpha\in\Lambda_{n}}d(A_{\alpha})=l\), there exists \(n_{\eta}\) such that for every \(n\geq n_{\eta}\) we have \(\sup_{\alpha\in\Lambda_{n}} d(A_{\alpha})< l+\eta\). As a result, for every \(n\geq n_{\eta}+1\), we have \(\sup_{\alpha\in\Lambda_{n}}d(A_{\alpha})\leq l\lambda\). This is in contradiction with the fact that \(\lim_{n\rightarrow\infty}\sup_{\alpha\in\Lambda_{n}}d(A_{\alpha})=l\). Therefore \(\lim_{n\rightarrow\infty}\sup_{\alpha\in\Lambda_{n}}d(A_{\alpha})=0\). □
Definition 2.5
The set \(A=A(\mathcal{S})\) from the above theorem is called the attractor of the IIFS \(\mathcal{S}=(f_{i})_{i\in I}\) and the function \(\pi_{\mathcal{S}}:\Lambda \rightarrow A\) from the above theorem is called the canonical projection between the shift space of the IIFS and its attractor.
The main results
For an IIFS \(\mathcal{S}=(f_{i})_{i\in I}\) on the metric space \((X,d)\), we consider the function \(H_{\mathcal{S}}:C(\Lambda,X)\rightarrow C(\Lambda ,X) \) defined by
for every \(f\in C(\Lambda,X)\) and \(\alpha\in\Lambda\).
We remark that \(H_{\mathcal{S}}\) is well defined. Indeed \(H_{\mathcal{S} }(f)_{\Lambda_{i}}\) is continuous for every \(i\in I\) since \(f_{i}\), f and R are continuous functions. As the sets \(\Lambda_{i}\), \(i\in I\), are disjoint, open and closed, it follows that \(H_{\mathcal{S}}(f)\) is a continuous function.
We also note that \(H_{\mathcal{S}}(\operatorname{CB}(\Lambda,X))\subset \operatorname{CB}(\Lambda,X)\). Indeed, for a function \(f\in \operatorname{CB}(\Lambda,X)\), \(f(\Lambda)\) is bounded and \(H_{\mathcal{S}}(f)(\Lambda)=H_{\mathcal{S}}(f)(\bigcup_{i\in I} \Lambda_{i})=\bigcup_{i\in I}f_{i}(f(\Lambda))\). Taking into account that the family of functions \((f_{i})_{i\in I}\) is bounded, we obtain the desired result.
Proposition 3.1
Let \(\mathcal{S}=(f_{i})_{i\in I}\) be an IIFS on the metric space \((X,d)\). Then:

(i)
If the family of functions \((f_{i})_{i\in I}\) is equal uniform continuous, then \(H_{\mathcal{S}}\) is continuous. In particular, if I is finite, then \(H_{\mathcal{S}}\) is continuous.

(ii)
We have \(\operatorname{Lip}(H_{\mathcal{S}})\leq\sup_{i\in I} \operatorname{Lip}(f_{i})\). In particular, if \(\sup_{i\in I}\operatorname{Lip}(f_{i})<1\), then \(H_{\mathcal{S}}\) is a contraction. If \(f_{i}\) are contractions and I is finite, then \(\sup_{i\in I}\operatorname{Lip}(f_{i})<1\).

(iii)
If all \(f_{i}\) are ϕcontractions, where ϕ is a comparison function, then \(H_{\mathcal{S}}\) is a ϕcontraction.

(iv)
If the family of functions \((f_{i})_{i\in I}\) is uniform MeirKeeler, then \(H_{\mathcal{S}}\) is MeirKeeler.

(v)
If I is finite and all the functions \(f_{i}\) are MeirKeeler, then \(H_{\mathcal{S}}\) is MeirKeeler.

(vi)
If I is finite and all the functions \(f_{i}\) are contractive, then \(H_{\mathcal{S}}\) is contractive.
Proof
(i) Let \(\varepsilon>0\) be fixed. Then there exists \(\delta _{\varepsilon}>0\) such that \(d(f_{i}(x),f_{i}(y))<\varepsilon\) for every \(x,y\in X\) such that \(d(x,y)<\delta_{\varepsilon}\) and \(i\in I\). We suppose that \(g_{n}\rightarrow g\) in \((C(\Lambda,X),d_{\infty})\). Consequently, there exists \(n_{\varepsilon}\) such that \(d_{\infty}(g_{n},g)<\delta _{\varepsilon}\) for every \(n\geq n_{\varepsilon}\). Then \(d(H_{\mathcal {S}}(g_{n})(\alpha), H_{\mathcal{S}}(g)(\alpha))=d(f_{[\alpha]_{1}}\circ g_{n}\circ R(\alpha),f_{[\alpha]_{1}}\circ g\circ R(\alpha ))<\varepsilon\). It follows that \(d_{\infty}(H_{\mathcal{S}}(g_{n}),H_{\mathcal{S}}(g))\leq\varepsilon\) for every \(n\geq n_{\varepsilon}\).
(ii) We have
(iii) We have
(iv) Let \(\varepsilon>0\) be fixed. Then there exist \(\eta>0\) and \(\lambda >0 \) such that for every \(x,y\in X\) with the property that \(d(x,y)<\varepsilon+\eta\) we have \(d(f_{i}(x),f_{i}(y))<\varepsilon \lambda\). We suppose that \(d_{\infty}(f,g)<\varepsilon+\eta\). Then \(d(f(\alpha),g(\alpha))<\varepsilon+\eta\) for every \(\alpha\in \Lambda\). In particular \(d(f\circ R(\alpha),g\circ R(\alpha))<\varepsilon +\eta\) for every \(\alpha\in\Lambda\). Therefore \(d(f_{[\alpha]_{1}}\circ f\circ R(\alpha),f_{[\alpha]_{1}}\circ g\circ R(\alpha))=d(H_{\mathcal{S}}(f)(\alpha),H_{\mathcal{S}}(g)(\alpha))<\varepsilon\lambda\) for every \(i\in I\). It follows that \(d_{\infty}(H_{\mathcal{S}}(f),H_{\mathcal {S}}(g))=\sup_{\alpha\in\Lambda}d(H_{\mathcal{S}}(f)(\alpha),H_{\mathcal{S}}(g)(\alpha))\leq\varepsilon\lambda<\varepsilon \lambda/2\), which gives the desired result.
(v) Let \(\varepsilon>0\) be fixed. Then there exists \(\eta>0\) such that for every \(x,y\in X\) with the property that \(d(x,y)<\varepsilon+\eta\) we have \(d(f_{i}(x),f_{i}(y))<\varepsilon\) for every \(i\in I\). We suppose that \(d_{\infty}(f,g)<\varepsilon+\eta\). Then \(d(f(\alpha),g(\alpha ))<\varepsilon+\eta\) for every \(\alpha\in\Lambda\) and \(d(f_{\alpha _{1}}\circ f\circ R(\alpha),f_{\alpha_{1}}\circ g\circ R(\alpha ))<\varepsilon\) for every \(\alpha\in\Lambda\) and \(i\in I\). Since
I is finite and Λ is compact, there exists \(\beta\in \Lambda\) such that
It follows that \(d_{\infty}(H_{\mathcal{S}}(f),H_{\mathcal{S}}(g))<\varepsilon\).
(vi) We have \(d_{\infty}(H_{\mathcal{S}}(f),H_{\mathcal {S}}(g))=\sup_{\alpha\in\Lambda}d(f_{[\alpha]_{1}}\circ f\circ R(\alpha ),f_{[\alpha]_{1}}\circ g\circ R(\alpha))\). Since I is finite and Λ is compact, there exists \(\beta\in\Lambda\) such that \(d_{\infty }(H_{\mathcal{S}}(f),H_{\mathcal{S}}(g))=d(f_{[\beta]_{1}}\circ f\circ R(\beta),f_{[\beta]_{1}}\circ g\circ R(\beta))\). Then
□
Note that if all the functions \(f_{i}\) are ϕcontractions for a comparison function ϕ, then the family of functions \((f_{i})_{i\in I}\) is uniform MeirKeeler. We also remark that if \(\sup_{i\in I} \operatorname{Lip}(f_{i})<1\), then there exists a comparison function ϕ such that all \(f_{i}\) are ϕcontractions, namely \(\phi(r)=r\sup_{i\in I} \operatorname{Lip}(f_{i})\).
Theorem 3.2
Let \(\mathcal{S}=(f_{i})_{i\in I}\) be an IIFS on the complete metric space \((X,d)\). Then there exists a unique fixed point \(\pi_{0}\) of \(H_{\mathcal {S}}\) and \(d_{\infty}(H_{\mathcal{S}}^{[n]}(f),\pi _{0})\rightarrow0\) for every \(f\in \operatorname{CB}(\Lambda,X)\) provided that one of the following two conditions is fulfilled:

(i)
the family of functions \((f_{i})_{i\in I}\) is uniform MeirKeeler;

(ii)
\((X,d)\) is a compact metric space, I is finite and all \(f_{i}\) are contractive.
Moreover, \(\pi_{0}\circ\tau_{i}=f_{i}\circ\pi_{0}\) for every \(i\in I\); and consequently \(\pi_{0}=\pi_{\mathcal{S}}\). In the particular case when \(c:=\sup_{i\in I} \operatorname{Lip}(f_{i})<1\), we have the following estimations of the speed of convergence:
Proof
In the first case (the family of functions \((f_{i})_{i\in I}\) is uniform MeirKeeler) the existence of \(\pi_{0}\) results from Theorem 2.2, Proposition 3.1 and the fact that the space \((\operatorname{CB}(\Lambda ,X),d_{\infty })\) is complete. For the second case (\((X,d)\) is a compact metric space, I is finite and all \(f_{i}\) are contractive), we remark that \(f_{i}\) are ϕcontractions for the comparison function \(\phi(r)=\sup \{d(f_{i}(x),f_{i}(y)):i\in I\mbox{ and }d(x,y)\leq r\}\), and so this case results from the previous one.
From the fact that \(H_{\mathcal{S}}(\pi_{0})=\pi_{0}\) we infer that \(\pi_{0}\circ\tau_{i}(\alpha)=\pi_{0}(i\alpha)=H_{\mathcal{S}}\circ\pi _{0}(i\alpha)=f_{i}(\pi_{0}(\alpha))\) for every \(\alpha\in\Lambda \) and \(i\in I\), i.e., \(\pi_{0}\circ\tau_{i}=f_{i}\circ\pi_{0}\) for every \(i\in I\).
For \(\alpha,\beta\in\Lambda\), we have \([\alpha]_{n}\beta \rightarrow \alpha\) in \((\Lambda,d_{\Lambda})\); and consequently \(\pi _{0}([\alpha ]_{n}\beta)\rightarrow\pi_{0}(\alpha)\). But \(\pi_{0}([\alpha ]_{n}\beta )=\pi_{0}\circ\tau_{{}[\alpha]_{n}}(\beta)=f_{[\alpha ]_{n}}\circ \pi_{0}(\beta)\) and, from Theorem 2.4, we infer that \(f_{[\alpha ]_{n}}\circ\pi_{0}(\beta)\rightarrow\pi_{\mathcal{S}}(\alpha)\). Therefore \(\pi_{0}=\pi_{\mathcal{S}}\). The estimation of the speed of convergence comes from the Banach contraction principle. □
Remarks 3.3
(i) We suppose that \((X,d)\) is a complete metric space and \(\mathcal{S}=(f_{i})_{i\in I}\) is an IFS (I is a finite set). Then we have
for every \(f\in C(\Lambda,X)\).
Since I is finite, it follows that Λ and \(f(\Lambda)\) are compact, and so
By induction one can prove that
for every \(n\in\mathbb{N}\).
(ii) If in addition \(f_{i}\) are MeirKeeler, then \(d_{\infty }(H_{\mathcal{S}}^{[n]}(f),\pi_{0})\rightarrow0\), which implies that \(h(H_{\mathcal{S} }^{[n]}(f)(\Lambda),\pi_{0}(\Lambda))\rightarrow0\). From the first part of the remark we obtain \(h(F_{\mathcal{S}}^{[n]}(f(\Lambda)), \pi _{0}(\Lambda))\rightarrow0\). Since \(H_{\mathcal{S}}(\pi_{0})=\pi_{0}\), we have
(iii) Let \(M\in K(X)\). We suppose that I has at least two elements. In this case Λ is homeomorphic with the Cantor set. It is known that there exists a continuous function \(f_{M}\) from Λ onto M. We have proved that \(F_{\mathcal{S}}(\pi_{0}(\Lambda))=\pi_{0}(\Lambda)\) and that \(h(F_{\mathcal{S}}^{[n]}(M),\pi_{0}(\Lambda))=h(F_{\mathcal{S} }^{[n]}(f_{M}(\Lambda)),\pi_{0}(\Lambda))\rightarrow0\) for every \(M\in K(X)\). If \(F_{\mathcal{S}}(M)=M\) for a set \(M\in K(X)\), then \(h(M,\pi _{0}(\Lambda))=h(F_{\mathcal{S}}^{[n]}(M),\pi_{0}(\Lambda ))\rightarrow0\). It follows that \(M=\pi_{0}(\Lambda)\).
In this way, the first part of Theorem 3.2 implies the first part of Theorem 2.4.
(iv) A similar result could be obtained when I is an infinite set with the differences that \(\overline{H_{\mathcal{S}}(f)(\Lambda)}=F_{\mathcal{S} }(f(\Lambda))\), \(\overline{H_{\mathcal{S}}^{[n]}(f)(\Lambda )}=F_{\mathcal{S}}^{[n]}(f(\Lambda))\), the attractor is \(\overline{\pi_{0}(\Lambda)}\) instead of \(\pi_{0}(\Lambda)\) and the convergence is obtained for sets from \(B_{I}(X)\).
The case of εchainable spaces
In this section we intend to obtain similar results as those from Theorem 3.2 when we know that the contractive conditions are satisfied only for closed enough points. Since the MeirKeeler is the most general contractive condition (from the list from Section 1) which assures the existence of the fixed point on an arbitrary complete metric space, we will study only two cases, namely:

(i)
εMeirKeeler functions on arbitrary complete metric spaces, and

(ii)
εcontractive functions on compact metric spaces (see Definition 4.8).
The corresponding fixed point result of Theorem 2.2 (Theorem 4.9) requires for the basic space to satisfy certain conditions of εchainability (see Definition 4.1), so we need to have a similar property. In fact we need this property for the space \(\operatorname{CB}(\Lambda,X)\). It is a natural question if \(\operatorname{CB}(\Lambda,X)\) inherits this property from X. This happens if I is finite but does not always happen if I is infinite (see Examples 4.3, 4.4 and 4.5). A similar fact happens for \(K(X)\) and \(B(X)\). \(K(X)\) is always εchainable when X is so, but \(B(X)\) is not (see [11]). Therefore we will use the notations of εchainable and uniform εchainable metric spaces. In Proposition 4.2 it is proved that \(\operatorname{CB}(\Lambda,X)\) is εchainable if I is finite and in Proposition 4.7 the same conclusion is obtained for I infinite. The case when I is a finite set is straightforward, but the case when I is infinite, although it has a similar idea, requires a preparatory result, namely Lemma 4.6.
Definition 4.1
Let \(\varepsilon>0\). A metric space \((X,d)\) is called εchainable if for every \(x,y\in X\) there exists a chain \(x_{0}=x,x_{1},\ldots,x_{n}=y\) such that \(d(x_{k},x_{k+1})<\varepsilon\) for every \(k\in\{0,1,\ldots,n1\}\), and it is called uniform εchainable if for every \(M>0\) there exists a natural number \(n_{M}\) such that for every \(x,y\in X\) with the property that \(d(x,y)< M\) there exists a chain \(x_{0}=x,x_{1},\ldots,x_{n}=y\) such that \(d(x_{k},x_{k+1})<\varepsilon\) for every \(k\in\{0,1,\ldots,n1\}\) and \(n\leq n_{M}\). A chain \(x_{0},x_{1},\ldots,x_{n}\) such that \(d(x_{k},x_{k+1})<\varepsilon \) for every \(k\in\{0,1,\ldots,n1\}\) is called an εchain.
Proposition 4.2
If the metric space \((X,d)\) is εchainable and I is finite, then the metric space \(C(\Lambda,X)=\operatorname{CB}(\Lambda,X)\) is εchainable.
Proof
Let \(f,g\in C(\Lambda,X)\). Since Λ is a compact set, it follows that f and g are uniform continuous functions. Hence there is a natural number m such that for every \(\alpha\in\Lambda_{m}\) and \(\beta,\gamma\in\Lambda\) we have \(d(f(\alpha\beta),f(\alpha \gamma ))<\varepsilon\) and \(d(g(\alpha\beta),g(\alpha\gamma))<\varepsilon\). Let \(f_{1}\) and \(g_{1}\) be defined by \(f_{1}_{\Lambda_{\alpha }}=f(\alpha \beta)\) for every \(\alpha\in\Lambda_{m}\) and \(g_{1}_{\Lambda _{\alpha }}=g(\alpha\beta)\) for every \(\alpha\in\Lambda_{m}\), where β is a fixed element of Λ. We have \(d_{\infty }(f,f_{1})<\varepsilon\) and \(d_{\infty}(g,g_{1})<\varepsilon\). Since \((X,d)\) is εchainable, for every \(\alpha\in\Lambda_{m}\) there exists an εchain \(x_{0}^{\alpha}=f(\alpha\beta)=f_{1}(\alpha\beta ),x_{1}^{\alpha},\ldots,x_{n^{\alpha}}^{\alpha}=g(\alpha\beta )=g_{1}(\alpha\beta)\). Because I is finite, we can suppose that \(n^{\alpha}=n\) for every \(\alpha\in\Lambda_{m}\). We consider the functions \(f_{k}\in C(\Lambda,X)\) defined by \(f_{k}_{\Lambda_{\alpha }}=x_{k}^{\alpha}\) for every \(\alpha\in\Lambda_{m}\) and remark that \(f_{n}=g_{1}\) and \(f,f_{1},f_{2},\ldots,f_{n},g\) is an εchain between f and g. □
We give some examples which show that \(\operatorname{CB}(\Lambda,X)\) could not be an εchainable metric space for every \(\varepsilon>0\), although X is εchainable for every \(\varepsilon>0\). As usual, \(l_{2}\) denotes the Hilbert space of sequences of real numbers \(x=(x_{n})_{n\geq1}\) such that \(\sum^{\infty}_{n=1}x_{n}^{2}<\infty\) endowed with the norm \(\x\_{2}=\sqrt{\sum^{\infty}_{n=1}x_{n}^{2}}\). We denote by \(e_{n}\) the element \((\delta _{m}^{n})_{m\geq1}\), where \(\delta_{m}^{n}= \bigl\{\scriptsize{ \begin{array}{l@{\quad}l} 1&\text{if } n=m, \\ 0& \text{if }n\neq m \end{array} }\bigr. \) and by \(d_{2}\) the distance associated with the norm \(\\circ\_{2}\). For \(x,y\in l_{2}\), \([x,y]\) is the set \(\{ tx+(1t)y:t\in {}[0,1]\}\). Let \(X=\bigcup_{n\geq1}[e_{n},e_{n+1}]\subset l_{2} \).
Example 4.3
With the above notations the metric space \((X,d_{2})\) is an εchainable metric space for every \(\varepsilon>0\), but \(\operatorname{CB}(\Lambda,X)\) is not an εchainable metric space for every \(\varepsilon\in(0,\frac{1}{\sqrt{2}})\).
Indeed, since \((X,d_{2})\) is an arcwise connected space it is also an εchainable metric space. Let us consider the functions \(f,g\in \operatorname{CB}(\Lambda,X)\) defined by \(f(\alpha)=e_{1}\) and \(g(n\alpha)=e_{n}\) for every \(\alpha\in\Lambda\) and \(n\in\mathbb{Z}^{+}\), where \(\Lambda =\Lambda(\mathbb{Z}^{+})\) and \(\mathbb{Z}^{+}\) denotes the set of strict positive natural numbers. If there exists an εchain in \(\operatorname{CB}(\Lambda,X)\), \(f_{0}=f,f_{1},\ldots,f_{n}=g\), for an \(\varepsilon\in (0,\frac{1}{\sqrt{2}})\), then for every \(m\in\mathbb{Z}^{+}\), \(f_{0}(m\alpha)=f(m\alpha)=e_{1},f_{1}(m\alpha),\ldots,f_{n}(m\alpha)=g(m\alpha)=e_{m}\) is an εchain with \(n+1\) terms between \(e_{1}\) and \(e_{m}\) for every \(\alpha\in\Lambda\) and \(m\in\mathbb{Z}^{+}\). Since for every \(l,k\in\mathbb{Z}^{+}\) such that \(l+1< m\) we have
it follows that an εchain with \(\varepsilon\in(0,\frac {1}{\sqrt{2}})\) between \(e_{1}\) and \(e_{m}\) should have at least \(m1\) elements for every natural number m and this leads to a contradiction.
Example 4.4
We consider on the set of real numbers the distance \(d_{m}\) defined by \(d_{m}(x,y)=\min\{xy,m\}\), where \(m>0\). In a similar way as above, it can be seen that \((\mathbb{R},d_{m})\) is an εchainable metric space for every \(\varepsilon>0\), but \(\operatorname{CB}(\Lambda (\mathbb{Z}^{+}),(\mathbb{R},d_{m}))\) is not an εchainable metric space for every \(\varepsilon\in(0,m)\).
Moreover, one can find an εchainable metric space for every \(\varepsilon>0\), \((X,d)\), such that \(\operatorname{CB}(\Lambda(\mathbb {Z}^{+}),(X,d))\) is not an εchainable metric space for every \(\varepsilon>0\) as we can see from the following example.
Example 4.5
With the notations from Example 4.3 we consider the set \(Y=\mathbb{R}e_{1}\cup(\bigcup_{m,n\geq1} [m^{2}e_{n},m^{2}e_{n+1}])\subset l_{2}\). The metric space \((Y,d_{2})\) is an εchainable metric space for every \(\varepsilon>0\), but \(\operatorname{CB}(\Lambda,Y)\) is not an εchainable metric space for every \(\varepsilon>0\), where \(\Lambda=\Lambda(\mathbb{Z}^{+})\).
For the proof of the fact that \(\operatorname{CB}(\Lambda,X)\) is an εchainable metric space when \((X,d)\) is uniform εchainable, we need the following result.
Lemma 4.6
Let I be a set and \(f,g\in C(\Lambda,X)\). Then there exists a set \(\Gamma\subset\Lambda ^{\ast}\) such that for every \(\alpha,\beta\in\Gamma \), \(\alpha\neq\beta\), we have:

(i)
\(\Lambda_{\alpha}\cap\Lambda_{\beta}=\emptyset\);

(ii)
\(\bigcup_{\alpha\in\Gamma}\Lambda_{\alpha }=\Lambda\);

(iii)
\(\max\{\sup_{\beta,\gamma\in\Lambda,\alpha\in \Gamma}d(f(\alpha\beta),f(\alpha\gamma)),\sup_{\beta ,\gamma \in\Lambda,\alpha\in\Gamma}d(g(\alpha\beta),g(\alpha \gamma ))\}<\varepsilon\).
Proof
We define by induction, for \(n\geq1\), the sets \(\Gamma_{n}\) in the following way:
We suppose that we have defined \(\Gamma_{k}\) for \(k\in\{1,2,\ldots, n\}\). Then
We remark that \(\Lambda_{\alpha}\cap\Lambda_{\beta}=\emptyset\) for every \(\alpha,\beta\in\Lambda_{n}\), \(\alpha\neq\beta\).
Let \(\Gamma=\bigcup_{n\geq1}\Gamma_{n}\). It is clear that for every \(\alpha,\beta\in\Gamma\), \(\alpha\neq\beta\), we have
and
for every \(\alpha\in\Gamma\). We suppose by absurdum that \(\bigcup_{\alpha\in\Gamma}\Lambda_{\alpha}\neq\Lambda\). Then there exists \(x\in\Lambda\setminus\bigcup_{\alpha\in\Gamma} \Lambda_{\alpha}\). Since f and g are continuous functions, there exists \(\alpha_{0}\) with a minimal number of letters such that \(x\in \Lambda_{\alpha_{0}}\) and
Let \(n_{0}\) be the number of letters from \(\alpha_{0}\). We will prove that \(\alpha_{0}\in\Gamma_{n_{0}}\). If not, there exists \(\alpha_{1}\in \Gamma_{k}\) such that \(k< n_{0}\) and \(\Lambda_{\alpha_{1}}\cap\Lambda _{\alpha_{0}}\neq\emptyset\). It results in \([\alpha_{0}]_{\alpha _{1}}=\alpha_{1}\), which contradicts the fact that \(\alpha_{0}\) is a word with a minimal number of letters such that
□
Proposition 4.7
If \((X,d)\) is uniform εchainable, then \(\operatorname{CB}(\Lambda,X)\) is \(\varepsilon^{\prime}\)chainable for every \(\varepsilon ^{\prime}>\varepsilon\).
Proof
Let \(f,g\in \operatorname{CB}(\Lambda,X)\). Then there exists a set \(\Gamma \subset\Lambda^{\ast}\) such that for every \(\alpha,\beta\in\Gamma \), \(\alpha\neq\beta\), we have \(\Lambda_{\alpha}\cap\Lambda_{\beta }=\emptyset\), \(\bigcup_{\alpha\in\Gamma}\Lambda_{\alpha}=\Lambda\) and
Let \(f_{1}\) and \(g_{1}\) be defined by \(f_{1}_{\Lambda_{\alpha }}=f(\alpha \beta)\) for every \(\alpha\in\Gamma\) and \(g_{1}_{\Lambda_{\alpha }}=g(\alpha\beta)\) for every \(\alpha\in\Gamma\), where β is a fixed element of Λ. We have \(d_{\infty}(f,f_{1})\leq \varepsilon /2<\varepsilon\) and \(d_{\infty}(g,g_{1})\leq\varepsilon /2<\varepsilon\). We remark that \(f_{1},g_{1}\in \operatorname{CB}(\Lambda,X)\). Since \((X,d)\) is εchainable for every \(\alpha\in\Gamma\), there exists an εchain \(x_{0}^{\alpha}=f(\alpha\beta)=f_{1}(\alpha\beta ),x_{1}^{\alpha},\ldots,x_{n^{\alpha}}^{\alpha}=g(\alpha\beta )=g_{1}(\alpha\beta)\). Because \((X,d)\) is uniform εchainable, we can suppose that there exists n such that \(n^{\alpha}=n\) for every \(\alpha\in\Gamma\). We consider the functions \(f_{k}\in C(\Lambda,X)\) defined by \(f_{k}_{\Lambda_{\alpha}}=x_{k}^{\alpha}\) for every \(\alpha\in\Gamma\). It can be seen that \(f_{n}=g_{1}\), \(f_{k}\in \operatorname{CB}(\Lambda,X)\) and \(d(f_{k},f_{k+1})\leq\varepsilon\). Then \(f,f_{1},f_{2},\ldots,f_{n},g\) is an \(\varepsilon^{\prime}\)chain between f and g for every \(\varepsilon^{\prime}>\varepsilon\). □
As in Section 2 we consider some εcontractive conditions which we will use in the sequel.
Definition 4.8
Let \((X,d)\) be a metric space, a function \(f:X\rightarrow X\) and \(\varepsilon>0\).

(i)
f is an \((\varepsilon,\phi)\)contraction if \(d(f(x),f(y))\leq\phi(d(x,y))\) for every \(x,y\in X\) such that \(d(x,y)<\varepsilon\), where ϕ is a comparison function.

(ii)
We say that f is an εMeirKeeler function if for every \(\varepsilon^{\prime}\in (0,\varepsilon )\) there exists \(\eta>0\) such that for every \(x,y\in X\) with the property that \(d(x,y)\leq\varepsilon^{\prime }+\eta\) we have \(d(f(x),f(y))<\varepsilon^{\prime}\). A family of functions \((f_{i})_{i\in I}\), where \(f_{i}:X\rightarrow X\), is called uniform εMeirKeeler if for every \(\varepsilon^{\prime}\in(0,\varepsilon)\) there exist \(\eta>0\) and \(\lambda>0\) such that for every \(x,y\in X\) with the property that \(d(x,y)\leq\varepsilon^{\prime}+\eta\) we have \(d(f_{i}(x),f_{i}(y))<\varepsilon^{\prime}\lambda\) for every \(i\in I\).

(iii)
f is called εcontractive if \(d(f(x),f(y))< d(x,y)\) for every \(x,y\in X\) such that \(d(x,y)<\varepsilon\) and \(x\neq y\).
Theorem 2.2 has the following version for εMeirKeeler functions.
Theorem 4.9
(see [11])
Let \((X,d)\) be a complete metric space, a function \(f:X\rightarrow X\) and \(\varepsilon >0\). If f is εMeirKeeler and X is εchainable for some ε, then there exists a unique fixed point \(x_{0}\) of f and the sequence \((f^{[n]}(x_{0}))_{n}\) is convergent to \(x_{0}\) for every \(x\in X\). If \((X,d)\) is compact and εchainable and f is εcontractive, then there exists a unique fixed point \(x_{0}\) of f and the sequence \((f^{[n]}(x_{0}))_{n}\) is convergent to \(x_{0}\) for every \(x\in X\).
We present now the version of Theorem 2.4 concerning the existence of the attractor and the canonical projection for an IIFS for the case of εchainable metric spaces.
Theorem 4.10
Let \(\mathcal{S} =(f_{i})_{i\in I}\) be an IIFS on the complete metric space \((X,d)\) and \(0<\varepsilon^{\prime}<\varepsilon\). Then there exists a unique set \(A=A(\mathcal{S})\) such that \(F_{\mathcal {S}}(A)=A\) and \(h(F_{\mathcal{S}}^{[n]}(Y),A)\rightarrow0\) for every \(Y\in B(X)\) provided that one of the following two conditions is fulfilled:

(i)
the family of functions \((f_{i})_{i\in I}\) is εuniform MeirKeeler and \((X,d)\) is uniform \(\varepsilon^{\prime}\)chainable;

(ii)
\((X,d)\) is a compact \(\varepsilon^{\prime}\)chainable metric space, I is finite and all the functions \(f_{i}\) are εcontractive.
In addition, there exists a unique continuous function \(\pi_{\mathcal{S}}:\Lambda\rightarrow X\) such that \(\pi_{\mathcal {S}}\circ\tau_{i}=f_{i}\circ\pi_{\mathcal{S}}\) for every \(i\in I\), \(\overline{\pi_{\mathcal{S}}(\Lambda)}=A\) and \(\lim_{n\rightarrow\infty}f_{[\alpha]_{n}}(x)=\pi_{\mathcal {S}}(\alpha)\) for every \(x\in X\) and \(\alpha\in\Lambda\). Moreover, the sequence \((A_{[\alpha]_{n}})_{n\geq1}\) is decreasing, \(\{\pi_{\mathcal{S}}(\alpha)\}=\bigcap_{n\geq1} \overline{A_{[\alpha]_{n}}}\) and \(\lim_{n\rightarrow\infty}\sup_{\alpha\in\Lambda_{n}}d(A_{\alpha})=0\).
Proof
The existence of the set \(A(\mathcal{S})\) with the properties from the theorem was proved in [11]. As in the case of Theorem 2.4, the proof is almost as the proof of Theorem 4.1 from [16] with the exception of the fact that \(\lim_{n\rightarrow\infty} \sup_{\alpha\in\Lambda_{n}}d(A_{\alpha})=0\). As in the proof of Theorem 2.4, the sequence \((\sup_{\alpha\in\Lambda_{n}}d(A_{\alpha }))_{n\geq1}\) is decreasing; and therefore it is convergent to a number \(l\geq0\). We want to prove that \(l=0\). Let us suppose that \(l>0\). Since the metric space \((X,d)\) is uniform \(\varepsilon^{\prime}\)chainable, there exists a natural number N such that for every \(x,y\in A\) there exists a chain \(x_{0}=x,x_{1},\ldots,x_{n}=y\) with the properties that \(n+1\leq N\) and \(d(x_{i},x_{i+1})<\varepsilon^{\prime}\) for every \(i\in\{0,1,\ldots,n1\}\). To a set \(B\subset A\) we associate the number
It is clear that \(\tilde {d}(A)\leq N\varepsilon^{\prime}\), \(\tilde {d}(B)\geq d(B)\) and \(\tilde {d}(B)\geq \tilde {d}(f_{i}(B))\) for every set \(B\subset A\) and \(i\in I\). It follows that the sequence \((\sup_{\alpha\in\Lambda_{n}}\tilde{d}(A_{\alpha}))_{n\geq1}\) is decreasing and it is convergent to a number \(\tilde {l}\geq l>0\). Let us note that \(\frac{\tilde {l}}{N}\leq\frac{\tilde {d}(A)}{N}\leq \varepsilon^{\prime}\).
Since the family of functions \((f_{i})_{i\in I}\) is εuniform MeirKeeler for every \(\varepsilon^{\prime\prime}\in(0,\varepsilon)\), there exist \(\eta>0\) and \(\lambda>0\) such that for every \(i\in I\) and every \(x,y\in X\) with the property that \(d(x,y)\leq\varepsilon ^{\prime\prime}+\eta\) we have \(d(f_{i}(x),f_{i}(y))<\varepsilon ^{\prime \prime}\lambda\). As a result, for every \(\varepsilon^{\prime\prime }\in(0,\varepsilon)\), there exist \(\delta>0\) and \(\lambda^{\prime}>0\) such that \(d(f_{i}(x),f_{i}(y))< d(x,y)\lambda^{\prime}\) for every \(i\in I\) and every \(x,y\in X\) with the property that \(d(x,y)\in(\varepsilon ^{\prime\prime}\delta,\varepsilon^{\prime\prime}+\delta)\). To see this, we can take \(\delta=\min(\lambda/2,\eta)\) and \(\lambda ^{\prime }=\lambda/2\). Indeed, if \(d(x,y)\in(\varepsilon^{\prime\prime }\delta ,\varepsilon^{\prime\prime}+\delta)\), then \(d(x,y)\leq\varepsilon ^{\prime\prime}+\eta\) and therefore
It follows that for every \(\varepsilon_{1},\varepsilon_{2}\in (0,\varepsilon)\) with \(\varepsilon_{1}<\varepsilon_{2}\) there exists a number \(\lambda>0\) such that \(d(f_{i}(x),f_{i}(y))< d(x,y)\lambda\) for every \(x,y\in X\) with the property that \(d(x,y)\in[\varepsilon _{1},\varepsilon_{2}]\) and every \(i\in I\). In particular, there exists a number \(\lambda>0\) such that \(d(f_{i}(x),f_{i}(y))< d(x,y)\lambda\) for every \(x,y\in X\) with the property that \(d(x,y)\in{}[\frac {\tilde {l}}{N+1},\varepsilon^{\prime}]\) and every \(i\in I\). Since \(\lim_{n\rightarrow\infty}\sup_{\alpha\in\Lambda_{n}}\tilde {d}(A_{\alpha})=\tilde {l}\), there exists \(n_{0}\) such that for every \(n\geq n_{0}\) we have \(\sup_{\alpha\in\Lambda_{n}}\tilde {d}(A_{\alpha})<\tilde {l}+\lambda/2\).
Let us fix \(\alpha\in\Lambda_{n_{0}}\), \(i\in I\) and \(x,y\in A_{i\alpha } \). Then there exist \(\tilde {x},\tilde {y}\in A\) such that \(f_{i\alpha}(\tilde {x})=x\) and \(f_{i\alpha}(\tilde {y})=y\). Since \(f_{\alpha}(\tilde {x}),f_{\alpha}(\tilde {y})\in A_{\alpha}\) and \(\tilde {d}(A_{\alpha})<\tilde {l}+\lambda/2\), there exists an \(\varepsilon^{\prime}\)chain in X, namely \(x_{0},x_{1},\ldots,x_{n}\), such that \(n+1\leq N\), \(f_{\alpha}(\tilde {x})=x_{0}\), \(f_{\alpha}(\tilde {y})=x_{n}\) and \(\sum^{n1}_{k=0} d(x_{k},x_{k+1})<\tilde {l}+\lambda/2\). We have two cases as follows:

(i)
\(\sum^{n1}_{k=0}d(x_{k},x_{k+1})\leq \tilde {l}\frac{\tilde {l}}{N+1}\);

(ii)
\(\sum^{n1}_{k=0}d(x_{k},x_{k+1})>\tilde {l}\frac{\tilde {l}}{N+1}\).
In the first case, we have
In the second case, we note that there exists \(k_{0}\in\{0,1,\ldots,n1\} \) such that \(d(x_{k_{0}},x_{k_{0}+1})\geq\frac{1}{N}(\tilde {l}\frac{\tilde {l}}{N+1})=\frac{\tilde {l}}{N+1}\). Since \(d(x_{k_{0}},x_{k_{0}+1})\in[\frac{\tilde {l}}{N+1},\varepsilon ^{\prime}]\), it follows that \(d(f_{i}(x_{k_{0}}),f_{i}(x_{k_{0}+1}))< d(x_{k_{0}}, x_{k_{0}+1})\lambda \) and
Therefore \(\tilde {d}(A_{i\alpha})\leq \tilde {l}\max(\lambda /2,\frac{\tilde {l}}{N+1})\) for every \(\alpha\in\Lambda_{n_{0}}\), \(i\in I\), which leads to the following contradiction:
This ends the proof in the first case. The second case can be reduced to the first one in a similar manner as we have done in the proof of Theorem 3.2. □
The main result of this section is contained in the following.
Theorem 4.11
Let \(\mathcal{S}=(f_{i})_{i\in I}\) be an IIFS on the complete metric space \((X,d)\) and \(\varepsilon>\varepsilon^{\prime}>0\). Then there exists a unique fixed point \(\pi_{0}\) of \(H_{\mathcal{S}}\) and \(d_{\infty}(H_{\mathcal{S}}^{[n]}(f),\pi_{0})\rightarrow0\) for every \(f\in \operatorname{CB}(\Lambda,X)\) provided that one of the following two conditions is fulfilled:

(i)
the family of functions \((f_{i})_{i\in I}\) is uniform εMeirKeeler and X is uniform \(\varepsilon^{\prime}\)chainable;

(ii)
\((X,d)\) is a compact \(\varepsilon'\)chainable metric space, I is a finite set and all the functions \(f_{i}\) are εcontractive.
Moreover, \(\pi_{0}\circ\tau_{i}=f_{i}\circ\pi_{0}\) for every \(i\in I\); and consequently \(\pi_{0}=\pi\).
Proof
We start with the first case (the family of functions \((f_{i})_{i\in I}\) is uniform εMeirKeeler and X is uniform \(\varepsilon^{\prime}\)chainable). Let us consider \(\varepsilon ^{\prime\prime}\in(0,\varepsilon)\). Then there exist \(\eta>0\) and \(\lambda>0\) such that for every \(x,y\in X\) with the property that \(d(x,y)<\varepsilon+\eta\) we have \(d(f_{i}(x),f_{i}(y))<\varepsilon \lambda\). If \(f,g\in \operatorname{CB}(\Lambda,X)\) have the property that \(d_{\infty }(f,g)<\varepsilon+\eta\), then with the same argument as in Proposition 3.1 point (iv) one can prove that \(d_{\infty}(H_{\mathcal{S}}(f),H_{\mathcal {S}}(g))<\varepsilon\lambda/2\). This implies that \(H_{\mathcal{S}}\) is εMeirKeeler. \((\operatorname{CB}(\Lambda,X),d_{\infty})\) is a complete metric space since \((X,d)\) is so and it is \(\varepsilon^{\prime}\)chainable from Proposition 4.7. Therefore we can apply Theorem 4.9 to obtain the desired result.
From the fact that \(H_{\mathcal{S}}(\pi_{0})=\pi_{0}\) we infer that \(\pi _{0}\circ\tau_{i}(\alpha)=\pi_{0}(i\alpha)=H_{\mathcal{S}}\circ\pi _{0}(i\alpha)=f_{i}(\pi_{0}(\alpha))\) for every \(\alpha\in\Lambda \) and \(i\in I\), i.e., \(\pi_{0}\circ\tau_{i}=f_{i}\circ\pi_{0}\) for every \(i\in I\).
For \(\alpha,\beta\in\Lambda\), we have \([\alpha]_{n}\beta \rightarrow \alpha\) in \((\Lambda,d_{\Lambda})\); and consequently \(\pi _{0}([\alpha ]_{n}\beta)\rightarrow\pi_{0}(\alpha)\). But \(\pi_{0}([\alpha ]_{n}\beta )=\pi_{0}\circ\tau_{[\alpha]_{n}}(\beta)=f_{[\alpha ]_{n}}\circ \pi_{0}(\beta)\), and from Theorem 4.10 we infer that \(f_{[\alpha ]_{n}}\circ\pi_{0}(\beta)\rightarrow\pi_{\mathcal{S}}(\alpha)\). Therefore \(\pi_{0}=\pi_{\mathcal{S}}\).
In the second case, namely \((X,d)\) is a compact \(\varepsilon^{\prime }\)chainable metric space, I is a finite set and all the functions \(f_{i}\) are εcontractive, we consider the function \(\phi :[0,\varepsilon)\rightarrow\mathbb{R}\) defined by \(\phi(r)=\sup \{d(f_{i}(x),f_{i}(y)):i\in I\mbox{ and }d(x,y)\leq r\}\). ϕ is increasing, right continuous and \(\phi(r)< r\) for every \(r\in(0,\varepsilon)\). If \(\varepsilon^{\prime\prime}\in(0,\varepsilon^{\prime})\), there exists \(\eta>0\) such that \(\varepsilon^{\prime\prime}+\eta<\varepsilon\) and \(\phi(r)<\frac{\phi(\varepsilon^{\prime\prime})+\varepsilon^{\prime \prime}}{2}\) for every \(r\in{}[\varepsilon^{\prime\prime },\varepsilon^{\prime\prime}+\eta)\). It follows that \(\phi (d(f_{i}(x),f_{i}(y)))\leq\varepsilon^{\prime\prime}\frac {\varepsilon ^{\prime\prime}\phi(\varepsilon^{\prime\prime})}{2}<\varepsilon ^{\prime\prime}\frac{\varepsilon^{\prime\prime}\phi(\varepsilon ^{\prime\prime})}{4}\) for every \(r\in{}[0,\varepsilon^{\prime \prime}+\eta)\). In this way the second case can be reduced to the first one. □
Remarks and examples
It is known that every bounded set of a metric space is the attractor of an IIFS containing constant functions. We will compute the function \(H_{S}\) for such an IIFS.
Example 5.1
Let \((X,d)\) be a complete metric space and \(A\in B(X)\). For \(a\in X\), \(f_{a}\) will denote the constant function with value a, that is, \(f_{a}:X\rightarrow X\) and \(f_{a}(x)=a\) for every \(x\in X\). Then A is the attractor of the IIFS \(\mathcal{S}=(X,(f_{a})_{a\in A})\). Also A is the attractor of the IIFS \(\mathcal{S}_{B}=(X,(f_{a})_{a\in B})\) for any dense set B in A. If A is separable and B is a countable dense set in A, then A is the attractor of the CIFS (countable IFS) \(\mathcal {S}_{B}=(X,(f_{a})_{a\in B})\). This happens, in particular, for any compact set A. We have
We try now to compute the iterations of \(H_{\mathcal{S}}\) in a general case.
Remark 5.2
Let \(\mathcal{S}=(f_{i})_{i\in I}\) be an IIFS on the complete metric space \((X,d)\) and \(\alpha=\alpha_{1}\alpha _{2}\cdots\in\Lambda\). Then
By induction it can be proved that \(H_{\mathcal{S}}^{[n]}(f)(\alpha )=f_{[\alpha]_{n}}\circ f\circ R^{[n]}(\alpha)\).
In particular if the function f is constant, namely \(f(\alpha)=b\) for \(b\in X\), \(H_{\mathcal{S}}^{[n]}(f)(\alpha)=f_{[\alpha]_{n}}(b)\).
We consider now the case when \((X,\Vert\cdot\Vert)\) is a Banach space and \(\mathcal{S}=(X,(f_{i})_{i\in I})\) is an IIFS formed by affine transformations. That is, \(f_{i}=A_{i}+b_{i}\), where \(A_{i}\) are linear and continuous operators \(A_{i}:X\rightarrow X\) with \(\Vert A_{i}\Vert < c<1\) and \(b_{i}\in X\) for every \(i\in I\) are such that the set \(\{b_{i}:i\in I\}\) is bounded. By induction one can see that
Therefore
In particular, if the function f is constant, namely \(f(\alpha)=b\) for \(b\in X\),
From Theorem 2.4 it follows that \(\pi_{\mathcal{S}}(\alpha)= \sum_{i\geq1}A_{i_{1}}A_{i_{2}}\cdots A_{i_{i1}}b_{i}\), where \(\pi_{\mathcal{S}}\) is the canonical projection. Then
Example 5.3
Let I be a nonvoid set, \(j\notin I\), \((X,\Vert \cdot \Vert)\) be a Banach space and \(\mathcal{S}=(X,(f_{i})_{i\in I\cup\{ j\}})\) be an IIFS formed by affine transformations such that \(f_{i}\) are constant functions for \(i\in I\) (\(f_{i}(x)=b_{i}\)) and \(f_{j}\) is affine functions of the form \(f_{j}(x)=ax+b\), where \(a\in(1,1)\) and \(b\in X\). Then for an infinite word \(\alpha=i_{1}i_{2}\cdots i_{m}\cdots\), \(H_{\mathcal{S}}^{[n]}(f)(\alpha)\) is \(b_{1}\) if \(i_{1}\neq j\), \(a^{k}b_{i_{k+1}}+\sum_{i=1}^{k}a^{i1}b\) if \(i_{1}=i_{2}=\cdots=i_{k}=j\), \(k\leq n1\) and \(i_{k+1}\neq j\) and \(a^{n}f\circ R^{[n]}(\alpha)+ \sum_{i=1}^{n} a^{i1}b\) if \(i_{1}=i_{2}=\cdots=i_{n}=j\). Also \(\pi_{\mathcal{S}}(\alpha)\) is \(b_{1}\) if \(i_{1}\neq j\), \(a^{k}b_{i_{k+1}}+ \sum_{i=1}^{k+1}a^{i1}b\) if \(i_{1}=i_{2}=\cdots =i_{k}=j\) and \(i_{k+1}\neq j\) and \(\frac{b}{1a}\) if \(i_{1}=i_{2}=\cdots =i_{m}=\cdots=j\). Then
If f is a constant function with value d, then
Example 5.4
(The Cantor set)
Let \((X,\Vert\cdot\Vert )\) be a Banach space, \(b\in X\setminus\{0_{X}\}\) and an IFS \(\mathcal{S}=(X,(f_{i})_{i\in\{1,1\}})\), where \(f_{1}(x)=\frac{x2b}{3}\) and \(f_{1}(x)=\frac{x+2b}{3}\). The attractor of \(\mathcal{S}\) is homeomorphic with the Cantor set. Then, for an infinite word \(\alpha =i_{1}i_{2}\cdots i_{m}\cdots\), \(H_{\mathcal{S}}^{[n]}(f)(\alpha)=f_{[\alpha ]_{n}}\circ f\circ R^{[n]}(\alpha)=\frac{1}{3^{n}}f\circ R^{[n]}(\alpha)+ \sum_{i=1}^{n}\frac{(1)^{i_{i}}2^{i}}{3^{i}}\). If f is a constant function with value c, then \(H_{\mathcal {S}}^{[n]}(f)(\alpha )=\frac{1}{3^{n}}c+\sum_{i=1}^{n}\frac {(1)^{i_{i}}2^{i}}{3^{i}}b\).
It is an open problem to find contractive conditions which are inherited by some of the operators \(F_{\mathcal{S}}\), \(H_{\mathcal{S}}\) and \(M_{\mathcal{S}}\) from the constitutive functions of the IIFS \(\mathcal{S}\) or contractive conditions which assure us that some of the operators \(F_{\mathcal{S}}\), \(H_{\mathcal{S}}\) and \(M_{\mathcal{S}}\) have a unique fixed point. It is also an open problem to extend the above results to different generalizations of IFSs (such as GIFSs).
References
 1.
Miculescu, R, Mihail, A: Lipscomb’s space \(\omega^{A}\) is the attractor of an infinite IFS containing affine transformations of \(l^{2}(A)\). Proc. Am. Math. Soc. 136, 587592 (2008)
 2.
Miculescu, R, Mihail, A: Lipscomb’s \(L(A)\) space fractalized in \(l^{p}(A)\). Mediterr. J. Math. 9, 515524 (2012)
 3.
Perry, JC: Lipscomb’s universal space is the attractor of an infinite iterated function system. Proc. Am. Math. Soc. 124, 24792489 (1996)
 4.
Moran, P: Additive functions on intervals and Hausdorff measure. Proc. Camb. Philos. Soc. 42, 1523 (1946)
 5.
Hutchinson, JE: Fractals and self similarity. Indiana Univ. Math. J. 30, 713747 (1981)
 6.
Barnsley, MF: Fractals Everywhere. Academic Press, Boston (1993)
 7.
Andres, J, Fišer, J, Gabor, G, Leśniak, K: Multivalued fractals. Chaos Solitons Fractals 24, 665700 (2005)
 8.
Mihail, A, Miculescu, R: Applications of fixed point theorems in the theory of generalized IFS. Fixed Point Theory Appl. 2008, Article ID 312876 (2008)
 9.
Mihail, A, Miculescu, R: Generalized IFSs on noncompact spaces. Fixed Point Theory Appl. 2010, Article ID 584215 (2010)
 10.
Secelean, NA: Generalized iterated function systems on the space \(l^{\infty}(X)\). J. Math. Anal. Appl. 410, 847858 (2014)
 11.
Dumitru, D: Attractors of infinite iterated function systems containing contraction type functions. An. Ştiinţ. Univ. ‘Al.I. Cuza’ Iaşi, Mat. 59, 281298 (2013)
 12.
Secelean, NA: Iterated function systems consisting of Fcontractions. Fixed Point Theory Appl. 2013, 277 (2013)
 13.
Dumitru, D: Arcwise connected attractors of infinite iterated function systems. An. Ştiinţ. Univ. ‘Ovidius’ Constanţa 22, 9198 (2014)
 14.
Kigami, J: Analysis on Fractals. Cambridge University Press, Cambridge (2001)
 15.
Barnsley, MF: Transformation between attractors of hyperbolic iterated function systems (2007). arXiv:math/0703398v1 [math.DS]
 16.
Mihail, A, Miculescu, R: The shift space for an infinite iterated function system. Math. Rep. 61, 2132 (2009)
 17.
Meir, A, Keeler, E: A theorem on contraction mappings. J. Math. Anal. Appl. 28, 326329 (1969)
Acknowledgements
We want to thank the referees whose generous and valuable remarks and comments brought improvements to the paper and enhanced clarity.
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The author declares that he has no competing interests.
Author’s contributions
The author completed the paper himself. The author read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Mihail, A. The canonical projection between the shift space of an IIFS and its attractor as a fixed point. Fixed Point Theory Appl 2015, 75 (2015). https://doi.org/10.1186/s1366301503225
Received:
Accepted:
Published:
MSC
 54H25
 28A80
 37C70
Keywords
 IFS
 IIFS
 shift space
 attractor
 canonical projection
 fixed point