Double-dual n-types over Banach spaces not containing ℓ1
Let E be a Banach space. The concept of n-type overE is introduced here, generalizing the concept of type overE introduced by Krivine and Maurey. Let E″ be the second dual of E and fix g″1,…g″n∈E″. The function τ:E×ℝn→ℝ, defined by letting τ(x,a1,…,an)=‖x+∑i=1naig″i‖ for all x∈E and all a1,…,an∈ℝ, d...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2004-01-01
|
| Series: | International Journal of Mathematics and Mathematical Sciences |
| Online Access: | http://dx.doi.org/10.1155/S0161171204211152 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832558300243165184 |
|---|---|
| author | Markus Pomper |
| author_facet | Markus Pomper |
| author_sort | Markus Pomper |
| collection | DOAJ |
| description | Let E be a Banach space. The concept of n-type overE is introduced here, generalizing the concept of type overE introduced by Krivine and Maurey. Let E″ be the second dual of E and fix g″1,…g″n∈E″. The function τ:E×ℝn→ℝ, defined by letting τ(x,a1,…,an)=‖x+∑i=1naig″i‖ for all x∈E and all a1,…,an∈ℝ, defines an n-type over E. Types that can be represented in this way are called double-dual n-types; we say that (g″1,…g″n)∈(E″)n realizes τ. Let E be a (not necessarily separable) Banach space that does not contain ℓ1. We study the set of elements of (E″)n that realize a given double-dual n-type over E. We show that the set of realizations of this n-type is convex. This generalizes a result of Haydon and Maurey who showed that the set of realizations of a given 1-type over a separable Banach space E is convex. The proof makes use of Henson's language for normed space structures and uses ideas from mathematical logic, most notably the Löwenheim-Skolem theorem. |
| format | Article |
| id | doaj-art-27b258adec7f491d8d67c1ce17e53f3f |
| institution | Kabale University |
| issn | 0161-1712 1687-0425 |
| language | English |
| publishDate | 2004-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | International Journal of Mathematics and Mathematical Sciences |
| spelling | doaj-art-27b258adec7f491d8d67c1ce17e53f3f2025-02-03T01:32:41ZengWileyInternational Journal of Mathematics and Mathematical Sciences0161-17121687-04252004-01-012004331747175510.1155/S0161171204211152Double-dual n-types over Banach spaces not containing ℓ1Markus Pomper0Division of Natural Science and Mathematics, Indiana University East, Richmond 47358, IN, USALet E be a Banach space. The concept of n-type overE is introduced here, generalizing the concept of type overE introduced by Krivine and Maurey. Let E″ be the second dual of E and fix g″1,…g″n∈E″. The function τ:E×ℝn→ℝ, defined by letting τ(x,a1,…,an)=‖x+∑i=1naig″i‖ for all x∈E and all a1,…,an∈ℝ, defines an n-type over E. Types that can be represented in this way are called double-dual n-types; we say that (g″1,…g″n)∈(E″)n realizes τ. Let E be a (not necessarily separable) Banach space that does not contain ℓ1. We study the set of elements of (E″)n that realize a given double-dual n-type over E. We show that the set of realizations of this n-type is convex. This generalizes a result of Haydon and Maurey who showed that the set of realizations of a given 1-type over a separable Banach space E is convex. The proof makes use of Henson's language for normed space structures and uses ideas from mathematical logic, most notably the Löwenheim-Skolem theorem.http://dx.doi.org/10.1155/S0161171204211152 |
| spellingShingle | Markus Pomper Double-dual n-types over Banach spaces not containing ℓ1 International Journal of Mathematics and Mathematical Sciences |
| title | Double-dual n-types over Banach spaces not containing ℓ1 |
| title_full | Double-dual n-types over Banach spaces not containing ℓ1 |
| title_fullStr | Double-dual n-types over Banach spaces not containing ℓ1 |
| title_full_unstemmed | Double-dual n-types over Banach spaces not containing ℓ1 |
| title_short | Double-dual n-types over Banach spaces not containing ℓ1 |
| title_sort | double dual n types over banach spaces not containing l1 |
| url | http://dx.doi.org/10.1155/S0161171204211152 |
| work_keys_str_mv | AT markuspomper doubledualntypesoverbanachspacesnotcontainingl1 |