In this section we recall some of the results from Forte and Vrscay (1995) and Iacus and La Torre (2001) concerning the IFSs setup on the the space of distribution function. LetM(X) be the set of probability measures on B(X), the -algebra of Borel subsets of X where (X, d) is a compact metric space (in our case will be X = [0, 1] and d the Euclidean metric.) In the IFS literature the following Hutchinson metric plays a crucial role
thus (M(X), dH) is a complete metric space (see Hutchinson, 1981).
As usual, we denote by (w, p) an N-maps contractive IFS on X with probabilities or simply an N-maps IFS, that is, a set of N affine contractions maps, w = (w1,w2, . . . ,wn),
with associated probabilities p = (p1, p1, . . . , pn),
The IFS has a contractivity factor defined as
Consider the following (usually called Markov) operator M :
i is the inverse function of wi and ffi stands for the composition. In Hutchinson (1981) it was shown that M is a contraction mapping on (M(X), dH): for all
Thus, there exists a unique measure
the invariant measure of the IFS, such that
by Banach theorem.
Stefano M. Iacus, Davide La Torre