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

where

thus (M(X), d_H) 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 = (w₁,w₂, . . . ,w_n),

with associated probabilities p = (p₁, p₁, . . . , p_n),

and

The IFS has a contractivity factor defined as

Consider the following (usually called Markov) operator M :

defined as

(1)

where w_i¹
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), d_H): 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

Next: 2.1 Minimization approach

Summary: Index