Subspaces of L_p that embed into L_p() with finite

From MaRDI portal
(Redirected from Publication:476501)
Subspaces of \(L p\) that embed into \(L p(\mu)\) with \(\mu\) finite



Abstract: Enflo and Rosenthal proved that ellp(aleph1), 1<p<2, does not (isomorphically) embed into Lp(mu) with mu a finite measure. We prove that if X is a subspace of an Lp space, 1<p<2, and ellp(aleph1) does not embed into X, then X embeds into Lp(mu) for some finite measure mu.


The paper contains several results concerning the question of whether every subspace \(X\) of an \(L_p(\nu)\)-space isomorphically embeds to some \(L_p(\mu)\)-space with a finite measure \(\mu\), once \(X\) does not contain a subspace isomorphic to \(\ell_p(\aleph_1)\). Theorem~1, in particular, asserts that the answer is affirmative for \(1 \leq p < 2\), and Corollary~1 of Theorem~3 asserts the same answer for \(2 < p < \infty\) and complemented subspaces \(X\) of \(L_p(\nu)\). Theorem~2 generalizes Theorem~1 for higher cardinals. Namely, let \(X\) be a subspace of an \(L_p(\nu)\)-space, \(1 \leq p < 2\) and \(\aleph\) be an uncountable cardinal. Then the following are equivalent. (1) For every \(\varepsilon > 0\), the space \(\ell_p(\aleph)\) is \((1+\varepsilon)\)-isomorphic to a subspace of \(X\). (2) There is a complemented in \(L_p(\nu)\) subspace of \(X\) isomorphic to \(\ell_p(\aleph)\). (3) \(\ell_p(\aleph)\) isomorphically embeds into \(X\). (4) \(X\) does not isomorphically embed into an \(\ell_p\)-sum of \(L_p(\mu_i)\)-spaces with finite measures \(\mu_i\), \(i \in I\) and \(|I| < \aleph\).











This page was built for publication: Subspaces of \(L_p\) that embed into \(L_p(\mu)\) with \(\mu\) finite

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