Proximinal subspaces of finite codimension in direct sum spaces (Q5947476)

A closed subset \(A\) of a normed linear space \(X\) is said to be proximinal in \(X\) if for each \(x\in X\) there exists an element \(a\in A\) such that \(\|x-a\|= d(x,A)\). The set \(A\) is said to be strongly proximinal in \(X\) if \(A\) is proximinal in \(X\) and given \(\varepsilon> 0\), there exists \(\delta> 0\) such that \[ a\in A,\;\|x-a\|< d(x,A)+ \delta\Rightarrow d(a, P_A(x))< \varepsilon, \] where \(P_A(x)= \{a\in A:\|x-a\|= d(x,A)\}\). In this paper the author obtains a necessary and sufficient condition for (strong) proximinality of subspaces of finite codimension in \(c_0\)-direct sum of Banach spaces in terms of the (strong) proximinality of the corresponding subspaces of finite codimension of the coordinate spaces. An example to show that a similar result does not hold in \(\ell_1\)-direct sum of Banach spaces is also given.