Projections onto $n$-codimensional subspaces of a Banach space: norms. - MathOverflow most recent 30 from http://mathoverflow.net2013-05-23T03:49:26Zhttp://mathoverflow.net/feeds/question/109723http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/109723/projections-onto-n-codimensional-subspaces-of-a-banach-space-normsProjections onto $n$-codimensional subspaces of a Banach space: norms.LaTortoise2012-10-15T15:03:02Z2012-10-15T15:37:32Z
<p>Hello, I'd like some help to find an answer I've been looking for since this morning.
Let $X$ be a Banach space and let $Y$ be an $n$-codimensional subspace of $X$. Let $P$ be a projection from $X$ onto $Y$. Which is the best estimate for the norm of $P$? I found this information in an article by Bohnenblust as far as $n=1$ is concerned (that is, there always exists a projection $P$ such that $\|P\|\leq 2+\varepsilon$), but nothing satisfactory when the codimension increases.
Thank you.</p>
http://mathoverflow.net/questions/109723/projections-onto-n-codimensional-subspaces-of-a-banach-space-norms/109729#109729Answer by Peter Michor for Projections onto $n$-codimensional subspaces of a Banach space: norms.Peter Michor2012-10-15T15:33:58Z2012-10-15T15:33:58Z<p>The obvious answer is: $2^n +\varepsilon$.
Just iterate the Bohnenblust construction to $X\supset Y_{n-1}\supset \dots \supset Y_1 \supset Y_0=Y$ where $y_1,\dots ,y_n \in X$ span a complement of $Y$ and $Y_i$ is the span of $Y$ and $y_1,\dots,y_i$. </p>
http://mathoverflow.net/questions/109723/projections-onto-n-codimensional-subspaces-of-a-banach-space-norms/109733#109733Answer by Bill Johnson for Projections onto $n$-codimensional subspaces of a Banach space: norms.Bill Johnson2012-10-15T15:37:32Z2012-10-15T15:37:32Z<p>In many books<code>$^*$</code> you can find the result that there is a projection of norm at most $\sqrt{n}$ onto any $n$ dimensional subspace of a Banach space. For reflexive spaces, this gives immediately that every $n$ codimensional subspace is the range of a projection that has norm at most $\sqrt{n} +1$. For non reflexive spaces, by using the principle of local reflexivity (which also is in many books), you get for any $\epsilon > 0$ the estimate $\sqrt{n} +1 + \epsilon $.
$$
$$
<code>$*$</code> See, for example, Albiac and Kalton, ``Topics in Banach space theory", Theorem 12.1.6. In this book you can also find the principle of local reflexivity.</p>