Diametrically Complete Sets with Empty Interior and Constant Width Sets with Empty Interior

We show that each infinite-dimensional reflexive Banach space (X,·X)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(X,\left\| \cdot \right\| _X)$$\end{document} has an equivalent norm ·X,0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\left\| \cdot \right\| _{X,0}$$\end{document} such that (X,·X,0)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(X,\left\| \cdot \right\| _{X,0})$$\end{document} is LUR and contains a diametrically complete set with empty interior. We also prove that after a suitable equivalent renorming, the Banach space C([0,1],R)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C([0,1],{\mathbb {R}})$$\end{document} contains a constant width set with empty interior.


Introduction
In this paper we study the following problem: when does an infinite-dimensional Banach space (X, · X ) have an equivalent norm · X,0 such that the Banach space (X, · X,0 ) contains a diametrically complete set with empty interior?
Thus our paper is a complement to the papers [7], [24] and [39]. More precisely, in [7] it is proved that such a norm exists for each infinite-dimensional, separable and reflexive Banach space. In [24] we extend this result and prove that for each infinite-dimensional reflexive Banach space (X, · X ) with the nonstrict Opial and the Kadec-Klee properties, there exists an equivalent norm such that X equipped with this norm is LUR and contains a diametrically complete set with empty interior. These additional assumptions on the Banach space (X, · X ) indicate the limit of applications of the Maluta method in proving results of this type ( [36]) and therefore in the nonseparable case we need a new approach to obtain our main theorem (see Sect. 3).
In [39] E. Maluta and D. Yost prove that each Banach space (X, · X ) with an unconditional Schauder basis can be renormed in such a way that X with this new norm contains a constant width set with empty interior. In Sect. 3 we extend this result and using it in the next section, we show that after a suitable equivalent renorming the Banach space C([0, 1], R) contains a constant width set with empty interior. In Sect. 4 we also compare and contrast our results. Moreover, in the Appendix, we improve Theorem 4.13 of [7] which is one of the crucial tools in the proof of the main theorem in that paper.

Basic Notions and Facts
Throughout this paper all Banach spaces are over the field of reals. We use the notations and notions given in [24]. In the sequel we also use the standard definitions of unconditional series, unconditional basic sequence, Schauder basis and unconditional Schauder basis. The known properties of these notions in an infinite-dimensional Banach space can be found in [1,21,33,[45][46][47] and [48].
In this section we recall several additional definitions, notions and facts regarding the geometry of Banach spaces.
We begin with the definition of a complemented subspace.
Definition 2.1 ([23]) Let (X, · X ) be a Banach space and let Y = X be a closed subspace of X with dim Y ≥ 1. If there exists a continuous linear projection of X onto Y , then we say that the subspace Y is complemented in X.
We have the following theorems which are closely connected with this notion.
is uniformly convex in every direction T z/ T z Y , z ∈ X and z X = 1. Then X has an equivalent norm |||·||| X given by Y for x ∈ X, which is uniformly convex in every direction.
in (X * , · X * ) which separates the points in (X, · X ), β > 0 and that an equivalent norm in X is given by Then (X, |||·||| X ) is uniformly convex in every direction.
Next, we recall some results about locally uniformly rotund Banach spaces and Banach spaces with the Kadec-Klee property.

Definition 2.3 ([35]
). We say that a Banach space (X, · X ) is locally uniformly rotund (LUR) if for each x ∈ X, every sequence {x k } ∞ k=1 with lim k x k X = x X and lim k x + x k X = 2 x X tends strongly to x. In this case we also say that the norm · X is LUR.
The next definition is equivalent to the above definition of a locally uniformly rotund Banach space.  ([54]). We say that a Banach space (X, · X ) is locally uniformly rotund (LUR) if for each x ∈ X, every sequence {x k } ∞ k=1 satisfying lim tends strongly to x. 25,26] and [30]; see also [15]). Let (X, · X ) be a Banach space. We say that (X, · X ) has the Kadec-Klee property with respect to the weak topology (the Kadec-Klee property for short) if each sequence {x k } ∞ k=1 with lim k x k X = 1, which converges weakly to a point x with x X = 1, tends strongly to x.
The following theorem provides a connection between these two notions.
The following result is due to A. R. Lovaglia.

Theorem 2.7 ([35]
). Let the Banach spaces (X 1 , · X1 ) and (X 2 , · X2 ) be locally uniformly rotund (LUR). If on X := X 1 × X 2 the norm · X is defined by The next theorem is a deep result which is due to S. L. Troyanski.
separates the points in (X, · X ) and if an equivalent norm on X is given by x ∈ X, then (X, |||·||| X ) has the Opial property.
Here we have to recall the following theorem which is motivated by the proof of van Dulst's result ( [52]).
Then the norm · P,X defined on X by x P,X = sup n=0,1,...
for each x ∈ X is equivalent to the norm · X and the Banach space (X, · P,X ) has the nonstrict Opial property.

Results Math
The next three definitions are closely connected with the concept of the diameter of a set.

Definition 2.7 ([40]
). Let (X, · X ) be a Banach space and let C be a nonempty, bounded and non-singleton subset of X. We say that C is a diametrically com- It is obvious that a diametrically complete set has to be closed and convex. Many other interesting properties of this kind of sets can be found in [11,[36][37][38][39]41] and in the literature given therein.

Definition 2.8 ([5]
). Let (X, · X ) be a Banach space. For a nonempty, bounded and convex set C ⊂ X, the number

Definition 2.9 ([5]
). Let (X, · X ) be a Banach space and let C be a nonempty, bounded and convex subset of X. We say that the set C is diametral if r · X (C, C) = diam · X (C). If (X, · X ) does not contain any nonempty, bounded, convex, diametral and non-singleton subset, then we say that (X, · X ) has normal structure.
The following theorem, which is due to J. P. Moreno, P. L. Papini and R. R. Phelps, exhibits a connection between the diametral property of a set and the emptiness of the interior of a diametrically complete set. ([42]). Let (X, · X ) be an infinite-dimensional Banach space and let a set C ⊂ X be diametrically complete. If the interior of C is empty, then C is diametral.

Theorem 2.11
E. Maluta and P. L. Papini proved the following result, which provides a sufficient condition for the existence of diametrically complete sets the interior of which is empty. ([38]). Each reflexive Banach space (X, · X ), which has the nonstrict Opial property and lacks normal structure, contains diametrically complete sets the interior of which is empty. Now, we recall another result, which motivates our investigations in the next section. Theorem 2.13 ([7]). Each infinite-dimensional reflexive and separable Banach space (X, · X ) has an equivalent norm · X,0 such that (X, · X,0 ) is LUR and contains a diametrically complete set the interior of which is empty. In Sect. 3 we also consider constant width sets. Definition 2.10 ( [19,31]). Let (X, · X ) be a Banach space. A bounded, closed, convex and non-singleton set C ⊂ X is said to be of constant width λ (or, more simply, of constant width) if for every f ∈ X * , f X * = 1, we have The notion of a diametrically complete set is closely connected with the notion of a constant width set. It is generally known that all closed balls are both of constant width and diametrically complete sets. These notions are also equivalent in two-dimensional Banach spaces, in all finite-dimensional Euclidean spaces and in Hilbert spaces. Moreover, every set of constant width is diametrically complete ( [40]). On the other hand, relying on the 3-dimensional result due to Eggleston ([12]), Moreno et al. ( [42]) have shown that if X is any Banach space of dimension at least 3, then (after a suitable equivalent renorming) it contains a set which has nonempty interior and is diametrically complete, but is not of constant width.
We have the following characterization of constant width sets. Theorem 2.15 ([39]). Every infinite-dimensional Banach space (X, · X ) which admits an unconditional Schauder basis has an equivalent norm · X,0 such that (X, · X,0 ) contains a constant width set with empty interior.

Diametrically Complete Sets and Constant Width Sets
In this section we proceed as follows. First, by successively applying the Lindenstrauss theorem, our auxiliary theorem (Theorem 3.1 below) and the Troyanski theorem, the problem of existence of an equivalent norm · X,0 in any reflexive infinite-dimensional Banach space (X, · X ) such that the Banach space (X, · X,0 ) contains a diametrically complete set with empty interior is reduced to the separable case. Next, we simply use the main result of [7] (see Theorem 2.13 above) and the Lovaglia theorem to obtain the claimed LUR norm. Finally, we generalize the Maluta-Yost result.
We begin with the above-mentioned auxiliary theorem.
(a) Let X = X 1 × X 2 be endowed with the norm ) contains a diametrically complete set the interior of which is empty, then (X, · X ) also contains a diametrically complete set the interior of which is empty.
(c) Let X = X 1 × X 2 be endowed with the norm Assume that (X 1 , · X1 ) contains a constant width set with empty interior. Then (X, · X ) also contains a constant width set with empty interior.
Proof. (a) Let C 1 ⊂ X 1 be a diametrically complete set in (X 1 , · X1 ) such that the interior of C 1 in (X 1 , · X1 ) is empty. Set C := C 1 × {0} ⊂ X. It is obvious that the interior of C is empty in (X, · X ) and that diam · X C = diam · X 1 C 1 . To show that C is diametrically complete, we take x = (x 1 , x 2 ) ∈ X, x / ∈ C, and consider the following two cases.
(b) In the case of constant width sets this is a direct consequence of, for example, Theorem 2.14.
Now, let C 1 ⊂ X 1 and C 2 ⊂ X 2 be diametrically complete sets. To show that C is diametrically complete, we take x = (x 1 , x 2 ) ∈ X, x / ∈ C. Without loss of generality we may assume that (c) Let C 1 ⊂ X 1 be a constant width set in (X 1 , · x1 ) such that the interior of C 1 in (X 1 , · X1 ) is empty. Without any loss of generality we may assume that diam · X 1 C 1 = 2. Set C := C 1 × B X2 (0, 1) ⊂ X, where B X2 (0, 1) is the closed unit ball in (X 2 , · X2 ). By (b) the set C is a constant width set in (X, · X ). It is obvious that the interior of C is empty in (X, · X ). This completes the proof.
Combining Theorem 3.1 with Theorems 2.4, 2.7, 2.8 and 2.13 we can now prove our basic theorem on diametrically complete sets with empty interior.

Theorem 3.2.
Each infinite-dimensional reflexive Banach space (X, · X ) has an equivalent norm · X,0 such that (X, · X,0 ) is LUR and contains a diametrically complete set the interior of which is empty.
Proof. In view of Theorem 2.13, it suffices to consider a nonseparable Banach space (X, · X ). Then by Theorem 2.4 there exists a linear and separable subspace X 1 of X, and a linear projection P of X onto X 1 with its operator norm P equal to 1. Hence X := X 1 ⊕ X 2 , where X 2 := (I − P )(X) and I is the identity operator on X. It then follows from Theorem 2.13 that (X 1 , · X ) has an equivalent norm · X1,0 such that (X 1 , · X1,0 ) is LUR and contains a diametrically complete set C the interior of which is empty. Moreover, by Troyanski's theorem (Theorem 2.8), the Banach space (X 2 , · X ) admits an equivalent locally uniformly rotund norm · X2,1 . So we can define on X an equivalent norm · X,0 by setting Theorem 2.7 implies that (X, · X,0 ) is LUR. To prove that C ⊂ X 1 ⊂ X is a diametrically complete set the interior of which is empty, it is now sufficient to apply Theorem 3.1.
As a corollary of Theorems 3.1 and 3.2 we get the following generalization of Theorem 3.2.

Results
Math is infinite-dimensional and reflexive, then (X, · X ) has an equivalent renorming (X, · X,0 ) that contains a diametrically complete set the interior of which is empty.
Similarly, Theorems 2.15 and 3.1 imply the following generalization of the Maluta-Yost result. Theorem 3.4. Let (X 1 , · X1 ) and (X 2 , · X2 ) be infinite-dimensional Banach spaces, and let X = X 1 × X 2 be endowed with the norm admits an unconditional Schauder basis, then (X, · X ) has an equivalent renorming (X, · X,0 ) that contains a constant width set with empty interior.

Some Applications of Our Results
First we want to extend the Maluta-Yost theorem to nonseparable Banach spaces. Therefore we have to recall that in 1939 E. B. Lorch ([34]) introduced the concept of an unconditional extended basis in a nonseparable Banach space (X, · X ). Definition 4.1 ([34,48]). Let (X, · X ) be a nonseparable Banach space. An uncountable family {x i } i∈I of elements of X is called an unconditional extended basis in (X, · X ) if span{x i } i∈I = X and if every countable subfamily of {x i } i∈I is an unconditional basic sequence. In this case, for each x ∈ X, we write x = i∈I a i x i , where the family {a i } i∈I of coefficients is uniquely determined by this unconditional extended basis and by x.
The theory of unconditional extended bases can be found, for example, in [20] and [48].
Let us consider such a Banach space. Observe that if (X, · X ) admits an unconditional extended basis {x i } i∈I , then, without loss of generality, we can set I = N ∪ I 1 , where N ∩ I 1 = ∅. Therefore we have This means that Theorem 3.4 can be applied suitably to any space X with an unconditional extended basis and every space X = X 1 × X 2 in which X 1 has an unconditional extended basis.
Since the Banach space C([0, 1], R) with the standard max-norm · C is not isomorphic to a subspace of a Banach space with an unconditional Schauder basis ( [28], [33]) and no reflexive infinite-dimensional subspace of (C([0, 1], R, · C )) has a complement (Theorem 2.3), it is obvious that Theorems 2.13, 2.15 do not apply to the case of the Banach space C([0, 1], R). We are, however, able to show how to apply Theorem 3.4 to this space.   ([0, 1], R) with the max-norm, the only constant width sets are closed balls, but there do exist diametrically complete sets with empty interior [42]. Now, we give a few examples which seem to be interesting from the point of view of the theory of diametrically complete sets. First, observe also that the condition given in Theorem 2.12 ( [38]) for the existence of diametrically complete sets the interior of which is empty is only sufficient, but not necessary, as the following example shows.
Example 4.1. In [36] E. Maluta has shown that 2 furnished with the Day type norm · L ( [49]) is LUR and contains diametrically complete sets with empty interior. We consider, in addition, the Banach space (L p ([0, 1], R), with the standard norm · p , 1 < p < ∞, p = 2, and we set with the norm (x 1 , x 2 ) X := x 1 2 L + x 2 2 p . The reflexive and separable Banach space (X, |||·||| X ) is LUR (see Theorem 2.7) and does not have the nonstrict Opial property (see Remark 2.1), but by Theorem 3.1 it does contain diametrically complete sets the interior of which is empty.
Next, we present an interesting and pertinent example of a certain nonreflexive Banach space.

Example 4.2.
It is not known whether any reflexive Banach space (X, · X ) can be renormed so as to have the nonstrict Opial property. This statement is false in general as the Banach space ∞ (Γ) with an uncountable Γ shows ( [8]). In addition, ∞ (Γ) with an uncountable Γ cannot be equivalently renormed so as to be LUR or even strictly convex ( [9]). Hence for uncountable Γ, the space (where · ∞ is the standard sup-norm on ∞ (Γ)) admits no norm with the nonstrict Opial property and no strictly convex norm, but by E. Maluta's We can also present a construction of Banach spaces to which we can apply Theorem 3.4.

Example 4.3.
Let the set Γ be at least countable, {(Y γ , · γ } γ∈Γ be a family of Banach spaces with dimY γ ≥ 2 and let 1 ≤ p < ∞. Set Since each Y γ can be represented as It is not difficult to observe that directly from the definition of constant width sets in a Banach space (X, · X ) it follows that span C = X for each constant width set C ⊂ X. Hence the following theorem is a simple consequence of Theorems 3.1 and 3.2.

Theorem 4.2.
On every infinite-dimensional and reflexive Banach space (X, · X ) there exists an equivalent norm such that X with this new norm contains diametrically complete sets with empty interior which are not constant width sets.
Proof. Indeed, consider an arbitrary subspace X 1 of X with codimX 1 = 1. Then we have X = X 1 ⊕ R. By reflexivity of (X, · X ) and Theorem 3.2, X 1 has a norm · X1,0 , which is equivalent to the norm · X restricted to X 1 , such that the Banach space (X 1 , · X1,0 ) contains a diametrically complete set C 1 with empty interior (see also Theorem 3.8 in [38]). Therefore it suffices to take the norm · X,0 on X defined by   [2]) and this implies the existence of Banach spaces which do not satisfy the assumptions of Theorems 2.15, 3.2, 3.3 and 3.4.

Funding
The authors have not disclosed any funding.

Declarations
Competing interests The authors have not disclosed any competing interests.
Open Access. This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons. org/licenses/by/4.0/.

Appendix: Construction of a Norm Which is LUR and has the Opial Property
The following theorem is one of the basic tools in [7].
Theorem 5.1. Every infinite-dimensional and separable Banach space (X, · X ) admits an equivalent norm · X,1 such that (X, · X,1 ) has both the Kadec-Klee and the Opial properties. In addition, · X,1 is uniformly convex in every direction and there exists a constantK independent of X such that It is known that no Banach space with the Opial property or which is uniformly convex in every direction or generally having normal structure can contain a diametrically complete set with empty interior ( [42]), but in the case of an infinite-dimensional, reflexive and separable Banach space Theorem 5.1, when combined with the properties of Schauder bases and the Day norm, allows us to prove that each Banach space (X, · X ) of this kind has an equivalent norm · 0 such that (X, · 0 ) is LUR and contains a diametrically complete set with empty interior [7].
In this section we enhance Theorem 5.1-we replace the Kadec-Klee property by local uniform rotundity. To this end, we first consider the case of the Banach space of real continuous functions on the interval [0, 1].

Theorem 5.2.
Let be a positive real number. The Banach space C([0, 1], R) endowed with the standard max-norm · C has an equivalent norm · C,I such that (C([0, 1], R), · C,I ) has the Opial property, is LUR and uniformly convex in every direction, and · C ≤ · C,I ≤ (2 + ) · C . 47], see also [33]) and let {g * i } ∞ i=1 be the sequence of biorthogonal functionals associated with this basis. The basis is the sequence of projections on C([0, 1], R), which are defined in the following way: P 0 := 0, P n h := n i=1g * i (h)g i for n = 1, 2, ... and h ∈ C([0, 1], R), then the sequence { P n } ∞ n=0 of the operator norms with respect to the norm · C is bounded by 1. Hence the sequence { I − P n } ∞ n=0 of the operator norms is bounded by 2. Next, the sequence { g * i } ∞ i=1 is bounded with respect to the norm · C by some L > 0. Now, fix > 0 and choose η > 0 such that We introduce a new norm on C([0, 1], R) as follows: for h ∈ C([0, 1], R). Then we have • the norm · C,0 in C([0, 1], R) is equivalent to the norms · C and · P,C , and · C ≤ · P,C ≤ · C,0 = sup n=0,1,2,...
Next, let {X i } ∞ i=1 be an increasing sequence of finite dimensional subspaces of C([0, 1], R) such that i X i is dense in (C([0, 1], R), · C ) and let {f * i } ∞ i=1 be a separating (for C([0, 1], R)) family of functionals with f * i C * ,0 = 1 for each i ∈ N (the norm · C * ,0 in C * ([0, 1], R) is associated with the norm · C,0 in C([0, 1], R)). Then the function given by is a norm on C([0, 1], R) which is equivalent to the norm · C,0 and since 0 ∈ X i for each i ∈ N, we see that By Corollary 2.1 the norm · C,I is uniformly convex in every direction. Next, by Theorem 2.6 the norm · C,I is LUR. Hence we only need to show that this norm has the Opial property. So let {h k } ∞ k=1 be a weakly convergent null sequence. By separability of the Banach space (C([0, 1], R), · C ) we may assume the existence of the limits lim k h k − h C,I ,
The space (C([0, 1], R), · C,I ) is also uniformly convex in every direction. By the universality of (C([0, 1], R), · C ) for the class of separable Banach spaces, we have X ⊂ C([0, 1], R). Now it is sufficient to take the restriction to X of the norm · C,I in order to arrive at the asserted norm · X,I .
In view of Theorem 5.3 the following problem is quite natural. Open problem Is 2 equal to the infimum of all K > 1 satisfying the following condition: for each separable Banach space (X, · X ) there exists an equivalent norm · X,∼ such that • · X ≤ · X,∼ ≤ K · X , • · X,∼ is LUR, • · X,∼ is uniformly convex in every direction, • · X,∼ has the Opial property?