Abstract
Let C be a proper, closed subset with nonempty interior in a normed space X. We define four variants of modulus of convexity for C and prove that they all coincide. This result, which is classical and well-known for \(C=B_X\) (the unit ball of X), requires a less easy proof than the particular case of \(B_X.\) We also show that if the modulus of convexity of C is not identically null, then C is bounded. This extends a result by M.V. Balashov and D. Repovš.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The notion of a uniformly convex norm was introduced by Clarkson [3] in 1936, and soon it became one of the basic concepts in geometry of Banach spaces. Among what is known, let us just recall that: uniform convexity of a complete norm implies reflexivity and is equivalent to uniform Fréchet differentiability of the dual norm (see, e.g., [7]); and a Banach space admits an equivalent uniformly convex norm if and only if it is superreflexive (Enflo [5]).
A mean for measuring uniform convexity of the norm \(\Vert \cdot \Vert \) of a normed space X is its modulus of convexity
Then \(\Vert \cdot \Vert \) is uniformly convex if and only if \(\delta _{\Vert \cdot \Vert }(\varepsilon )>0\) for each \(\varepsilon \in (0,2]\) (equivalently, for each sufficiently small \(\varepsilon >0\)). A useful, relatively easy fact is that:
- \((*)\):
-
the value of \(\delta _{\Vert \cdot \Vert }(\varepsilon )\) does not change if we write \(\Vert x\Vert \le 1, \Vert y\Vert \le 1,\) and/or \(\Vert x-y\Vert =\varepsilon \) in (1) (see, e.g., [7, p. 60]).
It is clear that uniform convexity of a norm \(\Vert \cdot \Vert \) is a property of the corresponding closed unit ball \(B_{\Vert \cdot \Vert }.\) In some situations, it turns out to be useful to extend the notion of uniform convexity to general convex bodies. (By a convex body in a normed space X we mean a proper closed convex subset of X with nonempty interior.)
It is natural to define the modulus of convexity of a convex body C in a normed space X as
Then it is clear that the classical modulus of convexity \(\delta _{\Vert \cdot \Vert }\) of the norm of X coincides with \(\delta _{B_{\Vert \cdot \Vert }}\) as defined in (2). The modulus from (2), while natural, turns out to be not so comfortable to work with. More convenient is its variant
defined by Balashov and Repovš [1]. (Actually, they used \(\Vert x-y\Vert =\varepsilon \) in their definition, but it is easily seen to give the same value of \(\widetilde{\delta }_C(\varepsilon )\); see Observation 3.3(a).) They proved some interesting properties of \(\widetilde{\delta }_C,\) among which the following boundedness result. If X is a Banach space and C is uniformly convex in the sense that \(\widetilde{\delta }_C(\varepsilon )>0\) whenever \(0<\varepsilon <{\textrm{diam}}(C),\) then C is bounded and there exists a constant \(k_C>0\) such that \(\widetilde{\delta }_C(\varepsilon )\le k_C \varepsilon ^2\) for each \(\varepsilon .\)
It is natural to ask about relations between the two moduli from (2) and (3). The definitions give immediately the inequality \(\widetilde{\delta }_C\le \delta _C.\) Thanks to (\(*\)), in the particular case of \(C=B_{\Vert \cdot \Vert },\) we have \(\delta _{B_{\Vert \cdot \Vert }}\equiv \delta _{\Vert \cdot \Vert }\equiv \widetilde{\delta }_{B_{\Vert \cdot \Vert }}.\) However, the proof of (\(*\)) cannot be easily modified to get the equality in the general case. Roughly speaking, the difficulty consists in the fact that the distances are measured by the norm \(\Vert \cdot \Vert ,\) and the shape of its unit ball \(B_{\Vert \cdot \Vert }\) can be quite different from the shape of C.
A first partial answer to the question about the relation between \(\delta _C\) and \(\widetilde{\delta }_C\) was given in our paper [4] dedicated to extendability of uniformly continuous quasiconvex functions from uniformly convex bodies. Therein, we have given a simple proof that the two moduli generate the same notion of a uniformly convex body.
The main aim of the present paper is to provide a proof that, indeed, the two moduli \(\delta _C\) and \(\widetilde{\delta }_C\) always coincide. More precisely, we define four variants of modulus of convexity of C and then prove that they all coincide. This is done in Theorem 3.6.
Our secondary aim is to show that the reasoning in [1] (by Balashov and Repovš) can be modified to generalize their aforementioned boundedness result from uniformly convex bodies in Banach spaces to convex bodies whose modulus of convexity is not identically null, in normed spaces (see Theorem 4.5). As a simple corollary, we obtain a general upper estimate for \(\delta _C,\) depending only on the diameter of the convex body C.
Finally, let us remark that we formulate our results for (nontrivial) convex sets C that are not necessarily closed. This approach, which is only formally different, is due to our previous paper [4] where we dealt mostly with open convex sets.
2 Notation and preliminaries
By a normed space we mean a real normed linear space of dimension at least two. If not specified otherwise, X denotes such a space, \(B_X\) is its closed unit ball, \(S_X:=\partial B_X\) is its unit sphere, and \(X^*\) is its dual Banach space.
The closed segment with endpoints \(x,y\in X\) is denoted by [x, y], and we also define \([x,y):=[x,y]{\setminus }\{y\},\) \((x,y):=[x,y]{\setminus }\{x,y\}.\)
The distance of two sets \(B,C\subset X\) is defined as
with the usual convention that \(\inf \emptyset :=\infty .\) We also put \(d(x,B):=d(\{x\},B),\) \(x\in X.\) By \({\textrm{diam}}(B)\) we denote the diameter of B; by \({\textrm{span}}(B),\) \({\textrm{aff}}(B),\) and \({\textrm{conv}}(B)\) we mean the linear, affine, and convex hull of B, respectively.
Given a set E, a function \(f:E\rightarrow \mathbb {R},\) and \(\alpha \in \mathbb {R},\) we shall use a simplified notation like \([f>\alpha ]:=\{x\in E: f(x)>\alpha \},\) \([f=\alpha ]:=\{x\in E: f(x)=\alpha \},\) and similar.
For a convex set \(C\subset X,\) we shall use the following terminology. We shall say that:
-
C is nontrivial if C contains at least two points and \(C\ne X\);
-
C is strictly convex if \(\frac{x+y}{2}\in {\textrm{int}}\,C\) whenever \(x,y\in \partial C\) and \(x\ne y.\)
Observation 2.1
The following properties are easy observations.
-
(a)
C is nontrivial if and only if \({\textrm{card}}(C)>1\) and \(\partial {C}\ne \emptyset .\) Moreover, in this case \({\textrm{diam}}(C)={\textrm{diam}}(\partial C).\)
-
(b)
If C is nontrivial and \(\partial C\) contains no line, then \(\overline{C}\) contains no line either.
-
(c)
If C is nontrivial and strictly convex, then it has nonempty interior, and moreover, \(\frac{x+y}{2}\in {\textrm{int}}\,C\) whenever \(x,y\in \overline{C},\) \(x\ne y.\)
-
(d)
If C is nontrivial, then the distance-function \(d(\cdot ,\partial C)\) is concave on \(\overline{C}.\)
-
(e)
If C is nontrivial, then either \(\partial C\) is connected or \(\partial C\) consists of two parallel closed hyperplanes.
3 Four moduli of convexity, and their equality
Definition 3.1
(The four moduli of convexity). Let C be a nontrivial convex set in a normed space X. For any \(0\le \varepsilon <{\textrm{diam}}(C),\) let us define:
Each of these four functions is a kind of modulus of convexity of C.
Remark 3.2
As already remarked in the introduction, it is well known (see [7]) that the four moduli coincide for \(C:=B_X.\) Moreover, it is clear that we can restrict ourselves to the case of nontrivial convex sets which are closed.
The aim of the present section, and our main result, is to show that the four moduli coincide for each nontrivial convex set. Before proving the theorem, we need some preparation.
Observation 3.3
(First properties). Let \(C\subset X\) be a nontrivial convex set.
-
(a)
\(\widetilde{\delta }'_C(\varepsilon )=\widetilde{\delta }_C(\varepsilon ) \le \delta _C(\varepsilon )\le \delta '_C(\varepsilon )\le \varepsilon /2\) for each \(\varepsilon \in [0,{\textrm{diam}}(C)).\)
-
(b)
At \(\varepsilon =0,\) all four moduli are null and right-continuous.
-
(c)
\(\delta _C\) and \(\widetilde{\delta }_C\equiv \widetilde{\delta }'_C\) are nondecreasing on \([0,{\textrm{diam}}(C)).\)
-
(d)
If \(\partial C\) contains a segment of length \(0<\ell <{\textrm{diam}}(C),\) then \(\delta '_C(\varepsilon )=0\) for each \(\varepsilon \in [0,\ell ].\)
Proof
The equality in (a) follows easily: indeed, if \(x,y\in \overline{C}\) and \(\Vert x-y\Vert \ge \varepsilon ,\) then the segment [x, y] contains two points \(x',y'\) such that \(\Vert x'-y'\Vert =\varepsilon \) and \(\frac{x'+y'}{2}=\frac{x+y}{2}.\) To see the last inequality in (a), consider \(x,y\in \partial C\) with \(\Vert x-y\Vert =\varepsilon ,\) and observe that \(d(\frac{x+y}{2},\partial {C})\le \Vert \frac{x+y}{2}-y\Vert =\varepsilon /2.\) The rest of (a) is obvious. The remaining parts of the statement are quite easy. \(\square \)
The following lemma is a relative of [1, Lemma 2.2].
Lemma 3.4
Assume that X is a normed space, \(C\subset X\) is a closed, nontrivial convex set, and \(0<\varepsilon <{\textrm{diam}}(C).\) Let \(x,y\in \partial C\) and \(x^*,y^*\in S_{X^*}\) be such that \(\Vert x-y\Vert =\varepsilon ,\) \(x^*(x)=\max x^*(C),\) and \(y^*(y)=\max y^*(C).\) Then
Proof
For simplicity, denote \(\delta :=\delta '_C(\varepsilon ).\) Since \(\frac{x+y}{2}+\delta B_X\subset C,\) we have that \(x^*(\frac{x+y}{2})+\delta \le x^*(x)\) and \(y^*(\frac{x+y}{2})+\delta \le y^*(y).\) These two inequalities can be rewritten as \(x^*(x-y)\ge 2\delta \) and \(y^*(y-x)\ge 2\delta .\) Summing them up, we obtain \((x^*-y^*)(x-y)\ge 4\delta .\) Consequently, \(4\delta \le \Vert x^*-y^*\Vert \varepsilon ,\) and we are done. \(\square \)
Let us first prove the following two-dimensional boundedness result about the modulus \(\delta '_C.\)
Lemma 3.5
Let Y be a two-dimensional normed space, let \(D\subset Y\) be a closed, nontrivial convex set, and let \(0<\varepsilon <{\textrm{diam}}(D)\) be such that \(\delta '_D(\varepsilon )>0.\) Then D is bounded.
Proof
Proceeding by contradiction, let us assume that D is unbounded. Since D is finite-dimensional, it is well known that then D contains a closed half-line, say \(d+\mathbb {R}_+ v\) for some \(d\in D\) and \(v\ne 0\) (where \(\mathbb {R}_+:=[0,\infty )\)). We know that \(\partial D\) cannot contain line segments of length \(\varepsilon \) or more, hence it does not contain any half-line. Thus \(\partial D\) is an “unbounded simple curve” which is homeomorphic to the real line. Fix an arbitrary \(a\in \partial D\); it divides \(\partial D\) into two unbounded branches. Let \(\Gamma \) be one of these two branches and let \(a\in \Gamma .\) Fix an onto homeomorphism \(\varphi :\mathbb {R}_+\rightarrow \Gamma .\) By an elementary continuity argument, there exists an increasing sequence \(\{t_n\}_n\subset \mathbb {R}_+\) such that \(\Vert \varphi (t_{n+1})-\varphi (t_n)\Vert =\varepsilon \) for each n. For each n, choose some \(x^*_n\in S_{X^*}\) such that
Since \(x^*_n\) is upper bounded on D, we must have \(x^*_n(v)\le 0.\) Now, the closed half-sphere \(T:=\{y^*\in S_{Y^*}: y^*(v)\le 0\}\) is homeomorphic to [0, 1], and this homeomorphism generates a natural ordering on T. By convexity of D, it is clear that the sequence \(\{x^*_n\}_n\subset T\) is monotone in this ordering, and hence converging. But by Lemma 3.4, this sequence also satisfies \(\Vert x^*_{n+1}-x^*_n\Vert \ge \frac{4\delta }{\varepsilon },\) which is clearly impossible (since it would imply that T has infinite length). This contradiction completes the proof. \(\square \)
Now we are ready for our main result.
Theorem 3.6
Let C be a nontrivial convex set in a normed space X. Then
Proof
Assume that C is closed (Remark 3.2). By Observation 3.3(a),(b), it suffices to show that \(\delta '_C(\varepsilon )\le \widetilde{\delta }'_C(\varepsilon )\) whenever \(0< \varepsilon <{\textrm{diam}}\,C.\) This is obvious when either \(\delta '_C(\varepsilon )=0\) or \(\widetilde{\delta }'_C(\varepsilon )=\varepsilon /2.\) So let us assume that
Notice that the second condition implies that \(\partial C\) cannot contain line segments of length \(\varepsilon \) or greater.
Fix an arbitrary \(0<\eta <(\varepsilon /2) - \widetilde{\delta }'_C(\varepsilon ).\) There exist points \(x,y\in C\) such that \(\Vert x-y\Vert =\varepsilon \) and \(d(\frac{x+y}{2},\partial C)<\widetilde{\delta }'_C(\varepsilon ) + \eta .\) By Observation 2.1(d), we can shift the segment [x, y] along the line \({\textrm{aff}}\{x,y\}\) in one of the two directions till the boundary in such a way that the new segment \([\hat{x},\hat{y}]\) satisfies \(d(\frac{\hat{x}+\hat{y}}{2},\partial C) \le d(\frac{x+y}{2},\partial C).\) Hence we can (and do) assume that \(x\in \partial C.\) If also \(y\in \partial C,\) then we immediately get that \(\delta '_C(\varepsilon )\le \widetilde{\delta }'_C(\varepsilon ) + \eta \); so let us assume that \(y\in {\textrm{int}}\,C.\) By translation, we can also assume that \(\frac{x+y}{2}=0.\) There exists \(a\in \partial C\) such that \(\Vert a\Vert =\Vert a-\frac{x+y}{2}\Vert<\widetilde{\delta }'_C(\varepsilon )+\eta < \varepsilon /2.\) It is clear that a does not belong to \({\textrm{aff}}\{x,y\}={\textrm{span}}\{x\},\) and hence \(Y:={\textrm{span}}\{a,x\}\) is a two-dimensional subspace of X.
Now, let us consider the closed, nontrivial convex set \(D:=C\cap Y\) in the normed space Y. We claim that D is bounded. Indeed, otherwise we would have \(\varepsilon <\infty ={\textrm{diam}}(D)\) and \(\delta '_D(\varepsilon )\ge \delta '_C(\varepsilon )>0\) and this leads to a contradiction by Lemma 3.5. So, our claim is proved.
Notice that \(r:=d_Y(0,\partial D)\le \Vert a\Vert<\widetilde{\delta }'_C(\varepsilon )+\eta <\varepsilon /2.\) By compactness, there exists \(b\in \partial D\) such that \(\Vert b\Vert =r.\) Like a, the point b cannot belong to \({\textrm{span}}\{x\}.\) Fix some \(f\in Y^*{\setminus }\{0\}\) such that \(f(x)=0\) and \(f(b)>0,\) and denote \(s:=\max f(D).\) The set \(D\cap [f=s]\) is a (possibly degenerate) line segment contained in \(\partial D,\) and hence of length less than \(\varepsilon .\) On the other hand, the segment \(D\cap [f=0]=D\cap {\textrm{span}}\{x\}\) is of length greater than \(\varepsilon .\) By continuity, there exists \(\alpha \in (0,s)\) such that the segment \(D\cap [f=\alpha ]\) has length exactly \(\varepsilon .\) Let us denote its endpoints by \(x',y'\) so that \(x'-y'=x-y,\) and let \(z':=\frac{x'+y'}{2}.\) Since \(x'\notin {\textrm{span}}\{x\},\) there exists \(g\in Y^*{\setminus }\{0\}\) such that \(g(z')=0\) and \(g(x)=\beta >0.\) Notice that
The parallelogram
is contained in D and its vertices \(x',y'\) belong to \(\partial D.\) This implies that the set \([f>\alpha ]\cap [|g|>\beta ]\) is disjoint from D, and hence the set \(E:=[f\ge \alpha ]\cap [|g|\ge \beta ]\) is disjoint from \({\textrm{int}}\,D.\) We claim that the point \(b':= b+z'\) cannot belong to \({\textrm{int}}\,D.\)
Proceeding by contradiction, let \(b'\in {\textrm{int}}\,D.\) If \(|g(b')|<\beta ,\) then since \(g(b)=g(b'),\) there exists a unique \(v\in (x,y)\) such that \(b\in (v,b').\) But this is impossible since otherwise \(b\in {\textrm{int}}\,D.\) So we must have \(|g(b)|=|g(b')|\ge \beta .\) Then \(f(b')=f(b)+\alpha >\alpha \) which implies that \(b'\in E\) which is impossible.
So we have proved our claim that \(b'\notin {\textrm{int}}\,D.\) Since \(z'\in {\textrm{int}}\,D,\) the segment \([z',b']\) contains a point of \(\partial D.\) Therefore
Since we have \(\delta '_C(\varepsilon ) <\widetilde{\delta }'_C(\varepsilon ) + \eta \) for each sufficiently small \(\eta >0,\) we are done.
\(\square \)
Remark 3.7
Let us remark that the proof of Theorem 3.6 works also for the directional moduli of convexity (in which, roughly speaking, the points x, y are taken so that \(x-y\) is a multiple of a certain fixed \(v\ne 0\)).
4 A general boundedness result
Notation 4.1
As we have seen in the previous section, all four variants of moduli of convexity from Definition 3.1 coincide, and thus there is actually a unique modulus of convexity of a nontrivial convex set \(C\subset X.\) In what follows, we shall denote it by \(\delta _C.\)
Let us recall that a nontrivial convex set \(C\subset X\) is called uniformly convex if \(\delta _C(\varepsilon )>0\) for each \(\varepsilon \in (0,{\textrm{diam}}(C)).\) In [1, Theorem 2.1], Balashov and Repovš proved that every uniformly convex set C in a Banach space is bounded. In the present section, we show that the ideas from [1] can be modified to prove a more general result: if C is a nontrivial convex set in a normed space and \(\delta _C(\varepsilon )>0\) for some \(\varepsilon \in (0,{\textrm{diam}}(C)),\) then C is bounded. In this setting, an element of \(X^*\) which is bounded above on C does not necessarily attain its maximum over \(\overline{C},\) and this represents certain difficulty.
As already remarked, there is no loss of generality in assuming that C is closed. The following lemma is just a simple modification of [1, Lemma 2.1], and we give its proof for sake of completeness. It is well known for \(C=B_X\) (see [7, Lemma 1.e.8]).
Lemma 4.2
Let C be a nontrivial closed convex set in a normed space X. Then the function \(\varepsilon \mapsto \frac{{\delta }_C(\varepsilon )}{\varepsilon }\) is nondecreasing on \((0,{\textrm{diam}}(C)).\)
Proof
Let \(0<\varepsilon _1<\varepsilon _2<{\textrm{diam}}(C),\) and fix an arbitrary \(\eta >0.\) Let \(x,y\in C\) be such that \(\Vert x-y\Vert =\varepsilon _2\) and \(d(\frac{x+y}{2},\partial C)<{\delta }_C(\varepsilon _2)+\eta .\) There exists \(a\in \partial C\) with \(\Vert \frac{x+y}{2}-a\Vert <{\delta }_C(\varepsilon _2)+\eta .\) Then the points \(x':=(1-\frac{\varepsilon _1}{\varepsilon _2})a+\frac{\varepsilon _1}{\varepsilon _2}x\) and \(y':=(1-\frac{\varepsilon _1}{\varepsilon _2})a+\frac{\varepsilon _1}{\varepsilon _2}y\) belong to C and satisfy \(\Vert x'-y'\Vert =\varepsilon _1\) and \(\Vert \frac{x'+y'}{2}-a\Vert =\frac{\varepsilon _1}{\varepsilon _2}\Vert \frac{x+y}{2}-a\Vert .\) Thus \({\delta }_C(\varepsilon _1)\le \frac{\varepsilon _1}{\varepsilon _2}\Vert \frac{x+y}{2}-a\Vert <\frac{\varepsilon _1}{\varepsilon _2}[{\delta }_C(\varepsilon _2)+\eta ].\) By letting \(\eta \rightarrow 0^+,\) we conclude that \(\frac{{\delta }_C(\varepsilon _1)}{\varepsilon _1}\le \frac{{\delta }_C(\varepsilon _2)}{\varepsilon _2}.\) \(\square \)
For simplicity, let us introduce the following notation. Given a closed, nontrivial convex set \(C\subset X,\) we define
It is easy to see that \(\Omega (C)\) is a convex cone (with vertex at 0) which does not reduce to a single point. Moreover, the cone \(\Omega (C)\) is one-dimensional if and only if C is one of the following three types of sets: a half-space, a hyperplane, a strip between two parallel hyperplanes.
Also notice that if \(f\in \Omega (C)\) and \(\eta >0,\) then \(S_\eta (f,S)\) is a closed slice of C with nonempty interior relative to C. Furthermore, for \(f\in \Omega (C){\setminus }\{0\},\) \(S_0(f,C)\) is nonempty if and only if f attains its supremum over C.
The following lemma is a version of [1, Lemma 2.2] and Lemma 3.4 above, with approximate attaining instead of exact attaining.
Lemma 4.3
Let \(C\subset X\) be a nontrivial closed convex set. Let \(\eta \ge 0,\) \(f,g\in \Omega (C)\cap S_{X^*},\) \(x\in S_\eta (f,C),\) \(y\in S_\eta (g,C),\) and \(\eta <{\delta }_C(\Vert x-y\Vert ).\) Then
and hence \(\Vert f-g\Vert \ge \frac{4}{\Vert x-y\Vert }[{\delta }_C(\Vert x-y\Vert )-\eta ].\)
Proof
Since \(\delta :={\delta }_C(\Vert x-y\Vert )>0,\) C has nonempty interior and \(x\ne y.\) Since \(\frac{x+y}{2} + \delta B_X\subset C\) and f has norm one, we have \(f(\frac{x+y}{2})+\delta \le \sup f(C)\le f(x)+\eta ,\) from which it follows that \(f(x-y)\ge 2(\delta -\eta ).\) Symmetrically, \(g(y-x)\ge 2(\delta -\eta ).\) Now, (4) follows by summing up the last two inequalities. The rest is obvious.
\(\square \)
Corollary 4.4
Let \(C\subset X\) be a nontrivial closed convex set, and let \(0<\varepsilon <{\textrm{diam}}(C)\) be such that \({\delta }_C(\varepsilon )>0.\) Let \(f,g\in \Omega (C)\cap S_{X^*},\) \(\lambda \in (0,1),\) \(\eta :=\lambda {\delta }_C(\varepsilon ),\) \(x\in S_\eta (f,C),\) and \(y\in S_\eta (g,C).\) If \(\Vert f-g\Vert <4(1-\lambda ){\delta }_C(\varepsilon )/\varepsilon ,\) then \(\Vert x-y\Vert <\varepsilon .\)
Proof
Under the assumptions of the statement, assume that \(\Vert x-y\Vert \ge \varepsilon .\) Then \({\delta }_C(\Vert x-y\Vert )\ge {\delta }_C(\varepsilon )>\eta .\) Using Lemmas 4.2 and 4.3, we obtain \(\Vert f-g\Vert \ge \frac{4}{\Vert x-y\Vert }[{\delta }_C(\Vert x-y\Vert )-\lambda {\delta }_C(\varepsilon )]\ge \frac{4(1-\lambda ){\delta }_C(\Vert x-y\Vert )}{\Vert x-y\Vert }\ge \frac{4(1-\lambda ){\delta }_C(\varepsilon )}{\varepsilon },\) and we are done.
\(\square \)
As already mentioned in the introduction, the following Theorem 4.5 is obtained by an easy modification of the proof of [1, Theorem 2.1] by Balashov and Repovš.
Theorem 4.5
Let C be a nontrivial convex set in a normed space X, and let \(\varepsilon \in (0,{\textrm{diam}}(C))\) be such that \({\delta }_C(\varepsilon )>0.\) Then
where \([\cdot ]\) denotes the lower integer part. In particular, C is bounded.
Proof
By Remark 3.2, we can (and do) assume that C is closed. Consider arbitrary \(x,y\in \partial C\) such that \(\varepsilon \le \Vert x-y\Vert <{\textrm{diam}}(C).\) Our assumptions imply that C cannot contain any line and has nonempty interior. By the Hahn–Banach theorem, there exist \(f,g\in S_{X^*}\) such that \(x\in S_0(f,C)\) and \(y\in S_0(g,C).\) Then \(f\ne g\) by Lemma 4.3 applied with \(\eta =0.\)
Notice that the cone \(\Omega (C)\) has dimension at least two and contains f, g. Thus there exists a two-dimensional subspace \(Z\subset X^*\) containing f, g and such that the convex cone \(K:=Z\cap \Omega (C)\) is two-dimensional. The unit sphere \(S_Z\) of Z is a (symmetric) Jordan curve in Z containing f, g, and the length of \(S_Z\) is known to be at most 8 ([9, Theorem 4.2]; see also [6, Theorem 11.9]). Then it is clear that \(S_Z\cap K\) contains an arc \(\gamma \) with endpoints f, g and of length at most 4. Let \(\gamma \) be oriented from f to g.
Consider an integer \(N>\frac{\varepsilon }{{\delta }_C(\varepsilon )},\) and notice that \(N>\frac{\varepsilon }{\varepsilon /2}=2\) by Observation 3.3(a). Let \(\lambda \in (0,1)\) be such that \(N>\frac{\varepsilon }{(1-\lambda ){\delta }_C(\varepsilon )}.\) Let \(\{f_0,f_1,\ldots ,f_N\}\) be the partition of \(\gamma \) into N sub-arcs \(\gamma _i\) \((i=1,\ldots ,N)\) of equal length such that \(f_0:=f,\) \(f_N=g,\) and the indexing is increasing when moving along \(\gamma \) from f to g. Then, for each integer \(1\le i\le N,\) we have
Put \(\eta :=\lambda {\delta }_C(\varepsilon ),\) define \(x_0:=x\) and \(x_N:=y,\) and notice that \(x_i\in S_0(f_i,C)\subset {\textrm{int}}_C S_\eta (f_i,C)\) for \(i\in \{0,N\}.\) For each integer \(1\le i<N,\) choose some \(x_i\in {\textrm{int}}_C S_\eta (f_i,C),\) being careful to assure that \(\Vert x_i-x_{i-1}\Vert <{\textrm{diam}}(C)\) for all \(i=0,\ldots , N.\) (This is clearly possible.) By Corollary 4.4, we obtain
This shows that \({\textrm{diam}}(C)\le N\varepsilon \) for each integer \(N>\varepsilon /{\delta }_C(\varepsilon ).\) Since the smallest such integer is \(N=\bigl [\varepsilon /{\delta }_C(\varepsilon )\bigr ] +1,\) we are done. \(\square \)
Let us conclude with an easy corollary.
Corollary 4.6
Let C be a nontrivial convex set in a normed space. Then
which for an unbounded C is intended as \(\delta _C(\varepsilon )\equiv 0.\)
Proof
If C is unbounded, then \(\delta _C\equiv 0\) by Theorem 4.5. For \(\varepsilon =0\) or \(\delta _C(\varepsilon )=0,\) (5) is obvious. Let \(\varepsilon >0\) and \(\delta _C(\varepsilon )>0.\) By Theorem 4.5, \({\textrm{diam}}(C)\le \varepsilon \left( \frac{\varepsilon }{\delta _C(\varepsilon )}+1\right) ,\) which can be rewritten as \(\delta _C(\varepsilon )\le \frac{\varepsilon ^2}{{\textrm{diam}}(C)-\varepsilon }.\) Thus, taking into account that also \(\delta _C(\varepsilon )\le \varepsilon /2\) by Observation 3.3(a), we obtain
\(\square \)
Remark 4.7
-
(a)
Let us remark that one can obtain a finer estimate if the quantity \(\Delta _C:=\lim _{\varepsilon \rightarrow {\textrm{diam}}(C)^-}\delta _C(\varepsilon ) =\sup _{\varepsilon \in (0,{\textrm{diam}}(C))}\delta _C(\varepsilon )\) is known. By Lemma 4.2, \(\delta _C(\varepsilon )\le \frac{\varepsilon \Delta _C}{{\textrm{diam}}(C)}.\) Using this instead of \(\delta _C(\varepsilon )\le \varepsilon /2\) in the above proof, one obtains that \(\delta _C(\varepsilon )\le \frac{\Delta _C+{\textrm{diam}}(C)}{[{\textrm{diam}}(C)]^2}\varepsilon ^2.\) However, usefulness of this estimate is somewhat doubtful.
-
(b)
Let us also remark that Nordlander [8] proved that one always has \(\delta _{B_X}(\varepsilon )\le \delta _{B_H}(\varepsilon )=1-\sqrt{1-(\varepsilon ^2/4)}\) where \(B_H\) is the unit ball of any Hilbert space of dimension at least 2 (see also [2]). This easily implies that \(\delta _{B_X}(\varepsilon )\le \frac{1}{4} \varepsilon ^2=\frac{\varepsilon ^2}{2{\textrm{diam}}(B_X)}\) for each \(\varepsilon \in [0,2),\) and the constant \(\frac{1}{4}\) is the best possible. Thus our estimate from Corollary 4.6 is not the best possible for \(C=B_X.\)
References
Balashov, M.V., Repovš, D.: Uniform convexity and the splitting problem for selections. J. Math. Anal. Appl. 360, 307–316 (2009)
Benyamini, Y., Lindenstrauss, J.: Geometric Nonlinear Functional Analysis. Vol. 1. American Mathematical Society Colloquium Publications, 48. American Mathematical Society, Providence (2000)
Clarkson, J.A.: Uniformly convex spaces. Trans. Amer. Math. Soc. 40, 396–414 (1936)
De Bernardi, C.A., Veselý, L.: On extension of uniformly continuous quasiconvex functions. Proc. Amer. Math. Soc. 151, 1705–1716 (2023)
Enflo, P.: Banach spaces which can be given an equivalent uniformly convex norm. Israel J. Math. 13, 281–288 (1972)
Leichtweiß, K.: Konvexe Mengen. Springer, Berlin (1980)
Lindenstrauss, J., Tzafriri, L.: Classical Banach Spaces II. Function Spaces. II. Ergebnisse der Mathematik und ihrer Grenzgebiete, 97. Springer, Berlin-New York (1979)
Nordlander, G.: The modulus of convexity in normed linear spaces. Ark. Mat. 4, 15–17 (1960)
Scha̋ffer, J.J.: Inner diameter, perimeter, and girth of spheres. Math. Ann. 173, 59–79 (1967)
Acknowledgements
The research of the first author was partially supported by the GNAMPA (INdAM-Istituto Nazionale di Alta Matematica) Research Project 2024, and by the Ministry for Science and Innovation, Spanish State Research Agency (Spain), under project PID2020-112491GB-I00. The research of the second author was partially supported by the GNAMPA (INdAM-Istituto Nazionale di Alta Matematica) Research Project 2024, and by the University of Milan, Research Support Plan PSR 2022.
Funding
Open access funding provided by Università degli Studi di Milano within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
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/.
About this article
Cite this article
De Bernardi, C.A., Veselý, L. Moduli of uniform convexity for convex sets. Arch. Math. (2024). https://doi.org/10.1007/s00013-024-02031-8
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00013-024-02031-8