Porosity results for sets of strict contractions on geodesic metric spaces (Q1705676): Difference between revisions

Let \((X,\rho_{X})\) be a complete, weakly hyperbolic space, \((Y,\rho_{Y})\) be a complete space of temperate curvature and \(C_{X}\subseteq X\), \(C_{Y}\subseteq Y\) be nonempty, closed, non-singleton and \(\rho_{X}\)- and \(\rho_{Y}\)-star-shaped subsets of \(X\) and \(Y,\) respectively. Let \({\mathcal {M}}(C_{X},C_{Y})\) denote the space of nonexpansive mappings from \(C_{X}\) to \(C_{Y}\), equipped with the metric \(d_{\theta}\) given by \[ d_{\theta}(f,g) := \sup_{x\in X}\frac {\rho_{Y}(f(x),g(x))}{1 + \rho_{X}(x,\theta)}\text{ for a fixed }\theta \in X. \] Let \({\mathcal {N}}(C_{X},C_{Y})\) denote the subset of \({\mathcal {M}}(C_{X},C_{Y})\) formed by the strict contractions and for \(f \in {\mathcal {M}}(C_{X},C_{Y})\), let \(\epsilon(f)\) denote the set of all 1-Lipschitz extensions \(F:\mathrm{conv}(C_{X})\to \ell_{\infty}(\Omega)\) of \(f,\) where \(\mathrm{conv}(C_{X})\) denotes a \(\rho_{X}\)-convex subset of \(X\) containing \(C_{X}.\) The main result of the paper is the following theorem: Theorem 3.2: Let \(U\) be an open subset of \(X\) with \(U\cap C_{X} \neq \emptyset\) and \(U\subseteq B(\mathrm{star}(C_{X}),D_{X})\). Then the set \[ {\mathcal {Q}}(U) = \{f\in {\mathcal {M}}(C_{X},C_{Y}):\inf_{F\in \epsilon(f)}\mathrm{Lip}(F\vert_{U}) < 1\} \] is \(\sigma\)-porous in \({\mathcal {M}}(C_{X},C_{Y})\). The authors also obtained the \(\sigma\)-porosity of the set \({\mathcal {N}}(C_{X},C_{Y})\) in the space \({\mathcal {M}}(C_{X},C_{Y})\) and some other important results in this direction with example and application to set-valued mappings.