Hahn-Banach extension of multilinear forms and summability (Q2381931): Difference between revisions

This paper deals with the relations between the validity of Hahn-Banach extension theorems for multilinear forms on Banach spaces and summability properties of sequences from these spaces. As the authors show, this is closely related to the so-called property BEP. A pair \((X, Y )\) of Banach spaces has the BEP if every bilinear form on \(X \times Y\) is extendible to any superspace containing \(X \times Y.\) The notion of \(n\)EP is defined analogously. Among other things, the authors show Theorem: If \((X,Y)\) has the BEP, then \(X {\widetilde{\bigotimes}}_\pi Y\) contains uniformly complemented copies of the \(\ell_2^n\)'s. In addition, Theorem: Suppose that \(X\) is an infinite-dimensional Banach space with the BEP. Then, for \(n \geq 2,\;{\mathcal L}(^nX) = {\mathcal L}_{(1;2,\dots,2)}(^nX). \) Summarizing some, but by no means all, of the authors' interesting results, we have the following. Theorem: For every Banach space \(X,\;{\mathcal L}^2_{\text{ext}}(X) = {\mathcal L}^2_{(1;2,2)}(X) \subseteq {\mathcal L}^2(X),\) with equality if and only if \(X\) has the BEP. Theorem: For every \(n \geq 3\) and every Banach space \(X,\) \ \({\mathcal L}^n_{\text{ext}}(X) \subseteq {\mathcal L}^n_{(1;2,\dots,2)}(X) \subseteq {\mathcal L}^n(X). \) Moreover, we have equality in the first inclusion if and only if \(X\) has the \(n\)EP, and in the second inclusion if and only if \(X\) has the BEP.