Abstract and Applied Analysis
VolumeΒ 2009Β (2009), Article IDΒ 780287, 6 pages
doi:10.1155/2009/780287
Research Article

The Tsirelson Space 𝒯 ( 𝑝 ) Has a Unique Unconditional Basis up to Permutation for 0 < 𝑝 < 1

F. AlbiacΒ and C. Leránoz

Departamento de Matemáticas, Universidad Pública de Navarra, Pamplona 31006, Spain

Received 16 July 2009; Accepted 3 December 2009

Academic Editor: SimeonΒ Reich

Copyright Β© 2009 F. Albiac and C. Leránoz. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

We show that the 𝑝 -convexified Tsirelson space 𝒯 ( 𝑝 ) for 0 < 𝑝 < 1 and all its complemented subspaces with unconditional basis have unique unconditional basis up to permutation. The techniques involved in the proof are different from the methods that have been used in all the other uniqueness results in the nonlocally convex setting.

1. Introduction: The Problem of Uniqueness of Unconditional Basis

If ( 𝑋 , β€– β‹… β€– ) is a quasi-Banach space (in particular a Banach space) with a normalized unconditional basis ( 𝑒 𝑛 ) ∞ 𝑛 = 1 (i.e., β€– 𝑒 𝑛 β€– = 1 for all 𝑛 ∈ β„• ), 𝑋 is said to have a unique unconditional basis (up to permutation) if whenever ( π‘₯ 𝑛 ) ∞ 𝑛 = 1 is another normalized unconditional basis of 𝑋 , then ( π‘₯ 𝑛 ) ∞ 𝑛 = 1 is equivalent to ( 𝑒 𝑛 ) ∞ 𝑛 = 1 (after a permutation); that is, there exists an automorphism of 𝑋 which takes one basis to (a permutation of) the other.

The problem of uniqueness of unconditional basis is classical. It is well known that 𝑐 0 , β„“ 1 , and β„“ 2 have a unique unconditional basis and that any other Banach space with an unconditional basis fails to have this property [1–3].

If an unconditional basis is unique, in particular it must be equivalent to all its permutations and hence must be symmetric. Thus, the obvious modification for spaces whose canonical basis is unconditional but not symmetric is to require uniqueness of unconditional basis via a permutation, which in many ways is a more natural concept for unconditional bases. Classifying those Banach spaces with unique unconditional bases up to permutation, however, has turned out to be a much more difficult task. The first step toward this classification was taken in 1976 by Edelstein and Wojtaszczyk [4], who showed that any finite direct sum of 𝑐 0 , β„“ 1 , and β„“ 2 had that property. After their work, Bourgain, Casazza, Lindenstrauss, and Tzafriri embarked on a comprehensive study aimed at classifying those Banach spaces with unique uconditional basis up to permutation that culminated in 1985 with their AMS Memoir [5]. They considered infinite direct sums of the Banach spaces with unique unconditional basis and showed that the spaces 𝑐 0 ( β„“ 1 ) , 𝑐 0 ( β„“ 2 ) , β„“ 1 ( 𝑐 0 ) , and β„“ 1 ( β„“ 2 ) all have unique unconditional bases up to permutation, while, surprisingly, β„“ 2 ( β„“ 1 ) and β„“ 2 ( 𝑐 0 ) do not.

However, all hopes for a satisfactory classification were shattered when they discovered that a space of a totally different character, a certain variant of Tsirelson space 𝒯 , also had a unique unconditional basis up to permutation. More recently, further examples of “pathological” spaces with unique unconditional basis up to permutation have been given in [6, 7].

In the context of quasi-Banach spaces which are not Banach spaces, the uniqueness of unconditional basis seems to be the norm rather than the exception. For instance, it was shown in [8] that a wide class of nonlocally convex Orlicz sequence spaces, including the β„“ 𝑝 spaces for 0 < 𝑝 < 1 , have a unique unconditional basis. The same is true in nonlocally convex Lorentz sequence spaces [9, 10] and in the Hardy spaces 𝐻 𝑝 ( 𝕋 ) for 0 < 𝑝 < 1 [11].

Analogously, it seemed only natural to translate the question of uniqueness of unconditional basis up to permutation to the setting of nonlocally convex spaces that are infinite direct sums of the classical quasi-Banach spaces with a unique unconditional basis, namely, β„“ 𝑝 ( β„“ π‘ž ) , β„“ 𝑝 ( 𝑐 0 ) , β„“ 𝑝 ( β„“ 1 ) , β„“ 𝑝 ( β„“ 2 ) , 𝑐 0 ( β„“ 𝑝 ) , β„“ 1 ( β„“ 𝑝 ) , and β„“ 2 ( β„“ 𝑝 ) , where 0 < 𝑝 , π‘ž < 1 . With the exception of β„“ 2 ( β„“ 𝑝 ) that remains elusive, the uniqueness of unconditional basis has been established for all the other spaces (see [10, 12–14], in chronological order). Although the proofs are very different depending on each case, all of them rely explicitly on the corresponding results for their respective Banach envelopes shown in [5] and revolve around the all-pervading “large coefficient” technique ([10,Theorem 2.3]) for establishing the equivalence of basic sequences.

In this paper we change the strategy, and the proofs in Section 2 hinge on Theorem 1.1. This is a general result on complemented unconditional basic sequences in lattice anti-Euclidean quasi-Banach spaces which extends a result from [7]. We recall that a quasi-Banach lattice is called sufficiently lattice Euclidean if there is a constant 𝑀 so that for any 𝑛 ∈ β„• there are operators 𝑆 𝑛 ∢ 𝑋 β†’ β„“ 𝑛 2 and 𝑇 𝑛 ∢ β„“ 𝑛 2 β†’ 𝑋 so that 𝑆 𝑛 ∘ 𝑇 𝑛 = 𝐼 β„“ 𝑛 2 , β€– 𝑆 𝑛 β€– β€– 𝑇 𝑛 β€– ≀ 𝑀 , and 𝑆 𝑛 is a lattice homomorphism. This is equivalent to asking that β„“ 2 is finitely representable as a complemented sublattice of 𝑋 . We will say that 𝑋 is lattice anti-Euclidean if it is not sufficiently lattice Euclidean. We will also use the term sequence space to mean a quasi-Banach space of sequences so that the canonical basis vectors form a 1 -unconditional basis.

Theorem 1.1 (see [14, Theorem 3.4]). Let π‘Œ and 𝑍 be quasi-Banach sequence spaces. Suppose that 𝑍 is 𝑝 -convex for some 𝑝 > 0 and that π‘Œ is isomorphic to a complemented subspace of 𝑍 . Suppose that the Banach envelope  π‘Œ of π‘Œ is lattice anti-Euclidean. Then there exists 𝑁 ∈ β„• and a complemented disjoint positive sequence ( 𝑣 𝑛 ) in 𝑍 𝑁 that is equivalent to the unit vector basis ( 𝑒 𝑛 ) in π‘Œ . Furthermore, the projection 𝑃 of 𝑍 𝑁 onto [ 𝑣 𝑛 ] may be given in the form 𝑃 ( 𝑧 ) = ∞  𝑛 = 1 𝑣 βˆ— 𝑛 ( 𝑧 ) 𝑣 𝑛 , ( 1 . 1 ) where 𝑣 βˆ— 𝑛 β‰₯ 0 and s u p p ( 𝑣 βˆ— 𝑛 ) βŠ† s u p p ( 𝑣 𝑛 ) for all 𝑛 .

To help determine whether two unconditional bases are permutatively equivalent we will use the following form of the Cantor-Bernstein principle.

Theorem 1.2 (see [11, Proposition 2.11]). Suppose ( 𝑒 𝑛 ) ∞ 𝑛 = 1 and ( 𝑣 𝑛 ) ∞ 𝑛 = 1 are two unconditional basic sequences of a quasi-Banach space 𝑋 , then ( 𝑒 𝑛 ) and ( 𝑣 𝑛 ) are equivalent (up to permutation) if and only if ( 𝑒 𝑛 ) is equivalent (up to permutation) to a subsequence of ( 𝑣 𝑛 ) and ( 𝑣 𝑛 ) is equivalent (up to permutation) to a subsequence of ( 𝑒 𝑛 ) .

2. Main Result

In this section we settle the question of uniqueness of unconditional basis in the spaces 𝒯 ( 𝑝 ) for 0 < 𝑝 < 1 . These spaces are the nonlocally convex counterpart to the 𝑝 -convexification of Tsirelson space for 𝑝 > 1 , introduced by Figiel and Johnson in [15]. Those readers who are unfamiliar with Tsirelson space will find a handy construction and some of its elementary properties in [16]. For a more in-depth approach, the standard reference is [17] (cf. [15]).

Given 0 < 𝑝 < ∞ , the 𝑝 -convexification 𝒯 ( 𝑝 ) of Tsirelson space 𝒯 is obtained from 𝒯 by putting

β€– π‘₯ β€– 𝒯 ( 𝑝 ) = β€– β€– ξ€· | | π‘Ž 𝑛 | | 𝑝 ξ€Έ ∞ 𝑛 = 1 β€– β€– 𝒯 1 / 𝑝 ( 2 . 1 ) for those sequences of real numbers π‘₯ = ( π‘Ž 𝑛 ) ∞ 𝑛 = 1 such that ( | π‘Ž 𝑛 | 𝑝 ) ∞ 𝑛 = 1 ∈ 𝒯 . Equation (2.1) defines a norm for 1 ≀ 𝑝 and a 𝑝 -norm when 0 < 𝑝 < 1 . Obviously, the space ( 𝒯 ( 1 ) , β€– β‹… β€– 𝒯 ( 1 ) ) is simply ( 𝒯 , β€– β‹… β€– 𝒯 ) .

The canonical unit vectors form a 1 -unconditional basis of 𝒯 ( 𝑝 ) for all 0 < 𝑝 < ∞ . Casazza and Kalton established in [7] the uniqueness of unconditional basis up to permutation of 𝒯 and its complemented subspaces with unconditional basis as a byproduct of their study of complemented basic sequences in lattice anti-Euclidean Banach spaces. Their result answered a question by Bourgain et al. in [5], where the authors had proved the uniqueness of unconditional basis up to permutation in the 2 -convexification 𝒯 ( 2 ) of 𝒯 .

Here we show that for 𝑝 < 1 , the space 𝒯 ( 𝑝 ) and its complemented subspaces with unconditional basis belong to the class of quasi-Banach spaces with a unique unconditional basis, up to permutation. The proof follows the steps of the corresponding uniqueness result for 𝒯 . This will require first to extend some concepts and results from [7] to quasi-Banach sequence spaces. Despite the fact that the changes are minor, we decided to include them here for reference and for future use.

Definition 2.1. Borrowing the definition from [7, Section 5], if 𝑋 is a quasi-Banach space with unconditional basis we will say that 𝑋 is left-dominant with constant 𝛾 β‰₯ 1 if whenever ( 𝑒 1 , 𝑒 2 , … , 𝑒 𝑛 ) and ( 𝑣 1 , 𝑣 2 , … , 𝑣 𝑛 ) are two disjoint sequences in 𝑐 0 0 with β€– 𝑒 π‘˜ β€– 𝑋 β‰₯ β€– 𝑣 π‘˜ β€– 𝑋 and such that m a x { supp 𝑒 π‘˜ } < π‘š 𝑖 𝑛 { supp 𝑣 π‘˜ } for 1 ≀ π‘˜ ≀ 𝑛 , then β€– βˆ‘ 𝑛 π‘˜ = 1 𝑣 π‘˜ β€– 𝑋 βˆ‘ ≀ 𝛾 β€– 𝑛 π‘˜ = 1 𝑒 π‘˜ β€– 𝑋 . Similarly, we will say that 𝑋 is right-dominant with constant 𝛾 if whenever ( 𝑒 1 , 𝑒 2 , … , 𝑒 𝑛 ) and ( 𝑣 1 , 𝑣 2 , … , 𝑣 𝑛 ) are two disjoint sequences in 𝑐 0 0 with β€– 𝑒 π‘˜ β€– 𝑋 ≀ β€– 𝑣 π‘˜ β€– 𝑋 and such that m a x { supp 𝑒 π‘˜ } < π‘š 𝑖 𝑛 { supp 𝑣 π‘˜ } for 1 ≀ π‘˜ ≀ 𝑛 , then β€– βˆ‘ 𝑛 π‘˜ = 1 𝑒 π‘˜ β€– 𝑋 βˆ‘ ≀ 𝛾 β€– 𝑛 π‘˜ = 1 𝑣 π‘˜ β€– 𝑋 . We will refer to any normalized unconditional basic sequence as being left-or right-dominant if the the associated sequence space is left-or right-dominant respectively.
For example, the β„“ 𝑝 spaces are left- and right-dominant when 0 < 𝑝 < ∞ . In turn, 𝒯 is a right-dominant space as shown in [7,Proposition 5.12], and by the Remark thereafter we infer that so is 𝒯 ( 𝑝 ) for 0 < 𝑝 < ∞ .
Our next results, Propositions 2.2 and 2.5, are essentially Theorems 5.6 and 5.7 of [7], respectively, slightly modified to suit our purposes.

Proposition 2.2 (see [7, Theorem 5.6]). Let 𝑋 be a left- or right-dominant quasi-Banach space 𝑋 with unconditional basis ( 𝑒 𝑛 ) ∞ 𝑛 = 1 . Suppose that ( 𝑒 𝑛 ) 𝑛 ∈ 𝑆 ( | 𝑆 | ≀ ∞ ) is a complemented normalized disjoint sequence in 𝑋 , then ( 𝑒 𝑛 ) 𝑛 ∈ 𝑆 is permutatively equivalent to a subsequence ( 𝑒 π‘˜ 𝑛 ) ∞ 𝑛 = 1 of ( 𝑒 𝑛 ) ∞ 𝑛 = 1 .

Proof. The proof in the locally convex case applies almost verbatim to this setting and hence we omit it.

The next two lemmas will be used in what follows.

Lemma 2.3 (see [7, Proposition 5.4]). Suppose that ( 𝑒 𝑛 ) ∞ 𝑛 = 1 is a left- (resp, right-) dominant basis of a quasi-Banach space 𝑋 and that πœ‹ is a permutation of the natural numbers such that ( 𝑒 πœ‹ ( 𝑛 ) ) ∞ 𝑛 = 1 is also left- (resp, right-) dominant. then there is a constant 𝐢 such that for any ( 𝛼 π‘˜ ) ∈ 𝑐 0 0 , β€– β€– β€– β€– ∞  π‘˜ = 1 𝛼 π‘˜ 𝑒 2 π‘˜ β€– β€– β€– β€– β€– β€– β€– β€– ≀ 𝐢 ∞  π‘˜ = 1 𝛼 π‘˜ 𝑒 πœ‹ ( π‘˜ ) β€– β€– β€– β€– ( 2 . 2 ) resp, β€– β€– β€– β€– ∞  π‘˜ = 1 𝛼 π‘˜ 𝑒 2 π‘˜ β€– β€– β€– β€– β‰₯ 𝐢 βˆ’ 1 β€– β€– β€– β€– ∞  π‘˜ = 1 𝛼 π‘˜ 𝑒 πœ‹ ( π‘˜ ) β€– β€– β€– β€– . ( 2 . 3 )

We say that ( 𝑒 𝑛 ) is equivalent to its square if ( 𝑒 𝑛 ) is permutatively equivalent to the basis { ( 𝑒 1 , 0 ) , ( 0 , 𝑒 1 ) , ( 𝑒 2 , 0 ) , … , } of [ 𝑒 𝑛 ] βŠ• [ 𝑒 𝑛 ] .

Lemma 2.4 (see [7,Proposition 5.5]). Let ( 𝑒 𝑛 ) ∞ 𝑛 = 1 be a left- or right-dominant basis of a quasi-Banach space 𝑋 . In order that ( 𝑒 𝑛 ) ∞ 𝑛 = 1 be equivalent to its square it is necessary and sufficient that ( 𝑒 𝑛 ) ∞ 𝑛 = 1 be equivalent to ( 𝑒 2 𝑛 ) ∞ 𝑛 = 1 .

Recall from the theory of Schauder bases that if ( π‘₯ 𝑛 ) ∞ 𝑛 = 1 and ( 𝑦 𝑛 ) ∞ 𝑛 = 1 are basic sequences in a quasi-Banach space 𝑋 , then ( π‘₯ 𝑛 ) ∞ 𝑛 = 1 dominates ( 𝑦 𝑛 ) ∞ 𝑛 = 1 if for all choices of scalars ( π‘Ž 𝑛 ) ∞ 𝑛 = 1 , whenever βˆ‘ ∞ 𝑛 = 1 π‘Ž 𝑛 π‘₯ 𝑛 ∈ [ π‘₯ 𝑛 ] ∞ 𝑛 = 1 then βˆ‘ ∞ 𝑛 = 1 π‘Ž 𝑛 𝑦 𝑛 ∈ [ 𝑦 𝑛 ] ∞ 𝑛 = 1 .

Proposition 2.5 (see [7,Theorem 5.7]). Suppose that 𝑋 is a quasi-Banach space with a left- (or right-) dominant unconditional basis ( 𝑒 𝑛 ) ∞ 𝑛 = 1 which induces a 𝑝 -convex lattice structure on 𝑋 for some 0 < 𝑝 < 1 and such that ( 𝑒 𝑛 ) ∞ 𝑛 = 1 is equivalent to its square. Assume that the Banach envelope  𝑋 of 𝑋 is lattice anti-Euclidean. Then, (1)every complemented normalized unconditional basic sequence ( 𝑒 𝑛 ) 𝑛 ∈ 𝑆 in 𝑋 is permutatively equivalent to a subsequence ( 𝑒 π‘˜ 𝑛 ) ∞ 𝑛 = 1 of ( 𝑒 𝑛 ) ∞ 𝑛 = 1 , (2) 𝑋 has a unique unconditional basis, up to permutation.

Proof. Consider the left-dominant case. This assumption combined with the fact that ( 𝑒 𝑛 ) ∞ 𝑛 = 1 is equivalent to its square implies by Lemma 2.4 that ( 𝑒 𝑛 ) ∞ 𝑛 = 1 and ( 𝑒 2 𝑛 ) ∞ 𝑛 = 1 are equivalent. If ( 𝑒 𝑛 ) 𝑛 ∈ 𝑆 is a complemented normalized unconditional basic sequence in 𝑋 , then, by Theorem 1.1, ( 𝑒 𝑛 ) 𝑛 ∈ 𝑆 is equivalent to a complemented disjoint sequence in 𝑋 , which by Proposition 2.2 will in turn be permutatively equivalent to a subsequence ( 𝑒 π‘˜ 𝑛 ) ∞ 𝑛 = 1 of ( 𝑒 𝑛 ) ∞ 𝑛 = 1 . Thus (1) follows.
To show (2), suppose that ( 𝑒 𝑛 ) ∞ 𝑛 = 1 is a normalized unconditional basis of 𝑋 . Applying Theorem 1.1 again we see that ( 𝑒 𝑛 ) ∞ 𝑛 = 1 is equivalent to a complemented disjoint sequence of the 𝑁 -fold basis ( 𝑒 𝑛 ) 𝑁 of 𝑋 𝑁 for some 𝑁 ∈ β„• . The sequence ( 𝑓 𝑛 ) = ( 𝑒 π‘˜ 𝑛 ) 𝑁 written in the obvious order is easily seen to be left-dominant, so ( 𝑒 𝑛 ) ∞ 𝑛 = 1 is permutatively equivalent to a subset of ( 𝑒 π‘˜ 𝑛 ) 𝑁 . On the other hand, ( 𝑒 π‘˜ 𝑛 ) 𝑁 is permutatively equivalent to a subset of ( 𝑒 𝑛 ) 𝑁 , which is permutatively equivalent to ( 𝑒 𝑛 ) . Theorem 1.2 yields that ( 𝑒 π‘˜ 𝑛 ) 𝑁 and ( 𝑒 𝑛 ) are permutatively equivalent.
The sequence ( 𝑓 𝑛 ) dominates ( 𝑒 2 𝑛 ) by Lemma 2.3, and similarly ( 𝑒 𝑛 ) dominates ( 𝑓 2 𝑛 ) . Since ( 𝑒 𝑛 ) and ( 𝑒 4 𝑛 ) are equivalent we deduce that ( 𝑓 2 𝑛 ) is equivalent to ( 𝑒 𝑛 ) . Now ( 𝑓 2 𝑛 βˆ’ 1 ) ∞ 𝑛 = 1 is dominated by ( 𝑓 1 , 𝑓 2 , 𝑓 4 , … , 𝑓 2 𝑛 βˆ’ 2 , … ) and dominates ( 𝑓 1 , 𝑓 4 , 𝑓 8 , … , 𝑓 4 𝑛 βˆ’ 4 , … ) and so is also equivalent to ( 𝑓 2 𝑛 ) . Therefore ( 𝑓 𝑛 ) is equivalent to ( 𝑒 𝑛 ) . Now ( 𝑓 𝑁 𝑛 ) is equivalent to ( 𝑒 𝑁 𝑛 ) and hence to ( 𝑒 𝑛 ) . Since 𝑓 𝑁 𝑛 = ( 0 , … , 0 , 𝑒 π‘˜ 𝑛 ) , ( 𝑒 π‘˜ 𝑛 ) is equivalent to ( 𝑒 𝑛 ) and the proof is complete.

Theorem 2.6. If 0 < 𝑝 < 1 , the 𝑝 -convexified Tsirelson space 𝒯 ( 𝑝 ) and all its complemented subspaces with unconditional basis have a unique unconditional basis, up to permutation.

Proof. For 0 < 𝑝 < 1 , the space 𝒯 ( 𝑝 ) is 𝑝 -convex, right-dominant, and its Banach envelope, β„“ 1 , is lattice anti-Euclidean. Besides, a straightforward argument on equivalence of basic sequences combined with the fact that ( 𝑒 𝑛 ) ∞ 𝑛 = 1 and ( 𝑒 2 𝑛 ) ∞ 𝑛 = 1 are equivalent in 𝒯 (see [17, page 14]) yields that ( 𝑒 𝑛 ) ∞ 𝑛 = 1 and ( 𝑒 2 𝑛 ) ∞ 𝑛 = 1 are equivalent also in 𝒯 ( 𝑝 ) . An appeal to Lemma 2.4 yields the equivalence of ( 𝑒 𝑛 ) and ( 𝑒 𝑛 ) 2 so that 𝒯 ( 𝑝 ) is lattice isomorphic to its square. Hence the uniqueness of unconditional basis in 𝒯 ( 𝑝 ) is a consequence of Proposition 2.5(2).
If π‘Œ is a (finite or infinite-dimensional) complemented subspace of 𝒯 ( 𝑝 ) with normalized unconditional basis ( 𝑒 𝑛 ) 𝑛 ∈ 𝑆 , then ( 𝑒 𝑛 ) 𝑛 ∈ 𝑆 is permutatively equivalent to a subsequence ( 𝑒 π‘˜ 𝑛 ) ∞ 𝑛 = 1 of ( 𝑒 𝑛 ) ∞ 𝑛 = 1 by Proposition 2.5(1). Clearly, ( 𝑒 π‘˜ 𝑛 ) ∞ 𝑛 = 1 is right-dominant and equivalent to ( 𝑒 π‘˜ 2 𝑛 ) ∞ 𝑛 = 1 (see [17, page 14]) and the result follows in the same way as in the preceding paragraph.

Remark 2.7. For 1 < 𝑝 β‰  2 the 𝑝 -convexification 𝒯 ( 𝑝 ) of 𝒯 does not have a unique unconditional basis up to permutation. Indeed, as Kalton pointed out, this is so because 𝒯 ( 𝑝 ) can be represented as ( β„“ 1 𝑝 βŠ• β„“ 2 𝑝 βŠ• β‹― β„“ 𝑛 𝑝 βŠ• β‹― ) 𝒯 , and, in this sum, the factor β„“ 𝑛 𝑝 has an unconditional basis containing among its vectors an β„“ π‘˜ 2 with π‘˜ ∼ l o g 𝑛 (see [18, page 1649]). This also implies that, in this case, 𝒯 ( 𝑝 ) is sufficiently Euclidean and so the arguments in the proofs of Theorems 2.6 and [7,Theorem 5.7] will not work.

Our work leaves open the following uniqueness questions.

Problem 1. Let 0 < 𝑝 < 1 . Does the space β„“ 𝑝 ( 𝒯 ) have unique unconditional basis up to a permutation?

Problem 2. It is known that 𝑐 0 ( 𝒯 ) fails to have a unique unconditional basis up to permutation [19]. It would be interesting to know whether the same holds or not in the spaces 𝑐 0 ( 𝒯 ( 𝑝 ) ) for 0 < 𝑝 < 1 .

Problem 3. Determine if β„“ 1 ( 𝒯 ( 𝑝 ) ) has a unique unconditional basis up to permutation when 𝑝 < 1 and when 𝑝 = 1 .

Acknowledgments

The first-named author acknowledges the support from the Spanish Ministerio de Ciencia e Innovación Research Project Operadores, retículos, y geometrtía de espacios de Banach, Reference no. MTM2008-02652/MTM.

References

  1. G. Köthe and O. Toeplitz, β€œLineare Raume mit unendlich vielen Koordinaten und Ringen unendlicher Matrizen,” Journal für die Reine und Angewandte Mathematik, vol. 171, pp. 193–226, 1934.
  2. J. Lindenstrauss and A. Pełczyński, β€œAbsolutely summing operators in Lp-spaces and their applications,” Studia Mathematica, vol. 29, pp. 275–326, 1968.
  3. J. Lindenstrauss and M. Zippin, β€œBanach spaces with a unique unconditional basis,” Journal of Functional Analysis, vol. 3, pp. 115–125, 1969.
  4. I. S. Èdel'šteĭn and P. Wojtaszczyk, β€œOn projections and unconditional bases in direct sums of Banach spaces,” Studia Mathematica, vol. 56, no. 3, pp. 263–276, 1976.
  5. J. Bourgain, P. G. Casazza, J. Lindenstrauss, and L. Tzafriri, β€œBanach spaces with a unique unconditional basis, up to permutation,” Memoirs of the American Mathematical Society, vol. 54, no. 322, 1985.
  6. W. T. Gowers, β€œA solution to Banach's hyperplane problem,” The Bulletin of the London Mathematical Society, vol. 26, no. 6, pp. 523–530, 1994.
  7. P. G. Casazza and N. J. Kalton, β€œUniqueness of unconditional bases in Banach spaces,” Israel Journal of Mathematics, vol. 103, pp. 141–175, 1998.
  8. N. J. Kalton, β€œOrlicz sequence spaces without local convexity,” Mathematical Proceedings of the Cambridge Philosophical Society, vol. 81, no. 2, pp. 253–277, 1977.
  9. F. Albiac and C. Leránoz, β€œUniqueness of unconditional basis in Lorentz sequence spaces,” Proceedings of the American Mathematical Society, vol. 136, no. 5, pp. 1643–1647, 2008.
  10. N. J. Kalton, C. Leránoz, and P. Wojtaszczyk, β€œUniqueness of unconditional bases in quasi-Banach spaces with applications to Hardy spaces,” Israel Journal of Mathematics, vol. 72, no. 3, pp. 299–311, 1990.
  11. P. Wojtaszczyk, β€œUniqueness of unconditional bases in quasi-Banach spaces with applications to Hardy spaces. II,” Israel Journal of Mathematics, vol. 97, pp. 253–280, 1997.
  12. C. Leránoz, β€œUniqueness of unconditional bases of c0(lp), 0<p<1,” Studia Mathematica, vol. 102, no. 3, pp. 193–207, 1992.
  13. F. Albiac and C. Leránoz, β€œUniqueness of unconditional basis of lp(c0) and lp(l2), 0<p<1,” Studia Mathematica, vol. 150, no. 1, pp. 35–52, 2002.
  14. F. Albiac, N. Kalton, and C. Leránoz, β€œUniqueness of the unconditional basis of l1(lp) and lp(l1), 0<p<1,” Positivity, vol. 8, no. 4, pp. 443–454, 2004.
  15. T. Figiel and W. B. Johnson, β€œA uniformly convex Banach space which contains no lp,” Compositio Mathematica, vol. 29, pp. 179–190, 1974.
  16. F. Albiac and N. J. Kalton, Topics in Banach Space Theory, vol. 233 of Graduate Texts in Mathematics, Springer, New York, NY, USA, 2006.
  17. P. G. Casazza and T. J. Shura, Tsirel'Son's Space, vol. 1363 of Lecture Notes in Mathematics, Springer, Berlin, Germany, 1989, with an appendix by J. Baker, O. Slotterbeck and R. Aro.
  18. L. Tzafriri, β€œUniqueness of structure in Banach spaces,” in Handbook of the Geometry of Banach Spaces, Vol. 2, pp. 1635–1669, North-Holland, Amsterdam, The Netherlands, 2003.
  19. P. G. Casazza and N. J. Kalton, β€œUniqueness of unconditional bases in c0-products,” Studia Mathematica, vol. 133, no. 3, pp. 275–294, 1999.