Complemented subspaces of Banach spaces - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T14:35:13Z http://mathoverflow.net/feeds/question/78808 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/78808/complemented-subspaces-of-banach-spaces Complemented subspaces of Banach spaces Benoit Jubin 2011-10-22T00:04:01Z 2011-10-22T02:09:54Z <p>It is known (Lindenstrauss, Tzafriri, On the complemented subspaces problem) that a real Banach space all of whose closed subspaces are complemented (i.e. have a closed supplement) is isomorphic (as a tvs) to a Hilbert space. But I am interested in complementing a special kind of subspaces: subspaces F of a Banach space E satisfying either of the following two equivalent conditions:</p> <p>(i) $E/F \simeq F$</p> <p>(ii) $\exists f \in \mathcal{L}(E) \quad F = \ker f = im f$</p> <p>Are such "half-dimensional" subspaces always complemented? Is there a class of spaces (larger than that of Hilbert spaces) where this is true?</p> <p>Actually, (i)=>(ii) is true for any tvs, and (ii)=>(i) is true for complete metrizable spaces (over nondiscrete valued fields). Under that same condition, two closed algebraic supplements are topological supplements (from the open mapping theorem). So the question is still interesting in that setting. By the way, is the Lindenstrauss--Tzafriri theorem true for such spaces (or any class larger than that of real Banach spaces --- or real Fréchet spaces, as the mathscinet review says)?</p> http://mathoverflow.net/questions/78808/complemented-subspaces-of-banach-spaces/78812#78812 Answer by Faisal for Complemented subspaces of Banach spaces Faisal 2011-10-22T02:09:54Z 2011-10-22T02:09:54Z <p>I believe the answer to your first question is no. The counterexample I have in mind is related to the peculiar fact (first proved by Enflo, Lindenstrauss and Pisier) that being isomorphic to a Hilbert space isn't a "three-space property". More specifically, there is an example of a Banach space <code>$E$</code> with an uncomplemented subspace <code>$F$</code> such that both <code>$F$</code> and <code>$E/F$</code> are isomorphic to <code>$\ell^2$</code>. You can also find examples where <code>$F$</code> and <code>$E/F$</code> are isomorphic to any <code>$\ell^p$</code>. This is due to <a href="http://www.jstor.org/pss/1998164" rel="nofollow">Kalton and Peck</a>.</p>