A relationship between the 1\(\frac12\)-ball property and the strong 1\(\frac12\)-ball property (Q1822725): Difference between revisions

Let M be a subspace of a normed space X. For each \(x\in X\) and \(\epsilon\geq 0\), let \(P^{\epsilon}_ M(x)= \{m_ 0\in M:\) \(\| x- m_ 0\| \leq d(x,M)+\epsilon\}.\) M is said to have property S in X if for each \(x\in X\) and \(\epsilon\geq 0\) with \(P^{\epsilon}_ M(x)\neq \emptyset\), the set \(P^{\epsilon}_ M(x)\) is proximinal in M. A subspace M of X is said to have 1 1/2-ball property iff the conditions \(m\in M\), \(x\in X\), \(r_ i\geq 0\) \((i=1,2)\), \(M\cap B(x,r_ 2)\neq \emptyset\) and \(\| x-m\| <r_ 1+r_ 2\) imply \(M\cap B(m,r_ 1)\cap B(x,r_ 2)\neq \emptyset\). Replacing here the condition \(\| x- m\| <r_ 1+r_ 2\) by the condition \(\| x-m\| \leq r_ 1+r_ 2\), one obtains the definition of strong 1 1/2-ball property. It is shown that M has strong 1 1/2-ball property iff M has both property (S) and 1 1/2-ball property. If T is a compact connected Hausdorff space and M is a finite-dimensional subspace of C(T) then M has 1 1/2-ball property iff M is the one- dimensional subspace of constant functions.