Weak openness of the metric projection (Q1814559): Difference between revisions

Let \(K\) be a closed convex set in a Banach space \(X\). A metric projection on the set \(K\) is a multivalued mapping \(P_ K\) from \(X\) to \(K\) defined as \(P_ K(x)= \{y\in K\): \(| x-y|\leq | x-z|\) for all \(z\in K\}\). \(P_ K\) is called open (weakly open) if \(P_ K(W)\) is an open (weakly open) set for every open (weakly open) set \(W\subset X\). If \(K\) moreover contains 0, its Minkowski's functional \(\mu_ K\) is defined as \(\mu_ K= \inf\{ \lambda>0\): \(\lambda x\in K\}\). Then years ago \textit{R. R. Phelps} observed an interesting fact that, under some assumptions on the geometry of \(X\), the openness of \(P_ K\) is closely related to the smoothness of \(\mu_ K\) [J. Approx. Theory 42, 70-79 (1984; Zbl 0572.41020)]. The present paper goes on in this vein. In some reflexive spaces, there are given equivalent conditions guaranteeing the coincidence of the family of all \(K\subset X\) with \(P_ K\) open (weakly open) and the family of all \(K\subset X\) whose \(\mu_ K\) is Fréchet (Gâteaux) smooth.