Convexity condition
In the mathematical theory of normalized spaces , certain classes of normalized spaces are defined by properties of the unit sphere . Here we consider convexity conditions that sharpen the convexity of the unit sphere. Its origins go back to the 1930s, here especially James A. Clarkson as well as Mark G. Kerin and Naum I. Achijeser should be mentioned for basic concept formation.
In addition, there are a number of smoothness conditions that investigate the differentiability properties of the standard . There is a close relationship between convexity conditions and smoothness conditions via the dual spaces .
Convexity Conditions
It is a standardized space. In formulas, the convexity means the unit sphere
- For every two vectors with and applies .
This does not rule out that in many cases equality also exists for different vectors and for , as is the case, for example, with a square as a unit sphere. By excluding this or setting even more stringent conditions, one arrives at the room classes presented below. For a simpler formulation, a standardized space is always included
- Unit sphere
- and unity sphere .
In order to rule out the trivial, do not be the null space . be the dual space with the dual space norm defined by .
Strictly convex spaces
If one wants to exclude the equality in the convexity formula as far as possible, i.e. to ensure that the unit sphere does not contain any lines, this leads to the following definition:
is called strictly convex if:
- Are different and is , so is .
Uniformly convex spaces
By controlling how well the inequality in the definition of strictly convex space is satisfied, one arrives at the following concept:
is called uniformly convex if:
- For each is .
Locally uniformly convex spaces
The condition in the definition of uniform convexity applies equally to all . By holding one vector and only building the infimum over the other, you get the following local version:
is called locally uniformly convex if:
- For each and every one is .
Weakly evenly convex spaces
In the definition of uniform convexity, the condition in the set over which the infimum is formed can be too weakened, where is, i.e. comes from the unit sphere of the dual space.
is called weakly uniformly convex if it holds
- For each and is .
Locally weakly evenly convex spaces
The condition in the definition of the weakly uniform convexity can again be weakened to a local version:
is called locally weakly uniformly convex if:
- For each , and is .
Locally evenly center-convex spaces
From the uniform convexity it follows that for two sequences and in , for which the norm of the sequence of the center points converges to 1, must hold. This condition can be weakened by the requirement that the sequence of the center points must actually converge to an element of the unit sphere:
is called locally uniformly center-point convex if:
- If and sequences converge in and , then we have .
Uniformly convex spaces in every direction
A further generalization arises when one can only infer if the differences all have the same direction.
is called uniformly convex in the direction if:
- Are and consequences in and converge and is for all , then applies .
is called uniformly convex in every direction or UCED space if is uniformly convex in direction for all .
Strongly convex spaces
In order to achieve, as in the tightening of convexity to strict convexity, that the unit sphere does not contain any segments, one can consider the intersections of the spheres with radius with a convex set and demand that the diameter of the non-empty intersections approaches 0 with decreasing radius.
is called strongly convex if:
- For every convex set we have for .
Weak * evenly convex spaces
The above weakening of the uniform convexity using the weak topology can be formulated on the dual space with the weak - * - topology :
The dual space is called weak * uniformly convex if:
- For each and is .
Overview
This diagram gives an overview of the relationships between the room classes, with the class of interior product rooms being the most special. An arrow from one class to the other means that every normalized space of the first class also belongs to the second. The reflexivity of a normalized space means that the completion is a reflexive space . Note that with the exception of reflexivity and, of course, the lowest property of being a normalized space, any of the properties can be lost in the transition to an equivalent norm . The following standard abbreviations, some of which go back to the corresponding English names, were used:
- UR: uniformly convex (uniformly rotund)
- LUR: locally uniformly convex (locally uniformly rotund)
- wUR: weakly uniformly convex (weakly uniformly rotund)
- MLUR: locally uniformly center convex (midpoint locally uniformly rotund)
- UCED: uniformly convex in each direction
- wLUR: weakly locally uniformly convex (weakly locally uniformly rotund)
- H: Radon-Riesz property (no English abbreviation)
Dual spaces
Many of the convexity conditions presented here correspond to smoothness conditions on the dual space. The relationships that apply here are summarized in the article on smoothness conditions .
Convexity module
For a normalized space the figure is called
the convexity module . This is a monotonically increasing function that has the value 0 in 0, even the mapping is monotonically increasing. This allows two spaces to be compared with regard to their convexity properties; one can call a room more convex than a room if for all .
A normalized space is uniformly convex if and only if for all .
Obviously, the following applies to the sequence space of the null sequences with the supreme norm
- for all ,
because for and everyone is
- and therefore
- .
For a Hilbert space it follows using the parallelogram equation
- for all
and it applies
- for all evenly convex spaces . In this sense, the Hilbert rooms are the most "convex" rooms.
literature
The textbook by Istratescu given below is specifically devoted to this topic and contains further generalizations and many examples. Unfortunately, this book has a lot of mistakes, even in definitions and sentence formulations, which makes it difficult to get started, and it is unnecessarily limited to Banach spaces. In this respect, the textbook by Robert E. Megginson, to which most of the individual proofs refer, is much better and somewhat more recent, and the proof is much more detailed. This is where the basis for the above overview comes from.
Individual evidence
- ↑ James A. Clarkson: Uniformly convex spaces , Transactions American Mathematical Society (1936), Volume 40, pages 396-414
- ↑ Naum I. Akhiezer, Mark. G. Kerin: О некоторых вопросах теории моментов (On some questions about moment theory), Charkow (1938), English translation in Translations of Mathematical Monographs, Volume 2, American Mathematical Society, Providence (1962)
- ^ Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3 , definition 5.1.1
- ^ Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3 , definition 5.2.1
- ^ Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3 , definition 5.3.2
- ^ Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3 , definition 5.3.8
- ^ Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3 , definition 5.3.13
- ^ Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3 , definition 5.3.25
- ↑ Vasile I. Istratescu: Strict Convexity and Complex Strict Convexity, Theory and Applications , Taylor & Francis Inc. (1983), ISBN 0-8247-1796-1 , Definition 2.6.9, the formulation chosen here is according to Theorem 2.6.33 (2) equivalent to this.
- ^ Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3 , definition 5.3.15
- ^ Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3 , definition 5.3.11
- ^ Joseph Diestel: Sequences and Series in Banach Spaces. 1984, ISBN 0-387-90859-5 , Chapter VIII, page 125
- ^ Vasile I. Istratescu: Strict Convexity and Complex Strict Convexity, Theory and Applications , Taylor & Francis Inc. (1983), ISBN 0-8247-1796-1 , definition 2.7.7
- ^ G. Nordlander: The modulus of convexity in normed spaces , Arkiv för Math. (1960), Volume 4, pages 15-17