The Hutchinson-Barnsley theory for infinite iterated function systems
We show that some results of the Hutchinson-Barnsley theory for finite iterated function systems can be carried over to the infinite case. Namely, if {Fi:i∈ ℕ} is a family of Matkowski's contractions on a complete metric space (X, d) such that (Fix0)i∈Nis bounded for somex0∈X, then there exists a non-empty bounded and separable setKwhich is invariant with respect to this family, that is,. Moreover, given σ ∈ ℕℕandx∈X, the limit exists and does not depend onx. We also study separately the case in which (X, d) is Menger convex or compact. Finally, we answer a question posed by Máté concerning a finite iterated function system {F1,…,FN} with the property that each ofFihas a contractive fixed point.