Finite dimensional subspaces of $L^1.$ - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-20T10:58:36Z http://mathoverflow.net/feeds/question/94661 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/94661/finite-dimensional-subspaces-of-l1 Finite dimensional subspaces of $L^1.$ Igor Rivin 2012-04-20T17:07:25Z 2012-04-20T19:18:34Z <p>This question is motivated by my discussion (via comments) with @fedja regarding <a href="http://mathoverflow.net/questions/94026/functions-with-same-area" rel="nofollow">this earlier question.</a> In any case the question is whether there is any concise characterization of finite dimensional subspaces of $L^1.$ I found some papers by our own Bill Johnson on finite dimensional subspaces of $L^p$ spaces, but they appear to (a) be for $p>1$ and (b) use a lot of language hard to understand for us troglodytes. In the meantime, the question is very concrete: I give you a centrally symmetric convex body in $\mathbb{R}^d,$ and I ask whether this is the unit ball of the sup norm of the linear combinations of some $d$ functions $f_1, \dots, f_d.$</p> <p><strong>EDIT</strong> As @Fedor points out, I asked a different question from what I intended: I had meant to ask about $L^\infty,$ but the answers to this are very interesting, so I will let it stand, and I guess will ask a different question to avoid (or increase) confusion.</p> http://mathoverflow.net/questions/94661/finite-dimensional-subspaces-of-l1/94665#94665 Answer by Greg Kuperberg for Finite dimensional subspaces of $L^1.$ Greg Kuperberg 2012-04-20T18:29:56Z 2012-04-20T18:29:56Z <p>I think that $K$ is such a convex body if and only if its dual <code>$K^*$</code> is a zonotope, i.e., a Minkowski sum of finitely many line segments, or a limit of zonotopes. I think that every limit $Z$ of zonotopes is characterized by a finite-mass measure $\mu$ on projective space $\mathbb{R}P^{d-1}$. Then the points in $Z$ are of the form $$\int_{S^{d-1}} \vec{x} d\sigma(\vec{x}),$$ which were $\sigma$ is a measure on the sphere $S^{d-1}$ that projects to $\mu$.</p> <p>You can get every zonotope as an example of <code>$K^*$</code> by letting each $f_k$ be piecewise constant. Then <code>$K^*$</code> is a projection of a finite-dimensional cube, and those are exactly the zonotopes. Then, every choice for <code>$K^*$</code> is a limit of zonotopes, because $f_k$ has piecewise constant approximations. Actually you can make the measure $\mu$ directly by taking the pushforward of Lebesgue measure under the function $\vec{f}/||\vec{f}||$; that is a measure on the sphere but you can take its pushforward to projective space. A similar construction yields the measures $\sigma$.</p> http://mathoverflow.net/questions/94661/finite-dimensional-subspaces-of-l1/94671#94671 Answer by Bill Johnson for Finite dimensional subspaces of $L^1.$ Bill Johnson 2012-04-20T19:05:54Z 2012-04-20T19:18:34Z <p>There are many characterizations of Banach spaces that embed isometrically into $L_1$. See </p> <p>Wells, J. H.; Williams, L. R. Embeddings and extensions in analysis. Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 84. Springer-Verlag, New York-Heidelberg, 1975 </p> <p>for the classical results. Lindenstrauss and Pelczynski gave another useful one in their "Absolutely summing operators..." paper; namely, whenever <code>$\sum |x^*(x_n)| \le \sum |x^*(y_n)|$</code>, then <code>$\sum \|x_n\| \le C \sum \|y_n\|$</code> where $C=1$. The main reason this is useful is that if you have the condition for some $C$, then the space $C$-embeds into $L_1$.</p> <p>One quite remarkable fact (due to Lindenstrauss) is that every two dimensional Banach space embeds isometrically into $L_1$.</p> <p>Greg, not surprisingly, gives the convex geometry way of looking at subspaces of $L_1$, while the computer scientists I know would tell you about cut metrics and try to convince you that the really interesting problem is to understand which discrete metric spaces biLipschitz embed into $L_1$.</p> http://mathoverflow.net/questions/94661/finite-dimensional-subspaces-of-l1/94674#94674 Answer by Fedor Petrov for Finite dimensional subspaces of $L^1.$ Fedor Petrov 2012-04-20T19:12:16Z 2012-04-20T19:12:16Z <p>Greg is right, of course, the dual must be a zonotope.</p> <p>Let me mention also a direct characterization: for any vectors $x_1,\dots,x_k,y_1,\dots,y_m$ such that $\sum |f(x_i)|\geq \sum |f(y_j)|$ for any linear functional $f$, one may deduce that $\sum \|x_i\|\geq \sum \|y_j\|$. For Euclidean norm it is usual stuff in integral geometry: for proving inequality between sums of lengths one proves corresponding inequality for sums of projections to the same line. The norms, for which such trick is possible, are exactly those coming from sections of $L^1$.</p>