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 c0 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 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 c0. All classical Banach spaces known to, 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 c0. 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 c0. The radically new Tsirelson construction is at the root of several further developments in Banach space theory: the arbitrarily distortable space of Schlumprecht, 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 , let Pn denote the linear operator which sets to zero all coordinates xj of x for which j ≤ n. A finite sequence of vectors in ℓ∞ is called block-disjoint if there are natural numbers so that , and so that when or, for each n from 1 to N. The unit ball B∞ of ℓ∞ is compact and metrizable for the topology of pointwise convergence. The crucial step in the Tsirelson construction is to letK be the smallest pointwise closed subset of B∞ satisfying the following two properties: This set K satisfies the following stability property: It is then shown that K is actually a subset of c0, the Banach subspace of ℓ∞consisting of scalar sequences tending to zero at infinity. This is done by proving that and iterating this fact. Since K is pointwise compact and contained in c0, it is weakly compact in c0. Let V be the closed convex hull of K in c0. It is also a weakly compact set in c0. 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 c0. The other ℓp spaces, 1 ≤ p < ∞, are ruled out by condition b.
Properties
The Tsirelson space is reflexive and finitely universal, which means that for some constant, the space contains -isomorphic copies of every finite-dimensional normed space, namely, for every finite-dimensional normed space, there exists a subspace of the Tsirelson space with multiplicative Banach-Mazur distance to less than. Actually, every finitely universal Banach space contains almost-isometric copies of every finite-dimensional normed space, meaning that can be replaced by for every. Also, every infinite-dimensional subspace of is finitely universal. On the other hand, every infinite-dimensional subspace in the dual of contains almost isometric copies of, the -dimensional ℓ1-space, for all . The Tsirelson space is distortable, but it is not known whether it is arbitrarily distortable. The space is a minimal Banach space. This means that every infinite-dimensional Banach subspace of contains a further subspace isomorphic to. Prior to the construction of, the only known examples of minimal spaces were ℓp and 0. The dual space is not minimal. The space is polynomially reflexive.
Derived spaces
The symmetric Tsirelson spaceS 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.
