Abstract
The aim of the paper is to discuss and clarify some concepts of the geometric theory of normed spaces. We mainly intend to present recent results concerning the concept of smoothness of normed spaces in connection with the concepts of the strict and uniform convexity of those spaces.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The present paper has mostly the survey character and is dedicated to discuss some results concerning geometry of normed spaces. Let us pay attention to the fact that geometry of normed spaces deals mainly with geometric properties of balls in those spaces (cf. [15, 18, 21, 22, 28, 31]). Indeed, the geometry of the unit ball of a normed space seems to thoroughly reflect the most important geometric properties of the space in question.
It turns out that the basic concepts considered in the geometry of normed spaces are the concepts associated with the convexity and the smoothness of the unit ball of a normed space (see [15, 22, 31], for example). Those concepts are investigated, first of all, through the functions characterizing the mentioned properties of convexity and smoothness of normed spaces, known as moduli of convexity and moduli of smoothness [15, 22].
In the paper, we focus mainly on considerations connected with some moduli of smoothness.
Since the concept of uniform convexity introduced firstly by Clarkson [10] is investigated very broadly in several papers and monographs (see [21, 22] and references therein), in this paper we pay attention to the study of some moduli of smooothness which were introduced and investigated quite recently (cf. [3, 5]).
However, in our considerations we start with the discussion of the concepts of convexity and the modulus of convexity in normed spaces. Next, we are going to describe the concepts of smoothness and uniform smoothness of normed spaces and the classical modulus of smoothness associated with this concept of uniform smoothness. The classical modulus of smoothness was introduced by Day [13] and its properties were investigated also by Lindenstrauss [27]. In this paper we will investigate another modulus of smooothness defined in paper [3] (cf. also [5]) which seems to be connected naturally with the modulus of convexity. Apart from this, the modulus of smoothness defined in [3] has very useful properties and is very closely related to the classical Day’s modulus of convexity. Based on modulus of smoothness defined in [3] and the classical Day’s modulus of convexity we can introduce very useful and natural concept of the deformation of normed spaces.
The results of this survey paper are an outcome of results presented in papers [3, 5, 16, 19, 24, 30, 36]. It is worthwhile mentioning that the concept of the modulus of smoothness discussed in this paper was studied and applied in several papers and monographs (cf. [1,2,3,4,5,6,7, 11, 30, 37, 42, 43]).
2 Preliminaries
Throughout this paper, we consider a real normed space E with the norm \(||\cdot ||_{E}\) denoted also by \(||\cdot ||\) if it does not lead to misunderstanding. Further, the symbol \(E^{*}\) will stand for the dual space of E. The closed unit ball centered at \(\theta \) in the space E will be denoted by \(B_{E}\) while \(S_{E}\) denotes the unit sphere with the center \(\theta \).
We give now the definitions of basic concepts considered in the paper (cf. [22, 34]).
Definition 2.1
We say that a norm \(||\cdot ||\) in the linear space E is strictly convex, if for arbitrary vectors \(x,y\in E\) the following implication holds:
Let us quote the following theorem from [34] containing conditions equivalent to strict convexity.
Theorem 2.2
Let \(||\cdot ||\) be a norm in the linear space E. The following conditions are equivalent:
-
1.
The norm \(||\cdot ||\) is strictly convex.
-
2.
The unit sphere \(S_{E}\) does not contain a segment distinct from a point.
-
3.
If \(x,y\in E\) are such that \(||x+y||=||x||+||y||\), then \(x=\theta \) or \(y=\theta \) or \(y=tx\) for some \(t>0\).
Definition 2.3
We say that a norm \(||\cdot ||\) in the linear space E is uniformly convex, if the following condition is satisfied:
It can be shown that every uniformly convex norm is strictly convex (see [21]). To prove this fact let us take \(x,y\in E\) such that \(||x||\le 1\), \(||y||\le 1\) and \(x\ne y\). Put \(\varepsilon =||x-y||\). Obviously \(\varepsilon \in (0,2]\). In view of the assumption there exists \(\delta >0\) such that \(\frac{1}{2}||x+y||\le 1-\delta <1\). Hence \(||x+y||<2\). Thus the norm \(||\cdot ||\) is strictly convex.
Let us pay attention to the fact that the inverse implication is not valid i.e., a strictly convex norm in a linear space E is not necessarily uniformly convex.
Indeed (cf. [34]) consider the space \(c_{0}\) consisting of all real sequences converging to zero. Then the norm in the space \(c_{0}\) defined by the formula
is strictly convex in \(c_{0}\) but is not uniformly convex. An example of a norm which is similar to the norm given above can be found in [14] (see also [35]).
Now, we proceed to the concept of the smoothness. To this end assume that \(E\ne \left\{ \theta \right\} \) is a normed space with a norm \(||\cdot ||\). Let us recall that the Hahn–Banach theorem asserts that for every \(x\in E\) there exists a functional \(x^{*}\in E^{*}\) such that \(||x^{*}||=1\) and \(x^{*}(x)=||x||\). This implies that the set
is nonempty. Obviously if \(x\ne \theta \) then the set J(x) is closed and convex. The above observation leads us to the following definition.
Definition 2.4
We say that a norm \(||\cdot ||\) in the linear space E is smooth if for every \(x\in E\), \(x\ne \theta \), there exists a unique functional \(x^{*}\in E^{*}\) such that \(||x^{*}||=1\) and \(x^{*}(x)=||x||\).
If the norm \(||\cdot ||\) is smooth then in the light of above definition the set J(x) defined above is a singleton for any \(x\ne \theta \).
Observe that if the norm \(||\cdot ||\) in E is not smooth then there exists \(x\in S_{E}\) such that the set J(x) is not a singleton. Hence, taking into account that J(x) is a convex subset of the unit sphere \(S_{E^{*}}\), we deduce that \(S_{E^{*}}\) contains a segment. This means that \(E^{*}\) is not strictly convex.
The above remarks allow us to infer the following theorem [17].
Theorem 2.5
Let E be a Banach space with the norm \(||\cdot ||_{E}\). Then the following assertions hold.
-
1.
If the norm \(||\cdot ||_{E^{*}}\) in \(E^{*}\) is strictly convex then the norm \(||\cdot ||_{E}\) is smooth.
-
2.
If the norm \(||\cdot ||_{E^{*}}\) in \(E^{*}\) is smooth then the norm \(||\cdot ||_{E}\) is strictly convex.
We will not develop here the theory of the smoothness and further facts associated with this concept (cf. [21, 22, 34] for other facts). However, we provide now the basic facts connected with the concept of the uniform smoothness.
We will start with the following definitions [13] (cf. also [26]).
Definition 2.6
We say that a normed space E (with the norm \(||\cdot ||\)) is uniformly smooth if for each \(\varepsilon >0\) there exists \(\delta >0\) such that for \(x,y\in E\) such that \(||x||\ge 1\), \(||y||\ge 1\) and \(||x-y||\le \delta \) we have that \(||x||+||y||-||x+y||\le \varepsilon ||x-y||\).
Definition 2.7
A normed space E is referred to as uniformly smooth if for any \(\varepsilon >0\) there exists \(\delta >0\) such that \(||x||=1\), \(||y||\le \delta \) implies that \(||x+y||+||x-y||\le 2+\varepsilon ||y||\).
It can be shown that the above definitions are equivalent [26] and that every uniformly smooth space is smooth (see [8]).
For our further purposes let us notice that the assumptions \(||x||\ge 1\), \(||y||\ge 1\) in Definition 2.6 have no significance. Indeed, we may accept the following definition (cf. [3]).
Definition 2.8
A normed space E is called uniformly smooth if for each \(\varepsilon >0\) there exists \(\delta >0\) such that for \(x,y\in S_{E}\), \(||x-y||\le \delta \), the inequality
holds true.
We show that Definition 2.8 is equivalent to those given previously.
To this end notice that if E is uniformly smooth in the sense of Definition 2.6 then it is also uniformly smooth in the sense of Definition 2.8. Coversely, let us assume that E is uniformly smooth in the sense of Definition 2.8 but is not uniformly smooth in the sense of Definition 2.6. Then there exist a number \(\varepsilon _{0}>0\) and two sequences \((x_{n})\), \((y_{n})\) such that \(||x_{n}||\ge 1\), \(||y_{n}||\ge 1\), \(||x_{n}-y_{n}||\rightarrow 0\) as n tends to infinity. Moreover, we have
for \(n=1,2,\ldots \). Without loss of generality we may assume that \(||y_{n}||\le ||x_{n}||\) for \(n\in \mathbb {N}\).
Next, putting \(u_{n}=\frac{x_{n}}{||x_{n}||}\), \(v_{n}=\frac{y_{n}}{||y_{n}||}\) we have \(||u_{n}||=||v_{n}||=1\) and
Hence we infer that \(||u_{n}-v_{n}||\rightarrow 0\) as \(n\rightarrow \infty \). Additionally, we obtain
for \(n=1,2,\ldots \). Now, let us observe that in view of (2.2) we get
The above estimate in combination with (2.3) implies
for \(n=1,2,\ldots \). But this inequality contradicts to our assumption and the proof is complete. \(\square \)
3 Modulus of convexity
In this section we provide in short the basic facts concerning the concept of the modulus of convexity. This concept is related to the concept of a uniformly convex norm presented in Definition 2.3 and was introduced by Day [13].
Definition 3.1
Let E be a normed space with the norm \(||\cdot ||\). The function \(\delta _{E}:[0,2]\rightarrow [0,1]\) defined by the formula
is called the modulus of convexity of the space E (or of the norm \(||\cdot ||_{E}\)).
It can be shown that this modulus can be defined equivalently in the form
Let us recall some properties of the modulus \(\delta _{E}\) [2, 22, 31]. First of all let us recall that the function \(\delta _{E}\) is nondecreasing on the interval [0, 2]. Moreover, it can be shown that the function \(\delta _{E}\) is continuous on the interval [0, 2) and may be discontinuous at the point \(\varepsilon =2\) only.
In order to present further properties of the modulus \(\delta _{E}\) let us remind that the number \(\varepsilon _{0}(E)\) defined as
is called the characteristic of convexity of a space E. We have that E is uniformly convex if and only if \(\varepsilon _{0}(E)=0\) [22]. Moreover, we can also prove that the function \(\delta _{E}\) is increasing on the interval \([\varepsilon _{0}(E),2]\) (cf. [22]).
In what follows let us observe that if F is a subspace of E then \(\delta _{E}(\varepsilon )\le \delta _{F}(\varepsilon )\) for \(\varepsilon \in [0,2]\). This observation leads to the following equality
This shows that the modulus of convexity has a two-dimensional character.
Further, let us notice that in the case of an unitary space H with the norm generated by a scalar product, using the parallelogram law it is easily seen that
for \(\varepsilon \in [0,2]\). It is an interesting fact (cf. [33]) that the modulus of convexity of an unitary space majorizes the modulus of convexity of an arbitrary normed space i.e., for any normed space E we have
for \(\varepsilon \in [0,2]\).
Finally, we quote a theorem showing the relation between the characteristic of convexity of a normed space E and the limit \(\lim \nolimits _{\varepsilon \rightarrow 2^{-}}\delta _{E}(\varepsilon )\). Indeed, we have the following theorem [22].
Theorem 3.2
For any normed space E we have
Proof
The case \(\varepsilon _{0}(E)=2\) is obvious. Thus, assume that \(\varepsilon _{0}(E)<2\). Fix \(\varepsilon \in [\varepsilon _{0}(E),2).\) Then, for any \(t\in (0,1-\delta _{E}(\varepsilon ))\) we can choose \(x,y\in B_{E}\) such that \(||x-y||=\varepsilon \) and
Then we have
Using the continuity of \(\delta _{E}\) passing with \(t \rightarrow 0\) and then \(\varepsilon \rightarrow 2^{-}\) we have
Hence we get that
The reverse inequality follows when we take \(t\rightarrow 0\) and \(\varepsilon \rightarrow \varepsilon _{0}(E)\). The proof is complete. \(\square \)
Some other properties of the modulus of convexity and some related constants as well as formulas expressing the mentioned modulus and constants in some normed spaces can be found in the papers ([2, 25, 32, 39,40,41], for example).
4 Moduli of smoothness
Through this section we will assume that E is a real linear space with the norm \(||\cdot ||_{E}=||\cdot ||\). For simplicity we will say that E is a normed space with the norm \(||\cdot ||\).
Let us notice that based on Definition 2.7 Day [13] defined the so-called modulus of smoothness of a normed space E in the following way
for \(\varepsilon \in [0,1]\). The function \(\rho \) has several properties [27]. For example, it is continuous and convex on the interval [0, 1] and \(\sqrt{1+\varepsilon ^{2}} -1\le \rho (\varepsilon )\le \varepsilon \) for \(\varepsilon \in [0,1]\). Moreover, it is easily seen that the space E is uniformly smooth if and only if \(\lim \nolimits _{\varepsilon \rightarrow 0}\frac{\rho (\varepsilon )}{\varepsilon }=0.\)
In what follows, in view of Definition 2.8, we may define other modulus of smoothness of a space E with help of the following formula (cf. [3])
for \(\varepsilon \in [0,2]\). Obviously we have (in the light of Definition 2.8) that a space E is uniformly smooth if and only if \(\lim \nolimits _{\varepsilon \rightarrow 0} \frac{\overline{\rho }_{E}(\varepsilon )}{\varepsilon }=0.\)
Further, let us observe that the function \(\overline{\rho }_{E}\) is nondecreasing on the interval [0, 2]. Later we show that \(\overline{\rho }_{E}\) is increasing on [0, 2].
Moreover, we have the following result [3].
Lemma 4.1
For any \(\varepsilon \in [0,2]\) the following inequality holds
Proof
We have the following estimates
The proof is complete. \(\square \)
Let us notice that in the case of the Banach space C([a, b]) with the standard maximum norm it is easily seen that \(\overline{\rho }(\varepsilon )=\frac{\varepsilon }{2}\). This shows that the estimate from Lemma 4.1 is exact.
Further, let us observe that in the case of an unitary space H with the norm \(||\cdot ||\) generated by the scalar product of H, using the parallelogram identity it is easy to prove that
where \(\delta _{H}(\varepsilon )\) is the modulus of convexity of the unitary space H (cf. formula (3.1)).
On the other hand, using the same argumentation as in paper [33] we can show that for any normed space E the following estimate holds
for any \(\varepsilon \in [0,2].\)
Thus, linking (4.2), (4.3) and Lemma 4.1 we obtain
for every normed space E.
In what follows we recall a few facts associated with the geometry of two-dimensional normed space [23]. To this end assume that x, y are linearly independent elements of the normed space E. The set \(L=L(x,y)\) defined as
is called two-dimensional half-plane (in the space E). In this situation the vector x is said to be diametral point of the half-plane L.
Theorem 4.2
Let \(\mathcal {L}\) denote the family of all two-dimensional half-planes in E. Then
Next, we recall also the following lemma [4] (cf. also [23]).
Lemma 4.3
Let \(\varepsilon _{1}, \varepsilon _{2}\) be fixed positive numbers such that \(\varepsilon _{1}<\varepsilon _{2}<2.\) Next, assume that \(y_{1}, y_{2}\) are linearly independent vectors of \(S_{E}\) such that \(||y_{1}-y_{2}||=\varepsilon _{2}\). Then, there exist vectors \(z_{1},z_{2}\in S_{E}\) belonging to the half-plane \(L(y_{1},y_{2})\) such that \(||z_{1}-z_{2}||=\varepsilon _{1}\) and
Now, we are prepared to formulate the result on the continuity of the modulus of smoothness \(\overline{\rho }_{E}.\)
Theorem 4.4
[4] The modulus of smoothness \(\overline{\rho }_{E} =\overline{\rho }_{E}(\varepsilon )\) is continuous on the interval [0, 2].
Proof
Assume that \(\varepsilon _{1}, \varepsilon _{2}\) are arbitrarily fixed and \(0<\varepsilon _{1}<\varepsilon _{2}<2\). Further, choose \(\eta >0\) sufficiently small. Based on Theorem 4.2 we can find \(x,y\in S_{E}\) such that \(||x-y||=\varepsilon _{2}\) and
Next, in view of Lemma 4.3, we can select two points \(x_{1},y_{1}\) in the half-plane L(x, y) such that \(x_{1},y_{1}\in S_{E}\), \(||x_{1}-y_{1}||=\varepsilon _{1}\) and
Hence, we obtain
or, equivalently
Now, taking into account Theorem 4.2 we derive the following estimate
The arbitrariness of the number \(\eta \) implies
Hence we conclude that the function \(\overline{\rho }_{E}(\varepsilon )\) is continuous on the interval (0, 2). The continuity of the function \(\overline{\rho }_{E}(\varepsilon )\) at the points \(\varepsilon =0\) and \(\varepsilon =2\) is a simple consequence of inequalities (4.4). The proof is complete. \(\square \)
Now, we are going to prove that the modulus of smoothness \(\overline{\rho }_{E}\) is a convex function on the interval [0, 2]. The proof of this fact given in [7] is not complete.
At the beginning let us fix \(u,v\in E\) such that \(u\ne \theta , v\ne \theta \) and denote by N(u, v) the set of all pairs (x, y) such that \(x,y\in B_{E}\) and \(x-y=au\), \(x+y=bv\) for some \(a,b\ge 0\). Next, consider the function
Similarly as in the case of two-dimensional half-planes we can prove the following theorem.
Theorem 4.5
Let \(\mathcal {N}\) denote the family of all sets N(u, v) in the space E. Then
In what follows assume that u, v are two fixed nonzero vectors in the space E and consider the function \(\overline{\rho }_{E}(u,v,\varepsilon )\) defined by (4.5) for \(\varepsilon \in [0,2]\). Let \((x_{1},y_{1}), (x_{2},y_{2})\in N(u,v)\) i. e., \(x_{1}-y_{1}=a_{1}u\), \(x_{1}+y_{1}=b_{1}v\), \(x_{2}-y_{2}=a_{2}u\), \(x_{2}+y_{2}=b_{2}v\) for some nonnegative numbers \(a_{1}, a_{2}, b_{1}, b_{2}\). Moreover, we assume that \(||x_{1}-y_{1}||\le \varepsilon _{1}\), \(||x_{2}-y_{2}||\le \varepsilon _{2}\), where \(\varepsilon _{1}>0, \varepsilon _{2}>0\). Put \(x_{3}=\frac{1}{2}(x_{1}+x_{2})\), \(y_{3}=\frac{1}{2}(y_{1}+y_{2})\). Then we have
This shows that \((x_{3},y_{3})\in N(u,v)\).
Further, we obtain
and
Now, taking the supremum over the right hand side and using the definition of the function \(\overline{\rho }_{E}(u,v,\varepsilon )\), we get
This shows that the function \(\varepsilon \mapsto \overline{\rho }_{E}(u,v,\varepsilon )\) is J-convex. Hence, in view of Theorem 4.5 we conclude that the function \(\overline{\rho }_{E}(\varepsilon )\) is J-convex, i.e., we have
for \(\varepsilon _{1},\varepsilon _{2}\in [0,2]\).
Remark 4.6
Assume that I is an interval, \(I\subset \mathbb {R}\). Let us recall that a function \(f:I\rightarrow \mathbb {R}\) is called J-convex on the interval I, if for arbitrary \(t,s\in I\) the following inequality holds
Moreover, the function f is said to be convex on the interval I if for \(t,s\in I\) and for any \(\alpha \in (0,1)\) the following inequality is satisfied
It is known that if f is J-convex on I then it satisfies inequality (4.9) for \(\alpha \) belonging to a dense subset of the interval (0, 1) and any convex function on an open interval I is continuous on I. Moreover, there exist functions being J-convex but not convex.
On the other hand we have the following results due to Bernstein and Doetsch [9] and Sierpiński [38].
Theorem 4.7
Assume that I is an open interval and \(f: I\rightarrow \mathbb {R}\) is a function J-convex on I. If f is bounded from above on the interval I then f is convex on I.
Theorem 4.8
Let I be an open interval and let \(f: I\rightarrow \mathbb {R}\) be a J-convex and measurable function on I. Then f is convex on I.
Corollary 4.9
Assume that I is an open interval and \(f: I\rightarrow \mathbb {R}\) is J-convex and nondecreasing on I. Then the function f is convex on I.
Now, let us return to the considerations of the modulus of smoothness \(\overline{\rho }_{E}\) defined by (4.1) on the interval [0, 2]. In view of the fact that that \(\overline{\rho }_{E}\) is nondecreasing on the interval [0, 2] and taking into account that \(\overline{\rho }_{E}\) is J-convex on [0, 2] (cf. (4.7)), on the basis of Corollary 4.9 we deduce that the modulus \(\overline{\rho }_{E}\) is convex on the interval (0, 2). Hence, in view of Remark 4.6 we conclude that the function \(\overline{\rho }_{E}(\varepsilon )\) is continuous on the interval (0, 2). Continuity of the function \(\overline{\rho }_{E}(\varepsilon )\) at points \(\varepsilon =0\) and \(\varepsilon =2\) follows easily from inequalities (4.4).
Moreover, keeping in mind that \(\overline{\rho }_{E}\) is nondecreasing and convex on the interval [0, 2], in view of (4.4) we infer that \(\overline{\rho }_{E}\) is increasing on the interval [0, 2].
Gathering all above established facts we obtain another proof of Theorem 4.4. More precisely, we obtain the proof of the following theorem.
Theorem 4.10
The modulus of smoothness \(\overline{\rho }_{E} =\overline{\rho }_{E}(\varepsilon )\) is convex, increasing and continuous on the interval [0, 2].
Remark 4.11
Analogous considerations to those leading to estimate (4.6) and inequality (4.7) but with inequalities \(||x_{1}-y_{1}||\le \varepsilon _{1}\), \(||x_{2}-y_{2}||\le \varepsilon _{2}\) replaced by \(||x_{1}-y_{1}||\ge \varepsilon _{1}\), \(||x_{2}-y_{2}||\ge \varepsilon _{2}\) were conducted also in paper [20] (cf. also [7]). Namely, in the mentioned paper the author used incorrectly the “inequality” asserting that the infimum of the sum of two functions is less or equal than the sum of infimum of those functions. From that “reasoning” the author of [20] concluded that the modulus of convexity is a convex function on the interval [0, 2]. But such a conclusion is not valid, in general (cf. [29]).
5 Deformation of normed spaces
This final and short section is devoted to introduce a concept joining the concepts of convexity and smoothness of a normed space. Thus, assume that E is a normed space with a norm \(||\cdot ||=||\cdot ||_{E}\). Let \(\delta _{E}, \overline{\rho }_{E}\) denote the modulus of convexity (cf. Definition 3.1) and the modulus of smoothness defined by (4.1) of the space E, respectively. Then, in view of estimates (3.2) and (4.4) we have that
for each \(\varepsilon \in [0,2]\).
Based on inequality (5.1) we can define the concept of the modulus of deformation of the normed space E [4].
Definition 5.1
The function \(d_{E}:[0,2]\rightarrow [0,1]\) defined in the following way
will be called the modulus of deformation of the space E.
Let us notice that in view of inequalities (4.4), (3.2) and the obvious inequality \(\delta _{E}(\varepsilon )\ge 0\) for \(\varepsilon \in [0,2]\), we deduce that
for each \(\varepsilon \in [0,2]\). Thus, the values of the modulus of deformation \(d_{E}\) are really located in the interval [0, 1].
Based on (5.2) we can introduce the concept of the deformation of the space E as a number \(D_{E}\) defined as
(cf. [7]).
For example, if we take \(E=H\), where H denotes a Hilbert space, then in view of (3.1) and (4.2) we have that \(d_{H}(\varepsilon )=0\) for \(\varepsilon \in [0,2]\). Thus \(D_{H}=0\) and this fact can be interpreted that the Hilbert space has the smallest deformation among all normed spaces.
On the other hand taking the classical space \(C=C([a,b])\) (with the maximum norm) we have that \(\overline{\rho }_{C}(\varepsilon ) =\frac{\varepsilon }{2}\) and \(\delta _{C}(\varepsilon )=0\) for \(\varepsilon \in [0,2]\). Thus \(d_{C}(\varepsilon ) =\frac{\varepsilon }{2}\) for \(\varepsilon \in [0,2]\) and \(D_{C}=1\). Thus the space C has the possible biggest deformation in the class of normed spaces.
We will not discuss other facts concerning both the concept of the modulus of deformation and the deformation of normed spaces. Our knowledge about mentioned concept is not large, unfortunately (cf. [4, 7], for example). At present stage the properties of \(d_{E}(\varepsilon )\) and \(D_{E}\) create the challenge for investigators.
Data availability
The authors declare that the data supporting the findings of this study are available within the paper and its supplementary information files.
References
Ahmad, A., Fu, Y., Li, Y.: Some properties concerning the \(J_{L}(X)\) and \(Y_{J}(X)\) which related to some special inscribed triangles of unit ball. Symmetry 13, 1285 (2021)
Alonso, J., Ullan, A.: Moduli in normed linear spaces and characterization of inner product spaces. Arch. Math. 50, 487–495 (1992)
Banaś, J.: On modulus of smoothness of Banach spaces. Bull. Pol. Acad. Sci. Math. 34, 287–293 (1986)
Banaś, J., Frączek, K.: Deformation of Banach spaces. Comment. Math. Univ. Carolinae 34, 47–53 (1993)
Banaś, J., Rzepka, B.: Functions related to convexity and smoothness of normed spaces. Rend. Circ. Mat. Palermo 46, 395–424 (1997)
Banaś, J., Hajnosz, A., Wędrychowiczz, S.: On convexity and smoothness of Banach spaces. Comment. Math. Univ. Carolinae 31, 445–452 (1990)
Baronti, M., Papini, P.L.: Convexity, smoothness and moduli. Nonlinear Anal. 70, 2457–2465 (2009)
Beauzamy, B.: Introduction to Banach Spaces and Their Geometry, Notas de Matemática 86, Mathematics Studies, vol. 68. North-Holland, Amsterdam (1982)
Bernstein, F., Doetsch, G.: Zur Theorie der konvexen Funktionen. Math. Ann. 76, 514–526 (1915)
Clarkson, J.: Uniformly convex spaces. Trans. Am. Math. Soc. 40, 396–414 (1936)
Cui, H., Zhang, Y.: A note on the Banaś modulus of smoothness in the Bynum space. Appl. Math. Lett. 23, 299–301 (2010)
Daneš, J.: On Densifying and Related Mappings and Their Applications in Nonlinear Functional Analysis, Theory of Nonlinear Operators, pp. 15–56. Akademie Verlag, Berlin (1974)
Day, M.M.: Uniform convexity in factor and conjugate spaces. Ann. Math. 45, 375–385 (1944)
Day, M.M.: Strict convexity and smoothness of normed spaces. Trans. Am. Math. Soc. 78, 516–528 (1955)
Day, M.M.: Normed Linear Spaces. Springer, Berlin (1973)
Du, D., Ahmad, A., Din, A., Li, Y.: Some moduli of angles in Banach spaces. Mathematics 10, 2965 (2022)
Dunford, N., Schwartz, J.T.: Linear Operators I. Int. Publ., Leyden (1963)
Figiel, T.: On moduli of convexity and smoothness. Stud. Math. 56, 121–155 (1976)
Gao, J.: Normal structure and some parameters in Banach spaces. Nonlinear Funct. Anal. Appl. 10, 299–310 (2005)
Goebel, K.: Convexity of balls and fixed point theorems for mappings with nonexpansive square. Compos. Math. 22, 269–274 (1970)
Goebel, K., Kirk, W.A.: Topics in Metric Fixed Point Theory. Cambridge Univeristy Press, Cambridge (1990)
Goebel, K., Prus, S.: Elements of Geometry of Balls in Banach Spaces. Oxford University Press, Oxford (2018)
Gurarii, V.I.: On the differentiability properties of the moduli of rotundity of Banach spaces. Mat. Issled. 2, 141–148 (1967)
Ivanov, G., Martini, H.: New moduli for Banach spaces. Ann. Funct. Anal. 8, 350–365 (2017)
Jang, C., Li, H.: Generalized von Neumann–Jordan constant for the Banaś–Frączek space. Colloq. Math. 154, 149–156 (2018)
Köthe, G.: Topological Vector Spaces I. Springer, Berlin (1969)
Lindenstrauss, J.: On the modulus of smoothness and divergent series in Banach spaces. Mich. Math. J. 10, 241–252 (1963)
Lindenstrauss, J., Tzafriri, L.: Classical Banach Spaces. Springer, Berlin (1973)
Liokoumovich, V.I.: The existence of \(B\)-spaces with nonconvex modulus of convexity (in Russian). Izv. Vyss. Uchebn. Zaved. Math. 12, 43–49 (1973)
Llorens Fuster, E.: Some moduli and constants related to metric fixed point theory. In: Kirk, W.A., et al. (ed.), Handbook of Metric Fixed Point Theory, pp. 133–175. Kluwer Academic Publishers, Dordrecht (2001)
Milman, V.D.: The geometric theory of Banach spaces, part II. Usp. Mat. Nauk 26, 73–149 (1971)
Mitani, K.I., Saito, K.S., Takahashi, Y.: On the von Neumann–Jordan constant of generalized Banaś–Frączek spaces. Linear Nonlinear Anal. 2, 311–316 (2016)
Nordlander, G.: The modulus of convexity in normed linear spaces. Ark. Math. 4, 15–17 (1960)
Prus, S., Stachura, A.: Functional Analysis in Exercises (in Polish). Wydawnictwo Naukowe PWN, Warszawa (2007)
Rainwater, J.: Local uniform convexity of Days norm on \(c_{0}(\Gamma )\). Proc. Am. Math. Soc. 22, 335–339 (1969)
Saejung, S., Gao, J.: On Banaś–Hajnosz–Wędrychowicz type modulus of convexity and fixed point property. Nonlinear Funct. Anal. Appl. 21, 717–725 (2016)
Sain, D., Ghosh, S., Paul, K.: On isosceles orthogonality and some geometric constants in a normed space. Aequ. Math. 97, 147–160 (2023)
Sierpiński, W.: Sur les fonctions convexes mesurables. Fund. Math. 1, 125–128 (1920)
Ullan, A.: Moduli of Convexity and Smoothness in Normed Spaces (in Spanish). Ph. D. Thesis, Extremadura University, Badajoz (1990)
Yang, C.: Jordan–von Neumann constant for Banaś–Frączek space. Banach J. Math. Anal. 8, 185–192 (2014)
Yang, C., Yang, X.: On the James type constant and von Neumann–Jordan constant for a class of Banaś–Frączek type spaces. J. Math. Inequal. 10, 551–558 (2016)
Zuo, Z.F.: Banaś–Hajnosz–Wędrychowicz type modulus of convexity and normal structure in Banach spaces. J. Fixed Point Theory Appl. 20(58), 139 (2018)
Zuo, Z., Cui, Y.: Some modulus and normal structure in Banach space. J. Inequal. Appl. 2009, 676373 (2009). (15 pages)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Constantin Niculescu.
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
Banaś, J., Ochab, J. & Zając, T. On the smoothness of normed spaces. Ann. Funct. Anal. 15, 9 (2024). https://doi.org/10.1007/s43034-023-00310-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s43034-023-00310-z
Keywords
- Normed space
- Strict convexity
- Uniform convexity
- Smoothnes
- Uniform smoothness
- Modulus of convexity
- Modulus of smoothness