No label defined (Q4549602)

Let \(M\) be a closed linear subspace of a normed linear space \(X\). An element \(m_0\in M\) is called a nearest point to \(x\in X\) if \[ \|x-m_0\|=\inf\{\|x-m\|: m\in M\}=d(x,M). \] If every \(x\in X\) has at least one nearest element in \(M\), then \(M\) is said to be proximinal and the set-valued mapping \(P_M\) that takes each \(x\in X\) to its set of nearest points is called the metric projection onto \(M\). The author in this note gathers some known generalizations of the concept of \(M\)-ideal, viz. absolutely proximinal, \(L\)-proximinal, locally \(U\)-proximinal, \(n\)-ball property \((n\)-bp) and \(1\frac 12\) ball property which are relevant to proximinality. The following string starting at one end with \(M\)-ideals and ending at the other end with proximinal spaces is given: Being an \(M\)-ideal \(\Leftrightarrow\) 3-bp \(\Rightarrow\) 2-bp \(\Rightarrow\) \(1\frac 12\Rightarrow\) absolute proximinality \(\Rightarrow\) \(U\)-proximinality \(\Rightarrow\) local \(U\)-proximinality \(\Rightarrow\) proximinality. Examples showing the irreversibility of the implications in this chain are given in this note. For the entire collection see [Zbl 0966.00021].