Antiproximinal convex bounded sets in the space \(c_{0}(\gamma )\) equipped with the Day norm (Q880999)

A nonempty subset \(A\) of a Banach space \(X\) is called antiproximinal if no point outside \(A\) has a nearest point in \(A\). A Banach space is nonreflexive if and only if it contains a closed convex antiproximinal set (in fact, a closed hyperplane). The first example of a Banach space containing a bounded closed convex antiproximinal set was given by \textit{M.\,Edelstein} and \textit{A.\,C.\thinspace Thompson} [Pac.\ J.\ Math.\ 40, No.\,2, 553--560 (1972; Zbl 0202.39503)], namely, the space \(c_0\) contains an antiproximinal bounded closed convex body. There are a lot of results concerning the existence of antiproximinal bounded closed convex sets in Banach spaces, a good account of them, up to 1999, having been given in the survey paper by \textit{S.\,Cobzaş} [Acta Univ.\ Carol., Math.\ Phys.\ 40, No.\,2, 43--52 (1999; Zbl 1010.46015)]. For a nonempty closed subset \(M\) of \(X\) and \(x\in X,\) one denotes by \(d(x,M)\) the distance from \(x\) to \(M\) and by \(d'(x,M)\in X^*\) the Gâteaux differential of the distance function \(d(\cdot,M)\) at \(x\) (provided it exists). Denote by \(G_M\) the set of all points of Gâteaux differentiability of \(d(\cdot,M)\) in \(X\setminus M\) and let \(G^1_M=\{x\in G_M : \| d'(x,M)\| =1\}\). If \(M\) is nonempty, convex and closed, then \(G_M\subset G_M^1\). Denote by \(\hat c_0(\Gamma)\) the space \(c_0(\Gamma)\) equipped with Day's locally uniformly convex norm. The main result of the present paper concerns the existence of an antiproximinal bounded smooth closed convex set \(M\) in the space \(\hat c_0(\Gamma)\) such that \(X\setminus M \subset G_M^1\) (Theorem~2). A closed convex set \(M\) of a Banach space is called smooth if for every \(x\in M\) and \(f,g\in S(X^*),\) the equalities \(f(x)= \sup\{f(y):y\in M\}\) and \(g(x)= \sup\{g(y):y\in M\}\) imply \(f=g.\) It is shown that a Banach space \(X\) contains a nonempty smooth weakly compact convex set if and only if \(X\) is weakly compactly generated (WCG). The proof of Theorem 2 is based on the well-known fact that the Banach space \(c_0(\Gamma)\) is WCG and on the following interesting result: If \(X\) is a WCG Banach space which contains a bounded closed convex antiproximinal set \(A\), then: (a) \(X\) contains a smooth bounded closed convex antiproximinal set \(M\) such that \(X\setminus M\subset G^1_M\), (b) the space \(X\) admits an equivalent Gâteaux smooth norm such that the set \(A\) remains antiproximinal with respect to the new norm.