Set-valued contractions and fixed points (Q1395862)

\textit{M. Frigon} [Proc. Am. Math. Soc. 128, 2957-2965 (2000; Zbl 0966.47040)] proved the following theorem. Let \(E\) be a complete gauge space. Then every generalized contraction (in the sense of Frigon) \(f: E\to E\) has a unique fixed point. Frigon remarked that it remained an open question whether it is possible to define inductively a sequence converging to the fixed point of \(f\). In Section 2 of the present paper an extension of Frigon's theorem is proved which provides an affirmative answer to the above question. The last Section of the paper is devoted to results for families of set-valued contraction mappings in hyperconvex metric spaces. It is shown that if \((M,d)\) is a hyperconvex metric space, if \(CB(M)\) denotes the collection of all non-empty bounded closed subsets of \(M\) endowed with the Hausdorff metric, and if \(f_\alpha\): \(M\to CB(M)\) is a family of contraction mappings indexed over a directed set \(\Lambda\) satisfying: (i) for each \(x\in M\), \(\beta\geq\alpha\Rightarrow f_\beta(x)\subset f_\alpha(x)\); (ii) for each \(\varepsilon> 0\) there exists \(\alpha\in\Lambda\) such that \(\text{diam}(f_\alpha(x))\leq\varepsilon\) for each \(x\in M\), then there exists at least one point \(x\in M\) such that \(x\in f_\alpha(x)\) for each \(\alpha\in\Lambda\). It is also shown that assumption (ii) can be removed if the family \(CB(M)\) is replaced by the family \(A(M)\) of all admissible subsets of \(M\).