Presentation Abstract

Fame 2026 Conference
Back to List

An isometric generalization of the $c_0$-$\ell_1$-$\ell_\infty$ theorem of Bessaga and Pełczyński

Prof. Marek Wójtowicz (Poland)
Session: Abstract methods in Banach spaces Talk
Abstract

In 1958, Bessaga and Pełczyński proved the by now classical theorem:

\medskip

\noindent\textbf{(BP)} \textit{Let $X$ be a Banach space such that $X^*$ contains a subspace isomorphic to $c_0$. Then $X$ contains a complemented subspace isomorphic to $\ell_1$. Consequently, $X^*$ contains a subspace isomorphic to $\ell_\infty$}.

\medskip

Let $\Gamma$ be an infinite set. We introduce the notion of an asymptotically isometric (ai)-copy $Y_\Gamma$ of $\ell_1(\Gamma)$ in $X$, and an asymptotically orthogonal (ao)-projection from $X$ onto $Y_\Gamma$. The following four conditions are equaivalent:

\medskip

(1) $X^*$ contans an isometric copy of $c_0(\Gamma)$;

(2) $X$ contains an (ai)-copy $Y_\Gamma$ of $\ell_1(\Gamma)$ that is (ao)-complemented in $X^{**}$ (and hence in $X$);

(3) $\ell_1(\Gamma)$ is isometric to a quotient space of $X$;

(4) $X^*$ contains an isometric copy of $\ell_\infty(\Gamma)$.

\medskip

Combining condition (1) with the following result of
Pe{\l}czy\'nski we obtain generalizations of (BP) obtained earlier by Rosenthal, Dowling, Lewis, Randrianantoanina, and W\'ojtowicz:

\medskip \noindent\textit{If V and W are two Banach spaces and R is an isomorphic embedding of V into W, then there exists an equivalent norm on W under which R is an isometry}.