An example of non-approximatively-compact existence set with finite-valued metric projection (Q736219)

A subset \(M\) of a~Banach space~\(X\) is said to be approximatively compact if, for any \(x \in X\), every minimizing sequence \({y_n}\subset M\) contains a~subsequence converging to some element of~\(M\). A Banach space~\(X\) is said to belong to the class~\((*)\) if the following conditions hold: {\parindent=6mm \begin{itemize}\item[1)]\(X\) is infinite-dimensional and has a~countable Schauder basis \(\{e_n\} \) formed by unit vectors in such a~way that every element \(x \in X\) can be identified with the family \((x_1 ,x_2 ,\dotsc)\) of its coordinates in this basis, and \(x_n\to 0\) as \(n \to\infty\); \item[2)]the norm of any element is preserved under any permutation of its coordinates; and \item[3)]if \(x =(x_1 ,x_2 ,\dotsc)\) and \(y =(y_1 ,y_2, \dots)\) and if \(|y_n|\leq |x_n|\) for any \(n =1, 2, \dots\), then \(\|y\| \leq \|x\|\), and if \(|y_j| < |x_j|\) for at least one~\(j\), then \(\|y\| < \|x\|\). \end{itemize}} The authors construct an~example of a non-approximatively-compact existence set~\(M\) with finite-valued metric projection in any Banach space of class~\((*)\). The following question arises: Is it possible to construct such a set~\(M\) so that the complement \(X \setminus \text{AC}(M)\) is not locally compact? Here \(\text{AC}(M)\) is the set of all points of approximative compactness of the set~\(M\). (For the set~\(M\) constructed in the article, the set \(\text{AC}(M)\) coincides with \(X \setminus \{0\}\).)