Hahn-Banach extension of multilinear forms and summability

DOI10.1016/J.JMAA.2007.03.057MaRDI QIDQ2381931zbMATH OpenOpenAlexWikidataFDO

Authors Carlos Palazuelos, David Pérez-García, Ignacio Villanueva, Hans Jarchow

Publication date 26 September 2007

Published in Journal of Mathematical Analysis and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jmaa.2007.03.057

bilinear forms Hahn-Banach extension multilinear forms summing properties

Theorems of Hahn-Banach type; extension and lifting of functionals and operators (46A22) (Spaces of) multilinear mappings, polynomials (46G25) Linear operators belonging to operator ideals (nuclear, (p)-summing, in the Schatten-von Neumann classes, etc.) (47B10) Multilinear and polynomial operators (47H60)

Review text

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.

Recommendations

Cites work

Cited in

(25)

This page was built for publication: Hahn-Banach extension of multilinear forms and summability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2381931)