Separable quotients of non-separable Banach spaces? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T11:34:12Z http://mathoverflow.net/feeds/question/67808 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/67808/separable-quotients-of-non-separable-banach-spaces Separable quotients of non-separable Banach spaces? Steven 2011-06-14T21:58:39Z 2011-06-16T01:56:23Z <p>I am reading the Functional Analysis book of Conway, one question from the book is find a closed subspace M of $l^{\infty}=l^{\infty}(\mathbb{N})$ with the property that $l^{\infty}/M$ is separable. I have found a solution for this but here is my question :</p> <ol> <li>Is it true that every non-separable normed space $X$ always contains a closed (proper) subspace $M$ such that $X/M$ is linear isometric to a separable normed space whose dimension is infinite ? i.e, are there a map $A$ and a separable normed space $Y$ whose dimension is infinite, st: $A: X/M\to Y$ which is linear, onto, and preserve the distance?</li> </ol> <p>(Edit: I already have an answer for the following question I am thinking a about $l^{\infty}$ : can it contain a closed proper subspace M that $l^{\infty}/M$ is isometric to $l^{1}=l^{1}(\mathbb{N})$?)</p> http://mathoverflow.net/questions/67808/separable-quotients-of-non-separable-banach-spaces/67836#67836 Answer by Bill Johnson for Separable quotients of non-separable Banach spaces? Bill Johnson 2011-06-15T05:29:36Z 2011-06-15T15:53:11Z <p>Your question is the famous "separable quotient problem", as Ady mentioned. From here on, "space" means "infinite dimensional Banach space". A space $X$ has a separable quotient provided <code>$X^*$</code> has a reflexive subspace (obvious), a subspace isomorphic to $c_0$ (Rosenthal and me), or $\ell_1$ (Hagler and me). A result of PANDELIS DODOS, JORDI LOPEZ-ABAD and STEVO TODORCEVIC is that it is consistent with ZFC that if $X$ has density character at least <code>$\aleph_\omega$</code> then $X$ has a separable quotient; see</p> <p><a href="http://arxiv.org/pdf/0805.1860.pdf" rel="nofollow">http://arxiv.org/pdf/0805.1860.pdf</a></p> <p>Every dual space has a separable quotient (Argyros, Dodos, Kanellopoulos):</p> <p><a href="http://users.uoa.gr/~pdodos/Publications/13-Unconditional.pdf" rel="nofollow">http://users.uoa.gr/~pdodos/Publications/13-Unconditional.pdf</a></p> <p>There are other striking things that I can't locate quickly.</p> <p>Every non reflexive quotient of a $C(K)$ space contains a subspace isomorphic to $c_0$ (classical result of Pelczynski), so $\ell_1$ is not a quotient of $\ell_\infty$.</p> http://mathoverflow.net/questions/67808/separable-quotients-of-non-separable-banach-spaces/67908#67908 Answer by Jun Zhang for Separable quotients of non-separable Banach spaces? Jun Zhang 2011-06-16T01:56:23Z 2011-06-16T01:56:23Z <p>Here seems to be another reference paper from Jorge MUJICA, who transfer this seperable quotient space problem to some other equivalent problems.</p> <p><a href="http://www.mat.ucm.es/serv/revmat/vol10-2/vol10-2e.pdf" rel="nofollow">http://www.mat.ucm.es/serv/revmat/vol10-2/vol10-2e.pdf</a></p>