Isomorphisms of Banach Spaces - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T16:34:52Z http://mathoverflow.net/feeds/question/1380 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/1380/isomorphisms-of-banach-spaces Isomorphisms of Banach Spaces Mike Hartglass 2009-10-20T05:50:22Z 2010-01-23T00:44:11Z <p>Suppose $X$ and $Y$ are Banach spaces whose dual spaces are isometrically isomorphic. It is certainly true that $X$ and $Y$ need not be isometrically isomorphic, but must it be true that there is a continuous (not necessarily isometric) isomorphism of $X$ onto $Y$?</p> http://mathoverflow.net/questions/1380/isomorphisms-of-banach-spaces/1395#1395 Answer by gowers for Isomorphisms of Banach Spaces gowers 2009-10-20T07:45:55Z 2009-10-20T07:45:55Z <p>There are non-isomorphic preduals of $\ell_1$, but I'm afraid I don't know a reference for this. Recently, Argyros and Haydon solved a long-standing open problem by constructing a predual of $\ell_1$ with extraordinary properties; $c_0$ would not have done the job ...</p> <p>Actually, I now realize I'm not quite sure about the isometric version -- that is, what happens if you assume the duals are isometric and not just isomorphic. But I would be very surprised if the answer to your question was yes.</p> http://mathoverflow.net/questions/1380/isomorphisms-of-banach-spaces/1411#1411 Answer by Matthew Daws for Isomorphisms of Banach Spaces Matthew Daws 2009-10-20T12:00:24Z 2009-10-20T21:23:53Z <p>If X is any countable, compact topological space, then consider the Banach space C(X). The dual space is the finite measures on X, but as any measure is countably additive, and X is countable, taking some ordering we get an isometric isomorphism between C(X)* and $\ell_1$. But not all such C(X) are isomorphic: you can find such X by taking a countable ordinal w and considering the closed interval [0,w]. This is all very nicely explained in the book "Topics in Banach Space Theory" by Albiac and Kalton.</p> http://mathoverflow.net/questions/1380/isomorphisms-of-banach-spaces/1469#1469 Answer by Gerald Edgar for Isomorphisms of Banach Spaces Gerald Edgar 2009-10-20T18:48:33Z 2009-10-20T18:48:33Z <p>If K, L are countable compact metric spaces, then the isomorphism of C(K) and C(L) depends on the Cantor-Bendixson rank ... If the first empty derived set of K is K^(n) and the first empty derived set of L is L^(m) and n \ne m, then C(K) and C(L) are not isomorphic. So, for example, C([0,w]) and C([0,w^2]) are not isomporphic. But (as noted previously) their duals are both isometric to l^1.</p> http://mathoverflow.net/questions/1380/isomorphisms-of-banach-spaces/1538#1538 Answer by Philip Brooker for Isomorphisms of Banach Spaces Philip Brooker 2009-10-21T00:52:22Z 2009-10-21T00:52:22Z <p>Indeed, $\ell_1$ provides a strong counterexample. As noted by Matt, the spaces C(X), where X is countable and compact, provide nonisomorphic Banach spaces whose duals are isomorphic to $\ell_1$. If X is countable and compact (and Hausdorff, of course!) then X is homeomorphic to a closed ordinal interval [0, <em>a</em>] (equipped with its natural order topology) for some countable ordinal a; this result is known as the Mazurkiewicz-Sierpinski theorem. About 50 years ago Bessaga and Pelczynski showed that if <em>a</em> and <em>b</em> are infinite countable ordinals and <em>a</em> &lt; <em>b</em>, then C([0, <em>a</em>]) is isomorphic to C([0, <em>b</em>]) if and only if <em>b</em> &lt; <em>a</em>^<em>w</em>, where <em>w</em> denotes the first infinite ordinal. Thus C([0, <em>w</em>]) is in fact isomorphic to C([0, <em>w</em>^2]), contrary to Gerald's assertion above. Moreover, the least infinite ordinal <em>b</em> such that C([0, <em>b</em>]) is not isomorphic to C([0, <em>w</em>]) is <em>b</em> = <em>w^w</em>. Combining the Mazurkiewicz-Sierpinski result with the Bessaga=Pelczynski result, one has that each space C(X), where X is countable and compact, is isomorphic to C([0, <em>w</em>^(<em>w</em>^<em>a</em>)]) for a <em>unique</em> countable ordinal <em>a</em>. In particular, there are uncountably many nonisomorphic Banach spaces whose duals are isometrically isomorphic to $\ell_1$, namely the spaces C([0, <em>w</em>^(<em>w</em>^<em>a</em>)]), where <em>a</em> varies over the set of countable ordinals.</p> <p>$\ell_1$ has other preduals too. For example, a 1972 paper from the Israel Journal of Mathematics by Yoav Benyamini and Joram Lindenstrauss exhibits a Banach space E whose dual is isometrically isomorphic to $\ell_1$, but E is not isomorphic to any space of the form C(X).</p> <p>Although Gerald's assertion that the Cantor-Bendixson rank distinguishes between spaces of continuous functions on countable compact spaces is not correct, there is a rank/index that does distinguish between the isomorphism classes of these spaces, namely the <em>Szlenk index</em>. In fact the Szlenk index may be used to prove the 'only if' direction of the Bessaga-Pelczysnki result.</p> <p>I strongly recommend Chapter 2 of the book <em>Biorthogonal Systems in Banach Spaces</em> by Hajek et al if you want to read about the Szlenk index and a proof of the Bessaga-Pelczynski result. That book also contains a sketch proof of the Mazurkiewicz-Sierpinski theorem; for a full account of that theorem I recommend Section 8 of Semadeni's classic book <em>Banach spaces of continuous functions</em>.</p> <p>If you want a different example, I think the James-tree space <em>JT</em> would do. <em>JT</em> is separable but its dual is (at least I think so - it is worth checking!) isometrically isomorphic to the dual of the direct sum $<em>JT \oplus H</em>$, where <em>H</em> is Hilbert space of dimension equal to the cardinality of the continuum. In particular, $<em>JT \oplus H</em>$ cannot be isomorphic to <em>JT</em> because they have different density characters, but their duals are isometrically isomorphic. If you want to check the details of this example consult Chapter 13 of the Albiac and Kalton book recommended above by Matthew.</p> http://mathoverflow.net/questions/1380/isomorphisms-of-banach-spaces/12707#12707 Answer by Ady for Isomorphisms of Banach Spaces Ady 2010-01-23T00:44:11Z 2010-01-23T00:44:11Z <p>One may also remark that $c_{0}$ $\times$ (ℓ∞$/c_{0}$) is a predual of (ℓ∞)$^*$. </p> <p>However, $c_{0}$ $\times$ (ℓ∞$/c_{0}$) is <em>not</em> isomorphic to ℓ∞.</p>