Tsirelson space

In mathematics, especially in functional analysis, the Tsirelson space is the first example of a Banach space in which neither an ℓ ^p space nor a c₀ space can be embedded. The Tsirelson space is reflexive.

It was introduced by B. S. Tsirelson in 1974. The same year, Figiel and Johnson published a related article (Template:Harvtxt) where they used the notation T for the dual of Tsirelson's example. Today, the letter T is the standard notation for the dual of the original example, while the original Tsirelson example is denoted by T*. In T* or in T, no subspace is isomorphic, as Banach space, to an ℓ ^p space, 1 ≤ p < ∞, or to c₀.

All classical Banach spaces known to Template:Harvtxt, spaces of continuous functions, of differentiable functions or of integrable functions, and all the Banach spaces used in functional analysis for the next forty years, contain some ℓ ^p or c₀. Also, new attempts in the early '70s to promote a geometric theory of Banach spaces led to ask whether or not every infinite-dimensional Banach space has a subspace isomorphic to some ℓ ^p or to c₀. Moreover, it was shown by Baudier, Lancien, and Schlumprecht that ℓ ^p and c₀ do not even coarsely embed into T*.

The radically new Tsirelson construction is at the root of several further developments in Banach space theory: the arbitrarily distortable space of Thomas Schlumprecht (Template:Harvtxt), on which depend Gowers' solution to Banach's hyperplane problem and the Odell–Schlumprecht solution to the distortion problem. Also, several results of Argyros et al. are based on ordinal refinements of the Tsirelson construction, culminating with the solution by Argyros–Haydon of the scalar plus compact problem.

Tsirelson's construction

On the vector space ℓ^∞ of bounded scalar sequences Template:Nowrap Template:Nowrap, let P_n denote the linear operator which sets to zero all coordinates x_j of x for which j ≤ n.

A finite sequence $\{x_n{\}}_{n=1}^N$ of vectors in ℓ^∞ is called block-disjoint if there are natural numbers $\{a_n,b_n{\}}_{n=1}^N$ so that $a_1\le b_1<a_2\le b_2<\cdots \le b_N$, and so that $(x_n{)}_i=0$ when $i<a_n$ or $i>b_n$, for each n from 1 to N.

The unit ball  B_∞  of ℓ^∞ is compact and metrizable for the topology of pointwise convergence (the product topology). The crucial step in the Tsirelson construction is to let K be the smallest pointwise closed subset of  B_∞  satisfying the following two properties:

a. For every integer  j  in N, the unit vector e_j and all multiples $\lambda e_j$, for |λ| ≤ 1, belong to K.

b. For any integer N ≥ 1, if $(x_1,\dots ,x_N)$ is a block-disjoint sequence in K, then $\frac{1}{2}{P}_N(x_1+\cdots +x_N)$ belongs to K.

This set K satisfies the following stability property:

c. Together with every element x of K, the set K contains all vectors y in ℓ^∞ such that |y| ≤ |x| (for the pointwise comparison).

It is then shown that K is actually a subset of c₀, the Banach subspace of ℓ^∞ consisting of scalar sequences tending to zero at infinity. This is done by proving that

d: for every element x in K, there exists an integer n such that 2 P_n(x) belongs to K,

and iterating this fact. Since K is pointwise compact and contained in c₀, it is weakly compact in c₀. Let V be the closed convex hull of K in c₀. It is also a weakly compact set in c₀. It is shown that V satisfies b, c and d.

The Tsirelson space T* is the Banach space whose unit ball is V. The unit vector basis is an unconditional basis for T* and T* is reflexive. Therefore, T* does not contain an isomorphic copy of c₀. The other ℓ ^p spaces, 1 ≤ p < ∞, are ruled out by condition b.

Properties

The Tsirelson space Template:Mvar is reflexive (Template:Harvtxt) and finitely universal, which means that for some constant Template:Nowrap, the space Template:Mvar contains Template:Mvar-isomorphic copies of every finite-dimensional normed space, namely, for every finite-dimensional normed space Template:Mvar, there exists a subspace Template:Mvar of the Tsirelson space with multiplicative Banach–Mazur distance to Template:Mvar less than Template:Mvar. Actually, every finitely universal Banach space contains almost-isometric copies of every finite-dimensional normed space, meaning that Template:Mvar can be replaced by Template:Nowrap for every Template:Nowrap. Also, every infinite-dimensional subspace of Template:Mvar is finitely universal. On the other hand, every infinite-dimensional subspace in the dual Template:Mvar of Template:Mvar contains almost isometric copies of ${\ell }_n^1$, the Template:Mvar-dimensional ℓ¹-space, for all Template:Mvar.

The Tsirelson space Template:Mvar is distortable, but it is not known whether it is arbitrarily distortable.

The space Template:Mvar is a minimal Banach space. This means that every infinite-dimensional Banach subspace of Template:Mvar contains a further subspace isomorphic to Template:Mvar. Prior to the construction of Template:Mvar, the only known examples of minimal spaces were ℓ ^p and Template:Mvar₀. The dual space Template:Mvar is not minimal.

The space Template:Mvar is polynomially reflexive.

Derived spaces

The symmetric Tsirelson space S(T) is polynomially reflexive and it has the approximation property. As with T, it is reflexive and no ℓ ^p space can be embedded into it.

Since it is symmetric, it can be defined even on an uncountable supporting set, giving an example of non-separable polynomially reflexive Banach space.

See also

• Distortion problem
• Sequence space, Schauder basis
• James' space

References

• Template:Citation.
• Template:Banach Théorie des Opérations Linéaires
• Template:Citation.
• Template:Citation.
• Template:Citation.
• Template:Citation.
• Template:Citation.
• Template:Citation.
• Template:Citation.
• Template:Citation. English translation in Russian Math. Surveys 25 (1970), 111-170.
• Template:Citation.
• Template:Citation.

External links

• Boris Tsirelson's reminiscences on his web page