Best approximative properties of exposed faces of \(l_1\) (Q1676397)

Let \(X\) be a real Banach space with unit ball \(B_X\), unit sphere \(S_X\) and dual space \(X^*\). One denotes by \(NA(X)\) the set of norm-attaining functionals, i.e., those \(f\in X^*\setminus\{0\}\) for which the set \(J_X(f):=\{x\in B_X : f(x)=\|f\|\}\subset S_X\) is nonempty. If \(J_X(f)\) is nonempty, then it is a closed, convex, extremal subset of \(B_X\), called an exposed face of \(B_X\). (A face of \(B_X\) is a convex extremal subset of \(B_X\).) For a nonempty closed subset \(C\) of \(X\), denote by \(P_C\) the metric projection on \(C\), and for \(x\in X\) and \(\delta>0\) let \(P_C(x,\delta)=\{y\in C : \|x-y\|< \delta+d(x,C)\}.\) The set \(C\) is called proximinal if \(P_C(x)\neq\emptyset\) for all \(x\in X\), and strongly proximinal if it is proximinal and, for every \(x\in X\) and \(\varepsilon>0\), there exists \(\delta>0\) such that \(\sup\{d(z,P_C(x)) : z\in P_C(x,\delta)\}<\varepsilon.\) The metric projection on a strongly proximinal set is upper semi-continuous. \textit{V. Indumathi} and \textit{S. Lalithambigai} [J. Convex Anal. 18, No. 2, 353--366 (2011; Zbl 1219.46015)] proved that the exposed faces of the unit ball of the space \(C(Q,\mathbb{R}),\, Q\) compact Hausdorff, are proximinal. The author considers in this paper the space \(\ell_1\) and proves that the exposed faces of the unit ball of \(\ell_1\) are strongly proximinal (with \(\delta=\varepsilon/2\)).