A family of measures associated with iterated function systems

Abstract

Let $(X,d)$ be a compact metric space, and let an iterated function system (IFS) be given on $X$, i.e., a finite set of continuous maps $σ_{i}$: $ X\to X$, $i=0,1,..., N-1$. The maps $σ_{i}$ transform the measures $μ$ on $X$ into new measures $μ_{i}$. If the diameter of $ σ_{i_{1}}\circ >... \circ σ_{i_{k}}(X)$ tends to zero as $ k\to \infty $, and if $p_{i}>0$ satisfies $\sum_{i}p_{i}=1$, then it is known that there is a unique Borel probability measure $μ$ on $X$ such that $μ=\sum_{i}p_{i} μ_{i} \tag{*}$. In this paper, we consider the case when the $p_{i}$s are replaced with a certain system of sequilinear functionals. This allows us to study the variable coefficient case of (*), and moreover to understand the analog of (*) which is needed in the theory of wavelets.