Existence of diametrically complete sets with empty interior in reflexive and separable Banach spaces (Q2286485)

A bounded non-singleton set \(C\) in a Banach space \(X\) is called \textit{diametrically complete} if, for all \(x\notin C\), we have \(\operatorname{diam}(C\cup\{x\})>\operatorname{diam}(C)\). This notion was introduced already in [\textit{E. Meissner}, Vierteljahrsschr. Naturf.-Ges. Zürich 56, 42--50 (1911; JFM 42.0091.01)]; recently, many papers about diametrically complete sets have appeared. One of the problems the investigations of diametrically complete sets have recently been focused on is the existence of diametrically complete sets with empty interior. The main result of this paper is that every infinite-dimensional, reflexive and separable Banach \(X\) space admits an equivalent LUR norm \(\|\cdot\|_0\) such that \((X,\|\cdot\|_0)\) contains a diametrically complete set with empty interior. The proof is very technical and, as the authors claim, it is based on another interesting (and again quite involved) result that every infinite-dimensional and separable Banach \(X\) space admits an equivalent norm \(\|\cdot\|_1\) such that \((X,\|\cdot\|_1)\) has both the Kadec-Klee and the Opial properties.