11
$\begingroup$

Does there exist a Banach space $X$ such that $X^{**}$ is separable but $X^{***}$ is non-separable?

More generally, for every natural $n$ can someone construct an example of Banach space $X$ such that $X^{n}$ is separable but not $X^{n+1}$?

$\endgroup$
  • $\begingroup$ Why do not you accept the answer? $\endgroup$ – August Cleaner Nov 19 '17 at 18:49
10
$\begingroup$

Yes to both. Lindenstrauss extended James' construction to show that for any separable $X$ there is a separable $Y$ s.t. $Y^{**}/Y$ is isometrically isomorphic to $X$. Induct on that. Spaces built that way are called James-Lindenstrauss spaces. Another proof is contained in my "Factoring Weakly Compact Operator" paper with Davis, Figiel and Pelczynski.

$\endgroup$
  • 1
    $\begingroup$ Is $Y^{***}$ nonseparable easy? $\endgroup$ – Nik Weaver Nov 12 '17 at 19:02
  • 1
    $\begingroup$ @NikWeaver: Apply the Lindenstrauss construction with $X=\ell_1$. The lifting property of $\ell_1$ yields a (complemented) subspace of $Y^{\ast\ast}$ that is isomorphic to $\ell_1$ (not sure if this qualifies as easy though?) $\endgroup$ – Philip Brooker Nov 13 '17 at 10:31
  • $\begingroup$ Nice! Thank you. $\endgroup$ – Nik Weaver Nov 13 '17 at 12:27

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.