User:Kiefer.Wolfowitz/Sandbox
Finitely representible BS
[edit]A translation from German, in progress:
In functional analysis, finitely representablility is a concept in the theory of of Banach spaces. The idea is to study a Banach space via its finite-dimensional subspaces.
Definition
[edit]A normed space is called finitely representable in a normed space , if for every finite-dimensional subspace and for every there exists a subspace and a linear isomorphism such that
These are calculated as the operator norm and with respect to the and -induced sub-space norms.
The space is finitely representable in if every finite-dimensional subspace of to a and in occurs. With the concept of Banach-Mazur distance, you put it that way so that at any finite-dimensional subspace finite-dimensional subspaces in .
subspaces of Banach spaces in these finally presentable. The property of finite presentable is transitive, which states: is finally presentable in and last presentable in , so is finally presentable in .
Examples
[edit]- The Lebesgue space of th integrable functions is finitely presentable in the spaces of th–summable sequences .
- the Lebesgue space is not finitely presentable in .
- The space of continuous functions is finitely presentable in the space of sequences that converge to zero and vice versa.
Dvoretzky theorem
[edit]After the Banach-Mazur theorem, every separable Banach space is isometrically isomorphic to a subspace of . Therefore, every Banach space is finally presentable in , which means that is a maximum of about finite presentable. Aryeh Dvoretzky proved that that Hilbert spaces are minimal with respect to finite presentability:
- Dvoretzky theorem: Every Hilbert space is in every infinite dimensional Banach space finally presentable.
The property, in every infinite dimensional Banach space to be presentable finally characterized the Hilbert spaces. In fact, if in any Banach space finally presentable, so in , and it is easy to show that in parallelogram must be applied; therefore is also a Hilbert space, by the characterization of inner-product spaces by the parallelogram law, which is due to Jordan and von Neumann.
Original formulation
[edit]From English article on Dvoretzky's theorem: Much clearer, imho:
For every and every there exists such that if is a Banach space of dimension
, there exist a subspace
of dimension and a positive quadratic form
on such that the corresponding
Euclidean norm
on satisfies:
Super-properties
[edit]Let P be a property that can have a Banach space. They say that a Banach space is finally presentable, also has the property P. If a Banach space has a super-property, then by the theorem of Dvoretzky have any Hilbert space this property.
Is a uniformly convex space and finally presentable in , so is uniformly convex. Uniform convexity is therefore a super-property, that is a uniformly convex space is already super-uniformly convex.
Super-reflexivity
[edit]Since uniformly convex spaces after the theorem of Milman is reflexive and as uniform convexity is a super-property, are uniformly convex spaces super-reflexive. Reflexivity itself is not a super-property, that is super-reflexivity and reflexivity are not equivalent. Super-reflexivity is characterized by the following theorem of Per Enflo
- A Banach space is super-reflexive if and only if there is a #equivalent|equivalent norm, which makes him a uniformly convex space.
Since uniformly convex spaces have] a theorem of Shizuo Kakutani The [[Banach-Saks property], it follows:
- Super-reflexive spaces have the Banach-Saks property.
Therefore, super-reflexivity implies the Super-Banach Saks property, which further implies:
- Super-reflexivity and the super-Banach-Saks property are equivalent.
Principle of local reflexivity
[edit]After a theorem of Joram Lindenstrauss and Haskell Rosenthal, the bidual of a Banach space is always finite presentable in . This so-calledprinciple of local reflexivitywill be strengthened to the following detailed statement:
- Let a Banach space, and are finite-dimensional subspaces and was . Then there is a injective, constant, linear operator with:
Literature
[edit]- Bernard Beauzamy:Introduction to Banach Spaces and their Geometry. 2nd Edition. North-Holland, Amsterdam etc. 1985, ISBN 0-444-87878-5.
- Joseph Diestel: Sequences and Seriesin Banach Spaces. Springer, New York etc. 1984, ISBN 0-387-90859-5.
given Per Enflo:Banach spaces which can be an equivalent uniformly convex norm. In:Israel Journal of Mathematics. Volume 13, 1972, p. 281-288.
- Joram Lindenstrauss, Haskell Paul Rosenthal:The L p </ sup>-spaces. In:Israel Journal of Mathematics. Volume 7, 1969, p. 325-349.