Un espacio de Banach extremadamente interesante que, aunque es un espacio secuencial, no se discute con frecuencia es el espacio de Tsirelson. Se trata de un espacio de Banach reflexivo que no contiene ninguna copia isomorfa de $c_{0}$ o de $\ell_{p}$ para $p\in[1,\infty)$ . Más comúnmente, se trata del espacio dual $\mathcal{T}$ de la construcción original de Tsirelon que es, tal y como lo formulan Figiel y Johnson, la terminación del conjunto $c_{00}$ de secuencias escalares finitamente soportadas con respecto a la norma definida implícitamente: \begin{multline*} \|x\|_{\mathcal{T}}=\max\left\{\|x\|_{\infty},\frac{1}{2}\sup\left\{\sum_{i=1}^{N}\|E_{i}x\|_{\mathcal{T}}\;\middle\vert\; N\in\mathbb{N} \right.\right. \\ \left.\left. \phantom{\sum_{i=1}^{N}}\text{ and } \{N\}\leq E_{1}<E_{2}<\ldots <E_{N}\right\}\right\} \qquad x=(x_{j})_{j=1}^{\infty}\in c_{00} \end{multline*} donde $E_{i}\subset\mathbb{N}$ es finito, $E_{i}x=\sum_{j\in E_{i}}x_{j}e_{j}$ y la notación $E<F$ significa que $\max(E)<\min(F)$ para los subconjuntos $E,F\subset\mathbb{N}$ . El espacio de Banach $\mathcal{T}$ es la base (no es un juego de palabras) de numerosos contraejemplos en la teoría de los espacios de Banach y da lugar a una serie de variantes que tienen propiedades curiosas (como ser arbitrariamente distorsionable).