Relational generalized iterated function systems

In this paper, we introduce a wider class of generalized iterated function systems, called relational generalized iterated function systems. More precisely, the classical contraction condition for functions defined on product spaces is weakened by means of an equivalence relation. In particular, if we consider the total equivalence relation, we recover the classical generalized iterated function systems. Our main result states that each compact subset of the underlying metric space generates, via a sequence of iterates, a fixed point of the associated fractal operator, called an attractor of the system. We also establish a structure result for the attractors and a theorem concerning the continuous dependence of the attractor on the associated compact set. Ultimately, we provide some examples which illustrate our main results.