- Research
- Open access
- Published:

# Some connections between the attractors of an IIFS \mathcal{S} and the attractors of the sub-IFSs of \mathcal{S}

*Fixed Point Theory and Applications*
**volume 2012**, Article number: 141 (2012)

## Abstract

Based on the results from (Mihail and Miculescu in Math. Rep., Bucur. 11(61)(1):21-32, 2009), where the shift space for an infinite iterated function system (IIFS for short) is defined and the relation between this space and the attractor of the IIFS is described, we give a sufficient condition on a family {({I}_{j})}_{j\in L} of nonempty subsets of *I*, where \mathcal{S}=(X,{({f}_{i})}_{i\in I}) is an IIFS, in order to have the equality \overline{{\bigcup}_{j\in L}{A}_{{I}_{j}}}=A, where *A* means the attractor of \mathcal{S} and {A}_{{I}_{j}} means the attractor of the sub-iterated function system {\mathcal{S}}_{{I}_{j}}=(X,{({f}_{i})}_{i\in {I}_{j}}) of \mathcal{S}. In addition, we prove that given an arbitrary infinite cardinal number \mathcal{A}, if the attractor of an IIFS \mathcal{S}=(X,{({f}_{i})}_{i\in I}) is of type \mathcal{A} (this means that there exists a dense subset of it having the cardinal less than or equal to \mathcal{A}), where (X,d) is a complete metric space, then there exists {\mathcal{S}}_{J}=(X,{({f}_{i})}_{i\in J}) a sub-iterated function system of \mathcal{S}, having the property that card(J)\le \mathcal{A}, such that the attractors of \mathcal{S} and {\mathcal{S}}_{J} coincide.

**MSC:**28A80, 54H25.

## 1 Introduction

Iterated function systems (IFSs) were conceived in the present form by John Hutchinson [1] and popularized by Michael Barnsley [2]. The most common and most general way to generate fractals is to use the theory of IFS (which provides a new insight into the modeling of real world phenomena). Because of the variety of their applications (actually one can find fractals almost everywhere in the universe: galaxies, weather, coastlines and borderlines, landscapes, human anatomy, chemical reactions, bacteria cultures, plants, population growth, data compression, economy *etc.*), there is a current effort to extend the classical Hutchinson’s framework to more general spaces and to infinite iterated function systems. For example, on the one hand, Gwóźdź-Łukawska and Jachymski [3] discuss the Hutchinson-Barnsley theory for infinite iterated function systems. Łoziński, Życzkowsi and Słomczyński [4] introduce the notion of quantum iterated function systems (QIFS) which is designed to describe certain problems of nonunitary quantum dynamics. Käenmäki [5] constructs a thermodynamical formalism for very general iterated function systems. Leśniak [6] presents a multivalued approach of infinite iterated function systems. In [7–10], and [11] the notion of generalized iterated function system (GIFS), which is a family of functions {f}_{1},\dots ,{f}_{n}:{X}^{m}\to X, (X,d) being a metric space and m,n\in \mathbb{N}, is introduced. Under certain conditions, the existence of the attractor of such a GIFS is proved and its properties are explored (among them, an upper bound for the Hausdorff-Pompeiu distance between the attractors of two such GIFSs, an upper bound for the Hausdorff-Pompeiu distance between the attractors of such a GIFS and an arbitrary compact set of *X* are presented, and its continuous dependence in the {f}_{k}’s is proved). Moreover, in [12] and [13], the existence of an analogue of Hutchinson’s measure associated to certain GIFSs with probabilities (GIFSp for short) is proved. Also, we showed that the support of such a measure is the attractor of the given GIFSp and we construct a sequence of measures converging to this measure. On the other hand, in [14], we provided a general framework where attractors are nonempty closed and bounded subsets of topologically complete metric spaces and where the IFSs may be infinite, in contrast to the classical theory (see [2]), where only attractors that are compact metric spaces and IFSs that are finite are considered. In the paper [15], a generalization of the notion of the shift space associated to an IFS is presented. More precisely, the shift space for an infinite iterated function system (IIFS) is defined 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 and sufficient conditions for this function to be onto are provided. While it is possible to approximate any compact subset in the space *X* by an attractor of some IFS, the question as to which compact can be realized as attractors of IFSs remains elusive. The attractors of IFSs come in so many different forms that their diversity never fails to amaze us. The repertory of attractors of IFSs starts with simple spaces such as an interval, a square, the closure of the unit disc (see [16]) and continues with more exotic sets such as the Cantor ternary set, the Sierpinski gasket, the Menger sponge, the Black Spleenwort fern, the Barnsley fern, the Castle fractal, the Julia sets of quadratic transformations (see [2]), the Koch curve, the Polya’s curve, the Levy’s curve or the Takagi graph (see [17]). Along the same lines, Arenas and Sancez Granero [18] proved that every graph (*i.e.*, a locally connected continuum with a finite number of end points and ramification points) is the attractor of some iterated function system. Sanders [19] proved that arcs in {\mathbb{R}}^{n} of finite length are attractors of some IFS on {\mathbb{R}}^{n}. In [20] Secelean proved that each compact subset of a metric space can be presented as the attractor of a countable iterated function system. At the same time, it is a natural question to ask whether it is true that any compact set is actually the invariant set of some IFS. The answer is negative. Here are some examples: Kwiecinski [21] constructed a locally connected continuum in the plane which is not an attractor of any iterated function system; Crovisier and Rams [22] constructed an embedded Cantor set in \mathbb{R} and showed that it could not be realized as an attractor of any iterated function system; Stacho and Szabo [23] constructed compact sets in \mathbb{R} that are not invariant sets for any IFS; Sanders [19] constructed an *n*-cell in {\mathbb{R}}^{n+1} and showed that this *n*-cell cannot be the attractor of any IFS on {\mathbb{R}}^{n+1} for each natural number *n*.

In the present paper, using the results from [15], especially Theorem 4.1, we present a sufficient condition on a family {({I}_{j})}_{j\in L} of nonempty subsets of *I*, where \mathcal{S}=(X,{({f}_{i})}_{i\in I}) is an IIFS, in order to have the equality \overline{{\bigcup}_{j\in L}{A}_{{I}_{j}}}=A, where *A* means the attractor of \mathcal{S} and {A}_{{I}_{j}} means the attractor of the sub-iterated function system {\mathcal{S}}_{{I}_{j}}=(X,{({f}_{i})}_{i\in {I}_{j}}) of \mathcal{S}. In addition, two examples concerning this result are presented. The first example shows that the above mentioned condition is not necessary, while the second example provides a case for which it is a necessary condition.

Moreover, we prove that given an arbitrary infinite cardinal number \mathcal{A}, if the attractor of an IIFS \mathcal{S}=(X,{({f}_{i})}_{i\in I}) is of type \mathcal{A}, where (X,d) is a complete metric space, then there exists {\mathcal{S}}_{J}=(X,{({f}_{i})}_{i\in J}) a sub-iterated function system of \mathcal{S}, having the property that card(J)\le \mathcal{A}, such that the attractors of \mathcal{S} and {\mathcal{S}}_{J} coincide.

## 2 Preliminaries

For the basic facts concerning infinite iterated function systems (IIFSs) and the shift space associated to an IIFS one can consult [15].

**Definition 2.1** A metric space (X,d) is said to be of type \mathcal{A}, where \mathcal{A} is a cardinal number, if there exists a dense subset *A* of *X* having the property that cardA\le \mathcal{A}.

**Definition 2.2** Given an IIFS \mathcal{S}=(X,{({f}_{i})}_{i\in I}) and a subset *J* of *I*, the IIFS {\mathcal{S}}_{J}=(X,{({f}_{i})}_{i\in J}) is called a sub-iterated function system of \mathcal{S} (a sub-IFS of \mathcal{S} for short).

The following remark, which actually is Lemma 3.6 from [14], will be extensively used in this paper (see the proofs of Theorems 3.1 and 3.3).

**Remark 2.3** Let us consider a complete metric space (X,d), an IIFS \mathcal{S}=(X,{({f}_{i})}_{i\in I}) and the function {F}_{\mathcal{S}}:{\mathcal{B}}^{\ast}(X)\to {\mathcal{B}}^{\ast}(X) given by {F}_{\mathcal{S}}(B)=\overline{{\bigcup}_{i\in I}{f}_{i}(B)}, for all B\in {\mathcal{B}}^{\ast}(X), where {\mathcal{B}}^{\ast}(X) denotes the family of nonempty bounded closed subsets of *X*.

Then there exists a unique A(\mathcal{S})\in {\mathcal{B}}^{\ast}(X) such that

Moreover, for T\in {\mathcal{B}}^{\ast}(X), we have

The following result is used in the proof of Theorem 3.3.

**Proposition 2.4** *Let*\mathcal{S}=(X,{({f}_{i})}_{i\in I})*be an IIFS*, *where*(X,d)*is a complete metric space*, *let*\alpha :{\mathrm{\Lambda}}^{\ast}\to \mathrm{\Lambda}*be an arbitrary function*, *and let us consider the set*M=\{\omega \alpha (\omega )|\omega \in {\mathrm{\Lambda}}^{\ast}\}. *Then*\pi (M)*is dense in*A(\mathcal{S}).

*Proof* Let us consider

and {\omega}_{0}\in \mathrm{\Lambda}.

Let us remark that since

and

(see point 2 of Theorem 4.1 from [15]), we obtain, using point 1 of the same theorem, that

for all m\in \mathbb{N}.

Taking into account the fact that c\in [0,1), it follows that

and therefore, using point 6(ii) of Theorem 4.1 from [15], we conclude that

*i.e.*,

□

## 3 The main results

**Theorem 3.1** *Let*\mathcal{S}=(X,{({f}_{i})}_{i\in I})*be an IIFS*, *where*(X,d)*is a complete metric space*, A:=A(\mathcal{S})*be its attractor and*{({I}_{j})}_{j\in L}*be a family of nonempty subsets of* *I* *such that*{\bigcup}_{j\in L}{I}_{j}=I.

*If for every*{i}_{1}\in {I}_{{j}_{1}},{i}_{2}\in {I}_{{j}_{2}},\dots ,{i}_{n}\in {I}_{{j}_{n}}, *where*\{{j}_{1},{j}_{2},\dots ,{j}_{n}\}\subseteq L, *there exists*l\in L*such that*{i}_{1},{i}_{2},\dots ,{i}_{n}\in {I}_{l}, *then*

*where*{A}_{{I}_{j}}*is the attractor of the sub*-*iterated function system*{\mathcal{S}}_{{I}_{j}}=(X,{({f}_{i})}_{i\in {I}_{j}})*of*\mathcal{S}.

*Proof* Let us note that on the one hand we have

Indeed, since

using Remark 2.3, we get

for all j\in L, and therefore

Taking into account the fact that *A* is a closed set, we get

On the other hand, we have

Indeed, for an arbitrary \omega ={i}_{1}{i}_{2}\cdots {i}_{n}\in {\mathrm{\Lambda}}^{\ast}, since {\bigcup}_{j\in L}{I}_{j}=I, there exist {j}_{1},{j}_{2},\dots ,{j}_{n}\in L such that {i}_{1}\in {I}_{{j}_{1}},{i}_{2}\in {I}_{{j}_{2}},\dots ,{i}_{n}\in {I}_{{j}_{n}}, and, according to the hypothesis, there exists l\in L such that {i}_{1},{i}_{2},\dots ,{i}_{n}\in {I}_{l}. Then, using point 5 of Theorem 4.1 from [15], we obtain

It follows, using again the same point 5 of Theorem 4.1 from [15], that

From (∗) and (∗∗), we obtain that

□

**Corollary 3.2** *Let*\mathcal{S}=(X,{({f}_{i})}_{i\in I})*be an IIFS*, *where*(X,d)*is a complete metric space*, *and*A:=A(\mathcal{S})*be its attractor*.

*Then*

*where*{A}_{J}*is the attractor of the sub*-*iterated function system*{\mathcal{S}}_{J}=(X,{({f}_{i})}_{i\in J})*of*\mathcal{S}.

The following example shows that the condition ‘for every {i}_{1}\in {I}_{{j}_{1}},{i}_{2}\in {I}_{{j}_{2}},\dots ,{i}_{n}\in {I}_{{j}_{n}}, where \{{j}_{1},{j}_{2},\dots ,{j}_{n}\}\subseteq L, there exists l\in L such that {i}_{1},{i}_{2},\dots ,{i}_{n}\in {I}_{l}’ is not a necessary condition for the equality \overline{{\bigcup}_{j\in L}{A}_{{I}_{j}}}=A.

**Example** Let us consider the IIFS

where *d* is the usual distance on [0,1] and the function {f}_{c}:[0,1]\to [0,1] is given by

for each x\in [0,1].

Since

we infer that

and the equality

implies that

where {A}_{\{c\}} is the attractor of the sub-iterated function system

of \mathcal{S}.

Consequently, on the one hand, the equality

which is equivalent to [0,1]=\overline{{\bigcup}_{c\in [0,1]}\{c\}}, is valid.

On the other hand, the family {(\{c\})}_{c\in [0,1]} of nonempty subsets of [0,1] has the property that

but does not have the property that for every {c}_{1},{c}_{2},\dots ,{c}_{n}\in [0,1] there exists c\in [0,1] such that {c}_{1},{c}_{2},\dots ,{c}_{n}\in \{c\}.

We will present now an example for which the condition ‘for every {i}_{1}\in {I}_{{j}_{1}},{i}_{2}\in {I}_{{j}_{2}},\dots ,{i}_{n}\in {I}_{{j}_{n}}, where \{{j}_{1},{j}_{2},\dots ,{j}_{n}\}\subseteq L, there exists l\in L such that {i}_{1},{i}_{2},\dots ,{i}_{n}\in {I}_{l}’ is a necessary and sufficient condition for the equality \overline{{\bigcup}_{j\in L}{A}_{{I}_{j}}}=A.

**Example** Let us consider the IIFS

whose attractor is

(see Remark 3.2, (i) from [15]) and {({I}_{j})}_{j\in L} is a family of nonempty subsets of *I* such that {\bigcup}_{j\in L}{I}_{j}=I.

Then the attractor of a sub-iterated function system

of \mathcal{S}, where J\subseteq I, is

We claim that \overline{{\bigcup}_{j\in L}{A}_{{I}_{j}}}=A if and only if for every {i}_{1}\in {I}_{{j}_{1}},{i}_{2}\in {I}_{{j}_{2}},\dots ,{i}_{n}\in {I}_{{j}_{n}}, where \{{j}_{1},{j}_{2},\dots ,{j}_{n}\}\subseteq L, there exists l\in L such that {i}_{1},{i}_{2},\dots ,{i}_{n}\in {I}_{l}.

Indeed, the above theorem assures us that the implication ‘⇐’ is valid. For the implication ‘⇒’ let us consider {i}_{1}\in {I}_{{j}_{1}},{i}_{2}\in {I}_{{j}_{2}},\dots ,{i}_{n}\in {I}_{{j}_{n}}, where \{{j}_{1},{j}_{2},\dots ,{j}_{n}\}\subseteq L. Then

which implies that there exist l\in L and \alpha ={\alpha}_{1}{\alpha}_{2}\cdots {\alpha}_{n}\cdots \in {A}_{{I}_{l}} such that

Thus

*i.e.*,

**Theorem 3.3** *Given an infinite cardinal number*\mathcal{A}, *let*\mathcal{S}=(X,{({f}_{i})}_{i\in I})*be an IIFS such that its attractor*A(\mathcal{S})*is of type*\mathcal{A}, *where*(X,d)*is a complete metric space*.

*Then there exists*{\mathcal{S}}_{J}=(X,{({f}_{i})}_{i\in J}), *a sub*-*iterated function system of*\mathcal{S}, *such that*

*and*

*Proof* Let us consider

For J\in {P}_{\mathcal{A}}^{\ast}(I):={P}_{\mathcal{A}}(I)-\{\mathrm{\varnothing}\}, with the notations A:=A(\mathcal{S}) and {A}_{J}:=A({\mathcal{S}}_{J}), where

we have

so using Remark 2.3, we get

and therefore,

which implies that

Hence

Let us consider

We claim that there exists J\in {P}_{\mathcal{A}}^{\ast}(I) such that

Indeed, for each n\in \mathbb{N} there exists {J}_{n}\in {P}_{\mathcal{A}}^{\ast}(I) such that

Then

and

So, using again Remark 2.3, we get that

and therefore,

for all n\in \mathbb{N}. The last inequality implies, by letting *n* to tend to ∞, the equality

Our next claim is that

Indeed, if we suppose that \beta >0, taking into account the previous claim, we can consider J\in {P}_{\mathcal{A}}^{\ast}(I) such that

According to Zorn’s lemma, we can consider a maximal subset *C* of *A* having the property that

for every x,y\in C, x\ne y. Since *A* is of type \mathcal{A}, there exists a subset *M* of *A* such that

and

Thus

for every c\in C. The function f:C\to M, given by f(c)={y}_{c}, where {y}_{c} is a fixed element of M\cap B(c,\frac{\beta}{8}), is injective (since, if for {c}_{1},{c}_{2}\in C, {c}_{1}\ne {c}_{2}, we have f({c}_{1})=f({c}_{2}), then {y}_{{c}_{1}}={y}_{{c}_{2}}, which implies the contradiction \frac{\beta}{4}<d({c}_{1},{c}_{2})\le d({c}_{1},{y}_{{c}_{1}})+d({y}_{{c}_{2}},{c}_{2})<\frac{\beta}{8}+\frac{\beta}{8}=\frac{\beta}{4}), and consequently,

Let us consider a fixed element {j}_{0}\in I. For each x\in A there exists {c}_{x}\in C such that

(since otherwise d(x,c)>\frac{\beta}{4}, for each c\in C, which implies that x\notin C, and therefore, C\cup \{x\}\ne C and d(u,v)>\frac{\beta}{4} for every u,v\in C\cup \{x\}, u\ne v; this contradicts the fact that *C* is a maximal subset of *A* having the property that d(x,y)>\frac{\beta}{4} for every x,y\in C, x\ne y). Taking into account Proposition 2.4 (for the function \alpha :{\mathrm{\Lambda}}^{\ast}\to \mathrm{\Lambda} given by \alpha ({\omega}^{\mathrm{\prime}})={j}_{0}{j}_{0}\cdots {j}_{0}\cdots, for all {\omega}^{\mathrm{\prime}}\in {\mathrm{\Lambda}}^{\ast}), there exists {\omega}_{{c}_{x}}={i}_{1}({c}_{x})\cdots {i}_{n({c}_{x})}({c}_{x})\in {\mathrm{\Lambda}}^{\ast} such that

Consequently, using (1) and (2), we get

Since the set

and

(see points 4 and 6 of Theorem 4.1 from [15]), we obtain

for each x\in A, and therefore,

This contradicts the definition of *β*.

From (∗∗) and (∗∗∗), we conclude that there exists J\in {P}_{\mathcal{A}}^{\ast}(I) such that

and, consequently, taking into account (∗), we get

□

## 4 Conclusions

In this paper we presented some connections between the attractors of an IIFS \mathcal{S} and the attractors of the sub-IFSs of \mathcal{S}. More precisely, we provided a sufficient condition on a family {({I}_{j})}_{j\in L} of nonempty subsets of *I*, where \mathcal{S}=(X,{({f}_{i})}_{i\in I}) is an IIFS, in order to have the equality \overline{{\bigcup}_{j\in L}{A}_{{I}_{j}}}=A, where *A* means the attractor of \mathcal{S} and {A}_{{I}_{j}} means the attractor of the sub-iterated function system {\mathcal{S}}_{{I}_{j}}=(X,{({f}_{i})}_{i\in {I}_{j}}) of \mathcal{S}. Moreover, we proved that given an arbitrary infinite cardinal number \mathcal{A}, if the attractor of an IIFS \mathcal{S}=(X,{({f}_{i})}_{i\in I}) is of type \mathcal{A}, where (X,d) is a complete metric space, then there exists {\mathcal{S}}_{J}=(X,{({f}_{i})}_{i\in J}), a sub-iterated function system of \mathcal{S}, having the property that card(J)\le \mathcal{A}, such that the attractors of \mathcal{S} and {\mathcal{S}}_{J} coincide. Two examples illustrating our results are presented. Let us note that the proof of Theorem 3.3 is based on Proposition 2.4 (which used Theorem 4.1 from [15]) and Zorn’s lemma. Since we think that there exists a proof which does not use Zorn’s lemma, in a future work we plan to present such a proof based only on Theorem 4.1 from [15].

## References

Hutchinson JE: Fractals and self similarity.

*Indiana Univ. Math. J.*1981, 30: 713–747. 10.1512/iumj.1981.30.30055Barnsley MF:

*Fractals Everywhere*. Academic Press, Boston; 1993.Gwóźdź-Łukowska G, Jachymski J: The Hutchinson-Barnsley theory for infinite iterated function systems.

*Bull. Aust. Math. Soc.*2005, 72: 441–454. 10.1017/S0004972700035267Loziński A, Życzkowski K, Słomczyński W: Quantum iterated function systems.

*Phys. Rev. E*2003., 68(4): Article ID 046110Käenmäki A: On natural invariant measures on generalised iterated function systems.

*Ann. Acad. Sci. Fenn., Math.*2004, 29: 419–458.Leśniak K: Infinite iterated function systems: a multivalued approach.

*Bull. Pol. Acad. Sci., Math.*2004, 52: 1–8. 10.4064/ba52-1-1Mihail A, Miculescu R: Applications of fixed point theorems in the theory of generalized IFS.

*Fixed Point Theory Appl.*2008., 2008: Article ID 312876Mihail A, Miculescu R: Generalized IFSs on noncompact spaces.

*Fixed Point Theory Appl.*2010., 2010: Article ID 584215Mihail A: Recurrent iterated function systems.

*Rev. Roum. Math. Pures Appl.*2008, 53(1):43–53.Mihail A: The shift space of a recurrent iterated function system.

*Rev. Roum. Math. Pures Appl.*2008, 53(4):339–355.Mihail A: The shift space for generalized iterated function systems.

*An. Univ. Bucur.*2008, 58(2):139–162.Mihail A, Miculescu R: A generalization of the Hutchinson measure.

*Mediterr. J. Math.*2009, 6(2):203–213. 10.1007/s00009-009-0005-8Mihail A: The Hutchinson measure for generalized iterated function systems.

*Rev. Roum. Math. Pures Appl.*2009, 54(4):297–316.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.*2008, 136: 587–592.Mihail A, Miculescu R: The shift space for an infinite iterated function system.

*Math. Rep., Bucur.*2009, 11(61)(1):21–32.Demir B, Dzhafarov V, Koçak S, Üreyen M: The circle as an attractor of an iterated function system on the plane.

*J. Math. Anal. Appl.*2007, 332: 735–740. 10.1016/j.jmaa.2006.10.067Yamaguti M, Hata M, Kigami J Translations of the Mathematical Monographs 167. In

*Mathematics of Fractals*. Am. Math. Soc., Providence; 1997.Arenas FG, Sancez Granero MA: Every graph is a self-similar set.

*Divulg. Mat.*2000, 8: 51–56.Sanders MJ: An

*n*-cell {\mathbb{R}}^{n+1}in that is not the attractor of any IFS on{\mathbb{R}}^{n+1}.*Missouri J. Math. Sci.*2009, 21: 13–20.Secelean NA: Any compact subset of a metric space is the attractor of a CIFS.

*Bull. Math. Soc. Sci. Math. Roum., Nouv. Sér*2001, 44(92): 237–241.Kwiecinski M: A locally connected continuum which is not an IFS attractor.

*Bull. Pol. Acad. Sci., Math.*1999, 47: 128–132.Crovisier S, Rams M: IFS attractors and Cantor sets.

*Topol. Appl.*2006, 153: 1849–1859. 10.1016/j.topol.2005.06.010Stacho LL, Szabo LI: A note on invariants of iterated function systems.

*Acta Math. Hung.*2008, 119: 159–164. 10.1007/s10474-007-7013-6

## Acknowledgements

The authors want to thank the referees whose generous and valuable remarks and comments brought improvements to the paper and enhanced clarity.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

Both authors contributed equally to the writing of this paper. They read and approved the final manuscript.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Miculescu, R., Ioana, L. Some connections between the attractors of an IIFS \mathcal{S} and the attractors of the sub-IFSs of \mathcal{S}.
*Fixed Point Theory Appl* **2012**, 141 (2012). https://doi.org/10.1186/1687-1812-2012-141

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/1687-1812-2012-141