Fortet-Mourier norms associated with some iterated function systems (Q1590561)

Let \((X,d)\) be a metric space in which every closed ball is a compact set. Let \(w_j:X\mapsto X\), \(p_j:X \mapsto \mathbb R\) \((j = 1,2,\cdots,k)\) be continuous functions; assume that any \(p_j(x)\) is nonnegative and \( \sum_{j=1}^kp_j(x)=1\). Set \(w = (w_j, j = 1,\dots,k)\) and \(p =(p_j,j = 1,\dots,k)\). The pair \((w,p)\) is called an iterated function system (i.f.s.), and \(p\) is called the probability distribution of this system. Define linear operators \(S\) on \(C_{b}(X)\) and \(T\) on \(M(x)\) as \[ Sf(x) = \sum_{j = 1}^{k} f(w_{j}(x))p_{j}(x), \;f \in C_{b}(X) \quad \text{and}\quad T\mu(f) = \mu(Sf),\;f \in C_{b}(X),\;\mu \in M(x). \] \(\mu^{\ast} \in M(X)\) is called an attractive probability of the i.f.s. \((w, p)\) if the sequence \( T^{n}\mu\), \(n =1,2,\dots\), converges to \(\mu^{\ast}\). In this note, the author proves the existence of an attractive probability of ``average contractive i.f.s.'' satisfying a ``Lipschitz condition''. To prove this, it is shown that the operator \(T\) is nonexpansive with respect to the Fortet-Mourier norm of distance, equivalent to the distance \(d\) and the existence of invariant points of nonexpansive operators on contractive systems.