No label defined (Q4804723)

Let \((X,\|\cdot \|) \) be a linear normed space, \(K\) a subset of \(X\) and \(P_{K}:X\to K\), \[ P_{K}(x) =\{y\in K:\|x-y\|=\inf \{\|x-z\|:z\in K\} =:d(x,K)\},\quad x\in X, \] the metric projection of \(X\) onto \(K\). The set \(K\) is called proximinal if \(P_{K}(x) \neq \emptyset \) for every \(x\in X\). The application \( {\mathcal P}:X\times 2^{X}\to 2^{X}\), \(\mathcal{P}(x,K) =P_{K}(x) \) is called the parametric projection on \(X\). Let \( CB(X) \) be the space of all bounded convex subsets of \(X\) equipped with the Hausdorff metric \(H\). If \(K\in CB(X) \) is proximinal then the metric projection \(P_{K}\) is called uniformly Hausdorff strongly unique (u.H.s.u) if there exists \(r=r(K) >0\) such that \( d(x,K) +rd(y,P_{K}(x)) \leq \|x-y\|\), for all \(y\in K\) and \(x\in X\). The author shows that if the sets \(A,B\in CB(X) \) are proximinal and u.H.s.u then there exists \(\mu =\mu (A,B) >0\) such that \(H(P_{A}(x),P_{B}(x)) \leq \mu H(A,B) \). Also for \(K\in CB(X) \) proximinal with u.H.s.u metric projection \( P_{K}\), the inequality \(H(P_{K}(x),P_{K}(y)) \leq \frac{2}{r}\|x-y\|\) holds for all \(x,y\in X\) . Combining the previous results, one obtains the following continuity property of the parametric projection \(\mathcal{P}\): if \(P_{A},P_{B}\) are u.s.H.u then there exist \(\lambda,\mu >0\) such that \(H(P_{A}(x),P_{B}(y)) \leq \lambda \|x-y\|+\mu H(A,B) \), for all \(x,y\in X\) and \(A,B\in CB(X)\).