A metric on the space of finite measures with an application to fixed point theory (Q2425401)

In this paper \((X, d)\) is a compact metric space, \(\mathcal{M}\) the cone of all non-negative Radon measures on \(X\). First, the authors define on \(\mathcal{M}\) a metric \(\rho (\mu, \nu) = \sum \frac{1}{2^{i}} | ( \mu - \nu)( f_{i})| \), where \(\{ f_{i} \} \subset C(X)\), with \(f_{1}=1\), is a dense sequence in the unit sphere of \(C(X)\), and prove the simple fact that the topology induced by this metric is identical with the weak* topology. Some notations: \(Y\) is the set of all usc compact convex set-valued mapping from \(\mathcal{M}\) into itself; for an \(f \in Y\), \(F(f)\) is the compact set of all fixed points of \(f\); denoting by \(h\) the Hausdorff distance between subsets of the product metric space \((\mathcal{M}, \rho) \times (\mathcal{M}, \rho) \), the Hausdorff graph distance in \(Y\) is defined as \(D(f, g)= h( \{(\mu, \nu): \nu \in f(\mu), \mu \in \mathcal{M} \}, \{(\mu, \nu): \nu \in g(\mu), \mu \in \mathcal{M} \})\); a non-empty \(e(f) \subset F(f) \) is called an essential set wrt \((Y, D)\) if for any open \(O\) in \(\mathcal{M}\) with \(O \supset e(f)\), there is a \( \delta > 0\) such that for any \(f' \in Y \) with \( D(f, f') < \delta \), one gets \( F(f') \cap O \neq \emptyset\). A connected component \(C\subset F(f)\) is called an essential component wrt \((Y, D)\) if for any open \(O\) in \(\mathcal{M}\) with \(O \supset C\), there is a \( \delta > 0\) such that for any \(f' \in Y \) with \( D(f, f') < \delta \), one gets \( F(f') \cap O \neq \emptyset\). The main result about the essential components is: For any \(f \in Y\), there exists at least one essential component of its fixed points set \(F(f)\) wrt \((Y, D)\).