Weak openness of the metric projection (Q1814559): Difference between revisions
From MaRDI portal
Latest revision as of 10:42, 15 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Weak openness of the metric projection |
scientific article |
Statements
Weak openness of the metric projection (English)
0 references
25 June 1992
0 references
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.
0 references
reflexive space
0 references
weak openness of metric projection
0 references
smoothness of Minkowski's functional
0 references
multivalued mapping
0 references