- Research Article
- Open Access
- Published:

# Generalized IFSs on Noncompact Spaces

*Fixed Point Theory and Applications*
**volume 2010**, Article number: 584215 (2010)

## Abstract

The aim of this paper is to continue the research work that we have done in a previous paper published in this journal (see Mihail and Miculescu, 2008). We introduce the notion of GIFS, which is a family of functions , where is a complete metric space (in the above mentioned paper the case when is a compact metric space was studied) and . In case that the functions are Lipschitz contractions, we prove the existence of the attractor of such a GIFS and explore its properties (among them we give 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 attractor of such a GIFS, and an arbitrary compact set of and we prove its continuous dependence in the 's). Finally we present some examples of attractors of GIFSs. The last example shows that the notion of GIFS is a natural generalization of the notion of IFS.

## 1. Introduction

### 1.1. The Organization of the Paper

The paper is organized as follows. Section 2 contains a short presentation of the notion of an iterated function system (IFS), one of the most common and most general ways to generate fractals. This will serve as a framework for our generalization of an iterated function system.

Then, we introduce the notion of a GIFS, which is a finite family of Lipschitz contractions , where is a complete metric space and .

In Section 3 we prove the existence of the attractor of such a GIFS and explore its properties (among them we give 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 attractor of such a GIFS, and an arbitrary compact set of and we prove its continuous dependence in the 's).

Section 4, the last one, contains some examples and remarks. The last example shows that the notion of GIFS is a natural generalization of the notion of IFS.

### 1.2. Some Generalizations of the Notion of IFS

IFSs were introduced in their present form by John Hutchinson and popularized by Barnsley (see [1]). There is a current effort to extend Hutchinson's classical framework for fractals to more general spaces and infinite IFSs. Some papers containing results on this direction are [2–7].

### 1.3. Some Physical Applications of IFSs

In the last period IFSs have attracted much attention being used by researchers who work on autoregressive time series, engineer sciences, physics, and so forth. For applications of IFSs in image processing theory, in the theory of stochastic growth models, and in the theory of random dynamical systems one can consult [8–10]. Concerning the physical applications of iterated function systems we should mention the seminal paper [11] of El Naschie which draws attention to an informal but instructive analogy between iterated function systems and the two-slit experiment which is quite valuable in illuminating the role played by the possibly DNA-like Cantorian nature of microspacetime and clarifies the way in which probability enters into this subject. We also mention the paper [12] of Słomczyński where a new definition of quantum entropy is introduced and one method (using the theory of iterated function systems) of calculating coherent states entropy is presented. The coherent states entropy is computed as the integral of the Boltzmann-Shannon entropy over a fractal set.

In [13], Bahar described bifurcation from a fixed-point generated by an iterated function system (IFS) as well as the generation of "chaotic" orbits by an IFS, and in [14] unusual and quite interesting patterns of bifurcation from a fixed-point in an IFS system, as well as the routes to chaos taken by IFS-generated orbits, are discussed. Moreover, in [15] it is shown that random selection of transformation in the IFS is essential for the generation of a chaotic attractor. In [16, Section ], one can find a lengthy but elementary explanation which features of randomness play the main role.

## 2. Preliminaries

Notations 2.

Let and be two metric spaces.

As usual, denotes the set of continuous functions from to , and defined by

is the generalized metric on .

For a sequence of elements of and , denotes the punctual convergence, denotes the uniform convergence on compact sets, and denotes the uniform convergence, that is, the convergence in the generalized metric .

Definition 2.1.

Let be a complete metric space and .

For a function , the number

which is the same with

is denoted by and it is called the Lipschitz constant of .

A function is called a Lipschitz function if and a Lipschitz contraction if .

We will use the notation for the set .

Notations 2.

denotes the subsets of a given set and denotes the set .

For a subset of , by we mean .

Given a metric space , denotes the set of compact subsets of and denotes the set of closed bounded subsets of .

Remark 2.2.

It is obvious that .

Definition 2.3.

For a metric space , we consider on the generalized Hausdorff-Pompeiu pseudometric defined by and , where and .

Remark 2.4.

The Hausdorff-Pompeiu pseudometric is a metric on and, in particular, on .

Remark 2.5.

The metric spaces and are complete, provided that is a complete metric space (see [1, 7, 17]).

The following proposition contains the important properties of the Hausdorff-Pompeiu semimetric (see [1, 17] or [18]).

Proposition 2.6.

Let and be two metric spaces. Then one has the following:

(i)if and are two nonempty subsets of , then

(ii)if and are two families of nonempty subsets of , then

(iii)if and are two nonempty subsets of and is a Lipschitz function, then

Definition 2.7.

An iterated function system on consists of a finite family of Lipschitz contractions on and is denoted .

Theorem 2.8.

Let be a complete metric space, let be an IFS. Then there exists a unique such that

The set is called the attractor of the IFS .

Given a metric space , the idea of our generalization of the notion of an IFS is to consider contractions from to , rather than contractions from to itself.

Definition 2.9.

Let be a complete metric space and . A generalized iterated function system on of order (for short a GIFS or a GmIFS), denoted , consists of a finite family of functions , such that .

Earlier several authors tried to coin the name generalized IFS. One should note the paper [19] in which notion tightly corresponds to contractive multivalued IFS from [2].

## 3. The Existence of the Attractor of a GIFS for Lipschitz Contractions

In this section is a fixed natural number, will be a fixed complete metric space, and all the GIFSs are of order and have the form , where is a natural number.

We prove the existence of the attractor of (Theorem 3.9) and study its properties (among them we give an upper bound for the Hausdorff-Pompeiu distance between the attractors of two such GIFSs (Theorem 3.12), an upper bound for the Hausdorff-Pompeiu distance between the attractor of such a GIFS, and an arbitrary compact set of (Theorem 3.17) and we prove its continuous dependence in the 's (Theorem 3.15)).

Definition 3.1.

Let be a function. The function defined by

for all , is called the set function associated to the function .

The function defined by

for all , is called the set function associated to the GIFS .

Lemma 3.2.

For a sequence of elements of and such that , one has

in, for all.

Proposition 3.3.

Let and be two complete metric spaces and let be such that and on a dense set in . Then

Proof.

In this proof, by we mean .

Let us consider , which is a dense set in , let be a compact set in , and let .

Since is uniformly continuous on , there exists such that if and , then

Since is compact, there exist such that

Taking into account the fact that is dense in , we can choose such that

Since, for all , , there exists such that for every , , we have

for every .

For , there exists , such that and therefore

and so

Hence, for , we have

Consequently, as was arbitrary chosen in , we infer that on , and so

The inequality

is obvious.

Lemma 3.4.

Let be subsets of .

Then

(1);

(2).

Lemma 3.5.

If is a Lipschitz function, then

Lemma 3.6.

In the framework of this section, one has

The proofs of the above lemmas are almost obvious.

Theorem 3.7 (Banach contraction principle for ).

For every , there exists a unique , such that

For every , the sequence , defined by , for all , has the property that

Concerning the speed of the convergence, one has the following estimation:

for every .

Proof.

See [20, Remark ].

Remark 3.8.

The point from the above theorem is called the fixed point of .

From Theorem 3.7 and Lemma 3.6 we have the following.

Theorem 3.9.

In the framework of this section, there exists a unique such that

Moreover, for any , the sequence defined by , for all , has the property that

Concerning the speed of the convergence, one has the following estimation:

for all .

Definition 3.10.

The unique set given by the previous theorem is called the attractor of the GIFS .

Theorem 3.11.

If have the fixed points and , then

Proof.

We have

so

and in a similar manner we get

Therefore

From Theorem 3.11 and Lemma 3.6, we have the following.

Theorem 3.12.

In the framework of this section, if andare two dimensional GIFSs, then

where .

Theorem 3.13.

Let with fixed points and , respectively, such that

on a dense set in .

Then

Proof.

From the fact that and on a dense set in , it follows, using Proposition 3.3, that

on and

From Theorem 3.11, we have

and hence

for all .

Since on , we obtain that

and consequently, using the above inequality, we obtain that

Proposition 3.14.

Let , where , and let be -dimensional generalized iterated function systems such that

on a dense set in , for every .

Then

Proof.

Using Proposition 3.3, we obtain that

on and

Then, using Lemma 3.2 and Proposition 2.6(ii), we get

Since, according to Lemma 3.6, we have

for all , we obtain, using again the arguments from Proposition 3.3, that

From Theorem 3.13, Proposition 3.14, and Lemma 3.6, we have the following.

Theorem 3.15.

Let , where , and let be -dimensional generalized iterated function systems having the property that

on a dense set in , for every .

Then

Theorem 3.16.

For having the unique fixed point and for every , one has

Proof.

We can use the Banach contraction principle for , where

for all .

Theorem 3.17.

For a generalized iterated function system and , the following inequality is valid:

Proof.

The function , defined by

for all , is a contraction and

## 4. Examples

In this section we present some examples of attractors of GIFSs. Example 4.3 shows that the notion of GIFS is a natural generalization of the notion of IFS.

Example 4.1.

Let and , where is a Banach space and is the set of linear and continuous operators from to .

Let us consider the function , given by

for every .

Then

for every , and so

In particular, if and , for every , then

Let us consider given by

for every .

Then

If , then are contractions.

*We consider the GIFS**, where*.

*If*
*, then*

Indeed, , and so , that is, . This proves that .

*If*
*, then*

Indeed, if , then

and . Hence . This proves that .

*If*
*, then*

*If*
*, then*
*is a Cantor type set (more precisely*
*consists of those elements of*
*for which one can use the digits*
*and*
*in order to write them in base*
*).*

Remark 4.2.

Finally let us note that

Example 4.3.

Let be one of the spaces , or , where .

Let , and be given by

for all .

*We consider the GIFS*
*, where*
*and*
*are given by*

*for all*
*.*

*Then*

Indeed, if , then and . Hence

and therefore . This, together with the fact that is compact, proves that .

On one hand it is obvious that has infinite Hausdorff dimension. On the other hand, for every finite IFS , with contraction constant less then , we have . Indeed, the proof of the above claim is similar with the one of Proposition , page 135, from [18].

*Therefore there exists no finite IFS consisting of Lipschitz contractions having as attractor the set*
*.*

## References

- 1.
Barnsley MF:

*Fractals Everywhere*. 2nd edition. Academic Press, Boston, Mass, USA; 1993:xiv+534. - 2.
Andres J, Fišer J, Gabor G, Leśniak K:

**Multivalued fractals.***Chaos, Solitons and Fractals*2005,**24**(3):665–700. 10.1016/j.chaos.2004.09.029 - 3.
Gwóźdź-Łukawska G, Jachymski J:

**The Hutchinson-Barnsley theory for infinite iterated function systems.***Bulletin of the Australian Mathematical Society*2005,**72**(3):441–454. 10.1017/S0004972700035267 - 4.
Käenmäki A:

**On natural invariant measures on generalised iterated function systems.***Annales Academiæ Scientiarium Fennicæ. Mathematica*2004,**29**(2):419–458. - 5.
Leśniak K:

**Infinite iterated function systems: a multivalued approach.***Bulletin of the Polish Academy of Sciences. Mathematics*2004,**52**(1):1–8. 10.4064/ba52-1-1 - 6.
Łoziński A, Życzkowski K, Słomczyński W:

**Quantum iterated function systems.***Physical Review E*2003,**68**(4):-9. - 7.
Miculescu R, Mihail A:

**Lipscomb's space is the attractor of an infinite IFS containing affine transformations of .***Proceedings of the American Mathematical Society*2008,**136**(2):587–592. - 8.
Elton JH, Piccioni M:

**Iterated function systems arising from recursive estimation problems.***Probability Theory and Related Fields*1992,**91**(1):103–114. 10.1007/BF01194492 - 9.
Forte B, Vrscay ER:

**Solving the inverse problem for function/image approximation using iterated function systems. I. Theoretical basis.***Fractals*1994,**2**(3):325–334. 10.1142/S0218348X94000429 - 10.
Montrucchio L, Privileggi F:

**Fractal steady states in stochastic optimal control models.***Annals of Operations Research*1999,**88:**183–197. - 11.
El Naschie MS:

**Iterated function systems and the two-slit experiment of quantum mechanics.***Chaos, Solitons and Fractals*1994,**4**(10):1965–1968. 10.1016/0960-0779(94)90011-6 - 12.
Słomczyński W:

**From quantum entropy to iterated function systems.***Chaos, Solitons and Fractals*1997,**8**(11):1861–1864. 10.1016/S0960-0779(97)00073-8 - 13.
Bahar S:

**Chaotic orbits and bifurcation from a fixed point generated by an iterated function system.***Chaos, Solitons and Fractals*1995,**5**(6):1001–1006. 10.1016/0960-0779(94)00219-G - 14.
Bahar S:

**Further studies of bifurcations and chaotic orbits generated by iterated function systems.***Chaos, Solitons and Fractals*1996,**7**(1):41–47. 10.1016/0960-0779(95)00036-4 - 15.
Bahar S:

**Chaotic attractors generated by iterated function systems: "harmonic decompositions" and the onset of chaos.***Chaos, Solitons and Fractals*1997,**8**(3):303–312. 10.1016/S0960-0779(96)00132-4 - 16.
Peitgen H-O, Jürgens H, Saupe D:

*Chaos and Fractals: New Frontiers of Science*. 2nd edition. Springer, New York, NY, USA; 2004. - 17.
Falconer KJ:

*The Geometry of Fractal Sets, Cambridge Tracts in Mathematics*.*Volume 85*. Cambridge University Press, Cambridge, UK; 1986:xiv+162. - 18.
Falconer K:

*Fractal Geometry: Mathematical Foundations and Applications*. John Wiley & Sons, Chichester, UK; 1990:xxii+288. - 19.
Veerman JJP, Jonker LB:

**Rigidity properties of locally scaling fractals.**http://arxiv.org/abs/math.DS/9701216 - 20.
Şerban M-A:

**Fixed point theorems for operators on Cartesian product spaces and applications.***Seminar on Fixed Point Theory Cluj-Napoca*2002,**3:**163–172.

## Acknowledgment

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

## Author information

## 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

Mihail, A., Miculescu, R. Generalized IFSs on Noncompact Spaces.
*Fixed Point Theory Appl* **2010, **584215 (2010). https://doi.org/10.1155/2010/584215

Received:

Accepted:

Published:

### Keywords

- Lipschitz Function
- Nonempty Subset
- Hausdorff Dimension
- Natural Generalization
- Unique Fixed Point