Regularity modulus and radius of set-valued mappings (Q484491)

In this paper, the author investigates an exact modulus and radius of metric regularity for the set-valued map \(F: X\rightsquigarrow Y\), where \(X\) and \(Y\) are metric spaces endowed with metrics both denoted by \(d(\cdot,\cdot)\). The first result concerns the exact modulus of metric regularity for \(F\) at a given point \((\overline{x}, \overline{y})\in Grp(F)\) denoted by \(reg\, F(\overline{x}, \overline{y})\). The exact modulus of metric regularity is defined as the infimum of all \(\tau > 0\) for which \(F\) is metrically regular with modulus \(\tau > 0\), i.e. there exists a neighborhood \(U\times V\) of \((\overline{x},\overline{y})\) such that \[ d(x,F^{-1}(y))\leq \tau d(y,F(x)), \] for all \((x,y)\in U\times V\). The author proves that the estimation given for \(reg\, F(\overline{x}, \overline{y})\) in terms of the lower semicontinuous envelope of distance functions to the images of the multifunction \(F\) in case when \(Y\) is a normed space still holds in case when \(Y\) is coherent. The second result concerns the radius of metric regularity of \(F\) at a given point \((\overline{x}, \overline{y})\in Grp(F)\) denoted by \(\text{rad}\, F(\overline{x}, \overline{y})\). If \(Y\) is a normed space then \(\text{rad}\, F(\overline{x}, \overline{y})\) is the infimum of Lipschitz constants of all mappings \(g:X\rightarrow Y\) such that \(F+g\) is not metrically regular at \((\overline{x},\overline{y}+g(\overline{x}))\). The author proved that the formula \[ \text{rad}\, F(\overline{x}, \overline{y})=\dfrac{1}{\text{reg}\, F(\overline{x}, \overline{y})}, \] which is true for arbitrary continuous single-valued mappings from complete metric spaces to normed spaces, still holds when either \(Y\) is a finite dimensional space or \(Y\) is a uniformly convex space, \(F(\overline{x})\) is a singleton, \(F(x)\) is convex, and \(F\) is upper semicontinuous near \(\overline{x}\).